qucheck_counter.vxXo8JUF馭TJ]or&1[SƦP[7`--M>ǎSHL40g_HQo:[ÃSxc9kii[VE9Ym$yJၞzy6e1$  ?:hܔ(8nZVGcIc B|{ om׀ _e[,vj9ge~}hOI Gzք_g6EØalٕzZggڟc4:>Wk,E^yed~vu3$@)Bj<ߔ_6\kTJŋ RP_9Z IIIE&NTKZ0wOaD$׳o+9( FHŏY!":Ž$JJ64²%G'V]VK_\?9#2!" R9qwf=ƇqNgԷ\G-ڽa՛=O{z`z ,gwON pi0WKdgvL Lklwk%]yGTg[ Y;;_$.(o[c+XJ1Zn`8nբmN׬B;GmPiVG$~dbn;/ [݁w^ئvk*i[[?0m)zrk<`o߿h4~ jë6FFZnQN\~~}VF\>5k;qm 3p/#xR~Bd0S,q?#=+ U/tq%(cO/ v5yDcheck_counter_bb.vxWkoHHw#UTPTa4[Uh cgZ` $u ďUZuX9>^r_@7 , f\–-o+85`pq1x陈AYIDКA19y?I] %Pnq: M-C>}( ld$y) QZWe]L Qs>%EթSI&WLV4~@XyʳÑb/_Ott:e?6ycounter_example.bdfxUˎF<K$cC kY;0 $קCJLrm50}/? n^݂ȥ{ Y`uYZ6J[x+ $ 0 SdG)pU[Y;z2J?YТˆ-҅~jZ9eJkXjo~(#eQ;= ap=mTsr0L ^(ZB3(0" wipF*@.S34WPPӵ0hª5U;E+Z/[h5=Ih<^kR5֪E+\+1 ƲiO hkVUt0reۄg`(.9䊻 '4T~K݈4#RSp(:rUAӄIṊ ~k9 ~s;õ\x) ' y tBiJMRv@vT;i(0*6<& c#3o26C*Vq4 ;0HaFC0hM@Ρ`[ )(NhعS{mӭL{`9 Ɵ6$(1 ='Ohi LI2$ZafZTAGqFk-Y}0dɀӻ "Ch`l >}'RKXƋvIWdn,DN81K]>ţ>9%p聴o7d2Pdv Ȗ& o6HVl}03A69 ׫7C#s^}3N=*"+G=f<$꼷byiX`{^g |j\,/_VBy7k]NYzem fQ|=mlx64v H"counter_example.donex OMQMT00R042120T0200Ycounter_example.fit.eqnxYmo6 B^l7YnnjeX0"WYT%j`}(ˤEyr<A[szxG9d)! S-REg뚷xIV xr $HGD`3RL"|#쁫͇.~{X}A2!{A$4ɹ;_ Ur9r.2 |,O5'!G*.IМ$yG)[ XJsF)sr7+E<-4a({%F_A? ><]&qdY]P>˄1Y[5 --\ANopٖ; K:+Ţ#-? t1+8x o䜂@O^lUG9Ŝ^DVqgB=7w?&0;fG4&~Tiޯi7kKHߥ;tfyW/@|m /dF( }Dyw̷8BfG*qjCCmږJm^];$@!v|H7kۓ"}e6pՎpu}T>}T-l[O @w#[*5QuM@m[7ohצޖz%UmKߵΌkƇ w.&]ht}K&C}"=spb263T[yުy>vЧ Z2@dZ5Y@s0k0y[ie_Uv4[ڰ8ə(/駏 \1R~X5/pW2(6:Ea҂*ԗ*tWпWB{Oᙰ = - 6]FhWvJhg#j0  . zԦkmkШF4hXBC!FhA[%8Eזڪ)Uicounter_example.map.eqnx[o6?`fvynF/0D9\%Qe`}ؒLa%0xZ%Q~˗2 RYMVW%|hn C99T (- z )Jm UPpR;Dv 5bRӌ>L(@ 9(>%*-d3'I1Ԍ*K}tH)f"5??$9M 8ĕ0j,Jsg8?p* B&3U7V1in˺5h /.RY"OE].t߲?`;OfTtwjIUt"'.fM!+n1v/kl;mId=nG>o705Ļ/Z`iS#O>CIUKM-CG61W!/. 9ݾMPeЌۄ.o~wy++o%-obXyI!]^l=^ƶ]^dE=^ƶO]^h=^=wyx~|+7yV޹O PGcounter_example.pinx]S㺖wWp{vCh?I⤨)* <;L>vO#ىm-^Ω]nkz$:8"~|ZYXoZGGg|-fK4ߤ녵^FVPsο-h?&*MO<}﬇ur'^Zy&JWOZE%mji] F#eX%<"YJ׫zzXy%Tt=q8e}w|Y/q1{~Iy= G))rųUtoݧw(Y始D=%e-_r㿣&Uݜe]y5mn|SDT}~ndB(i{ z'Yަv.\!n:y|71YyZQk6YWOŹq^Og+׶KYYYe-Jx,?,Y~ݭ Q?~m%+Jd%m k^4Z"?djXвFh&у(7O,vQ֋^,/DgE]/N j[E$:JqS '_3LRq~{q*Y8)@ZwD^#yWT%NdSpid2q"i韢O>OR|Z>>>[}r{mr>lCU#)qE7XI狤eVZ у|n<):--3423 O?bcF|&?ʭd[efۻCXCi7uȱm,s9~]CkUkY^p'+iE9;yfkSU0;=e1M)AYJ+i|zJ6U\f%dwY R}ze~ӟ'e*}|C6p7WYDd&Ql-D/3_aS,f&ړNk`[Y{- ΃kkw%_JyBVgef*U Tk;V榨?6Yڬr(YkEG];:ڎR_??~Y[2mgI%NxŮkj:;ŒnvKmg8 yF#ypd~]}(im8Q&魖hE<ۥӅB^ (c|,#XFc2e>|^F&Z>c2e>|,#XFc2*F\*nm洷vӫrUw)w^6r`X=:iN{uJsX _r/ 9Ete:YS9MMhCץrt:iN{u`N;iUYJ&w^߮LSFڕw27Av&a*> nU|$ͼ[oӹtܗ9oܥWMUf3Ld<?Kwʄ~O~#;tۯ6vۯ6vۯ6vۯ6vۯ6vۯ6vۯ6vۯ6_[[Z7M_prUi?#lvA{hmD+*@6l,#XF`c2e{1B l,#XF`c2e6l,#XFQ-+ :iZRۑe(98>#(~`2e,#8XFp03vh+Gs}=I-ʄ2e,#8XFp`afv䠌`2e.3#Pr#jRjR13iUs23ى #p4,pGpUFЍ#XFpA-Wnjh^ZDUؿR.;#4erVL(#XFpb2e|,#XFj*s3B]rXFs|\#90v:j9^F >sxWi]$:r4Kwoˡw\ݚL29^F ;t#qc2e>|fF Zm\DLi[3#Pr`$&`!8%e(9}FPʑV\/i}kj:(rh^81U7cec2r4/f.qOPa?]@Awu!Y:(#̌@vsmFK[G`!2BmUZ}F02Be.XFbe.XFbTSa^L]fF xrڣ95רse7"\M;-w^Ӟktk3:j$n8>ɝ+|Ojt#tsXFbe.XFbe.XFaezXFakgg&,S=fFS38(ݟJ9^F +S{4WϼF/Ǽf9;S2qzعF=>#F`zXFaezXFce>̌@3>#aJ98>#13X)ұ3BZ&]g^Ywr$F$c},#yЏ#AU1f39(#2B},J72,# 02,# 02;h?H.zsM $Gh13b6|(JʱHqXF`aeXF`aě@<`g(ݐ?2C,# 02C,# 02CfF anLQ!#s=Wx,+GsH# 02C,# 02C~FP8Q8Ta&#F,?#dE](*4**4*9=Զ6U+ݨL\>sX-WoTa70t8ˆۧSҕ9#21|]#}3&V̓ZÅR̓Z}2#~FhT<䮰p_kRrrt@eݼ#$BIII=nz)ʦB8Wkr@AW86p#\aW8A-W2We^:>#*ur)>(>(>(Ǽ{7̌t.oGaA]:^F"g=#eZ|7"\RĭafR7XFafʪR2 3#r}o,`7XFafT3)counter_example.pofx|I΢d6X !dW_H4Iv BO*I{(xmlϻz+jŽTl9?zU _@13 yV,y/ly3V?tƬYO|_TC˞zOdL͘eO=Q"c+j2r15ԻL: ϬXџBӦ]VQ/ JkO~le5,~%JXq˪k_ևΨ9-k_{lGTe2׹2oȢLgܻ$ɸuEtĉqڻ|m>G] ;~2+ϳJP51 B?V莅N5kcM@5l{{RIQmkr-k}yjawI/^-/Q /Q@WO]p%}MG(NvwsKȞ+O /gVoA_EVi[;#t|`1 T~keה~1KiRtjKv(dEXlWZ-q֭vb }o|xn,؝G'~Sni\8Rkαϯ"KKⵏu¿Ӕ.(8keҥll֤x[rpseę7x67+%T4p,)#Qil?O#1fMhhѱ9c#?ddUȲs(k ^rS~;H\| =iJ >'C}^plSuxzPP3!T¾|E :u)+%mKJ -iղᢿUk"+K Voڕ)F%Q/vsk'\xkS +0ZԳp3nu._)V9ʑpEq8@-ޫ> |>q].m'lZ}λ.J (;Mp%ī VVucKU<#(Z_0\/1ɖ. 3D9ej 5ZwTZw&6ڭ~gQɥjEP68нOц'P$M7~I(ףo|,K=ĚD}kk NpG" *;XEtYC)85 ݆Ez/,IubMD[KpPe2sWwt,™ :5aʼn{GvH>ݽwեt^zʵ=:gxV'%3\%x#zn;ﺿ`M~=gJg<8GiE{Zӏ||rn]χ^/nޑnz3=0enAo~^FϙvǙ.gs6νw_\^`[Q[\QuΎ`_mRMMMJo^aV,GK:lbC_O.m6DԦZ(YP\!* ]EZ djojtC<{MeA"c-)o^ٙ6gWg\GVRxJ٤Y^A[Qi2oBGFUGDAcFh+Oz_חr0mn"MZQ(vsе/kY6^ܸؑ6ܚE;wY{utE_a7Vg"|=WDԤZЅY퐖LTk|e Z#*hbmuN_5.9ZkZCͭN!|]ֈFk c'0!eRBoj 3M-FpqtEJr=ݢi۹ut2nV adtB7+t2!|]~d׻b_GAYhKtU7\(C_ꂪ ..uClu]wrvxc܄o.{I[ߵl)ɓ&k?hԝz }GZMy)g='s߯F]GSye,0U%jIv\ % vSϯkUlOH?s[N :p\GvSr+vR'wPn}ȝ r6%R떪j5E%)V/=l߯ Vs/"$py(CBߙ s#qfeO{+Yݕݦr|YVng-_ۗ|0a_x-?8xH>nw=_7: NwT<jlD%¼De})]+G.vK!|]oNzڰlAMi)6M:foy.PbwC)-Դ= [́'rZHx H.'JN Pg?I",$PG"uτ ̈́R0 z&-uᗄH-Y -RWzmKM4.c$ɚ$OI+Ks ~l,>oNX*ϓ9 = =xRy=X<`Z篰ײLweme']rϳAi#ey6_ۀkì}+Xb˳txrzT'0.u $C9ʺzrխ=s16}R]%ZȿOS±lw rya&xcFH<" Hg{䡚*u)I^4m]bp)o\Hj ե{k̈́ dje(2_9'-3=wSj+s-k01q̎Q_ ˼֠ZTv+˚ y`~7/ʙ`J >)<&ZL|]Pz{"Qs˔yWu d!%9O*4Y(Uk'(Kq$C1cG>Uh&[wWD|_lہ$/xbXh _ͱҭ}ZoWvzV$_8Xܩ| ݟ['u;Qy ·_ VdP;ygT2ONML?_UMQA$BVp:csdlA%=ϦDd"z( g.獫ϮdbRsׂP~kR0ѩӆ=/w5M)a<T_leR8W.pcڠӋoY94 m\w~|^K+Z[.dt~o9\j5p>mom7kR L(YeѿY~)3Q.,w>3`oHu},ҳ_(:-'Pv}G(IlI{˯w2ݞ.p MIiqRbJwT@m&T3tTӳ{!g>47' |-"gyO$[/?K$+&7t']OgW@zr_#|$|ٹQ8<\ٱ1¡/>1Շ aiҹZ>_)e:;(J(x_->&}h7M-bJf*F32#I٬U.AݯRL=+r.T+I!lȟ?'<R6$SRkR#:tT񕳺͒4;~Z {Z)s[]"B]3Mol$5/mLd^tO E.ކ}.ZM_ݍ L;dG\¿:C_O:G$i@$WK} w;w* ޞ|lr=s5՗<)Fo.ɎwrM%!A^yKUmrzJƧWv_e;݋̏n嵯tDz6\ɳma֍׾ѵWًcuHv.=FugrکQbU>7—Z!|]ub"- Vŗ^ do#-1G{-tXP~6Q}x^쳔R@@Q'#]22ERAz_Wt # w7X!Mk9oiw''(51ơJ)6B[m$F8lNȇwj .X_ nNQv:H!R7\<#ѭRG_O¯lzBH?W|^J7_iCޝ_P}Y6R'OI$ߐ_EPsf|?Kb1u !֬;{P=H|5S0On@Ჵ% &.7 H-e$r/B,lcInoyEz;#6]TdON1ܤ'=㬏Nږx`MdjaEm5yIFּۯc :_QM}E WGK{R(QV"y"(sOXoj&뻅.^F#Ɨ/fsynH"|=f !`^ޞk]wa|ڊpiH$}uvJ.FѶG\&18\Gn)kp$_VջYc6ِUYhn=QduӮw&6q?PYB҃hڅ>Sg-IUkW4N~,IOqJAk :.Iy~@:=xpXmkS2$֘Lc((m?kiz!~T}fT9LYu[yIfg_ퟙWg9zq`Gzpsk3=0enAo~^FϙvǙ.gs6QGZў#\ퟛw6u׋wy+Oxx QGwV#oW`&llV._zWDDBQ.B?ΪDqV!{CF}rJ4,tFn5?9#~Z8yade"㽏]7z54^FZQ[ܞ4eEұe%I] գ+eRGTCc]X[".QF b6"D[KpVhLLgFV,RԼc'۴Fk^0fie@Pej=bmDUC#np֠ZjߋDa"jV#֊ BEj\FW-p%GC[ref^iiHp8LlZ,f45 7꯽{㨀[55b𻇩OԹibyE^Ț1訙vg Iͷ[h;ERPDRS(K&ba@z_ qn(vMN5eP؞:pOoَ:;Gywn݌[C"ÈnF~W_Nh4|ZU;;FN9`iU=Ǔ0z 5u5נ^27V'.5Q2UE~5~5h흴M9LævYqw7RFd T*m8:޻ajѼWE\{c/wիr k ''ZLU2ojp:J\.knSѮ"KGUmn$[S\y-v|gn,W3&|7UH4rMx)sۼY3S8T[^9'5_YImЏO>[sacM }s|I*oUIE5okC2 bq52doI]a6dsNF\C[ʐ[;+yTs@vYj*LO L-ۂrĥ¬9-6gRG3||yg i>Y6Zl6yyMWyf߸AWmL(k/9,NmW ɚ j{g#jNrT^Ҝf'wC K{!675̌fz[ar󘸋Srg/.Uǟ(I4Zcounter_example.qarlogxN0 ϭw iaPh*$ Qں[ m&)d!nK.Q(^i M7Gr 7Ms'0׊g/dNh.M#ST|]b/`ɪF:lYg!fS-[m 7pķpE_., ģ1DCr)X>).mπ]hDa"_6S`~t {w4.-V(F)bsFK>~*.[}S}֭ZKfVa{鰧y?ũ}]yBیLbUHkol+H CkZ;Sofcounter_example.qpfxmSMk1\\@u!i\ ddZEYd;va/̛ތ:xX\zyzu5h_ۆL7?,@Tei7MP#㵃!LhQ韅*4zÉ&r0-PMP*.J`x(bETBCSTYQ1DLFA'!v (H\ 1ƢsQ)bj%Be_:ʝ ~2M^M;iU+)%X Πwon6_4VR5R9(<+`9VY q' yO"[4„RH,[oA BIBGy;D`>Vi(O֍VX4ܓĸ 6QJqߏq{Z7 fɠ>.i2~w,A2CXFrݭOGDIȅ_`1counter_example.qsfxTn8}n yh8F˛VJ< D9ܕD-/I_CJi-|M͜9s ON흆3&>M../՚Ie'$\ޞ­0b DWP2ŷ-h!j5Zlyi Xm B1 JTJ掆 kbJb`cH@ *@xd[ۭKtS3P{VkC1}#$L5ubv]O6!;r-Vmt5G4ҒoR5XV {$w۷ܦc\(Vwo2L,YEMֆ 6[Y+,x{o´H8gjT)+[(a.zF a[_VmB'@?qdh0TÚ%v{.c+tt kεAOnw57/LE )|\k#PLZlh}\A{ T{Y>,^!Y0'QdbgIpD^]yIJ5I `:L/r?!^y,H>2'竏Z/^p5^ziǨbD8(YbٚI|~ "?\HGz3^}r^+iWWrYɼ|' /l9_s6AH^`u ?d\GM@/onk!RF*thdaf}0E<#G?Nɹ5:u,ָqN# v Y<jY*= Hk[\BN,Ecounter_example.sofxϯ$Gr=~eHccT  ZyH=> #Bcɻ xjw &; :_?XܾyTZu췄xsmn-hcTBށͿGǿ<߫ϯHnT߲|z%[;"r\߀y߫ϯHįulu|jlu)+hKl6w3AmП8wOM;yo?W$rdJ=[RzomkSI~=7zwF7z% T$|d6Z[C+lm{&\=E~~ph+qt%DLpC}+=h*\AtXFn[JDL9n-SZ4%c;"[d*Toy=DLFG{ӾlZkY<-ZVjgF0l=T_ȑFU ymZ`t 1Bo`>k tbE"G֏#4sZϩqO\)Wl%O1.W^;Tj :87l ?#=w_=R=dmIk!?$[k9fXCP ~Mp;C H2~pFu&і`>2O{$M15ԉb^#g ZkWܗ\}.z5k7|lm~2? Ør KSDn_R' N!{Zr(N9I!ۉr׵/_kg{XL]^KE,̉ڍB1TNb rvcP9Q*g9H5n 7ى 'ʠ]aY̝ ٝe܉⿮D;Q{p90 [٭D%L($!'WlIa"ֱoQxmbJ+T=HXl6#*߻E%x {'$eFjdO|="*3#"-M } c Ý+@iyŽbOb5+l>2Պ7]"#:UțCbzCRZxi.Òɨ܃ %W&ѐa*r)!j&-Q]]-ǔ#`RM/[4D2/,0-YNe=D'/7xiXi0SM;`whLXk,*3zv:t{އM8SCX6BS=nܗ`泻J("m]D49}ѝ$p%=oyrStSofDKGtj@0jJ>-J(|q\mBUrHWX¶V;A˞2#q7Vf Ոh;²ARFz+azI,GVt"%ߌ4pJFtWW#2 vB,]aqp:QT1B/ӝ(-,4f,[ag!LO-ىX?#؉=!]a;Q;Qiœn i8@=m$0*pdmC®zB7(|>1%O5VT"ћE=@Dp=%хh$D,;rd,]igpb z/z=7yAO Žb0a _zwdkGJO^LRobEj栲`B kP2FY ◵+K({{^_s";Yi7dyLyW3"$&,ǽ?VEʵ< ؂-UmR>GG|\U{P}P[vB [ۂ%+V#R.%ж_JWX6B;Au\J-Ga qo,֊aH|"‰Bη~ G9Q8U{qi_RvN#+,Dz+]sv?ffDY?x߉_njhPqSdz,~"xd)9,P>i)GqIJjpI^bvj(IAO Bb%f@b^퉤+{Y%KPOI\a-s 5z= .x=%sֻs c\0ȑHҫ!}m=Ge K40QAbzm5EKsAZC |Af9w Sy׀ߍȐDdS*f!**gpi:UwdNԳ9/zRoyrSV-Sn?>;QVкPf @[ cB9qGl3ʕU%]a Z- /vB<}5♿.f+|¾FXsr UՈo,gX’DTubҾla1#` > `zt13g_v".avDr03 Y?f]! jq`[w=%p{ ٣v+ \$H\|6+5{Ԧq\bҫb`Ov^ZlK %7]zAO BDbݤˎYb+K$5?~#+=I!'??5TsW켠azq *=+׎"#: ސJ/Ae K$&,נ=Ze]D!p8K5PP-A]-h!3?*Bg8\awy; `RYNɜ&\Zǿr*ϑ[?Ɖ ^=OvVRoy,-JfD HLX{'JF$.ky["}x^Քߝ9jGpYB87')Jp5"n d0Ǡzc9'\J$p%֬^X"6TV7=Ў'TwvFo,gQtP8QH }BcFbSӺs kWX؉:VygDafNT;QiϋRBSCqָDc/)AC=B1W#kJBҫ=P>YEQqJ"ؓYkP"1}8)AIG]Be#?2J˹e+[wpG:[ 9ZM=/)AޝcHX×~9 $J"{!Cczmhi9K'q0!kPBC^" ˗̗ʲ9y~N4g ZMU- s]]ᥱ)\~0pK~lc`I圝('\ D5De=%ryyR@{(#a{dʻ@X֝/zh&kykA.kW^7+j'k3cC{V# 0ym%&R V7o= s~cV C5ӝ(-,NRvO_="ω©D[?N+p(]aa'[r睳%03|'*{NgrSCpĸDڌ0 {c#ӭHHz'~Ҳ?"exb(U8.5U)b^.SSCMj=zJ"+1{sEjO$5\ٛR,X:VNzu kPp+/)AޝcH窇is1WIR^-,yD -uX< 7\"D ;QyIV+,=Ӿ_WTAB˳TJ ')=s%^K9Pps߶)¼3w 9Quȍ t ^-l1gsl o࢚Fm))4e݉օr-p@B9n(WV>K(v%gen ̠zc~B yq[/yOjDM62, R5M_o,9Jf K~c9aLv%lj9!/85(l*9߯]Ӡy4Gv"֏,wޙ;Q| ߉Dy/75TKJj L($!'W$ E7(ɋTZ1%R^ѢS!O %7zAO BDbU21WI*n?"K( '^6$5T˝+@=%;gYeVIRȈ'y/&7o"5KsAG7 *rvUrIWX¶V;Aˮ2.틝O_xo,KidJ,o8(no7\|BUu5";!8Q8U(!/(:[XhX„?B:_ xKX=(џ\~>̂tDy֏DY{WszZR7]{AO 4F r "Hze24 Fbf*yJ( JoźIS 9ĤWHjdſɋSʥCN~~jyAO Žb٣(lP#k^;bTbtx"7bzC+-RS4-,Ro$^t!5e]]Fp8K5PP-A]-h!3?*Bg8\awy; `RYNɜ&\Zǿr*ϑ[?Ɖ ^=OvVRoy,-JfD HLX{'JF$.ky["}x^Քߝ9jǟYB87')Jp5"n d0Ǡzc9'\J$p%֬^X"6TV7=Ў'TwvFo,gQtP8QH }BcFbSӺs kWX؉:VygDafNT;QiϋRBSCMaAkȑ %%%*U3SG+;5HLt1zJkQPALrnY"RQmwpP.rSCz6^S0Xw!a _Tv+t'*ek t#.^ 赡j:,yLA y$,/_2_*+ˆ{{^qWXk9U\-hi 6UAtΝwwuƦ|p 9"=/)]*r'svTpi2]Fʉg~RIyv:<)ʪfM`YwꡙPNiBP>G|\U{P}P[XNAʌ\2C{V#Z咮Z׮i۬Ѡ:pcP|Q0HGdW=%Ո_2 3݉BL!߉Z+lsp:Qi 7HLXZ8'22ȑ%^"Urd%O=*}ฦUlA'tr=(HsE'a(WX9=o&1*C#r]ZG3w耜l8Q]W 5KLXD vYw>h ZlsӅr-s9B}%RP>}P. K T]A&:#p[-pc_LKBծ1}yk)pcO$o,gR+,9NY8Q85(Ls0N(fhWXN߉„ZR7V'<)jh&Hze:a,yE O %7zAOxS& j&HzWAgĿ2#%\W^P{" ;W(1zT *E 82 <+ex",ae #S1+U&QCc2Â{nKSrqj:pKylLtIXzB5lTǯF Zs]U߿r(WoW>K(t%geF]uy+et„A:XΤ#kW`ݭ)[08'PU]Hr!E’DTuc;Q(7(LX؉b;QDAىbtD(DXz aNo7A z2IP[!G6/)sC|6*U"|Cw$ё zHQi٣ЯQyʌr;E'ق yAOwu^aGbCdg (So&eӋXi 7HLXuxcy}4yi=,MXg8m ԆS=(DXftfˏzТN p1z ^呢:2 ڨPugrɠ;׎ & x^e~iY;v ~ 0(WೄIИ nRf;I%LL!rd4%po,J|cLtg Z 4pBIAO ity̢Ѯ8Q8g#qpj:Q"'aa'(H3;Q2Ю( ~Yv$ )vqIzA4L/Sq*UVT P.?zH?[m!%}ӭG>eLБ= RD}I+3Rʵ^P{" ;W(1zT *E 82 <+ex"^s 7DL"VD4WD n,Ż-M x-87Ϊ)O3iK$ays:<6GsƲDdSN€l;Y!9QZ~4' eV}҅r55k_ʵ爻Pޮ}P. Kʌ-Vʴ/ tęIG֮Y[S!apN.>s1F’DTuc;Q(7(LX؉b;QDAىbtD(DXz aNo7A zQw+Dsچ%erP?5>(yng)U'~OO>衻?HJt=WHTi٣ЯQyʌr;E'ق yAOwuFщ9pd,F1*1:DF< |02ȑ nRf;AAzĄ~]eHro,^=/灥)? '-p*WXˌN NNɍRȉO h(yRLyZ=O HaaNTWQcPĄwgJBg8[02J,v9yUS~w~ f 嚾2Xsrq[ AAҺ=~c9\V[J4o,ߡ{ +LthG*|0 W=%73 )#t,' G2vfiݹų ;QުowȞv'մ2 ߉;Qb'ʋRc0ܻD匤F4m(_[1\RLS ke{C-0X㠧@U)/͡#SЯ*UwqFA( zk`€oxAOxU& wcHW r >KD &eTb4"G\AJC^" H9yr1s|sz/4T} :[@ 4{^^5XfaNyi6*|=9g'J=&ERD5De=%rvbz cʻ@X֝/aBg8[$ B:qUuCryB/o=7SFmAՈTo,ի58  V7o= s~c C5#q="ω©D;Q;vN#+,Dz~ ;QwD{NwY67k\AmAO 5m(_1~BU8n7s5żZ#\s=Cn $ )z#E9td7"+kdBZluh+e~7K'<*/ `9pd؍~ 0$PLAb‚.KgUQ9Xދw[VUP^d? C^$&@ (8)E$<[Ae8,0-p/=o1465P$ QgZmMӗapN.> ityB1\’DE]N9ۉz558 wLsd'*D헰v03  x߉.=Ԟn n5z#2I682)BNm<\e ~YdG oM^I2CG$+K HkE ;W(1zT *E 82 <+ex",ae #S1+U&QCc2Â{nKSrqj:;"= /Mj jCT1Ty0N=s_~7"CNpMyĉTn!ٽG53s֏&s9}ѝ֐zCv?Hǔjr ܉zօr55k_ʵ爻=+rvUrIWXrVf4hU}QF<7s¥4 ^v%Z7L_o,9jD73 d8U(!/(7(LX% ؘ3/;Q'.avDr03  q,v$ nP'2g$!{n%á#kJF藔UnQd܊<[\ex̿Wi%Cw$ё zHQi٣Я]nǏēVa/zUp#av^]z$WvĨD0Y4"G/I"Ve 7t]/cyWDsN"Rz}I4%˳-dgTR q+,=s_^ X5T>s'MDr*ϑ[?Ɖ ^=OvVRoy, M@br;Q3j%Yt\3-ؒE, Xs$Q=(5}eƙ|?!N"q[ AAҺ=7s¥D ^LWst KV|Ruy+w  %LU} CY5e }L!ۉRlyZw.v2|ar ;QJ;̝(~>߉݉ ;Qe$ hy=Q9#zsiYP2Bc8EeB*qR3c<_ά5-]?CZtH a.AO$yi6vɜK2TN><=tZ=O H}Ƅyj<u'˪ Zlf( ZsU ᫪ 嚾X.V#ⶠjD7 8WK KQsy+˷ t9|Kr8Q G9Q8U{q'ӾE G9JWX؉:VyD ~>߉J(zCm" nָDڌ<kPs P2Bֹc8]qn*kyF?z͇6HR78)xG DsnDV*•,ٿ;WXn ^yAOhS&z 9pd؍~ 0$PLAb‚.KgUQ9Xދw[VUP^d? C/UlA't:ɹDJy\(f+,JAMO4ȉ;Gnfju^z3%&,&rSV5Sh˺IU ZlsӅr-s9B}%RP>}P. K 1ycP|?!Ո-@Ǘ'}=M62, R5M_ޚ/*?7%یPa0\’DTubҾt߫~v NىX?ygDaf+,|'ʳ~Y?/z=0 ۺj L($!'dR \L/cہXJ+x?U)\CA[m#!%}ӭ D4/Z%o/s:'Y_*h'1"ydbC)[^/zU^6P%AO žQ=+#SCRȈ'y/&7o"5KsA;QVкPf @[ cB9qGl3ʕU%]a Z- /vB<}5b²p)6] E6Yo, Kiಋ'b#OF~c9`'' E#DEg V'YHӠ!O?3~v G%χY(4w aNo7A zJ4VHUچ҅]"oQ|6+5{TS#,nk(=Gf+FCw$ё zJ"&M-Xv%J̈G@DbGr鐓D'F  ;/)AQ8{wdkGJO^LRobEj栲`B kP2FY^+K(:i_²W+ərق23l)tӸyW)w^XLzĄſB:yi֯)?|2gD Łs֏q!rejϓ{A<+Ke҃hމҟQ+ɢ Zl*bg#W5w'qZ`P+3 qʨ\-,+L1X i3x1 \5vpz+>U;t!l## ]E5@k-,NR„di_pdИlT%\dxv.wޙ;Q|hNT󢇔P"1}c/)AC=*;rdmCIHz'*U3SG+;5HLt1zJkQPALrnY"RQmwpP.rSCz6^S0Xw!a _Tv+t'*ek t#.^ 赡j:,yLA y$,/_2_*+ˆ{{^qWXk9U\-hi 6UAtΝwwuƦ|p 9"=/)]*r'svTpi2]Fʉg~RIyv:<)ʪfM`YwꡙPNiBP>G|\U{P}P[vB [ۂ%+V#RM$ж_JWX6B;Au\J-Ga qo,֊aH|"‰Bη~ G9Q8U{qi_RvN#+,Dz+]sv?ffDY?x߉_njQqSdz\5 %%%*]+R'fRS^sQEKSCMj=zJ"+1{sEjO$5T*7e?{Tpҫ;WX[H ^;f=%3u@eG=υ@^ k>*[X򦁉 k+)Z y2ToE,Ż-F͋ĿSd%O=8+,5xE$<[Ae8,0-pr<8w^5P$ ’mFX0DS]aqp"F. NM' +; `k4h1͑#˝wN?ffAw<;QM Ւi=%p& { "Hze:4 Fb)VLøԤWwNCSCM^SѼXjL`Aҫ>3I+X2|@I(W8=Ԟ!Z\8)AQ8{T ([LOz2DF< t{1I!)^ y2Tߡ1aIE,Ż-M xHtRNrwuƦ|p ~A!**s<@^ǹ\ay֏Myhb|}¥@NT9rG9Q朾NVykH!cMYLD[CB5lTǯF Zs}͠r(WoW>K(t%lk#+3Ҿ ՈgrNgJľFXsr UՈo,gX’DTubҾla1#` > `z|33g_v".avDr03 Y?f]! jIIt=%p{ w+$ E7(|>ɋ=Fb+bnk(=Gf+D^j( zJ"&M-Xv^Y"y D$/V8{TOA(9Zd=%;g:C񎬽BzQ!2`c|ߋI y[HMTLHAb’x JU(˗v@ti_DJ/@}@uyp :[@ 4r{ޡqd '}/ Ԟ';Yi7dyLyW3"$&,ǽ?VEʵ< ؂-UmR>a5%rf,,p.I/9Ȕ٭b;֑˯ /ܑY`Wio$m<O !q3r[0ڻRa]ytЯ*R `8vZy[F(;Qi,,p9?}mnS-[zo?ԸraY>"#]/Dl k_>xЖ6nNXmz[tkB>Qt *>2F:ͿJ}zZk~Ip 6nd'5zb.SgbϯHn-[H? A+߼g4XA+t;+92%Mo-[Ⱦ n eYFz}+g#b[DL|líC+l;mvA[Fu[Z [4guaͿW$rdi-n@b4"%P"BtbE"G˶m{c䀇-3 D0::VA+!-3 DLFG _C}ro^p?|sׇfo8_~K!w"|Hj?w{'OIjwq[ç7>}h?>|wƟOC |ރoժ}.fnbAuul?iҠf+ׇ-'_*no%Til>}avMa +ڭ5gݧB6j` ?V׻D>;y:G;ԟ?ccounter_example.vwfx͘]oFc47MV,|%t OKA *d@ksm8eS`" L&L^.R (Kab!d!59 `SXqy"d,i!˒Y|.C )qN7MyŒN`£|T~ ֙[} i>FG%:5O Y\eҍǾtX|F4gRYpKg!OjeԍlUE̢p;$^%Oi.Up7ݣ7gߊڃ]ʒ?娸q}kSΧ0|FY.r݊4e«tB#``i&8ǭV1 Sne4S\>Lh8}"kGe o` Ieķo`HbVɁk϶FߊYRq3j ;:2%H߾vM8 (e.@d]ځBs>PY}fݍ_l"wXD,#@5lA1ozĕĒOvxXwQ]MKK xo>"+|Iw~t탦k4]MW?h:jFxœڱ3Y#ˮ GE7Pjk3h< "y(}f@6Ѭ62Ŏvک7Ox}NV/< K/־nK/ac_µlCTuޘ3T22M |Ēi`dI(2x<," EE_]*?Zxg7!Јxkَ=7*Ь@ W ~7CT;yIH%!Cj.YyyH.C)( >T+i(⧮Ks;-|Uo#7 j v@'counter_example_assignment_defaults.qdfx]_o8?ྃ{tOo=%#r~!$;7Ag92KyeApf%ewKEHs֖eYЇF˴əƿ]=%ns)1NwqsymR ?L*.< "ZkRpOG~.g3̜>g-N-Z$ ߸-Q`:+YR+^Ցc%@Tj[*`u ~0+^k;K g6k&HηOoEgm%3"\F]slfknJ0m@arc@Kib KUe ;g^:#e1 ఉL(?Lh,N) )a=8hb85/P(j=!12@+zz Bj/x#иNJ2?J86<`sQLG@N`K@NNϤWcx8pYXp[F 3[bOttE.;.>ƀ: z͂EٵڏtV'& -,`> 9 +h8=†/v _C0lDJ*, ֵĤ ZM8eԹ6 f'KHʲ%:L2YëoC 4'gF0XnQ;Zǐj&HQF{;jI㰹w89)}YP7cHR ^IKmY?voWIycs۵-{^һLsII^ZJ>$hKƽ/ic5bJH/::0Pퟣ`mmuy'cv1X-$CY/e,_WkX7?~qY%ew u T^zZ8T,##8"׶ |s*&pILK$yw٩kv~AP=XL 6&Y3W-u+!C9s+Y^.iܒ>ЗP2И>:cLJyYRIڦDy]B)8X;"t b4(%hNI: =271c!_bc-o2yE^ f}hgvp`it>@INqb=FɒN\I3.vNɊ†_<8Nۀ̑՘ujA2$~~]mo#Ń%p);EytBQip!׫XR_I"Nkso5䎒m\wo)gW0翓s#/ݞNow:@Dz b3/@ebCYS\o}7 H1o&JɆ6>W:d{9dgwї0(6臈ޱs$<,6+$m`[]QI;xB|4HE{_gBF;}zPljTIԸA`%gBYױO4fӰ.| .?6]ilHhV/ݼ]#hii:]H0E/.x{UOd;aܽh[}H^_~?Pa`jPOFf8SY@|tIR~2sIޣy ' }gwf {1>qfd`JJ?Ę6A :fl6{ܺjd1tF-Fˤ\ED*}U{B?FGDvt2ˆ'X3D+F¯;qJ09Nu⧈ 3ZgO&R$3UU}a8xJCa܇հ`_tZ;e.8uʁYyHah}Ir>fc"dɴ<6&vĻm2/[miץ339k;|~ܬnƆ9vF9-a3RKܘPBX.400r= a|;NI `NF {s_ 5hRs}~;'nh=m.)Wߝ׎7^&2m'Ednk|@40>%MMP\?{d?H:؊W" S9/ |( evʄ/XEiuq q+.] DD ~ a)6>T$TS{WtZQ#ŏ[zDcD )|F1u皏YO7~wvVO~> e_A|`pPQM:9a )G{MC-:5`\cFF4  .o'cݶ+Zipj.L1@B+$CC[ ­ y+ZZ C^ :3Wp|DߔGD\4Qtƻ6"[ݭ˺k>OY]'߱zX !D+WnT@}mN/ǫ3 &7buV8돘&;rM8%z,>§NJ:Cӑ2Ҥq^׉]ŋ;f )d&Q跍'd2pDw]L"r?"rw"L?3LKm'ؕEcF?;f!O.*e$7s~C<:Щcx5_>з&ۧ{d b{Nݵ |l5=gb %t] o2] ךL-zQ2]~Lo@qm͠A|E9ʹ 3qW4'||xZ`|O/Rć~CG!{BfvL.ƐBoMHʾ|1 a0Wr}: |gAJֺKNUfK|½2u!tsMexpzM>@Ś>w?\5Q)5!>xl w)1,O`j}n,= Ji|{~\qDEO8;~BLdFd~+Ƌ޴+vWIGvj)sh}vKL%2׋vL ,hٞ7 DM?O1>- ud$:b˩Hu)uSѺ8\퉈k|PWܵr?pkhk@b*BNfd&prev_cmp_counter_example.qmsgxXYoF~/02EF>JE9L#4E,AC晊{ƻe`2 *6ؙJ4H ܱ*k$umڷzO{sCjڄQQ;#Sǥ7{:VfSHBgӛVuJYzxO*uy̪Y1Û鍻!mmqO Ɯh>ҵ!+s: 'E`~MC;[nd e>wCQ`AZDʮ ݥF|$Vr%@%Kݞ@V 8-Vz3֌zڪ98uM=(ڱפ#u=9G#uY: ,'k죵?~#fb5GEݶxB!WQPM0h9 35! 3ChbXXc`e+pMRCy7TP~Y~'3a˦͛_.#M8^j T[]3D:,rE-ۊ5/TXVSX}m;uߝa _rـ弙ځ?w+cgp{UL6 YJ^&$י6 GgC{$3MnQ>*xf?%$?Ηz>+Kn^Oo6sANf7&ؾc,*GJs@&+Zm(ˑó* hzJppdy'UyHL6;(,ޖWul/x6 jK*Hz%RuvzWPkmU /I7u"0qW6$_ЈGDi䞢zAy*\r-6+5$ ?5պ}C7̞VMbX|*LO`Gz#Iz _assignment_defaults.qdfx=o۸AE(Hxms q_3$%ˉSd6I=Cr83K..y~_l-Eb}o2imsl"GOh{b#cM/kDY-d }y) ZЍPhX~}( dWn`_ɔkô2*YFlv˜ \zj&dj2\rb4^r<+|YvSQѝT~ K)Di,Ŵ8@>> [oxIUƞj (ߧ|[Xw2$YY4LkX0hTHXGƱ1WNx>K#7%~Xv8m:b `(8kSo ̒Lʔ_&aa +ή[h7Pk<[夎_+!ɥئoP34,&00zMlWW#H%\Hǀ8V"g5h oI%<.7=׆~*XU(䃤Pu>ZrM@C&Sw DN&`\NDB( 8l,eJ8l1v$M>[GVuayţJWk~=gPN&9\+˟>`QVBhn n UY:s<K~6KRox+   7ؓZh-*63pG t-)X:ހP&]637½BLd1n t -ɯA Е(6t*4(qE0Bc؀E!@rه9,Dv/ҲƐ@- oB Y`kFT%wzUYFXvv܄Fװ k6H/^d߱*PT,}T(I0Gu1 ;z*{0gp+ppgEC0hpnpfЇ\w+X9 >ND;|hBK8slc)PJ f@8bZ>ctLpmR`ivpfvsjJ @qxk yG~Y El| җAb$TT j]+Q[ ,>똃CJ6f-Oue2.Σbk* hld^+0a |eBDC0vXO|$QfORICa`VK8(`pŒF|) {`넣~My$ēxH́V{8D>JJ.8 ?GHF~{I z);9 }jvB+%#hڏwz)1e +S#iԙGu=8 @\/bw .$Z0Q(Ldc<*nafc)JRP1yƞ6}-6ayZ~bt9C?DZ'x`ϖ<{R D,fs$S,`A1]W)X5, mXTPHgtFvmL%p(.]b4NY?QKGgUoG[1ESnmz^2?WX# \`.We!#.ڼ|e(.rW +Wxw! \iWXcjQOw02 ykL.hw%<Oxj L(B_.qij=SgX@րM[%覢OB)|lʄ2[P'Ϛexߞ׋HȐ܉62o;TbM`N T)*tK H K`<:wqԻo<-6v%#{9ng'ajԶǜ;Ap4(Tx*Y80F33BvD<{A"VnQ*^CJü?d{|!^wR@#R8[ ؉kKo@7=S(Jeig0+~wq^mmV=tD깿7N>~{y];' S\A }ZJc!̟D%+%}+)}΄SOT6绨R6:s.B"gKy; }(/^auBpMEVJNcae/ɴn]F:xᅙ x 3RۂɠS4ibr8ᒔ4r%% (,80{X!.6F1B4PoXcPy?/%-ww\X ;g}f5\g4VO\FWU k5nT,]R(@k.Qs.J‰;[ԊYm3,*k%sۿ ?a-;Da6 rM,Ǽ+<4BH0㡽CI'cjs@sB"a n/Vi2s&AJ*ß9ǦQV,!{,PM.&bLqFx?D4  yohİg%Qdv89A}Dj g]P-䳺6K }ņm|R!ؙn,y;md~ ggnm' 5c^`@+`x 4JB Ϗ֪>_GwU xrخ$ +1W>CBǻ3x޳|>5|х|r^=tMrۣBc^4k^anWx1~T66a V>wp'ć9yn;QcfuN5a%Yfoixjk!_R雸]i}C[8Ep#=8ώv[xd 5G7On$0\M֕ $L1Ȏu$9;k蟫F`FVPe.buZmS_NF2E͍^M W`W  <$zmL*36; w=1l`@w Y`䥄5WO z,@Ymp|\￙@pd6Mn|KTL6pT9@sm&*q Z(T2ER2n OKKY{I{) -8@XwC6S)HuGQx1᭤2.P v,+ vpEf[pkJYnIzjbVy7PEbVa899`P^8ݤ .D.tk0K)Ɓ:/ {LˬWI1aCݥ9\ ᱽF#QtII 4sM] 66N [0 '4|.yKaد/ z]ʟڢS 9v/< 2H2᫐@MjxaމNI"ۧ"Fؐy9чs}!U oW)S +$ܪ=1;T/~=F(KN (NV4GVYF yX%?d,4WU0s9U cr~&acR Z@hoSquf- ZߊNL2IrGw?FK|P\0\O"]X9+k[$fy<L2]+2V,@I.-)>^\'_bpu$z \ 8|VH6Gs[XپR~C>MUӃL]F/Ljh >F ndӵ;؇ źC(BPd;uhPSYi,&X]aY]6E͂/vqׇUYT Qu˄ }*iSTNx;'$\ӉϣwO[4AK?.Imb7 A=(iĽ.YS8? jK7O7 Yc"59'mx `WA% V ` wGa I &KE9cؐxbֶ6 'CGfzh,4bkfclAG+C 7ڛ<:3[QG֟ޘΩ|`kuz?n(m^mK[Zt6t'^+Mt lű/ :5q\bޝ 8 ͧq9ގt3MQ׽X 8 jA|0S iJ>1q ^15cc4"UƏ~BZYP1ԇ &vTf!snbk};Xm өP S kSuq*~hJ7'Bo}vmEbhOwd&ݢ8{P֜L>I2qKzlib_out_time_stamp_tmp.tmpxA }^ŀ@tkTp(Pg6. >~x V;/>\KJXErQ=^sM{ E=%/&;ʢT)Ms- `09|!g{ !RnJ