/export/starexec/sandbox/solver/bin/starexec_run_termcomp17 /export/starexec/sandbox/benchmark/theBenchmark.smt2 /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO Solver Timeout: 4 Global Timeout: 300 Maximum number of concurrent processes: 900 No parsing errors! Init Location: 0 Transitions: (0 + cell0_p21^0)}> (~(1) + cell0_p21^0)}> (1 + cell0_p21^0)}> (0 + cell0_delta^0)}> (~(1) + cell0_delta^0)}> (1 + cell0_delta^0)}> (0 + cell0_gt2^0)}> (~(1) + cell0_gt2^0)}> (1 + cell0_gt2^0)}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + cell4_deltaext_new^0), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + cell4_wntext_new^0)}> (0 + cell4_deltaext^0)}> (~(1) + cell4_deltaext^0)}> (1 + cell4_deltaext^0)}> (0 + cell0_notchic^0)}> (0 + cell0_notchic^0)}> (~(1) + cell0_notchic^0)}> (~(1) + cell0_notchic^0)}> (1 + cell0_notchic^0)}> (0 + cell4_wntext^0)}> (~(1) + cell4_wntext^0)}> (1 + cell4_wntext^0)}> (0 + cell4_wnt^0)}> (~(1) + cell4_wnt^0)}> (1 + cell4_wnt^0)}> (0 + cell4_p21^0)}> (~(1) + cell4_p21^0)}> (1 + cell4_p21^0)}> (0 + cell4_delta^0)}> (~(1) + cell4_delta^0)}> (1 + cell4_delta^0)}> (0 + cell4_gt2^0)}> (~(1) + cell4_gt2^0)}> (1 + cell4_gt2^0)}> (0 + cell4_notchic^0)}> (0 + cell4_notchic^0)}> (~(1) + cell4_notchic^0)}> (~(1) + cell4_notchic^0)}> (1 + cell4_notchic^0)}> (0 + cell4_gt1^0)}> (~(1) + cell4_gt1^0)}> (1 + cell4_gt1^0)}> (0 + cell4_bcat^0)}> (~(1) + cell4_bcat^0)}> (1 + cell4_bcat^0)}> (0 + cell4_axin^0)}> (~(1) + cell4_axin^0)}> (1 + cell4_axin^0)}> (0 + cell4_dsh^0)}> (~(1) + cell4_dsh^0)}> (1 + cell4_dsh^0)}> (0 + cell0_gt1^0)}> (~(1) + cell0_gt1^0)}> (1 + cell0_gt1^0)}> (0 + cell4_frizzled^0)}> (~(1) + cell4_frizzled^0)}> (1 + cell4_frizzled^0)}> (0 + cell3_deltaext^0)}> (~(1) + cell3_deltaext^0)}> (1 + cell3_deltaext^0)}> (0 + cell3_wntext^0)}> (~(1) + cell3_wntext^0)}> (1 + cell3_wntext^0)}> (0 + cell3_wnt^0)}> (~(1) + cell3_wnt^0)}> (1 + cell3_wnt^0)}> (0 + cell3_p21^0)}> (~(1) + cell3_p21^0)}> (1 + cell3_p21^0)}> (0 + cell3_delta^0)}> (~(1) + cell3_delta^0)}> (1 + cell3_delta^0)}> (0 + cell3_gt2^0)}> (~(1) + cell3_gt2^0)}> (1 + cell3_gt2^0)}> (0 + cell3_notchic^0)}> (0 + cell3_notchic^0)}> (~(1) + cell3_notchic^0)}> (~(1) + cell3_notchic^0)}> (1 + cell3_notchic^0)}> (0 + cell3_gt1^0)}> (~(1) + cell3_gt1^0)}> (1 + cell3_gt1^0)}> (0 + cell3_bcat^0)}> (~(1) + cell3_bcat^0)}> (1 + cell3_bcat^0)}> (0 + cell0_bcat^0)}> (~(1) + cell0_bcat^0)}> (1 + cell0_bcat^0)}> (0 + cell3_axin^0)}> (~(1) + cell3_axin^0)}> (1 + cell3_axin^0)}> (0 + cell3_dsh^0)}> (~(1) + cell3_dsh^0)}> (1 + cell3_dsh^0)}> (0 + cell3_frizzled^0)}> (~(1) + cell3_frizzled^0)}> (1 + cell3_frizzled^0)}> (0 + cell2_deltaext^0)}> (~(1) + cell2_deltaext^0)}> (1 + cell2_deltaext^0)}> (0 + cell2_wntext^0)}> (~(1) + cell2_wntext^0)}> (1 + cell2_wntext^0)}> (0 + cell2_wnt^0)}> (~(1) + cell2_wnt^0)}> (1 + cell2_wnt^0)}> (0 + cell2_p21^0)}> (~(1) + cell2_p21^0)}> (1 + cell2_p21^0)}> (0 + cell2_delta^0)}> (~(1) + cell2_delta^0)}> (1 + cell2_delta^0)}> (0 + cell2_gt2^0)}> (~(1) + cell2_gt2^0)}> (1 + cell2_gt2^0)}> (0 + cell2_notchic^0)}> (0 + cell2_notchic^0)}> (~(1) + cell2_notchic^0)}> (~(1) + cell2_notchic^0)}> (1 + cell2_notchic^0)}> (0 + cell0_axin^0)}> (~(1) + cell0_axin^0)}> (1 + cell0_axin^0)}> (0 + cell2_gt1^0)}> (~(1) + cell2_gt1^0)}> (1 + cell2_gt1^0)}> (0 + cell2_bcat^0)}> (~(1) + cell2_bcat^0)}> (1 + cell2_bcat^0)}> (0 + cell2_axin^0)}> (~(1) + cell2_axin^0)}> (1 + cell2_axin^0)}> (0 + cell2_dsh^0)}> (~(1) + cell2_dsh^0)}> (1 + cell2_dsh^0)}> (0 + cell2_frizzled^0)}> (~(1) + cell2_frizzled^0)}> (1 + cell2_frizzled^0)}> (0 + cell1_deltaext^0)}> (~(1) + cell1_deltaext^0)}> (1 + cell1_deltaext^0)}> (0 + cell1_wntext^0)}> (~(1) + cell1_wntext^0)}> (1 + cell1_wntext^0)}> (0 + cell1_wnt^0)}> (~(1) + cell1_wnt^0)}> (1 + cell1_wnt^0)}> (0 + cell1_p21^0)}> (~(1) + cell1_p21^0)}> (1 + cell1_p21^0)}> (0 + cell1_delta^0)}> (~(1) + cell1_delta^0)}> (1 + cell1_delta^0)}> (0 + cell0_dsh^0)}> (~(1) + cell0_dsh^0)}> (1 + cell0_dsh^0)}> (0 + cell1_gt2^0)}> (~(1) + cell1_gt2^0)}> (1 + cell1_gt2^0)}> (0 + cell1_notchic^0)}> (0 + cell1_notchic^0)}> (~(1) + cell1_notchic^0)}> (~(1) + cell1_notchic^0)}> (1 + cell1_notchic^0)}> (0 + cell1_gt1^0)}> (~(1) + cell1_gt1^0)}> (1 + cell1_gt1^0)}> (0 + cell1_bcat^0)}> (~(1) + cell1_bcat^0)}> (1 + cell1_bcat^0)}> (0 + cell1_axin^0)}> (~(1) + cell1_axin^0)}> (1 + cell1_axin^0)}> (0 + cell1_dsh^0)}> (~(1) + cell1_dsh^0)}> (1 + cell1_dsh^0)}> (0 + cell1_frizzled^0)}> (~(1) + cell1_frizzled^0)}> (1 + cell1_frizzled^0)}> (0 + cell0_deltaext^0)}> (~(1) + cell0_deltaext^0)}> (1 + cell0_deltaext^0)}> (0 + cell0_wntext^0)}> (~(1) + cell0_wntext^0)}> (1 + cell0_wntext^0)}> (0 + cell0_wnt^0)}> (~(1) + cell0_wnt^0)}> (1 + cell0_wnt^0)}> (0 + cell0_frizzled^0)}> (~(1) + cell0_frizzled^0)}> (1 + cell0_frizzled^0)}> Fresh variables: Undef variables: Abstraction variables: Exit nodes: Accepting locations: Asserts: Preprocessed LLVMGraph Init Location: 0 Transitions: (0 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (0 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (~(1) + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (0 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (~(1) + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (0 + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (~(1) + cell0_wnt^0)}> (1 + cell0_delta^0), cell0_p21_new^0 -> (1 + cell0_p21^0), cell0_wnt_new^0 -> (1 + cell0_wnt^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (0 + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (~(1) + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (0 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (~(1) + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (0 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (~(1) + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (1 + cell0_axin^0), cell0_dsh_new^0 -> (1 + cell0_dsh^0), cell0_frizzled_new^0 -> (1 + cell0_frizzled^0)}> (0 + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (~(1) + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (1 + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (0 + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (~(1) + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (1 + cell0_gt2^0), cell0_notchic_new^0 -> (0 + cell0_notchic^0)}> (0 + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (~(1) + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (1 + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (0 + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (~(1) + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (1 + cell0_gt2^0), cell0_notchic_new^0 -> (~(1) + cell0_notchic^0)}> (0 + cell0_gt2^0), cell0_notchic_new^0 -> (1 + cell0_notchic^0)}> (~(1) + cell0_gt2^0), cell0_notchic_new^0 -> (1 + cell0_notchic^0)}> (1 + cell0_gt2^0), cell0_notchic_new^0 -> (1 + cell0_notchic^0)}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (0 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (0 + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (~(1) + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (0 + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (1 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (0 + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (0 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (~(1) + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (~(1) + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (~(1) + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (1 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (~(1) + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (0 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (1 + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (~(1) + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (1 + cell4_wntext^0))}> (0 + cell0_axin_new^0), cell0_bcat^0 -> (0 + cell0_bcat_new^0), cell0_delta^0 -> (0 + cell0_delta_new^0), cell0_deltaext^0 -> (0 + cell0_deltaext_new^0), cell0_dsh^0 -> (0 + cell0_dsh_new^0), cell0_frizzled^0 -> (0 + cell0_frizzled_new^0), cell0_gt1^0 -> (0 + cell0_gt1_new^0), cell0_gt2^0 -> (0 + cell0_gt2_new^0), cell0_notchic^0 -> (0 + cell0_notchic_new^0), cell0_p21^0 -> (0 + cell0_p21_new^0), cell0_wnt^0 -> (0 + cell0_wnt_new^0), cell0_wntext^0 -> (0 + cell0_wntext_new^0), cell1_axin^0 -> (0 + cell1_axin_new^0), cell1_bcat^0 -> (0 + cell1_bcat_new^0), cell1_delta^0 -> (0 + cell1_delta_new^0), cell1_deltaext^0 -> (0 + cell1_deltaext_new^0), cell1_dsh^0 -> (0 + cell1_dsh_new^0), cell1_frizzled^0 -> (0 + cell1_frizzled_new^0), cell1_gt1^0 -> (0 + cell1_gt1_new^0), cell1_gt2^0 -> (0 + cell1_gt2_new^0), cell1_notchic^0 -> (0 + cell1_notchic_new^0), cell1_p21^0 -> (0 + cell1_p21_new^0), cell1_wnt^0 -> (0 + cell1_wnt_new^0), cell1_wntext^0 -> (0 + cell1_wntext_new^0), cell2_axin^0 -> (0 + cell2_axin_new^0), cell2_bcat^0 -> (0 + cell2_bcat_new^0), cell2_delta^0 -> (0 + cell2_delta_new^0), cell2_deltaext^0 -> (0 + cell2_deltaext_new^0), cell2_dsh^0 -> (0 + cell2_dsh_new^0), cell2_frizzled^0 -> (0 + cell2_frizzled_new^0), cell2_gt1^0 -> (0 + cell2_gt1_new^0), cell2_gt2^0 -> (0 + cell2_gt2_new^0), cell2_notchic^0 -> (0 + cell2_notchic_new^0), cell2_p21^0 -> (0 + cell2_p21_new^0), cell2_wnt^0 -> (0 + cell2_wnt_new^0), cell2_wntext^0 -> (0 + cell2_wntext_new^0), cell3_axin^0 -> (0 + cell3_axin_new^0), cell3_bcat^0 -> (0 + cell3_bcat_new^0), cell3_delta^0 -> (0 + cell3_delta_new^0), cell3_deltaext^0 -> (0 + cell3_deltaext_new^0), cell3_dsh^0 -> (0 + cell3_dsh_new^0), cell3_frizzled^0 -> (0 + cell3_frizzled_new^0), cell3_gt1^0 -> (0 + cell3_gt1_new^0), cell3_gt2^0 -> (0 + cell3_gt2_new^0), cell3_notchic^0 -> (0 + cell3_notchic_new^0), cell3_p21^0 -> (0 + cell3_p21_new^0), cell3_wnt^0 -> (0 + cell3_wnt_new^0), cell3_wntext^0 -> (0 + cell3_wntext_new^0), cell4_axin^0 -> (0 + cell4_axin_new^0), cell4_bcat^0 -> (0 + cell4_bcat_new^0), cell4_delta^0 -> (0 + cell4_delta_new^0), cell4_deltaext^0 -> (0 + (1 + cell4_deltaext^0)), cell4_dsh^0 -> (0 + cell4_dsh_new^0), cell4_frizzled^0 -> (0 + cell4_frizzled_new^0), cell4_gt1^0 -> (0 + cell4_gt1_new^0), cell4_gt2^0 -> (0 + cell4_gt2_new^0), cell4_notchic^0 -> (0 + cell4_notchic_new^0), cell4_p21^0 -> (0 + cell4_p21_new^0), cell4_wnt^0 -> (0 + cell4_wnt_new^0), cell4_wntext^0 -> (0 + (1 + cell4_wntext^0))}> (0 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (0 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (~(1) + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (0 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (~(1) + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (0 + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (~(1) + cell4_wnt^0)}> (1 + cell4_delta^0), cell4_p21_new^0 -> (1 + cell4_p21^0), cell4_wnt_new^0 -> (1 + cell4_wnt^0)}> (0 + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (~(1) + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (1 + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (0 + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (~(1) + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (1 + cell4_gt2^0), cell4_notchic_new^0 -> (0 + cell4_notchic^0)}> (0 + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (~(1) + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (1 + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (0 + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (~(1) + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (1 + cell4_gt2^0), cell4_notchic_new^0 -> (~(1) + cell4_notchic^0)}> (0 + cell4_gt2^0), cell4_notchic_new^0 -> (1 + cell4_notchic^0)}> (~(1) + cell4_gt2^0), cell4_notchic_new^0 -> (1 + cell4_notchic^0)}> (1 + cell4_gt2^0), cell4_notchic_new^0 -> (1 + cell4_notchic^0)}> (0 + cell4_bcat^0), cell4_gt1_new^0 -> (0 + cell4_gt1^0)}> (0 + cell4_bcat^0), cell4_gt1_new^0 -> (~(1) + cell4_gt1^0)}> (0 + cell4_bcat^0), cell4_gt1_new^0 -> (1 + cell4_gt1^0)}> (~(1) + cell4_bcat^0), cell4_gt1_new^0 -> (0 + cell4_gt1^0)}> (~(1) + cell4_bcat^0), cell4_gt1_new^0 -> (~(1) + cell4_gt1^0)}> (~(1) + cell4_bcat^0), cell4_gt1_new^0 -> (1 + cell4_gt1^0)}> (1 + cell4_bcat^0), cell4_gt1_new^0 -> (0 + cell4_gt1^0)}> (1 + cell4_bcat^0), cell4_gt1_new^0 -> (~(1) + cell4_gt1^0)}> (1 + cell4_bcat^0), cell4_gt1_new^0 -> (1 + cell4_gt1^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (0 + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (~(1) + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (0 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (~(1) + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (0 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (~(1) + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (1 + cell4_axin^0), cell4_dsh_new^0 -> (1 + cell4_dsh^0), cell4_frizzled_new^0 -> (1 + cell4_frizzled^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (0 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (~(1) + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (0 + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (~(1) + cell3_wntext^0)}> (0 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (~(1) + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (1 + cell3_deltaext^0), cell3_wnt_new^0 -> (1 + cell3_wnt^0), cell3_wntext_new^0 -> (1 + cell3_wntext^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (0 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (~(1) + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (0 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (~(1) + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (0 + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (~(1) + cell3_p21^0)}> (1 + cell3_delta^0), cell3_gt2_new^0 -> (1 + cell3_gt2^0), cell3_p21_new^0 -> (1 + cell3_p21^0)}> (0 + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (0 + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (0 + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (0 + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (0 + cell3_gt1^0), cell3_notchic_new^0 -> (1 + cell3_notchic^0)}> (~(1) + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (~(1) + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (~(1) + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (~(1) + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (~(1) + cell3_gt1^0), cell3_notchic_new^0 -> (1 + cell3_notchic^0)}> (1 + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (1 + cell3_gt1^0), cell3_notchic_new^0 -> (0 + cell3_notchic^0)}> (1 + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (1 + cell3_gt1^0), cell3_notchic_new^0 -> (~(1) + cell3_notchic^0)}> (1 + cell3_gt1^0), cell3_notchic_new^0 -> (1 + cell3_notchic^0)}> (0 + cell0_bcat^0), cell0_gt1_new^0 -> (0 + cell0_gt1^0)}> (0 + cell0_bcat^0), cell0_gt1_new^0 -> (~(1) + cell0_gt1^0)}> (0 + cell0_bcat^0), cell0_gt1_new^0 -> (1 + cell0_gt1^0)}> (~(1) + cell0_bcat^0), cell0_gt1_new^0 -> (0 + cell0_gt1^0)}> (~(1) + cell0_bcat^0), cell0_gt1_new^0 -> (~(1) + cell0_gt1^0)}> (~(1) + cell0_bcat^0), cell0_gt1_new^0 -> (1 + cell0_gt1^0)}> (1 + cell0_bcat^0), cell0_gt1_new^0 -> (0 + cell0_gt1^0)}> (1 + cell0_bcat^0), cell0_gt1_new^0 -> (~(1) + cell0_gt1^0)}> (1 + cell0_bcat^0), cell0_gt1_new^0 -> (1 + cell0_gt1^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (0 + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (~(1) + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (0 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (~(1) + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (0 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (~(1) + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (1 + cell3_axin^0), cell3_bcat_new^0 -> (1 + cell3_bcat^0), cell3_dsh_new^0 -> (1 + cell3_dsh^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (0 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (~(1) + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (0 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (~(1) + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (0 + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (~(1) + cell3_frizzled^0)}> (1 + cell2_deltaext^0), cell2_wntext_new^0 -> (1 + cell2_wntext^0), cell3_frizzled_new^0 -> (1 + cell3_frizzled^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (0 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (~(1) + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (0 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (~(1) + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (0 + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (~(1) + cell2_wnt^0)}> (1 + cell2_delta^0), cell2_p21_new^0 -> (1 + cell2_p21^0), cell2_wnt_new^0 -> (1 + cell2_wnt^0)}> (0 + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (~(1) + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (1 + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (0 + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (~(1) + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (1 + cell2_gt2^0), cell2_notchic_new^0 -> (0 + cell2_notchic^0)}> (0 + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (~(1) + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (1 + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (0 + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (~(1) + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (1 + cell2_gt2^0), cell2_notchic_new^0 -> (~(1) + cell2_notchic^0)}> (0 + cell2_gt2^0), cell2_notchic_new^0 -> (1 + cell2_notchic^0)}> (~(1) + cell2_gt2^0), cell2_notchic_new^0 -> (1 + cell2_notchic^0)}> (1 + cell2_gt2^0), cell2_notchic_new^0 -> (1 + cell2_notchic^0)}> (0 + cell2_bcat^0), cell2_gt1_new^0 -> (0 + cell2_gt1^0)}> (0 + cell2_bcat^0), cell2_gt1_new^0 -> (~(1) + cell2_gt1^0)}> (0 + cell2_bcat^0), cell2_gt1_new^0 -> (1 + cell2_gt1^0)}> (~(1) + cell2_bcat^0), cell2_gt1_new^0 -> (0 + cell2_gt1^0)}> (~(1) + cell2_bcat^0), cell2_gt1_new^0 -> (~(1) + cell2_gt1^0)}> (~(1) + cell2_bcat^0), cell2_gt1_new^0 -> (1 + cell2_gt1^0)}> (1 + cell2_bcat^0), cell2_gt1_new^0 -> (0 + cell2_gt1^0)}> (1 + cell2_bcat^0), cell2_gt1_new^0 -> (~(1) + cell2_gt1^0)}> (1 + cell2_bcat^0), cell2_gt1_new^0 -> (1 + cell2_gt1^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (0 + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (~(1) + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (0 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (~(1) + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (0 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (~(1) + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (1 + cell2_axin^0), cell2_dsh_new^0 -> (1 + cell2_dsh^0), cell2_frizzled_new^0 -> (1 + cell2_frizzled^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (0 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (~(1) + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (0 + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (~(1) + cell1_wntext^0)}> (0 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (~(1) + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (1 + cell1_deltaext^0), cell1_wnt_new^0 -> (1 + cell1_wnt^0), cell1_wntext_new^0 -> (1 + cell1_wntext^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (0 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (~(1) + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (0 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (~(1) + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (0 + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (~(1) + cell1_p21^0)}> (1 + cell1_delta^0), cell1_gt2_new^0 -> (1 + cell1_gt2^0), cell1_p21_new^0 -> (1 + cell1_p21^0)}> (0 + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (0 + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (0 + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (0 + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (0 + cell1_gt1^0), cell1_notchic_new^0 -> (1 + cell1_notchic^0)}> (~(1) + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (~(1) + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (~(1) + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (~(1) + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (~(1) + cell1_gt1^0), cell1_notchic_new^0 -> (1 + cell1_notchic^0)}> (1 + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (1 + cell1_gt1^0), cell1_notchic_new^0 -> (0 + cell1_notchic^0)}> (1 + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (1 + cell1_gt1^0), cell1_notchic_new^0 -> (~(1) + cell1_notchic^0)}> (1 + cell1_gt1^0), cell1_notchic_new^0 -> (1 + cell1_notchic^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (0 + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (~(1) + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (0 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (~(1) + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (0 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (~(1) + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (1 + cell1_axin^0), cell1_bcat_new^0 -> (1 + cell1_bcat^0), cell1_dsh_new^0 -> (1 + cell1_dsh^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (0 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (~(1) + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (0 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (~(1) + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (0 + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (~(1) + cell1_frizzled^0)}> (1 + cell0_deltaext^0), cell0_wntext_new^0 -> (1 + cell0_wntext^0), cell1_frizzled_new^0 -> (1 + cell1_frizzled^0)}> Fresh variables: Undef variables: Abstraction variables: Exit nodes: Accepting locations: Asserts: ************************************************************* ******************************************************************************************* *********************** WORKING TRANSITION SYSTEM (DAG) *********************** ******************************************************************************************* Init Location: 0 Graph 0: Transitions: Variables: Graph 1: Transitions: cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> -1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> -1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> -1 + cell0_wnt^0, rest remain the same}> 1 + cell0_delta^0, cell0_p21_new^0 -> 1 + cell0_p21^0, cell0_wnt_new^0 -> 1 + cell0_wnt^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> -1 + cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> -1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> -1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> 1 + cell0_axin^0, cell0_dsh_new^0 -> 1 + cell0_dsh^0, cell0_frizzled_new^0 -> 1 + cell0_frizzled^0, rest remain the same}> cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> -1 + cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> 1 + cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> -1 + cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> 1 + cell0_gt2^0, cell0_notchic_new^0 -> cell0_notchic^0, rest remain the same}> cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> -1 + cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> 1 + cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> -1 + cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> 1 + cell0_gt2^0, cell0_notchic_new^0 -> -1 + cell0_notchic^0, rest remain the same}> cell0_gt2^0, cell0_notchic_new^0 -> 1 + cell0_notchic^0, rest remain the same}> -1 + cell0_gt2^0, cell0_notchic_new^0 -> 1 + cell0_notchic^0, rest remain the same}> 1 + cell0_gt2^0, cell0_notchic_new^0 -> 1 + cell0_notchic^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> -1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> 1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> -1 + cell4_wntext^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> -1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> -1 + cell4_wntext^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> 1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> -1 + cell4_wntext^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> 1 + cell4_wntext^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> -1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> 1 + cell4_wntext^0, rest remain the same}> cell0_axin_new^0, cell0_bcat^0 -> cell0_bcat_new^0, cell0_delta^0 -> cell0_delta_new^0, cell0_deltaext^0 -> cell0_deltaext_new^0, cell0_dsh^0 -> cell0_dsh_new^0, cell0_frizzled^0 -> cell0_frizzled_new^0, cell0_gt1^0 -> cell0_gt1_new^0, cell0_gt2^0 -> cell0_gt2_new^0, cell0_notchic^0 -> cell0_notchic_new^0, cell0_p21^0 -> cell0_p21_new^0, cell0_wnt^0 -> cell0_wnt_new^0, cell0_wntext^0 -> cell0_wntext_new^0, cell1_axin^0 -> cell1_axin_new^0, cell1_bcat^0 -> cell1_bcat_new^0, cell1_delta^0 -> cell1_delta_new^0, cell1_deltaext^0 -> cell1_deltaext_new^0, cell1_dsh^0 -> cell1_dsh_new^0, cell1_frizzled^0 -> cell1_frizzled_new^0, cell1_gt1^0 -> cell1_gt1_new^0, cell1_gt2^0 -> cell1_gt2_new^0, cell1_notchic^0 -> cell1_notchic_new^0, cell1_p21^0 -> cell1_p21_new^0, cell1_wnt^0 -> cell1_wnt_new^0, cell1_wntext^0 -> cell1_wntext_new^0, cell2_axin^0 -> cell2_axin_new^0, cell2_bcat^0 -> cell2_bcat_new^0, cell2_delta^0 -> cell2_delta_new^0, cell2_deltaext^0 -> cell2_deltaext_new^0, cell2_dsh^0 -> cell2_dsh_new^0, cell2_frizzled^0 -> cell2_frizzled_new^0, cell2_gt1^0 -> cell2_gt1_new^0, cell2_gt2^0 -> cell2_gt2_new^0, cell2_notchic^0 -> cell2_notchic_new^0, cell2_p21^0 -> cell2_p21_new^0, cell2_wnt^0 -> cell2_wnt_new^0, cell2_wntext^0 -> cell2_wntext_new^0, cell3_axin^0 -> cell3_axin_new^0, cell3_bcat^0 -> cell3_bcat_new^0, cell3_delta^0 -> cell3_delta_new^0, cell3_deltaext^0 -> cell3_deltaext_new^0, cell3_dsh^0 -> cell3_dsh_new^0, cell3_frizzled^0 -> cell3_frizzled_new^0, cell3_gt1^0 -> cell3_gt1_new^0, cell3_gt2^0 -> cell3_gt2_new^0, cell3_notchic^0 -> cell3_notchic_new^0, cell3_p21^0 -> cell3_p21_new^0, cell3_wnt^0 -> cell3_wnt_new^0, cell3_wntext^0 -> cell3_wntext_new^0, cell4_axin^0 -> cell4_axin_new^0, cell4_bcat^0 -> cell4_bcat_new^0, cell4_delta^0 -> cell4_delta_new^0, cell4_deltaext^0 -> 1 + cell4_deltaext^0, cell4_dsh^0 -> cell4_dsh_new^0, cell4_frizzled^0 -> cell4_frizzled_new^0, cell4_gt1^0 -> cell4_gt1_new^0, cell4_gt2^0 -> cell4_gt2_new^0, cell4_notchic^0 -> cell4_notchic_new^0, cell4_p21^0 -> cell4_p21_new^0, cell4_wnt^0 -> cell4_wnt_new^0, cell4_wntext^0 -> 1 + cell4_wntext^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> -1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> -1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> -1 + cell4_wnt^0, rest remain the same}> 1 + cell4_delta^0, cell4_p21_new^0 -> 1 + cell4_p21^0, cell4_wnt_new^0 -> 1 + cell4_wnt^0, rest remain the same}> cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> -1 + cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> 1 + cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> -1 + cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> 1 + cell4_gt2^0, cell4_notchic_new^0 -> cell4_notchic^0, rest remain the same}> cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> -1 + cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> 1 + cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> -1 + cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> 1 + cell4_gt2^0, cell4_notchic_new^0 -> -1 + cell4_notchic^0, rest remain the same}> cell4_gt2^0, cell4_notchic_new^0 -> 1 + cell4_notchic^0, rest remain the same}> -1 + cell4_gt2^0, cell4_notchic_new^0 -> 1 + cell4_notchic^0, rest remain the same}> 1 + cell4_gt2^0, cell4_notchic_new^0 -> 1 + cell4_notchic^0, rest remain the same}> cell4_bcat^0, cell4_gt1_new^0 -> cell4_gt1^0, rest remain the same}> cell4_bcat^0, cell4_gt1_new^0 -> -1 + cell4_gt1^0, rest remain the same}> cell4_bcat^0, cell4_gt1_new^0 -> 1 + cell4_gt1^0, rest remain the same}> -1 + cell4_bcat^0, cell4_gt1_new^0 -> cell4_gt1^0, rest remain the same}> -1 + cell4_bcat^0, cell4_gt1_new^0 -> -1 + cell4_gt1^0, rest remain the same}> -1 + cell4_bcat^0, cell4_gt1_new^0 -> 1 + cell4_gt1^0, rest remain the same}> 1 + cell4_bcat^0, cell4_gt1_new^0 -> cell4_gt1^0, rest remain the same}> 1 + cell4_bcat^0, cell4_gt1_new^0 -> -1 + cell4_gt1^0, rest remain the same}> 1 + cell4_bcat^0, cell4_gt1_new^0 -> 1 + cell4_gt1^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> -1 + cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> -1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> -1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> 1 + cell4_axin^0, cell4_dsh_new^0 -> 1 + cell4_dsh^0, cell4_frizzled_new^0 -> 1 + cell4_frizzled^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> -1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> -1 + cell3_wntext^0, rest remain the same}> cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> -1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> 1 + cell3_deltaext^0, cell3_wnt_new^0 -> 1 + cell3_wnt^0, cell3_wntext_new^0 -> 1 + cell3_wntext^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> -1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> -1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> -1 + cell3_p21^0, rest remain the same}> 1 + cell3_delta^0, cell3_gt2_new^0 -> 1 + cell3_gt2^0, cell3_p21_new^0 -> 1 + cell3_p21^0, rest remain the same}> cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> cell3_gt1^0, cell3_notchic_new^0 -> 1 + cell3_notchic^0, rest remain the same}> -1 + cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> -1 + cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> -1 + cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> -1 + cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> -1 + cell3_gt1^0, cell3_notchic_new^0 -> 1 + cell3_notchic^0, rest remain the same}> 1 + cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> 1 + cell3_gt1^0, cell3_notchic_new^0 -> cell3_notchic^0, rest remain the same}> 1 + cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> 1 + cell3_gt1^0, cell3_notchic_new^0 -> -1 + cell3_notchic^0, rest remain the same}> 1 + cell3_gt1^0, cell3_notchic_new^0 -> 1 + cell3_notchic^0, rest remain the same}> cell0_bcat^0, cell0_gt1_new^0 -> cell0_gt1^0, rest remain the same}> cell0_bcat^0, cell0_gt1_new^0 -> -1 + cell0_gt1^0, rest remain the same}> cell0_bcat^0, cell0_gt1_new^0 -> 1 + cell0_gt1^0, rest remain the same}> -1 + cell0_bcat^0, cell0_gt1_new^0 -> cell0_gt1^0, rest remain the same}> -1 + cell0_bcat^0, cell0_gt1_new^0 -> -1 + cell0_gt1^0, rest remain the same}> -1 + cell0_bcat^0, cell0_gt1_new^0 -> 1 + cell0_gt1^0, rest remain the same}> 1 + cell0_bcat^0, cell0_gt1_new^0 -> cell0_gt1^0, rest remain the same}> 1 + cell0_bcat^0, cell0_gt1_new^0 -> -1 + cell0_gt1^0, rest remain the same}> 1 + cell0_bcat^0, cell0_gt1_new^0 -> 1 + cell0_gt1^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> -1 + cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> -1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> -1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> 1 + cell3_axin^0, cell3_bcat_new^0 -> 1 + cell3_bcat^0, cell3_dsh_new^0 -> 1 + cell3_dsh^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> -1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> -1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> -1 + cell3_frizzled^0, rest remain the same}> 1 + cell2_deltaext^0, cell2_wntext_new^0 -> 1 + cell2_wntext^0, cell3_frizzled_new^0 -> 1 + cell3_frizzled^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> -1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> -1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> -1 + cell2_wnt^0, rest remain the same}> 1 + cell2_delta^0, cell2_p21_new^0 -> 1 + cell2_p21^0, cell2_wnt_new^0 -> 1 + cell2_wnt^0, rest remain the same}> cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> -1 + cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> 1 + cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> -1 + cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> 1 + cell2_gt2^0, cell2_notchic_new^0 -> cell2_notchic^0, rest remain the same}> cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> -1 + cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> 1 + cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> -1 + cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> 1 + cell2_gt2^0, cell2_notchic_new^0 -> -1 + cell2_notchic^0, rest remain the same}> cell2_gt2^0, cell2_notchic_new^0 -> 1 + cell2_notchic^0, rest remain the same}> -1 + cell2_gt2^0, cell2_notchic_new^0 -> 1 + cell2_notchic^0, rest remain the same}> 1 + cell2_gt2^0, cell2_notchic_new^0 -> 1 + cell2_notchic^0, rest remain the same}> cell2_bcat^0, cell2_gt1_new^0 -> cell2_gt1^0, rest remain the same}> cell2_bcat^0, cell2_gt1_new^0 -> -1 + cell2_gt1^0, rest remain the same}> cell2_bcat^0, cell2_gt1_new^0 -> 1 + cell2_gt1^0, rest remain the same}> -1 + cell2_bcat^0, cell2_gt1_new^0 -> cell2_gt1^0, rest remain the same}> -1 + cell2_bcat^0, cell2_gt1_new^0 -> -1 + cell2_gt1^0, rest remain the same}> -1 + cell2_bcat^0, cell2_gt1_new^0 -> 1 + cell2_gt1^0, rest remain the same}> 1 + cell2_bcat^0, cell2_gt1_new^0 -> cell2_gt1^0, rest remain the same}> 1 + cell2_bcat^0, cell2_gt1_new^0 -> -1 + cell2_gt1^0, rest remain the same}> 1 + cell2_bcat^0, cell2_gt1_new^0 -> 1 + cell2_gt1^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> -1 + cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> -1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> -1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> 1 + cell2_axin^0, cell2_dsh_new^0 -> 1 + cell2_dsh^0, cell2_frizzled_new^0 -> 1 + cell2_frizzled^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> -1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> -1 + cell1_wntext^0, rest remain the same}> cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> -1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> 1 + cell1_deltaext^0, cell1_wnt_new^0 -> 1 + cell1_wnt^0, cell1_wntext_new^0 -> 1 + cell1_wntext^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> -1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> -1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> -1 + cell1_p21^0, rest remain the same}> 1 + cell1_delta^0, cell1_gt2_new^0 -> 1 + cell1_gt2^0, cell1_p21_new^0 -> 1 + cell1_p21^0, rest remain the same}> cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> cell1_gt1^0, cell1_notchic_new^0 -> 1 + cell1_notchic^0, rest remain the same}> -1 + cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> -1 + cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> -1 + cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> -1 + cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> -1 + cell1_gt1^0, cell1_notchic_new^0 -> 1 + cell1_notchic^0, rest remain the same}> 1 + cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> 1 + cell1_gt1^0, cell1_notchic_new^0 -> cell1_notchic^0, rest remain the same}> 1 + cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> 1 + cell1_gt1^0, cell1_notchic_new^0 -> -1 + cell1_notchic^0, rest remain the same}> 1 + cell1_gt1^0, cell1_notchic_new^0 -> 1 + cell1_notchic^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> -1 + cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> -1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> -1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> 1 + cell1_axin^0, cell1_bcat_new^0 -> 1 + cell1_bcat^0, cell1_dsh_new^0 -> 1 + cell1_dsh^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> -1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> -1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> -1 + cell1_frizzled^0, rest remain the same}> 1 + cell0_deltaext^0, cell0_wntext_new^0 -> 1 + cell0_wntext^0, cell1_frizzled_new^0 -> 1 + cell1_frizzled^0, rest remain the same}> Variables: cell0_delta^0, cell0_delta_new^0, cell0_gt1^0, cell0_gt2^0, cell0_notchic^0, cell0_p21^0, cell0_p21_new^0, cell0_wnt^0, cell0_wnt_new^0, cell0_axin^0, cell0_axin_new^0, cell0_dsh^0, cell0_dsh_new^0, cell0_frizzled^0, cell0_frizzled_new^0, cell0_wntext^0, cell0_deltaext^0, cell0_gt2_new^0, cell0_notchic_new^0, cell0_bcat^0, cell0_bcat_new^0, cell0_deltaext_new^0, cell0_gt1_new^0, cell0_wntext_new^0, cell1_axin^0, cell1_axin_new^0, cell1_bcat^0, cell1_bcat_new^0, cell1_delta^0, cell1_delta_new^0, cell1_deltaext^0, cell1_deltaext_new^0, cell1_dsh^0, cell1_dsh_new^0, cell1_frizzled^0, cell1_frizzled_new^0, cell1_gt1^0, cell1_gt1_new^0, cell1_gt2^0, cell1_gt2_new^0, cell1_notchic^0, cell1_notchic_new^0, cell1_p21^0, cell1_p21_new^0, cell1_wnt^0, cell1_wnt_new^0, cell1_wntext^0, cell1_wntext_new^0, cell2_axin^0, cell2_axin_new^0, cell2_bcat^0, cell2_bcat_new^0, cell2_delta^0, cell2_delta_new^0, cell2_deltaext^0, cell2_deltaext_new^0, cell2_dsh^0, cell2_dsh_new^0, cell2_frizzled^0, cell2_frizzled_new^0, cell2_gt1^0, cell2_gt1_new^0, cell2_gt2^0, cell2_gt2_new^0, cell2_notchic^0, cell2_notchic_new^0, cell2_p21^0, cell2_p21_new^0, cell2_wnt^0, cell2_wnt_new^0, cell2_wntext^0, cell2_wntext_new^0, cell3_axin^0, cell3_axin_new^0, cell3_bcat^0, cell3_bcat_new^0, cell3_delta^0, cell3_delta_new^0, cell3_deltaext^0, cell3_deltaext_new^0, cell3_dsh^0, cell3_dsh_new^0, cell3_frizzled^0, cell3_frizzled_new^0, cell3_gt1^0, cell3_gt1_new^0, cell3_gt2^0, cell3_gt2_new^0, cell3_notchic^0, cell3_notchic_new^0, cell3_p21^0, cell3_p21_new^0, cell3_wnt^0, cell3_wnt_new^0, cell3_wntext^0, cell3_wntext_new^0, cell4_axin^0, cell4_axin_new^0, cell4_bcat^0, cell4_bcat_new^0, cell4_delta^0, cell4_delta_new^0, cell4_deltaext^0, cell4_dsh^0, cell4_dsh_new^0, cell4_frizzled^0, cell4_frizzled_new^0, cell4_gt1^0, cell4_gt1_new^0, cell4_gt2^0, cell4_gt2_new^0, cell4_notchic^0, cell4_notchic_new^0, cell4_p21^0, cell4_p21_new^0, cell4_wnt^0, cell4_wnt_new^0, cell4_wntext^0 Precedence: Graph 0 Graph 1 Map Locations to Subgraph: ( 0 , 0 ) ( 3 , 1 ) ( 6 , 1 ) ( 8 , 1 ) ( 9 , 1 ) ( 12 , 1 ) ( 14 , 1 ) ( 16 , 1 ) ( 20 , 1 ) ( 23 , 1 ) ( 26 , 1 ) ( 28 , 1 ) ( 30 , 1 ) ( 32 , 1 ) ( 35 , 1 ) ( 38 , 1 ) ( 40 , 1 ) ( 43 , 1 ) ( 46 , 1 ) ( 49 , 1 ) ( 53 , 1 ) ( 55 , 1 ) ( 58 , 1 ) ( 61 , 1 ) ******************************************************************************************* ******************************** CHECKING ASSERTIONS ******************************** ******************************************************************************************* Proving termination of subgraph 0 Proving termination of subgraph 1 Checking unfeasibility... Time used: 198 Timeout expired! Termination failed. Trying to show unreachability... Proving unreachability of entry: LOG: CALL check - Post:1 <= 0 - Process 1 * Exit transition: * Postcondition : 1 <= 0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 2.452076s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 2.452187s Cannot prove unreachability [9368 : 10201] [9368 : 10202] Successful child: 10201 Program does NOT terminate