From 84cc93d2e18fd7cd548040d4e9e1c32eff565d56 Mon Sep 17 00:00:00 2001 From: Michele Date: Wed, 23 Feb 2022 11:36:15 +0100 Subject: [PATCH 1/2] Added merge empty func --- dataflow_neuro/primitives.act | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/dataflow_neuro/primitives.act b/dataflow_neuro/primitives.act index c7152b1..fc49684 100644 --- a/dataflow_neuro/primitives.act +++ b/dataflow_neuro/primitives.act @@ -152,6 +152,7 @@ namespace tmpl { export template defproc fork (avMx1of2 in; avMx1of2 out1; avMx1of2 out2 ; bool? reset_B; power supply) { + // control bool _en, _reset_BX,_reset_BXX[N*2]; A_4C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out1.v,.c4=out2.v,.y=in.a,.pr_B=reset_B,.sr_B=reset_B,.vdd=supply.vdd,.vss=supply.vss); @@ -222,5 +223,16 @@ namespace tmpl { out2_f_buf_func[i].sr_B = _reset_BXX[i+N-1]; ) } + export template + defproc merge (avMx1of2 in1; avMx1of2 in2; avMx1of2 out ; bool? reset_B; power supply) { + + //control + + + //reset_buffers + + //validity + + //function } } From f2a388fb09c51f1b18b3cc96def1f6443523b258 Mon Sep 17 00:00:00 2001 From: Michele Date: Wed, 23 Feb 2022 12:51:02 +0100 Subject: [PATCH 2/2] Auto stash before merge of "dev" and "origin/dev" --- dataflow_neuro/primitives.act | 2 +- test/unit_tests/ctree_15/run/prsim.out | 3 + test/unit_tests/fork_15/run/prsim.out | 324 +++++++++++++++++++++++++ test/unit_tests/fork_15/run/prsim.pdf | Bin 0 -> 53670 bytes test/unit_tests/fork_15/run/test.prs | 6 +- test/unit_tests/fork_15/test.prsim | 2 +- 6 files changed, 332 insertions(+), 5 deletions(-) create mode 100644 test/unit_tests/ctree_15/run/prsim.out create mode 100644 test/unit_tests/fork_15/run/prsim.pdf diff --git a/dataflow_neuro/primitives.act b/dataflow_neuro/primitives.act index d2d7a41..6c32b43 100644 --- a/dataflow_neuro/primitives.act +++ b/dataflow_neuro/primitives.act @@ -112,7 +112,7 @@ namespace tmpl { BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); - sigbuf reset_bufarray(.in=_reset_BX, .out=_reset_BXX); + sigbuf reset_bufarray(.in=_reset_BX, .out=_reset_BXX); //validity bool _in_v; diff --git a/test/unit_tests/ctree_15/run/prsim.out b/test/unit_tests/ctree_15/run/prsim.out new file mode 100644 index 0000000..17cdbe6 --- /dev/null +++ b/test/unit_tests/ctree_15/run/prsim.out @@ -0,0 +1,3 @@ +t.ctree_test.tmp[22] t.ctree_test.C2Els[0]._y t.ctree_test.tmp[17] t.in[14] t.in[4] t.in[2] t.in[8] t.in[13] t.ctree_test.tmp[21] t.ctree_test.tmp[23] t.out t.in[12] t.in[6] t.in[7] t.in[10] t.in[5] t.ctree_test.tmp[19] t.ctree_test.tmp[18] t.ctree_test.C3Els[0]._y t.in[3] t.ctree_test.tmp[24] t.ctree_test.C3Els[2]._y t.ctree_test.C2Els[4]._y t.in[0] t.in[1] t.ctree_test.tmp[15] t.ctree_test.tmp[16] t.in[11] t.ctree_test.tmp[20] t.ctree_test.C2Els[7]._y t.in[9] t.ctree_test.C2Els[2]._y t.ctree_test.C2Els[1]._y t.ctree_test.C2Els[6]._y t.ctree_test.C2Els[5]._y t.ctree_test.C2Els[3]._y t.ctree_test.C3Els[1]._y +0 +1 diff --git a/test/unit_tests/fork_15/run/prsim.out b/test/unit_tests/fork_15/run/prsim.out index 0778d87..77e1092 100644 --- a/test/unit_tests/fork_15/run/prsim.out +++ b/test/unit_tests/fork_15/run/prsim.out @@ -1,6 +1,330 @@ my_fork.fork_test.out1_t_buf_func[4].n1 my_fork.fork_test._en2_X_f[0] my_fork.out2.v my_fork.fork_test._en1_X_f[0] my_fork.fork_test._out1_a_BX_t[0] my_fork.fork_test.vc.tmp[11] my_fork.fork_test.out1_f_buf_func[6].n1 my_fork.fork_test._out2_a_BX_t[0] my_fork.fork_test.out1_t_buf_func[5].n1 my_fork.fork_test.out1_t_buf_func[0].n1 my_fork.fork_test._out1_a_BX_f[0] my_fork.fork_test.out1_f_buf_func[3].n1 my_fork.fork_test.out1_f_buf_func[8].n1 my_fork.fork_test._out2_a_BX_f[0] my_fork.fork_test._in_v my_fork.fork_test.vc.tmp[2] my_fork.fork_test._en my_fork.fork_test.out1_f_buf_func[5].n1 my_fork.fork_test.vc.OR2_tf[3]._y my_fork.fork_test.out1_f_buf_func[7].n1 my_fork.fork_test.out1_f_buf_func[12].n1 my_fork.fork_test.out1_f_buf_func[1].n1 my_fork.fork_test.out1_f_buf_func[0].n1 my_fork.fork_test.out1_f_buf_func[13].n1 my_fork.fork_test.out1_t_buf_func[2].n1 my_fork.fork_test.vc.tmp[13] my_fork.fork_test.out1_f_buf_func[4].n1 my_fork.fork_test.out1_t_buf_func[11].n1 my_fork.fork_test._en2_X_t[0] my_fork.fork_test._en1_X_t[0] my_fork.fork_test.vc.tmp[1] my_fork.fork_test.vc.tmp[9] my_fork.fork_test.vc.tmp[20] my_fork.fork_test.vc.C2Els[0]._y my_fork.fork_test.out1_t_buf_func[6].n1 my_fork.fork_test.out1_t_buf_func[8].n1 my_fork.fork_test.out1_en_buf_t.buf6._y my_fork.fork_test.out1_f_buf_func[2].n1 my_fork.fork_test.out1_f_buf_func[10].n1 my_fork.fork_test._out1_a_B my_fork.fork_test.out1_t_buf_func[14].n1 my_fork.fork_test.out1_t_buf_func[12].n1 my_fork.fork_test.vc.C2Els[6]._y my_fork.fork_test.vc.tmp[0] my_fork.fork_test.vc.tmp[4] my_fork.fork_test.out1_t_buf_func[3].n1 my_fork.fork_test.vc.tmp[16] my_fork.fork_test.out1_t_buf_func[1].n1 my_fork.fork_test.vc.tmp[24] my_fork.fork_test.vc.tmp[8] my_fork.fork_test._out2_a_B my_fork.fork_test.out1_t_buf_func[10].n1 my_fork.fork_test.out1_a_B_buf_f.buf6._y my_fork.fork_test.vc.tmp[18] my_fork.fork_test.vc.C3Els[2]._y my_fork.fork_test.out1_t_buf_func[13].n1 my_fork.fork_test.vc.OR2_tf[8]._y my_fork.fork_test.out1_f_buf_func[14].n1 my_fork.fork_test.vc.tmp[12] my_fork.fork_test.vc.tmp[3] my_fork.fork_test.vc.tmp[21] my_fork.fork_test.vc.tmp[7] my_fork.fork_test.out1_t_buf_func[7].n1 my_fork.fork_test.out1_f_buf_func[11].n1 my_fork.fork_test.vc.C2Els[3]._y my_fork.fork_test.vc.tmp[23] my_fork.fork_test.out1_f_buf_func[9].n1 my_fork.fork_test.vc.tmp[17] my_fork.fork_test.vc.OR2_tf[13]._y my_fork.fork_test.vc.OR2_tf[0]._y my_fork.fork_test.vc.C3Els[1]._y my_fork.fork_test.vc.tmp[5] my_fork.fork_test.out1_t_buf_func[9].n1 my_fork.out1.a my_fork.fork_test.vc.OR2_tf[9]._y my_fork.out1.v my_fork.out2.a my_fork.fork_test.vc.tmp[22] my_fork.in.v my_fork.fork_test.vc.tmp[6] my_fork.fork_test.vc.C2Els[1]._y my_fork.fork_test.vc.tmp[10] my_fork.fork_test.vc.tmp[14] my_fork.fork_test.out2_en_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[7]._y my_fork.fork_test.vc.OR2_tf[11]._y my_fork.fork_test.vc.C3Els[0]._y my_fork.fork_test.vc.tmp[19] my_fork.fork_test.vc.OR2_tf[1]._y my_fork.fork_test.vc.C2Els[7]._y my_fork.fork_test.vc.C2Els[4]._y my_fork.fork_test.out1_en_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[2]._y my_fork.fork_test.out2_en_buf_t.buf6._y my_fork.fork_test.vc.OR2_tf[14]._y my_fork.fork_test.vc.C2Els[5]._y my_fork.fork_test.vc.tmp[15] my_fork.fork_test.vc.OR2_tf[6]._y my_fork.fork_test.vc.OR2_tf[4]._y my_fork.fork_test.out2_a_B_buf_t.buf6._y my_fork.fork_test.out2_a_B_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[5]._y my_fork.fork_test.vc.C2Els[2]._y my_fork.fork_test.vc.OR2_tf[12]._y my_fork.fork_test.vc.OR2_tf[10]._y my_fork.fork_test.out1_a_B_buf_t.buf6._y my_fork.fork_test.in_v_buf._y + 105864 my_fork.fork_test.out1_f_buf_func[0].n1 : 0 + 105864 my_fork.out2.v : 0 + 105864 my_fork.out2.a : 0 + 105864 my_fork.out1.v : 0 + 105864 my_fork.fork_test.out1_f_buf_func[1].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[3].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[7].n1 : 0 + 105864 my_fork.out1.a : 0 + 105864 my_fork.fork_test.out1_t_buf_func[14].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[6].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[14].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[13].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[13].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[2].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[6].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[12].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[5].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[12].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[11].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[11].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[10].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[0].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[10].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[2].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[5].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[4].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[9].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[1].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[4].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[9].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[8].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[3].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[8].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[7].n1 : 0 + 105865 my_fork.fork_test.vc.OR2_tf[8]._y : 1 [by my_fork.fork_test.out1_f_buf_func[8].n1:=0] + 105866 my_fork.fork_test.vc.OR2_tf[12]._y : 1 [by my_fork.fork_test.out1_f_buf_func[12].n1:=0] + 105867 my_fork.fork_test.vc.OR2_tf[0]._y : 1 [by my_fork.fork_test.out1_t_buf_func[0].n1:=0] + 105867 my_fork.fork_test.vc.tmp[12] : 0 [by my_fork.fork_test.vc.OR2_tf[12]._y:=1] + 105887 my_fork.fork_test.vc.tmp[8] : 0 [by my_fork.fork_test.vc.OR2_tf[8]._y:=1] + 105893 my_fork.fork_test.vc.OR2_tf[10]._y : 1 [by my_fork.fork_test.out1_f_buf_func[10].n1:=0] + 105908 my_fork.fork_test.vc.OR2_tf[4]._y : 1 [by my_fork.fork_test.out1_f_buf_func[4].n1:=0] + 106017 my_fork.fork_test.vc.OR2_tf[1]._y : 1 [by my_fork.fork_test.out1_t_buf_func[1].n1:=0] + 106067 my_fork.fork_test.vc.tmp[4] : 0 [by my_fork.fork_test.vc.OR2_tf[4]._y:=1] + 106081 my_fork.fork_test.vc.OR2_tf[7]._y : 1 [by my_fork.fork_test.out1_t_buf_func[7].n1:=0] + 106181 my_fork.fork_test.vc.OR2_tf[2]._y : 1 [by my_fork.fork_test.out1_f_buf_func[2].n1:=0] + 106392 my_fork.fork_test._en : 1 [by my_fork.out1.v:=0] + 106393 my_fork.fork_test.out1_en_buf_f.buf6._y : 0 [by my_fork.fork_test._en:=1] + 106537 my_fork.fork_test.out2_en_buf_f.buf6._y : 0 [by my_fork.fork_test._en:=1] + 106699 my_fork.fork_test._en2_X_f[0] : 1 [by my_fork.fork_test.out2_en_buf_f.buf6._y:=0] + 107368 my_fork.fork_test.vc.tmp[7] : 0 [by my_fork.fork_test.vc.OR2_tf[7]._y:=1] + 107448 my_fork.fork_test.vc.tmp[0] : 0 [by my_fork.fork_test.vc.OR2_tf[0]._y:=1] + 107465 my_fork.fork_test.vc.OR2_tf[5]._y : 1 [by my_fork.fork_test.out1_f_buf_func[5].n1:=0] + 108299 my_fork.fork_test._out1_a_B : 1 [by my_fork.out1.a:=0] + 108306 my_fork.fork_test.out1_a_B_buf_t.buf6._y : 0 [by my_fork.fork_test._out1_a_B:=1] + 108313 my_fork.fork_test.out1_a_B_buf_f.buf6._y : 0 [by my_fork.fork_test._out1_a_B:=1] + 108413 my_fork.fork_test.vc.tmp[2] : 0 [by my_fork.fork_test.vc.OR2_tf[2]._y:=1] + 108466 my_fork.fork_test._out1_a_BX_f[0] : 1 [by my_fork.fork_test.out1_a_B_buf_t.buf6._y:=0] + 108625 my_fork.fork_test.vc.OR2_tf[9]._y : 1 [by my_fork.fork_test.out1_f_buf_func[9].n1:=0] + 108626 my_fork.fork_test.vc.tmp[9] : 0 [by my_fork.fork_test.vc.OR2_tf[9]._y:=1] + 108627 my_fork.fork_test.vc.C2Els[4]._y : 1 [by my_fork.fork_test.vc.tmp[9]:=0] + 108628 my_fork.fork_test.vc.tmp[19] : 0 [by my_fork.fork_test.vc.C2Els[4]._y:=1] + 109224 my_fork.fork_test.out1_en_buf_t.buf6._y : 0 [by my_fork.fork_test._en:=1] + 110426 my_fork.fork_test._out2_a_B : 1 [by my_fork.out2.a:=0] + 110427 my_fork.fork_test.out2_a_B_buf_f.buf6._y : 0 [by my_fork.fork_test._out2_a_B:=1] + 110613 my_fork.fork_test.out2_a_B_buf_t.buf6._y : 0 [by my_fork.fork_test._out2_a_B:=1] + 111467 my_fork.fork_test._en1_X_t[0] : 1 [by my_fork.fork_test.out1_en_buf_t.buf6._y:=0] + 112746 my_fork.fork_test.out2_en_buf_t.buf6._y : 0 [by my_fork.fork_test._en:=1] + 112747 my_fork.fork_test._en2_X_t[0] : 1 [by my_fork.fork_test.out2_en_buf_t.buf6._y:=0] + 114609 my_fork.fork_test._out2_a_BX_t[0] : 1 [by my_fork.fork_test.out2_a_B_buf_f.buf6._y:=0] + 114834 my_fork.fork_test.vc.tmp[5] : 0 [by my_fork.fork_test.vc.OR2_tf[5]._y:=1] + 115238 my_fork.fork_test.vc.tmp[10] : 0 [by my_fork.fork_test.vc.OR2_tf[10]._y:=1] + 115687 my_fork.fork_test.vc.C2Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[5]:=0] + 115692 my_fork.fork_test.vc.tmp[17] : 0 [by my_fork.fork_test.vc.C2Els[2]._y:=1] + 118905 my_fork.fork_test.vc.OR2_tf[6]._y : 1 [by my_fork.fork_test.out1_f_buf_func[6].n1:=0] + 119547 my_fork.fork_test.vc.OR2_tf[3]._y : 1 [by my_fork.fork_test.out1_t_buf_func[3].n1:=0] + 119548 my_fork.fork_test.vc.tmp[3] : 0 [by my_fork.fork_test.vc.OR2_tf[3]._y:=1] + 119565 my_fork.fork_test.vc.C2Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[3]:=0] + 119796 my_fork.fork_test.vc.tmp[6] : 0 [by my_fork.fork_test.vc.OR2_tf[6]._y:=1] + 122138 my_fork.fork_test.vc.tmp[16] : 0 [by my_fork.fork_test.vc.C2Els[1]._y:=1] + 125693 my_fork.fork_test.vc.tmp[1] : 0 [by my_fork.fork_test.vc.OR2_tf[1]._y:=1] + 125696 my_fork.fork_test.vc.C2Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[1]:=0] + 126637 my_fork.fork_test.vc.tmp[15] : 0 [by my_fork.fork_test.vc.C2Els[0]._y:=1] + 128157 my_fork.fork_test.vc.C2Els[3]._y : 1 [by my_fork.fork_test.vc.tmp[6]:=0] + 128158 my_fork.fork_test.vc.tmp[18] : 0 [by my_fork.fork_test.vc.C2Els[3]._y:=1] + 128200 my_fork.fork_test.vc.C2Els[7]._y : 1 [by my_fork.fork_test.vc.tmp[18]:=0] + 129789 my_fork.fork_test.vc.OR2_tf[13]._y : 1 [by my_fork.fork_test.out1_t_buf_func[13].n1:=0] + 129870 my_fork.fork_test._out1_a_BX_t[0] : 1 [by my_fork.fork_test.out1_a_B_buf_f.buf6._y:=0] + 131017 my_fork.fork_test.vc.tmp[23] : 0 [by my_fork.fork_test.vc.C2Els[7]._y:=1] + 132744 my_fork.fork_test.vc.OR2_tf[14]._y : 1 [by my_fork.fork_test.out1_f_buf_func[14].n1:=0] + 132839 my_fork.fork_test.vc.tmp[14] : 0 [by my_fork.fork_test.vc.OR2_tf[14]._y:=1] + 143522 my_fork.fork_test.vc.tmp[13] : 0 [by my_fork.fork_test.vc.OR2_tf[13]._y:=1] + 143857 my_fork.fork_test.vc.C3Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[13]:=0] + 143865 my_fork.fork_test.vc.tmp[21] : 0 [by my_fork.fork_test.vc.C3Els[0]._y:=1] + 145395 my_fork.fork_test._out2_a_BX_f[0] : 1 [by my_fork.fork_test.out2_a_B_buf_t.buf6._y:=0] + 145677 my_fork.fork_test._en1_X_f[0] : 1 [by my_fork.fork_test.out1_en_buf_f.buf6._y:=0] + 166822 my_fork.fork_test.vc.OR2_tf[11]._y : 1 [by my_fork.fork_test.out1_t_buf_func[11].n1:=0] + 166856 my_fork.fork_test.vc.tmp[11] : 0 [by my_fork.fork_test.vc.OR2_tf[11]._y:=1] + 180743 my_fork.fork_test.vc.C2Els[5]._y : 1 [by my_fork.fork_test.vc.tmp[11]:=0] + 181661 my_fork.fork_test.vc.tmp[20] : 0 [by my_fork.fork_test.vc.C2Els[5]._y:=1] + 181665 my_fork.fork_test.vc.C3Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[20]:=0] + 185599 my_fork.fork_test.vc.C2Els[6]._y : 1 [by my_fork.fork_test.vc.tmp[15]:=0] + 187997 my_fork.fork_test.vc.tmp[22] : 0 [by my_fork.fork_test.vc.C2Els[6]._y:=1] + 228043 my_fork.fork_test.vc.tmp[24] : 0 [by my_fork.fork_test.vc.C3Els[1]._y:=1] + 231258 my_fork.fork_test.vc.C3Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[24]:=0] + 278377 my_fork.fork_test._in_v : 0 [by my_fork.fork_test.vc.C3Els[2]._y:=1] + 278425 my_fork.fork_test.in_v_buf._y : 1 [by my_fork.fork_test._in_v:=0] + 278428 my_fork.in.v : 0 [by my_fork.fork_test.in_v_buf._y:=1] System initialized + 278428 Reset : 0 + 278606 my_fork._reset_B : 1 [by Reset:=0] + 299583 my_fork.fork_test.reset_buf._y : 0 [by my_fork._reset_B:=1] + 311482 my_fork.fork_test._reset_BX : 1 [by my_fork.fork_test.reset_buf._y:=0] + 317433 my_fork.fork_test.reset_bufarray.buf12._y : 0 [by my_fork.fork_test._reset_BX:=1] + 356918 my_fork.fork_test._reset_BXX[0] : 1 [by my_fork.fork_test.reset_bufarray.buf12._y:=0] System reset completed Output neutral checked + 356918 my_fork.fork_test.out1_t_buf_func[0].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[14].n1 : 1 + 356918 my_fork.fork_test.out1_t_buf_func[2].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[6].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[13].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[5].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[12].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[11].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[1].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[4].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[10].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[9].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[3].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[8].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[7].n1 : 1 + 356919 my_fork.fork_test.vc.OR2_tf[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 356919 my_fork.fork_test.vc.OR2_tf[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 356919 my_fork.fork_test.vc.OR2_tf[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 356919 my_fork.fork_test.out1_f_buf_func[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 356922 my_fork.fork_test.out1_f_buf_func[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 356922 my_fork.fork_test.vc.OR2_tf[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 356923 my_fork.fork_test.out2_f_buf_func[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 356925 my_fork.fork_test.vc.tmp[7] : 1 [by my_fork.fork_test.vc.OR2_tf[7]._y:=0] + 356929 my_fork.fork_test.out2_f_buf_func[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 356930 my_fork.fork_test.vc.OR2_tf[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 356931 my_fork.fork_test.vc.OR2_tf[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 356932 my_fork.fork_test.out1_f_buf_func[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 356933 my_fork.fork_test.out1_f_buf_func[14].y : 1 [by my_fork.fork_test.out1_f_buf_func[14]._y:=0] + 356936 my_fork.fork_test.out2_f_buf_func[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 356939 my_fork.fork_test.out1_f_buf_func[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 356943 my_fork.fork_test.vc.OR2_tf[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 356955 my_fork.fork_test.out1_f_buf_func[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 356974 my_fork.fork_test.out1_f_buf_func[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 356977 my_fork.fork_test.out2_f_buf_func[3].y : 1 [by my_fork.fork_test.out2_f_buf_func[3]._y:=0] + 356989 my_fork.fork_test.out2_f_buf_func[14].y : 1 [by my_fork.fork_test.out2_f_buf_func[14]._y:=0] + 356991 my_fork.fork_test.vc.OR2_tf[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 357013 my_fork.fork_test.out1_f_buf_func[8].y : 1 [by my_fork.fork_test.out1_f_buf_func[8]._y:=0] + 357014 my_fork.fork_test.vc.OR2_tf[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 357022 my_fork.fork_test.out1_f_buf_func[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 357035 my_fork.fork_test.vc.tmp[4] : 1 [by my_fork.fork_test.vc.OR2_tf[4]._y:=0] + 357054 my_fork.fork_test.out1_t_buf_func[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 357067 my_fork.fork_test.out1_f_buf_func[7].y : 1 [by my_fork.fork_test.out1_f_buf_func[7]._y:=0] + 357079 my_fork.fork_test.vc.OR2_tf[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 357091 my_fork.fork_test.vc.OR2_tf[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357102 my_fork.fork_test.out1_t_buf_func[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357147 my_fork.fork_test.out2_f_buf_func[6].y : 1 [by my_fork.fork_test.out2_f_buf_func[6]._y:=0] + 357159 my_fork.fork_test.out1_f_buf_func[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 357211 my_fork.fork_test.out1_f_buf_func[6].y : 1 [by my_fork.fork_test.out1_f_buf_func[6]._y:=0] + 357275 my_fork.fork_test.out2_f_buf_func[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 357282 my_fork.fork_test.out2_f_buf_func[4].y : 1 [by my_fork.fork_test.out2_f_buf_func[4]._y:=0] + 357326 my_fork.fork_test.out1_f_buf_func[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 357499 my_fork.fork_test.vc.OR2_tf[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 357604 my_fork.fork_test.vc.tmp[14] : 1 [by my_fork.fork_test.vc.OR2_tf[14]._y:=0] + 357616 my_fork.fork_test.vc.tmp[0] : 1 [by my_fork.fork_test.vc.OR2_tf[0]._y:=0] + 357745 my_fork.fork_test.out2_t_buf_func[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357747 my_fork.fork_test.out2_t_buf_func[0].y : 1 [by my_fork.fork_test.out2_t_buf_func[0]._y:=0] + 357762 my_fork.fork_test.out1_f_buf_func[10].y : 1 [by my_fork.fork_test.out1_f_buf_func[10]._y:=0] + 357947 my_fork.fork_test.out2_f_buf_func[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 357955 my_fork.fork_test.out1_f_buf_func[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 357965 my_fork.fork_test.vc.OR2_tf[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 357966 my_fork.fork_test.vc.tmp[8] : 1 [by my_fork.fork_test.vc.OR2_tf[8]._y:=0] + 358002 my_fork.fork_test.out1_t_buf_func[0].y : 1 [by my_fork.fork_test.out1_t_buf_func[0]._y:=0] + 358051 my_fork.fork_test.out1_t_buf_func[2].y : 1 [by my_fork.fork_test.out1_t_buf_func[2]._y:=0] + 358077 my_fork.fork_test.out2_f_buf_func[8].y : 1 [by my_fork.fork_test.out2_f_buf_func[8]._y:=0] + 358088 my_fork.fork_test.out1_f_buf_func[9].y : 1 [by my_fork.fork_test.out1_f_buf_func[9]._y:=0] + 358091 my_fork.fork_test.vc.tmp[13] : 1 [by my_fork.fork_test.vc.OR2_tf[13]._y:=0] + 358123 my_fork.fork_test.vc.tmp[12] : 1 [by my_fork.fork_test.vc.OR2_tf[12]._y:=0] + 358127 my_fork.fork_test.vc.C3Els[0]._y : 0 [by my_fork.fork_test.vc.tmp[12]:=1] + 358301 my_fork.fork_test.out2_f_buf_func[5].y : 1 [by my_fork.fork_test.out2_f_buf_func[5]._y:=0] + 358378 my_fork.fork_test.out2_f_buf_func[9].y : 1 [by my_fork.fork_test.out2_f_buf_func[9]._y:=0] + 358610 my_fork.fork_test.out2_f_buf_func[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 358673 my_fork.fork_test.vc.tmp[21] : 1 [by my_fork.fork_test.vc.C3Els[0]._y:=0] + 358718 my_fork.fork_test.out1_f_buf_func[5].y : 1 [by my_fork.fork_test.out1_f_buf_func[5]._y:=0] + 358728 my_fork.fork_test.vc.tmp[9] : 1 [by my_fork.fork_test.vc.OR2_tf[9]._y:=0] + 358729 my_fork.fork_test.vc.C2Els[4]._y : 0 [by my_fork.fork_test.vc.tmp[9]:=1] + 360482 my_fork.fork_test.out1_f_buf_func[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 360561 my_fork.fork_test.out1_f_buf_func[11].y : 1 [by my_fork.fork_test.out1_f_buf_func[11]._y:=0] + 360818 my_fork.fork_test.out1_f_buf_func[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 360877 my_fork.fork_test.out2_f_buf_func[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 360965 my_fork.fork_test.out2_f_buf_func[13].y : 1 [by my_fork.fork_test.out2_f_buf_func[13]._y:=0] + 363251 my_fork.fork_test.out1_f_buf_func[13].y : 1 [by my_fork.fork_test.out1_f_buf_func[13]._y:=0] + 363966 my_fork.fork_test.vc.tmp[3] : 1 [by my_fork.fork_test.vc.OR2_tf[3]._y:=0] + 365266 my_fork.fork_test.out1_f_buf_func[12].y : 1 [by my_fork.fork_test.out1_f_buf_func[12]._y:=0] + 365374 my_fork.fork_test.vc.tmp[11] : 1 [by my_fork.fork_test.vc.OR2_tf[11]._y:=0] + 365583 my_fork.fork_test.vc.tmp[1] : 1 [by my_fork.fork_test.vc.OR2_tf[1]._y:=0] + 366566 my_fork.fork_test.vc.OR2_tf[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 368013 my_fork.fork_test.out2_f_buf_func[7].y : 1 [by my_fork.fork_test.out2_f_buf_func[7]._y:=0] + 371036 my_fork.fork_test.vc.tmp[2] : 1 [by my_fork.fork_test.vc.OR2_tf[2]._y:=0] + 371095 my_fork.fork_test.vc.C2Els[1]._y : 0 [by my_fork.fork_test.vc.tmp[2]:=1] + 371107 my_fork.fork_test.vc.tmp[19] : 1 [by my_fork.fork_test.vc.C2Els[4]._y:=0] + 371125 my_fork.fork_test.vc.tmp[16] : 1 [by my_fork.fork_test.vc.C2Els[1]._y:=0] + 372938 my_fork.fork_test.out1_f_buf_func[3].y : 1 [by my_fork.fork_test.out1_f_buf_func[3]._y:=0] + 373365 my_fork.fork_test.vc.C2Els[0]._y : 0 [by my_fork.fork_test.vc.tmp[1]:=1] + 373902 my_fork.fork_test.out1_f_buf_func[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 374832 my_fork.fork_test.vc.tmp[15] : 1 [by my_fork.fork_test.vc.C2Els[0]._y:=0] + 374922 my_fork.fork_test.out1_f_buf_func[4].y : 1 [by my_fork.fork_test.out1_f_buf_func[4]._y:=0] + 375964 my_fork.fork_test.vc.OR2_tf[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 376649 my_fork.fork_test.vc.tmp[6] : 1 [by my_fork.fork_test.vc.OR2_tf[6]._y:=0] + 380293 my_fork.fork_test.out2_f_buf_func[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 380420 my_fork.fork_test.out2_f_buf_func[11].y : 1 [by my_fork.fork_test.out2_f_buf_func[11]._y:=0] + 388363 my_fork.fork_test.vc.tmp[5] : 1 [by my_fork.fork_test.vc.OR2_tf[5]._y:=0] + 388532 my_fork.fork_test.vc.C2Els[2]._y : 0 [by my_fork.fork_test.vc.tmp[5]:=1] + 388575 my_fork.fork_test.vc.tmp[17] : 1 [by my_fork.fork_test.vc.C2Els[2]._y:=0] + 393364 my_fork.fork_test.vc.C2Els[3]._y : 0 [by my_fork.fork_test.vc.tmp[6]:=1] + 393376 my_fork.fork_test.vc.tmp[18] : 1 [by my_fork.fork_test.vc.C2Els[3]._y:=0] + 394206 my_fork.fork_test.out2_t_buf_func[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 394216 my_fork.fork_test.vc.C2Els[6]._y : 0 [by my_fork.fork_test.vc.tmp[15]:=1] + 394219 my_fork.fork_test.vc.tmp[22] : 1 [by my_fork.fork_test.vc.C2Els[6]._y:=0] + 394439 my_fork.fork_test.out2_t_buf_func[2].y : 1 [by my_fork.fork_test.out2_t_buf_func[2]._y:=0] + 394655 my_fork.fork_test.vc.C2Els[7]._y : 0 [by my_fork.fork_test.vc.tmp[18]:=1] + 394693 my_fork.fork_test.vc.tmp[23] : 1 [by my_fork.fork_test.vc.C2Els[7]._y:=0] + 394893 my_fork.fork_test.vc.tmp[10] : 1 [by my_fork.fork_test.vc.OR2_tf[10]._y:=0] + 394894 my_fork.fork_test.vc.C2Els[5]._y : 0 [by my_fork.fork_test.vc.tmp[10]:=1] + 401924 my_fork.fork_test.out2_f_buf_func[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 402016 my_fork.fork_test.out2_f_buf_func[12].y : 1 [by my_fork.fork_test.out2_f_buf_func[12]._y:=0] + 404173 my_fork.fork_test.out2_f_buf_func[1].y : 1 [by my_fork.fork_test.out2_f_buf_func[1]._y:=0] + 407341 my_fork.fork_test.out2_f_buf_func[10].y : 1 [by my_fork.fork_test.out2_f_buf_func[10]._y:=0] + 407646 my_fork.fork_test.vc.tmp[20] : 1 [by my_fork.fork_test.vc.C2Els[5]._y:=0] + 410373 my_fork.fork_test.vc.C3Els[1]._y : 0 [by my_fork.fork_test.vc.tmp[20]:=1] + 410375 my_fork.fork_test.vc.tmp[24] : 1 [by my_fork.fork_test.vc.C3Els[1]._y:=0] + 410376 my_fork.fork_test.vc.C3Els[2]._y : 0 [by my_fork.fork_test.vc.tmp[24]:=1] + 411877 my_fork.fork_test._in_v : 1 [by my_fork.fork_test.vc.C3Els[2]._y:=0] + 411879 my_fork.fork_test.in_v_buf._y : 0 [by my_fork.fork_test._in_v:=1] + 411897 my_fork.in.v : 1 [by my_fork.fork_test.in_v_buf._y:=0] + 433406 my_fork.fork_test.out1_f_buf_func[1].y : 1 [by my_fork.fork_test.out1_f_buf_func[1]._y:=0] + 433406 my_fork.out1.v : 1 + 433406 my_fork.out2.v : 1 + 433525 my_fork.fork_test.inack_ctl._y : 0 [by my_fork.out2.v:=1] + 439245 my_fork.in.a : 1 [by my_fork.fork_test.inack_ctl._y:=0] + 439253 my_fork.fork_test._en : 0 [by my_fork.in.a:=1] + 439258 my_fork.fork_test.out2_en_buf_t.buf6._y : 1 [by my_fork.fork_test._en:=0] + 439259 my_fork.fork_test._en2_X_t[0] : 0 [by my_fork.fork_test.out2_en_buf_t.buf6._y:=1] + 439307 my_fork.fork_test.out2_en_buf_f.buf6._y : 1 [by my_fork.fork_test._en:=0] + 439445 my_fork.fork_test._en2_X_f[0] : 0 [by my_fork.fork_test.out2_en_buf_f.buf6._y:=1] + 440320 my_fork.fork_test.out1_en_buf_f.buf6._y : 1 [by my_fork.fork_test._en:=0] + 440321 my_fork.fork_test._en1_X_f[0] : 0 [by my_fork.fork_test.out1_en_buf_f.buf6._y:=1] + 489791 my_fork.fork_test.out1_en_buf_t.buf6._y : 1 [by my_fork.fork_test._en:=0] + 489855 my_fork.fork_test._en1_X_t[0] : 0 [by my_fork.fork_test.out1_en_buf_t.buf6._y:=1] + 489855 my_fork.fork_test.out1_t_buf_func[0].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[14].n1 : 0 + 489855 my_fork.fork_test.out1_t_buf_func[2].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[6].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[13].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[5].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[12].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[11].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[1].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[4].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[10].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[9].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[3].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[8].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[7].n1 : 0 + 489856 my_fork.fork_test.vc.OR2_tf[11]._y : 1 [by my_fork.fork_test.out1_f_buf_func[11].n1:=0] + 489857 my_fork.fork_test.vc.OR2_tf[14]._y : 1 [by my_fork.fork_test.out1_f_buf_func[14].n1:=0] + 489864 my_fork.fork_test.vc.OR2_tf[1]._y : 1 [by my_fork.fork_test.out1_f_buf_func[1].n1:=0] + 489866 my_fork.fork_test.vc.OR2_tf[12]._y : 1 [by my_fork.fork_test.out1_f_buf_func[12].n1:=0] + 489871 my_fork.fork_test.vc.tmp[14] : 0 [by my_fork.fork_test.vc.OR2_tf[14]._y:=1] + 489880 my_fork.fork_test.vc.OR2_tf[4]._y : 1 [by my_fork.fork_test.out1_f_buf_func[4].n1:=0] + 489892 my_fork.fork_test.vc.OR2_tf[2]._y : 1 [by my_fork.fork_test.out1_t_buf_func[2].n1:=0] + 489903 my_fork.fork_test.vc.tmp[2] : 0 [by my_fork.fork_test.vc.OR2_tf[2]._y:=1] + 489906 my_fork.fork_test.vc.OR2_tf[13]._y : 1 [by my_fork.fork_test.out1_f_buf_func[13].n1:=0] + 489907 my_fork.fork_test.vc.tmp[13] : 0 [by my_fork.fork_test.vc.OR2_tf[13]._y:=1] + 489978 my_fork.fork_test.vc.OR2_tf[0]._y : 1 [by my_fork.fork_test.out1_t_buf_func[0].n1:=0] + 489979 my_fork.fork_test.vc.tmp[0] : 0 [by my_fork.fork_test.vc.OR2_tf[0]._y:=1] + 489998 my_fork.fork_test.vc.OR2_tf[6]._y : 1 [by my_fork.fork_test.out1_f_buf_func[6].n1:=0] + 490000 my_fork.fork_test.vc.OR2_tf[3]._y : 1 [by my_fork.fork_test.out1_f_buf_func[3].n1:=0] + 490085 my_fork.fork_test.vc.OR2_tf[7]._y : 1 [by my_fork.fork_test.out1_f_buf_func[7].n1:=0] + 490297 my_fork.fork_test.vc.OR2_tf[5]._y : 1 [by my_fork.fork_test.out1_f_buf_func[5].n1:=0] + 490429 my_fork.fork_test.vc.tmp[5] : 0 [by my_fork.fork_test.vc.OR2_tf[5]._y:=1] + 490547 my_fork.fork_test.vc.tmp[11] : 0 [by my_fork.fork_test.vc.OR2_tf[11]._y:=1] + 490639 my_fork.fork_test.vc.tmp[3] : 0 [by my_fork.fork_test.vc.OR2_tf[3]._y:=1] + 490640 my_fork.fork_test.vc.C2Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[3]:=0] + 490657 my_fork.fork_test.vc.tmp[16] : 0 [by my_fork.fork_test.vc.C2Els[1]._y:=1] + 491407 my_fork.fork_test.vc.tmp[1] : 0 [by my_fork.fork_test.vc.OR2_tf[1]._y:=1] + 491477 my_fork.fork_test.vc.tmp[12] : 0 [by my_fork.fork_test.vc.OR2_tf[12]._y:=1] + 491559 my_fork.fork_test.vc.C2Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[1]:=0] + 491562 my_fork.fork_test.vc.tmp[15] : 0 [by my_fork.fork_test.vc.C2Els[0]._y:=1] + 491878 my_fork.fork_test.vc.tmp[7] : 0 [by my_fork.fork_test.vc.OR2_tf[7]._y:=1] + 491986 my_fork.fork_test.vc.C2Els[6]._y : 1 [by my_fork.fork_test.vc.tmp[15]:=0] + 491992 my_fork.fork_test.vc.tmp[22] : 0 [by my_fork.fork_test.vc.C2Els[6]._y:=1] + 493376 my_fork.fork_test.vc.OR2_tf[9]._y : 1 [by my_fork.fork_test.out1_f_buf_func[9].n1:=0] + 494460 my_fork.fork_test.vc.C3Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[12]:=0] + 495964 my_fork.fork_test.vc.tmp[9] : 0 [by my_fork.fork_test.vc.OR2_tf[9]._y:=1] + 496499 my_fork.fork_test.vc.tmp[6] : 0 [by my_fork.fork_test.vc.OR2_tf[6]._y:=1] + 496921 my_fork.fork_test.vc.tmp[21] : 0 [by my_fork.fork_test.vc.C3Els[0]._y:=1] + 497329 my_fork.fork_test.vc.C2Els[3]._y : 1 [by my_fork.fork_test.vc.tmp[6]:=0] + 500108 my_fork.fork_test.vc.OR2_tf[10]._y : 1 [by my_fork.fork_test.out1_f_buf_func[10].n1:=0] + 500110 my_fork.fork_test.vc.tmp[10] : 0 [by my_fork.fork_test.vc.OR2_tf[10]._y:=1] + 500304 my_fork.fork_test.vc.C2Els[5]._y : 1 [by my_fork.fork_test.vc.tmp[10]:=0] + 500907 my_fork.fork_test.vc.tmp[20] : 0 [by my_fork.fork_test.vc.C2Els[5]._y:=1] + 506023 my_fork.fork_test.vc.OR2_tf[8]._y : 1 [by my_fork.fork_test.out1_f_buf_func[8].n1:=0] + 506161 my_fork.fork_test.vc.tmp[8] : 0 [by my_fork.fork_test.vc.OR2_tf[8]._y:=1] + 506178 my_fork.fork_test.vc.C2Els[4]._y : 1 [by my_fork.fork_test.vc.tmp[8]:=0] + 506195 my_fork.fork_test.vc.tmp[19] : 0 [by my_fork.fork_test.vc.C2Els[4]._y:=1] + 506621 my_fork.fork_test.vc.C3Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[19]:=0] + 506622 my_fork.fork_test.vc.tmp[24] : 0 [by my_fork.fork_test.vc.C3Els[1]._y:=1] + 507392 my_fork.fork_test.vc.tmp[4] : 0 [by my_fork.fork_test.vc.OR2_tf[4]._y:=1] + 507393 my_fork.fork_test.vc.C2Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[4]:=0] + 508419 my_fork.fork_test.vc.tmp[17] : 0 [by my_fork.fork_test.vc.C2Els[2]._y:=1] + 520261 my_fork.fork_test.vc.tmp[18] : 0 [by my_fork.fork_test.vc.C2Els[3]._y:=1] + 520262 my_fork.fork_test.vc.C2Els[7]._y : 1 [by my_fork.fork_test.vc.tmp[18]:=0] + 520281 my_fork.fork_test.vc.tmp[23] : 0 [by my_fork.fork_test.vc.C2Els[7]._y:=1] + 520449 my_fork.fork_test.vc.C3Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[23]:=0] + 520988 my_fork.fork_test._in_v : 0 [by my_fork.fork_test.vc.C3Els[2]._y:=1] + 521149 my_fork.fork_test.in_v_buf._y : 1 [by my_fork.fork_test._in_v:=0] + 521322 my_fork.in.v : 0 [by my_fork.fork_test.in_v_buf._y:=1] Finished diff --git a/test/unit_tests/fork_15/run/prsim.pdf b/test/unit_tests/fork_15/run/prsim.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ecac3d0edfed4d4a196224bd6c46158a11774669 GIT binary patch literal 53670 zcmZ6xWmsFyw+H$bC{VPxOQE>CySoR1TW}{hlmZ0`#oY^~xVr_46iI@+yA~^6q;T_| z|2gNLdq3^${p^`Fv-V{DWQIXoUXg=`lOKbjdX=`S6N87Ao7Uah2}4|*mP^~p9^_5S zi+G|-%cURS0ixxSvjSVWxZBf8N@9TAZ2x^x`2RFe@CPgDfvvzGTK@kuQgn9%)AIf2 zx3(1+4DxcL75MiSgG<}X-9`@trZqvtkyk|Y5Ap}oa;dl?V#@yaRqns9Dzs*_TzU>x zwvKN0w1WR>Zlq=H1hN6s3jJ5-|L<^kxDgNjX96;AZth@jLxnvhMzf ze*X=|Bg`$r$s@oc!o$ZaD8NT6#LdGgB+MtmD=Z+y!~bt+?SFd$|0j_cT)H4{cONes zL}vd@-T!9x-(>%vwEjEF|CxrOqYEN)v|NfVh}6o1Y}{=TUqT(^W)F6t<@xu6>Hgc$ z8|($La>ek^JL!g>F~Aeng*LPr3M_qwB&?Zbqz4LAsQqaj^qtJeTU-~hmFwJ}N$)LW z_F*SsbJ@M~Izr-Eq$2Wd2s)T=-rnYJJq$-za99m=SLhsz4 zw|@Lxuz2}>{`_q5meEmCS5!&;77K&LHdKLQP`IP46_U6U# zhsLUJY2Ie&6P{k6JHswVx3%lJt`Ht`0g8Lg93BVfkLz)b5B$u_-ZUkwqJgPWn9Ca# zL--ayODvzN(nZvY02qR8R~qGm;&7KKfnTZ~%bV9&IKmp({zW z`mM>r%#Tjab5CTZH>{muua|BeOwnfW?Y26V#iuQ7+)S*!?JX`TCVYf z)_F>e`F6B73$BPe2W=A0Q`(Ffjb+nb2nbue<76hoq)fQ7IQ=W)e|*g3-wnM!GIxSq zq{9@o;@1-o%XwN`;eR%_p`4*CTx=bmnSx?WJOj~}L8kMyyczQh-QI7difgBp$@s z?tqG;j|qxfPWwQGr>Ch!o_7xNrw}Mx%C100Pjvv!@CCJ%T8EK1vH4HYKtOZkTcLnQ z4DW6%6dtqEcv9~wCsArmkr7OcbzQB7;~BZ1bMMMWf!j5K(qDqPWC_ztu_Er)W6O8n zFZdk+U492P-w7JSMG33tPtD|#$oBWx(*msH%!lFkI}yBek7Aiai(Xo7egpvxLC{l< z7Zw4U>k)&zBv6WVo!oCAYl2I)#IR3ci@z9d*Bl|cvYOyIoVy> zHTODT?EHOGG9-+b(K*B&C`q)oUC4ob|3*QfyGQHqWp-cv`)&Euyk=b1R`^OTQ5}by z$?W+sVAnH1MZq+MK@Eqxgyw3JD=#_-i|0C%U^IxcF7(c6q&g|wUmHYP0>Xg?Twi*j zCirPp*!HLoQPB{R-J3;;(>%@ah9=Gi{!U3%52J{szD{Cknm5KVhCi*@ssOtqam>!R z>o4;0T%KHJJ-V&a1VbFK`2U6oin>uJV|UMF*uLZWImg=pAC_1A4hgrSh%uP%mw5!B z%2}-#6@L~&Q8?GJ)@vS`FYcLwT(h{!Ri~8%j=XDNOcC(LGLU5dNL5CqeGxduQvS%! z$<@g|+4|rWPVhxBn-N03ZE@f1CfWxqftzIH^V&n=!U`{|Y--8;+}Yp0xiAAIC*=kK z_T7P9u4`YgdA~q6N0b=8AM4sanZyez%4b9tHjNjKlb{L}n1p90#^cw@#lcD+CFeV8 zB`HXSaEB7s<>tG%j!1xxyURDJYdc~iE*9Z~GJ}cR$i43aM_`=3vz+;DdfE+L?oNRR z5|r6@e5xd{{;WFFOqt1*BtzY5OOtw63x}$0b2EM*q#O9*?!hZ%5YuelXz=)5RVB}| z=?huOuo!Cg@-}=)Xpsy$;yeE56<$4bp5C>3YP2cWUjbFs*Lua$VBSRdaPlE2?j3L5 zPvGrOd3tLPx#JJ);JsYMa7C^IUxD zC9DNn|F%^(g@g$5o>9dI+d7?fhG2iQI8q_z55?eAOU-a@tcOUtlOe@LYlA9G2Pt2J z%%%f2kj^hNRwl#V!+WM?HXVU;EszFu5`HM4kWfKs#VL^*q*+lMi71UU+XewI!*JDv zV2`NLG)-I?XVnhH^a~x)OBQEd5lCDB(!T!B-prdp+2o`pJ=eY8;0z8~=)0i47;L1+ z4|Vc^UvhX&0@8PaMtq|KR&wmM53nLA7C4~uV>AN6U)l3raXBAd?7zmxtBLq(2lO^Nf5 z^SC6Ld2LC-z_R=3V)koUxVf9Z&=P&KuQnZI@6kx^5<|@$Ce1QOffzDI1jR5J6h5qo zx$sU6G!p<9o|&*O-ri5n+Qr6fv`X0+HE4F@HQ~k=8O2{}#1m+LS{8#E78@ui)m$R6 zE{h})YiCHhUc=~^JTn-UM+i3QzK{TS%S5To>IqiW_cmV5iu92het%K5+i$2fI^^<6W;ab$2c9_ws0_`2BVi{{ zb}pKYAl~Ef_8>!x$2^|rAhOSw$>(B!_RPbBn7X8S{B7WG4QY#O`Wr0B>P8)75KQrn zb0i9)8W|!*pG*)jizY;infdBB=VjP7dgxD~E6Ekjr9bX@Pq+$d*uaU?zAx2$V3m|z zKA@mvOt>%5*#7mPP5ginG7K!RJQ*JmiK%4gNi7)iJ$9nFx-n{@$O}L70BkE@Co(4_ z?pl*NVO)8M9VB8AtZj=j|0c$)GQ`+CmGkSw76UxXiC1YZf*J&IPRDix8)LF!zBWtc zK<04BM^tqYwngEk@~zIF%&wx7qz%m?B_MIy zhc_H!LJKXE%Ck#{h|uZFmk?9Wa4qm}Khmnyv6h3fayO&DISv?l04F7Kh`SW@cW zW*L4uX{hJh76I9PgEpgHK)_(wTq_oGM#L%}rFJK`OJG}IZ;&%MGIe#Mq-3g_ypd2&*<3{vJ@N-(H%gX)i1x6HPqlA3x-6{Z2g2v)r*OjyfhRZa$K=+5B~S9_D$aou*B{}K{7V+DZMhYJmn27QYlcKHihDe`1gvtQbV4-*$xBhuYd|K~C{9U|^>Q~%d0 z%{<@!KSH($}mhrB6%|Rn{a-B_0 z)@cUO{<^oNYuk;L{%|d{dkO6TTApmoWm^%v@IpwSm5XQzA!oaF+8cDp$h6#TVW9#s zcQAwC`m*wFgxnq<-P$*{Gvsw!31%7-`i@_j^5WCg)PRcL-^BM5t6N+ z>h?k7&%h#-*J{uA{LMqMVvXpWH{I#??;L}{QS5Gn=|n9b!0fQo#R(?Z_I8TvhskQ& zo30N})zrUk{^~iVQ?Kq$lUb~&SxzhFpGWmR1Zl?C{DTF8_Ov^}13~@h<{ug?>QO7qTl!A%<=>%S$5z%!J zhcHjA%LZ|Q2q&olvBSs9zNB>$Z7e2HwbkUqkNVfh4D~JtsLyZxKO?tRR1tceye#z$k4C3#eBZJ!&i42z%M>QJ@t#vEWI06qaj7mwW8b680y`C*%D!+;4Pw;k!K_(~ofqnzTOUL&IMKQtV=zyqLe)FxE%Q?{Ai9_z`8drI4Uplf99c2A`B<;LjRyUzE)LpEz&OhadG73YHgN`TE zfvtShX?2@~9Wv8J)MC}e4Kf+L-&ua5B^?aJ(kMO)3(DM!Bh6szCOQfPQo{YJj`~aS zZib(HrE?c~!O|wCj8U8~5~088fpU2*Y;ok|8>TlNW0mT?*YihjZ1O*%R5!{C_82kK zeOBIkSdd`X118-=V?cEj&NWI@-#0{)yUn-aXNY8-^F2|0YCZl8dnz`1Hck!rK$Yxg zf@pSJq`t<-<|rB!|5#{EM%9%Djb-ImH;*Ks|rY>q2y7C0&G zSSBDQmrZ0oBz~JtVf8#tM5B-LTY?^m@xIJ6^jrei5Mz`hD;Ta9Ce}8x)vYIN(9erp z#yTYY#n{j&SY%w)TvO0#k-CAk?zw5drbm*BL@04EZdu|xSrWZ>Jj7j;_@bo1pB$28 zsxvTj@uX<94#-+m`I$7KoHxbKONKJnH3EL;%tk!snEEC(bxDJgp}f7pQ-k(!@sGAJ z|J&onF>Sx-ra=6<@0sb8ww4+C;Ex;Er|z-+{5!xwRJj2yG%rMzxc>T_q~}?z>0Jr`X2s|1y*3)MGW5`$YG}Um-N71446V zlr*0XfWDrdH%)n7eXch3bz_GM3oZqcQ9Neq-gxPgvzvdmrKyOFVN9T}{B~)3qN5Y= zci*rGFy4wz25qF;aq}7RD{8zZ%k~jm>6oII*qoyFo+=E9hSPu^Fu9nFt|WJN_R=Q5 zCvvEB#K9AqsLf_ybD!2!+LcA4gFB+%%ePeW%uD|k3T;D8>v~|6H{%Xtoo?8B?)76=7{+6F3-VJJ%xa)jh!vU+}tZH zRtjIu4cKBS>c58>?vgF+M3eU&UDQ7@^;>bqw8RKZYLrsq3tTpFgC1oHef|kn%|xLX zU;Sp_A*@-{-ZxSvQ7|qf+jTF)bHi&02~TENL9sB%$d{0pe(3OZssVX1=ihi@Q;1cX zAy7Mc2)%iqY*u7on`VNnZyu_Kxxt`jzY+$QTv=kG-`VdYebc+J>l%)|JB&7Cy|>Qc z1bYmBWior>-#g_rMK6!FU>ZnA!Q0@w92pMx(n_Qe41n(ns8M=A%NU(wCCg86MOb{x z)j`$;ippY;tH4`)b4^~%-$lbMfJB+eozgOA&10Fua;)7<0qsEL*7-0ss-5^qx?*Uo zKEcM?Ok<5h&inKCsXxldZqOt!WIT5_Oln>enE*LRk+B`Rtv2^W*?c>eSgphcD5p(tS zH}I~7Y2xC7e%J@ufu(HiU*$KLL=8?I5h8~Pf&0#{y?rJhKcK(p$YngR?2Dr{>*Q3I zbh_T`Vf}OrD0tv>50;jH8~($-J2$#S=&InIJ4)&r%Io^t+IHgucgVc3woaHZ!BN4H# zK2Z^6rAyZa=6gv&v+4N$=Q%;RoCHb~X7ovNGva?$Q!ul;$BIqM_DfkZ&>+#=#jwoX z!VBH+xF!wa`=MBX8ednXa5Xr4h5+--ds-)+`*@p!P~r(w|7g2?E&(D3yplo6_%88 z)U7XZ%D}E69`AJ$9MOl-M5cXtMh|t`x!~NT>zKQ2TV-|oI%2!CZph#zPlfIGB$u8s z@xMQvw3cCbr=IF(6w#@sbnxCkUMZjmGwZDf*snfCg{LxtFLODoCGV>KW;VS|Av>zS z^?LqONLM`K0OdPc6X#&An2`{MMm|MlYo1@f75|hS?B2}z{c=J+#HL80MoRp7=l^R{ zIs7+K3L-9x(Y(x!2q~ssfM=aliy;|iqZ(3IaXv1`d@ForJth;#&u2F*|JAcDytU1> zNe?}cS0`z9X=Klo5&R7#mtQnW11%6A2wHCaOms7S%E(N{S`M5(%t|CjNmOOR?+^c+ zIKF8n&R1II`}mnPy@ny$ZHNN(Z;5$Ijn?f1Y$XMRM-EvX`3EBiy=p4_Dp)xZ0?Rvq zpXhf7&|Gi+tJ*`}iwT8Z3xi=w&I=J;A+>cAivQv`U~rP8L7B~lUc!v8dDA`Bu#quB zRqKb|dqUJ|7hVE^*LxPJ+^p`c>Lw+JQO&MKHAf|z3Y7E~N|QPKL@ja3#3j`=iHFRT z-~OdcbVnR91o^w8k+d7EWoUO@-OTaH2F61)G?UMb^F(glG0C0F*FfAv7h{3ZjoBc63}p#`))FZH7fKtAaj(DRpA^R}Yo^+wxWx zsZ_{^w32U8g?uY{K8fJ${Uu}~F1`&% z&v>oD8TLUYNis-99^O7=99Gn|aH{yTz)-APU1qm)Rnvounf!9udUrZ>Z=GJN^oapy^_7I>2ljsSiK zt?dou99tr(TTe^RBh3BmC$E%uIPoZ1#sWrfh_}`7tn~NA6DEIT^3{3uP2Ibh*dxHt zW49(?=*;n3vjF8BMh1iR?9*NZd80g5&dCWlBbiKqYk3J_+{RCKPcO*wl{Z z!iL0W7VHr~GL?mfdGeFG+0WNo8wcv}p7R~+`B3;Pke#k9!#99exK{;HV?LdsdIen9 zZXg#Oc@D)lE>gC0Hr zZtdi*&&D;TeKX@%p_qjaKHPFm(`2R_aQk=rgqPv>cc_flwr{yNKQ&SjcI6s|jqNCVQ-FxvCf{S1GB{IWmP!Bo=sk$0 zfQsgwb9+{hQ6c6S3rRI?mwM-MP^iQh-0i?xFeTcQNN2DCbkIJ=`SRjF4m0CyHEze@ z5zRg0yUqS@cUZGhm-dLs=brfUnyA?Ah*P(B$d_&Yn!f? z?TjNNbmh7XVz~OH-qS}id-S9&$f8Q9K<{%*f=qA*B)Cw-u|V?hBUhD}K2U_VVI36g zaXaNmU}ysU?d1|t|EfwU@)MmxNlk+>!D9-m6*7WDgA`B`BRq$Z@Lrk3+jVzEFQGX{ zK?qD2>65iWwTmGg%&R!6_RMS}vqGq%v+V=h@BqN2SM%I}@0Yn{-|fap-#^g9c0Xy~ z?8cyKxtJQ!Y6`xmt|p6!T47_zfDvue+akJnc3Ny&)bx&ba^QbxtkwtO#lF%A4&~vy zyC0GC|Cas&>6;`0pG*ncMavHNC`pK!0#x2WAFmO=9`znJc>E4QCRW;6t)H^A!cjE4gU&zES z#HsIWm4uxqmeihhgK|!fnmj$PjN&4keKZ~&ZTq1wR~2W3As;DPjUY^)BfeWSeXGD( z@?}|mQ+6Edn_ST~HSX&gF=6rhGUEm#53kSwu>AeGmvh+1K=_*kR=ki0_b{k&@eINE zW9&X#dpdDbBu!TE#!Zh>MKBZFZzfqSL1Er!|00P7p}51E6vvlG{d;*6X#E>$9219BK$s14nTV2+ ztV5eIx9j)VT#a$(dU^Z zEvJK^qNCrbeV$kTvq&O2{cE-Y97vTPs#!`1`0qmcK5{r@Kp>orxi&N_ERzHRCFZ@T zQ ztgRSaRdb(>w`cl@qCSph9#y9tMv zdUN_Szo}>Z(72m<)69&)jENO+evMDasHzj-k(I+=l%}SgJ#3qfmQ}o8fZB~h_5Ge| zvSF@+-&Z)@k}g?K(POe|Uq*0R7pY#Z2Waq9X{(pRcT0Rc3)N^3w~?Ov19$o7&1yxh zq_u&|kZKf6qlS8Mhp6&}up5`@VBMeFl5%_@5R*O_3AMH z%%J_i);^vx591%KE4D@)>L9|M$!QIWwqjJ8v;ZfLK8zuZ4uXG#ni*$H8G6BC5G6P^ zt1{F&&mP1=!rzROl%@pSRWhS-CS8AZ>WI7SEsRw}zHR@SWZl8KB#-!YYb}}Bq5eL( z8a;M?faxbk{cqkwXn#vIV^>cBcg=uO3 zlrJ}Jva3H8l#Y^RHzqAr+AU;nkkmJ4$JpzG7=-zqCrIanpC(bHc0RtQ`&gWV`j{V* z(db|@wfLDqASUGPNx*Bm3x(g2MrPR%-ci5#%GaW}?EWIh^s~Y@S6AyVGzP8~A#sh} zfxJj=)Zn~T=iTzBHi&C#0kQrnM26-*42=Y-aXzf`W2AwO+f3ihE0<-RDIGsXeUGJZ zo$xm;_ojo@T6z_)&X6+vG(-Tnhl{?7fM{>l>Zcmb#%d^?ejOlw#L(p+vPD(TwT$^o zb&HlZdKcK>@nR4msy}{!jn>>+Wy{*G6%>=O2kjO#uU8n_(6^WOX*z-TJL&3?y#GsB zZ_zA}^$m@wVQ;XgIj%&)rDs+)kazZrMqURkpe&Y`>56&ZZHh`doYnWqtds@}6;dWx z3zPiSNll?IGjOzzLCvf~VHw?=X7Nx>ED}g(CjV(=5EZg)Q+%dAhq|BT&Ro-y4olwD z#&D^U`-VJI+pn87GgP>{Jm3BkS@ox@8G>fI{QQ|D;_{VozR)S7Azi&%W9H3Uk_lXYbVZf$GSN3_-%31X%E6A`qdQXd2X3DW=PM_29;!=fPaa% zROrL2>li4N*(wm2B5luv96hHr!@oH~!?@pW%O5Jc9vU=dIUbsQ*%}ECW=w;UGdR#H zN037YBL0ZrzsIv7|6KfTh@mGB9PVaaY?3GV^UxMOvP@7dC_|B9hG!hG9l9Gqv~mmJhn%$tpj$N2!cwEf_O)GXxFw=U4y*FLS>mLRlD zDeB~SF6z7VE2moKcJMSrevtfoCPy^=s3=RzU*|)Loa#Sd52K^%U1yD>!m&bBi%AFO zGVy)r_$RGQ0RaMgqST(kApy*J^V2*&ff^mRuhGHs-s$;ZW>mYr%Lu_;$oRv)W>C4J z9S_*PDmvcXCE}ta-A&xR#Zv;*EJWq3-cq~?o?VsDPapNNp{M*6XEFJi&+)MFAhjj1 z9vex{BTF}n8_n{ax>1H?zF$@)V1;_^y_mX@uu!ZY8qD%Fc9d?Gzv#Rw(g4LM##G;B zq)Jd>x_jZT!XZ$=5qlB;XSg$c_rh%!SDl0!KQ`V~t1k?_p5mhCzV}Dz%x-F}cSTT7 z&lZXjA5%BPs)S-ojbbrJ(EnHWt#(jK*q*vT`BhwBJbjJBj&D`$F=JKdDZr+j3dKHR z|123JY@WT4k}R8s=dLLw1(<*;y!i6@e>dw zA9X3n?{ro)HL&R^8>RT|U@h|KLdAqbstxigUvUovOorGLRoyGZ-hkl`Q(6OpIQK=% z;Op};*Oj$=)y^L#EoMMg06IS{InGi8c=us1l&DNq$)NlR<5kZ>9<0t-Vr}Kf@|a}C z@^AYmlQIgkU?#FP*D`Xs)3?GDyncy#l^$ps=(zFp&13}M+k+K^?~L0E7wa7F!glt* zUA)JDmv3S&qRXxqYoQE(&^W^7z~3dj{xU6KRPYpPDao;dx9_uoY!!?g=_%kgq*lgT zi@GEX$_l(qqO21;s37m#!7iDtje7L|5p4PMZNhxE^~sEe;Jh5c?|hfA4l%ORa?A?{ zgPF(tU)UH}dq^Hp#)~3Df}~2uM?%8x^`$ZK{;? zg(PM=m+55RAiKgCa?zLq-y{ferp6eFs(ntv%8UY5okh*x4xCvbI%|T6ax1U}O7>#g z#ky{Q7g56p1ZLLNGV20nn}h4H!w!Oof6PhZ-)i$8Y~*0Dn^aa({MaKyt|HZ~v0L-H zgN)t=C3`b7PQp-7V6--Lg<=N zqhka7+D$*U}4q8D))Pu+D7E~-U zSuM4R{WkNR8K*e*@h*`G_3BuBb!$S}T83&^0Y|4b1&-!qo!~n2T^}ZK*)LQ9YB7nE zFy(bV8l%DYl7|&E)R`6Pn3_RLI;b(F4>UgS#7whaL4N&2V~+nQG~2t*Q)?xHD8Oz) z%YWRAVJn(uQOkH9g4So$rF44FA#~IRdO(m&Nijccbb=uvj416~?frEQTvW9lLs^h` zcCN5-Fy8{t(ybBto>ta{EwGn>DYriOi!w?o9&yhkqgpc!875PWdp)EvyhEr~1gGwG z=4hjWrru8_P_1$nh55YjnGv1R&Nu-L;T!#>xID*>G9YM3z1x>9OTg}9Y(JY!`q(SH zJUx-O?9zhOE#n`@iEv(o$I%5f&5ajvc*t|t`R11rB*}={66KrcPcC_yjO4QEJ>Q-y zTR-;`oi^b=d_1rny&7oVdM)cFjFcwvg>(AjBYT77$d~OxuJ0<0>XRrppY&8L%GFW% z);6{X@vGItHESVV0=gBwtTMQlI=S?oj_QyT+OVTp^D%FBu`~F8s73Mt_euE*N>7T+(Fz zN8=N;XB#@wcLe`X=K@eKxsMyVlaic!;|-2+M2?bp(j_N);sxIdwRD#z&lEV{)iNYi zS48~QsL9wBZ?a66)l6qRd^`YoQwZd4U?x(&PI?N}N4*r-!}twLrKtLev_AWq#?*$q znk^H2@TX*~s5s-c)+V#YjWjPlrz@IOB)`eu&w&r5cm?||W8M$EU*-Q)c>m3qQNrP@ z!H$8&)LzGDGw1ewX|Ik+mcSzN(lF4wfN;FYQp{r_hj!0OFr6ohEF8dxLf%Dc=_t_`pp*VhnT_|9{X^O`;?cmasICZW}TT%CRPJ@rCVt(vC!ouU`O z)^FK4unOSr*J`}jIkY{L3TVIR(iyr-)mgu-;+cyNZ_@F;)1E^S(@?>!Xxg^28r9zW zMCT~`!x7zqQA+t%%A;62AkPD?N=$2^Nm{>??q7v! zxI@8E`xQyH+=E(_f6U!J+?58uQj$;>*AIMECnS)P{-xIhQEv%nEJNDAi$!y};!rg= z`%!hW`>cfunx0V?bJIFi&}Dc|z8*!MEDVmx*>)#K8h#@Wz042uQMq-e?0CIrt^e>3 zAR$@1Zi!~LofIbcHqEbs7)&7sk;9e$^y17JbH=w#Dw?2jVjXc*MIqTY^_T-p??pKbiJBKUWf@Vma9-m#R zS0$v8zn=y!pkeBLi)~8KN?=z;J#3ZPtX&xwwSs;1l-EeQ8FIvJNHxtKc`Aidk=vG$ z36M8(2V+!uZfbf7g?&wTQONei;ciegN9{Hk zZYyd)`6XPRVV_)k-FN~)gZ0-0itB?QBPh)bqu%|Xpw_pW#3F2bicFYX(xB24964sK1}B`6bjR$<=j+Z$*aKM9Rf$h~#o@ zXP{3-STk+5^(6j!98MBV9>>b`%bjcG+g;Fdx2`!-C$zq$LIii;e^+PA)#1cYk`jt^ zWgSMu?uS8AjT-4$0C3+$nXZcgXl?X1BxZG0digq@G?CPT4{OHQp=OKVV!>0?KC zl0dG$Z&}&$g7UQkRdEgr;5~iS<;vGQ=BQU_x+J%icgZ_6gO%@H3P9%-m>loeN2X`= zJAItSnSd8`k#L}bN-*=@F-|DC3hT0k5I68H+t)%-LGt-E#J)WZ*h86s&I`!g&`sLh z2cK$zxw!C|f9r+;s(Xp&Na~;|=HVN25Jk;*5==w=*1}1fdNL~GPz~)-L(X_Cvvut^22Unp(jt>5);s|5zx06BIlJ)_0WCtEb&&~aL1ne`Kb53AQY}V`1X&+7d zgoozw{HDYm*_xOG$c2o7qTNKC?PGoQRk$ulxQ{p56;`#?@^QjcL^uz2u_jb-5eHQSwQUUo=q*PoG{|Oq^FMtXA~c7>iE*9?>V4Sb@vA>F8514TP?v8S3| zf$&(iLm`g}8IrS-&3stWgQH?%L#;Gk8PR?X7x9Dh!)Iyu7R{Nv!$vHTTFiO;+JX#P zt;}$#!eM-WxSKq>fqkA#J{y)BCF0x=6XM)ZCVRf&dC31BrF5kKkxMvh$cRAn??-7DQgYhS zZ*gRIEDSlZtvIoo9&hc}8DopH@cJ1V3TMR3T&e*S2%FM5Q zoKS?X$?4BGQDoyQtO|3vrs1kk*dBlBFO{)8ITt|)3&kr-$rM#iI1}nWo*ZJ>iTs~2 zZS9kYGSdxbz4>G)u36LvwRzZnBu0DgYNCN%lCZIta5RNq^QAkE9QV)rF)?0t!t0sB zPWG_V!+6pzM#T1!tI`TDoQkOnGK*OB>>SO7O)=|bD1Ej@!(1x2d~i+0^*=}E7f}l) zAQo;ipwp*oYUnNn0eF=>a|vNhJl=QG8XnonZ)s_g1E?hve>oT8v3c+Qg!zJ4IU; zz-?{y4Fa1GiFLNj7f3X#2FI7=+VcY_WY32tvJ>VCQr@qKBR96<&k60vB;SmM8(=y1 zz@&D+MjL5DVsIElmsalxqJZ3yx4=%cWGLzprPn zZER%8?o_1~1Z5>)2hA}ug{1p?EiZ;^Yd#uC!InB>HAFTRm-XMx6&VVa{5f!rW>1CA zs?@!wW1*Rrp}?VyO<@u_WmE7>w}&qMvf80ou?%+nZZbjP8mvWj>N-JgvL-A{A=HKo z053e0w9eOVMlhTB$Eip3Pga}?_}_`v$iV4cV9C3%PN#@!A4`2+1Iq}2?PA&oXj+^^ z|5uEro-Mtkd9@e)x|`)J>o)U8Emu?bi3e^l27QmJMNb171e^%E)}@;DO@o6C3R z_ZTTqwa$>Dc+y4@K`hNT!+qI>Bpl<10z+QfB?Np+j00hMA=)E+W1g;93{@&yHl9d6Eas`7h{HOTqfDS$+1*FDsdN(S>6#qsSK@2L;%L$dBd^6e%{8 z6oXdE5EKS!Tyb=50Gw2WY4yyu2i4L$;AUt>kGgT7KvIY(DL#6=iEka}*&iwI>iLSW zTt6XyChEi`W@Z-~fHRv6{zB^!?jEK!cAHQSy5`E_MY)132}sker2kn|wSO}Y$NIyw z%q-*T?o)6`db%~fYpm5`(Mo*Vlgr5y?<`r4q2lrzi6Qo628AJB945oh<^iMxjf&qX^uqSaqQB8h zuwO4+lj3R4?(=C4gb=3*L1WfGQ|e@tM6m8|`Y?dJD&1G}St3&TX8Xr^TKj~jRV~ch zVC|ZX2wC~p=vQ>_Qc_1qUP>j!h_8m#v~Pywa0TRZ8ph|=Fo}4G%w^a1t1O6Z(KnfH zytOxrh{}N}^cX?Vfj{D=%$+B+^kXIziKN`TvLBi5+5h9c?!1cK2?c7&uE52Bsv+Zj z(ZwNv!vBDU`fXWOiG*!lhog9B3lT#18u?LGz=bfM1@c?*r1Nkm2nuK4!0x8mqAgMO zXqv++!#JK~g2F&yV}|`XPTB|}MxjJLg&?~`2(s&gAiLTKvWqshMsGm8NzW32JDfDh z#2CK_&l@pdkmJQh+CeJOL>lK+P7~MOTu*a)V+05fU_=L%f9}-fgSO>5dZI32n&#q* zFpT7G9=}A14SIg~9{gLLXr)~56Vdo`rC&*2GtBna&VB&?PMZBGKq$Yiy278EWG|z+ z_Fv;^V!PB<`T1TxPJHRwTvUY))(oCy^!lbE+PzR9X1V8i*-DOZ8@Ax7itRW5M++tV zM+@yyw*ykFM3%$Q)bF!fimP5;J-_6p zrdks63;heVF+_BW-A_R0%`!d0vzi&{skK3tSV+_=zBLM4t&S=ZxQ3pO=Ajcp{OdNc zHvvc3ISagq+Ilq7nfVF~^OLR0HMYfy98f>T3>*%&B+~WCp;KI!&|*o%h-o4)7dAZ9 z)~3+mnVp7yPy1WYpyrx77;HGs zz>~q9Bza!q=wK$2<3K8c?=4R`F`qWca+$487%b8|Drs7;&QfaS0jsVc)clhq<=ZZn z#~VU#?6zq=Gu??l-KD-jRiaF%8B2_I}XH9 zIwDzBHQReTQlh}xk?>e`r)op9O=DCtt$EEaqHT+)JBnfAdLV-gD!ea9@J z$q4Yz#X2MZfgnMeoOJH$op;EqJGf#H=ki_0+uxV{Ac$>Aep^oO@%@0#IU&=ZP~BxQ zKIm5N)7>}+LMO`upxn8C4(KDvKX-WdBO8z#B~YioSv6~*^r>{OPT3Ohv?HGlLf|16 z`4R#TNfs2;yjQ*ssjocR7w?_DQ_Zo`FO4;2dXqZ;l7dS5Px>{&vAoSl6=9bB=sn-5 zi*Z+(M%PQ{1}LIi3&XT=yKcN}(rr}LSz_)tOxa>C(w!t(9yWgi7qVquv6sMM>+;x9 z%Bo+8lyrSOY^*dCtk*xkjOw2dvtz+K&cc0i4pg6qoLD?v>hI#5{|HZ`3uy{f{*mOZT#*#`Uz5_KS-SSU6nWZL0DxUo9k{6d z{@pU_2Sp1{7f|Xyu8ij_U}qFCab(Hy3?!md#*U~G-Il|LC(4%<%bhY)KQfot!iRR$ zYjWfX{hnW&(H4cn)dpk;(35D6;7p?>bKK_;S$kKPj91!8p;jdIM!q><0%2Hdk7gx} zZ-0%}1F_|0i5{hKmdeVCI}Nbne@i)QanD1?Wj@LKkJO~mGF}=wMwq~A0Kb{4d0jEo zafGNxCi0yVh5iHkNEEU3GO@({U~6E6*uQ`YijaPmq&LMO#8rnysY3V3_c`dXIn<-j z91kg;YOn5PbU5#0uUMJ31F)DaiU<)l7#i+Uh%D;PF5|wOuy8l^+xKzY6G_#}qk6n` z6=|U2!s6Eq=dF^!dR3Ojnza7^_ zGx>oKMGEw5fvXNXK@KeLVqoB}z!#V1RdIQ?(Mp}wO!H3;(#kXfQypG%*r8s{*cff% zoxwIA-yHse6@5Hg)qs4)f+p`_Qx}HCX`Ur1&ZLi*5@Kttd)!X~!dN)cP!)xx9 zEkTm9UBZDP%89e>@X3Ny2lp8#7f1Fv2e z{XdMoWmFwY&@LR@B{&3k3+_&EcZU!N?iO4_aCdiicXxN)f#6PX_isb;e(Rq1o^{vx z*L%9U>glJet802@PY;UBE7CHl^rjC+)0YJ_?Sm1m&`f(7U&G9MncgMC+t~Su#!Hz8dVz@;KvSudoeS# z9S5yh-*&g=!SOlwvtWtQt&bl{B?!@f{H0StC-n=9;{&r3k}{TGu;RPH9T_-xh&Dil zwycw(5(5G$z(i7b1Xk!^b@<0NGl-f{acta?3;w>!^aA^~W2R3J0)}0uDJ80~eh3{M zBih>raWSn5Wp#f)!#E1;(&J^#226~G9;?70v~lw^12RhQ*@dvyauG=)hknZ0j!L}l zxj%KEP_81D+BbSXsZ@7l19ZV+mmeBC5xlECtOmsMu*Pw+&7~N5TK0SjGm~RWJ~8z8OYV|H+T)i+SL#ZN;+=whSt}rHo_PsBlx6QdPEwZok9@&=gBM zLYu$dvRL@q0v{&g0v{&g8P>5sHPhC8U9%Wn=9O>C^ZpX_1nq+M!4C|p&;ncU1+m@- zr@9wppAVutm+#X4-3|4bDD8d|SdHo_KcC^Ef~-Tr5c0wP-#Va%s)c*Pji4_mXjf z$PSxczx!mdA9zQY1~TY(uaGcm$*JpB;7Xnxzes7G2ht`7yenNtIpTSq>b;qmUi!9M zJ$>~AP;YYcwi8mwjWF;L+aDgs5rLv)$2s*jULs^b#5(T*MRic9ZqJ&PA{s8FqAkgi zFjNN64sV}hy>l9c!1G2+P&&m~{|I*o0)^r6XDBb4=Y#OT1s^nBq69i8`E6h?w*6 zjs4NeYhB>erYr4xwHa-h)~ARx$xeS7!{5hjthB-n-@HmC(Q$6n5?UG@_6t_Z@ zW*$EPs0A)<>mLlv5k9JWaqgp4A*ld%LYb6X3-Fy172}WLWdNa+R1HT+9DYPAsmICv^as2R#VPpF8&k!@2Hb}$sk#+HT)yS;SNZHZc z-ov2g1+>{d)2z#YuH!iJo+$TkE0YoEj(y4`sSe^$jd29mqzjWlcPiCn6nMKbM&tzu zOB)2l6eX>ylqx?d%&E4e2MhwMfhnFOQG+-P*5gHGSj@n&0aSF_x+6z1u}4xYTz5(P z``AJ3*#G?m?|#pU`x{_iv=i`(Hy)CPfvotVzseznRrEuMb)!ge7la?0`O@U_Zl73K`J8=_I5${8Vhc3mr8(t_Ip8MyVsPS{CL9r$ z^nJpR0v+ZYguJx%2u3`>UjgNZB0m;UM$A>_amvyx_$cwrR%D2Q#VoF;K4dlzQ1bthPt&jozq#Gw7l?d;_Y z)biH4E7JI-?q{7`qFuPGXdGs~#>7&CjkTd?RrXPOJN{WoV2M@U!F+zHe!9+JoOax@ zE~{7ek!r`XjzW@TY-4p^7527QgL?Vi2)M;LV*v5#d!-ltPYM|d$7v#1=wwg#Nl~2h z{QY5Bx9%%na&~U5kH6i4H!bwQn-&+~O$${{+mXiC5+i`WrnAyRIVK5Us{^yHkc+f=Hr=~1Uv1sgG%DI_metWhh8 zA|%6r(z(`4hXY>>=>3s(wJl_K`q8Mzw5ZQ|D1y?(3pK{>f+E{!L=cpr(miRX-Xnq*u$f1l1oTFLJb@8=7 z;7KekKlM#5{5H{ZdaJuu0tTX=h|WqAvpqWUcmay3M6*zNpVi*IUTESn z)w?Y=M7QlLyutw!=I52}Dcc!%bVlv^gKBiq(di*@+&xw#w3jVMKI6re{&0u3T zD(HN_Sc1DH+`be$snj$#LhyLf(@tk)?X}=AgwdajS#6+gZp20zTMLit1MOnQYz#_x zmjE%7KN3OnNJ!BRW4+h6>69qTuv3Z#h3TAPn9zHfs&}$}8b~_J23m!iom~1v*_zo0 zH*VWtI;h$1qTK^Um12ZpPil6?4PW4`H7{tVkrR69#Ptr$%y_-4+m)ZFthFF_0Q5%uyBl=w}>TRtiyHS*bsvkt=i}{zD82^ zI8qX-fD*KCJi1tkIp*!XYDRE2^WA{2+FejoK|HbQJnjL%lp&>XjKsGzHhS@DCcaFC z1b0bb8e=lRbDDZZXt?xg7arPyxDgfby9A5{zrqT!(=~dCniw$LUP;_5 zz(*(<1U`4mrpC$OKUgAoLbtjrr+K~~lk z=N!mwa+Ij+V1J+4V-0MeqG1o0dO4i3&oKHT}@E-hlKGp`2OX`Ld zV(01wi=if>YwC-!lTV=RsS+J3&uk9pwtjA$lUvurF!epaG2bI8lR(X!2r9DRy81*k z4}3g0jSv=SSyxGuQkdV7wweE9$QoVF=S#IA{i!dm`asOQYRxTP{LDDtshjE{dC;0bsSiRVe@w+#c{7I$ewjt=o$;rtq6Pbn_U8AkwL_8eI%xu z5jctm)9WT4exuxebgROI&KT7-ymb`*!613p_fh+&+|mW<=MWH72}nOz zjb1X+9)oa4wtG(T@-ZZ%x^sy>Qo}H_2W|jC(B+%Wz0(=cUKe>brFx)+lK8YtBL8>r zzJi-(Ifr?}|5h5t4^htYhry zJd07zO~7#mXl#$o%x4}c2P;YJKf$48pa^ZxWZY1O!7ayLfCUWem-D?Efd%jnbR%|r zz3sedLoH@TxbdJ6bmWdD$!!y}>%^J!7h%=7ANrg)*+AnyxAKmzQn$gu2j4(?n1PPs zqh|oX9fU%Vy;mmZ=y2FxTX_aPvMIi?({OUoj>MuFMKp@ZSLJnmdvilxErsdbNGkfa z0i(!|vdQRfUk~cGc_qI;?sD}=l-mf|UukU%v99e`;Ce>pz%Oasy+iQy-M1t$)Gqo# zirCKyMB|6{Q}7Xwgwl4INg|wNJ?VjJkCQH$Dx*hRQG4zEIZM*c z)uw-HRY3l01l;X#3)oKz31ift9BGLY=qCHm$+iv#bjw>O}!)r@!vXfH8BV*Jcf87b8oiBKUYY&7u1{qZ~_nWcKo0GPh3dahEDo{VGQ zR`LD#5yHhxJUq&wIcs(+B))?xvdqO>uC(&!++m}uA}ID&AK_uC}K=)vB^DT50$%$Tah;yY}6&+%?s z&g$ZOSm;7~0lv-}Ifb^3#?Kw>Ry$y1K}IzULvaLVEJ9$sfe~a2P7i>W)Nac8y4jCi zu9zITSyeCYHJrjLN-3|-Jd@GZbzF{Ge$G}y^dzBi$Z#b8PI5MLt4ua2j)Ef%rt-GaVE z10C5ZaU7D^%%;jBXoc!T!~C4lXE|w2ANJP}j;m4RnfvOdGTkY0qeFUnrqgX`Poppr zQ>;Pkq<+Av9vfOmjBwKz$FiFIYfj*b>&_dKTYkD+$X-of7d3Mu5C_Z{b|0NyK$jjn zSY33m5m^N0^Ig)rr>lg8N8csFE#}!fj`ta}&7dFmr9SVy;IO{TjC|Otl|d1by0U?N z!EmOOV?O)7Tlv)i%cl@MZM4FMe&u$*$t?#Mx@_jSHrSU(4(n2-J);R%3U^R_fES?iX*Q-!wQ# z#u{F->#ML4#R}G#l{q)qxND=4_cV``J6mEWSOU02lz^0$B3@vUC%Jy?G=kaK79E#{ z+^dHJ?Sx2>3q+2mYOg-edO8}VmA09Uy%75F>zwL0Who>DqucEhgeS87b4ddhB6_8N zR};+vBTj6oBr^1cQ*49Is{OdWQQ{*yKEP*=SBuYrnDud4N0)^|!r(=5)NQ6)A%7k6 zFi0^^QHFb2F=MkhMcV%1>RiRQB_bX&o0diTxO$!P;IhG*F=O+roY9sI?h#jvRr2mg zZ5p#t>Nej0v0TP?mF@##w5-=1#^x1{g=jXw!p7A5g66OY0kho00w;nL0Zn4Eu@P>W z+!IxY`eeTKS9@oK9V~^X=EqUCWqsbHpYm?^vHteBzoJK{6kM|CK4{;6XR#PI@ECQf zL=aOb=z!b!-KX&lPMEE>?N587yy7Mw>!uR3C zb1Kv5(={L1eL0S{3AY5}NfrP}?N(v(PVNN)BUn#pz1+tmJYqW=#JtXGyS234%x0E` z+HA=lt{f*kd)(_W{(YaI&ip(61Zq-A_+qX1mQbAU?0=W*_-aWpzoWCcV`^_8(1h=z znksHsPCyWoICVC)$ue*3^9;|YaLdhEY&5y${c!Jz?J>8u$kK~H_A<5CS>kW4V9f6s z0W}zx4&ue;wwJwrW3l&;cB$ekg%<6f&oe~&UYpfDgzMoG_7FT@u2Yl1)ez{+MZNTYJFTh#$q{zj%4%}RUq^%j&wfwAo-b9@WO6Gb z6h*&Dy4q@H17M!cq>5;EY&PQv=6X5n=nfzg;9_iIu*BKm3@<}7Pf_bsYaHQ(Cqlkt zOkh<*fRZTaa38TD?zNwm`x*OUudNbeYV#RPcb%?97l*||;463q&fl@t0G0hDodQDN zNXa!swN4uCX<~nbixMTp+O|j9+-QFGXoy*T4P{;wHAyMvm#Gv0{=oAyd zL`)&k#mgPAcD|BFq(BiAwEpU5j|0|c0ztS)vu*ds6jE|HnIVnp?^(~rSb$FC^D#zXhU`#>B@>SoX2hq&7*xMtvRmU4D;{r(QDIc)5f+7`6Qt zxn>z?%7I0;HiSv9sxjff5y+GrD(Cf4!6Xp+(;Py51{TLj)@6PEvjxfWeMQ6xTZf#> z71I4y3!6JXYAR`*$r1mY!kN|fp2tF3a~z?)MlU)X&k28gmM^E(UFVPTb&71^%)DEm zFBlHjGdGKJq4}aGP14Aw$SM>%l;F8U{cH>QQOviz0h`4{Mu1$)rF<%{`wt!z3~go{ zf%@|);6>%@7)T5!G(v?VP@Dr^a_-XkQzMWG4@3y00-h8hi$E`>=(q1kf?WUEP+AK&8|~b`qT_flQ$4JlbfHRh)r)q$~t} zLd`|SvghNqeIN%w*b=3SGu*10QJnc2xF>xFI!(CLo_2LvyiT}(nPAPB&TunS41=VZ z>XNKZ|Di$>;A{v8@N;y8FW7Ob?u9^{k$%uv7x^Shp0bPX85z?UOyRY>ag!)()nhP6 zYR?@3IHF((Rv@+6-D&mal(=m&%w3yZEaI=Qp?O_8s$5yBrLWNI4AXN3=doifQFq{A zLCu^SSd;ZYWBG2 zBL-4#m_2NmXDxcAFiRgQoV`GP@pvt*`~iZ@`( zIsk0;OvY~x*>_tk--4YMk331LG?zU#pI28=X%SE1WT1q#bUn2xp{DhDwJs~ixu>Z( zBd#;)g0?1gjM9r{1$|4UJ39YGPy`TFeTIy7fkRA*i#v^CB$}H)m?_p;AUc1 zLvAhr8#EEJVXSarD=*(o3i&JX>#ra2h_{)f!Fgjk4kQEL!$Oh-^rwAhz4hks)L*i9 zd|g}$Gq7rrr^l{Fp11Lm4MmejL+SK{a0>JCW<$ewWnV;Ad+^I~EF48M0~O`*`+)&Y zG&BV~%n9}P(}bRfl`cQp}7%{ckAHs6fNG5K~@`PAd2K!?=f}WgnquJ@yvGTO(L)@`SPeWnN>ttg( z9oV|P&^ygTQOoSIFYgt~T$9PbtW7}R`1{f0q7IdWgI2lAwx{(Yf)jf@?y)CDnz zo{45+OHJwuXYl1+c|#dy<)%H1@^BC{0Js_wLVqIvIA(dKC4I8QEnUq|Q17ymIsAT# z!S}ix$K8QEyT3KP&4MGa`S#3>hw#O96q)lwodzT$#0Tu{a6@K!L*tZ7Pap!Gm}X8> zlt&#lToHwLaz;V6+j_^UG(TY}(5$ zo=`9`qXgheJKhz+eI!^1aFKx?+3WPLo|2{r)noMytl=Hd4( zWoQZ-JrdX@pyZC(89Oob-POx1mVw*M=!*DWTuKmYdU7lYiX1WGso1mTjxy*1_LD4| zYzGzy*w9V6{As7{1l<$O;d#a@sHj#L5yk=1hH-AT%9L{yl}%}h#b#Y;r)@AZ;G}?(Q0|@?2C$^&BoRA%TiSFMbjQCRB6%zgHV@irTk7ooJBsj0+kKJn2@ej)8 zfRbnM4P6#+>;}Un&U5A2MBJGFf9@GjNF0^3EnGxVJh zF-i43$+~@=|9(*w6i4i8EYPtFQFvU;31lb;vHKDdB>jX;;?;mubKp1J1}Yc61GCT4 zEO&%eL!_w=U|`A~{2Uap+TQ1xWM~jQl{83Rl(A9RpLGr2)6os)HZ;*BB9&AFPA&Tx zxZ_aJ;TE!AeK{60HA7LTR7TODfw~+ogM_vd>ikkW~1bR7+apE znAby5Z^sV(-dC#CB04TM{+vzgFA?Riu!+xoyn zJWI?AljSCPt>uMEEV@}pkE*-KHWW)K#!wP>PZdV*kXH3Q;wUJ{iY6xVLL*8G*m*&; zA-KS{UC(nrwRL-7&|SISkLopAaENECXR5+?G_g>UeoIBH6=F=W$DPw8b=FRjtH1%R z>*urAh`IBC^wnM$69lH$A!ke&OIs9IO{OyB-&F_HOp^qr(yIzcwOMb`SPrgZCGuQ- zfa`rL8s~ajOR-F5wp>PT5g+qWE65Qfk+S8f2Y8mPfTWJsi7K4e<4jw2!EfT`{&Z4tdM|dj`tp2# zQ}J>-aD5+9(ec3ka=Q9_SmAZ+aa+wr^~L8eAFsMYKR#?_Ks;lJwjc;>~Ek5r0j zQ{CPNvob;X(qPi#LB-r@As;E{u$xZD zy*VpSksOhX3g6=XqHaFWt~iLl{rziE!-H*}`5~)%W_JcCjyyKJlI?!AUJIu{5dH7gO%$`!IB9xXVr|b&FG4V{ceIe$nb>do8Oux1Z(I^h*L z^o=B0^iC#FxiY~pa#$G0knfwC%-qnVhvmQJN7}OMif2uPi33#V;6y*xHogoXH9jb6 z*DU*uj%)}K2Vg~2?tKlfG7$%;9}1$uW$-UGUaxyN#fFXjfw10eQR}SDodRqMK*6Lm zee1Pi2KXjF8r;BK%_|yM>e;gGuU<(&5mR5d)ry>WKmHPgE_#oLpRTVLv%sYh+-P&= zj9Gb#<%k$c-9M^gJ{Phn<7Q8vByhbBFXcOx&2(JTD-9r6p?5}4o^$-SIX~s4K3ck^ z)~LL;L-IQ?`NCCx-jPSH1>2UfTVbfnAsx(&21+ zD+&1k9PHqXfy@@D2L5cfUY7EWBT%2$!Eot`%hz3 zIL^e?2Afw`DCE|adu@_)-&xv`_9|$61(O@<_1c)?Dofq3RphT^WaV2mkPVyB)IS=F zPM_RYyFWf^Sb|<6{uPt_KCt_MF%EQNIXVUnPY>x=Qerii-hk!Y3olOmg$Taq-SG!D zc;ofoT8kvof)g!{nbTapoKG0f9xx536m?m_za8x$8cxOP0OIH`?cQ3qF+Xdeq55yG zmbx>-SV&c09?mV-C;I0iS+6~=>Q9ZWqt{7zo17okCRS1eh@9+>uDddLX-GSO|1$&1 z9f#_vJ+|9v-PX_u7IL=JFJnA=vu(Cf?RG_oPZ|2;(lk6zf@IMa)(@$D`KGa#Gd!rz zEKU8cWb_k(iYUg0?L1`dFzuy+p+N$Qv3`e&QPu=CvjNUjt9!vHl!r1l;MY#lxmDa- zL;ewFyz<1#$DdHrUrsk94EMpn>YKB9d(oE-MlaTHUnX-mHsoBSu zF~NB#C#kP^|)OB8wn7S?GOM|^?DS`i1ApYRg{OBD~ z98L8-pXxz10jOJg=!9o5}t3U$FNXZe0N^`^Y=K>jjRAU{Et$*#xVWkyiX z6s?!%5tqL8S1``$wPcs4`dTZ$4y{f6zNp&GephB*Q ztqljJ{${4A)iB@BcJ+FHPhYs&~~AqO?y&o0=P5{Ai;?QfNZOhoMi9Iw|D z455=s-*l9~pXL5hCT(`Y5U%zaIB?jYQHOtZL^|^PkvDTLuziJAGmQMp>kr1rJLHHr z`6OAGyT!KZ55l(s-p6Y4O;kqziUh4uMI}|%#jcD$!Ig=Oxb!Wl% zs^KI8H3bl3>jnXZfYNljMQ_s7rS4?D8n+tXYM)2XtVV%$g}$X%{9t%B*B25_r3dMu zj!n&tXFd3;60QAS60YVn=Ro-2J05D!tCwlA968IqS;=2kvrF_NP&FQ;-mphelcL4Vwj>}OhoV1y5F?74yX;k>ZD-N5W%&ce1%oj-cV7?2!t#wZOC`!Xm+Hgb}Y4 zYe|=2TT_~v8f#wuRzMjHF^M)CrKN_-AU_*JXSRxu`wHLm{uP1WHkxa>L@{GcDQ=3g z1zj?*9WLfz)SEcX0C!x|_yW04x-QX<=ZSuKsRSiZ! z48h;Zs$n+FiAD`&#CCOk`igYMlFCHs&%!avUx9rfr(V_Of9=eC45n?8GPjmtA4kb2 zdx)?U!)@m>eS4U&6u)hQbE4#29OjW>7=^qY;#cZ|(%t{E5=};s{f0Od-sV-M9;e^` zRKc44c;g^0hNbwe1nelT%Ueecx7C$lOt)kK|Dc!q?o7!{`MIn?yd4D^&ZMdfO1Bk$v72q%_D zqeo-c`s5edr^&5C$tmYCgU9vjqcNn4WByeFFP`ORduJE7vsh-dki)>;)49XIp7NiE z+8GbGmM*uKm!Ch%y`!bSe&4)ikIE`8J?ohFSzlnu2K-qg{3av9tjTM6Ti7ga?cl@O z$kw>Qp(J%x1mnoz_BztjE*~Pgg}y(v`#0Wszh4QAM~iuBeJ*zKQr}i&u02xQ6mi?* zPAb_q?S{WgD_r`Xu}Q&e5%7>7BdP2&HHUs#zeICb>(vIAlR3o~vF?4( zRxbL`?^y5z>Gn%SY-Noo(?+gWwtPIF{f5yyp`)Fra9hi|o}Ab;kCo|Lt)i2lll2O{ zbvS`5=~r3$AWbPmV@8&576A=mz_%&!(VjlE7%bBk!dVMQ6#d9?;!9XTIpsgMmClDK zrc(j&tEp|+TJ)bjOn`0oY8ACrMpT}Kw7=pD8*9Vgm<{@A50?X~*?l#n$GmuA{bkl= z=9C{-CewTn_z#r=0t-z)WGfUG@aJ^M>#Z-h%Ip~5eurtx;+2GLm2bH+cIVJ$i6X+R zNI^aF$Uwz}%t!i))rqK0Kwo+($>p{b6tq}Rnphx7h6I&=3{H+N!iOTkECPGJ7k#qO z^}Lma8;TA1o`e(NDdX6N&viDM8eo=*kIB84P_V#Gk)C!Tf50+V;x>P+8izVD=0dqy zY%9ne>Bh8qN8`LT((D)pMFhw;ycBwmq#^%p1gn$ zV}i4i({8g6#w&*JB7K$k{>iC7C4x7B^+1MbXU=67(~9Z((p6!YtmONEhfnHsCbOrT zVZvt5TA0GXhD(s`RE{dvx!P=?Qf^bQ1j3q3+oSo$7n#Mxr+5SDjJS*2QC~7Sm+{{X z{>%#s+7x>qu=qrvNTD@bi6PCQ?~`rRfSMqWQ*a=wl`!f<%+0zo-$O}l1|{Mh zq#i@8x%GB!I1?*+$2^ka^P@sZZ3T%((LAY#30*KV>I%X`h&TsK-C?UY3s^9A0cw2o z_4tD(V4NRsPY98TR^g=RWO!y}@x^v&Mn_HQGHEY4xK>S!Bx@v^7=otRlhdZ91sP9l z6WgbjQ;p;c+;Ow4S@`oz3#1c!cRzd_HOU88P9T8V`|wfLGzpi3IcSVsGkIE3l}x(( zJS={fC9JH^R=a&l(rF}9mIn1Bo6LaiU4Jqx+~=t^EdL#v5m{sOr+B>zH{3+)+9sBS zswjTMe)gXZs#6nTuzDyy*0uYk*|Ng0Mz}84wJW7R?`ND168yWa{gWeE{L1uDbSes0 zXvzztqmXa|W@t>$T}4QyI1#hd6s^0|B>>YunS+vmDLAb7Tnu_-p8PwcxMeYD0*jcN|nIm{{Ge|Q-4 z>W7?@d_5NR?@6404@iAGq4V`9PbN-QHunEHHkI-9;L`tcz$X(c=RZ#OtTRz zc|dmub&@!dD4^JVSpdD9O+fw{{0=(bDP$OMYf7Wxxivt?Ek)em4rLkh5L^tEYxRAU zY=BHHP-A#kGE%)ZHc36B2yu9VwNT}@TW(ZZI)L=O)Sv`!aHZ#GsGCgBw%iLXgU6h& zzSCOK(hzAl$8kBai(|Fs#)*5L> z*uckcMVtUMzdAl;21-t;_l!P(%0I<&5-8&HqE(e&|_lWgh;4^7%ccR}L z9Qz@?jWI0V7ZcZ?$f(@$evI_$iGQ+&&nuZhS?pg3`>&_Vvj5ZfWX4($Itk&yC)25T zK-XUQ6pAaoK71hl^p$^Kma7X9eR-o2%fzWs^DIvx(c>TqC0gE|S6H2yjO$0P?)?Zu zPvYWW{YiuBG3Lq#TehR)5AoaCmH~~=VJg@qL zlZ!-3g@X|x z3*Dr4i)B9Bq=#1@EPHX&aZOoNl2I-&H-VwLoefIITD2N9a*v{CtYb6S-%2K0^h)o^ zYLmp4qpd4vK!=a4wC-mHxe1Twq(f-TjU$+W7)S4XKl)C$8;Z_8K2#>UJ$9M1fZT5C zM6loza4o*M(xcoy&N(;U5)5q$r!iOC9%+F#glNuBEweN}f?Ty`fup*Iy8_*!=0qWd z<=Ju0K!(bX^y^;1U57pA5Y3oEjof^~Wlv&X_i8u?sn3>b53}lMl=McoKq4VMarU zj*|XcQguELp(#1c%hdY1KKHiMV*1!Il_D7ESN6$X#_(SaUU3UvUpZn$~4u zYKXr~O!6+Z6m|n#dQV-@ZoEe?5<5#F)VDCHZiHWRCK|9~Hs4;j+r$7)tUQ=0$_KNU z5ts_-J9k8K*#Y~K8}2-mMA~i)q8KP!N>c*iHQHt8pFdqAHsDlu3z|vn)==;)esh(h zv%(xhMlxtpzLiz@eKg73{#z1;7o~n({n&#$xoRILh2yv9iRk=rXt@cI=b#$JA=#H@ zC2|oI1KE0YtB|?$<1EU2dw+Xu!UI6Czv7O*T8S4tw>2$2fOar;6pl%>Kqj5TdC)T~ z`O+nB*ZB#=;=-Q$Uxgq&y5)qC@5bHnoodPnPHpr$0C5ke zfMQQ01GgISvByskK)%mY{XY&IihaJeF4SM5nyxin>#jrbdAvkm-8Zf9_aAE$ z{|jrcN4EbL*4P>U;jPT|EbErk|H5HW`vZrK zLE$f)?~L|cw3QZ!n9_JZ3?cQgu#*X^M!oxe$kyQ_u{mvK>>8)vjr*d{{0o%-oW(IS z{DT@+1qmzQL~cDqzwmjtLDw-LD0lQyfj15F<%@|_>e%}aAKp6$bxjCv^=r+CCf}wE z>72FjpyR_de5X(V|LpGufT6R-N_gTJbwB;A$r*zq$3%z;xI7ge{E{HB*ZCV~Rxibr z;@{K5LNT?hE?#kWzj370?%x~W^>cg^dsPN=o z*jQL4h__J5QUTMATDQ;XZcmS3`N~Qe|3cS)PSjXf|3R0Cd`p-RBm5yR1Sa&CCtA03 zC-JzY4qi!78$TjV{%B2<#K2A|_^Mdz4KYzcUbqfSzYXTz2~0o1@gKPYsaM#@NzVR1 zMXmN6ZN^)Bm_s>1G5a)a@@JB+wHLQip(v2YEo09@KQ&7zquVNH*h-%jS5Jg3_~g}D z)XYTvCJOr@B|%1>;HgCYQcI;pz4ucDwNiY`Cq{;4ot9rHT7NV%R^f)BF8tEAI!f%@ z=`UPQ-kkc*!!CPPf^A(QYbPze)~w zh<>nESv^bjSB}t`A0;Z%yN_!=5bN!@FK3vAT?>_dc0FzepkE|stpxgorm)2|1mEjD zM4|8H%2!ydpHLF2&6fIQIp_x>#J{6zFF^=OECgf*{D_M##+yD1%{|rX(h1U&*V0-7 zcQ%?t2CPJdy=Oj}!nW0TZ_dxVpQFH3r+|$lW9)wRi%Icf3aEB^@Yk@A@x&*JFQhvX ziMuu=>*-5^aEzC>74dQwH;GiLQKt~x!ysU7Pb<-36K-p?q1sEor72FQObc*P%i8hv zpM3c(q*Am8XaYpg3R@|mJr@K~ZQa%TZVYmSooYemNl@oZ$dKVty2pOE#hZ0Xf4F}H zp?jD0FZnJoCj7TR#>mY4kLe&2A&An$01bBH>6h+Z1#*$@;41m-^)Zs|7~&|@JIbE{ znnxf0kb$h#^iYPb&tPmLSF)#ez?#cY0 z6I7Oe#$_3W7E58^*CGz1;lO_)VbRX~Pu-7f{d4yA?Ez7?e+ zyVizPEXFtz`GwkzI)Xe66tA*#rJisdmp;LuH z8}8?E_V6>4gmjw!j9UYkZ}pk2@3h3jwXN&Bk|$TlUr5uq#OnWo@V}<5Z2wHFnVA}1 z^8gkQ6n_kI*c~HCSSo*Qf%c-HrcZR3;_$u0AT{vbwPdN^1GPS}2*!R_N6s@MH$s-+ z03%L-d^c2!zWpy){%a=3@z0!uceDlFn*kbPl257i{U>+t-f7l%|Cm1)YkwfhA6de3#(?U-vIY|7%Lb#QMJ$)+niHFhXeIoAmD_ z-j7>6Ny#d9FGnni(rk_ig-<^uN%B!>chOuJo(9jy4C?pma7)s{K!b_VMz^Rh)qUpD zs5VCHgzK)VnCzDK@q9NBcFR+hs~Z*ixr({aIr4Xh?~9Kg8)=8zNdlN4Eao{8*=)A! z^+Hi|##EgG9)u$cVv2G$93w4mePjCDhv(26W!WAM$grTkduG8%pUY%^^B36Mp>nl@ zxjwUPxe%yqXobnOfZiHJ4n-7fkuCSKJ$zhw;p$1-{RyuY?sUd2ZQim;&o~s^{JZWJ>8*M@}#4TNT$ZSph^JJi2}T+4gz%wg5FZ98IDg2X1w2dkIjk|Wefb9 zw`%UDNvxtrQ=e&^!aw@p~be30sfE`0`oNOHjX92zG8T(13`crT@MFbpt#jQvPt_O zTBW*sODy03P3Dg8Oa3F`RpjO#K7goMX+GW!3worNCof!GCf=IR4LNDOjADyk%tyTy@qDA42Md2P{o~_tqBUk&bDT<05=(} zVfp*1VW5GSSyjb|A=P=y6%5u7^qoLCv>?A-A4DVKGYT+$w`+jDni_rad+d3M04PQ9 zX$vb91{RU(1K$seY6GnNa$2VXhNum> zuLQ@1K@RMUV%H%y=?An1Y+D(ykx`4#$5fKtOv0Xd1nr>R{F;le z5n@R&;q-)KrY`<~HzUQCY(tIOoVnb?e2-x10Hzv%U!_Gjnfqm-p3rUp2@Ad}2{nWm zUQ!0~rOfU|aruN7*E%~e*5S1LZu@d%;$y2UZ@6%C+g-4^Z9W&Qu#KqMd9Z_CU-h6+ z?i@HPFPM4VyYdy+J9ZN>2W;=(s6m@7dALF^^Nj^s55m`ds%S*DRdX441 zCcOH8&%MoP`~CmD_kVXju6yR(bIx}?-|zRF^Sx7hV3;dHJO=eOMl)f_3XVCh1tL^Z3|#Uy3*P(u5gX4pgO_4)h9H`8Lwy z#2>X?M!JQD2HV~%Flr00c1JsGUbFe*>h2QgG+3uZx@msdeCU|_&cl!{bO(3N*bo?bO>yCkZ*tPV(fuMZ~HvGd3~tO z8;+^*uwsir+s3*X`>wrpW6P@pmPX#m23p*Cd+x2|2aK^Ae|dZVi^nrc7rW~W`QUJ` z%Pz~rqYvXZ@RN>tPYE+WzukELxF?6SgMYe8%kw!y|kVlyM1w8tQ&AGJq^A4tW-yJpny!C;}?#!t4MJrPh zLt};{_A47_G;!Yu)8Ivcw5nPo%r|@XrCYB${ibCV(FT?6jfvPT&Ot`c;BOtu)G7Fj z7VV8ye)^bXGWGGd2HE79ojM)&FR*zn$#pV|w%A@W-LJfOg73lW%JdU=*Varb$se=9 zFW-6o?YQepoGe~5Z`j;eRa2reGO7E|-P;*mZqa|KHJVkG)~&$d)@Js(+>u*zN9LdL zt{ifFdAP^n+_a(3UTtm|cT;M(${^cxse)ej?u2Q0_F?B=ZGB75&C`t&P2AHrZgsV& zu;8^zrN!*LS9Lh7zs5Q&n=SvD5q2xWaw{u9=;S9@vik6?n}5E2w(UsA1@CVO4_kMr z+c)yM_LPLX{y*dO`4xkYvU;VSs+cnD;&lD654Y!MWM&1x7U-P>uCCg~SlrcF!9 z@9Xj`PL;4J;nCv)<%{@QqnHLQcKHgeHiXjNc(7&A%;tHZ&9e@DQd8H_-cE=kg644> z_7rr|E6~cgYjJm_g=zQgaRV$JyZbN#7Wp6c_FdF@@m!pVUw(v1RDE`|flGVCL^d2x zHgozjTqH0JN^(4cRu=BfiAs{4UG{s<$u+}9ogO{j!ID1rkxTSrvyvmZuV)XcH9O-l zZd-N2-5ED)4Kn)PADuq&e(#H;X&tBQ*{WE>^oKmY|M>lwa6$Yy?et#LMi_*5*@bmZ zf9Vyzd)jKnSYuXc?_E3k_ZoUF!DX}Sq}{fYzmIzJ$KgF3S+w~mY29*3THj?Ux4Y`& zb26WGIXr5F$xuDpjg!twu3F97P`Z8g&b%dN=0?4KGe6^cPVwsbo^xyV?RDt%c8>gs zEaURm0aNF^I=$xONP)qV)vih0v^Boxw)!m24X?dEb>rG~xqaOCNA2l$Jbqiz^KPc8 z6J0~Aub-XAs~PN+QpdK~eJyYJP_6aTe1_5%TwBrLc4=ZSW-8Yg7db59Pp%HN>8yL96T8DZP3#0Fp}MTO~{?WKlR&q9pdO!9(phFU8l6@-(RfT?L~7uH)~VE zR)amFI^p1%qjy>6R8J1rX#A=6Hf^Kc&e>+a9?{w1UT3q`GiOObR`%1x-nh#i+OAzY z^US)}>%^B@4tVF|XSdBX%r??{X6%|iS_OUeQvBwQxssc(<-1L)mR)&o$*DOP2l(hu z>Tx;vSN$5t&k_0kao@dhn`jGWZ8V6s|9EiX$*9^no^$Yr)dMC6#cpxmArD>o>m(h1 zhQXC%^sjSw@9ie5-aO>@pA~&3-%VV!V9ZzDaWaczIlNZ|>076KoixgC>aSrblSOxj z>^c?iEVdFy*~5Aa_5=w`y}sPQB9BE7#h6sscY zziSV;AopxTH0=&7In6~gdOH01Ci|`h@AM-bq(wDn3U<^sRM75dtzPGdj~N~8e#@;_ z+^Et|`7_VGtl8J^TG+KiFYbgG8}NJSPkPkP)AiVbER(BULI?PE_iPG37&eyn_pB5rDwAk`g1!{A=4YZHGqWE}dez3ubT`4xX%3{}>Z zulnLL*zstt_P~kd6DF=Jd>?-LHnV3|cb56WEuWKPD~E3F_CY`3+U0X&f4^tJ9A=?s z>g~7t`TmK0RWJ8;w_jEDDc7){(_z28Vs3KCuIT71MGGDu38^hIr6uNXb=NTt>h!G0 zw&(Lcg*6H0Ii4eo_FM1P^)%dZ_LpvJj~!VQ?=f>}Z22tPn#~KV>$I-@Irdu{G`Bab z19W^*AvbANE&^8uH|o5|pIJlo^mRQ(w`nPpY;yXp;1&h6yUO|bH?wAV-}9Hw~2 z>ke!Kc6*~ktLCt|v1fWisIR>|^+8wO9PgT4F3zxhxMG?%eV}gq&)0tHae0+#P)OSM zho%cMM>xm(6s~$1eB5gibAs(L(^sW=Zkb*|27RL1z^C0oV+-46yUiY@BWTw|thMVk zBGh3{X~s;5;JsWDep~pUYb?{i!BKo{SS;MQ+np_^X_@%@S}lC zc0?|+?)Ti}oN;0KnToHyuk4%^_2BJ<%VtYgO|0?|J&z04yP?hP^kKw@`6*ewGLzG0 zKjZBD?cCX&e%7fkuD(mFY$%#p>gDyqGPVtp+8ZIVn9Y|{T=#+=5CB|RLNhqlx5LWC zNwcnoH24KP7%S-A;4mkDch`ut+l3=4T*i%=s(ZmQ=gg4qCqvAt?j+zzqiPQAJA3Bg zvvTjC{^kqi23FqhMO*rFWiMByTJCXJdDBd}Z$-%R_t|bn;mca2SJ)(PpQcsb5S{z` z=+}pKe!i1rTxXnEtsI*X_;T2?&>;^c`mDzpoVm3u?Av`> zoYtvncCkG%?;#84%BxN}@m(HmJ(4WW%B$5Kk9nMH%^GIYIL$#I6;2Qb%5b`qaG79M zh=(9hiqjpJ3MB3lv5ypIqCjc}jqV)iBVH^DT!P!!(CAJgUtgg_80aIE;`4A052ptS zB_i=+9PBGSQYaDQba9{%r^~{iBwH#GLfKawB7y%!p-`5J!r?z*s4x(x3q?zo%4qaJ z5p>|eNDcrU=kam6GY&a9bT{0Zh0|x?kiS5mgY%gocpRM^WLF3?j zE{z@%xL7EW`iLb$oNtBG1<(Yi``}ClbVi6kiHp-kaD%6QINcwo2jFx-1&|HGnXvgl z2TXwrfK~`j55<`*=ox`8pwT@ef?xyY!jJ`z!oOf10x8o^)G(^Vjo0B7dm3`+(ei;VJ*5_Fv^XoQ6J zHtEv@0f5U7snO^jA&X=Lf(T9E42dl%-PxkWvZWwSG}C9GSWBI=*L0rPOMQf(3VaqY z-cb-ViI5F+04U^>(JWZw(62vwf02)U;1Yi!&Y;m<1>ppO zfFB3M?I9Be%tCN~P|$>B^f?;Dn$V#(Ve@bvgYj=%w0}Adn`w=6Kza#LtAvAG1M0q0%;}#F~FJw z7YxL=#;vU2J1m5`0Ne^);L;#P6Qyb5JT4FC!d8Ga=&2P(HGbhHXVdcZ38Y3SB(VG}M<1gp*@HTYyWH*&JYmHF0ralA|);3h;$` z9+L$Gl5jZymkW~!o${h*T)0~Uv(TNmSg0M3U;?@$_=M090|5tMC=J2nLLY)DYUI$J z&@=>zgT62jixAp~G<1iHkOu-sUNml_%rrxh1wfD-f&~;qH!i{oFh|{y8mPskzJthU zYD9<;I1p3;*#!DX4>aSWR){7-nP4RJT{8+oiou`}&l(5dgV|JHND)XKKzh*pB6tmY zfpntDMd$<43H3$jN~2C7eQ0_iyom2G2GR}ng(&ASxFAEo73n}57avSIp%>tZcug*~ zPN?sQDIj+maYyAQ7a?o%IclT1kX|6EqWc1kk!!je-~jfRFoNJ`fQiT)g0EqsH3XF0 za3VJoN;7bfEKxTHXQ6-%>I66l8A>#8DJ;TrYy1!4k3jT9yG9>H`XmJbAXUk(uf zQI_Fw;0+~Oqtgf7A?qOyfQ?R~90F?FSo-0oxs99-h1o+sjKH~#oF?K4E(!aGy+;o< znNcujNNj#QNA1J4ISzBEOj%D=W%Y;tcmMH zAR9safZIgVepDi+sF9fr$dWYvcurKP8#st$Qg@-mQ5+BiK@_-Shn;f#q65QhmNC=2;g;@%igMMfti^&0kB|>!^G{A=h+J@a7Zx*k(wDxjHy)5hKYv!*VbDktWEBM$MQ+U;W z%yf0b;FFXqibQw#G`MAH5rwY3#l#(RxM55b+03&k}TmA^aaS$#T(~!UE&(r4wx24ofsd0nym=+vPdGUY^SVPFJLTf)AAm+v znx@-5> z6j@?2aQz;umY7nXDmJP^gM7(UI@mD36)OUZ^uU_P2T>aM_>#7A_?Q>z0IqC#<^jth zJvoh{xF`SH7fdb=ApDKuGoOTcgq-dTWmL*ACO7*e;-`xC?pp{1c$i%%n)5b#6j7>K zydZ_e!nH_eu5u-zE5ixB{XUK&=tzm=hNsEZNOaYT9JEl7ce#Ru8*W1(P*_DiCKxUE zl4g4yMK<*k0dy`^uH((#h2S#8WKd@Jh9Ffwh@e!SOjUqJm<8}47YGi^CzDcD6cJ!e zaw)QXnx!&YAz`XOf@XIa!Dmc~5h`V4OR03TPe#oHsbV>ANu4sOLH53E5LH$Y`Af|E zDWOtj%SnTQ)n6&8VA;N`zNhB%rhl?ipz+CS%d45PpX#~yt4h9db+s^s9tl%kEF(e$ zaIfn>uh$=C(iW%`)Pks^w>6XwFs2N9|$Zqz4pSRX*VIhCq-otUog zpIrpMqjV-ETUJauJ*6{M`lQxsMw*JG zN7b@@NtmLD%6LXT>^uQ=;R|vHPMJ>3AbBxW0U|8bl?;-*2g^x97Z#C(R#Hi*+RbV; zhBN7}2$2q_N{2Pp5?SPfB67#zelhsn)O%#)lzZnxD= zKx4i&Zc>A@dM^B(CT9oOeT9vY^nMU4>NFaPvi+A)Fhd!Wk)h~E?jfr;bupzkVTQA) z3>6PnkZXK}56RT=g~aSpvn?vJLwW&4 zS|C|I4OU|bzvuC7wHiSxVhE6m8mjgiGi~i&@BbDYoo|O>;~$>)N93BHL}V)WQRRyX z-YWMz-zJUhppg6hf_6jv<_`J>K}hKiie~le061=1VP5+xF$q(8of4w$EU!CXpFw;n zSA*>HPfnZKp;Vc+M-8zDVRnU}L*okx9+#abq^!6&GRI*;_XBdsw`emz=I<=xwz6N zIf**vs!e=;$rmiV8wp$Cml=l+b+B#-w!)1ne@qfQn*^HvhA>QuiSy9xDRZHe%kuOO zggKNaOGl$UXVr|SdE;zXQsxvt@nC;lmGUhZ_7jF*Zo*uwhFS}((kHoV7fRAeXfT!? zr55S-f5+*!9_8XYwA5xaDzhP}%wh<6V)7SNgcfI|AWMNAr0TqeaIdQ4B%LZgVH2_F90I6{Pt_W*L>g&-=Pzrt zkD(OJC(ILu3lMX&`%<)fqKQ07idU0tK3Gn0dFoHdRLHd`q*n`zDJKJ`QZk~DCn6@x z1ysSjSfO>7bUS6vr%wy{A&KyGA~k>FjY1Y#9)fe1amu688|h@5!m-< zP5rBU3`KM{*Cn)f5?dc!j~tznn@Q0DZfR;4$lqB*sIA;kLKtCrgD9#hrd~l+==}|# ziHRizR`!C*pbTJiCe1(@W!rmA;}d`<*Fqr)*q1Pa zQrJ*#9p9S6RVRd^1Uz-VoufDelI$Qe&_%Quz0LsdgP@!@$hRl6&)p&8P1-c=uStp@ z-BBVG$VB2mCzMJ!+-VGp!9xGoOcsaD;ErOjhA|k!M$pK1knTS`Kp+e97t8!bi*U9j z(~@O@FO|uH#?a|M9$1PcOP~w9f3Y~k2eR~<_6b_-i!Va&KLjo&`;TaXS-3>#OM?Vt zD;i{gH+~?&n+wUIzPP3iz0rX_cwl247w~Oa$6@kOa%r=6PzNt)w5Ve-c#tF5yd8@H ziRUfr(AyTx>)>0fz6^Nv9g;@TM}r@O0Ry(EV>1{ijkH-i4vUF$TbtK0IOq+F7Io+c zCYsl=`8-H$Z(avI;dk|#*8yC3C#z*02Y$S=Wt|nH<#=phOG}*D@VZG${;`>yHtHa$ zx+M%IN~CT9m&Jm_=azLGlpc&e8lJLQTu8WYS!Zq4ie5Go62e=wWAj?m!M1Lt8*C1< zl^(D;Y?Ks?K0k2baNzBpmUTRok=&x46}MG8Zfjj*bI~ukwCKyVLa)9w9}lwiTeX9H z^j7@iaUd(dWnXS<-t(+cB5!jTRxFfl-lC2TFI=>&vqGuUE!y!>UUc(1Yc{VH3~Qcs zE8492DA~MuUp}Mtc>Ffx%jYm!&R?(*D8;(jcu)t)#hN;qL?H4PN@yt6dUBwz7>74Y ph~(iJVllF>WFoOBQV0eL87-+yAdwL!i_7A088kC9XSWHo{{be&B3%Fg literal 0 HcmV?d00001 diff --git a/test/unit_tests/fork_15/run/test.prs b/test/unit_tests/fork_15/run/test.prs index efd6a60..b5dcbd8 100644 --- a/test/unit_tests/fork_15/run/test.prs +++ b/test/unit_tests/fork_15/run/test.prs @@ -634,10 +634,10 @@ = "my_fork.fork_test.out2_en_buf_t.out[0]" "my_fork.fork_test.out2_en_buf_t.buf6.y" = "my_fork.fork_test.out2_en_buf_t.in" "my_fork.fork_test.out2_en_buf_t.buf6.a" = "my_fork.fork_test.reset_B" "my_fork.fork_test.reset_buf.a" -= "my_fork.fork_test.reset_B" "my_fork.fork_test.inack_ctl.sr_B" -= "my_fork.fork_test.reset_B" "my_fork.fork_test.inack_ctl.pr_B" -= "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_buf.y" = "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_bufarray.in" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_buf.y" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.inack_ctl.sr_B" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.inack_ctl.pr_B" ~"my_fork.fork_test.out2_t_buf_func[0].c1"&~"my_fork.fork_test.out2_t_buf_func[0].c2"|~"my_fork.fork_test.out2_t_buf_func[0].pr_B"->"my_fork.fork_test.out2_t_buf_func[0]._y"+ "my_fork.fork_test.out2_t_buf_func[0].c1"&"my_fork.fork_test.out2_t_buf_func[0].c2"&"my_fork.fork_test.out2_t_buf_func[0].n1"&"my_fork.fork_test.out2_t_buf_func[0].sr_B"->"my_fork.fork_test.out2_t_buf_func[0]._y"- "my_fork.fork_test.out2_t_buf_func[0]._y"->"my_fork.fork_test.out2_t_buf_func[0].y"- diff --git a/test/unit_tests/fork_15/test.prsim b/test/unit_tests/fork_15/test.prsim index c8dbbdf..52f4044 100644 --- a/test/unit_tests/fork_15/test.prsim +++ b/test/unit_tests/fork_15/test.prsim @@ -1,4 +1,4 @@ - +watchall set-qdi-channel-neutral "my_fork.in" 15 set my_fork.out1.a 0 set my_fork.out1.v 0