From 9d965fc26fa16736ab9071bf83d481d25c568546 Mon Sep 17 00:00:00 2001 From: Rui Date: Sun, 22 Oct 2023 13:54:21 +0000 Subject: [PATCH] Feature/planar link --- planar/planar1_F.output/planar1_F.intinfo | 128 ++++++ planar/planar1_F.output/planar1_F.licreq.log | 41 ++ planar/planar1_F.output/planar1_F.sbr | Bin 0 -> 32073 bytes planar/planar1_F.output/planar1_F.sir | Bin 0 -> 72306 bytes planar/planar1_F.output/planar1_F.spckst | 11 + planar/planar1_F.spck | 418 +++++++++++++++++++ planar/planar2.output/planar2.intinfo | 12 +- planar/planar2.output/planar2.sbr | Bin 40330 -> 29481 bytes planar/planar2.output/planar2.sir | Bin 72189 -> 72189 bytes planar/planar2.spck | 109 +---- 10 files changed, 619 insertions(+), 100 deletions(-) create mode 100644 planar/planar1_F.output/planar1_F.intinfo create mode 100644 planar/planar1_F.output/planar1_F.licreq.log create mode 100644 planar/planar1_F.output/planar1_F.sbr create mode 100644 planar/planar1_F.output/planar1_F.sir create mode 100644 planar/planar1_F.output/planar1_F.spckst create mode 100644 planar/planar1_F.spck diff --git a/planar/planar1_F.output/planar1_F.intinfo b/planar/planar1_F.output/planar1_F.intinfo new file mode 100644 index 0000000..72bab47 --- /dev/null +++ b/planar/planar1_F.output/planar1_F.intinfo @@ -0,0 +1,128 @@ + # Time Integration Statistics used by Simpack ModelExpert + 1 # ModelExpertVersion + 8 # N-Values for IntegratorSettings + 0 # nx + 0 # nlages + 0 # n_add_eq + 0 # n_roots + 2.000000 # tend + 1 # integration method + 9.9999997E-06 # atolg(1) + 1.0000000E-07 # rtolg(1) + 100 # nipmax + -1.000000 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 5.000000 # vipar + 5.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.0000000E-07 # vipar + 1.000000 # vipar + 1.000000 # vipar + 2.000000 # vipar + 2.000000 # vipar + 7.000000 # vipar + 3.000000 # vipar + 3.000000 # vipar + 2.000000 # vipar + 0.0000000E+00 # vipar + 3.000000 # vipar + 0.3330000 # vipar + -1.000000 # vipar + 1.000000 # vipar + 2.000000 # vipar + 1.0000000E-06 # vipar + 0.0000000E+00 # vipar + 2.000000 # vipar + 0.0000000E+00 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.0000000E-03 # vipar + 3.000000 # vipar + 0.5000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 1.000000 # vipar + 0.0000000E+00 # vipar + 1.000000 # vipar + 1.000000 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + 0.0000000E+00 # vipar + + 14 # N-Values for IntegrationOutputInfos + 20 # nrhs_total + 19 # nrhs_nojac + 1 # n jacobi + 0 # n mass + 19 # n steps + 0 # n roots + 0 # n error test failors + 0 # n convergence test failors + 0 # n steps_rejected + 0.6892850 # last step size + 1 # last order + 0 # rhs_error_flag + 0 # integrator_error_flag + 2.000000 # tout required diff --git a/planar/planar1_F.output/planar1_F.licreq.log b/planar/planar1_F.output/planar1_F.licreq.log new file mode 100644 index 0000000..07562a2 --- /dev/null +++ b/planar/planar1_F.output/planar1_F.licreq.log @@ -0,0 +1,41 @@ +********************************************************* +License Requirements for Model: + planar1_F +********************************************************* +solver: + - planar1_F + +********************************************************* + + +Body requirements: +================== + ./. + +Marker requirements: +===================== + ./. + +Joint requirements: +=================== + ./. + +Force requirements: +=================== + ./. + +Constraint requirements: +========================= + ./. + +Result requirements: +========================= + ./. + +Filter requirements: +==================== + ./. + +Primitive requirements: +==================== + ./. diff --git a/planar/planar1_F.output/planar1_F.sbr b/planar/planar1_F.output/planar1_F.sbr new file mode 100644 index 0000000000000000000000000000000000000000..b582a9c7deac2053b1f8d7b61a15a1a6114bf445 GIT binary patch literal 32073 zcmeHwc_7r?_y4q^Y!zkA5|tKvWjCQLm8FPMjKPp~Fk{~;NkwU=Y?aU=QG^mnS&LLC zSrULR3nM0p=v-rFO_mNzoA~lClz# zst88#Y=Ol&*jPAW-7zj8hmcqV{+xjoKoa0m)t`ZcjXBw)9nmh5D0N7kQ}BOka4BLb z0<@Q}ia^M!ArSuH0~5THKg5#RzfzK_`b$BU8GH;;Mpzd+8%JwH8;m<-VF4fEKS~!P zx~Fddv}K7?CLCcUCPV0&yaT_(32R(G!q$UGT@T5EH5b zV9w+hBdqMjkt@VybIcr5l`FmVk&d4pDx(5^D_>+yriG^Nf_21Gpv~l=wh;)oP_CTC z2!u3{0mwp3-&u>0AKveuD;pdPLzDs53G%>^1d@?*M5NQ#cE2z%<$|?lkgA@UNdJK( zETpOrnuO{n03AeW;XH95gMj@PCT1xfA%!BHAU%`s6r_LlNU$^5I9UMgxdITg1Oa9# zbD&Rii!qoFJ8)SOOj>0ZB$W2LO~&=VA3(!-W}G0@4YxlyKhbk)+&< zwIR+b!n~hT`e(`FIr5M?NWcbvz+}rIJ)f8z{u9b@_=$trqk=%JB>5!*CwNAXKM3gk zV3(=WV#JCnAtmUqs1wns;C!Y|uuiNZG*jxd2m$p4ZG}1!(MVo<4v}bf&{b0>A_YoL zorpb#!$+Nn6etCCB1%9m1?COa0U61|vfswh4wB&j3R4#TQ83>~%{VhSQsmK^9VrM* z9;um8fujQxd6Wow*k9Npb%H%RfrMs5orpbSr7i~f#fZ>1u8J$?p%6!kVrib?A)>9G z$c=29}Z& zQ2+?Jco9WJ04))3zmkEP@}h{Lnu2 z_8dg1X{zYx?Ab5rOfvFZ4nP2@k&Ae5A>F4*_a)rKaun$6Noh-$sOrO6 zXlE_zAc|83PvxM)kcf9dJL2pKQlaeyoUk|>C?J%}0enE}L4E?PaB^E=T`Vw=q65nz z*DN+fupK3(_R&zK|^!F;>rD+5e?SSaS(Sw zTY?9WdXQfMH#B7mZc>|o0C;hf%-=v66b0>qLBn2Bh+hpza5y1Jzya%kal{ijwu3^D zdXV1%2lOW9uJ(3-!_w8>6$iBdR5h!G8o&hSHtskE?Lw2QmLvzXTsSg>pa-^5N2*Sc z0$81;4Uhvi0-BiBUOnJ~nsCF~yEoX3 ztE&s`#vWsVcd@YmGsM!x#tkE|M_XOM0_%vwqaE=O*Km$?{07zF1pT8L zxe8RCj)MyL3sMiV74Sogr{D(?*+6s)!l>vTpOLxkPhJ~GOIHg5FBC;n2?#R--458< zKq-Y)lSdHt78u6t7;ZJ5<8Z^c;4lJ2TYw;v zvqRqtn4lM&>o(997C@^+uS+mKaop@2>jPDw`=U?|B|o4N6*OC;ACy6LQj8SvO90=R zAn}aa2LK;zj_@i<@L3MCdL9HsUO=>lGn*iq0B{r5XaPJ{fO>Fd#(n6|N@QMGj{rdI zAcbOwK_yB9hbq&a9ib6G2LIq}!IOGm2(lpcAV&d#89X_ltsOCV8w)U(Ts`2-HZq3{ zkYx<8z;(*X1p|DqqlG6VYkENOA7c4QV((pFbjYuDi>moakK<0iond8Kpdyp!JY>7;Eck6^~%~4 zTI62v0jUQGwF>P%dN302>T!bZ}%AlJFEZLO>dA_{QIpctec=@bi4q;OId+op%4WMZ6rS9^;iKv)F)h02`d?Cv71rVO27bBHNyZ_MX)*n z!*Rnvalyh!;p|oeZfJx!tRs*WtVHBR1C%3hTO3Tci_b3FY^1jBfh7vSI2y`E5z1|s zR@H}nhut(d4k8^(l2jlMR0F3bIo!np)58Fl?g-kn#6UVZ!OrR9u}%UodLb8r`z|OZ zxjG0&!3@PXQQ%AOf{sZWgC_NiiN*fvk@DDCF9`myy5KuCGpf#X+ zTM)VcB~nO6bjxa37Z*SR!()RdEsz2j7Z&p$D8Z@Dx>hkaWw4iiIkKS`*el z?behO6Goxu<|q;2^Bk(>+}tcL@d-*Wi)-(69Q|j>f_3o6G5EQ42qn~YpbgEmgSE24 zVes=5QP-N0U20CR3AtHb5GjB(hj+Hukk@jSm-sZ(M*`BEUeA;)SZ8jpVV#A04LPWK zJzGTG60}R8D|Inpb(G|s%q%Cd&kXdc`YV^K>d%(XKCND*s=slAsy?(H_#rHo#C=e> zZV`91;k>2Tt_3*)FN|~GVg%Z!;%1Nx7eIo%X!9AxQDq?-)B{Xpxttb2gSJEZc7d!I22dnS;~R&6reYYC!bBF} z`~m{NR%f(2Cj$}S@WVt#y7w2P8LdL3nG8gL9fgUEl)V5Fl}@R$5C!T8CNkPr8fb9$ zgKYAK82kB69z@*`>%V96(9^&~mbQ;V+8_VQVN^gb|= zkv1-XL^S|ZS%?C43=&EBfd+RYSAY*GusMju z!&)$rCxQUj#rsb}8z>wMNZ`tfhEXj9hv|<3SP0)bVItqJP{<9pl_`xMuIT0<&?i&? zf2i}YoSQ@>>*2`)cu*i~w1dM8;2#AL42FU*ktHlz0P$ZM@4r(O96FfDf;2B62(@ac z^AHCv_%M-GwPYVL4{e@W^?zvQj{;bij|hNROA0sF(LjWJE5HXDAqX{S8R35rY>+hz z`$9XuhW;NWvIbo8Tq)RM- z`hs6Y{d2?GNQE@@7bMy`+(d=MsYhF;|B7LWPzfNlfB*{{)@CZC{eMBCt&}Y!BtDX1 zS4seS+oCL6cwOX*;Z~ zkQF3#65QE?#5~OYyA6SD#ELVn`jh^`NVHWbN=72xI}XuCg0pAg4FNF{3VD&EGn^ld z85GYB2=)6a#ek3&k^jyx`ul+FB%!5|?&CDjU_1{$GcJo_HJlwN%4q*z z4+(iOgu&q7Lwy;Nz~rf&iXs-kW~t*%>Ufnp4{OR2tItGlHJ zr-2C7H>=vY5iFHz|F7Whx}UzaY_8B9eqej!VL6Ai*F4 z`c}e$O?7x`lT?v#`hrj@K==!bVTWLh0o4M&RDoHT;M{^=@{sT3vcHETyC5q_WXJZx zikOGU@F?j&4|7$B6=&XUzx)M>w&qkxNMxCM7eIoFSU4O}qmql!npi;HLl`i_7?GfB z1HuVaQcZ%569i=IyVmGNZa<4@wU( zaU2D}nUaGTD{Zuk9p$+aa8wR92NHRBE>Q?iJyB+wAV*%rCOrSr1ZjhIW(Ga{Cryx} zC1Mj^e`#Vbu@f`BDEKE$ki#fK6Z`+BDAI<}OcM|pPOJ_MjyO?+vr;wQ1Kw+!2!)DU{1j3wz6lF_9gtg{FqU}FOui`UX zx=S2rBmLcf93WOk=#bhn>{`r5%yS zm-eWT-tH0FB$K)3yf6~&Q86G^MDUVi`sG3!>F=XL+ABcpCCRnSb$&GHZsB~#VeP@$ zR3Z;`350-}U;}qBpUA(!K^+IDk+Ci_x}hQqP>@%X5LSUZ#UV1(oKuNZMCv1p;1>d* zHcVu7Q<}}c)XF=1jW%XGGX2`W2CJC1o<99(E{Zu7N`vvVuQ1ee>6ZU zpBMiy6dxpVWZd#Me6+{>_*CaFiKqy~5z>P^=`P|(}m|WQD{7hxOSrm z2i!=TT!$KizwqG=#`!s$VHWOPm;B$Df}a2NX4@5F(TI8)m+zxw`-|+_z=~vX@Mvap)IK zLMON4xIim#M$8-#M$H@$M$J7SJcnz+W5niEZJ%ABZ7#qIPoAR4M~>&yESc%A=aMa` zTE6>FS~dXZmqDxW{4&ZCg9pc?F_t78LMRQz6NgNsL(bsf{ahxnItfm1REel*$8P;E33VU%~H>|wQGncNj)N&KYCxfj^m{732?rN zIhM~IcITs6p767f+0#j$MkbrtsJ|uGd=Mc;0fGyNifB_%Fp>3z4kx zl570hh|zAcZqhDC-+IsGW%;Z06Xs$^=2%lxS(S~Tg=FmIlxry=DW@)5Cz>as6D`;| zdAK6Dj&knF-`gV=y!fbu(M1fpE`4+a{gop zJ!dT!s}!HP;(JXgKD1)7M@V@2K=<{)C)YQ;Cb*==sV;4?0bFY=c7Ti7g1M1C z-xyr-`Ci}(4Otxf`YXH&zrOwYcH~^j&6JzH(iV&sjEx-mhWUo-mk(G@6o1YCnm=+O zB??>tDObT2oD$rtU?F266B}4wd>k{8`!(-t-pJLIFmQ#Yg!Xb+AT5xMSoL!U%z4dt zEx~2ZYd(<&?C$+YnDc3HU2_g`4(a6=D$i`3W`17S2_1k(q=gyhvRE_rkW&XFRunFw zL(sV*2>%I-`6=+lVtxvI-JPETcl_t4z!!`8De$dsehPHi^HX3vH$MfwTFy^_FP!sJ zV3E7Pl3DV^HbnTFh2$E#?McI?>qBT;Oo--6!?xcKLv(n^HX4;KR*R7fAdpd z)HOealO_em6R?iiaWl?$u^#N9KMyFLFM3Uf*soHU0^^+d0eKdx29IXZ#DwRp=EvkC zP&%*X?5jAy8I+^Gig~^0fiElHGOw3fb62EmG~=|M+Mav)%q|S4PPMJRW7^)v%enKA z8ndc1&lRT%@48A`hV%Ovv{Y4?Mb`#?)Qc&|d6V1f)`~+6;(4+d#75Opv z;Q_kInw&k)PztHO_z2s2w^q#-z7H`q2`PBJoSl51N(wY8(ld>&*EM>5aaa8im9SmT z-Ed!=iju6q%IB6dU!FH!F&}$sc;m_awANekYq9s`UG%$+(^ChBldX(nwgX{f19$j+TXk9bE(QBE35#bIvC=C# z<@&(_xZ65>G6i6t|v&t=jWOnk9?WB-ZF&&e0rGTP9?0@tJcX5+_#oz-I)5a zq^l<4FCE<`JCwgoJ{`9jE-PJC%2v9jl%tfZl&5rEDStCV|LM#(KIl>jY`DUE{-Kpa ztAqAK=Zu zBY5wZD#M07-<*O!-dT(5Q%ti-+x}%Wmr8`5n#sAf=PnsD@rW513%KP8oEO`(tggTF z#;ED7TjGHiR;g~#R6~~~pY(rM#qH@#%GUR^ zS9vh~crCZKt7~?py?ey zpG|%}N#8Me=b`>pnTiU9JL1w+X-~ZlSr1>d$vjv-epP5Jr8lHfUH5of>namZPrX=~ zG5o-;&>L+EX^&&|>&N5=d?u`IqfPfJ>}0q3HPMK_W2zlIESB&go$hmHgQ(58v7MP) z`^VQly(t~mdELzZWm7S)#JqinvO6ZfwOGc4`8tkF^hEY#_0;rCBwtL9PEJbBPA*NZ zOYTaZN)AnqNq&-?lU$ZupWK~1?Zncc_$Kpo|MC|0(yft4WpkV^HYnz0p6O?9;Vo5& z^p>4=Vl5X-n^N{{QJ6kb;5C#IgOd%#$;HUMw-D3eRN~UYIDntXOp2r|4!@QPe~$`lrWZb@2f;-GM#W0gccBttSKf$_BK% z2UzKQ5F9;=HuWr)=~<%Dv(%_(nRO4Hdk=k34?|eb@`Roh={<}EJxoJbpuT!+DMbKi6%vaCS@~C$`%5J z;7HNz`Qj=_tp^Oj13V0?o_|RbEWFbtSMGS(ELK}oXZhu|C-p=F_4cu!yNwoPDA!Z{ zq7<~kcJ&sCPv_}kGjxpZ$9pNK`vW&hu+@IWn6Pw%E!WptsiWT4)tkH;evueNHTNSZNf)xt&j<; z#gF3H3`J$OMj4@Ox18k>F&6>@aJ{WfVZXbLLx$_^oSX4VbdD3}?lj~`dbn#V%cboM zt*UH!m#sZI(c7#z{8%m`?78LVmkyaecHYslAFq^cbZa{1YwecaSsc2@&TY!^!_b50 zS@`>fLkfGu{6$=P3#PC8HXa-PazK}V@;#alcQcg5>-XJI)`=gC{v&V2vwP>bR*%=q zl$}m-)cl~=@OZN(+v$u{!ob8If!MB60UWNQ`N zv;MTBHNq!+BHZWZ#7&=D6SsUKCL&zI`@&sr_T6;3)pyI~W#3EL43CVAjFAl4OpnZr z%#lpl7alJ%UW~kued+Ns;8+nR^wEyy{#;`^JA+qa+JXq$GA{nv)T^+6lb0uCDAyYaq_=fa0vEf?qA zI>ouUjxLA4t>I8jeI9x2Bkx;Gxq^S-SafuB%jkqh4hoz1^~b$SKR4fe6Rq2Kz<87X z;YKTIl`h}wFK?{LezlP!P*%K`v!P(mi}t&g-#IihT11+yGHY)&RLE$5P~r6d#U4Gn zGOUGd>6ZNCk-UN~vTqMLBP_CFYVqQ67x{)ht6WrDG!|(RqCEcXC01y|8s*nV&;G9xS9aRHpIEYmd+E6|Udn^Iva;(+ z<+{g}%lhRa?~0tSY`r_y+z`-Kr?9Vrhk4IKB^w=NnEnfy9g$XU^}1D4in{f6+VN#U zR-X$Wy!-O9-PicV%UfeHNeS^+>p$1TqFTRAu++Y&y;euPY{&2+-+cw4fX-`CN zC9bP@d-%wv{OZ&M!}72}mJ9JZzuHZVxo$KY>)4s!(ReZ(Q<1{hf^Yuh>6&U{&~B{F z-C8l?5>p&8SzRM{TNg<;Fw%(;9b&d^Y`ks7%KE?uqbZJ^LVd%PD!G37tbxRZ7aVJj z4d8q6yKxC}7T_&l;g?Pb7OAZ&0DeJ1Y+&AlC5tKuoo1( zxwl&zt+JN;g3U*PP_E#5xwYK+LPw6T-?_f1^v(9owrg)`qPHH5=Fz`q?bjmQ9jCD| z<(ZkFLf_D&g5RU>uZC-I+4W`VNgu49eaNneh`xi9UR!kKZo`SUch#PD-@JTze1~TZ z$L3JfzN(t5mMnf+9&eH~tX@=p!L(|dCaK#-6}LM&Fs*494SV<~{a9?mb>r&B&yGWO zT0tlccb~DU192D40=q6=Z^b`1Np{5`DD`pE~6Ke_z8QPqU{?44m{wbAo^+32eciF8ABrOY*K zZ485_-A@mnRzB@_I{Wn0X}Qy$A(_nWC6pG1W3nGVwDZnNUprOfgJ3 zO!Z9DOe{=%OkzyROgc=aOpZ(amR?*My)F@X8SyYe6&Z{5x8GtEXD`HTo zmwJECbIvi&^($8x?`RQRQOzK>_3j?g$8^Ta9GLFzyrFe^m8#ZSc1iT%l}(XGoAaI7 zDmHQpF&sQ~{0?KRwo=aM*4@S?U9Vaqhet=EtnS?TfU-)RDh!F{d)!_Vnl69HE7qYs zeuu)f3dup^exWC+dR`AkpOvMhJb9S;iA~gy-`4&6{VnfSRlGb?G3l*2Y|8Yzs>p6E z8GppWU;N>d{;cZs$nq+sf@|L110DH-lcS!yOgM%fnr^dwZt>{+cShrfsdgXwT)4Bx zlzh1-!pCH^6N*ZEzu;Q^xE1}RYu9z^HoEI1^abR#8g?fctUDZW-l)0Qfz9FM1tT?N!<>{GBHwrh;uu>vN+lz$WviUB8zS>O zgK(@Z{9S^#0@d4#6zWII}idR)4H;OMj3%9S;t=cqz0bShIL&HG2X9zf0%AJDw+(p zt*ING_DhT$PeK2je3;2!JB=`x5UZA?IrpWA#&kJnpXveLcko3*1-?l1gb-dNqN_U! zKI!eVT!Ek#WVqSNJ)w6OUpKvJbn8}JvZU($r8XiV{iw6Dz>Mno zTYPj>iYzkMHz-_Yklo;C)L)nt2Hf%fF*ZquUsynuMzfY~XkPowW>*{#h z+txpL{fjqu3~P;Ouzl6dzvQR1yV-)Z+_iy8RQMm5$`AU8I8O~J)i-Lv~+TobMN$K`_hWyAV2gT^z$#vcTD-47nSf7RC`6j1-^43{N6Ey5S zba3dBXGF&xjdH1=-7aw~aUE-r_$_)(dQVQi7QDK=1$4F0qsBf@(NhDVMLH-bt(SS z4$%_hCGmVLL#&1hZ==V5oB8i4E;qZF7Mtjm8hcbVt`YUXvB1IFO7=w;s%_*)r+Pt{ zp!d2^U&StufscC%ata*fY^S}OWCa_qH|}^IdJ&8D!%a;5PPYgZ2>6`)EJP>xOL)}U zqGVYudo$;!J`8tMd@jjq^4(*($9IqQ9=|0^q2i@Xfqs>t6CF#wF+SyQV!7nKt7~y4 zYm?3;@7ylB7yM1Em;854EgofU(!J!LJ4H9f&(3nY2NB39; z)9mNZ2J#1%ti7ThtQ33d>sJQ4)XTeE>>dV&Qw)xG&TYJXScGm^$Kp=n zQpR&D53g4>d@Hb=VM|g=(G$(fw&6FuyX9KA;=%hxQeABYZ>?`m=GWm@ncZJY!!r^% zM?C~fqhIoUPuG4Mts`XE98*xlx+?F9amrw6iwADNPBDCZRXWS$`RK76PT6BkLszv& zzjuDf%>EjaU{&lnsw)?oTAX=wbIVxWRL#xKl7QMe#TV6Ar=#2Q-<+%Ob+p-WzOh8o zEshOYkp1>%Zy;y*6#J8~=DWUQzV@xYJgmXIkNclV`t)Glqx@EB(8avF$Rq9C|MRm* zwZ5|hMoMhQ#wx?1NSyAv!GZEJ-e$?L(cia&#KuNmvu5`M=}!FQnQjtb%`DW=>AMm! z;dFxj*pDTfJaU=+oK9~#*1%}(k+*ItD^D-2uh8zp_^mR#?6CGGuT0&pu$IF9rp!K{ zBN~-gT`|7jf;u*RGkTh18B^qU)pyglZt3O7O>#yq*-eo}p1*2b{B8!kS8HD1e_5_5 z%hFK_c{BFCe)E?8>vAPom@X;*(REG3hmZcp@tImh>m<*##pFcj7ZE<}MCjlEatr;# z=|!rY$hGi$^Z9r8c9N%MWoyf!BMEPgJk`0o_Nfjxk7eZf!-RepZWRF2?J55bcUZTjqG~Rt57@kw*8)8U_oo8r(?q4lZ?pd z<4$s$hn?l)ie2PuvvV8p;{x>IbiFD+1w1dwU-C*;zU_BOPN08R^Qrgr-?HJCpW4Mc^?Wm9_dQO&ecQX!ohp$(qSxs%BYP)GxgFnca--gv`QZ#5%G-*<_ zNR)YdwU=f!cw&Ek@%GcCXw#&?bLi0Pf8X~-h4akj9os*eOJW?pr+#{&*%lvg?S=GV zj?0(URo)gpt9t6qP7%R3!KJ45zXZ#f_J55N+IHN*SZpf0Xvr#rYisvzj_A08x44E5 z)>4{UG`Y-_S-Ri1emuKOqP!RLBChbxFw3{W*8$r*S-uUNOJ!fzzV}OORKIJ@t<8f% z5=ncdgAS>G*yn0x6J*QN_o%Ggcn$x?InBr(m#Ii2l{y2GS zH%yt_f3};yd-_#DgkM4ur*oT9d*qlw;T><<-UENfQU1#9gqX7X z5huGJX4>uFq0M?fsm=7z(ZSt=x?^7sAAGf!Pw@%g8P-Q%(^U`2{L+iIK$;xoUYzvY zE-p#)Open%ft>MIGF8=b#@3J1Opk6l`m@RGnLf)JhZ`DoCVlN5nN7?wY>y@$cJx%{Z}MJV}>iZAbTAJHUP>N7!mh*(a6Nyf%3C4Vs$+ zB}t zcZuE)_L*2Tc`CEI<5iV0*wc=1IC7+UpW4j_t#atQ4q@+$ZdrZa@d>@N@?pvrq5Qg$ zT#qyUx42$z;C_DYrI1Qn-{&T)KJMkbg_lk)4PuwCD#Gu3&a2dYrO!G2i%Hq_b5)s7 zM_rP5x$z|lc4FtIBSafE=-hl6vmwe(`j?H(8Foi4j&z6Xiayu21iZZZcGNSl$>=*q z-uuDVjiN;glLa1S?{5lq`-fknM``=kXnbB5CH1VY^lg}ScvO8IC#pB&fe5#>8dihD z=s$h43rOqXqhBJ;r=j)Lf>$oO{OHXMIeV{oReb))leWiuU)YBBzKq4%HC>0St0W&E z>#TaqF}P)o_AQy(_(OF%4w-$2Cp(qAhIL}5vL$YddY{4j{YviQzVN%Ga#ih0-f}(J zyV>82#+0_-%Z^u3il}=s&RgcHfePJ;Q7+g2{$fDASE;t!w(6Bl`k;sHqcb~q*!kZ+ zunCuBD-mZJTpS>e&AC67C2vx1^r$S}Hnjrv_$X`4=aH0$?`RttuDtuyKibPT?C^g( zrO^ScjD2FstyjY=@OLa8kqQ%sntwEaqb3@?B7E;+!il5Sqi z6Dx^*u>BF|<~283Es`denM6h5qWgVv>dU_AAK-b+T4kR4NX#&0yzvVM_mj$!USo;x zt%Gg}soV+ik92|~B3E!nC83=AqFv<=wi+1y97rwPobh$@)a}m?f_3D|qQ-<)8yt8ahV<|E7%>HZ|QB-DZ?sckKF?W*gL5qXTiKqud)SgQhFb5odR| zhc5qEdDzsy-b$EId-vAAqlPzbAW0L0J@VjEe@TU}_szccJlES^57f8qUlbM0Zj`FG z3H9FSXrE$j;);XgB{x?bmNb!z)8Fw(NzYwu;`vc#c9om^ycG15* z?RO&I)`(A-C7w~w-5rA*zBZ?)n&m|8%(*^3d1EX-uk>A3`oy@&^YPuGQF7IG%JmwL zUVOLCsbfCe@X?xwf5P0RjIPt^*QIsia`w^hSJ{S8hv{x-O!*BA0%x>ZKn-!ne<@z8h$mUCQmVOEd0NF1zx| z1N!0MJM{9ERbi;h>nkLry}Q#YW%l2|e0yn~9$l5>dP6r%=bE*D{Wc8^(`#zakR=ni zh%vDy>O@Jd@7x|pkr9q{yvJU(`Njh(S;{%)jcM+K8weh^cS}?%5Q&l zKlGJ<>hKuq!v*oy*KwG^y24M-g|2^jbxe!Vs4{MJumV5ovEvu(qt=p8+v=>88ygjD zw~{nH_S>4JKfJ^T|51&@*XIX4Y9w!yU+)EfmrFs%nuIoa7HRv*zFs2MbCNCV2OU!O z4O>!ApmbIPi+|mnSIUxYX$9l)Wf9rf7fG#S@#AkM8{`^18!{V4(NW2!hh-A~-0!D8 zX|%F=RrBg*wr2L`HO*_AIhqfLTceW#N7ptV3wK9%1&(s~1-^(!1?`La1M} zL}=!F4SFSfc>%p&Pax9gCrACrCVJ1pJ<2Xu!fKj=mMH#M%rBeE=-3k=q}Z?mC7Z|7 z)zh-By1n*7+H{K7RKe8EsTA;ZYpP(kMS=fs%UwtGi3W06X`d>Z_g&t4kMCaqMA|;B zOu(+HX>IU~o-UEg(Lc^PA;wc9EAdr=*|Axb>4n;{NG9;pg-hQX5R=%+W5)f`b)B(M zzZ;L$m1sT=)6!*aTqLte(S+B=P0IIs?nx7leT)wKwWoi)bIesREih_h%Whb4tWtsL zMhePPy>biMYI0F*kwWT_qr||0w{{)e&(gN;?o?cz$rxUNOD(f@{-&tbF~xqaP15j# zkfQQB^U=4eso^S0kt%sQ7IvE^|9^cWE+Xqmye485^Zgbn@5;3|AkDa!c3;4Z;|Mlm zd#Ao_JLgL0hzvVH;lK`FO?3MCH^y4q63wrlcuRkB7sFnkm3ua{>z>|iuz3C9`vOmK zYZ$kxEIEJfY@qo5>nF^AjaK@v-}4Y{1-~-Gh97)jVC++U$Q##U_}C-OAVQ($dS!i= z?xq-~_@b(ogDuVLecOD)iz_&63c5#AZGL)Jr}xOXhTxBTn#Fc?)!dB{Pj5enI+E9T z=tAj$t<{!RoNvx2Rg++E?lF&^`#J;bs$OCPhkL$OGkFR^|Pu$ztJ;oM-v9oNA)X^+OB1_U%tHxe38KT z_&vwiSmShYwr|&eX2jgrqfJbY)}{N@_4&G)xcR!F-28_kJ3PPPp0!xFTeb(f=8d8G z(MU83?T?N@=b-D+(+#{0iVepad>SGfvKnd{CeSQsKC~EG8Lfjh1^*XNKlDX(G&%{L zjV?vkp}Wvi4eks%8s3CMAJNyg90p51g7K0P4ACk5{nGCHMKzelE(FX})_cPe)%UUCYHRLEA5Gcgflh$&ZgkTFHru z=2Txfc%EkmN2=WBwCV%=(}C5koxb(mp)I3|qv!JskWm{=J0znvq(7J%*?)Y?ano(+ z{*~Id;ym&*ava~c4?J6bt?q*BbMvm|Z7-fzZ1uL)4|}F{Q7>Z4H%C!r77;hO#KP+P zD~6m+61^?Uw71}P2-ROiJr-rOJ;qWP!?Z=|=|i^mGx;kbws=3s$JF0=B$)Ut*W_`= z-8QGL2a^sc*OTEJi|O|c^S4!c-xKUkIq$oC6uDYHMt4i!wJ+|zdo!EA)E7m$Pd$i@ zRvx>Vr`RkNqtsy`K0g0RwuX7n8x#qmN@8zlh=v;TO^bxqp|<&DOBfQgX<>#~v`mBU z44pRv-6BrrCBJ>}yELO$-Znt)cx~pCXNHJvkXT`6wp}!2@tfD+KOC(_uVqB4XlC}2 z!{V8(@d1b0)Su~tw_@9N?t1>=R%}TFrwGfv3I}KOZ7+dWk@ig6`7JNj?lQm4e`26- zRp?3QMJrgxK?J8}>Du8R#u@VSKnMpo7Ob1ZG=6vn`Y;Zk`3*o;?&3aM;UM54$8DJY zE;LO4Y(*y>pE&Gfw>qGgkU5SoMa!bmS zUx@l;MXDw`%Jg`QiqKiOLJ3qx+|T8LFmh?iA_T`LmKI}DZNy1BNG64t1|YeMOvEsiRC=|KkNjmQ{ z;0FQfxgy}#0Vj5wArMb+h#qhw;QslG0W?jDIZcWMO^PK=3jARf?Af0Zz#mh2M7kPC z?%SZk#J6&r>#_q1-TcRexJs>fRDy#HgC57Z{Zt!b&m4U4+wg{8={D?8m&#Tp2Jz`Q~xHcx{HtX{Tj$J{LLM?f6m-G76o-|KM(hrwa zXGCtZ$NBnL`8*#z_H1zF^Y#ll&igs7mqrh#^={W6(kShm413})*#7O*fY-Y+UU$`; z&Rw5!uJ(uWexEw)oy*an5P6r+b)p3Kqy1`R)(zx`#5MG2tgp=F_))Y;Qha<}fbXTq zHBouIzox{Zwsojhr__C6>t=YDd1PyfQM`eowT)2y6l!_%S{IQNOw^qxHP;P2<4jVq z7uuG0o-9b?<(6rD+jjzs=yT|(5vj9POwbWt`)WgJL5s7qU!98Ll)KMP)kl{zBl&|4 zT}w~q<0)_-lZz3mD)k6iC%3Mdr9Icv@>$L~#xEnfKaN(OE=v13zPX-R@F`2thlH_2 zop_mk6P(}Up~L2$U5oc4H@S19|BMsh=>GkK{++4IkTuCdv^Bw|gR9_4S(V+v4=}>q zso{YFZlW3n29Y8Xn2^=MoHnti+0L$KIgLDfQ00e4+VKMt?4RNT83St4Bp6cmd@Me7 z%GNrSE7@JF+o#5~ejDHLtL|FwuFRIYVN5;0L#^YM)buP5VfPa0gAv&xgO3`eyk4N9 zmAbAx=dXP_dS~@V_4g2o4@gyyefI+b#co& zTcgNHx$B?5R+Vyia0M}sZ$gTGPz!6s9t)taZ<_kL;X=X9-W}~n(q3C7oh-W25uFk1 z_v2h(YemgAuKuWK!VgDF{@RUy)omlTG*HE+17Uz2GUv??B#*t9(oIlMKA zU+yr{p$X^GyWg*dEylX*8Th|aALi-iWXs<}7n*%GsBSA=cT=TV4qN`Wa$1wOB(Bb^reXgK5QT literal 0 HcmV?d00001 diff --git a/planar/planar1_F.output/planar1_F.sir b/planar/planar1_F.output/planar1_F.sir new file mode 100644 index 0000000000000000000000000000000000000000..e4365e7dee37114a04737f9bc87900ec21215793 GIT binary patch literal 72306 zcmdU&eQ*@z9mm&~7Kv7)qK;0*O@)fqMua+T?Z5@GO6pKCk&(7mJjf6I_7^92mM>lK-LIJYL-3l0wX^4B8i(xX zonh|V_ZV%S8(g^^<~oDufg{ZW`Pus$o{C= z=ehP(eUI8-(eAMSQTt2UU#4k7vmeaLc63MRpdM}>uW_IAFUf`N=1u)?WT)q+<+5GT z?vFMvJkWf{4?27Mta_cG{>38?Qb?c zUo4u(^F==w29-z$#bUmQmkl*9ImCPy^ZC$k?e2>9;JlH2Rc+-}r`SKDc}36_mi(3= zG&>JkqTk7)*gw$tNt6A)zqDnvf6q&@9UcDkj{NkQJ3e=~d9D~_JEFa|W-Y0Ann{_J zCOzs}a~(nbte{vjzt)&h^{3VOO+jaVR<5hf58HDkza!TbnE0AKcV=e>=CQ!HKjL?H znO(MIr*#B1HFYQLmam#Rzd6i?f!`d2rQNpElHFw~2Z6^Ij_*K4!HJ?9q>eMs4 zJ3B9%I@Le1#=N8y+Mj977pDjHrLf)}Ma3O{de~W0Ppz`6%0nmmWBe0NsQ!GNf0o^? zk9}r4%zGKcnm*8=tED=o?owr<&sVm?D%<#Vc=i+i`^Ms2(d@rG`{>8s+6nKR z%#OUhnHk4Uo><$Rukf~1wqb%Z=Gocy6A~s~cKAcvYi!zH=(u8wVu5*BK-J7C(2ybY2;){B=K#KQ~+aundwg+6^n$@=z#?&lK@W%OjOClc@3`qW7 zG&0KHH9!8)&0idEixa$Y{w}ES_HU7qd$vBjF&y>b^sl-3d*X$2AK5zM4k=!izo-vO zqMPZqpx2p@s^hkKE&3c z_46{;sStN3c;oteSE8OR8<6@trg5vyhecnWUvT1! z@#41$-njlQtMK-32crI#kJ@Z`y?d6;aCnr6UU%#7+Syk3 z-Ip3(jK}v&@zx%Q{J$w9mxBqQxwO@}X;=6Zw+3|+?#S>Dz?0B>1x`!-D z4=?6JzfVnk-?gLLRw>@{H|Oqa>(HV%Kf2tRZ({!T2dVh_cVK?8y?tByT`KP3KS$vO( z2Dm><@v`|m{DT%R^JmfNp$k_^#h3Xg^s`S(@lO6>)UUVCIN0^o=y$YuANpBzezWlH z+q#_o0e(k|myK`e&$M{i`Azt!XQc9%@uHv9;$^-M{!EK^UyR2+^Q(-<=zsqrl@F|c zfbY}dW%+=9U5l5+7k=_tseEAl4(1nHyez)(sam`zUG$;t*Prgmc01!S=0mHb@?jdT zhv}J9<$4(SUoBo%A25GQ4=;T6bBTP2ef7$O|6Mg8zWV3OaJ|McTiyN_^UWl0?0;8P zc>A{l;j7tv6MkKbm-T0uAOAIx4|_Mh?0CcZ04-iNzF|JE#mmMwoWEEtl@H9P!ar#7 zP8k(l&sARhlIyE+zD0|-?b(R8chU zt7q^ff0N2zHon1^Xz?=t0AHfT%kme#B1|V@ff~Diq~W3Ti{Eycv*dbFZsJtK6tzKC0e{JzVIblylgy%FZqX5KCt-0 zmuT^__`;WH@v?p$zT_pTd|>f~FG&wCd`WtE;Y(hY$_JLe@FiNjEPvrkw0PNk6TW0k zYVra7jutP=2lyQ=UX~9ypQXji;tL<8#moEy`bjNb7GL-?Enb$t=zrHr)iah4@O@gm zEFaLXYw=!y^B27ftDL`ppVZ=I^C8SHw0K$m!l!ESvigAe&?{2)f$_rsYVops!2C^% zm&F&?_i6F6`iuEydU)a2wRl_!2E% zR?px|UQN`q`1&Qprc^#t%GN#6MS-}M#V{w?bDo?Vah z<*TCW5et`J=w6QqU!uiZn1%HT4!PG|j|sj+ip#GkXz{Z71^Vwdr0N69U-%L& zUY5V`CF$XXFG&wCe2Eq>%U}2sE#5)x_`Kfrqulv1e2Eq>^ONu;|CFj{tUkb(Xz?;% z4PTM2nZ@1AK`V zFRN$xJfs#c>(}8+w0K!Qz?Y z%Ln+9^zg!$yd_m1SpLG7Xz{ZC48BB*m&F&pM2q+8BcspzFFkp@yB%U}4C^zg!$Xz{XqfG^SFW%&SKk{(|8l1-_p5AY>gyeuE!OVYy& zU!uj!>H~a<7B3r*;Y-rP8(-f&uDP+P2X~@>H@C05?(S{<*MZ0PH~bA7BA~}(64Lpvgcv(JR zKCi{g#$%kn(BftBg@4fEW%-NqEn2)RzR((5r1}T;`FZ#fEne2|z?W$8viyZF(c)$G z48BB*mmP07|E9&u;tOA*#mn*+zC??ci!XdhdU)YWw0K!PgD=tIW%&SKk{(|8lJxMxmuT^_ zdIn#j#mn*+zC??ct;Y{vqQ%SV8GOk*sp%i!OSE{|d=tJzi8!@it+7uG*zl*5`sR(c)$O1IE{P6aB;99go@i zXYeIjyeuE!OSE`deBn#d!wX-c#mnYH@FiNjte=E0(c)$G48BB*m-UnIC0e{Jf8k5C zcv(GzFVW&<#~XZ!7B9;O_!2E%mJjeH?@9GLte(M_Xz{XqfG^SFW$}eC(c)$K3tyte z%lcpV5-na9U-**r@WPj9@lF{P{r>^w#V@&^M~5%b;$`^&Uy>eP_!2E%Rv+L?w0K!Q zz?W>3>K|Bq;Y+l5Z*7m(xAz`+*j?WqzC??c^$+kRTD&YD;7hc4*?b7TM2nZz2lx^# zUX~A7zfX&o#TULLJ-qNGTD)xj24AAZ%jz$Di54%*U-%L&UREFAOWv32cUXMkOVYy& zU!ukP3-o6_4_4{V;7hc4Sw6s*Xz{Y+4ZcK+cj5MEeYxHh*Sqt1_!2E%)=$EhXz{Xq zfG^SFW#ch?NqTtUOSE`dKERh~@v`|me8~q={R7Ki_!2E%HXg&5Xz{Z6!k1|Avi};$`^&U!ujk>-9^tcrzQL z^P7b;_IIzZhA;V0s^4MPgTt3-@v`{BmuT@8)@-t$cPd}-db{&^C-@RA-bI+tmmjY( zpNB8e;${6Ld`WtE;Y+l5+4u%uqQ%Sd0lq|wm&F&pM2nYQuMA(J#mn*mzC??c`APVa z?Na>%J6{N2qQ%Sd0lp+XyznLI;e{{J;$`(0zC??cRPZHQyeuE!OSE{|_y%91#mo8!_!2E%mJjeH>EVSh(c)$K0AHfT%klxfBt5+F zCI6A?A6R_hOSE`d{=%1N@v`v(z9c=o@FiNjtp9~C(c)#t8+?ftFN-gHi54%5FMLUQ zc;QR5cv(GzFVW&<;{|+)7B7o0e2Eq>JKo?+K9cHp*!2YPC0e}f{2P3U7B3qwaD9mu zFUw!}lJxMxmuT^_e1I>};$`^&U!uj!#tZloEnYSr!je!B1@4a%dL?VEu%L>MW$k;kUBy! zWEc`fr5b81C4RR*+v?l^_yw{KkO)>%E z5>#+>7X@sRAi+wQX$hN|0Cj0YP{c<3FoXgIl=#4HZQ1jZx^VozAyJYf_&jFPzytQr zQcf6;6bWv@P%;40+``0XelI*=0zS#n5WZFY%wsSW{3=NSV$vjdiz(Zr0FsFmBCyI+ zjYEBJOb&?1kYGy;r6Gc=ocCfdCv6$qE9rY$u)sEd!Avq3l_#17NwOrk!W0}+pn(?l z&&Q@9OPK~pawK>NL-B@yAKP5!nEz>_Uyg^5d$`-ouoMW_7u}8nr-!77r*~Lok+#?sKz|F z_o<2}5nbidjVD3GRyFYnPY6VnczIzC#c$5eMFvyq|F$Iuf|W?HtOdBDK?9ZSp9~97 zPp2W0tCD$Q9^5weAX2O7XikDQWfFXblR$>>kSA&vV;*GStM#ASi0rB~&#i!@E)9`e z1&>>SUD`B6eigjInhpQklfo)m!Wv5ktkp=c0p>{qd1^d-RH7dj3?hSe-E>5m2;5C9 zTdWOx7w{cJRJb{bsE4-L@*t{Qn9#lU*#04Egvq_T8GC%Gd}!&2IzgQ!YW(1U&;1Sp zRwwdbcl<(dLPQXc^BUP8oWkBM zQ-VSXZHiH3;ANstR5K$8G2%n#gTRy-r<$rh51%b@3)@3*7^}9Mh!7>tPK!n!jn6EUpQ2mwFBa^ ziV}*z8&=$72PPQ*KJtnj`1&3@#BEiCDTflXQ9-yT%&p@a!9Hm!NU+gGJcuX<;x^+j z$_4QxU@ro0k7Ac6qjcNWb)d>|3&aQRIEq00m;_0#JfOxAfi~e5>RN|;kZ})TTyDdq z2#5+4g($dJpEnPP3)~8c;+PoDQ&EXz5f~E39RhqL@HA35C5=lNG=ilBL$bIbhf8@} zD&SHPmrAI8m?R7-qbrV95Tt@yIkR)B;*=Ulb`^!x(NMQ62-<-zx@*Fa2F_@rR$fd9 z(n1q`d?831*ro-e48Ix((!pt6fCSV)dU&ri3^^aR0hLYO0z(Fv1+>Ft&^VSPj7Ej~ z!01e>2L$axZPTbQWCFS}#UN8KnOOyyp+%=9V8|S8IqLwiur-R$n*g<8-MhA=31_R`w{}KPfotQR-j%z=H&0$ z^xpN%)0xmVX2X2f3CMy49X23a-LvJT<-`S&Z2>ysxz*jb|pO7<0BKkvTkq`uF|vA(g%vHr2F*}U)N2U^!`Ch}**QyBTOA50woNHAYbQUc zDD%k+)>l<+=soY0v0X>FQeW|2ucP=%TJPvYa{tu1kvYS;j3yUGzMS8o!tl=nj4nZs3kCx=xYRJ~MA40X;yta z)h~V2dxLNGpl@knP^Ya@w2pNDS^qLs{!kymM+E{(^t(4VkDX}YyR4L06;sgv%Pq-L zw9&V$=Gs3|lO;>x{)dm{%01p_{Z;&*SBWZxl2dmwl6mJCh(Uq9(&r1^amm*Ahr9dR z^5d3Eu3s^lzu06rtXV)G4^&?O8lhxxHJiM(P13*p`Y#r$=e(#Z3g`O#RZ{AASOTLQ z8e|3Ha=ajG@I1#D+5a=`r^fy6~Bd|tQ&`o?`7E=vkw1A9%PVLVce+|klxunROX(hKGFc}X6x`RL899~lV{lwZNN_`B zu#_IF*2}L>OMhnT`N;GxibrbUB9*dmIEs~%pi^JRN}Xxr8_T}c-qpPGd?n+7?s!V8 zxTJ{plc{HF_gDCo3JOf8EBT%^Yu#8%SobWdr(HmHR3`APo<%5Wso)*GV1gc;@U^h@ z)50^ppu19a@9A?09ZCFBlA=id`%lEV=v?O9r=2rdq7lZiA1?&PujGQ^Kkf{v=D&DH zufHnFf1fqrIX!c&U9Dp%B*=bb$UDhHg{FSW^IK~3D^ZaWI=PNh;>fCh0L%v^FYR3BymOlb>E5+MG(vG09I?XYGsBr2;i$50+>)g6wBJl8IV)}^;?d|Z{H6P>&@xY_u-#tI3Op9OVpkwy5-k=oop%UJ=Im)^0In;+_|zh0GTX6@(^^FOB} zw~RA*G7PPboLVPzjL#R5F|?emAN;ENK1`^oBQdg1Z@T_s!YMuBv;CR6E))JNsr9uj zg&+1`UJR#X+rM!C5blRsM=qc24zIqEJoJ9+#ki0zkFQf|eBwK4YK*7;FAjIi-5U{j z^lG9ehLzJ=IR0A1s`*xsYPDw3LjH+OzYo50rrSEjPga&oUUipu6)*GeUI5<3G9s2I zb~aH)Dz#wNUPSm#RMij7g} z$ZYxctxl`u`rv(+{4({h2>q{PCsX1tZq4fWYLi@%2VA$g6yw@jmBup3n0dXWny;oN?Hl3eq@P8c|6K5)u+oFUaD5}PaO`#W(eB_t$Ql>{s0#KEth_A`(HV+LGdW3U6o z`lN>s07niUDYieven8{^-ZnY@Q?*jX*aeE=B@)mb7gYXR22BE3QXRR2_zI->56r3X zpAJ#iO4U#UUm`hz|G56b{w@R22a)23@D={nJCE`FA9{G~UwQ)vkL!Z|sPUgZqA^n$2e5m&hG6VL9WME7{1}Qx`DG6ow2?b_?38R@inFEx8WU`~0U=M)J+l%>}vxh5K8*JU5hJfJz z0RGhsV2SKJjPs9&t4hZSGBN%W1aGnAWH2s*1V+#O7k?6x!P-23$-D%a7(L%#GCwGT z(E}GKZ1>MTEfg?LA*sy__B;Nc6M~puMiO&7C=Y@1t5E&}$`y2o^_-ZAIW1eU{b4UU z7%A|LMSu^C1)QVW#Bu*;>WEt5r^!D>F<_VF9I1*9pu?&PI{?J7I+F?;0FMP&0Z)O0 z00zYhC$@@&gpufmL~D;m0--SCL=`cz}nB_8=ti z9barD>I$>dk&f-@QgVtB$KwCKr~qq0exRS7f>HyjxwB`M7%?RjDI*lRmJ!q-B;bj} zM{G=pxC%)@$pY03F$R>`iS0K9lu&e}NydNyN{h4@%#Z-B1S_0&&nT3)7z3h0@^HF+ z@C2yA3V?lpC zdJj2HK`8?D#iq$#6u_tBbfm&&1kcbEBC&)NwaoCf7=be!f`mC?3N)Xfpxm1PxtD-p z4jBN!MMwG(6p3wO+ZX&GNU;LDsN-;GV*i;zYeWj{BTa5PQn)#24-QT1KeYrwm|zm?x7zx4z18_cw+8Yl!A_W@b-=m;b7=skoe^^nEPKdz;_PNB^{&6X|XBWz& zi4^EkXpe$iJ_9L6poW{+9i~9Pz&}&xy*=Q`BLf%N(}D6{5GGEeQ~Ri8kOJ3$2q43A z5-z%rrf~ob0`5Zp_}~R0;=Dl!Q&93iajAmve_c%9Pw~Sg_PKI*0$sr+_rZ}MOpIL$ zqV`;7fD|LZ$_sS`Tza2wvkPD?CIgV4q9Yv#MWPw>zFH)%cfw&=&$T;z;M-ljT7(&H)FUO1n;dEb#MHJ%m^G5jD(+tsB4fP z8*lvHBm-B6U@6GQgwLOity=P**}&-!Zg2p#6a}R4&MZ&cpBc>4bH~_zv zW#DHZc<;AwI}i^OJ473z_7)#~2%aKtOJ^bKEtCs^6eDm_Bp!Yag7%vCGvv?Gf_}yS zYqG7-B~Zi;t+|0~H`Zf&@s22niDkB82o5Ar%EvVBUy~;90!*xh6j;OoBj35>hE5 zBuyyD5K=TDl?79P+MKI6&XSoFrT`X;-7Hl}u`}^a0;jDJH*x1Ed*Y76+2SMaJ#7(Z zGrg!IwR4q^jmn_dz%4(fqk;SB6@mEEE%%R4-Z#B?nbE2L(fG&foev%08qsaZ)vBpo z-K(M1O`D2^*34Dz*$o31k76bx%`>jfgm{ZCsEaL~dBUexHJf^3A|X2-vHg}sHm~F3 zqjVPRiy*G#knin2TGA(T%*!*L%B!@zM`x2?>21<|J|}mw2tF$4YP*aSV;ji)Qr=`E z@!=UZvfz$T(5y6t)rl(?ze7kMfey6kDi!-rAP;IEgPhac9D)y8; ztH2#xN7n20qZ=M_?pv^XwJzj$Cc?2ck*R}~Lv!6zze5yJbAt)mPuqhEF}tHX+AnuP zG_N?QTNzXYWv`(P7!y5Oj?rG&71rH0&72!$ldLSuosChDeK+~o(&A@(n=4P(t3u7p zM3Ko2AnbPvTW4WJd5~OWXW-UNvlZ;%*RAe~a#L5QfXk;V$dJw!?&rLRK6PD^HwoN` zc&2+XGuhI0?H8Lu|NMnMTAfMdZn>Gk1(g>|sHd}ftdG|6Cr6ls3fywnGjjxNJA(Y| zG^pkrC0^NI=&~&?$FA%)rg_iiWTq)@B-P4~i=o(;zo?^7Yc)(e^S7-+M$-}4F;1rS zhBKC40E%Y*Dpkn$gCeChv@!EH1VV<7U`lJ#{hcs*n3fH(O|c34*{05f9FY!_XVuLJ z$29Toq`99mK`{lHb8DVkGF1p{j9z`=Xy3xznCGHQSxShmE>9uQ_j%6KGeE{1p-96M znONI0JmKjRAZyNEMdKLxwswGgcJ5^@)4G*LmS1^4xSTHL)TyKC$6%C!$KY42tZ zep_eS_@Y#-3a%L}c)ANnvAulR^YXv96TVA!SHSaKK+3@VCV`Izh`M@JzPvM1e%dDh zF>OAo)r%CP@ey2wcb#q}912Wi62{;F^(u)S-xV-fi`|oK@PtP>yr&N!=EguN3 zUfoof@SZF;7w+zzuxOMsbeyPHeG`Bk`P7OF>k-G$WLrh8g*jYg#8|ItTrH~|MOaWQ zij{oK?WIF4b)zp-o|&%u_T^0z&vZwJ|HqzW`Ufi~zlC#!vY% zck)+r?n}PSVRpJb_o9v`C%;V9jud!eCQu?RD_t&~E1oMIL|z%Wp}hULN+0V)BSHI! zswL7#If%m|PEm^|i>aOZS7eBC7>8AyQUlKz(<1eHq>QpWhcF%L7X3%65weAF8C7}C z0y?W(#YZtGW;M3%dOeq~4qcMrjKvNWP767XwHg1sAz$UX!5&|4=-PQSaH|s|dz^OL zB%%uY(vw3PJWzv6ame*9eksOA>GWEk9J!uhdxiII*8SF{Z9!K@CKoUDrqsN)#=BI~ z!k(NdV;^GgOPJm{^UMN`n>bODpJgr-+1dG^z0=RSYWxk_iuBaBKR;9M1 zhQ6^#@dMt-bKi)!P~RhCOBH={@yHL>M(O+BymR`q8Cz-!r!y<7*T+)lwj9}~dg{Yk zozt=bkux%G1v`tPm0xHT+L$WaPzvolmF*%59nzH@N{IId%-@rzyr=4aPm8FbH?Ltz zsbTA{K_NbzF#o`l@-f2@=5Sw~ z&XvofCnHM`TDR@YoM}o;Um(sQKjY8Qwc4e(k6pkW(wW<}d68NbT0Mk|UETbxdnx3h zwC@^??>XtIH4DV`S7?gvb`psaRAP?ex4dhmxx;lG;cbN;*wY{QQ<7+y3;ZNr2QD}| zUt9V>y<2oWHC!Vr4IvX;sJ>it^RutObQ=G=8RO%w53Cz4uAlpIzhZ%QT^O5S{?p(| z{pza_FX4=mtY{zh&)&yR`W|Cj>|u$w3s8wxRz^H6w{yH?FKi9ueT#J%sA_ZAx?~pG znqBAW5v*6p!;pr3x0Je@Z>zBR4TnytFH6BG^w(GR>#=vLS#)ZqcAg#R)I%++SuJa( zFP|M+)}t9y5gt?19aHxh(~KEAQ!sY6bxdb=42NhxbgzE$Vf*>!6WB$H*#d^8hD`Yt zA&r``;cfCCm*cj+1N*~)e_$yNPkS@B@_0(|O8JpFN z6zLa{9`1!oK3Q2m_1~H`W_-=&jO^5_K=f|6t;L1hZqMj7zos^l9)_AeTjf_IXkS~S zc()+DiM9e|-Z;N~H867fTAzIPv`BKAXA$=C40CY7m$scoLCtV<1-pG0My{ND%V$fV zZszq&^bG(z6=s}Gj-gJqy!lO*ee>t6&$9mGjv-qE-QL}MDJSjh&=$4=K0(37&A*m1 zU9yoiWZB`4Y^jVnl5#@#oUh#b_GQFwolZ4;jpIt3ycWBbf)+|ksR0oe$leit}EUF=$WB2+t^|BH#LU|ZQ$)vw_ z^}}HX%g3GvB2c^tmEpsbCi-jFKd>+iKK3M!P~t_V-ThSW6cP<4M>5v%FG&SXlCQzL zJmG{9)ndT>sW2+xVw>Q7uC{20{;h}b#!$L5S)J#?1bsAZZXD&K5*ux;WPBB8$Ysxn zJ>6~jakVEmKHnk3!^q{62CJNleEPb8gJ@m{dLndaB2Y2gh(AHQ8>O@<@!C&Ev~1bt z<&~k1kv8B7^V&+LOrXnclY)ysd^@HT#9wwrR-Ly9_W#&~N|~>(bll#W;vVYrtBoSV zl-W)c^b}Yr1+i5K5(nqqr2QcV5HG+ZgOCxD>HdO zrhCRK7|?Vm53$a7^{~gG0nf8ajwWUz#j~HQ9xb`d=H=u)t9qpP)G8^n*=U@9=@`4Z zUYqgqG1MJYUE+w|Le83Th`>$)LL14Qcu((h&X}>6!1^&7O4^9151PYS^M<8-TMRLj zdJ%aaOosF4FO&*wCHU(P+V1&6m;}i(?bL6rqgdI(O6HZuJ9eFXFYFw+PP56NP1tb2 z_Y=ZODCofDd8bl3w)nzJ9!_Pww2m=4+JxXSTI$gy8!S$FhQ|4f7$*(Cp0Ab24tLF# zW#Kw^WusQShc9&EboQnxeadXkZ@Gbu&Z(@hr}e+Su6tzvE-X(;bMis+t@_G7ZS<4H zulHe}&CBEu$re;bI0EBjof%4 zI091WDWyGMc}aQ()nmRdhg4J<-Ab+M7~l@l^&Xm({j5DDdx+(yjE>|Nzejw9Kkhd_ z|7C|gJK)?QE18||V9Yac@mTgKO{1<=^!*fhL59>U)nh5If_|j7%Ex;z9*qUO8`n=v zE&sThPd{o#K|KPL*ok0OGk2JO*FRU%*cP3nE#IsqA(?x|Y6d=>fL(9+_4bdre50tu z{Elr0mh8>Ic3tm)td!glt`wj4k10~QcVyOaOg@i%5^$dRGB3yBOeov+f<%CSjIHw5x1$bL$Xdj zCK9)+ymN4!X$%v$t1?VNNvmIa^#eJB?&EpV2sYj=$twZLBoePWYS_-&o$3 znBcAFnlOdMe7$6J);gUg(cP+EwC{Iby_A)lt>!qnd&_#>g*mo2Y_6>26DB zBPlV}Mr-YxADF6lt$L(eeSuaJ1&kUd&?WXOQ?H4yWml-NuW^@27tV&l@|3gfEdaB)L%b8)-+G5Trx1^QL`t@?xdv*&jhA{k;C5*gANvKa~) z-ZE4()HC21x*3KTCK%=zRvC6X<+27dU%tYmOaa&Q6y*jNcWx)_z6{xkjHR8iSVuMe z!k*K)zYF7h1}6t!3c=-UJpO$c{}`gVz>BQQe0T)^swB-u)ou=)wtEA!DBiT=Aca{L zBOLW%Sn!n(9OcTh$Ml&$i5yi?i&CW#qIR%fwmxe`Gsr`6zU=Vdr~ zA$>An(KchWuV$w1EK~3u0lyU{S}S%TUBv(ctQ#ViF&1N1P&P}(j(&S#GuFNBtM5$t z;&Y>tn`#>+d6zW1)4z6h21-h<{u-Zk-KbnIpWR{6@0(F6dEIZg6e0KMok@HDw!w>c zTNia+*gj$j%4J`|b*`}s|>BW@NTmzTad=-iS-%R0CI zy!gb6bP3Ci{MN#ypo`C4rj3o=d0aLO3!H=Y?zdHgi9nPy8Y|IX!RdLbFU!dYE_I3t2-*1AmbD3B zBYJ=Jt!{41zZ)v_A8B&9lXSAf#D@j@(GhW?cpSTYxud^#WIRjE)@u-Blql5QVqUV+ z$M!=B(_xsW7Joa8ySvg$DEhO4L;<;#zEBjWX`XmFRkLetzSE?$&ie2}`IkcI7w&gI zt#%$$Jl`3XU-L7`#fwQBYxYRjBIkHqXNc(2+}2=I1!sk?4zEM*8)LSM)A0u8$TUsmL4{RtQ5soPHU0}eTh)? zdBQaClh}PBBTPeUkq6|zlcHp5s66JwPsk5bTFKP1&Cc^gp5}`+L_U?*4&2I=pRNwL zOOb9(_zkrIQ!M!S{J*me5_UoC|K2u8*acDlpKgQL|JODM{$&6^X7_Odwbu9tJ3gi2 z2#HsrUE0kNEh;_N<~C2P#viLkmrdJotGPr_y(qnv-*wXY>DYU1?F^Y0`T#ZhoJ95< zCC|!u`Wn(NC@5`WDMWE@b;=_439q&k3yapwYZq)^VwlkIT_@uzd&{R?HPMYynEK$EOF?E-#Q!z2vfSbqrWBhb1w*QgD`! zmamy>9bS=)y?urKS{J7IW*A*RKaknx#nNcfm{O>rOY3SsStmFiD=Ru6p=DiZaI-?l z3y#6wdp#(KycE@+ci~E?X`9h2GJ)~Hqd#c*grVY3Le`ATWR z6N!K6@ztmGH9+|qiuf8Sg?^z8Z9|2&i-dM4q2tKQ;%L$FOl9#X^gW)kdm?B+x(rbA zX7---zrT3O5NQ!(i2U?fZ6w1GN!FOTW<`NcsV*LVv1SkSxyryC00uWRm?MC3Q-(PK zMQ#c(XJFQi9p*wvT>*Y~4wxHo)?EhXPN?qzRJtQ!7{W61B&1gesTU#jCZs-KiUt2t z5Rejj{>9nTDs)yw562E2743<(j5jTMcl_c($y)}=E%fSXx8~*NblZ$tIqEa6GrnYz zFh6DfMXAO?isCx+*!z*z{?@9%;5_T3f%UDHZhnhY-dITSXGTlZ+gHPh3- zoJot}L=Hv#bfLemkcIP)vRGVDkR8bG`arYJe`H9x{Gp%yxX|z8XG4R>BYo~&+ZIks z7a9?j`g+(#vfOtnc0HrirR?5kolsdd$tUNHrhuvG$z#ts2Q7{Si&RN)#KZ`n2v!6X*AUUqMmL|F-GK()L;83VramoBUj>!9C5Dh2y-fLZ6$HCol8j#3zf) z4IinCGsPF}#=_rR)r;Z&q2+8TFL*BXMa#92#kB8iOO9zpnCb`03dr}4Ifq}wnt71h zvyX*|shds>-y7HNU6YKaZ7N$syV+pty*EV`ulVhtu9cpnC$#O`rO)8Mvu9RqQVk`F0{u2{(tDOK#Eo&1my$-bRw= z$AW#C3|oA1YZl_`O*`?U5Ayxj()gFVocraha6|0|15$puRvsv)kqp|Zks+0)psmu} z!k~ooCmkYo4Lqw77+rS}PHbJG=wWke?I`Ty!mXTixzSQ9e z9V@Tuxd+!-$WFL-kWpzwQa>xpi4idQ=@5#&Q!#=R()lX7JTc?js=urr>XKe!Re-$S z&D=P*TzFj|2+fBON zIP)Vq<$n9CHhN4zct3eqx;E#fi#=k&by9w`m%{0(7tqpSqln}wgV4=blC%YfhSJu) zm}76f>Vritc{S)$ZCu@zKCZrlp4fQD9%doo@hk5L=DcqynaON{nNKy#Xq6L=c_OTj ZxqgDxLelnGLEz#!bm13~w+D@C{|_!g_dx&v diff --git a/planar/planar2.output/planar2.sir b/planar/planar2.output/planar2.sir index 71ba4985330cfb039a09e0cf4b5dfe706db8daaf..fa933aa597392cb30f865ba95e4e5f3246db3214 100644 GIT binary patch delta 3525 zcmY*cdsviJ8lN#x;2@%cI?iG;R+nV_XEsbTmX=Ot29B zqJ2O5B-Sn~A8PET?tqst*9>Y|bki2vb=e9xDRE5k!YZPDr)?d22IF-yKWZR~XPgblvi#<G`9c7HGY14(jpHaAEqPzZouyPC%J(Z&GEilgMv31&_W4UGD$HQ3 z<-MKVxVIVWd%qVBl6K<5HRh}gfHp1zvw!*x2r1dRni6QYg z2+NPDf~khbG{KDbakvVm9Ft)WF0@QWXx0PA6F4^B%wmIky2cJ{H*?B6b2jBuz|%&Er|lBYje-|{BHz{g9b%@bRoljZ1*zIfMcc?}0po6sn#HzHlxj0e($Z zd~DW5vq&B5^E?$m`SW0!2gRNwgWdwkgHtjaH^;%!9F>(GyvzZb7Vgca<~asg;$iUx z1k(YFb7f9-&6Nm^c|g2M@wt+5F(CQsQlO+V#b2u}g4nHCS8%Uw6W%SMYlie9BNo_Vqv>S_2j{!8WqO zm4zrjfO^W7fa@R|yO79Bu^x|X%7I*NLyH9^yc#ZoUF&P_ z^`qjM@NErzyR7(1^06atB%E3c@RQ-xI$1J_>p>2xu?I5R3a5T6tI}1VhMcpDCQvZN zNmmQ1*xiK8pvn!hm$+X?F(cEh8+$8eqvSll5I(;Ej*DbIv_hiC_=+~chlE(*cte(4 z*_$#!;)|v1>XpW3S$ZiYGSvgOXrkonw%{D_XK$6IZ&jr~O^}?D{I?|Oj?%56rsPS& zf$5Xxs`Ua-t@Ib!o_aw6*Fo5cF$s{SLChgDC5= zmg*pRg}Aq&CK&P}#PIJ3McWzWnuT6!)RzKJX9HgIY+`7G>|?h!BfP zgwTR~;}Ug}Z>V%yLoBLr-wegqS_MPh52B)W$;9?UTEc8pwj1ql8~}U-04Vkz$c_^L zPz~2VMe+U-2a$kO_a}VFg2j)ekCA&cmU~L{*EZ+%T&me)u=THs5!`n6$}&pdYcP9Y zf8O5C1;lKihud9*wOa)-4}PjU`HzCz4LeE(lxBd?Gm^;7mxB#VI+jZwks`SljEeKd)bqO*IXM7&P85}~_eqneXOpAM3K3eTNKk(FPg zTcRtsLh`IH`G?GUXESmOW1+oSW_ekQoT2gGP-sEOD}tg7(`TUQ8-p#HCT3-6VP*zt z|1{)q`kkO@k9XnR_<&07L+dspzmZs zJHHoIKz>L*rz+aEh8BEvMs%3T&1q{W=8QodlaO_1U>H;1_^+JSDL=?{;91FaEhK-3 zx!Wbc$R8#54UhuJPXLG(={N@dySvbX_64Di*Nwt%`VCEu7l+E+?`<5c}X~Oo6-}I4u7VkauH+hL3NO$u1YbP){)d|}@e;3NqZio%$%jkz4g6jM1l`hN;7xeQ zLvph>Bt6pe$XoK=)^rQ|Kym(UnT3vDWEQqU@+>U5BY>2}nl-lbmgudW^_#QGn$05g zdYRcQF4W`uK|xyTJ^jo$GDOjLxFF4D_8K?(n~_1V1(*U1_ec;w=-Br2i7Y>`JRD_o;VN+ z-Yj|#SCEBzbr=*hW8F0f3Z5A{3x|TqqSuDQy?aK7o;(=-VcP1}A=rYH&>M!p0_Ljj z9SVj2Vvpdzz|qzS?BOViBJm5}KYHviDEOnG`-kBZCXHS(obMS1TqDHhhyy>5Fo&D} E4={JoFaQ7m delta 3350 zcmY*beSA~p6;7mSX>SV%4J|eZyKU5xAAZc%*_Hun1J>e(%xspRb4q|VB1INwDY}Yw zt_xhdog1&UFdcC7qlEdf+laLrx?yx(=X6NiN>J88T(RQHM~1b-?RoFX?+5+syx-?J z&-2%_H2Sq2URG%l4KU<+0DVd6L6dJ9SsbARd%G4|= zbYiMZu3Uxci)Bi{j+V<5%u^^k?4a^VD%IUD)9@tjhbF5uW0iy4Q&efkT@!%EGW2NW zV|09qP6JT~>6faeU(ZxkYnxz|Nt%X@1pqQlr9Ll!;{6_O3t(#s|ewd{m+vzJ8U8kd`+dExxgXAZygwc6~KeV3f0{% zQ&kDv7C9(cqEbg0;5c#YIxunt_Q9rLNAtnNm8vx491%CtQdw0`)mQ1%wFHEeD%6z# z9N5v#AY=~0nFly7*k!WO??Rl}vcquBt+rCf0(icfkyKp+dk}XaY&$$(t4JC377@V0 z>ARY!>^hz5rUSusDrJ8pQ{?N4lzHH+K=AU48yl(m`Y;_HEFxQ(s&!?7^4>Cp_7otL z<3KQDzX8mYI4A~N_Z+U|8w%BI1r;}f!5UBjE9P4(;Gh6hRB|Z8ur+f4s0wx#sF=s1 z8JmZF0RZ_Xk9+2u)Ed$P5hA$tFI1%W22G9{Ke)GnGH%k%17bI+R58;*ftv*&0Jwz@ zh~I+#QZP~t5#0d*ZiOQmcJqSJB9%(7fHoF0($r#j+z14>;*#LdTce1B4cl#Jt<*CF z)|ZIT!TJ(F64&DT7BGJwvBHY$34WXPTD4S>X74qjT2ALS(4nO|Ww#>cJCHbq@VE^7 zkZ`GGs&sVoDM5PUrWJltzhkP=@Z5>p1T>@915Xf;VgDXROq%ZkC-p|1sh#$M#)S?l&2Lq!$$gX>FBM_hO2kEpcx{n#^zfaL>GDUjb zj{zr~tmHdMz&0&{6CW&r%2klxVu%Y?Xd$#3i98c=t${{nz$L87WIdR@223`9@fRUy zKjzWzg%uj{KY$=^1F>s4+hS{x4k$Ry51K@iYaNfr*WvtU;J;CkW-+ggBjB}Uy-xKX z%f|5f`Bt-n7_}P^q=4=XAoI@2hV(EP?D!JCegxmEWTWVjUtU6O^gK8-OxaH zZq}uB53^qLdg>|T35WnyGWG;yw*f&usYo}UKPfK1J+XE*<+mc|QNt3gP4U`0RhH20nDl-qKl_HCrM+I8xYk=Z|2&Ei)63tpInHSrPm-KyvVmkQqC zUk~xT=NX>2Y21&(ih19&$Ujk8I(R$=E5-xQspE<2)XnjDC$DSWrsiDWgNnC@1q>s( z9VsL5xS!{9Qm~@0zo3pQB-OvdbA%#o+cBQkT|1aR-%j3d-<8G%YvR(`I>Y9;5f4{e zFDAHnci3E)+%0&5uDV#w?mgq~;n<$Anc0zuNt5B(i(@W|XXmfYc*yr6bn_;Xy$bBEfw!OylQP>I;J%11Hv%juN+N)=Tjz?tgeHZ&8C@FsdP*H>Z@9{$W`>NE)nQobkOz(bQH(#9Q zzp`WJLH?a24yJ2#@B>Uh>E(x5K}lGlz)+m~?hlF9_=;)lLw2D5jU)8@osrrGIFjB0 zoP$jC9agDnHKdW?^|1t>7dVnu=tsOS4lCZB){j{lF6-N};{TKT#U-t@0kjV~$!S9p{bFT`MtKTFLnL?TKO9NzIrfw~hd#0<@&)%jqfD{w zOGX%l6_NPIaIh$1|K-SIu%b9OpXYtfuUKS>uf)#~j{j$lhsv$vG!!~y)kW55omMN- z^&wfSy#x(}qK%2h=p0##Ob}CV$eK3;jlS)&CfUTA<+9c*8n__MpNU4z1F}|>g$4rC zVp&!*GOc+cMo