From 84b2831d89a8d0f7ae57c6688ce6687bdacdf548 Mon Sep 17 00:00:00 2001
From: alexmadison <git@mdsn.co.uk>
Date: Mon, 28 Feb 2022 18:27:22 +0100
Subject: [PATCH] buf_s_5 unit tests

---
 test/unit_tests/buf_s_5/run/prsim.out | 157 +++++++
 test/unit_tests/buf_s_5/run/prsim.pdf | Bin 0 -> 54472 bytes
 test/unit_tests/buf_s_5/run/test.prs  | 646 ++++++++++++++++++++++++++
 test/unit_tests/buf_s_5/test.act      |  47 ++
 test/unit_tests/buf_s_5/test.prsim    |  64 +++
 5 files changed, 914 insertions(+)
 create mode 100644 test/unit_tests/buf_s_5/run/prsim.out
 create mode 100644 test/unit_tests/buf_s_5/run/prsim.pdf
 create mode 100644 test/unit_tests/buf_s_5/run/test.prs
 create mode 100644 test/unit_tests/buf_s_5/test.act
 create mode 100644 test/unit_tests/buf_s_5/test.prsim

diff --git a/test/unit_tests/buf_s_5/run/prsim.out b/test/unit_tests/buf_s_5/run/prsim.out
new file mode 100644
index 0000000..dbae83e
--- /dev/null
+++ b/test/unit_tests/buf_s_5/run/prsim.out
@@ -0,0 +1,157 @@
+b.b.vc.tmp[1] b.b.f_buf_func[3].n1 b.b.vc.C2Els[1]._y b.b._out_a_BX_f[0] b.b.t_buf_func[1].n1 b.b.vc.OR2_tf[1]._y b.b.vc.tmp[0] b.in.v b.b.f_buf_func[1].n1 b.b.t_buf_func[3].n1 b.b._en_X_f[0] b.b._en_X_t[0] b.b._out_a_BX_t[0] b.b._in_vX[0] b.out.v b.b.f_buf_func[0].n1 b.b.f_buf_func[2].n1 b.b.t_buf_func[4].n1 b.b._out_a_B b.b.t_buf_func[2].n1 b.b.vc.OR2_tf[0]._y b.b.t_buf_func[0].n1 b.b.vc.tmp[2] b.b.in_v_bufN.buf2._y b.b.f_buf_func[4].n1 b.b.vc.OR2_tf[2]._y b.b.en_buf_f.buf2._y b.b.vc.tmp[5] b.b.en_buf_t.buf2._y b.b._en b.b.vc.tmp[4] b.b.vc.C3Els[0]._y b.b.vc.OR2_tf[4]._y b.out.a b.b._in_v b.b.vc.tmp[6] b.b.vc.tmp[3] b.b.out_a_B_buf_t.buf2._y b.b.in_v_buf4._y b.b.vc.C2Els[0]._y b.b.out_a_B_buf_f.buf2._y b.b.vc.OR2_tf[3]._y 
+	     84120 b.b.f_buf_func[0].n1 : 0
+	     84120 b.b.f_buf_func[4].y : 1
+	     84120 b.b.t_buf_func[4].y : 1
+	     84120 b.b.f_buf_func[1].n1 : 0
+	     84120 b.b.f_buf_func[3].n1 : 0
+	     84120 b.b.f_buf_func[3].y : 1
+	     84120 b.b.t_buf_func[3].y : 1
+	     84120 b.b.f_buf_func[0].y : 1
+	     84120 b.b.t_buf_func[0].y : 1
+	     84120 b.b.t_buf_func[2].n1 : 0
+	     84120 Reset : 0
+	     84120 b.b.f_buf_func[2].y : 1
+	     84120 b.out.v : 0
+	     84120 b.b.t_buf_func[0].n1 : 0
+	     84120 b.b.f_buf_func[2].n1 : 0
+	     84120 b.out.a : 0
+	     84120 b.b.t_buf_func[4].n1 : 0
+	     84120 b.b.t_buf_func[1].n1 : 0
+	     84120 b.b.f_buf_func[4].n1 : 0
+	     84120 b.b.t_buf_func[2].y : 1
+	     84120 b.b.t_buf_func[3].n1 : 0
+	     84120 b.b.f_buf_func[1].y : 1
+	     84120 b.b.t_buf_func[1].y : 1
+	     84121 b.b.f_buf_func[2].y : 0
+	     84121 b.b._en : 1  [by b.out.v:=0]
+	     84123 b.b.vc.OR2_tf[1]._y : 1  [by b.b.t_buf_func[1].n1:=0]
+	     84141 b.b.vc.tmp[1] : 0  [by b.b.vc.OR2_tf[1]._y:=1]
+	     84402 b.b.vc.OR2_tf[2]._y : 1  [by b.b.f_buf_func[2].n1:=0]
+	     84542 b.b.t_buf_func[0].y : 0
+	     84671 b.b.t_buf_func[2].y : 0
+	     84888 b.b._out_a_B : 1  [by b.out.a:=0]
+	     85074 b.b.f_buf_func[1].y : 0
+	     85103 b.b.en_buf_t.buf2._y : 0  [by b.b._en:=1]
+	     85191 b.b.vc.OR2_tf[3]._y : 1  [by b.b.t_buf_func[3].n1:=0]
+	     85201 b.b.t_buf_func[1].y : 0
+	     88415 b.b.vc.tmp[2] : 0  [by b.b.vc.OR2_tf[2]._y:=1]
+	     88891 b.b.out_a_B_buf_t.buf2._y : 0  [by b.b._out_a_B:=1]
+	     89393 b.b._out_a_BX_f[0] : 1  [by b.b.out_a_B_buf_t.buf2._y:=0]
+	     89951 b.b.vc.tmp[3] : 0  [by b.b.vc.OR2_tf[3]._y:=1]
+	     97969 b.b.f_buf_func[3].y : 0
+	     98463 b.b.f_buf_func[0].y : 0
+	    104325 b.b.vc.OR2_tf[0]._y : 1  [by b.b.t_buf_func[0].n1:=0]
+	    104528 b.b.vc.tmp[0] : 0  [by b.b.vc.OR2_tf[0]._y:=1]
+	    106382 b.b.vc.C2Els[0]._y : 1  [by b.b.vc.tmp[0]:=0]
+	    106521 b.b.vc.tmp[5] : 0  [by b.b.vc.C2Els[0]._y:=1]
+	    106561 b.b.vc.OR2_tf[4]._y : 1  [by b.b.f_buf_func[4].n1:=0]
+	    106687 b.b._en_X_t[0] : 1  [by b.b.en_buf_t.buf2._y:=0]
+	    108932 b.b.t_buf_func[3].y : 0
+	    113900 b.b.t_buf_func[4].y : 0
+	    129789 b.b.out_a_B_buf_f.buf2._y : 0  [by b.b._out_a_B:=1]
+	    129858 b.b._out_a_BX_t[0] : 1  [by b.b.out_a_B_buf_f.buf2._y:=0]
+	    132834 b._reset_B : 1  [by Reset:=0]
+	    132845 b.b.reset_buf._y : 0  [by b._reset_B:=1]
+	    135773 b.b.f_buf_func[4].y : 0
+	    138591 b.b.en_buf_f.buf2._y : 0  [by b.b._en:=1]
+	    138795 b.b._en_X_f[0] : 1  [by b.b.en_buf_f.buf2._y:=0]
+	    142907 b.b.vc.tmp[4] : 0  [by b.b.vc.OR2_tf[4]._y:=1]
+	    142922 b.b.vc.C3Els[0]._y : 1  [by b.b.vc.tmp[4]:=0]
+	    142923 b.b.vc.tmp[6] : 0  [by b.b.vc.C3Els[0]._y:=1]
+	    142960 b.b.vc.C2Els[1]._y : 1  [by b.b.vc.tmp[6]:=0]
+	    143699 b.b._in_v : 0  [by b.b.vc.C2Els[1]._y:=1]
+	    143811 b.b.in_v_buf4._y : 1  [by b.b._in_v:=0]
+	    184631 b.b._reset_BX : 1  [by b.b.reset_buf._y:=0]
+	    184671 b.b.reset_bufarray.buf2._y : 0  [by b.b._reset_BX:=1]
+	    184928 b.b._reset_BXX[0] : 1  [by b.b.reset_bufarray.buf2._y:=0]
+	    191323 b.in.v : 0  [by b.b.in_v_buf4._y:=1]
+	    191410 b.b.in_v_bufN.buf2._y : 1  [by b.in.v:=0]
+	    191704 b.b._in_vX[0] : 0  [by b.b.in_v_bufN.buf2._y:=1]
+[] set Reset 1
+	    191704 Reset : 1
+	    191705 b._reset_B : 0  [by Reset:=1]
+	    193511 b.b.reset_buf._y : 1  [by b._reset_B:=0]
+	    195518 b.b._reset_BX : 0  [by b.b.reset_buf._y:=1]
+	    196727 b.b.reset_bufarray.buf2._y : 1  [by b.b._reset_BX:=0]
+	    197317 b.b._reset_BXX[0] : 0  [by b.b.reset_bufarray.buf2._y:=1]
+[] set Reset 0
+	    197317 Reset : 0
+	    197495 b._reset_B : 1  [by Reset:=0]
+	    198298 b.b.reset_buf._y : 0  [by b._reset_B:=1]
+	    198462 b.b._reset_BX : 1  [by b.b.reset_buf._y:=0]
+	    200657 b.b.reset_bufarray.buf2._y : 0  [by b.b._reset_BX:=1]
+	    200679 b.b._reset_BXX[0] : 1  [by b.b.reset_bufarray.buf2._y:=0]
+
+[] Reset finished, setting some inputs.
+	    200679 b.b.t_buf_func[0].n1 : 1
+	    200679 b.b.f_buf_func[3].n1 : 1
+	    200679 b.b.f_buf_func[2].n1 : 1
+	    200679 b.b.t_buf_func[1].n1 : 1
+	    200812 b.b.vc.OR2_tf[2]._y : 0  [by b.b.f_buf_func[2].n1:=1]
+	    201171 b.b.vc.tmp[2] : 1  [by b.b.vc.OR2_tf[2]._y:=0]
+	    201526 b.b.vc.OR2_tf[0]._y : 0  [by b.b.t_buf_func[0].n1:=1]
+	    215642 b.b.vc.tmp[0] : 1  [by b.b.vc.OR2_tf[0]._y:=0]
+	    216341 b.b.vc.OR2_tf[1]._y : 0  [by b.b.t_buf_func[1].n1:=1]
+	    216562 b.b.vc.tmp[1] : 1  [by b.b.vc.OR2_tf[1]._y:=0]
+	    216569 b.b.vc.C2Els[0]._y : 0  [by b.b.vc.tmp[1]:=1]
+	    216599 b.b.vc.tmp[5] : 1  [by b.b.vc.C2Els[0]._y:=0]
+	    230807 b.b.vc.OR2_tf[3]._y : 0  [by b.b.f_buf_func[3].n1:=1]
+	    237520 b.b.vc.tmp[3] : 1  [by b.b.vc.OR2_tf[3]._y:=0]
+[] Setting final input
+	    237520 b.b.t_buf_func[4].n1 : 1
+	    294981 b.b.vc.OR2_tf[4]._y : 0  [by b.b.t_buf_func[4].n1:=1]
+	    295072 b.b.vc.tmp[4] : 1  [by b.b.vc.OR2_tf[4]._y:=0]
+	    297261 b.b.vc.C3Els[0]._y : 0  [by b.b.vc.tmp[4]:=1]
+	    297268 b.b.vc.tmp[6] : 1  [by b.b.vc.C3Els[0]._y:=0]
+	    300055 b.b.vc.C2Els[1]._y : 0  [by b.b.vc.tmp[6]:=1]
+	    300161 b.b._in_v : 1  [by b.b.vc.C2Els[1]._y:=0]
+	    300239 b.b.in_v_buf4._y : 0  [by b.b._in_v:=1]
+	    300514 b.in.v : 1  [by b.b.in_v_buf4._y:=0]
+	    319510 b.b.in_v_bufN.buf2._y : 0  [by b.in.v:=1]
+	    319965 b.b._in_vX[0] : 1  [by b.b.in_v_bufN.buf2._y:=0]
+	    319977 b.b.t_buf_func[0]._y : 0  [by b.b._in_vX[0]:=1]
+	    319977 b.b.t_buf_func[4]._y : 0  [by b.b._in_vX[0]:=1]
+	    320369 b.b.t_buf_func[1]._y : 0  [by b.b._in_vX[0]:=1]
+	    320371 b.b.t_buf_func[1].y : 1  [by b.b.t_buf_func[1]._y:=0]
+	    322876 b.b.t_buf_func[0].y : 1  [by b.b.t_buf_func[0]._y:=0]
+	    324241 b.b.f_buf_func[3]._y : 0  [by b.b._in_vX[0]:=1]
+	    324272 b.b.t_buf_func[4].y : 1  [by b.b.t_buf_func[4]._y:=0]
+	    325881 b.b.f_buf_func[2]._y : 0  [by b.b._in_vX[0]:=1]
+	    327130 b.b.f_buf_func[2].y : 1  [by b.b.f_buf_func[2]._y:=0]
+	    328776 b.b.f_buf_func[3].y : 1  [by b.b.f_buf_func[3]._y:=0]
+[] Receiving out val
+	    328776 b.out.v : 1
+	    332275 b.b.inack_ctl._y : 0  [by b.out.v:=1]
+	    332441 b.in.a : 1  [by b.b.inack_ctl._y:=0]
+	    332516 b.b._en : 0  [by b.in.a:=1]
+	    332654 b.b.en_buf_t.buf2._y : 1  [by b.b._en:=0]
+	    332861 b.b.en_buf_f.buf2._y : 1  [by b.b._en:=0]
+	    332863 b.b._en_X_f[0] : 0  [by b.b.en_buf_f.buf2._y:=1]
+	    337917 b.b._en_X_t[0] : 0  [by b.b.en_buf_t.buf2._y:=1]
+[] Removing input
+	    337917 b.b.t_buf_func[0].n1 : 0
+	    337917 b.b.t_buf_func[4].n1 : 0
+	    337917 b.b.f_buf_func[2].n1 : 0
+	    337917 b.b.t_buf_func[1].n1 : 0
+	    337917 b.b.f_buf_func[3].n1 : 0
+	    337918 b.b.vc.OR2_tf[4]._y : 1  [by b.b.t_buf_func[4].n1:=0]
+	    337928 b.b.vc.OR2_tf[1]._y : 1  [by b.b.t_buf_func[1].n1:=0]
+	    337985 b.b.vc.tmp[4] : 0  [by b.b.vc.OR2_tf[4]._y:=1]
+	    338287 b.b.vc.OR2_tf[3]._y : 1  [by b.b.f_buf_func[3].n1:=0]
+	    338303 b.b.vc.tmp[3] : 0  [by b.b.vc.OR2_tf[3]._y:=1]
+	    338465 b.b.vc.OR2_tf[2]._y : 1  [by b.b.f_buf_func[2].n1:=0]
+	    340569 b.b.vc.tmp[1] : 0  [by b.b.vc.OR2_tf[1]._y:=1]
+	    343027 b.b.vc.tmp[2] : 0  [by b.b.vc.OR2_tf[2]._y:=1]
+	    343555 b.b.vc.C3Els[0]._y : 1  [by b.b.vc.tmp[2]:=0]
+	    345990 b.b.vc.tmp[6] : 0  [by b.b.vc.C3Els[0]._y:=1]
+	    381834 b.b.vc.OR2_tf[0]._y : 1  [by b.b.t_buf_func[0].n1:=0]
+	    408714 b.b.vc.tmp[0] : 0  [by b.b.vc.OR2_tf[0]._y:=1]
+	    432639 b.b.vc.C2Els[0]._y : 1  [by b.b.vc.tmp[0]:=0]
+	    445680 b.b.vc.tmp[5] : 0  [by b.b.vc.C2Els[0]._y:=1]
+	    445682 b.b.vc.C2Els[1]._y : 1  [by b.b.vc.tmp[5]:=0]
+	    506640 b.b._in_v : 0  [by b.b.vc.C2Els[1]._y:=1]
+	    506643 b.b.in_v_buf4._y : 1  [by b.b._in_v:=0]
+	    506672 b.in.v : 0  [by b.b.in_v_buf4._y:=1]
+	    506989 b.b.in_v_bufN.buf2._y : 1  [by b.in.v:=0]
+	    508590 b.b._in_vX[0] : 0  [by b.b.in_v_bufN.buf2._y:=1]
+[] Receiving out ack
diff --git a/test/unit_tests/buf_s_5/run/prsim.pdf b/test/unit_tests/buf_s_5/run/prsim.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..898f10abd33b01b5d7e0d8dafb6bf316cb8c9ebc
GIT binary patch
literal 54472
zcmY(qb6{Lw)HU2Bjn&w;XJWUFZQHhOG-zx#jcwbu8#`$mYvOnE>+`(d`~5ZN-Z^Kj
zwb$MIoOAEYrBV<PV*)a>BT!YWla{w307(I)_C{6+{QRUW3WnyU&ZMm1GfJc^DxMCe
zq%6XQE`~Pt=A?px2&Q%>?;W}Sp8=vCF5=2AhAyV0?EeOd+1t60vi)l-7`nKaI@ytO
zydNU4C^*?0E1SBIYJ+)1#K8Eb9xkLTlD1$@q5t_5{+~}tQe9FOWeY<SOFMH?&VR!-
z<c+LMja^8&{saI2<NyKS6aO2)S35g<7iTa9c)T!Jim4s=i02=GxRbrB1L=F1!pfv9
zBBpMZ#->W*U~2G@ij$$8vxA|NshzRs|3?0=KbVL`*3`t(P{`f`jQdW;%F4>a3<R*V
zvU34}9PFe(b}lw%9sm%)&CdCL4CYpNhjRJnBm#?)sk6PSlQG!ZcklkMweN2KKfb=p
z{NFglEN#Hnk+O){fV~wlHMTbaUkVvhJ98HcQsDa)Q+glh?BZl<Xp7*HHQA|K%{2O*
z2;}EK=+^+jhqXl#yVM|_=9%_&9CAHimbRq2eBUaU-cv>03bf_TblAl=!i`5$eK49t
zvY_kkNJ1TaDJlk#cmo~Dzg~uidq1<i-m{>-fskMC!{yH|?Kk#{<;g<2JX3|rK5imy
zD}UE^-)uyR%zS;(7xaDHnSX<=v0)nCw{~e1bowQA%>(_Q?yzXvTfB7d|FqqYt>yiE
z@-*!4^ZX22><(t^{z8iI!1C#WD^~wy<KF+_^7_8}WwM$i*B`>)P!Y<)?(KR(@b&O0
zm$>_}`+4vD6$E;c_kRQFW6peajXT@<d^)$Yl`Hs=(S+@F9MN5!X<yX}XZx7Ztn@qN
zNvlakc!Dp(*J%o>GLwNP<x9)gqs0dh=s6-JLA%0|M&(Fn<mzeDx9aMt%QRIfYkRvX
z?WgtYsM#m}kV}q*@Ew$v=3V2)xsaNJU%tQl%-~3NVTijFK(h)zRu9r<nY37-s4=25
z&k)+Do{5pP;cI0lE?<a+Y0pjI36girR|P^HyX2S_Yi6U#EoAA>w9cjQ*W{(VHmb`i
zy*?4fq)%swb$3~1-F@r&Q+X#|(B@P^=a6>SAiBk>RqU{J4I_Fhku)*;o7v*F)tHC$
zm(?H5q?K_P-#eMjXQU4e=oXR?`6w2@gqUjOXa#rcuU|%mcZm9{_rrH|nlduWSH~2a
z(`pe^ck&8`zR8ceN>ysDkcuM{NzFfc<n5!8hNA+1=|5Et&IvVSy<jWZY)(6IPcW!I
zQF06s6~$dQg~F&lDzwby>{hT>?gL(a7N~WWXq9+9TlnbkQeMtia{gsGMbj1eEPZZF
z5}B50fm;;bCp_Rpg6_v`5uw3}KGR}&<)t4WBnxqBit~wO^I_(rJw%jns{TFZEZvt{
zt576WO-u%zcq)UV%f8u86pBkj+;N1swqzl-D8}p6k#(*ZnOu@0Um~TX-~Ig-d!a$F
zciSk`%xU`0=3<FnfGnVqvs9<7k;90Y&+G_N4Jd3%>AP~8T1Zg%68n6fAywcR3e(v!
z{|5Wwta$(KulN;!G;o9L+wj1OR|yC)dLXQ@<8k2D8+_G8Wqvc#YDHWsxa0onK_Iml
z*PvLr3DbrCW!=YT51)v=MHX%OJ4AdHvTa(P*3A%Cqs~&!W4IYm#AxlpJya&I7T0C?
z?9@+=!NjE!n@p-?w<vKexZh*P#ft}6H5p0pVV*y~4ohw;Vs(_){#`h9BZvPhwl+-D
zBkkj2;L(B#BEzIbkW#^6RYO(bY<5AYx^7uU+2fl<gAVT(<Gzdyr7%((p;4ppmyd*%
z!}QlSzc6Cq`H0<+y7N1!<a7fBTF?{N8J4vOmQ&L%P)Vd2=K%UdvOGVTlEY+!EUI~0
z;48JSYY%9maMnph17b+R9JiF1YeJ%NS0;3Vbbo~m$E9cL^d;QQOhT<l4wd~#0xHz?
zxTQMX-whL!?EETe;f)SYSxFWP`6ij-T&8C51Fz`FIn3WSODvh1oqwSSj{yr6XcO*}
ztZ}<hZrYX_J2X((|Ec04bIzj0%Ldwr$TYfN#F+a>1Pl!V1I`;2?V(E0V<HZbYa0&n
znv4UQ;D?X$fC<C5n+!LhQwwF^PeU=g<<G=?@y=<E80$@#-c^_2nyldxssxlGxyRbs
zYecjq!#I@U4WX^l?g;!XpW8+ka1jpd<F^JhM(e@IP>1>wn%FLOhjSX#3~~a8>67SI
z_%v&543}@~|HAhb2px$wFZ5`!g#p-0TNyg7EoDAip15|GHU0kTz-?AVRLt)4fb(R+
zA{Wh#q@32}06REB#2vE5inQO9FW?jdRaoa#01<PN3We;}MC@_P^hnG0=~YZDO1ZeM
z<`!;6_+&N6v78Er5oRA?(6C75K^?}>#IP(?OODB1&^3a@1&QNPpy5qdW2Lj|UU&g0
z^T^8;6+PZqFMHugnuJh7Hm?Z7%_TmIOonRdkDC&+U`$9poo@5QUnrXa&14?(sZ<mK
zh<=)=Z5011ZhN#a(BZ{qlifNS7zyRdWUFk+70grT3O@~3J42-YrptanWOJM#wa_0$
zd*kN4p%jb<9S{7l?d&4M-D4Xpiz@x_mHqHbJ|QXpS6)Q?zqn?upCj-boKVmWcqC8<
zIeEH8ZxZFDJ_afHpf}Qa&I;nb>R=O>S&9Hj4bML(5o00{*Su_Z7?jp`hbd+l6l3+{
z!RSppjLuQQUTE+ag`nY=AS$S{A`_M@h7E=PhB2=^APYZ9AZs}5n*FjkFP^{q%Tc3-
z{~GC&n8*&Lo32lm&i2dfXc_)A^b;XIx*I0b;1HF?fuaZwW>i?JFouQ{V3V*3d3y!|
ziSv#0+rzJ8>)mtmLyH<x6$QZCRbsz7;rD*@`Io6(2K^tCJ4c%minD8-!?>Ztad_NW
zvUeeN`hx*SheRY=1W;75G8omyldRog<#8D;D;aEr(04jn2La)TP|fm6{iz3e`VCBA
z;o*JZS1`tfhh(9riDdO>y|aQFYvRUxzjojfm#;fwmqbsWI^+psNnMD)!3dAIv}wUu
z_k7<9jtXDu2gLxq2VSgI-0ULw5aEf~xD))1&l|$*O&@#s_r8ZfeaCO`2%<PWXD()8
zgP5|Ix;1Q7Cb*%eu^d=BscXXB*<n;2&i^#OAclzOyFenw0Y#lT5R5+o^K{)Z8=9_R
z%r!{->lY(D3`fTuFJg@1<a{?L$9$g@Q^t>ll2(R7YeN|t<XP3!7`5N8p9xt~V`dX-
zKU0FxkL6Z4pH?%6ahagk;7uAm=qwz|YfL|$wz@O^7MUGQM+w_gL^LPa9})?h#&O1?
z)@a?{GE71XtFl7oTL;$8BMCEV09i$m1DTm|hHe1shBuUq`E;6w1}tqKFiPPv$@r$j
zXGsb_yYL0x{aqawV}gQ7MDkp1wtW<sCKTXu=;s&4t8#?RH5pYP_L`EfgBp_96|&PR
zGt9>m#?4q*Pu^@~Z_8}BC{uS;Ui`#O3|x+xi=-;MR{GE#s{sLkGBsyOqpopbV5!2)
zGbn3a>Co953=)97)5dNQIrm(aZaK^_r3myPP-AbIqP)oH$7;Z|NI?_B<n2Sj+{{}+
zkNRt#5^zEwe8ZQDV~@X&mJ`}sNBLTyzN+>8FFz)Hpt)O7;SDY;Kh90*(nLUSQC)CU
z#qYy=8&0=HZpZKhC-*q_grY-a0;}`Hn*gY3*iPH>z(zajKIP<$2Zi>O!JC8>-P<y|
zQhcak<HI>egp--WjQtykCYK_`AxACeeU9Wk*%WdWKekqtT!(&}duTu-mf`BB6yr9^
zVSh??5N$^lqTJMNjaARzqCSLa$8SGnLDEr=l`cGs6d1BS_+yH=#3@`d^>9%PxSDYH
z0jJFHV9&8x(yRbgv`-dvJ23WnN<(>g(EixTp14?x^4-Hm$n6cFi1uJ}WW<*4#34ie
z9>vT8dBRN1vldlljxvt?%RKQ(&to4rR@d22>n<l2MR*^=p$>n29qSL-++X=%?Kx6A
z9;082>d6QIT4Y&>BhJO_R@eN7Dr8mO$%Elk`0HlGwn)qsD}Z>2y`u#@+6}e{vJ8m{
z((*u%3Ge@5*iX|TBOg5c{fK-868Wg1HCj+w4JijToOG=m8-MeQ#D&?DFjvh5dmEL_
zh87VNG%63txq-1C)6pIt)Tjf@Z>f<kc_)KZ*)$7&V|68{gTlZ+MWOhMkKj2m=a8Sh
z@<3tZXNa0_34Y1blZA^8FDbz^CIHdHtB00YL&#}&6B5-elaLgt16m^4BNC#)(6$Vk
zm{L(@V<;c_2eN)@u+H;v7>ThcWX#>}QJS@gbuTX(NxT|Qt87U)d2Rgw4QgmVbx`cZ
zOqStuKTRN#SPV5+yKGEz<ARGIuN$+JfYypfD$?d_-Yrn!idM%N7c$R(f*Vl|agx)%
zBPnQ;h74T{f$>Cg|09`I*(Ce)PhmWKk}~D2<cws(B4s_+KPWyNa`(5hBQ0(KqZ~Iq
ze1ij)4sYyks9?1E&a0GO>kcg3ZFs@$7|t|S3%7VY#JwYk?4GB7pIvrJ6dod%0AB;=
z?}@10hgqR7B+$0}z)Wyy-RnBz$HYPEGokk5=1?)Rt5@J!sEq10VKcEI1Gw81x~=pM
zzSo2|-p!2R9-AwoFQtE28+*=((zGok7`g~Um<Z>UhHx+G`<!cX_bLApbE!c-PYVx0
zEkijvIVBmlNIq<$3`+dkMW5t*v^6Y+{p$ff^jPVWFAIw&{xm8saU62q<%hg}OtiFO
zUI8OA^5_@xYsz4UaA>Aw1mrUUYM=myN4Ww*h&b03CF~PrFoTGNTo2x%+^+;3hlvn9
zo^cNQJI!FX3d&>s3JOUV3rcel!_rbkr$xCKbl8Vk3@IikDjc5?*bJ1rBb`M6>D&Ne
z3jSkwykR0Bx@XWzVDxO}huoiD_W7Su3>iNfN<6Hy88mHh=vG}*%Tj(rII!z66a5sJ
zQ9uc`!<N~5;Z8?1Lv5(21(*mQlhw>}2<|{iQ@Hh@DL1ON^)s{W4ymu+NCZTy!l1(;
zXMfy+3|lzl$3q)R^&k-JN6Ha9ay86{=l5U+5RjyJ3*GY|O-th2*j{K-{hgISou=($
zJ5JJT<hTam{SooS-9Q4>(<0B!`~-C01JHF?$h6Lg4>MUpQEHQ6J|ZQp)13H*vTGpy
zn^}+ykLMgnGPvfBbLQs$<fz&%?rl4)>+q?0&I}TyQNL<$$^Om#c<ut3IK+qA#*0O<
zNju^K>mBd8F<5LoBK6HX6|$HI%dMEX7xo4OEN+w$dK?7NrBFZ_sm#@m^!09M_oloW
zf{boMNC-QUArUL(HDj!!C!iT%xs$^!^+lyUhVKEt!1oP`t=K^F(Pw-$D789b#v_@p
z)|rDN9n+<Q2$O1;2ty6i0m66)esprqzNH$HKiY+(_;}^HWL<A&Yg#x}Hh^-22js;D
z3t8)kuMHTycYzD+5P*d=gThmQ4KYnr;;{TSy&4a+u)1Ua%d_MK%5V!bSp(cGw?1Bp
z((h}R3WH&5j7Xx0OtFph4hK6k!C5FkMJ<nKEHoLuWPn;1`v_km8F#f@%@sGA4?Bj#
zPE$Gwc<I6B#D#`Nu}}Alb^H*{l^nqrCbYBkD2G4I?F>3fys$$JmQz-S<+l_=YaoYp
z&%Y&`T#y#_nlH_-G=n2VPLB$wJCxg9j7nV#uG`vhN;86l(V)7x!u;AqP;q#%_VKKf
zvNarH;<|R_K#i<9Xa7RpjmZXxguB-nWNx9l%EcB&UBv8QZnOB&7{W%s8A*EEI&}cg
zrsZ0qum{IN4L|Lz>H;gq0k7{GAO8itub&+YVE++($8#8pfB~zxjcI;u{nx=~bGzOY
zIV~@NSuUYqD3~}6Q_Z0#P@QF#Q@LM^De}i+NsDzMgP{!#-HvQ=OiBis1G@<`aZz-w
z)6)~9uK;DU>5Qw{6Q(HhvXNUSj&m|8w|*A@VPjojgh@9hc?a%ymC&}@!Hk-&O-Hak
z4jIOQtFzHVY!o&_d{=s{Ev`CG)8yXaFs<Yk=BO^|Qt{07Gpr9~s@C{5EJ$pM%hSqS
zG-2(b$zQWEu(sRbY+vq6^Xj&kG{!->7MA}atQPT_WgB!`rfbw~4L70qa*VFnP5<M4
zeJsnzFfn<#t`6iL;yoG`eLY-*?5p#2pS%VMWBsSBD>Vo)jV!_!cy+;3zOgeXf>##*
z)v^2+>$RYrxHW9lw~Z2sr>CpG5YlQHgnph|0eSn>vHCfz2IlVPI(~VeL!Gp>Pj@wM
z0FISDE#Zuxu4SN1K?QW#?4n-=ZJLd%NKyHYE|)8&aH;M)+1IED(O6FPo88+MURmq@
z+gTS>UDt14dpo`h$iaRH%D=vHfduS~O=i=wbbCDZjepNEQSxiH9duZ*Ef3eXzb!z8
z`~t7jKIVe{L5KJ>?1c7<L-ftX8RG}cVOrU(t;Rk@YOZV;nU=-GB8$o2EXO%BtgBth
zm4MDlEnBhS9gjA*PuEJ#9-f5Q9qZ>X5p#*{I|Hv08KgL)HLLY&J8;)@k3>Ve$vX)c
zLk;riAE=jSS9+XD{pAzsfPGN_Ge6{K-)#tP;c+IU&pqSX)ijwnf$kAgM@OdjQSCap
z*G7X<6!!ghsV8C{jJOf*38-r-AZ(D_AJp;;oQW7y4aekr!^iuMzB7$yFTgsyIOuY6
zY}b2`H_CT4Qci=oInB*VrCfARI4bORrWISnJwD#srPQ*J_=7mq;qF%i=VIfp=6s17
zf|l~VU;dP^!ZBF|rD^gA=kn>`CR{c!URr`M0v>J%{6aMBC{<d{I}sp;6yfFTQI*?W
zUx}}qgC0K4BlaBKt3ZYIe1Rho_QgFzhl{taP{Z#5wYSj-&dfQF22qc*IUQSTpY-o6
zw+ckt!907a<2OA_rRiTk)m>tVU1GR1c3*7b<qAmlrzWB;wI&N1J(%`n+m;D^H-o9d
zD%G%VWKgu>qMLPXE(^=}>cDQnOk5Iu^UFRMq|kP=NeLO*OF*zyGxP%<l51-ErMEe1
z){{9{wa9f`a~nMp(K~l33@==>tNSO4kKx59_9aMd{hXZsZ&D9LzYt=JyIDQaJkZW4
zKL_kES@QXysA1py4Bj@?Urqi?+LL$J$S)(k+D&$PBA#Rh!)W92mhO8se}1rP|J`qw
z*dk1AYfCct7S+0oA@SyGj!~;%qiU}jSJ;J8p;6U>ph>!y<%pe^Yr{fxU_Q|Kl>0kK
z@i6q$z;3Veu+I@7bUZu)-E)l7;YY-dHc~NJ2D!{%n&?CBUkB*|I8hb2XlptHRTC?o
z_^w?lR}>S{#u);5O|(tapZl@aoc-<M!e&+$Z&(@K9r5;c^U=ikqp48>(7G;6O%vU}
zw-q-06^f&hWH9UL8**0M9kTF45sriEsdMuwT|HLTR!rLr>=jKs4tS7>;$1{utWk`n
zrWLh1(>j&HpO@Ab<<fn$Dm;4)?sd8ZnJ|*u2iNTjMsy~>1bryyo<^lgaQO6LKIl)^
zDZorGe+!byk?Bf6N(s{=&i1o6bzTAC@f2&!#x-!|^+_+&hD6}1jJE;rP_w+F%(u=H
zjg<uMlBnu{`P|AoDv|vPq51siO6+lr&;LloYjH`+T$~$!qr;%C*DT_ecGe%zZBNi%
z<T6g=O<ok5?`c`MV?7H);+;TT!@phDREf{oHv6$qdQ#U?Pukc^O1j!hty%SZaKEGT
zrH1LZpVbL}OCt~V@3bM&dF3%Urq~*hGpqN1><aKPVouEs@eol_sbd*4{avGg7r<J@
zV7OMB85%yvE754DeC~VQ*_OMzcen?%4k!XbgbYDpeNN`2p3$AMa~IHquTmQ$Qz66x
z(DA+v811^goD!A?4D^f$sT8AWh5pFXaJGk6mfZcopfHa<;{%DmIHQ}U12LE)PQK}4
z^eeQ3=z3D%Tc)u_KvPuGMVqv$wCfuQa;kN>h0zK*wOqU^+@X#ox-o)~*@rZDU5pPn
zdc%N(6o<iq{hy+^i0BlSzL?$1=M1RqwY@`O!gL{1AUHEjB-YZMrw>&~@e_t&h8NsC
z2A*KQd38;BR2SD13-aOfv@Ox6jSXBLvnS&OFI^Rb^REH6(9xzGKoyBU;8Y1yTer(k
z-^!mSjkd<P?`bcf{aruju}Ljjl_%yE`^M~-J5g4N(A1{*v2wh3!@^I3?RFt<^X9Kb
zIUcO|-r;WTSc{mMfOk$MaL#?}2_v_oH>GStA)r4g_;w@5gV|8tLes=c{qY;WbMOPk
zoh<a9k(8aC#};J(Jd``xZrbjZUM(O^=2;z)jaoiygC-Y;O!>!@z--;HLA2$$AH^q<
zSm3dXc|m5t4)Jz{6oyNpX(7Y<d}V@Oi-VKT`YIJq(gPxHi9?xncGnj~EJ4t6z5x}6
z&Fqrylrw{ez!+%_f8(!hG1;)6H&$Ig+ImM!_~e>}+#Bs0iSfgOPj=DPYpbC>Z`TeU
z3^%G9zV(;wjIQ?VSn=v%uvy|LFhc3-;L^+!oszM!8+K!pt#3!O5tm#ebU3?@#?)s&
zZ1ATQ&QWa@i3ub!w!I{X?FD+%FIM1UoTgunNFn@9mw7t8dm^W*cjvdMj=_;B3k=y|
zfxS|GQ~-D<T3I|L>R)>c)>S>(mLE=WElDbQ<5@~v$iSMIn4@FE(R%ia@gbKr8o>!i
zL^dn6pbxslCg|K2S{41i?^kp>?U`6d*!CY`tH8Wd7chb~v7vJ?ydU@)Ozy#g3zYA0
zrrM_avL9_HSH+grKVDczAdHuZ*Q7^N-Ja+X73z(BxlogLLlk~JPLT?4-jK9*tt6M!
z_aa$UdW!So0{h{{H$n33!+pQ_+P5K%bnHH3EB2R5+9P5yX???;#8yVhtnvqeHW=O0
z>j^>0XMyZ~Nn*iB)XHw_FYCF~L#@5|&Gd7al`1dL8}M3`Yqo7@ZTYU5w>{j1QaG{t
z9$|T74BIjS7a|2?7Y9$=#2_!(Pc6pv)*-cl!2Pc=;WYxnR5SR7VK|Z~(x0xv8h`R!
zRkLsMaq0EJx0mdl6UbK>d!ybjE5?%nJVui5025Sh-^`=MQvP}>92~^`8bJ}7+^n~E
zk@n1*QA$$gDNKhzB*-YaLRopuxumN~5_CNJV|`X#&+fwnd(EP`6X=CfV})O)n2#gv
zaiVz1sYOyJ)5&ha)yb=6HPkbk*6NmptyeutrRCW0xkl?Ug3e*O*hMC+5RSiUTRT?+
zE<g4Msom6|IJ0~$XW&l3`5MusR4fi4IGCtEHo(d1IuZ}?nuzMT)&E^R+4krs+(Z+S
z=X^iF9Ldp;7?lA5TNYRAs&76LrTXJuCM-u$-mzuZx5L1)xpBmojz5Uw=x*vy&So9P
zA-Z)Fmx++V(9+wKNN-JS%eh!N{^PLGy-h0pVr(fFbKob_H{d7Jodu!G+2AMB;XS?I
zT0P>ftdMsXnIk>~kDE3_8|(pWqRlNLNdYVjdnm@uw(F!d=sg-ijH*{qkH>3W`AHMc
zHgreKA@~U*RcJAlPUx(Tq=^nUcy<?|R$I;7!rK^#NUL{%^@E7eKb@MEkn`P_n!`u(
zVjk4r&v9jT3^Sy}c?D<l(sAfzTGXYnRj#c^g@U@$G}vzC<&TFY(Q~p>R%m)5#^=TC
zGfNHgv1JvkRMs2kk^xPL;5kuQReJIhH$E#4s`8K!jG$hUxzR4g2<-tPA9b4)0<2Ub
zif&Cl0OmnO-9YB#cT@*aaM)e@Y2Uv5h0KFbB3*P^VEUvzYw^>yEFS04nK`bkv5(x-
z*rDjQCTSukKcjmN^x^J2rOZwZ<I`;%S`O;^4nx#MSs`d%ZW&~VbsZFnyf|giesVwY
zh>4eA)N0IR{4>+N&j7f$wx{V)QeB`?oPx4IZ?>%!8`-$@7&mYepP=ntYE}6AEqK=H
z^h2eK;=Q$0*WW2d5z;fiL9>3srAF(Z9wzR?JIZy|ENNnBHj?%u*;;;>@UJTFxphW-
zPHDe=WG6aSRt)w<(s?$F{RPwPWwJQ(2otMLH!FwuL{2*VX0!5xc}TQtgG4-07w(8;
z5s3vVmzL)G*%Q@I7(05cp$b#L`F%(ekBNA9pD+<5DahnLYT9eCs)_#>u@o3ug0^{%
zN>p!KB2=k``PJI-f|DMc;JV-h*99jyOwVk<dzKWmNtHpLAJnm&QPUAhs^vMLe}5wX
zVAh95JOjidcy*SSm2ZiJkZ&+zS$PU7?Zg97TAqQ1qEUA~GE4eE%8z$T>vW2y*BNrP
zW5)Q_-qFvRWw^%Oj8Rchz{$7q`Am1xB(3wG*d^NqSyBnd2UFH@XyMh=<VBIC<4l}W
zdF9fnGv3p#GW`@8#<TPY%GHn?LLgatT>!2Y(XUtyq3cD0(_|@`y$GBpMbhHRlOMS8
z0XV2io6oAFeWbDdl$a8`rGc!a>p3U33O=^zk-Z^5f`%Cd^-af6a??MnY)`TGwxi>>
z=V5tLoOyo3z4socR(`sjW2EN6$-0<8|MG-^ENx)4$_SJ8^2HE~R18^`TvbZ<WwX5q
z`Fr=SWt**2zK9PrAKgi4BARmuWplWGW_O$n?gWO_XVM5jnwm?>x731FAY!R4)SoYx
zhpck8oGoezWVDqTs3m#;@^n8oTU;XBjEbSbONllQ5GyuU+Y38io4~eGOtF>y#D{K@
z08|7AVq)=8{NK2?hqV1MsY;aNw2q8~exIKLUUA_lEhTq;I8|QqGm=f+NTDkcr>i1H
z4fAESjux~nC(i%4xR57Ad4kA!8O=v#P|RC!{ESy;OZ%*9!m`SVBQanSA1f)%qQea&
zdC2MNeGW94ykPT|Oeez=HxEopT$heinuly1O${k3>%?9{s7uOI8uxbzOqOuZunRmh
zS=14rMiHNF6mAB7(l`Uk9$IWqH0(QZj)p);XPL23U)S`6B3p1O0^uA;kB`eLh9D0^
zx+~}*>O@uBOoVY)lR5sxN32Tx#NZ+r70)rBpNhxSDi<w|E9xC`r3VBoJ?pSuv11Fe
zP6$-HQ_8uahw+R<)hlT3Q1vx{zin{oNi@U!O6LSvmiqstZm&nH$2V30mlQUv_GZjS
z8D@KjAJH?0;lKMVWcxhv>-T=~T2VIarpv0Q>RPKFvd7-IeCLGvlVFFjV-3yS@0%3G
zHh28nNeiSHCCBBmP|4;sYkG#Sf9N{;$H1SZl`ZXT3BZ!T8@%dBqlqA&Z*-OTx9}9z
z)0U$fUM&N>3zeMIJ<*jmev*`|eo}2zMGXRP`W>;vV2*}Hn%j%wFsP%9C#B6;RXzrK
zGog#T(!&nmO?!((kS-Snr)3i;lblMl&BgVs(4<W&BvaL0&>ERss*h5PKdX|A!sU<C
z;jQWqrpgG5r&H(S>Mp>Ch#4AW$aSZ7@DFnIXPIML=uOu%@?W}Z{Q8-^k^C}gR}20X
zTP=DhnV7@5(3L9sl!~hTx5}b|03?d|#9)3BmsLDYdlM@KPW5+3<O(1g93xI2RzYLc
z_!Inu&rOAXemO)?05fg$hq*>5=%K0!_VE0vA751!g@XN=3@mv3nOrTP6+_V~x2str
zo6@T@qSTnmL?~k8TS#XgYr0eU1sazk`0{hLOvy4OGe*`y9P)j`FQ#@)$f_l(QREg(
z^qX1-QrK&vQf?cCWrbcJ2$9pQtvPv#%TLvls8w0uX1<IlSLyX6;J8RFF*pPV3z+_a
zMmg#^qSLMJNnWO=)~^m#4bqbKIH+%2*B`a71kkHjq4^aoamW&RdVIHX`K9;CVAxP&
zt)nx5%5*xZMcrWOIfL!~ajH2NSDMqcx(8k`e{#dxu#f<}&d)h5XQ<Dm#o+g4`Vq-;
z<ZoLn=<q9fHVsLS8I8vShY}8|DF;tUYpP(YQK?AIN-Ut$8f$(QOfN#$geZ7oD7kbp
z_QbP<P;s2oR+$>AMvbF)sh!nLbYnl%)s-X|sNJbU1J~x%TY=?xs@XDd{18|3(^Tg2
zjTICaW*(9S)}lN8@;9!H32g8P_H>z+g<{{8*uT;#UaQeB*QGJzCzPY8epl)A=hk8-
z&g1`LosjtzhYo6rJv^Dl6bh$7begiYYzoUDeQKh#yxa)*&C!{kcdRWerDx?+dX+lX
zdR<M~bRm3MR_bAumA|E-Oeuh=ql~dgyKF4ZaxksTloYc{45_oJJ9V8uTBLS89fJbU
zf5wP>x3!)gw=5N_nv9dY*yP%iXvhBb#L0mxgJf<6Y}J~dFUKNMP%xSEDeWzz$|@CF
z@M!2%2rNOziq*w7RZ8GdAboPv4~+;Pc+PXT?M87Efc+f!k<yUM0YvTCiLGHWqz^Se
zTNuF^MQ2OAm^sCAU+nrpTOP%D>ul6i1PbJQsU$1RllQ3qj!|Zs^dq8pvsXfBx|E05
z=g~9Gy5?C+E+&qerT0H-pqz=F3ulz(hTRnDi)&Aka^th%#46{cxJnKh%oVWB(;!`;
zq{?A@=#T7g+H=i0C5^Qd9>lHDYz^)Cz^*2ZE7<{krg`O87QKZ{{LstvI!0}m-mMg?
zZKzV@MDfH>-D-I}5@?5+uUr(o-9nC~_5$cmCB*IJ=;xP&L^7+)GBM=0grCr|G=bIG
zzU{Z>`hQE0Df+aKto>|ZR)GyNM(n-xRMqYoh!Zc=;RIMeS5O1Wd&6E}^k+4VgZT>v
z^&q!?QKn-FnUDV*lOO>3q#h=zw^}2YT&>H2*yyTEpQV0SLn}VGf$Q#X2e|H3y40BH
zuUX)}pFv^(SGJ@fkr<gV+$H^cXO<=L!=#hp{0F6`wE`6DS~HupG)l!V!pJ$U^PHKY
zPRN<se=BV$aeP35op{p^zEOW;=6}5y@ArKShL_p7t>X_vmQm8PY&i|26Ax*Y_hFM}
z;Yr~LBra!&_M*^fBH!FY$XR6+M520jh)37B4sXP6Csbyutz3(Zj&=C9LInlm<r+~>
zO;3VpI7=P#lFG1%kkdlwf7^C<O(V$L#cB$Pi5j}h{09?C9@m}Rlc$sLw#(NDrec%r
z8mZdB_5KSXdh$f{D8u@dV{{BA!_YPkeE^kPMyk^61s%P+wq^;cqXcfcJ|woP?rt{O
zZ^pkPRrzY|=JZd{{Ej@Yze7*Wk-y{Kv6fbF6CIZ*LJWT#8EFQs2zh2SkORipmmBUm
zzz^*h+@6hH%<4dYUFo+A)1ngkrC81CaV1P5>uKo%Bl(q_1MO?5ERWV`VoX;E(HZJ{
zgad>pK~gN-EbbN_zF%sxe8MAcEB^d|$0>urh*|yZ6yN@7*=VED;hXTlK<ZL<-Y5e<
za2#$gps>;>W126dZGc8_c&k$ZD!H`GIhl<?FyKZ}$DqxfibL=jp@WVIUGxJy9!9ny
z=Kxhz6>0!mteArnb7v1zu2eYt+&5NGDE{#T-87-d$`3r)98rh}X&mE0!^ZX@U%Dt#
zC!byZM4~DO$=31lyb0Ina6G_8a0iL*C#2$$Vh>g3V<f+91W*A5K%d8$`#`A)=j_`s
z_ph;mgd3ePbQT|z4t;I3RGNltv02Dm5TXCQ5VD9?_w=)1OgPkc_0N)1(%D<nl|WMh
zih44G3W5~tQOcG+{rip(%azN?CCEm8jpZ*@T}Xb0d+Ai!{+|v4R%RP_PX7W?;M4Wt
zN&fmp;824MFbiamH?zVA^2@LUFL_?iT=7S0CRw8zW?}ZUpL&FfKSLbV=aUxwTqkU0
z9I`a~0>zl3mD0j{3p=ImjjP+r;y4~|Pg29_aJvY$!l2GEM<zr(fwDO%5}$j3j4a;`
zFr%!qOHW1P5JqlxX%f2=F@CAeV&lK-9W9VAeu#TI@e*>!Mm{Mzdi>RXs9*I+i4rwV
zH@?FNQ75|uV;bq)Amj!i7c?-b-g>rh5sF~YWw-QUH*PQ3N#oQ7A;uAIWaV=yUQGZ&
zZqC)NUPk{Pz2}+g%ZSN$lFw1Qg#tWq(_B`_PxIZ-5Uf`actu4fpY+kh0(cz-1IiMP
ztwZIbv2(lRkVAPw9~{mgq<x%Ay)M5;b(pfS%arpgCQ!_AZ6jscXD`h_HjBycIHQeR
zOyMhi9H%p)9C)Er-oq&iFzwVB3Ec=`VqzPJw%!T)faiP=s+&N22c38268JSflv}y6
zeM&}z!N;rtbQ5ZoCe@Y?TUP;x2pO_ZB@>9O^O?LxMs}CzA#)*ZdUn*i1lne$LeM7<
zoi}V<55G_aW)lE)BcBUmM{VNq4GW72r07H(nK-PlKuc+1?i7MlhoHf$R||>2V1p7b
z`os=$#V?6RwcNLD;{Rj-kHW*W3&o-re0l(tb_1=32<vG2%jQ`uXRQM6P~wM}n#hGJ
zI<Oip1q*|e3x2ve1Q9E*Y#3HdJG6&?=W`{Ty;An(Flixk%Ew!TkdMSPwZAuELn0P;
z_i*Tc)=7o(haQq~hgrhu5SK4VIwu4qD3*&lnF@<+#y^Z)tQc!_vV54(_=^qNcL>$y
z^il7TLBx1MT&uQT!7+P`tP>#Ivsd~=41*LUR^gCLgXvK`Oc2FSB{;;CJLq0L|0Q^B
zP7_9m^~5QBZ~y5;c`uoVx}_k*B*=I4^64&uTHknX7^|WW^nq;x&v~udaXc(9y3!<v
z!0Ng0ZY|@oku82#e)u92(_ol>%nJ!oqj1wFarYKJQ9{X;WG`iMN1Vlm9~Y*yavQk1
z|KR+ydL1_xW?CJ^wtx~Pn1PN=I7mB1$D1Jt;V<c?hizX4IfIW8__o4Oez*i4$Li}c
z&C$?CTNWV+I0jf^yU)tn)ehN%SF%=x{VTRg1*TuqxQYB9goswgwq-mpIxuBE_iYt)
zxCN$>psAcpbJ3~9oJ>y;fpfy;`QVSsjOK2*<wXLfK?qTT3EMsfO2apCJ@j?7{J&D!
zcsT(VlrDjP@XaZE2qRU;P%GfVl!FH&=@JSGD*ISe0_i$rF{)WVAILNGWhTuX5(L%^
zs9H{Pl|rF>PI5I+0}Ytp?jR=jkn=Ln$(q7mz{ABVJp6`$Qbnh@QdPFw-MJZ<nP@sv
z;vN!*Lo*PA7#_NLL|k#&$;rxzpvLku{A25Cy#nha@iq_XpBOZ2@DQEE6QEkRz*Ty8
zy3P4_Fbws7%guVe2Q|K<+XtwEHzf)^^F@x4x2IgU3k6kItzha){R$PvYvd0|mv8;p
zv<+=3pn-4j5mH$8tDl%vpx6`zG1fCFpr*O7DoQA*#4vItK`%1hY@xOeR~^2x3gJ-M
z#U#l3ze%=J(42E55TvDB0DVI$vBbkL!=N?2=1fVJF@&aKs00&oN}6izl%$Booz&_D
zh(9C;b?wK$_zl#Qa)4)zoK*35f}an3@?2TYfvK3r@PAveNKvwWQtc2`k1<|9MT8aU
zlp<*tKbTT8!r6QK+L%d1NU#5bQtFF$t$z_uN?*Plu2%V|j0E8FPLGCmfp&(cj*yW2
zI@fWI=2S8K+dJ-PUpf+qboaZK?Bb+90dQSbaelI%!=a;Cr4m*dP?0h&+_$C|#;YEA
zM<!YsrBu^eNLsqI{Bhj+@&QqG=K($WVWwUe*jX@t$!`UK%>hAe;)ry`>!BAl&R+W<
z4aFz@)loDvn;@cHJ+$Ms&;G*_YkHk_(S*Zt$0+@XHdqzY;bqB)&Qo0+c@eXGc~q?e
zy)_Tq0`2QWe21psk=tC%8OmzZ-pv3o#Y|A^X(n2@)v%iy!Dx58OP;$WMsX~%FO44t
zT{SI3$<c+cjw^j^=dNoDGv_??<WUWAufW#tR>JWi7$`8G4XYl*vh1C>kEN~tvF{2D
z-Or>nOGmH{ico>>b!-57J|+Na%aX%u5*$P@m=}VpqRWNvu|t|WiGf94ZmzNbMK7iD
zX4bb}^jth5|3@hffIm<lS9Vr9=Q3D;G6zz`(-t$AK;K|<Ux8>ZRqZ22Nr-(-obHM9
z$3$wG3Ils{8^9H#4qBB;2=kZnptN`7EBngi*qGFh7}b<ijzlT5JaLj3W@^JE-AZT^
z8-pf`hF;sB3Ml1MIs|I0HM)66H(_josRoJz5!VGx;gZl%I6Eq+3=aojzsEpehB*}C
z+vF`T^MykP3aP1a+WBm@Q>JktD|vAmbzRz7i>7H3`9DjE-i*|*(8|}U+GLs^=4|r^
z=jKyh#xLJuCb0AYygi{C$xDQ~gtq4yS{rq?+493o3wS--%iwUzdKXkx$?Oop$uQ2z
zIh@)c9TZ`fNMB8LyYwdmP|y1cN{;-3+FLL>3iEQk1b6r)G0Xp|O&9&M!q5l<&Tuh<
zw2(2%(?~+H5F9`ud(XO<%FqZa?V1j7xcaFIY_=Y6P)_V+bEh3+7o9mOqRudvbi8V5
zjB0Ajf%EeQ1BXIQS1Ri;zmcaA_TiLrB&qxel>m{biBQY2wWT#=a1W6(-q}a&R%b@i
zTCm#)Yz$PxGg7iGN~lc|#|#C=Up>~O>-*M|VZSp3MQp{@6;_DhjsMdf8YwYRHNaT0
zG34e!Js%KG0X#{kf~2ZmB!E|>w+^SW3*rvAo}<24+)n^F_RXb}!no6cfsxxj6(d||
zeA>JtFL6j5Skpn1VGmD&nT*S*T8R7~Lktk|=Qh}O2A3sJSKPnT6esveIF&Z#-0R8c
zNom}Jk$G|XYF#D%{>}h6moZA~QbL51>y$z(FDVWBRM29w)pHw<ark}#?hq*@V-9)d
z={J#2bf|50D-lc(G#p`b<dKk?9KP-MiX;nBDDej=?dofwL9Lfk^}=|9R18Vl{yM(}
zumbm5OB17o!TCY2qA2P5$2YqBG?ZU^yt2Z;x0C6B$#=>}r@aq3bMSqaV`fKucwTY0
znb}I2=9!t=GLeX@vpUQ`f+@Ls&_tcaXD1lDwvA8OI;{1HT213KMT&fp>P!g3t-%;u
z+0!}Jfh`NfXhW%>-xr|zhLTevkLNOoPcEujzZB7I&7f=Iiguk!$*Mgwx%Mo1WMU<j
zyp?@h^<3$&PeQ+oSP$KWN-l3eAlv*UfR(Mk?tpi?iQO-j8a?(idG!&E><?Hf*qo5E
z6BrhF|L@dhX8Ih47YrP|NNW(AgHV5<>@(K8<jf8;t<uBET5*U|+cs_{lOYHu`}H)?
z4-eH?PU@&8oJ7;p9G~c8s-=*2q-0kf)4HCzNH$3@Xidz&nD32WaRgdg2_a1<qfO;g
znpcp3V+0qY0$S5Y3Z${Rqf^0wt-HBYtP~jgzbPLNQ4JwrEit8qSQF`4-crE3jGgA{
z1;}!<#R275wY1C#ENl_v6)2$r);Ehr0D<BL3$B#O>f#j5o^&7kvvf&<k(^$6H7!Pc
zPqZXiO;skfPAR<Z-#F1z52dc<VSaLjk%@NN;o(DTNCst0m?=0itWh|;r5020o-Ela
zV0lAh6{jiN-X(oZZ@h^WnXx>>g)V3}HxHrkf*j!#&bn{?Pbk)YM`Fz=mZ=%GhsC5i
zCpZPjT`a#2=Z7?8q78%RpB#$yk1Zdph0Jw>zJ*qug^b8V)O=F|O&o*f!3D2UZ5;Gf
z{jL%`UEfI}AQ;iIA@*kU_>yEEpXt@*=<TcOJq7@3|Eqih!$^Tu)8xpT#?Nf2h8Y)_
z@pdHD25GOlNL~1Z7)Y$GJqZTRNzi(F&}J+eJ8b!5I%$%dhxC2PRyCo!LKY{Q^`~(c
zP0Pnomes=U(duHutP~AMPFBsJ5hNJtzKIjiyn0z6{CK)@U6-^;c(On;`5?so?)1*8
zW;#~gPZN9%WihHR=m_@h36wk<=+t_l#U^?vCP)WTrfFB!^y!O{S52wC!P+{zuph56
zRm%ol|KgmZYvGLz*xbG_Gy+v`yaZNs6*uq7tn!Wo*m@IK8{5nUnc^5>t;Z&8$$CQ{
zEf|SbvO1WSrro|?@XNVf8C1@D$%xiP2SDy6ZYqMl84({}&F(E>s2{}AVsNGG$pFXx
ze2{HbA_7!seh5spp`H#k*VV3gxUvenXVRH9k>g6^cgP6h7u7~{5kfQz__eJ#g#DRR
zrh?ZdNq{W-Jr`6}W%OT(cI~}^&2b3MT8!{_k+G^%X&rAH8@c2Y6)4@lh1fQ;WoV4f
zG9GK=p^bX!1xAuJia^GEXv7>#KuSpZ;(u#@xge0iBlqk}<~~m{rsrWO51h=%7G>pN
zq(L>WwzbUhK_7Z9E=P)h>s8fp&hV+TX9*gSqm0KB<!zgR51@T8!62Blt$^Ql!mgH5
zrULtYabi?oMxXv5<07(EpCk1nY-&2}^Rf2cs@_Y$k3CW^TA6$L!j+hv2-$r@H%H~Z
z76#WJ<A4)|HDmDN@qyt|YN8sRvmiyD()wiLvX*k9BIdJSA-Tq2$tBt(rt~r}c9tD}
zX=c^?>o!%gG`e;x=}H`rO;n8>VSNxIJR1X}CfUWylx%4*Fq>k0k{d6C_qavcX>F(;
zBC!SI<ED+|?lZKVaFlodoPKu5L?s+X@h?v=hFRYGeWXU{T9vGkpo=E;<b?IVwz39N
zmMQyj$~<(l(8WOyg8$btH*>lgU?C*D-8AAeGY%YFM+&?%>!;96hq!G@CI^pH6cG$+
zxf+nOEEo01bZf@Wpcx!+HC3sK7C$vmr)fCTJ$!rt7><DV6IwptC3k<wSu3Sr9(dea
z>zA4M97&yTx{WBase0c<ou+Wz<4zs=P}iRUs0~ux_yKLVdS5W#;F_Z{aS0ZRBOOV`
zT0NX#;AAc(Nk80B=qUR?>v)e>nDcP6CGRn}$7pKD5$6IP^CfIYl4QcVu_&N+uvfBg
zf8d4;Ts#OVmQ2wLt#qA-I?5;3l&iqkCUq+MiF)Of7W2h8q;P8%@oi0225E$NEW=$F
z&;f(%r`mz*UdP<sk&EH);w5ssEiN!5&&cy+^%l1Y20??6&P3dTz$)-dGHTHq5l`tO
z0uRA9p~P6CO{5*C$?*tVjUgPpLy?leys2Tu2dJ@$zo2XNvLM$O+?7=sOicqH#`>pI
z%N}v!#4m6Btc>+l@VrKh4mAg3j?DoyoHcjWr@gW#npF#dmFPE-l-l4GR*Nt2E25<=
z0L@sbxuhSEFc6K{H}M+;zNrg3P|#3QNLW5rU{xSTb)t$7m$X3d%VE}b@@J%@HesCc
zq~phCw(gsdPVkmyo?$>Q3mJZ65^d}&_V;}Lectsp9-G_!c53hU0(u@V?oGjy`GxIC
zNd>J9dX8Im+5EH#ez^^`d9+_7D|8rG&mZhi&YxBtbI*K!!v^O*)*oq%l<#PnAdY62
zTr8%xb@1?qa+-9VUVdu*=T64N6;fa26<~wiqYL9Gbc-JOV+mDnVeTMa2;YGtpgJAr
ztDI0He<T<ZIYl^vv73984X$}inSa_5PmSZhc0WDj1-4N30bYpq0X+Ov%K1sQAIy%L
zrv))4$<}F6q(eS`c1otZ>!u8rUom?_Ow{$YTG<6(VP5|(ZY94Y+k5jmy*;y8F?5R#
zdHSP{^fh(a1wo-Dzw2nDY#$OxPSeBf&?=2f;r)A5+MO>GYsG!%Nnyi7RV|*^DxmDS
z3-;X5*y75sJML2b(s-$l9gg(RVwRw+SURF3Tjlq&e<WIVu8T^+TsusTF@BqD?^-(A
z-N~lCi{7zzFw^ft6WO7<6*KxsagOFY%;}%yEOEV(bTjW|-g%+=vJmS5EMPIXi>Y4e
z|4w2o-<=%_DDQAdCF1?cD1m19{*Gl?%qRbc#u5h1fJ7nBG4+oDe$~75I_EzHiBT%g
z{|Gc1ejM?irz3!A2bRU?Zat^p!>NfDlehdQ(I-6>7ww-(@U9Hmq2<*7;ra|^Y__^V
zbt$H-Y+!pk)B_N@mGK2Zat5rYU@+wj!Uw{}$$z|~RNF-p|22oq1vjhSB@h(C%T%DZ
z=l&OjtgVb|+z~hkuuB!9wRis{P)<kFIR29`v4SQ2&xG$$+SXM6VRaZAxV5K^w<Ask
zZqdooY1^$%_H}IYnHu7cq|LRDPX=z`^UOTl{pf7}MF^_o>b7G5hPmTpLUrHz1=11y
z=`ckBO@Utq%6swK1i<>VGD25%N&7%t8qs;;>D8cCNNRa?8F$-Q8fyrZt7Sld?Y|!3
zqG^R|U`Oau&FH~dPTx5f1D~gt-SsvXoZ#x~n9(*J{oa_~w$G;o&KNaItBr(mPkeTk
z8#PU@Rh<;^9kI0kU~JTB<m(#$gZU=P=^h3{U<u<>&dyUqjGQ0#ogJ!675~|g?n-G{
zf^A#7(9$=m2CHKO3)82VeZpovieG1OjuwnAv>Iui)R1h}(=3&!p)Z}|fd3x~mEFd;
zv=qf;fPHci^wMQo%5LB$owQqye_An-a&NQL-qVuQo!bl&Sd`IPUFxvwyC{0uDuVe&
zS-zqm@F+7ic8mF#QZV&N1eW1^gE2iw&N4EV;E(0M4%Cm|Q6c|<C2pj2@PA>QdyiJi
z9Q~R1H0|9SHO&$>IWQPF4<(@u_irtSRW2&$LME)zSD6Q)I#p9Jo0Wod-DIG_#PAik
zJjfY=oAijz=1aIm|7o1(b5?GCACx`EPVHNn;4d$o50(=FQW>%P1;l#y%AUU|;~#*m
zc0eraKVITAu9kO=VBYj<rxM41eJ2_;taGtHgUOJU>q1igDOdiTVs-CEM|@ma2N={o
zc75;qXA*KA2}l)8#DUPIj&J4`StXlUG<2R!6FSL}TV$)ecR$uYz!~r9M(qjXSIysO
zUmMD5n~mSCPK>P@4II$?4ArelY-UQw)MWXz0P4J|p|_Q>>{?O*H}^+wqI|nn-kS?O
z862L!L^!|*8+)mP@@pkS_Q~O%Y+j76S~;*j)$Dn;t&7~Yg<#wqm2~QA`C#*&dnx6s
zB`xV|y|N4M153;C+ICMCRZ!)X2oBd4cpgv+-C~fxAQ(rS@Gk8G>*X;+vHsV0)c1O{
z_`NTfw+-mK(2+|2tmmn*&JgPURS2P5HD~|&&?~DygdMB~$a=IuNLz5}eK2YmB_Nw8
z1a=|gH<y`V=0Acz1cJ#&z1QFrp>A&)R5=VF`wph<X|55S{6~9GS-=a6YzZci`XyBD
zyb=fYF1*l7ITI?J-LIU#;yKkjR~X!^=7;c4e<b98r;4!sGc~y*{2r`MbJhmom-mx~
zogzm^pUB_g<+uMF9e9FsT-n!TX^$sb;{766h4IJ*ioDC4@VawEp_&7Sm()dd@jp&j
z%Y5St$FO|fY=*6};W*;?@jeLSDn%z<IFjA(dM&yEX!!S^6H+T><<1)MV4=kiOsrei
z6}f?1^r&~|leJAV4TSGr`K(ESUw41+L8FE(m)jSG3BE);^<EEz2Jcc!w+AA_61iDG
zdX`@6LYK~Q;GVvChc8Q=x&6`aq0ZX2hVab1D@f#hWu3|sdk<BK3m4P5=0DnGrYH7r
z0?TJL&yH~d!~%Km(s!x><mkgVigyDLwCO!jc;6$$?Dq5+yfy}}Kn(Jy+Dxtp{7M&{
zb2m*?YV5hhA@t8$o*Hmm?I<kOu+LEKLQJJ~SuJZ`sR`{=3&ZyQ*WH>E3;GQATY`dz
z)hW;R#PFBu(yv_IG|%N!Z<)CSFN+CplfK*CYEIcW@+=X&93z42XP2-K4gSyL<z<uA
z{`a88w}`Fw;d4KOfmJooRFW>tR3(-kP|)u__w!5nmfzd>z5eU%p8MM~=)Sw&f6yp>
zZZsZMdM4nP7X6j@TZ8XC&FhAHx8Sohw$>kLYNj{v3uuu1!?*|ywQn4+uTQzCZw)nv
zp>PPzhRz(~8rlG=8xp^J)UB6`-1W~@uYT_R{Nun76=5evC+oN8@!!)sr9LnGoF`g|
zu|!ZkvE6T%N9V6jpyCRs#y2WNqK_3)H6s9p3H{gp-~AUWI_^J#By%vW-mVqhe6O#u
z{;yXX=Q#MoBU5vQIYS1B5Vli|H}3u~fxpqq<KjcDUHjSXr*3zzA)*Q&JtXklc?gy7
zjAKCP%8D<qgj{b9j6!RaB=~Q{auVfLfb2T!^EbcJQH^fS;E2m~$CkRjUr|snJ)d75
z!q5FyF8urNHvB)ELHc){I(c-xoJQ!f)q<{oQCB8k@0-1`2UV_*a+^rpfUnQj<_#uK
zt0W8|gVdw>SB`Fo^Ne-;Q~L&E?zn36Axiwut%UKY$K|<Z$p^J@`2w1NcHW9DOCvh$
z9g=C+-)Z}#_m(l5)HJr1GNve8rWxib!^5_L>TRMG(ewYOz4w5pI{N>|uOxeiWOO4W
zau?U$6j>ResO*uwWkrLOl})0uwXB3xM)r&{QbP6~2@QVdeW@sq@6Ufd9>4$R<JQ~z
zeb4*6-{*B+=XGAM=XsrTU&lm~xBsGE;nA{h6m8CV%1!TSvZu=A6U}Z9I&czdI%9ep
znuIFZ@6?r9;r%!sKa?=&z)N_{T;&?iVgJKF*jcG5ZR}?cMdWL6ktXV#F1Gq=zvvY^
z)U89Y+8mG<J^09!amZV%;s~~}@W7>&pTn!)J`N-7c=q(5Zthx1ti6A8zRlY6@x4#k
zyInX(@si8Mnja5a)>$4qfRN)2eQtNOgv#c_jmfv&F<RNW4jFpxd(*VcLL5aupS$$^
zyX4Q&#nqpm336=ItuL2*)fBZ`_Ismlc6qd$d_g_we=d8eJ8*H3spD-rbAvdUr+vKp
z`In~ZKi@|;1eH<zwC3tz$b<WQp!fH4)+KE#`92psKBr01`B*IHHfK+a-RamQBV;n)
z#0l~7mtLPezD4?3+MnfZd;NXxDCroVtkKk&Sg*De@RU*?-<~V4k1$7C4tXy}Kb^69
z#>si3abKcqt2b)Av-)Fv?8kS@LMjD_PlX8*g9aMyWSGvTV#KHHM0D!ChXJ=TweHNf
zIe)Joo?InbU73ub<m@&m`;neGY+3w5_hI#t0bal}*NJY|+*|Tux5|w@#Ms(`jJ(un
z$uF(0u3)_u2Lqh;9JJ2tz^dex^<FtPK^EH(L2>Pl(Ur3Iwq1<7-L+oE+&AxB8h@HP
z^TUd>LAg>T&kCs<TEpgodP7XMGOT-<BXgL+-D`RDmAAoL$yE`1wG;Q`F*%8sCYx9G
zi?XMkD%;nhIkw!<H}GV+>M8=}jm{fg?wFl;!lR$d>^Ne!Uwl>M&QAgTp`hA`IWfPb
zj^&9beM<Qg#t!oz`p(CEew9|8==4dvxDNgGshNO-&yS1Wf6h_5VV<MtNiS%&5nOVa
zc<xbK-u&cLtojS%<C+n>)2imI5;R+t3+wUf-H0wY&QOL*j<BxG+Wo{|r8JYTcK29e
zX^#GCwmQZ2qlTDW`CG4Q=i9pD*cI-@@Wxq3(ataB)u_SDryRGJP`7(8R<)Mr)oWX~
z2J#>5r!=-|zLjSXp)X_@fu9tXGCXrOyR7L_`5x_y#<_32DUNoQ3W^!Fi5#$w9F{wm
z?e|r}?8>>J<;+WuIjgO+9nxsAGq*1+E)=C4?R0l*?L(Qqyl}nQ#icSWX=KmiLssW2
z+G99;$~X%#SbJ-$%PgmKZj|-bADCBo*!~gqRx&>3(VeG6=Z@lk9S@kNS*Z#1p(VpC
zN%vJ;?DCX|;OsbxmYpP=&+Rz(jrevvV@IMyd<+YVdwWLWzL2TJ`Eb=}qf(E|zLbdU
z2T0!%vGf5?ihT-P%=gV}+}xY0+?YwKT8RTDde0SnOSnEQJdh_ZX#C)HJ9U!NjIXTl
z=awUGk5&?VriBdxzQy8W#cX4ih39)5dS@4i1Hu@sd5?$ACw(V+zBtfqIA?q<qj?$Y
z)Qj<pP$$j{UqsIezw2@G9llh4@8TK7N#S}k3TppPwT>j8L$uF$sAl6+jG8D^q?#u@
z@N9bI#_afrt1W8|)|r|ctGzG9{HAuJbFo1<vl<WQVG%3&)ajURqcf>3A8UOd-l4Dv
zylF{5(PtusRTC`yQkl;dK&w)qU{^9!nZGN*5uK&iA1F0{(=uv=Ji-33Sd_(r#hILa
zZxnUP-QN!g^|_yMxFylo!lGv0LSEfA#>C4y68Fa467}eAa^9)p^ir6}vsi5dulA@B
zZvT>~%KR~8s%kOKceX2U%Z<*I`8#smlnqd#@v^vSDNn)GRwsIXA8|DOd{(s=7H&{C
zNdDdIyfW|0A<<FtX>_Qo;c@2XhvzN`#eEz(k;rHMD)!8aW0&gg&&M*g&AZz!#5ZYk
zH@8yk+dFIF=<>C#>l0z(*JQlvyqnmTTDHN{7ujc@R`z|l{OKlrVovWJJIg6|pIh?c
zr%lAH7z~EFt7&=diAAl5lwKGJlU8GbqRYBO`c6NuQnw1wB;$2FY|b0rO=8wR%WOPQ
z7I%C2^x4CEl%G}zb1oL8lluwwJZP?VBIBJKEj0M*`4GF}9zuLGPt{cVfp4a}SanUm
z_55rDCiL-jkf}ghw7Xh7qGEXe_cCVEQdLT<u2k@Ysaa-H@dej*mWDElq-w;FZoqA?
zc9z;%tYl0j^SD4l*GMAWcQLQ1N@n((c?<sBb#LM(-9zMu4N8-84wF637<CWvyC!L;
zVC;3=38F+sj7g`V@2nLM^d(oaOIf_$-6;P1XJPuBTX!Z$5?vI}PA-6F<Pqj$CgE0O
zSrD1`6IH0RLxLL@KsNjXeRpz3E;_v#z9LM|Avs<934_OfrZ;qWUr@DnGyOU3BO$1_
zAfGHr`U6hQqZMZ;tDS;)RnxiW*^Nc*s-1Xq_bp}aCD%TqWQnSlS(yF8OW(w=3>-Uq
z5=uR?REH>=jv`dCY_ubZ<SN?6lsUX1*iyDTUx}O+u<c^PiN-DIk~TzM7lP_5`}XKY
zdSTmcJMm^e6Z#0d=~`@pim@?P=$r+-pe5YJgd!7QC1-9xrA3I`9vV@mch+aNC%Tz8
zm~`<RPq7iIy0pLH)?6^2PiF%?V8;8d!ZB9u{mf~V%r}oFuwXByNk8J|r4TM<OJou9
zocR85u2^UgcGJ1o)mX|#%tXH-XP`-ix2hzDm0_3}CGR#wTvpJer)=raf=9n>twz~U
z-DOF{(wrkF`Xz`!%zDJp;jQ1EL{{&6f`%Cm3d~KYpdycgbizITi&`NRqAhBJ4G)Qw
zdE?@mzuSkD4f(}5yE;{NS7|X+vy}HwBr5QU#UW<Foi?6PEs~zXw3k9NRP^aO_9b(s
zU*jr-kI|byw+s^<o}fR@8fR{0E?%xQO}04e9%9-tw=e$FK7o~V$%mioB^zf4KQ%bH
znBiO9ElUV{kW%WkpJfQ~pqlGr*y@+i(DN@>=fZU7sz-^HNtu{$bS%^g=8ETucvZ@@
ze(t#Q)wn>k{(#Sq<?8b*^^2>^pJp)U!8gj#^D9eji=hBY*a4(g?>cnK@TK6$%((YR
zz^Ct&YAZ|q)1SUlCNNU4PQ*&~YR$j;xiY^fxpM6T2+M>Bef48y(wcGrL-@G!6WfyA
ztJTra^6yM0RTk4<n$N}fuhJT=uFPNhS@&aF@+al3B0qH~Ue|hrsP)KQxX4jZh$)ni
zFjnwaJTDX!QENMar_chzo1#vMYbZKaAjzJ8r}NqcrehV;xrSFec71spLuGseMwI4u
zv#x8&lIOI~KsBGJ65BH`LYs*1H?jy*Y%e!(RCDNDKV3I`B1|_wGEO%slcKI!Amh|h
zxmts=a=;;Kr5Z)?8`(bR2p8}AyhxeXGx?Ehe5F+{T$$j`{;8<s$j)r7r2PY|{2wE=
zlj2-W33-DBO;R~szAdzUCR9SEB52-7Uw@r6;26M5%1t=y`nX5RUFSLcohA>Zs9b#L
ztsV`62f`RUrDJUr>;^XNvG7y7O60AG^6C5MuBq~{NeBx%BUMf%UaQI0=+pIVwjgIH
z_AhC*_Xu}bT|Q94)6+41;QhRr$rc>m7#!_?3gU&vpf~YSKwZ?407W$JO>!2F8L~?<
z$2>VP_32o4gqa~8G4Zf?=k?by`&wBBZ`hr_W5(#ib+csYG<QM?gSwxVyzart-qTGN
z{L7r!HG3U7CF&cv+Kj4qWd#Z~g(R3EiBQ4g7Q!rM@r2?BI|$irC;016ky*ab%j#G>
zv!W@#TvL2|u$}w%nM}PeLE?e+P2-tICrOh-`qSX8eZ~Qc@bj+|D&@Ia8+|Z?+2Q=V
z(+OtSQITU^eFEjLn}c?%b+wIpNBVb2SQNi>LyXikUR55XuT!Xuh^mT3X}zLuJhbpr
zvL#RAQan=Y_!bP?Zqzfu&9bM`_?)~HPPV%xky~t6@2Z4)R`w+(CN>#k$x&62G77p6
z{n`60+zQXkrmDw!kHyi1pL7zJ)5UOzTunLutsYqs+gVdE{Y-m`p@)f?@n5pg8-vRI
zPwgluu(=t7bEr#^MEIU*2D|I=XusB`mVbXnykwEWz+5vhRF;_QoUJlU_+>anWnM--
zEDPD<Z07A?F+ibB!Enyv#FHB%&C=6^abpbeTadIdP~ZPV5*qcFXq^<Mz()~H{JgO&
zb?Ax>a=PpA*_BWJc&WOmGehM*EVR`#;RNS*eY){1h>pqZ#<XtMwYL=3EE#+W58VCr
z%ifUY1m2-fsK*KhzNIr!kh3(=vmK$ift61mm{xI85*+-RqS$70hB4NI(b07`wQQ{c
z@r7b~72SMsx>e0YksFKN)f7C=ANtxN4lIaQm`emGy{P<}(G@6HjHn4~i&r96;qQ9$
zq-JlE7&axW2`;Unf7!}3Y;rUv8J`A;dd4f|s&hYq!?L<{6_Yr-jEC2)nYjgXpqPc*
z(qU-9O${a=rWAsIkV<wjq5SyW75l`H+_4XrMEOMCSZ8w_?!Xk`(|XR<C`a0sm=uaO
z&?WUTBAu2_#9F^r9#Pe2k9@qhPb-Niq`s$Q^lqT1TvKu)!RdER<QMSF!-p<UUgjGP
zq7!VYeROQF@k??C)k{ma105FwzAAj~snB}aB>b-F`3)jV($nwqUxr!lt);M%JfhOw
zR8N)DYrS84gt>?4xsDr`(mtP8b4U(aNy?Ak)V<CMCXeqm=hES{YQ8w4IC_4eE}62@
zfqR4@XR_hY;`wyV@Jvll^J&YU>4nwbDZ^~Fg}2}p6rOQAyux6FHt|Y8Ln&NOnyCAg
z=E$zc7gicCCd9uRSm`F3czD;3o+gZ5sOGg2nR>8e<$;TrXGQ#8jSpJ>km$Mg_HsJg
z&(f!sOw-lz0_xfPM%)b&Uw<AxSgrZ_6V*tO0<D<|+7Zrp{rgjiOYOIng@5cxv2^-&
zSkZ&(Xy?cMu3o3Zq+28QM^6j{xE#$cCQ^xIvSMQteu@@ou1@SjC+=gHe#Z+}Oe$2P
z3sS(aikct27}n>W#end65!`_e&5SukfG!{&G7ya;PCv{>_3G}SqQK`CV~0b`s^Yt^
z`G>PDeiTng_)`2TL5|=YaUX9xO$eh$9hys&{KVZ0gS%r5Uwpmh5RW}ksM$7oHs{GF
zb56q#L)m#6X!0fpd&KPq>O-C%QHHdv0kMly)IqOHmd{#K>lZZ?akhp2Jp5kaz}}8w
zeU-RJhx-m>4FuA4EUo_NX>OJb6ZFp6qG_Ngn%ij_q0KFGG&qMGsGZ%OYGp*dgh7je
z8kOIlm35L|5_!Q&$<ArdDwz6)OT3j?{y|{#{U>FyZ`o>Fo;bbcFy#nxEGmDVs!mKG
zjV1oE@9_v`wJNTNXBq$qCc`c0gF<<3hdvCFf0O8lhl_>-s37Zk=Q2Z0&{D*}ya`v-
z;>x51x>nm)F%Whb;S!gdCI+|UBwl^f*JmU;=+>Fo*iiaZ4nbSb-F%Pd^#}Ro+_>Q4
zT#?GG3gjKVFBu6p{Z%63hmR;RJ|j)6cp5ky?fsfkkUxXaC0MDP{Np=|(<F`dE~}z1
zj(52Uh%wyO8hgtS%Aig+w0uzQe!%F7elM}Z2lYLX$LMJWG~Y;t<mo?}J16s%;@SS(
za_I|-!+Bg{oh}|~e6|dYRFoz~T1%?x6O%2NmlG$5#c2xqbf>&U<8wy$-xiwinLgHD
z7xdWTpihks*Eom42Te|S8WYt5UE7=Q5~uDRPIK~iVuX)%-SF2KGSYc)iA>av7tzIA
z6WKtDK9;VMDCAz_6CD5LV$`tvPdw{+C($h!4+TNp4&%|7zx12BqT}v^WX~6QzW8O9
z^UNfwHfGMRTJd5ORp||^P?mmvN8JMtwwE^eA&R_IM)<u1(cLp5U99$Mg?t}k>Mxs@
zN0;ho#kjpdob6KZb_>YzF*EVZQ)mo}iV|6n;pgl;NG;9|8j;uON(%QQjlq|P^?dop
zq6$<+gTwE#@9ndTWbYfLJK?Hgz5l^mk-PVZ>I?X;i^Lte?`r69VK(|8Tat^hK=sm1
zRW{e^&npj+<LZaPTg?eSI&dbdM4!bMF1nbNt$jrJy2QCRRaeKHv;2%pItsqfTJ{!w
zJ>N$t;k_EV?^{uiWYv^D+ZJ5gF0vIwZIV_@0sl$l$!w%%ivT}X3z^HWjTFS3R6q^v
zBJtBL(nsbnBkLPzUW53rvPPrvj54OTbm5;J3k~)Rmp0V*oxq39=F_upLC$u;A$D^c
zu9L&BvqlaUslHCmWt3AHZ?-iBgEGri(>+G}7~|nN4Zc-=9DQVAjKcP9j)kqTrYm%9
zTadC{*oDR*H?c-QUC|bF<dSi^c|TY`->YhAwaL{dEUm-_1{O*Qjnqs`)b4?0&C&x^
zdhJ2+OSfy!&OR5TV<moenM-~5Ie*VCVm`ZlF+YVGyk^dw5suiehK4hAeVLJ~F^G{G
zDV^B=*6_9^*Ej#G%^?Z`Os7@PE43&+pgOG9<&#c&BLC4?^JE@h{-l+fP}gK8SCkq&
zQ7?B_Ot6kJy)ok#xk0|lFVb0g*AlPJ-S?u%UCua2bM}6MAJ-njWGT_?;ew<<oojbp
zT#^cc@9pPiQCr3G3n;P;&~hYnwHE3vtt5K>{DGgQrJ3|Ey8sim*Zr{AP29p@^MN2C
z1)-MXKZQi2PlBky>Ohdt{QQI%ry_&P!UoZScwvS_hsyQ?0XpMUDgw_v`AAsb5~d<V
zy|4u(+eU$Z0UZG~(Omq4WaGlu_`(>2Yz&(7;<ONpc1b3=<TNV^b6@0+bDkTjA$r&~
zTR_ivopFg?bM}e&WX07n@xlP2!G4)o!$S!I<At}=KUcmwJBVp7drtn+D4Jn+0WxAC
zsxq$LwM=(EmxF39lW~Wfwei{U(Y@`|%7^g}-kC&l)G*U=d*>zx35%!>1P&WzRr0->
zHuNq_L)|ZD)*(=9F*zA6KFxWTh2hJmcfp?&`EQ=vg}!BAc<0bi(`nVEcUH%%)o-$)
zxKbDg(A2F7kBvy~5m$<ck{qEUh#7OL`zWz$aaK=d3tnv-6!LFI@$x612g{<!#>EL3
zhzx%6dM3IlM0LLsKXJ_d+QBoD;b&-Kua_#3<wV-`A3r87PWp=BT0iD>Gs89MrmHDZ
z2@8x=aqj-_kJ*m6+BcO{V1k5qF;t$hPiu?&s^2+~K*&YaWD_|XBvY)YMdzTE<e)s8
zmD?QL;g|Z<I<M{4#KGXJN{SquF+Q3{R`a>_j*PsQr_ELv@QYC4@8gw}4L54I8>zmC
zd>Zn_A@|mCmzLVD1mUA`T~q0k%3hSZoN?-d+;@i25?q<{`l{Yjc`R=R?x&vmp768h
zR`eX()9!okMs+yU<AUF%hZTyg1|`j|;D_8jjSKF**;#<uHcS-WJl+u3P_hL>+3sfU
zLaEdl701NPo~e(Q^lmq3WsxB83s8|UWSJb2W8v2^%03H@XZzLXURYl+A38Y2hfQ13
zbv$3}-|6@!-Y7?nxfW5AucdoW`(v`~?6t$Rl(3_{egu6lnOA2SGRiu#uQ^tDn(Q(-
z@zz$VO7;z-!f9!0!|%7~Mp8~bvF@8b4A*)4@Y+3RqwD0+Fz%NR$OB_Dy6y&CjSA0V
zX`Ky9nb9jd8)$e^Pp^BoyIBiWSI@0rYRu#tMu*eXR+8eQ$?E8*>Wq{s=3cWO(Hiq_
zz-wD;KGw;aH_LDt92!!L9kyrhOYD{=MSXF260K&v7|X4FYlc9y4iEpu&z|t$X3t*U
zApPzMWv-bwmg&s2k6yAG{k$S+t#n(znkPVhZ$`;sBA*UvS_d!P%0-i8Ik$Ygc6Qo#
z793P$H04c`$T|0_i(Nf*`9ojiERy9|--b|&AI_~DOrXn7|M9RfhdGgw)6*_LG_s)~
z<0{=-SC5Q>W@DDOZi(N&{lMdc-P>YJi`g!?M1iK?7+qW?RGOv&3~Hx+t|j{B;LRsG
zdz@IgbTkY*MKBrUd&?h5BxXc5j^rru_}+IaMado;vdqCKFGh5M^aFzy!Exgoca}Oo
z-kV76AKj~RbDY|#EkDIsQ2mI_i#s(-rQS(B2Tm0nx^tOTZ|o}Hn?rN*yPP_;kj-ON
zN=l*WlU+Rr%p@=!TXgR2LQ!C)H`hk}xs4p?+@JR9_rk`lE+&#{oc(GiTT2vH4!?)s
zPUoQiTBStRN2o{na^Th}*-NaFs0j?Oc<sPj$)TcJt-UYlvTnzoWH9RcX|cP6-WkEh
zQ%CqI)RfGrX|Xq%D#n15-{7I0A}7PU5{yZC;JuIv>DyZS+*J1RKBjBL)J$p%=8ELO
zt=&0j`>SAbySo^|8V!<za-za29a%F-!U@h8bc`~o-@MEd*-q?yzx{P_L+^v(udaf!
zh`HX3Vs~${ai#3?kyKA!ug5Y68onrtx+${1m`S6hHlrlah`Vzu3PfD=ekQe=WXiMj
zy|#J&Cn?=w{UclOZ@Y+6cryS{36`cQg#%$IVN*LP*RtyD(Ykv6!CQ(KrK-CE>E$nf
z5xAg)oGL`qS)JsLjf^Qhh14f~KXt!u1+A!j$G^?<8UB^rS%)jFir>FFc)%X~^w{%}
zvXz-lcMA%)i{Abor^;(6IaVTxx`+4b17Di?=lK#<ozb7qqU=RJihUs?B1VgwDx`hD
zMw?t6V4h3WF}eOOEa_N?+-s^&-1kZ!&lQzKzt*p@4LmV>k3}*jRS@0yxFze^@pSCX
zV*)(v!*JQF9@--fQ|jF&72~c4M@2O01MGQMWeIX4UFx_aciTvR>SQ0WqZgz8uqSWG
zF|SD3cHz~O9%*8Sh+d8jp%ihnQ;)$O*y{@7_psL=-uKXRA3kuZ_=X}_EU3>Vda|G;
z%eh3*myvLvut7!mBZ>|SJ6MGT<(K=%D!<a*&ESQvG<BJk^`L4Mvbl!#sERv?RNk^z
z6sp=Kb>mV0-r`x7&VB^L<LmJ=#4aMHDkbHK@B6D|B8a9n9CppHG1;DFk$-BfHcXr^
zc_bWTl*0P@4e_nF;Z4+gWA-ex?EhXE$oM4q^-$u=kCNrWN#oxc=nJp(ZqYQ`MY1UD
zW>q2|R^+l9MJDTX%8$m~S7eM)@_63QbW+Qb9;t8cSKY6R6IVE%t-SVzT(YO2fxjdK
z{ULb4v}!3MM@qGYa3343PO{>{<PD70Xx}@d$I18g5h83f4dI_3NU?i~<W|e-b;tRL
zJh?P+aGG}Y$dO@NLp;8$DXC?R1G8^KyVS?x?}Z-Wv0}aO{uR-4w#Wi+eO1$hVo$>S
za&r&?-y1(;Sj2aWx^5RLV>ge<G3aN|Ac7x{#-E;(WXNm}3Aew#)XU7kA{jmg1+v$5
zczI;L`5XzCuj|S1OGjSTrAjs9G^0`!!e@)w1FOxa8~m3R{_WyWq0Ivt@rLJgzDOd1
z775J~Y8fxziO)H$KlRGwm<qk#;j<iMd`oW25|IB;$t}Wr%;RZbN{w%;<^}!zszDi+
z-kIJPdY>~5DZLAnY-}FJ52$9e+Jdm{!qUHx)|O0)rqbqPQ066U*!3pbo`fxN4=l->
z?CBPTZX4eT{DtpsDTU+1iR2a&FSGmp7!Zq#KjpYO$senXb&bjRdG!Q)8V&F8-iyee
zHFJ$71*1=yAKVGvb%Skh!@!X*x_<BOaQ8Pnm3z97gLeEd%5tTjeE4yKR&Jqsl}MHd
zolx3v-M6f%ABDViFWCdo1lH}s6j=Mg0>dEM<VJ0`fbVi)=@FU9{jOowOIISQUe>*%
zD^$gPALH0Zc-iM3vGSbCT^E0;&qLfEj>KPQ9iGoiWj`w+PO&B$sG$m?kbbWE_>#l;
zkDgVLiaW#a$#g>8W<`~)o_|K5YHt+z%1`ZmJ1@@gXq=2?x;D<(vCUg{SU<b|qjXyH
zj|1b2lqYYPUEhL_+eLaP>}Ih7&QqESI2mxB${e3LzQ-%kx%kBNt49Y_@_f^Cr1rRR
z?aq8kK>LOOVWU(`DxpW*ROLQ`wH2Tl*zMx0o$}ctQp3Bb(lW|<)&lFqL;8r8#f-uu
zGMVu%l?YwW<oyB1w5g`$<Ms>Z7mnvlB{aS+H5sJ1YPP^V<#n4y{p?4RORdJX?N*oQ
zzGh|TKTI9G+TC;(b9eVtCiCP^f=nlot6S7`yATKiCIB`<AOZE~4wXo<aRCB`nLA5S
z{Gm=y>bhT%ONr7M?%yqyRbq0YNPjH+RBrje@qn?tD$5cEX+J0y!ak3%b{#C%Y>)Qb
zM^yh>EHy+|CEBx)zz;#D5?FL?evxQ|XHPPc)~~qolcZGMA*7}KjAoeCqccW<6k@#e
zx_LYekM?tG)tvGY#TF3~I6CCDq%+6wefHt<jOlfg;}>$C)SGh8JzpT+ca?7Fy4v2r
zYr}pNW^A)u_(q;zyNq;n5LwiW?TP_}8oOJqZE2AF^0{MIm^yW;1tisuca_yjzq(Pj
zgcXWIC|*2IaE~gKVTGc(t0pI0_R!ur@292L*{yx4@2O3)Q-SS$<QJ#nG$c4r-I#_Q
zJIL&vrGqYExYc#Rzj2lEY}XNzJ*Q3|NIGWEc|}oZ-Xxi%P2*|XtM4B^&l4IOdu*Xp
zfg0G}fEtbZ%aM5UIkha9Cle<i9cc2J6l|_ftzWS@l#n8Wm7$4@SFVi=5UC4)$gRdA
zp=1<L5-@0Mg5@|OkBG?TSZpDg^$r}`yZG^4be=4KjD@fdDdtEP6HA*CHs1aSZSma?
z6_{`2HqQ9k0jxQC@Rk&Vjsm!2HRV3CvN+nCY-A@?_N+c~T-5k5EzWFr|9YhJ%;V+3
zFZInwOH{=}<ceP`->`B>6CshaKXzg6hO=R1ZjEfpyWIlf_*PG0k9$0p1uc#{Gx|=@
z27cyGWtLrSFRUKN54fT6WeYjoE;tj~ET-~7U{(xCBnM4D`EZ&g9gfPo!~{R_!CtM{
zvrvQvt=VJfAFw--jMratc28Wgfk5Fgjo>>I$=SB&UHpbTG#@N15*|@=b#)MLtY_Sc
zuI)lHG-k6SMCGKCt=vJfZl@diy^4np;x);>J2kx0ol~JTdBlI;B?ZdS+*7RMnno^x
z6LYC5F?HyRbQyzc-K*+kyKGlmYNYd@1>G?kqG_)zKO{ED&(6fv!FwQ7RE^2(TGi{|
z&v*D34U*{b1oWaB{e*2q1f`0@_CL$Y>oGY=#x^F?NEpGFkp3p-x^QBK!3j6cr(sO`
z67TNeJDhnzQe=EH!tOQm>3gMyEy@n<=keMzYI9H5z!m)uHhCv|Mv??))LrDEE2oUO
zN4?<x?(UwbqHFgv2g84`yx)Z+C<t;HB|G7l1uOe>B;ETJ-l5>Lnp-sHcEJ+=<|)o~
z=Mg`WF#MRmRP?PtnHvWg6kx9#1}_s2`JUb*wg0{l;bYDK9&%XK2s!5#1#cI*paeD#
zkpN1AI+>i)DQRMwY@)H8>NjqynGDM(^6g+p1D<ebW*y*SOZ(7a@dbI2B1wfqo41p*
zAY#8G6TS2aRIIxy>Ou0edvO78#|tyE3SG>i+AQnqDlg4j=wKqm%LT@`W>iL&lEm^e
zNA&JKA&vBwdMb2B@g&OoiIHD&g6k!=gnhjdjK|}+*&U2*NhTH<VP-FN3adU7e8dyH
z_-`!*wu^}{e@(d`)esIjgd(f|N#bJw8=sp^WL19qebrg<6ahh&b-mbtV}%@t4{unv
zx>bM2F|)hnGfy5gT$@(tt`WIzRU@xo8(nTL$2)*}E%y5IboUY?>+-{f+C0K4MAsst
z_CzLey-d|jOn$|YkcuNUIR@iwS)T5iDHWNAIzQiBm8f)LxJ>_&-J%q+Jp6#&{bh>$
zdvUYwd_Br&%i~ddqpwU_Hq{R(jq~bMe_n<IH-M<j1s&h}NVlqsd?9EXQ#mU`^D8M;
zm0yQCLsNI39jP)+5!$sJccdKuM0|twefUbv=)rU}Rodgx6I{>K>D<O@_4A5K?kJ-5
z7Ugd=?rj<`k6UnyML%d1y%<fKsw%(4=vlCv{LbgGE~~g}$DRq7@o;!yT|FG<Uc{fK
ztj$zVpld58QBAJdtJE326n`VW^=<vkr<g^?ORIR8elNT&8fCk9@NdwJ!D>RD_gyq;
zY5pWb$D(ndS>k$BJppY!US0!lgC8$DX;?HfpDd{{(#FU-#lXyHkI88`3SQg_b6ldi
zwFNEPg^3uj5@wUp2jfW44ZwV-y<b!8EAK?-+zV5$9$n?)$v!G2!-qKCs^s&QqdT=?
zK<B_BM~;j{=wy6@M&%-X-rnY;PmVWJKRZgYTb)*X3C%^v_O|)$h={vkj0FA@DphWJ
zcfttRo+o|h-6K`6l!`K;d#EFB?Wa0a7O!+uMIlmL@dwY~LP`|Bvkxba)3T>y=H3g*
zwM2Aq-J(vy6drEYL$u<73b~Fi1hudCgz1D=n{#k7QhnsiQOPg;{2?m;YFw-g!H}-+
zJLkOOZ_LWNpR=#d9x<eUcSR*pAoHqOeu%M2h5KT;a^N-p3YwF*y`zY;VnW+K5VNNp
zS8<&z&(*_DACya8#_&d#RUbZt7oci<h@>^!m)cMGMfQysL!`p=rPodG#PgEbSa3Y|
z2)S0;l8~2bSk;l(F~346ujiS(MJsF@WNvN*oEG%0*elBi+aI}WVv84V7t^6If1%gV
zdU7x|COfUwM>EGLks0tVv2*3gI5J*ZW=Wb&bQVeUaDEQkQaSVHeudx)_T2;HDBc6b
z9va$|qhSFhb95&yk?OCnomOU%HEfEltBFQGW9lnVx$@9DO6$=TSFt^m1?i>_h<q|_
z499q9$;wZiE377$3{!gK_TtpbOEQ|sm@VqEU0C$D%R@jz`0+<6GTibZU)RQjVS-Gb
zsZaiq=SgJqwQt0S&_`J=n;txMG=lHdq@qnA)7)Y$Ng!>w4#)dcvRfyY#ja_+GOsUr
z*`7cRSBfHuhzPIdAYCDg>EUA@Hnx%sWp@+zFgO)-l?JbVFKx2bX_4m@@xedD((okv
zsU08dK4UhfQy?#PcuzMiJAbieKin)f`Uc5a?Lc}T>Djx-A9*k8YU#q?OfoCl2L+$J
z<?HJAUV%(FkN$ZE;@j!SSYqeNn`~3}OKB7v5{%A@e4~_b=FND8{apVf<is}x9xLVd
zZpn(44QvsQW901w?YzYcrRMqSE}d(HOKY|tw)ASrx?_Aep3(H08*@Ave>HPJ1Fcv9
zh9>fh_hFy&N}R=qZ%I;+-@A04H906@j~$-Vo1}sp_zbgMhEJFcuC-Ri4|q!*q4hBM
zw%W0Dapea-bAhkc7EQBVNQUO$><2iiE*y?8O;kTj=ON?NHl0&{YjJgyqz><jzbstj
zsKd!BHL7Typ1GP+`F+!I`^wzP?tQ9rVWJnNqEl$yr=^l{wuJQsp)0f5uK5%J-Ybmb
z_>#sXf*ua;%2i#HE{p=ZJv*$_%ub?t7#wO}6KJ}0*2Gn)r3H~r>Nk_u6j8UE?n}8H
zRTXrVUFD#L!o4xhOpJ8c?&JsR$-&H(KBM*QcMMOlUm*LguhiY)MBB8VUzGlVm~iTG
zorL<@N>U!epCyf@@>=^Jh*8nlzv`C#nJ_UR*wb2+SNUb>oKtQIl1_Ja=qXc}%F`u5
zME{cb=ketq_!+5s^jk1+yVw!+*KDjxm<ol=L8>c@3HKS0_vZ0K=PmSsJI{4yx&QJP
zrGv8R75FU2`;Q&>ZyIsWu0>IlkfJ%y1<xl1jUNgj9;34<E6x|4YUD+6@zSyzSVexg
zeSGgyUo5Hg<%ziphJA7=R<U*hNiGpSKF{0EzD;#mY-1-$s0leq#$->>*(Of$fu?CX
zp7WI!H{)%gNJ=e+Te)4t*D_L#Vl+=#1odl+Pv1N@xr|r#RrLE7b>1%Y6WBb3f)N0-
zh9_H|YPATUv8Rv%yK~7KmFYCdih3vXiD(ZcRS;+r8~UX<Q5|stQ@mO+lq_46y<PMt
zxVdbBpkGVaT8OZ^2GbEr^1warrHYSWp^Uj-c80w8GP}J?=8re*XN$PyV~m?F_c>&p
zS3n&T&tU)DQ>|8X-kzSu`(Jvn+r??9zm^?|he|{1*YKw=UX!Hac9qfX$vXvx2IrOH
zKb~tL3PRD#$l7IGptyaRy!vLUQbzj>_l>|46g6=M6sak#Eata7jD+@mV9jT0>dzVd
zM*Tco+q-4xSTTpi<>M2YmLH-WXkX(C5R7q;=_i*^6(wcrbn=IP%+C$C5=#5@VmNbr
zwe3{T`SYLng0`sAc2N!*Y*M=kS)8mV2gu^NISGBn-d%nsiP|q*R;_GWL=CA|WpryI
zi7sZ=HgS(CNr)&@7Vy2wVIzIy!ZA@74^QNoz89C9^QN=kz<xjHIbV7~gAvQ%{Q}N?
zm(%#7Wc(_@?*+YFJV#!tF}h#)YdxM=QkW`U|Ef>L)X{-^;q!HgOv_9OlQW`uwtZX|
zT-n|@(xKnx@mKF7qLpVAyC|P#-=Ej+_Ku(Ctr@9mG~Q!X$sh`t0o%FLz7vn-gq2!D
zQj_dTsuwAxV4C^=vIe!$lF1l4nc_AE2D|QFFw}O@1e@)GU3e`F9icseo!}@)w}Ksl
z<!!-6x6qcqVqzo+IZHD$Q)ok8ux+j$9AI|@*r3-Kcp~`W2xB`N8$&oh7LKqtb+oiI
zfdie3@Gy0>gCp#0!A`l(Zs5w<!qF65n}Mx&!Cy;PQxb%er8{_ysjI0i9ARo{ZUOcm
zwzUKgfN6UK*a%n_junO@<l%zgZK`mD8e9mJssU{f4AxsAbm77%5`>YXp|O>zv$d(2
zGh7%0|MlGw_cmbxIKsu&#MIHr*v`=uE-VN~7=kQ-U^v1A6ba~nBh29l3pm1(1cd~*
zt>6f2IKl?d0Z0ec0lWKx`T>Fgg8+3daD*!yg+{><7vX0~*0*H-%_bmHh+~$HPR<Z3
z0SgfjlV#R6Dn5!rg2#^X0|z`xP#A1dj0UrMU}s_|i=3&Gv7@EEvz;T@yLgTDP_l}l
zvm;;-*yNZGiG)NO{QG?c9#uA6F9{9&sR&g=8&ID=4N8L0bTM+q?HLX291U2rwt@6o
z!|Pa@I9q_0hESje)E9m&N#BUxq@9eRU6X~;pcP~d?G@IV2-FKA7`k&5@+&}_BAYt_
zi2#+~UVZ;273?w%Hnp}imbNvwHiaX>2G54>I06BE{GiD-olR}D0ihdeuz_U=-QR?5
zsK+mOs|Uv-k^gTTB>#8cgFy+w`9b^f1C1*LbSV~tB@qUrWI^C8LWA|n7%-y;9Rh$(
z=suJm13bI9Ggv+b^8Zf<$*=nukQX|jcl<g80LDfkAqEKXg9E%sSO_jC2)=_3EC31@
zgbrZs(82;F;DBQVuy6t3eh>n3DhPV9pb#Jc39g|tbRPo_@Vf;;@I3TRVIg5~UQ2_{
zxXNGzNuV=C1XL;Lzye8wo)rKUUwa403(Cb^gPCwN=;P2K0M?a5XJJ7=FG$Ct(4c~A
z<?@4a1wbdlfCUcFJpphQ0?dNWxC0I4!{V3#ouTq^jRr9g&;S@p0+lHMp20EY7je)T
zCuvYg{LmL9#3G1nsA|v|9Juy?id#EK1lHT^_p8<}0D)_-K!X~C#{?j%0Oio*kQn@G
zu3u-+WF)@`!My?OVh&XsM?NG6zuyn#g6f15Ch#Wc`|r0vL?MwRxO?j_5C+=w*8vH_
znhZd4u=&988ps7C6B`bkJU}w>>%hs%x=cXwu<?NC!hHwtfMny>0o5Ff6aZ}qXoX~8
zi$fTwb(~xPBLy~W|9$+DiC<@kDWKg+aA)Xx!+~q-wfj(>-v=ZYP^&`cv%i(x#<7D8
z(8o9>2+R#&B5pr;c{mC}Yrxc~!f`)609R^o(6YER4Y1?<+Lb08G%`pd0mcZ8)7+4O
z0S%7JX9P#%4C!y9gfmiL9oX94HN&-LsL;5ANq}7fx)yhP&7|TMx`Dz?fcUJXn?j}+
zmt##E<CX=19A<D(YmiQYGp(R+t!2VlTOj|qC(PkMJ>ae^;Gn&5SC*hVtzB6G!CJer
zhV$b}BLRjG=wDnuTR8uktyr_r!0O|Y?clhn13&;|=m7%2rP{;6A`fsyvH=g^ZaBh$
zQx$jR1jKdy3TOWX*6RmB0?<d-^56i5z&eYa;R5T0t|19v^l-T#Z~?Ry?%D+?koBuS
zW?x{vs;)o^pqnJXc;nD7pc)5KKqrHq{$o9U84ocrVBJ6uTr26%eTa@<tAC|Y03HGR
zC=GmGzW{-|^KngQLuX)*jSWFEcn~3t{*~>w9h3hj+XfP#BG-%fQ!Z4?e-fbz{~|^a
z5WB{_KM&y&er1rcbapyv>L_bxV-Fe(m~a53WbLf&95r#g2A18`(%4kvxC{V%rU3n!
zo-}l{aatoC$_DH_?g1AY02$Fjg24QrbTl=wG{%7!9I6Ho$lBS|5r+$$P1oK6N37du
z6r_9*%BHsF&K7X&dOQCHDvCCS<^UG10To>}qYI|S0CcTE0bF6AR_m+c+!H1~ys#M{
zqCch{byDi~mwmLDuy;+qjFIyBXAOAo;Q56pd@-q`Zto;$?~1Exh;|+yPJpq#gz@$C
zEjWAZg28%M^OQZs``$e2)>VUnkMFDDB39@E`pjIHV_Lg{!SLSfS-+H$%Ew#3q@uF<
zb$|DNXx0$Po}MvsSgG-{`^6_*F#YE)Oyk6%wsBt}?!jP-&FSRpEb#TUz+b<F!{4u8
z!HBM7e_ign|DT?<bT)Tb;#?2HlL|-{-qE&mkW5Xr7Y8rwhV@E%{dY2DYq4M+y7*WS
zbTQ8Zh-ttb(DU?iZH>k8U_KQ)67{E}l;!|!bbj*l;EP0DH}WbreUEUr`B+7I4&V3E
zyybs=k26dh_5e)y;6IOiOACW7U8v9R0OwxKhd`s3{t>0iJIZODRi%xhl(L|s^`7Cy
zDJb9OT-(nCPnQ3itlIz1SPM1G>)Z8uc$btw!i4+uO6+iG1M(4S$1l9lEcxmkZQ+Gq
zDje|1S8uTGzY{2JDN?<<lrY=Q`DVL?-Mu%x{z%hQu-bn;vi!p^KVxwitPl?;O}?+@
zX6MeS_4+~j+ueChn}fS#N&iJSa%;%60Z9j3OdJPby7c2W2$jzqZnt^JHIolUGSJAR
zH+pGDm;d1a&{PlzzqoIV*q)%k12%IF;uZ{M-yLlUMl_`{bN}@yYJ<GlKO`)bbY}Hm
z8{Wah0NxxYhS^u_3|=;jX_?Qdr9-F__bIKI-4UQa=-OUC?L`mF{@q$9!*R&1<_`|v
zAZi;Jx<R%58T<T4WvvE&lV9!+7-jViL;kdLsRQsP;fET1tXfw(Fql5+j=A5^C#r{&
zK8=x!-8i5IfF!O<84Vj|02{W$r%evVfR47z9*935uHeiTZ00mh4cQ0mn6C}mmU(4q
z;pgSycAJu30h~1XzRJd7$KIqJkJ1LKV;?(QgcB#w(OMz=2!s7d+!?rS7`Ro8k80UL
zA~aQoo`h7>67M*+ofcLoD`A6^Eb!+)b!Oxb8~(R*Lll>Od^=|cE6j!_PawXO2A@uY
zJi21cJ9ch^o%^l7As)@x?<nn!N;}5#379a^zxhjsV5P}3I|Gjm0}rp2<wrnW+aL82
zd-0Ceeeb$kau-e`ff)hF-Cd}-qnL2cZP3Ap)*X_MD{&K)KzBplww1^o3-?F0`&EcF
zFRVGVeV;qx+#>e)J9=rOUK+=Pm6{9Vrj#JH?JK!61F!)QKr;X@->!j2h&?bd@jvrO
zVgLE-NB(rB4NTcQkK~J3_&oV25oT|Q8`SDQhsJK9w!ho~9XsBm4J&6#*Jp9<<(n!_
zf@u=SsJT0@nK&4XHD*V7|B<*2%6sV(#4eznn)`R=C;u#E>z(lsc?Zoz`g*Q;0ALdJ
zI5033wj)Rz1?j-6mmN&3AJ>2q;Fr<b#N^V29XPqchEdFmb*#;6_wpnJ+yet#*y{hE
z(ZK43;ShBe!EPkkfz^E)S#9z8_&S!CUG0y|b{w;+rPzJ?O@`8FRSNNLf0LoGAn$I8
zj;EK?PtFqCo&z-p0DHsG_K&-JgM(=UjQZbYwO^WB0WJjaIk)a=DU8C61WVvC|MfHD
z%s$JLU>R6R{I9WbY2(`B%if}*KNG<l1ocnX-Wrwshh`P>x_Ak4BCLJ9MEG``bbmMy
z0#rKF(ya~imatF5tvidEesiF=(AN0Huchz3Z4Numrwz_0+^jcD&HC4<1qM^AP5m|D
zyR$Ujw{-T>s}(R;;LG)O_1Pz!7ks8}9h2+rh|&g7@W;~oGUVW<<q89LEd83v+K8wE
z&ij0arssZGuJ^gp4%~t+SPAD2BH92a*VYP(T^%3QfPRj0ZtdqNFyGKKU<#_#yl=<E
zZ5R(Do1GvNXFKRo4E>y-@Yx!ow5Nr}drM{dJ3rz1!vSXC`GtwSSd**Xo;Bb!;|+1j
z*KS9pLqFY_DbiPqfmSumoL~Qi;ZoS~l}otEU-2C+wLwc&dz3y~=M`*Ck^e|u>w6!%
z*(FcnEn#=qwSiqYrLH!*rlnxLQR~umt{qy2;rmSR53^|gpL!ntFE}aw56y~WR?G85
zKHTEDyE(Yu8TJa`Tm<gUJA>d2-i|d7Ua#ombS3Dw1n_JeuL=Wk%jv{+{}HPVQxY4n
z>;Itw@c&I0sP+Kv%^qlKZ!z~BSPkB52I0?{LN8XJ@1>zBnch$KJA>p6gXD*VADVwn
zg`U@YmXkQMxCYrvo!mQh#AlXv@YRMMwDuF}Piw0VV5Mz(xFut-nS+pM`F`I)SQ`}2
z+EUG#uV25quK#xBhtAp*&AB#c(#H2d^Nu&>j~e_ni@dnbt;GVIqrrV`t&{}yj-KCu
zwIDtJWK@g{LJz&BYZD9Zr+d!KR6wY!*I{Rhp?7`Qyt1yV*2T$p8q)EwCsjLL@87Nm
zIkZ+sZ~)%-_6|(gsLLM`0^WG7FPaK9T8lOFp$_QrtD-wrZzHFEPYOfQwB)=4pEklL
z$UOypUf>2VrRkq{Je?anos^w@EL#MG#zo_T;)J1u(OCXpvGSl0UB7~d$=bPqh+!bi
znUbXm6a*GT(S_osfl#Dt5xY);=v_`5Vwiy#k{cd&G&OX#w6m3i;-Vdv6G4ORSHXV}
zz!4?HkLE$5xsXUMZW4qnln+EgJq*I1+FRQ>TU#2zT`_#%A1~a(+1cJn1c9*meT&b|
z(HuMk;?|nD7=xf=8=tZ_F@qaH(P3>(*5AOrfjD<ZQ!^3}l#rhU#K&C!fbf?BAab4=
z{C64@3K#moZP(KT&_W<2;^s6A*r@>UX;VJ1y9L;D`|mUi2&MT?8WcJ3uV*n(RJ~1U
z;0yNOG=3zAX!ln>G!n$S+mwb9=7+-TZA!y{xRW4q+~zc}@yI{4pfLZYA%&m_h?}29
zW1+}~o6<nJf`8W+B`k#eyB=sH3KFGF&jQ(i!t(u<#{W;<&`2x@`}=o3;eXRm{QtBE
z8YO`JyS`{Z^grdI(f{xdjmCf|zJHaA7J$MrZl)P61chJxD-8;{`BxeSy+s-nw(_rh
z{75Lo;pX@8qoJ<$SDJv(ziER1$Q7s=6g+YBvjR|v)xXmOpum%V<%8m*{+%X-{3joX
z`uR`$g2<)+@Bl0LZ`}luP^`(#<qD#N|Djn>;9t2C#6l4`|9V#F-}(w|A!|ZVDAm87
z6%rKwH%$n{@%<~GFcL&L{5y^RAH9JV7WzlOU_d|r`+XQBP?3MV4`>o7Xejjgt(!1N
z&~SgH0e$sP9~1x)T{pCwv!kJ<wW%Ws6vk4~*31qBOvUMSgod3Rr0#K%H8m|gKwR$i
Y&A$vCopI_DM3n{cc{w=b)sB(;FO4*RvH$=8

literal 0
HcmV?d00001

diff --git a/test/unit_tests/buf_s_5/run/test.prs b/test/unit_tests/buf_s_5/run/test.prs
new file mode 100644
index 0000000..b19a0d5
--- /dev/null
+++ b/test/unit_tests/buf_s_5/run/test.prs
@@ -0,0 +1,646 @@
+= "GND" "GND"
+= "Vdd" "Vdd"
+= "Reset" "Reset"
+"Reset"->"b._reset_B"-
+~("Reset")->"b._reset_B"+
+"b.b.out_a_B_buf_t.buf2.a"->"b.b.out_a_B_buf_t.buf2._y"-
+~("b.b.out_a_B_buf_t.buf2.a")->"b.b.out_a_B_buf_t.buf2._y"+
+"b.b.out_a_B_buf_t.buf2._y"->"b.b.out_a_B_buf_t.buf2.y"-
+~("b.b.out_a_B_buf_t.buf2._y")->"b.b.out_a_B_buf_t.buf2.y"+
+= "b.b.out_a_B_buf_t.supply.vdd" "b.b.out_a_B_buf_t.buf2.vdd"
+= "b.b.out_a_B_buf_t.supply.vss" "b.b.out_a_B_buf_t.buf2.vss"
+= "b.b.out_a_B_buf_t.out[0]" "b.b.out_a_B_buf_t.out[4]"
+= "b.b.out_a_B_buf_t.out[0]" "b.b.out_a_B_buf_t.out[3]"
+= "b.b.out_a_B_buf_t.out[0]" "b.b.out_a_B_buf_t.out[2]"
+= "b.b.out_a_B_buf_t.out[0]" "b.b.out_a_B_buf_t.out[1]"
+= "b.b.out_a_B_buf_t.out[0]" "b.b.out_a_B_buf_t.buf2.y"
+= "b.b.out_a_B_buf_t.in" "b.b.out_a_B_buf_t.buf2.a"
+= "b.b._en_X_f[0]" "b.b.en_buf_f.out[0]"
+= "b.b._en_X_f[1]" "b.b.en_buf_f.out[1]"
+= "b.b._en_X_f[2]" "b.b.en_buf_f.out[2]"
+= "b.b._en_X_f[3]" "b.b.en_buf_f.out[3]"
+= "b.b._en_X_f[4]" "b.b.en_buf_f.out[4]"
+= "b.b._en_X_f[0]" "b.b.f_buf_func[4].c1"
+= "b.b._en_X_f[0]" "b.b.f_buf_func[3].c1"
+= "b.b._en_X_f[0]" "b.b.f_buf_func[2].c1"
+= "b.b._en_X_f[0]" "b.b.f_buf_func[1].c1"
+= "b.b._en_X_f[0]" "b.b.f_buf_func[0].c1"
+= "b.b._en_X_f[0]" "b.b._en_X_f[4]"
+= "b.b._en_X_f[0]" "b.b._en_X_f[3]"
+= "b.b._en_X_f[0]" "b.b._en_X_f[2]"
+= "b.b._en_X_f[0]" "b.b._en_X_f[1]"
+~"b.b.inack_ctl.c1"&~"b.b.inack_ctl.c2"&~"b.b.inack_ctl.c3"|~"b.b.inack_ctl.pr_B"->"b.b.inack_ctl._y"+
+"b.b.inack_ctl.c1"&"b.b.inack_ctl.c2"&"b.b.inack_ctl.c3"&"b.b.inack_ctl.sr_B"->"b.b.inack_ctl._y"-
+"b.b.inack_ctl._y"->"b.b.inack_ctl.y"-
+~("b.b.inack_ctl._y")->"b.b.inack_ctl.y"+
+"b.b.reset_bufarray.buf2.a"->"b.b.reset_bufarray.buf2._y"-
+~("b.b.reset_bufarray.buf2.a")->"b.b.reset_bufarray.buf2._y"+
+"b.b.reset_bufarray.buf2._y"->"b.b.reset_bufarray.buf2.y"-
+~("b.b.reset_bufarray.buf2._y")->"b.b.reset_bufarray.buf2.y"+
+= "b.b.reset_bufarray.supply.vdd" "b.b.reset_bufarray.buf2.vdd"
+= "b.b.reset_bufarray.supply.vss" "b.b.reset_bufarray.buf2.vss"
+= "b.b.reset_bufarray.out[0]" "b.b.reset_bufarray.out[4]"
+= "b.b.reset_bufarray.out[0]" "b.b.reset_bufarray.out[3]"
+= "b.b.reset_bufarray.out[0]" "b.b.reset_bufarray.out[2]"
+= "b.b.reset_bufarray.out[0]" "b.b.reset_bufarray.out[1]"
+= "b.b.reset_bufarray.out[0]" "b.b.reset_bufarray.buf2.y"
+= "b.b.reset_bufarray.in" "b.b.reset_bufarray.buf2.a"
+"b.b.in_v_buf4.a"->"b.b.in_v_buf4._y"-
+~("b.b.in_v_buf4.a")->"b.b.in_v_buf4._y"+
+"b.b.in_v_buf4._y"->"b.b.in_v_buf4.y"-
+~("b.b.in_v_buf4._y")->"b.b.in_v_buf4.y"+
+"b.b.out_a_inv.a"->"b.b.out_a_inv.y"-
+~("b.b.out_a_inv.a")->"b.b.out_a_inv.y"+
+= "b.b._out_a_BX_f[0]" "b.b.out_a_B_buf_t.out[0]"
+= "b.b._out_a_BX_f[1]" "b.b.out_a_B_buf_t.out[1]"
+= "b.b._out_a_BX_f[2]" "b.b.out_a_B_buf_t.out[2]"
+= "b.b._out_a_BX_f[3]" "b.b.out_a_B_buf_t.out[3]"
+= "b.b._out_a_BX_f[4]" "b.b.out_a_B_buf_t.out[4]"
+= "b.b._out_a_BX_f[0]" "b.b.f_buf_func[4].c2"
+= "b.b._out_a_BX_f[0]" "b.b.f_buf_func[3].c2"
+= "b.b._out_a_BX_f[0]" "b.b.f_buf_func[2].c2"
+= "b.b._out_a_BX_f[0]" "b.b.f_buf_func[1].c2"
+= "b.b._out_a_BX_f[0]" "b.b.f_buf_func[0].c2"
+= "b.b._out_a_BX_f[0]" "b.b._out_a_BX_f[4]"
+= "b.b._out_a_BX_f[0]" "b.b._out_a_BX_f[3]"
+= "b.b._out_a_BX_f[0]" "b.b._out_a_BX_f[2]"
+= "b.b._out_a_BX_f[0]" "b.b._out_a_BX_f[1]"
+= "b.b.supply.vss" "b.b.en_buf_f.supply.vss"
+= "b.b.supply.vdd" "b.b.en_buf_f.supply.vdd"
+= "b.b.supply.vss" "b.b.en_buf_t.supply.vss"
+= "b.b.supply.vdd" "b.b.en_buf_t.supply.vdd"
+= "b.b.supply.vss" "b.b.in_v_bufN.supply.vss"
+= "b.b.supply.vdd" "b.b.in_v_bufN.supply.vdd"
+= "b.b.supply.vss" "b.b.vc.supply.vss"
+= "b.b.supply.vdd" "b.b.vc.supply.vdd"
+= "b.b.supply.vdd" "b.b.t_buf_func[4].vdd"
+= "b.b.supply.vdd" "b.b.f_buf_func[4].vdd"
+= "b.b.supply.vdd" "b.b.t_buf_func[3].vdd"
+= "b.b.supply.vdd" "b.b.f_buf_func[3].vdd"
+= "b.b.supply.vdd" "b.b.t_buf_func[2].vdd"
+= "b.b.supply.vdd" "b.b.f_buf_func[2].vdd"
+= "b.b.supply.vdd" "b.b.t_buf_func[1].vdd"
+= "b.b.supply.vdd" "b.b.f_buf_func[1].vdd"
+= "b.b.supply.vdd" "b.b.t_buf_func[0].vdd"
+= "b.b.supply.vdd" "b.b.f_buf_func[0].vdd"
+= "b.b.supply.vdd" "b.b.in_v_buf4.vdd"
+= "b.b.supply.vdd" "b.b.reset_buf.vdd"
+= "b.b.supply.vdd" "b.b.en_ctl.vdd"
+= "b.b.supply.vdd" "b.b.inack_ctl.vdd"
+= "b.b.supply.vss" "b.b.t_buf_func[4].vss"
+= "b.b.supply.vss" "b.b.f_buf_func[4].vss"
+= "b.b.supply.vss" "b.b.t_buf_func[3].vss"
+= "b.b.supply.vss" "b.b.f_buf_func[3].vss"
+= "b.b.supply.vss" "b.b.t_buf_func[2].vss"
+= "b.b.supply.vss" "b.b.f_buf_func[2].vss"
+= "b.b.supply.vss" "b.b.t_buf_func[1].vss"
+= "b.b.supply.vss" "b.b.f_buf_func[1].vss"
+= "b.b.supply.vss" "b.b.t_buf_func[0].vss"
+= "b.b.supply.vss" "b.b.f_buf_func[0].vss"
+= "b.b.supply.vss" "b.b.in_v_buf4.vss"
+= "b.b.supply.vss" "b.b.reset_buf.vss"
+= "b.b.supply.vss" "b.b.en_ctl.vss"
+= "b.b.supply.vss" "b.b.inack_ctl.vss"
+~"b.b.vc.C2Els[0].c1"&~"b.b.vc.C2Els[0].c2"->"b.b.vc.C2Els[0]._y"+
+"b.b.vc.C2Els[0].c1"&"b.b.vc.C2Els[0].c2"->"b.b.vc.C2Els[0]._y"-
+"b.b.vc.C2Els[0]._y"->"b.b.vc.C2Els[0].y"-
+~("b.b.vc.C2Els[0]._y")->"b.b.vc.C2Els[0].y"+
+~"b.b.vc.C2Els[1].c1"&~"b.b.vc.C2Els[1].c2"->"b.b.vc.C2Els[1]._y"+
+"b.b.vc.C2Els[1].c1"&"b.b.vc.C2Els[1].c2"->"b.b.vc.C2Els[1]._y"-
+"b.b.vc.C2Els[1]._y"->"b.b.vc.C2Els[1].y"-
+~("b.b.vc.C2Els[1]._y")->"b.b.vc.C2Els[1].y"+
+~"b.b.vc.C3Els[0].c1"&~"b.b.vc.C3Els[0].c2"&~"b.b.vc.C3Els[0].c3"->"b.b.vc.C3Els[0]._y"+
+"b.b.vc.C3Els[0].c1"&"b.b.vc.C3Els[0].c2"&"b.b.vc.C3Els[0].c3"->"b.b.vc.C3Els[0]._y"-
+"b.b.vc.C3Els[0]._y"->"b.b.vc.C3Els[0].y"-
+~("b.b.vc.C3Els[0]._y")->"b.b.vc.C3Els[0].y"+
+"b.b.vc.OR2_tf[0].a"|"b.b.vc.OR2_tf[0].b"->"b.b.vc.OR2_tf[0]._y"-
+~("b.b.vc.OR2_tf[0].a"|"b.b.vc.OR2_tf[0].b")->"b.b.vc.OR2_tf[0]._y"+
+"b.b.vc.OR2_tf[0]._y"->"b.b.vc.OR2_tf[0].y"-
+~("b.b.vc.OR2_tf[0]._y")->"b.b.vc.OR2_tf[0].y"+
+"b.b.vc.OR2_tf[1].a"|"b.b.vc.OR2_tf[1].b"->"b.b.vc.OR2_tf[1]._y"-
+~("b.b.vc.OR2_tf[1].a"|"b.b.vc.OR2_tf[1].b")->"b.b.vc.OR2_tf[1]._y"+
+"b.b.vc.OR2_tf[1]._y"->"b.b.vc.OR2_tf[1].y"-
+~("b.b.vc.OR2_tf[1]._y")->"b.b.vc.OR2_tf[1].y"+
+"b.b.vc.OR2_tf[2].a"|"b.b.vc.OR2_tf[2].b"->"b.b.vc.OR2_tf[2]._y"-
+~("b.b.vc.OR2_tf[2].a"|"b.b.vc.OR2_tf[2].b")->"b.b.vc.OR2_tf[2]._y"+
+"b.b.vc.OR2_tf[2]._y"->"b.b.vc.OR2_tf[2].y"-
+~("b.b.vc.OR2_tf[2]._y")->"b.b.vc.OR2_tf[2].y"+
+"b.b.vc.OR2_tf[3].a"|"b.b.vc.OR2_tf[3].b"->"b.b.vc.OR2_tf[3]._y"-
+~("b.b.vc.OR2_tf[3].a"|"b.b.vc.OR2_tf[3].b")->"b.b.vc.OR2_tf[3]._y"+
+"b.b.vc.OR2_tf[3]._y"->"b.b.vc.OR2_tf[3].y"-
+~("b.b.vc.OR2_tf[3]._y")->"b.b.vc.OR2_tf[3].y"+
+"b.b.vc.OR2_tf[4].a"|"b.b.vc.OR2_tf[4].b"->"b.b.vc.OR2_tf[4]._y"-
+~("b.b.vc.OR2_tf[4].a"|"b.b.vc.OR2_tf[4].b")->"b.b.vc.OR2_tf[4]._y"+
+"b.b.vc.OR2_tf[4]._y"->"b.b.vc.OR2_tf[4].y"-
+~("b.b.vc.OR2_tf[4]._y")->"b.b.vc.OR2_tf[4].y"+
+= "b.b.vc.tmp[0]" "b.b.vc.C2Els[0].c1"
+= "b.b.vc.tmp[0]" "b.b.vc.OR2_tf[0].y"
+= "b.b.vc.tmp[1]" "b.b.vc.C2Els[0].c2"
+= "b.b.vc.tmp[1]" "b.b.vc.OR2_tf[1].y"
+= "b.b.vc.tmp[2]" "b.b.vc.C3Els[0].c1"
+= "b.b.vc.tmp[2]" "b.b.vc.OR2_tf[2].y"
+= "b.b.vc.tmp[3]" "b.b.vc.C3Els[0].c2"
+= "b.b.vc.tmp[3]" "b.b.vc.OR2_tf[3].y"
+= "b.b.vc.tmp[4]" "b.b.vc.C3Els[0].c3"
+= "b.b.vc.tmp[4]" "b.b.vc.OR2_tf[4].y"
+= "b.b.vc.tmp[5]" "b.b.vc.C2Els[1].c1"
+= "b.b.vc.tmp[5]" "b.b.vc.C2Els[0].y"
+= "b.b.vc.tmp[6]" "b.b.vc.C2Els[1].c2"
+= "b.b.vc.tmp[6]" "b.b.vc.C3Els[0].y"
+= "b.b.vc.supply.vdd" "b.b.vc.C3Els[0].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.C2Els[1].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.C2Els[0].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.OR2_tf[4].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.OR2_tf[3].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.OR2_tf[2].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.OR2_tf[1].vdd"
+= "b.b.vc.supply.vdd" "b.b.vc.OR2_tf[0].vdd"
+= "b.b.vc.supply.vss" "b.b.vc.C3Els[0].vss"
+= "b.b.vc.supply.vss" "b.b.vc.C2Els[1].vss"
+= "b.b.vc.supply.vss" "b.b.vc.C2Els[0].vss"
+= "b.b.vc.supply.vss" "b.b.vc.OR2_tf[4].vss"
+= "b.b.vc.supply.vss" "b.b.vc.OR2_tf[3].vss"
+= "b.b.vc.supply.vss" "b.b.vc.OR2_tf[2].vss"
+= "b.b.vc.supply.vss" "b.b.vc.OR2_tf[1].vss"
+= "b.b.vc.supply.vss" "b.b.vc.OR2_tf[0].vss"
+= "b.b.vc.in.d[0].d[0]" "b.b.vc.in.d[0].f"
+= "b.b.vc.in.d[0].d[1]" "b.b.vc.in.d[0].t"
+= "b.b.vc.in.d[1].d[0]" "b.b.vc.in.d[1].f"
+= "b.b.vc.in.d[1].d[1]" "b.b.vc.in.d[1].t"
+= "b.b.vc.in.d[2].d[0]" "b.b.vc.in.d[2].f"
+= "b.b.vc.in.d[2].d[1]" "b.b.vc.in.d[2].t"
+= "b.b.vc.in.d[3].d[0]" "b.b.vc.in.d[3].f"
+= "b.b.vc.in.d[3].d[1]" "b.b.vc.in.d[3].t"
+= "b.b.vc.in.d[4].d[0]" "b.b.vc.in.d[4].f"
+= "b.b.vc.in.d[4].d[1]" "b.b.vc.in.d[4].t"
+= "b.b.vc.in.d[4].d[0]" "b.b.vc.in.d[4].f"
+= "b.b.vc.in.d[4].d[1]" "b.b.vc.in.d[4].t"
+= "b.b.vc.in.d[3].d[0]" "b.b.vc.in.d[3].f"
+= "b.b.vc.in.d[3].d[1]" "b.b.vc.in.d[3].t"
+= "b.b.vc.in.d[2].d[0]" "b.b.vc.in.d[2].f"
+= "b.b.vc.in.d[2].d[1]" "b.b.vc.in.d[2].t"
+= "b.b.vc.in.d[1].d[0]" "b.b.vc.in.d[1].f"
+= "b.b.vc.in.d[1].d[1]" "b.b.vc.in.d[1].t"
+= "b.b.vc.in.d[0].d[0]" "b.b.vc.in.d[0].f"
+= "b.b.vc.in.d[0].d[1]" "b.b.vc.in.d[0].t"
+= "b.b.vc.in.d[4].d[0]" "b.b.vc.OR2_tf[4].b"
+= "b.b.vc.in.d[4].d[0]" "b.b.vc.in.d[4].f"
+= "b.b.vc.in.d[4].d[1]" "b.b.vc.OR2_tf[4].a"
+= "b.b.vc.in.d[4].d[1]" "b.b.vc.in.d[4].t"
+= "b.b.vc.in.d[3].d[0]" "b.b.vc.OR2_tf[3].b"
+= "b.b.vc.in.d[3].d[0]" "b.b.vc.in.d[3].f"
+= "b.b.vc.in.d[3].d[1]" "b.b.vc.OR2_tf[3].a"
+= "b.b.vc.in.d[3].d[1]" "b.b.vc.in.d[3].t"
+= "b.b.vc.in.d[2].d[0]" "b.b.vc.OR2_tf[2].b"
+= "b.b.vc.in.d[2].d[0]" "b.b.vc.in.d[2].f"
+= "b.b.vc.in.d[2].d[1]" "b.b.vc.OR2_tf[2].a"
+= "b.b.vc.in.d[2].d[1]" "b.b.vc.in.d[2].t"
+= "b.b.vc.in.d[1].d[0]" "b.b.vc.OR2_tf[1].b"
+= "b.b.vc.in.d[1].d[0]" "b.b.vc.in.d[1].f"
+= "b.b.vc.in.d[1].d[1]" "b.b.vc.OR2_tf[1].a"
+= "b.b.vc.in.d[1].d[1]" "b.b.vc.in.d[1].t"
+= "b.b.vc.in.d[0].d[0]" "b.b.vc.OR2_tf[0].b"
+= "b.b.vc.in.d[0].d[0]" "b.b.vc.in.d[0].f"
+= "b.b.vc.in.d[0].d[1]" "b.b.vc.OR2_tf[0].a"
+= "b.b.vc.in.d[0].d[1]" "b.b.vc.in.d[0].t"
+= "b.b.vc.out" "b.b.vc.C2Els[1].y"
+= "b.b.vc.out" "b.b.vc.tmp[7]"
+"b.b.out_a_B_buf_f.buf2.a"->"b.b.out_a_B_buf_f.buf2._y"-
+~("b.b.out_a_B_buf_f.buf2.a")->"b.b.out_a_B_buf_f.buf2._y"+
+"b.b.out_a_B_buf_f.buf2._y"->"b.b.out_a_B_buf_f.buf2.y"-
+~("b.b.out_a_B_buf_f.buf2._y")->"b.b.out_a_B_buf_f.buf2.y"+
+= "b.b.out_a_B_buf_f.supply.vdd" "b.b.out_a_B_buf_f.buf2.vdd"
+= "b.b.out_a_B_buf_f.supply.vss" "b.b.out_a_B_buf_f.buf2.vss"
+= "b.b.out_a_B_buf_f.out[0]" "b.b.out_a_B_buf_f.out[4]"
+= "b.b.out_a_B_buf_f.out[0]" "b.b.out_a_B_buf_f.out[3]"
+= "b.b.out_a_B_buf_f.out[0]" "b.b.out_a_B_buf_f.out[2]"
+= "b.b.out_a_B_buf_f.out[0]" "b.b.out_a_B_buf_f.out[1]"
+= "b.b.out_a_B_buf_f.out[0]" "b.b.out_a_B_buf_f.buf2.y"
+= "b.b.out_a_B_buf_f.in" "b.b.out_a_B_buf_f.buf2.a"
+= "b.b._en" "b.b.en_buf_f.in"
+= "b.b._en" "b.b.en_buf_t.in"
+= "b.b._en" "b.b.en_ctl.y"
+= "b.b._en" "b.b.inack_ctl.c1"
+~"b.b.en_ctl.p1"&~"b.b.en_ctl.c1"->"b.b.en_ctl.y"+
+"b.b.en_ctl.c1"->"b.b.en_ctl.y"-
+= "b.b.out.d.d[0].d[0]" "b.b.out.d.d[0].f"
+= "b.b.out.d.d[0].d[1]" "b.b.out.d.d[0].t"
+= "b.b.out.d.d[1].d[0]" "b.b.out.d.d[1].f"
+= "b.b.out.d.d[1].d[1]" "b.b.out.d.d[1].t"
+= "b.b.out.d.d[2].d[0]" "b.b.out.d.d[2].f"
+= "b.b.out.d.d[2].d[1]" "b.b.out.d.d[2].t"
+= "b.b.out.d.d[3].d[0]" "b.b.out.d.d[3].f"
+= "b.b.out.d.d[3].d[1]" "b.b.out.d.d[3].t"
+= "b.b.out.d.d[4].d[0]" "b.b.out.d.d[4].f"
+= "b.b.out.d.d[4].d[1]" "b.b.out.d.d[4].t"
+= "b.b.out.d.d[4].d[0]" "b.b.out.d.d[4].f"
+= "b.b.out.d.d[4].d[1]" "b.b.out.d.d[4].t"
+= "b.b.out.d.d[3].d[0]" "b.b.out.d.d[3].f"
+= "b.b.out.d.d[3].d[1]" "b.b.out.d.d[3].t"
+= "b.b.out.d.d[2].d[0]" "b.b.out.d.d[2].f"
+= "b.b.out.d.d[2].d[1]" "b.b.out.d.d[2].t"
+= "b.b.out.d.d[1].d[0]" "b.b.out.d.d[1].f"
+= "b.b.out.d.d[1].d[1]" "b.b.out.d.d[1].t"
+= "b.b.out.d.d[0].d[0]" "b.b.out.d.d[0].f"
+= "b.b.out.d.d[0].d[1]" "b.b.out.d.d[0].t"
+= "b.b.out.d.d[4].d[0]" "b.b.out.d.d[4].f"
+= "b.b.out.d.d[4].d[1]" "b.b.out.d.d[4].t"
+= "b.b.out.d.d[3].d[0]" "b.b.out.d.d[3].f"
+= "b.b.out.d.d[3].d[1]" "b.b.out.d.d[3].t"
+= "b.b.out.d.d[2].d[0]" "b.b.out.d.d[2].f"
+= "b.b.out.d.d[2].d[1]" "b.b.out.d.d[2].t"
+= "b.b.out.d.d[1].d[0]" "b.b.out.d.d[1].f"
+= "b.b.out.d.d[1].d[1]" "b.b.out.d.d[1].t"
+= "b.b.out.d.d[0].d[0]" "b.b.out.d.d[0].f"
+= "b.b.out.d.d[0].d[1]" "b.b.out.d.d[0].t"
+= "b.b.out.a" "b.b.out_a_inv.a"
+= "b.b.out.v" "b.b.en_ctl.p1"
+= "b.b.out.v" "b.b.inack_ctl.c3"
+= "b.b.out.d.d[4].d[0]" "b.b.f_buf_func[4].y"
+= "b.b.out.d.d[4].d[0]" "b.b.out.d.d[4].f"
+= "b.b.out.d.d[4].d[1]" "b.b.t_buf_func[4].y"
+= "b.b.out.d.d[4].d[1]" "b.b.out.d.d[4].t"
+= "b.b.out.d.d[3].d[0]" "b.b.f_buf_func[3].y"
+= "b.b.out.d.d[3].d[0]" "b.b.out.d.d[3].f"
+= "b.b.out.d.d[3].d[1]" "b.b.t_buf_func[3].y"
+= "b.b.out.d.d[3].d[1]" "b.b.out.d.d[3].t"
+= "b.b.out.d.d[2].d[0]" "b.b.f_buf_func[2].y"
+= "b.b.out.d.d[2].d[0]" "b.b.out.d.d[2].f"
+= "b.b.out.d.d[2].d[1]" "b.b.t_buf_func[2].y"
+= "b.b.out.d.d[2].d[1]" "b.b.out.d.d[2].t"
+= "b.b.out.d.d[1].d[0]" "b.b.f_buf_func[1].y"
+= "b.b.out.d.d[1].d[0]" "b.b.out.d.d[1].f"
+= "b.b.out.d.d[1].d[1]" "b.b.t_buf_func[1].y"
+= "b.b.out.d.d[1].d[1]" "b.b.out.d.d[1].t"
+= "b.b.out.d.d[0].d[0]" "b.b.f_buf_func[0].y"
+= "b.b.out.d.d[0].d[0]" "b.b.out.d.d[0].f"
+= "b.b.out.d.d[0].d[1]" "b.b.t_buf_func[0].y"
+= "b.b.out.d.d[0].d[1]" "b.b.out.d.d[0].t"
+= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
+= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
+= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
+= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
+= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
+= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
+= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
+= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
+= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
+= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
+= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
+= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
+= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
+= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
+= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
+= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
+= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
+= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
+= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
+= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
+= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
+= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
+= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
+= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
+= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
+= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
+= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
+= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
+= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
+= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
+= "b.b.in.d.d[0].f" "b.b.vc.in.d[0].f"
+= "b.b.in.d.d[0].t" "b.b.vc.in.d[0].t"
+= "b.b.in.d.d[0].d[0]" "b.b.vc.in.d[0].d[0]"
+= "b.b.in.d.d[0].d[1]" "b.b.vc.in.d[0].d[1]"
+= "b.b.in.d.d[1].f" "b.b.vc.in.d[1].f"
+= "b.b.in.d.d[1].t" "b.b.vc.in.d[1].t"
+= "b.b.in.d.d[1].d[0]" "b.b.vc.in.d[1].d[0]"
+= "b.b.in.d.d[1].d[1]" "b.b.vc.in.d[1].d[1]"
+= "b.b.in.d.d[2].f" "b.b.vc.in.d[2].f"
+= "b.b.in.d.d[2].t" "b.b.vc.in.d[2].t"
+= "b.b.in.d.d[2].d[0]" "b.b.vc.in.d[2].d[0]"
+= "b.b.in.d.d[2].d[1]" "b.b.vc.in.d[2].d[1]"
+= "b.b.in.d.d[3].f" "b.b.vc.in.d[3].f"
+= "b.b.in.d.d[3].t" "b.b.vc.in.d[3].t"
+= "b.b.in.d.d[3].d[0]" "b.b.vc.in.d[3].d[0]"
+= "b.b.in.d.d[3].d[1]" "b.b.vc.in.d[3].d[1]"
+= "b.b.in.d.d[4].f" "b.b.vc.in.d[4].f"
+= "b.b.in.d.d[4].t" "b.b.vc.in.d[4].t"
+= "b.b.in.d.d[4].d[0]" "b.b.vc.in.d[4].d[0]"
+= "b.b.in.d.d[4].d[1]" "b.b.vc.in.d[4].d[1]"
+= "b.b.in.a" "b.b.en_ctl.c1"
+= "b.b.in.a" "b.b.inack_ctl.y"
+= "b.b.in.v" "b.b.in_v_bufN.in"
+= "b.b.in.v" "b.b.in_v_buf4.y"
+= "b.b.in.v" "b.b.inack_ctl.c2"
+= "b.b.in.d.d[4].d[0]" "b.b.f_buf_func[4].n1"
+= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
+= "b.b.in.d.d[4].d[1]" "b.b.t_buf_func[4].n1"
+= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
+= "b.b.in.d.d[3].d[0]" "b.b.f_buf_func[3].n1"
+= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
+= "b.b.in.d.d[3].d[1]" "b.b.t_buf_func[3].n1"
+= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
+= "b.b.in.d.d[2].d[0]" "b.b.f_buf_func[2].n1"
+= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
+= "b.b.in.d.d[2].d[1]" "b.b.t_buf_func[2].n1"
+= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
+= "b.b.in.d.d[1].d[0]" "b.b.f_buf_func[1].n1"
+= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
+= "b.b.in.d.d[1].d[1]" "b.b.t_buf_func[1].n1"
+= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
+= "b.b.in.d.d[0].d[0]" "b.b.f_buf_func[0].n1"
+= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
+= "b.b.in.d.d[0].d[1]" "b.b.t_buf_func[0].n1"
+= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
+"b.b.reset_buf.a"->"b.b.reset_buf._y"-
+~("b.b.reset_buf.a")->"b.b.reset_buf._y"+
+"b.b.reset_buf._y"->"b.b.reset_buf.y"-
+~("b.b.reset_buf._y")->"b.b.reset_buf.y"+
+= "b.b._in_v" "b.b.in_v_buf4.a"
+= "b.b._in_v" "b.b.vc.out"
+= "b.b._out_a_BX_t[0]" "b.b.out_a_B_buf_f.out[0]"
+= "b.b._out_a_BX_t[1]" "b.b.out_a_B_buf_f.out[1]"
+= "b.b._out_a_BX_t[2]" "b.b.out_a_B_buf_f.out[2]"
+= "b.b._out_a_BX_t[3]" "b.b.out_a_B_buf_f.out[3]"
+= "b.b._out_a_BX_t[4]" "b.b.out_a_B_buf_f.out[4]"
+= "b.b._out_a_BX_t[0]" "b.b.t_buf_func[4].c2"
+= "b.b._out_a_BX_t[0]" "b.b.t_buf_func[3].c2"
+= "b.b._out_a_BX_t[0]" "b.b.t_buf_func[2].c2"
+= "b.b._out_a_BX_t[0]" "b.b.t_buf_func[1].c2"
+= "b.b._out_a_BX_t[0]" "b.b.t_buf_func[0].c2"
+= "b.b._out_a_BX_t[0]" "b.b._out_a_BX_t[4]"
+= "b.b._out_a_BX_t[0]" "b.b._out_a_BX_t[3]"
+= "b.b._out_a_BX_t[0]" "b.b._out_a_BX_t[2]"
+= "b.b._out_a_BX_t[0]" "b.b._out_a_BX_t[1]"
+= "b.b._reset_BX" "b.b.reset_bufarray.in"
+= "b.b._reset_BX" "b.b.reset_buf.y"
+= "b.b._reset_BX" "b.b.inack_ctl.sr_B"
+= "b.b._reset_BX" "b.b.inack_ctl.pr_B"
+= "b.b.reset_B" "b.b.reset_buf.a"
+"b.b.en_buf_f.buf2.a"->"b.b.en_buf_f.buf2._y"-
+~("b.b.en_buf_f.buf2.a")->"b.b.en_buf_f.buf2._y"+
+"b.b.en_buf_f.buf2._y"->"b.b.en_buf_f.buf2.y"-
+~("b.b.en_buf_f.buf2._y")->"b.b.en_buf_f.buf2.y"+
+= "b.b.en_buf_f.supply.vdd" "b.b.en_buf_f.buf2.vdd"
+= "b.b.en_buf_f.supply.vss" "b.b.en_buf_f.buf2.vss"
+= "b.b.en_buf_f.out[0]" "b.b.en_buf_f.out[4]"
+= "b.b.en_buf_f.out[0]" "b.b.en_buf_f.out[3]"
+= "b.b.en_buf_f.out[0]" "b.b.en_buf_f.out[2]"
+= "b.b.en_buf_f.out[0]" "b.b.en_buf_f.out[1]"
+= "b.b.en_buf_f.out[0]" "b.b.en_buf_f.buf2.y"
+= "b.b.en_buf_f.in" "b.b.en_buf_f.buf2.a"
+"b.b.en_buf_t.buf2.a"->"b.b.en_buf_t.buf2._y"-
+~("b.b.en_buf_t.buf2.a")->"b.b.en_buf_t.buf2._y"+
+"b.b.en_buf_t.buf2._y"->"b.b.en_buf_t.buf2.y"-
+~("b.b.en_buf_t.buf2._y")->"b.b.en_buf_t.buf2.y"+
+= "b.b.en_buf_t.supply.vdd" "b.b.en_buf_t.buf2.vdd"
+= "b.b.en_buf_t.supply.vss" "b.b.en_buf_t.buf2.vss"
+= "b.b.en_buf_t.out[0]" "b.b.en_buf_t.out[4]"
+= "b.b.en_buf_t.out[0]" "b.b.en_buf_t.out[3]"
+= "b.b.en_buf_t.out[0]" "b.b.en_buf_t.out[2]"
+= "b.b.en_buf_t.out[0]" "b.b.en_buf_t.out[1]"
+= "b.b.en_buf_t.out[0]" "b.b.en_buf_t.buf2.y"
+= "b.b.en_buf_t.in" "b.b.en_buf_t.buf2.a"
+= "b.b._out_a_B" "b.b.out_a_B_buf_t.in"
+= "b.b._out_a_B" "b.b.out_a_B_buf_f.in"
+= "b.b._out_a_B" "b.b.out_a_inv.y"
+= "b.b._reset_BXX[0]" "b.b.reset_bufarray.out[0]"
+= "b.b._reset_BXX[1]" "b.b.reset_bufarray.out[1]"
+= "b.b._reset_BXX[2]" "b.b.reset_bufarray.out[2]"
+= "b.b._reset_BXX[3]" "b.b.reset_bufarray.out[3]"
+= "b.b._reset_BXX[4]" "b.b.reset_bufarray.out[4]"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[4].sr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[4].pr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[4].sr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[4].pr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[3].sr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[3].pr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[3].sr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[3].pr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[2].sr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[2].pr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[2].sr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[2].pr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[1].sr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[1].pr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[1].sr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[1].pr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[0].sr_B"
+= "b.b._reset_BXX[0]" "b.b.f_buf_func[0].pr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[0].sr_B"
+= "b.b._reset_BXX[0]" "b.b.t_buf_func[0].pr_B"
+= "b.b._reset_BXX[0]" "b.b._reset_BXX[4]"
+= "b.b._reset_BXX[0]" "b.b._reset_BXX[3]"
+= "b.b._reset_BXX[0]" "b.b._reset_BXX[2]"
+= "b.b._reset_BXX[0]" "b.b._reset_BXX[1]"
+= "b.b._in_vX[0]" "b.b.in_v_bufN.out[0]"
+= "b.b._in_vX[1]" "b.b.in_v_bufN.out[1]"
+= "b.b._in_vX[2]" "b.b.in_v_bufN.out[2]"
+= "b.b._in_vX[3]" "b.b.in_v_bufN.out[3]"
+= "b.b._in_vX[4]" "b.b.in_v_bufN.out[4]"
+= "b.b._in_vX[0]" "b.b.t_buf_func[4].n2"
+= "b.b._in_vX[0]" "b.b.f_buf_func[4].n2"
+= "b.b._in_vX[0]" "b.b.t_buf_func[3].n2"
+= "b.b._in_vX[0]" "b.b.f_buf_func[3].n2"
+= "b.b._in_vX[0]" "b.b.t_buf_func[2].n2"
+= "b.b._in_vX[0]" "b.b.f_buf_func[2].n2"
+= "b.b._in_vX[0]" "b.b.t_buf_func[1].n2"
+= "b.b._in_vX[0]" "b.b.f_buf_func[1].n2"
+= "b.b._in_vX[0]" "b.b.t_buf_func[0].n2"
+= "b.b._in_vX[0]" "b.b.f_buf_func[0].n2"
+= "b.b._in_vX[0]" "b.b._in_vX[4]"
+= "b.b._in_vX[0]" "b.b._in_vX[3]"
+= "b.b._in_vX[0]" "b.b._in_vX[2]"
+= "b.b._in_vX[0]" "b.b._in_vX[1]"
+"b.b.in_v_bufN.buf2.a"->"b.b.in_v_bufN.buf2._y"-
+~("b.b.in_v_bufN.buf2.a")->"b.b.in_v_bufN.buf2._y"+
+"b.b.in_v_bufN.buf2._y"->"b.b.in_v_bufN.buf2.y"-
+~("b.b.in_v_bufN.buf2._y")->"b.b.in_v_bufN.buf2.y"+
+= "b.b.in_v_bufN.supply.vdd" "b.b.in_v_bufN.buf2.vdd"
+= "b.b.in_v_bufN.supply.vss" "b.b.in_v_bufN.buf2.vss"
+= "b.b.in_v_bufN.out[0]" "b.b.in_v_bufN.out[4]"
+= "b.b.in_v_bufN.out[0]" "b.b.in_v_bufN.out[3]"
+= "b.b.in_v_bufN.out[0]" "b.b.in_v_bufN.out[2]"
+= "b.b.in_v_bufN.out[0]" "b.b.in_v_bufN.out[1]"
+= "b.b.in_v_bufN.out[0]" "b.b.in_v_bufN.buf2.y"
+= "b.b.in_v_bufN.in" "b.b.in_v_bufN.buf2.a"
+~"b.b.t_buf_func[0].c1"&~"b.b.t_buf_func[0].c2"|~"b.b.t_buf_func[0].pr_B"->"b.b.t_buf_func[0]._y"+
+"b.b.t_buf_func[0].c1"&"b.b.t_buf_func[0].c2"&"b.b.t_buf_func[0].n1"&"b.b.t_buf_func[0].n2"&"b.b.t_buf_func[0].sr_B"->"b.b.t_buf_func[0]._y"-
+"b.b.t_buf_func[0]._y"->"b.b.t_buf_func[0].y"-
+~("b.b.t_buf_func[0]._y")->"b.b.t_buf_func[0].y"+
+~"b.b.t_buf_func[1].c1"&~"b.b.t_buf_func[1].c2"|~"b.b.t_buf_func[1].pr_B"->"b.b.t_buf_func[1]._y"+
+"b.b.t_buf_func[1].c1"&"b.b.t_buf_func[1].c2"&"b.b.t_buf_func[1].n1"&"b.b.t_buf_func[1].n2"&"b.b.t_buf_func[1].sr_B"->"b.b.t_buf_func[1]._y"-
+"b.b.t_buf_func[1]._y"->"b.b.t_buf_func[1].y"-
+~("b.b.t_buf_func[1]._y")->"b.b.t_buf_func[1].y"+
+~"b.b.t_buf_func[2].c1"&~"b.b.t_buf_func[2].c2"|~"b.b.t_buf_func[2].pr_B"->"b.b.t_buf_func[2]._y"+
+"b.b.t_buf_func[2].c1"&"b.b.t_buf_func[2].c2"&"b.b.t_buf_func[2].n1"&"b.b.t_buf_func[2].n2"&"b.b.t_buf_func[2].sr_B"->"b.b.t_buf_func[2]._y"-
+"b.b.t_buf_func[2]._y"->"b.b.t_buf_func[2].y"-
+~("b.b.t_buf_func[2]._y")->"b.b.t_buf_func[2].y"+
+~"b.b.t_buf_func[3].c1"&~"b.b.t_buf_func[3].c2"|~"b.b.t_buf_func[3].pr_B"->"b.b.t_buf_func[3]._y"+
+"b.b.t_buf_func[3].c1"&"b.b.t_buf_func[3].c2"&"b.b.t_buf_func[3].n1"&"b.b.t_buf_func[3].n2"&"b.b.t_buf_func[3].sr_B"->"b.b.t_buf_func[3]._y"-
+"b.b.t_buf_func[3]._y"->"b.b.t_buf_func[3].y"-
+~("b.b.t_buf_func[3]._y")->"b.b.t_buf_func[3].y"+
+~"b.b.t_buf_func[4].c1"&~"b.b.t_buf_func[4].c2"|~"b.b.t_buf_func[4].pr_B"->"b.b.t_buf_func[4]._y"+
+"b.b.t_buf_func[4].c1"&"b.b.t_buf_func[4].c2"&"b.b.t_buf_func[4].n1"&"b.b.t_buf_func[4].n2"&"b.b.t_buf_func[4].sr_B"->"b.b.t_buf_func[4]._y"-
+"b.b.t_buf_func[4]._y"->"b.b.t_buf_func[4].y"-
+~("b.b.t_buf_func[4]._y")->"b.b.t_buf_func[4].y"+
+~"b.b.f_buf_func[0].c1"&~"b.b.f_buf_func[0].c2"|~"b.b.f_buf_func[0].pr_B"->"b.b.f_buf_func[0]._y"+
+"b.b.f_buf_func[0].c1"&"b.b.f_buf_func[0].c2"&"b.b.f_buf_func[0].n1"&"b.b.f_buf_func[0].n2"&"b.b.f_buf_func[0].sr_B"->"b.b.f_buf_func[0]._y"-
+"b.b.f_buf_func[0]._y"->"b.b.f_buf_func[0].y"-
+~("b.b.f_buf_func[0]._y")->"b.b.f_buf_func[0].y"+
+~"b.b.f_buf_func[1].c1"&~"b.b.f_buf_func[1].c2"|~"b.b.f_buf_func[1].pr_B"->"b.b.f_buf_func[1]._y"+
+"b.b.f_buf_func[1].c1"&"b.b.f_buf_func[1].c2"&"b.b.f_buf_func[1].n1"&"b.b.f_buf_func[1].n2"&"b.b.f_buf_func[1].sr_B"->"b.b.f_buf_func[1]._y"-
+"b.b.f_buf_func[1]._y"->"b.b.f_buf_func[1].y"-
+~("b.b.f_buf_func[1]._y")->"b.b.f_buf_func[1].y"+
+~"b.b.f_buf_func[2].c1"&~"b.b.f_buf_func[2].c2"|~"b.b.f_buf_func[2].pr_B"->"b.b.f_buf_func[2]._y"+
+"b.b.f_buf_func[2].c1"&"b.b.f_buf_func[2].c2"&"b.b.f_buf_func[2].n1"&"b.b.f_buf_func[2].n2"&"b.b.f_buf_func[2].sr_B"->"b.b.f_buf_func[2]._y"-
+"b.b.f_buf_func[2]._y"->"b.b.f_buf_func[2].y"-
+~("b.b.f_buf_func[2]._y")->"b.b.f_buf_func[2].y"+
+~"b.b.f_buf_func[3].c1"&~"b.b.f_buf_func[3].c2"|~"b.b.f_buf_func[3].pr_B"->"b.b.f_buf_func[3]._y"+
+"b.b.f_buf_func[3].c1"&"b.b.f_buf_func[3].c2"&"b.b.f_buf_func[3].n1"&"b.b.f_buf_func[3].n2"&"b.b.f_buf_func[3].sr_B"->"b.b.f_buf_func[3]._y"-
+"b.b.f_buf_func[3]._y"->"b.b.f_buf_func[3].y"-
+~("b.b.f_buf_func[3]._y")->"b.b.f_buf_func[3].y"+
+~"b.b.f_buf_func[4].c1"&~"b.b.f_buf_func[4].c2"|~"b.b.f_buf_func[4].pr_B"->"b.b.f_buf_func[4]._y"+
+"b.b.f_buf_func[4].c1"&"b.b.f_buf_func[4].c2"&"b.b.f_buf_func[4].n1"&"b.b.f_buf_func[4].n2"&"b.b.f_buf_func[4].sr_B"->"b.b.f_buf_func[4]._y"-
+"b.b.f_buf_func[4]._y"->"b.b.f_buf_func[4].y"-
+~("b.b.f_buf_func[4]._y")->"b.b.f_buf_func[4].y"+
+= "b.b._en_X_t[0]" "b.b.en_buf_t.out[0]"
+= "b.b._en_X_t[1]" "b.b.en_buf_t.out[1]"
+= "b.b._en_X_t[2]" "b.b.en_buf_t.out[2]"
+= "b.b._en_X_t[3]" "b.b.en_buf_t.out[3]"
+= "b.b._en_X_t[4]" "b.b.en_buf_t.out[4]"
+= "b.b._en_X_t[0]" "b.b.t_buf_func[4].c1"
+= "b.b._en_X_t[0]" "b.b.t_buf_func[3].c1"
+= "b.b._en_X_t[0]" "b.b.t_buf_func[2].c1"
+= "b.b._en_X_t[0]" "b.b.t_buf_func[1].c1"
+= "b.b._en_X_t[0]" "b.b.t_buf_func[0].c1"
+= "b.b._en_X_t[0]" "b.b._en_X_t[4]"
+= "b.b._en_X_t[0]" "b.b._en_X_t[3]"
+= "b.b._en_X_t[0]" "b.b._en_X_t[2]"
+= "b.b._en_X_t[0]" "b.b._en_X_t[1]"
+= "Vdd" "b.b.supply.vdd"
+= "GND" "b.b.supply.vss"
+= "b._reset_B" "b.b.reset_B"
+= "b.out.d.d[0].d[0]" "b.out.d.d[0].f"
+= "b.out.d.d[0].d[1]" "b.out.d.d[0].t"
+= "b.out.d.d[1].d[0]" "b.out.d.d[1].f"
+= "b.out.d.d[1].d[1]" "b.out.d.d[1].t"
+= "b.out.d.d[2].d[0]" "b.out.d.d[2].f"
+= "b.out.d.d[2].d[1]" "b.out.d.d[2].t"
+= "b.out.d.d[3].d[0]" "b.out.d.d[3].f"
+= "b.out.d.d[3].d[1]" "b.out.d.d[3].t"
+= "b.out.d.d[4].d[0]" "b.out.d.d[4].f"
+= "b.out.d.d[4].d[1]" "b.out.d.d[4].t"
+= "b.out.d.d[4].d[0]" "b.out.d.d[4].f"
+= "b.out.d.d[4].d[1]" "b.out.d.d[4].t"
+= "b.out.d.d[3].d[0]" "b.out.d.d[3].f"
+= "b.out.d.d[3].d[1]" "b.out.d.d[3].t"
+= "b.out.d.d[2].d[0]" "b.out.d.d[2].f"
+= "b.out.d.d[2].d[1]" "b.out.d.d[2].t"
+= "b.out.d.d[1].d[0]" "b.out.d.d[1].f"
+= "b.out.d.d[1].d[1]" "b.out.d.d[1].t"
+= "b.out.d.d[0].d[0]" "b.out.d.d[0].f"
+= "b.out.d.d[0].d[1]" "b.out.d.d[0].t"
+= "b.out.d.d[4].d[0]" "b.out.d.d[4].f"
+= "b.out.d.d[4].d[1]" "b.out.d.d[4].t"
+= "b.out.d.d[3].d[0]" "b.out.d.d[3].f"
+= "b.out.d.d[3].d[1]" "b.out.d.d[3].t"
+= "b.out.d.d[2].d[0]" "b.out.d.d[2].f"
+= "b.out.d.d[2].d[1]" "b.out.d.d[2].t"
+= "b.out.d.d[1].d[0]" "b.out.d.d[1].f"
+= "b.out.d.d[1].d[1]" "b.out.d.d[1].t"
+= "b.out.d.d[0].d[0]" "b.out.d.d[0].f"
+= "b.out.d.d[0].d[1]" "b.out.d.d[0].t"
+= "b.out.v" "b.b.out.v"
+= "b.out.a" "b.b.out.a"
+= "b.out.d.d[0].f" "b.b.out.d.d[0].f"
+= "b.out.d.d[0].t" "b.b.out.d.d[0].t"
+= "b.out.d.d[0].d[0]" "b.b.out.d.d[0].d[0]"
+= "b.out.d.d[0].d[1]" "b.b.out.d.d[0].d[1]"
+= "b.out.d.d[1].f" "b.b.out.d.d[1].f"
+= "b.out.d.d[1].t" "b.b.out.d.d[1].t"
+= "b.out.d.d[1].d[0]" "b.b.out.d.d[1].d[0]"
+= "b.out.d.d[1].d[1]" "b.b.out.d.d[1].d[1]"
+= "b.out.d.d[2].f" "b.b.out.d.d[2].f"
+= "b.out.d.d[2].t" "b.b.out.d.d[2].t"
+= "b.out.d.d[2].d[0]" "b.b.out.d.d[2].d[0]"
+= "b.out.d.d[2].d[1]" "b.b.out.d.d[2].d[1]"
+= "b.out.d.d[3].f" "b.b.out.d.d[3].f"
+= "b.out.d.d[3].t" "b.b.out.d.d[3].t"
+= "b.out.d.d[3].d[0]" "b.b.out.d.d[3].d[0]"
+= "b.out.d.d[3].d[1]" "b.b.out.d.d[3].d[1]"
+= "b.out.d.d[4].f" "b.b.out.d.d[4].f"
+= "b.out.d.d[4].t" "b.b.out.d.d[4].t"
+= "b.out.d.d[4].d[0]" "b.b.out.d.d[4].d[0]"
+= "b.out.d.d[4].d[1]" "b.b.out.d.d[4].d[1]"
+= "b.out.d.d[4].d[0]" "b.out.d.d[4].f"
+= "b.out.d.d[4].d[1]" "b.out.d.d[4].t"
+= "b.out.d.d[3].d[0]" "b.out.d.d[3].f"
+= "b.out.d.d[3].d[1]" "b.out.d.d[3].t"
+= "b.out.d.d[2].d[0]" "b.out.d.d[2].f"
+= "b.out.d.d[2].d[1]" "b.out.d.d[2].t"
+= "b.out.d.d[1].d[0]" "b.out.d.d[1].f"
+= "b.out.d.d[1].d[1]" "b.out.d.d[1].t"
+= "b.out.d.d[0].d[0]" "b.out.d.d[0].f"
+= "b.out.d.d[0].d[1]" "b.out.d.d[0].t"
+= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
+= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
+= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
+= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
+= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
+= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
+= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
+= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
+= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
+= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
+= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
+= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
+= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
+= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
+= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
+= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
+= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
+= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
+= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
+= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
+= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
+= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
+= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
+= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
+= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
+= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
+= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
+= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
+= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
+= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
+= "b.in.v" "b.b.in.v"
+= "b.in.a" "b.b.in.a"
+= "b.in.d.d[0].f" "b.b.in.d.d[0].f"
+= "b.in.d.d[0].t" "b.b.in.d.d[0].t"
+= "b.in.d.d[0].d[0]" "b.b.in.d.d[0].d[0]"
+= "b.in.d.d[0].d[1]" "b.b.in.d.d[0].d[1]"
+= "b.in.d.d[1].f" "b.b.in.d.d[1].f"
+= "b.in.d.d[1].t" "b.b.in.d.d[1].t"
+= "b.in.d.d[1].d[0]" "b.b.in.d.d[1].d[0]"
+= "b.in.d.d[1].d[1]" "b.b.in.d.d[1].d[1]"
+= "b.in.d.d[2].f" "b.b.in.d.d[2].f"
+= "b.in.d.d[2].t" "b.b.in.d.d[2].t"
+= "b.in.d.d[2].d[0]" "b.b.in.d.d[2].d[0]"
+= "b.in.d.d[2].d[1]" "b.b.in.d.d[2].d[1]"
+= "b.in.d.d[3].f" "b.b.in.d.d[3].f"
+= "b.in.d.d[3].t" "b.b.in.d.d[3].t"
+= "b.in.d.d[3].d[0]" "b.b.in.d.d[3].d[0]"
+= "b.in.d.d[3].d[1]" "b.b.in.d.d[3].d[1]"
+= "b.in.d.d[4].f" "b.b.in.d.d[4].f"
+= "b.in.d.d[4].t" "b.b.in.d.d[4].t"
+= "b.in.d.d[4].d[0]" "b.b.in.d.d[4].d[0]"
+= "b.in.d.d[4].d[1]" "b.b.in.d.d[4].d[1]"
+= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
+= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
+= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
+= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
+= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
+= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
+= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
+= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
+= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
+= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
diff --git a/test/unit_tests/buf_s_5/test.act b/test/unit_tests/buf_s_5/test.act
new file mode 100644
index 0000000..75e1833
--- /dev/null
+++ b/test/unit_tests/buf_s_5/test.act
@@ -0,0 +1,47 @@
+/*************************************************************************
+ *
+ *  This file is part of ACT dataflow neuro library.
+ * It's the testing facility for cell_lib_std.act
+ *
+ *  Copyright (c) 2022 University of Groningen - Ole Richter  
+ *  Copyright (c) 2022 University of Groningen - Hugh Greatorex
+ *  Copyright (c) 2022 University of Groningen - Michele Mastella
+ *  Copyright (c) 2022 University of Groningen - Madison Cotteret
+ *
+ *  This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later
+ *
+ *  You may redistribute and modify this documentation and make products
+ *  using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
+ *  This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
+ *  WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
+ *  AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
+ *  for applicable conditions.
+ *
+ *  Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro
+ *
+ *  As per CERN-OHL-W v2 section 4.1, should You produce hardware based on
+ *  these sources, You must maintain the Source Location visible in its
+ *  documentation.
+ *
+ **************************************************************************
+ */
+
+import "../../dataflow_neuro/primitives.act";
+import globals;
+
+open tmpl::dataflow_neuro;
+
+defproc buffer_s_5(avMx1of2<5> in; avMx1of2<5> out)
+
+{
+  bool _reset_B; 
+  prs {
+    Reset => _reset_B-
+  }
+  buffer_s<5> b(.in = in, .out = out);
+  b.supply.vdd = Vdd;
+  b.supply.vss = GND; 
+  b.reset_B = _reset_B;
+}
+
+buffer_s_5 b;
\ No newline at end of file
diff --git a/test/unit_tests/buf_s_5/test.prsim b/test/unit_tests/buf_s_5/test.prsim
new file mode 100644
index 0000000..f253f16
--- /dev/null
+++ b/test/unit_tests/buf_s_5/test.prsim
@@ -0,0 +1,64 @@
+watchall
+
+set-qdi-channel-neutral "b.in" 5
+set b.out.a 0
+set b.out.v 0
+# set b.in.a 1
+# set b.in.v 1
+set Reset 0
+
+# Set output channel variables to all active (incorrect)
+set b.out.d.d[0].t 1
+set b.out.d.d[0].f 1
+set b.out.d.d[1].t 1
+set b.out.d.d[1].f 1
+set b.out.d.d[2].t 1
+set b.out.d.d[2].f 1
+set b.out.d.d[3].t 1
+set b.out.d.d[3].f 1
+set b.out.d.d[4].t 1
+set b.out.d.d[4].f 1
+
+cycle
+
+system "echo '[] set Reset 1'"
+set Reset 1
+cycle
+
+system "echo '[] set Reset 0'"
+set Reset 0
+cycle
+
+assert-qdi-channel-neutral "b.out" 5
+
+status X
+system "echo '[] Reset finished, setting some inputs.'"
+
+mode run
+
+set b.in.d.d[0].t 1
+set b.in.d.d[1].t 1
+set b.in.d.d[2].f 1
+set b.in.d.d[3].f 1
+
+cycle
+
+system "echo '[] Setting final input'"
+
+set b.in.d.d[4].t 1
+cycle
+
+system "echo '[] Receiving out val'"
+
+set b.out.v 1
+cycle
+
+assert b.in.a 1
+
+system "echo '[] Removing input'"
+set-qdi-channel-neutral "b.in" 5
+cycle
+
+system "echo '[] Receiving out ack'"
+set b.in.a 1
+cycle