SQLite format 3@ / .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  @ @1;vt ]w Adaptive_State_Counting:threads=4elapsed=49.321cpu=172.592gc=5.1247zXZִF! t z]ŗXiɟH)0!h]?W _Q l;=h!o W!Yq &.q>|_ҤVWrls@mgfz4-O(F!A/dI|-~zS)Ro-LzU*mщw '-yz4l~.H~bDu¶7 &w4/A{m҈X+@56EkMڝX -}[}eQ@ n?e! S4c{:>AI* 6(vnO^h7wW[?\{GQ{nn+=0U_0+B8XcP mӺM;sk03]wYH& s-½`,<w[8(,KgY:BOĬ_" O[=bN Tof/YRZonYP-AĦb /V6<~Fi/e+} 2ap\$! o  o q$IG;I%Adaptive_State_CountingAdaptive_State_Counting.ASC_LBdocument.tex D;C%Adaptive_State_CountingAdaptive_State_Counting.ATCdocument.texL;S%Adaptive_State_CountingAdaptive_State_Counting.ASC_Exampledocument.tex>;7%Adaptive_State_CountingHOL-Hoare.Hoare_Logicdocument.texP;[%Adaptive_State_CountingAdaptive_State_Counting.ASC_Sufficiencydocument.texJ;O%Adaptive_State_CountingAdaptive_State_Counting.ASC_Hoaredocument.texL;S%Adaptive_State_CountingAdaptive_State_Counting.FSM_Productdocument.texD;C%Adaptive_State_CountingAdaptive_State_Counting.FSMdocument.texI;O% Adaptive_State_CountingAdaptive_State_Counting.ASC_Suitedocument.texK+|{;;I Z00~#ÖeI jو!GBFd-A@ɰ3:NLHJ.5AĦR`G[_4Âk 1B/rB02ZJZMC dߩK,?gC\(z @)?w]'5暰q[G>IwD.)%绁7 ETBr)I6p 0؊f ĔSM-0!=UAEakkX -Ǣ(mFpp _nj=d1uIء5 S5η9OBp=)@Mi^CinVf㪝RK;[˴p3E73ͺF3F1 ˚Kq =!'ebܥBф,>ƩAUZY' vŃ蕏VhƬ#;ܻ)QG-J+OMncp^`⃇^LRM^a[J|ZKYiz0ھ"9؎Bt/ qW@7Dv/YDc a3xaÃ5bАBO%ZP3I#dHP6ɐCޡ ,K|^4 "(`(È4N4hAvĸ; NH1l*i0cVGvtw~lO?N sTU>0ٍ1R|i(RDք, 2>@BPFʛ ##@g8h۹a* N!xRɩ;Mőp?=L Z+ %ryǕ-^@eEyd+p:3tjT-[$Buڣx,鐰v=+C4N#|18JU|jH|bγW͙%Pƥ49/>ÝgY^ tU#7ЖCXYe TGh,"j@~%`/ف:O.樍3؏Q꒬ggGnW^:~>ggO nG%j;(妩X%ff/i\ Ìxaq ~eK's Re3S*2}{083QR)qm/"Ӓ\2sI 񬲻 alϮ~KlDT:M:otBAh9ޱ<7mWk,47E>ф#:FވGgP`dI2]_-5 & i_+磢_`=NYE% xWq^IzDi K[-7ۣ#1YDg%@]y^-I1.MI=^8 pgQ^Pg[^dZφ5tȀNRN9/&:L2SL+X+9;$Ҫs7# }RYA\8BQ# GK{P$~)fez4=hba'n.nj228;/o7͐=U vӮF+" +Ü6TjQeZԤw\35{FkqK~}]#&MI*qQoSZYr1%@#"Wӻ7Lm 9qr6$}Ľ-/IMF3P|gP7/ӫǡ޷}[!à1L d5Z/3m W7q.2πd*ľA\~`Pɧx:J0SW*brXA pc?9~#@鹆QInĺg#xc],N}=ꊍag4bIumR)L S@nza+N.|T'k7ƑB]B5E6g6P<y:mD6,!"'вTBגA1µ$j29-xAOU/JQƩu?豃l6yd lHUPj,H^id]˜hnئbnz@ !28A^9W' (xvֶK,p=cn8`S;mnc '1/T-ٰ#kӱ>6立M~~W@ m1㐋{%jZ3Z>Db4)[)N#ovkGٚh=Ld9'p!ExiR;>w]QvSjS_@Qe'o6&hrH!Mmѝ2G 4b :tڪoyJU*]-P] Sų1 'ov0dlLLOKj9 `V,d@D- 4XV@dYbdJs0f[[ ҿ[:k\+QY؀wW׻zNdIc`I=MP ::jߞ_k> Hf*d̀Յϯ 7V#[ҹh@&\326s}k*OGSkEؗ 4~U' ') 2flog:z~r) p{-ԤЄʐ߲-e'|r Xx 9Щ3:;8pɧMэ7Z>)ڵ@]=q;ٳ~ TGikΠ@NBNu /5)\'۠HXI0-# b_,+Tlǡ=h\=w=* YMCo"yJr]!N#Ϥ=#0H8nj2J6%g7,KչW2/^>]R!9:6jCʱ)s2rtZe ,߰ _3;|]QBsK+yV褹L5CH@dT?5M6҃I0QoHãI0`Nk$gұAn]03,EF& (V\lӉ}Mhd/hUpg4?nc^)Pyf>t,x q(uJUoUz1ErzOeYQohA0Wx^zt{nj7c D4Dc+{g)B |b_&1eٕ6s-r)@+pOcOS0NVl#q* 4aK9TC9)eh h^c0J8u*snqL@X`^~:&>3d n}cmdE 2ԠD8 +,Rm-Jc` %:G^&&+BAf`f\OSyb-5-ק1 9zS<G-X׮,Mu^V"g^/G`e@vT~S-k+"#Z ^[U>h|]鰀|*RM+ǻvfHPė.  HҨ'mt^'$BbX|Tb X4/ xb,׋Ɋ1̇@ F' \JiΧukTK 3nmj~oW6OA"|7U-+tnoe}ΐj^G0)$Z^ó>@$="qVq/aT1|r-aki̲*7_UٻC 0xlS&JO iyI{/|GTOj&9gc"ܵT%%NH7 - i3>mH=}7q&֣&KZ,Vwz[vw BY5>a!ҊHB[<[#PTRfS]Df3"rU+,-nJUYg]jBDbՓQ>I ٴ¢dY5}{??de`]{ ƻ(W]?FrJ g4eG7HSqB}LutGp+SHCnF $4U9;5&3h&N;CXLz)blRf BtP#-(,鵘Xtv .rJ#JɑV!bjrA@FMBfo&7M"0#MWݣIp΁^|پ{M|F[QIc;[&w xGbsWTW)G͚7={lsR9+ Z(U6Av Sl\ xXEwʼn nnWL](vTѠ软i(Zӌw2Mo;ZpWV,*| ݻW^g sr|QPʞ/yUc@02C%(y{䊃13k晸D>E 8P'6b67Q{wW嗰>Yi( q^RBD2AfWW;΋UtVs >AVysX}'SGL~* GL/ F^\w!i#PC܏Ս/Mw~ɮӐ}\s+c0d#KFȎ$ms+:1R*ﶘc*V·{a8h#5H@TʕzUw\_B4ZC` opK6gD]] ~]{kzX g{+@K3"[Akj}1]m{Cո^nYxa{'"5;^(p]\`K"nO#}}ъ1ɷ{btV7*5틕Ǐv@x ǡqq':vmi\vcAo?#<̲oG#T2ю˨ ZQ,:_RI̞Pg{2g'"ܸԸV%Trggdfy:0R;}ib+^l\F3X4!s|~vKv&`ɕu i'L7K3QITl>GԐ5ۗȐf.^Sr6^c)I\ /l.puĤJޜM-7 [Allwj <=Ӗ|ט4k`-LmZ)F֛X3qi"!Oge^n==\ǾK GX˄\ /¢sn7hQ.Xp3D b#wH WxKJ$ w*{L8\`W~kq>Pnļ2TX37};3x(Tt1;テGxmG' vPd`,p T&{ cd-; k!c͉X?8*9یA";Ԗk6!okקS\%ȿC,Kj t`ToJd}ED^LFla? V Hʿ͙l #ƈ{7:s;ٰuZ-Zr\T'^jމ>N{ڗva - cJg[LnohXJHQVHݱSQ`] kG_.-lEO1yޯP"lhږLuEEKIiPL qTwΊ@'@i0fŧxM&j(}֗ ^Z#sd)<7ԵuK]ж7ig|_*W6}ā FZc]yTT} KjclVa-faVüV'ݥup\sV-&*My90@ {u!Nv Ќ6c8j$fޔ]1U Z:R@Bk#>u`hZZމ^xfB\5^ţVZ I+a!C3%lUvf#\' ߛ`Shp-*sNљ1 ҁ=Ό&yxWJ]duS*Jdl.nFc,ږP)'flèo\[@&0bb-g]]/Dt fi LhըIK ~𪣯xʨ k`eML(C-^oU4u 40?*͸2&ӛQ#'W *Ib {b=$ T2'@98/%:-82AP4%b:R},=}JVk z6!.E^a2ǞZ}?qDgxQvT8MaZ5A}W'Oוs_FaKWՙǣjoHin4]u,7peͶ6HQ;UcC凎h꿧'`x1 x=MVWŁW3XLHugB.9 9/Ru E;:Hx WkAqJV0\]$ge//#f=X(Ϭ 5$]K75!Z$)vў ť?5zk2bϤwBɮ$^{pn:Taÿ'T^͠i}OvȗK2plFA?$#N5r{ !lP)[cs&1h $&P6Of}jFyGe?qcaos0fhN;"kЃn.Sx/*LZTYmZA0j x׿\8F0wT VV$yv xnlAj 􉭛MoG%aOǻJ/6:[>4K 8,Q㊿ëMBE-?XP vMoLֿaF54Jz_ Y7\%c1چ$vA L"Wixp{T7[)bcZ ^`J*7WN-M:$:t dJ"Y*󪋢D8 پli- "r1c6rAVܸ|dOsKR1>$*AĠjӖxQNq)&JٖUhKΑJsP۰6{/;>ůOugL.ޖk7R¥`,~$h&w׷cO'fH֨U7f4j kT仉(.n*DnbmvxI!c;·Zs AEh@j ݪ ԋsP'-y~e0X@Xaz$11-oM/A3y<(?k 9]IPmu1Ό !w&f#WLZ*; 4)ߥcڈP2Hf29Q2q7+vp== O0a>#J Uo +Gbpc^Hei6zM')^ҬRBӪ"BڛG6)*Λ{> lU![6TD4E=#S |(m _=:݀N$_iz(sG.i_ jsXWK?齆S@L{ pM3_ӾpXhrNK22ksQVLTaXvz+OZr +y6 w{榺j׹/Hؓ0W88Jԡ+`"'ވrߒbxͦXΗCGlU\)^n9qx9;ab10ي>B$"5 fyX B儮`!p ?Җ>,::5Qg]XD/OK#Q'Ka.#RgOG(!`+ߔc~cFROA*1_MA.Яͦ}>%S#4@Q7&5Cڗd&taj B#^&ոѩ$)@q{LDl Z:_)(y¬w5ɡb$6O;1!|!I`љO'ߵ;֕0:63i}dW )?qފHnE,م#O"?]eZYW36Yk?aǗHto1I_LN CFu" q +0'_O(ꏆstޝZ'Lj|}e!߰EFlq$xA(m&~>Ef#ۉZ{U+M1?iN]sx)~.; xƷ/ZOq\ Bg.u-KZ¸("T5A3H |ozrFw$LpAݗNxvR>lMG4.қW˯8 Im;2% y*SѣfX}tCOA#`|jrH>܏) jz骛V5ßH^?"T[W 9uDFjW.Pr[yŲȀ镇4R4+0[ j5j`H?A?' kC{`:>jMnٮT|$i!rHhn bG'D 3)ͷ{ pkp:%U z2_1/̷b.:"wwЌRm֋ƒ`1ڱq. XZiG t6 E'(ތ7iESB9j<ⳡpLWˠ|PO{KY+n=ŽsǹԮr؊oc~BbS).:Whߝ%v۞m֊J+dy΋zޔ|7pЖoE7d~&s,~{ BA)V@G:#`TtFN_ ~m>ɂlJbsf˝9;ej_~{-;k $X[^R>_P&Ju|`޺~N_ r I|u_ &H1 O`Us8)iJpA <EOx`pl7&0Ҿ'9(fx^oYxُnGf,շ}>˥c9ő0Bu_X r[Dg B,RĐjРs_,ycH{i6Cqlb2Y]x]9 |ZAfJ8'qs&n`'HyeF;՘8[q`l*\?7^[h"EX v d} [Y~=N}ݑ7\IFbUĚe@m<{2]Ex kfFBذ0x5 EW>x'|1F@qWIps90vY糵+ KwP? l=۱?We%#r ZٌJB RJh]8<,Q\3UlWuOnUs(CڏGlhآz-p4y cXƳcXQmU~=}.nOjŠ&/[9OGa@U5mYlڀi/N;CLD(G4Y "hݚ˓i%"7 Q'? \wKm*GYGR};<#,bNBhdr\W!8˅|}9*dW20eު(޳Y:q} qCwdT_65 |V5zo+ V^-k:5K/bbm4ƹل !ÞCL̏p@J6Ó ;˜##f_؜ydeqQ+AAW:wp5Z).aY|jpיִOp>cR*fl"_hT?)l?aAc9 @#` ջ$B#53ƤɈī>L[xD gq|kLv~Ra\]APzjaƧ>$܅f ai ;bq^9kɬr } T=NGrR Oe=cEIAj 7 re[.)/} Ԍp3l"Cpޅ}ͺWFpjFh"BVN#G~GUP MP*V}:QsAr0dTyF4Sw"wai&.+S:AӴ|6O!m"y-{]}v5ƞe%}A'nx}Bt0|S>'Uq}|jS/ZQИ(RqJS> fzk 4,.^{] L>)><4*;*l+ J׊R*ػx%ZalطI (rĹUh죮ƞ;VgOר6i2Ȟ%dQqنӊ}dǡ[voaQʂtK1tإX\\VQˍo 㳈IrLۛݩ*ŒMDę[BAl957"r#v톮L.*"?st'f&wSJdۇʶ4z6HI8wLObpR8>J3Bd-UČq+"rWc6& ΜLXDφHd7-fEZ2n͌Eڂ..E5|9mx Y {\vmev2יo0/KẌ́vO5A4b6b8!ՙ \ DHt)FN@f7]wƯ(8EUQU;l0 039% Hhos+vϳ7ZG+fn=ͮ/gf)"U&&5^ J܄jgğ( xf7mD\)t}w:wT &}qfEVEp غRئe#G#$u9p-TBgc'm_lI7R+̲VZjE{4&VGE_ TK夐Sm%vZOeqFyo8sK20A>^cd@?_F;l6Njk/0Q}-(XOb*|Y uˎ  Hqn|q *kU] f6F;è.Szsn:Z?y+m_M&äbtx V(+]v-t ?`458xdCS&ܳh޿}}@1՞eg,q/G4=TNد͸8N$ܳ[^榩x-%,vaţiϬOQD7([)! A2phfܚNI16.FLPU 1n5=ylf su=/I|$$~Ћv?SRt!/Щ#r,T;V͎W1A\ӷU췸SN_E^S:-paA]6Pc9m׼w->ʴN!6!,Zr$Ǹ (=0:&֚2xOcM>s&>v3@`0TOu9qש G]CIbaqntg9`WBjc/i`w Kmj3^ ZyD8pE=,6mn3foVXDսcCbl9cJV\+\B,(ugOo¢>}(+bD.Y:@pG"5`E\cDWiyPӖ (K9̰΄CZ'x"zC!jg~ ~.*IWN( 5+sY:.6줲D=?SbCYHlE@$@Y#R1%M2S< 9gK7zX"˼q%`_!!۸,3,AѯZau2Wh>HlU>\B-}Ʀ1Y-SU2_;@ i hSI"#^sT >lZk_IEp)Oy`pQ&ZLg?sZBӽmݚrd^;Xo[IowI+c[K; w1i}Uq6,nw5mVⴚV42]f=qFG2LBԭ,}'RRF^ 'OJK1FZM}P`¶Q]e }bc.& 0>Vdfw5Y DyĐ|/d;@o,`񁧎O@/xvJ/Ռ62E#o*B\OBhRV2qΧ-%h?@CI%mħ̺ԴMz@Xڱǥ=J C@:֐R:QNVm[B^06P}O$퉁1]i{]{ 0ԍX<ضt;[}vCLRș^'*=.3&NK T7/E( b>wio%+DުٕÉE^6-U eGD_' V`#%H s'(]Sr 0K _ΖL¥t?mQC ޯgA9c!,ֵ% aF}LCYb<:+MFbˡ[Z 6ܵڡ.*N O&X9j Z!s/"nؼ E',]S&ҙ7[A}H!dSyCqj?G„&ҊFȑt05RFC$>'Oʆ65١OUmPd(fMcGb'}A.Dt qK!wXjE OIO{_Na1|zFS,,G-%+A9x'A/ dƯ62-G(X{Tx,zRn:c-V|%aڦ(LBbLhC|XrZs H5-͙DǿOF(ϸ'5>Ŧtws! aX`GM:"K_]L]REJklezaDEƌ ^0AMp.#^&%hvv4a \\|C}fI.b:vJ i/ބ \s>NqD}Et8DZp(Hq϶Ds~2YZWIV P7,3 s#DȐ` dFC~J*Y)yaɴNy7-Ӵ7\zKt5SZΥ :zznl})5l(ssbVVKa,\,_{ƺLJ'|^* Ph<} .,z[hRA& VXև*<ՏJM LY!tۺ!0or(#>dQ.'P4Je\3-DnՃuqdP+6vZvîs&V*4m?08u%KUp"T?BwXsC[K!zA (+QfEO ~'[l߭*DįLwz.4CtMHQ" -KMu+u ID? {r^6)px+i!M_tZKxs+ Ą { IHaKi/ׄ]y?x;D' l^-2H̚2C QimZ/~clv \j|:I.~{;JLlu FE!eߝ)?uݱH㷽di4٬In󶟣$chsNcQ <,w|Oު'..zwwdP+twsV>TVMV'Gcݚa&D[;h2SzԊKy=Yw_ݕEA-1ic >/ZX]#t՜,-y0r#? -nmPt4Ia`} 0V̐-N0N@b6}8~o\PԷd/g3M5 + ᯕނLF(r;Ki(&=,i 3ўx#ș@!):(ju (9)u" ',*dmGѦJ0Q YXfD?+3i pS4 ċ}.dk:AJdW9Nwf`@!`@++q ˶t9jl8X&'Qo =E 뎐4 sϻǃ@qZ'cq3Bӥ;xsy݁ўf?+{B^ƵTߘ 4JrYfb:xCxλVd#.%uf*b:ن1,CЦ[F5)F6qyɡ#k `p6{/o MY<9|eSI֪ϫ ִs_^[Koa 3^'fj\hIvN3,ԳopIE&naлx6AJȔmTP>8Y16zɠ̰X3M߽Vo[7ߺl B ]!E`)`ySWZU%"G QgɆQHږ/.a3-B~1Z^P ï`*MpLI޿&Xg,ŤT?az &>b77@*G)+g"GS1AhNcz O=vW6z$lƫY@.=2/|ؙ`3@.[De\uYZq<20A10Trv-YQӇJ `̭7dǝrE"m,Ȝ=O9UpFJ(\Gq-R":?!/[!'qyXB]j';˙at{̋Z #u>"4X>^g]G#-<O"O;<\r?2]n: lb CNZlɔށ)k9jE-j25#Ջ6&2LġgO#ĮRߋU=Pmrݭ %J+r͉:sig_cRgq9n l$^Fa]Q4]ڿ'fKzH(ѷTc*@t?X6fэ"!Iqtݩ;98KB[3I UQ,^Z{8 UOiE[RbѵF;M|ČB=k0z"ұ3S o}VGZCRi>wl]I:E K %FXv`1ܞ/y 뢁"ikifzFd>:zHI\+#gTb`R:e@c As 3aF.&ζ*OrK$% .k"0GgNjI[F󆫗F$lP1ڻ!kjD:"p0+!ctTQnn5'Vǥn'vjz8ׁ4ȿgYZ 4ŒV.zCt̿ B. oYs/.ߣ5g>ejV eE!g[6YbZh'"{,0 |Ab8 5Y BSحw ߓ5z@0yZzĘP\2뇰w ރc asc|n?WtZ raV*Eg=E 2rl.I.u?{nGynO21>+D̺ ڹ YZn 'I\el^wU}ճHf؂LF"XCr;t #@UlfZ}*z1ૻL\g~^dZCZlwW:eV^CɬМ9H =w1)kHt irptƇ.S6 r"ĶNSrAPwV>g]2&:+>~ [Gݺ<,DUY[Ї eYMqR ~6L|Nv[)H\fpn! }.:Z!J%MSۑ7yP)6ض1atsS6#arڝXxtj}2̙,mVw 7>Q쩒6QYGӭnZ~_S=5::lvW@݊8'uf EӚp2[DtT"(MnG"o:{kc+«0FWC$21 @yB@.["ke FYIl n?s,ÅYd6,z3,T2_Qi}ToG)?;O>>usb2I&b=vtKjd-8Xm! 2DGWOQYi &xR=FqͅdAҽ+ g~4* 3kዜJ|iLvMe"KaK 0(ۇ.1mW!p 6Ի u1έt~%L)b&tؤJߵn<6fljZ-_))?5Ds䞺mV8^0TO*9G+Hl߬Ȣ\NIH,ES4uV} Eqg9z+'7Oi80!ȹz) T@aE$d`-"(HA㠝t5g,XkHK=XlAVe[=,SwKam(HվXJ%[/Ix3˿Y%ԕo1*,h>vٗQU-zdgҰJorrN ~k擭6`P3nw.7$#);\>ɾ67nW_NA6 ~Y_x33TZ/s<7adCYFCHD(g4?E5iUtLM ѕDԓe~p83S A [N&18P K2Ֆ5yq ^yp0o)j6Q*([{ BԽ1;;R*2Tnpw :Z la.*i1 &ӍoAh]M=%hqjiF@X5{&fU"ZhxmAo_r(Ы`726q/* $( Ѵ[GkY pX!5(!8D =ٖAׁ7/<-;ܜk-N0\̈́7pf zTMG ]&]xM%[j#;T6k"~jŮLA ldM +9DW.S嗯0n8  EN^c"F&L8\p2Cjmiqe &L.b9 ?D7zKXiQ3)vaOm^$g|9ޟj|Cze b _o B!q\ R)y`yRPfbg~)SqQM[]u `3s %)A`nԋ8'g8w|yլCxfo~~ SltoF`}J &EotKboTLȨ8_| hQY&v^i!!n>jWR o~ZTux[p݉c(8H[ ˝^2€oH.QU;0 ̩ج9JЭn# !N t,5mQB=tQ'Ug9bgX@Y;eE :|C*AS{BM4v!uD}_e|:3us* L.+KbAk/}^z@%' 3$@TDZ+,UUgc1CsS'.zj)y0Z זtKP&N-ˡoўbC7cg{50~+ts)a ia9\=4L mQADG)_Ij&cPW@ߝN<1Q%n7[O7h_\[n6D9uG*q,U/pl fxU~ͿbiUXMwշЇD-{I @]o; DGžC>}eYKg4PhP4f݌UfLi+^p҈ȶ~t:TNG)Co3ţҌlQlЫNtg叫QZ@]SΠ`'7b~̨M6t.2aq:m OaYQHE ݯk"6hY>x@&t+1ax q~ĵRz#0-կ11XLjJ1o0ߨ[GA~fPm@CjPloˑn4_VJV`;y/:!%${*KޕL{G >L[~: Nƙ |ϖcU7&Ne hht[ VuڋX{%CQ` @lqdԏ9YlCHu*f \Br+j!`u(wl ŭl h} 0s|9NwUt)p^u/$ccD%wv^aڮJw0)4 adGO]V1KƪeΫ$L\aZ">|.poe|=!m|S.@XN|$N.Ӷy%{˹,eN߀> Ib1C܈㾽oiV|{i;nXO3ƪ w gÖd߅ Y;`PD);{,@yɣ_msMpR",X~hŃ2٥f5MEr&KQPA*SIκ{VP8+N eRȪ .!<~m3ۮgc No,0@{}ؔz:2%z W}]'>ho?A#p$JRsŖG w߫ojC4-A(y0PH}~2ƹ j8o)7q'k}`gB=n/]|`-( x=+ekbJuJ8NHyӿ݁&wC(J\i @$AU}̌H~ja_u3*!3Z,4ݴk~lv qԦʬy{."%9hGyHC2앷@ШywTQKKm! kT,?Kysbs+bk]LEI֗俣tcLLZmSl F0]73*PpƟ^lħ}D/<a%T3[ NvW^3An-TG MP۰PAۖ\k[lڠB/q,u3],"?dBu*#6̹ rE^ ̳!nAwu 5˙B!'0z9s . "eMzC;0ӫj7G@21R3wAɁX5(Qs@&pm %1oF@Ojp{stAbP ۫O,Q "gq^]cCOø-G-TM3e)J_ ❛Bt2'K^Ɵu*ֹFLK݂b)^f]U~bWy.vTگ(78Ai:57ݾv{IaBb4:z`$P5vyQ f LHqr@p :m{ t'vK>_t9Wl/=`PhO@cسzQ.!%r}Mw9ArvzK f@C^j2g½-7f8nrCa?GWޡrB"mtrQV 9'¦Gũ>/OhcVC2vyqؽXBpȇVEM{ӔGVDG9P\{؍{312`,u٪?ineЮ4""jWūsE7(HawW^2[ D4b`_}牣IC): p"阇W K֐ Rm+~Hmjc)ƥSq-Iv w¹bOx9 enQh-̀=I.1H>gb|Fuձ#zKGU;abnDn/1 r޻R`[ +i#˹)@jtE|એ YT1w7V^GƗ b:T ֍ٲDMdm6tkܧD||bT&8@-N8-Qur?g.OT(3SXO'ڵzh 0)4L6ں3 Tj ￲vꁫgiomˆ=Df)Hf~=6@)|Kzkϒr FZou I"۷#mX}KO/wy}<@aAT$8 wNL'ymkgwo"%[5*)uꝯ0x~fҚQѺSԇ/ $w6/[o!;&_4^briC8! M>Om&Z8p\,z!7:My盐A p2˲xn$GggBG ir?]O'CbWEli3mLS*L pSj}8}÷FLBn eg8!_ *4FL!V& @3Rzy ;+ráNPe+!K),r[o. +xqRgc76^p;lz[p$I_iK4okB7%3g9hJ nY']'*\ޑnyęP?T`@@7ً U\pR΢.[3?՗oT/cܓ+͙etP.~YI'Gu$Tx@#P\RB?). rozLE.eH\(GeNg{~%-D_AH(l(e &sdB=Iy+iNn|GLR :C@Ky97Pf1q%NS U_\%ak/(AUґi&xÿ~Utl4 "=A C29 KNwn*lp`-'6f& oԬo犐ԓ' D{۰Xd1%Dv"$)6tB߷TO#Y4tlֿ i+`I_ÑP2<`Γ\-35q<]8'6c.&_ /5*pEe[\8ͬ٣mĖV%(ydt)HZ7N?6:ʴ LֻU"q?]Þd1ݖ=q7S09L&pA:i(0 -m+j(d\gJ/8`1p40lAX&M"T V@KQ+1z?bYCȎgܕm}({Pu)LJK v|m@׺vXb᳀wY$Z|DkiwR{z aHB-Wm2Z?*%3ARvo3#1׵B9csi0OzlMƍvƧ{Iw-fx0?EXh?·  GNwm㎺ɩ <$oZ 4Op E7EK */ *7eW+"~Oe?jEY4W{*6='b6G rrk|g;|[>+FRBZۈȜ%q-o!\}!i ty>.v1jۓČ/ ZYMU[EMaus83|q~ rmDnxI>DήJ&`9mN=.?<׋Q/9#?D 9n.Dy 0SqN;|A>h:*BH/p$>+ԐE۹u}QUrbU|UZaY jQ$X#B 08pv^CQ2Ž5;Ō+i})m/Y=^: s6)n;|0. ؏=s@OhGJQM^ ^˚BȨhO?޽~WZUԗ&lsZAKµOʠ<70=j_/pȏ6x,*ѕ265YbR-/ܽk! ri$v%7w5J={7o73->'o^djZ&E;F:59ԝT_M{xF XW6BZq}wWi "_-!(8s Ï"`cKMn[ayb ؄FՏ@!XY eV^[j3U]+T؄oIvTUU9k3,0؋3\ 0&/Cg"!4Y.;t#FT_F~̪Xsi 5v =£! FxwmxW\R{FK} %C(I#N{ƓƬB_"ɱ`Swӻ#Q.RɡkXYPmAb5yE[-<+EU0юltKyC?)肫lYZ*Ë&N b0'ĚmFo06iʢg8:㢛 597ke9c8ԓdEVFR)M1LMq/d FN?.hKf,1gyCEQBMp_ְ]eXƣlUcRx{/)7,)1q$ճI{+Ep3 ['e{0ErVdя'Kmʼn9op[ 봚V\[GRE VƬ0`$A)=` lwʥ}R{_ vؕkW3%7Qs={9wmg9OKJĦrB#k&ݎ @g㵺Wi3Qm1W ]LCnzTj'9C tXNgigG== /tؙ1j z+i/[j:Fc. l1 T7R؂IL@>Y:7ݗrůC;˲3WnhJP:'Ыw e[wԛwT|7M2Fep*CIAj&Z(Y)`FWsdd&}4@Er7u>8V'ybc+MSAdÄtHTI䡈!gHkpϑ:HLn<} ]~d{.ZN{[ۆh7"eXks>-n 7Y5`O}PanhkHi~o  RC͘wPGxc \ڇ L*>6fwx?2f{OFE &9ɝoC-?Xq%.mi2S *Wdz q i7V@2: KQkC߀%G& }2mx>%Y'`{ZT.8$;Cz;N91MJէ5 |9k]:c:~t}7m_f] bF|GOn`p܇1IעiA:mb2ur#c9ժx7٩:LvPfneև,):3f?WaUp+UJ6Wd(mtQQeΛ  3.ܯb|&0 ^p:Y׻Ml/aA5^jöi1'crdm OǪƾ_?${5,GgKBte>轷S Mtu^\Y5[K<ٌvnXQ8Lq^EM[XYCg͡~ ]ʭ,+O.wQ }iX:2b86]CQAKdhTmoqβ޽AR ~0Nmo]~.-ݪ1YkXӢ>8HsD.[R/gήtu"kRꯌ|rϜ,-)zO֔͡܈W.n[ wF)ϔtB.6Gq'"dV"b_Rm+.1)+9\.#+x&NT`^i D(~$\E~7* 7fc hC=G̿9zԸxr9@m~{ ˆ'j:}Z{<]eph k04HXQ$x\^VWp#evO ?stDHasAv ̃p.IU޸\a(8'îB} vSXIzIiWٷ?oP_;F%AIj-"[߶KM(5$~?dA⚩*^ *ł|V+ԝ4=<.::{J}VR4׶`xl11-Aܔyݫ{ -m4d02MO3y> \m[~7ĞS%Ͳ6ߧ#zS11T$͈5)+:c VC .h%ZH$6Ŝ!A 0A2%Y56j*k ˽\8 -{vJ0qj 6o.w/@lrTKn Y")ٝF6$u6b3mfL5֧FiNK/Q@rf ;˻$Eg &%Ǻ_Clw*õ(H# pwnbڨ2iEt$7,@4wf6G܇;w3BJY6Er VpV=!n'1}f "1JZXYн~|O&%>RnkpU.U\;@+a@Kˀ;jeӵ :N"{)lRgoD %nY[oPZҶm˱_G#v^i+2V>\UL/(wӾ\X]V`tk#J48p9B* >zC?rX9P?Md3J~X Ryon# VfLnmc[\8xBBDKQp2R%,ٺ3JWMd'@H> B 9~4l;W(l'2[eL5QYvl7[ƕdR7sW+|P蘏MZstUl" )BX.Ee]MM!?} Xd[)ý6-._xX +mtѢ޾9u菱64ؽ @// iϨvUn"jQ fL"ZU rf5ر<,[Q":!y5b%\Sb)kRt-4R"r/q,{hUmWU| c<Q[_6ŤU iXӂL6\QTc}*×1?(-h\aobѷ22NZ sM/'HWɅ z%c>Tl9^]!}0?j;Ilvx?& ^}Y r2'uv%+ * !>$lޥ/fawq[I4n:Snt[mW8*vOH tbha;\GwFΡ@~Z.0DimG S_w EuH73HzYm&DXNs.5ɾ1 }xI%@<6NУ<Kʫ=43s`/a48 g fR{KD@ƈCL~^S}Z%r@".{⏳@[>8É&/n47mU(lyJM3lcHɓk_bGOcv-bF$~ZyuW@ Ckr#-Eq04׊Q*x5,=xaO^ @- 86pb_D 8]bفN^Rs3HK+C܂y 5I_%1 x`4 ~gs,.\>Q`gɯ^*1_r͂$U[PV3 ݹnߢ:0H3w*g[0́QŤ#`SB98 IT^Kݩ~K2]no.Q$k(ąk Lv٥8 i8Pc$SAb]P?0#٨-cFSK;> J>r{>P8`{.0!qݵsGuلvg- n!"׬*y?]EeNj,e C6 !g`O.E`9qƔSC"L6y4ϴ=3*OP&sc 2a+z闶:}BeVb>H>{hgJ䋯`gsn»f{=&׉ _mycjS!0{ Nħ.*a4mfxfTXrl85W:R14^G0̇pcC1G`= >'niB`ۃx}!l]8ڰOpt.Xyʡavˁ8~h%f"\@27DL,EGRbMs]"AaZoݿF )iL4ED*R:M3$Bq啣9 pMNF#1m(>R5"L\_1*- %ʋnlw$?CbT?/˨:8Y_lvDuJw7,}(a4fAӿWW*()?_`jmZA\|CD6̩X$^$#HI]ժΌf2!!3\ cv[9(Ba\Z55T xx\:ǵ[xAmCue݌*"Prxe > rj;:B8IՊ=]ۤJa"6*4Mu# y aeY !Z7>޺Y^R=D7TO`9(Kĩ;9@kD*0H̾)Q–c.QiFmQ0~W[D%V O|ɊfP6|N=j6sكiB`A3C=!w,l3+`:?A{tFQt)%9]"Ov=\ \tpA;0kϕ>ysGiGY CH)9f$.ȺL%>W/@ad_%L^[LPc+ZE;G tR.ζe]>/F'EM| !u7YWBH Gh#7b`]V‹k>JgBP։Η ]ٚv8Xeh=rSce@ſܧNN$AHO8^"4At%%_f4/O3akUb"lV:"Q@O`j%glaeStR+1ny !{êҤ wၺ֦N4[^5ξ)5 u:CȚj`2m4C+o daJ$l006 L I@ژg7'Xֹ+Brgb,Y|TV/RC@9#[e!\4\SkEl{&/"{qi@%8:\=BQOVSmi"x|/u?w0RyHÄ#.cK"$k KLŭ=|SY"F~SBW!R9%CA73?(|$7`lFT:vK W\-sB;ZƮS/k щptrc(>۳1;xX_az/L|R ЩfCF.Q,"?̽~pAkL?Lx9 Ρ(|'1 pU&9J@xֺB4B.[KFxotX7M*-5w5Y6S-^43-|I1ɓ3O41_,7 mYh mR0Yh >]H#u+p7pηZf$ ?%rN3LhZ@J7ʁa!&tIP/cG)> 7ǚ~vO֗3/P:tlq`&vw:b&姟l{S U@e_РQ^ETq\TϱS#Rj XZ0f! is=1v[)d mϽ'|8Y0\'׵WBuW1G3&ƹ6&^xo4 FX Ly+t˿ 2%J-…@Re~3 kɧ}%'; "(NYzsĨ=kSa,rlFUN&ڭd2 <]m/.E0<%邳vZY8`՞;P׿lpjkI}ν lWu ^{=0p02cab.rY*P,P B(%$p7Et#pjo4[{wOwZbnϯbsi74spdgjw?@>kz%D`؞iCdڅ4x;llҕtvޗ6ա-Ukco67xCM-HU^`Vm#I\Rhhھ{,\'#HS+ uSG¿ 7:SuS !+֌LRCeplVrO497YtQ`ahvҿy"wS܈d *$* 4H?Q<Y^-oa칌?фm|c @C>ET ('/fD6+$$q9e9dgpa>j (Kq%Oϴ}Vx/`^ |Pw9 nm+2jt=ELbGfJzڬ٦N1?E4uL> Ĺ]>,C?n9 *2Y&9kF.xB&x ӸHx%PHh/c P9oCCp'0P|KeY֨!CVFwRT fAqR7f'(t Nr~S pwX Na`ҳxA{3?{rf7r Hf"(Dƍ4uOOs gnBηƔD;ܿ~N5ZO۸7)M2:o@dRNI$;H B?8`&O0b0#qN[ "a^Up)BRPwY5m_-ּׂ֓U$'Vb_/3_6qyDI]lL~"wf?۷ns\$bF#TD z>A~ ω159%?ߏP%ToCW!WyOj1HH@6%HVCD4o|ƚKh_T G'c LQJNm=Nϙ p` RH^H'FhGYEC :X]I"2 ?8cSl(T _h,hCW-J܄z noÁZjQ; 7+ v ؄ҫ))ta6X &q6Uo7s4Qx#eeRPM/A3c)KȨrhWfM?(^ dC,ϊ7'NC]iVE/5pƎ3+EK?W'E|'w4`ƐjD8gF!sOfl g`Lyi%Ui }D-kr(n#Кafd)`޼&Q✣ƀKݝeu=[/uS5Ǻx6IʄFmrI R?"&2wGnV8 iR9t&3N}$j(֚wjP:;+*ˇd~Gw C gK 1{2RAwڇIɘ#\w FL@,6J1o q!->5FC(( `*qblCȉ}!vJ&:7fw $@&jN"vMR2s C1K֝˥Ӛq()klѩ@~F( l+^g`#ey}&s6&~\QCg* {zWUq\ḻU#܈Swc[K%NsꞫaNq$X wY":\&ܸJ'_gɋVÖ@ R@ WB4QLklv|^NPTsSFUyPw{j^l(_ 䭆N 'e3kULu>ج0a>#"Xmy%ޅSTv ˚A|3d; D\ya=r›i (\J `3>p ;lw3.g$CRJ,FLDS(k'p 8WłʝOEj;as󡗺g,'Ls2 }{-޿I&p+d'ɥvr$ϖ/[rxK My_ztosH#ed!B3gB1@z_?,0+/VhH;ܠ<<10,wcˎğZԉ7gYZ   ] ;O% ,Adaptive_State_CountingAdaptive_State_Counting.ASC_Suitedocument.tex7zXZִF! bP]A-MՋhvG"uIBm5q2KVeUDrĦ\-ё|f!:Q' 2[5`h6Cod߳بR,vL?V28ͽFI =i6b].:jT3FB{?f؇grpb&jXE.]hxc/)!?*U= ^ضۭyXag^2, eh8 p_'/2K9?o9k|t.qBoϸE#fo(aTWlP:^prie0/d*ӰTkЭ Hd& W ǜ!>S4c{:>AI* 6(vnO^h7wW[?\{GQ{nn+=0U_0+B8XcP mӺM;sk03]wYH& s-½`,<w[8(,KgY:BOĬ_" O[=bN Tof/YRZonYP-AĦb /V6<~Fi/e+} 2ap\$4v혃Aܙ* 7!C  ;C% 4Adaptive_State_CountingAdaptive_State_Counting.FSMdocument.tex7zXZִF! Wm]A-MՋhvG"uIBm5`3+tqr?DLރI@Q{jU.ƷU1cQIkxy5b(_TkR3h1VFJDBo#vpт|6v EmZDg"^ݔGQj3'8S Lr[_t\Z\cl +{)y"Έusx=& ՞ׁބ:FQ.Öp6PRjkM)&: K7RS2^)5N 8b9ʯ5{xy5`X>87tWfn.ƪq S{nt1-^ps#SA R61Zz?Eć~L={r6o7ϰ6)hPWU{9; @%6jc[smňtOB~"$~wYЭF&jn;wHAe LQecI=-ƞ틜B8&Xr]m(ſ~/Ԣ .`4MH$3X#pBt?>[S;FXyU?b:+Qp`%bc! r{ Oȅv7Twk)b_uUŭIֳ[sjbYupD33hNZ^a(}3;:e :de<©^iM\sy$^yTL`j-8)SCb]آ1>-t0{dOv";` Aj0Bwe.#aIA ?ڒ7٢pN:W@+iEY|B8G 쀬 i8>>>H@ߘB&4>nJ%9Myhn ._gj(ocp;Hs;X?=!"OdhSJU"a2ukh _~רW5>lv!) }2Rr6co3oqAv |<t6>gi*q%= Mf(O)QkqK _KsEu#Q ٚƩaڦm!_y ]{cL<r2bI?Hy^-3Ѐx_>!]ؠEҭA .#n|/ȬҐ*2Jd3jS[̂Ibrz8xD4Amk/ 4  J 6 Za|'w+Qd0]9?v18[&I\k#!d]1 J`يxn'^y$AhQy4 ^TIjO8V3/yHA&Sa$scl!Pt>hNuS bO[2q$u;l|edEԄfk.k3H .:9/HɬC>|=\ЏD9靬=yT۹#1臓,U}F %L9B_Z/8*hҙBjϿ\*\LZ`98egJi{ >?b$k>Dsײp=}6cGr䥽AG:9Av>^+C?>m1cP8,?V5f2Һx9- KϿgSRbE2V,mQC,1չ%EouFoX~v;'kwbGE"1Uw^7\gS~%nز(孷uVU@@"qk`|&Vw5Ll>6 (5c6`c+[u\LJ1_Ղ6.SdwOX}nEDUn4W߶ ԯnףn0ʼJmßcusĎ09,^B~؍? va X?ŋlE˙ 7g<=ۇtQ,s:~\Fi$" Ym?L컥źFȺ2Yj3A) }~:`#6m4dU奘Yj=RJrԕ KNX{5w HQWȮaWP6};~R+i|i=8ܚ0߇uUTp^q>C#,_ TӖظs[#+i([ e^BC;zs ϋ/ d_~SY ]*k&*Siw'yb!R=iy}.0Nuid*?P(l b &5Wr^gN(\ j+ExX8o7>YeH^9.GG/DހnߚK @uoơݣD+~$|xЏRlT2`q~{œ+ySsm:2~` +e鍿;zߢoY9>VMKSF}jt8Zfe7YBTґZF~juafl ~T<=Mth(lܘ8!Iη'W7^CQ 偽8Af LVJ9>, $Sȏ0,qxfqW ~{a׀M@vEK/d6<">UB߅tFz&B㦰БvOt:kgLLiDCo| XY4SC3 lXlzcy%v3,PtҌ9_bIS|)D>]aJnmن;x1g(]USCnR a_%od;6l_{*[D^5o5 2qx3bB&wFR#ĉU~$!K+ 6;NQ{?`$E:V6 a[ћ5R&5@AyJhՅ聓-v2})GȁY/ijZ׎O:&6uN)BVHølJG맱Ck{UרهqK_E5 hcg5A[k]1|vF15O (p;g5%lJϧ`!(U!G45²bGVă{̹f~SkN^bJe!?,E;tE%yfx GF_S(_ޖ4X ~ mxT:ux?\Tzڃ޾+Hl"wʁ#7Y,k4 `k[WƳl?sj1H ey;(˘X w,s4,cYrr83 d;)'-7'ďVՅϋ'[lw$c C.k{>1,.c9Ay v`'1q UFg_Q7LY \yOydbtxJjaq5ݺ7,Ck3:t)ۑYvUg? j!~Op)V~Џ ٜ}j}}vhܜn%rQ-H #(Eg>#faU Fݛ* 8HV{(Ȋ2O#UJ +өY\ bG[\SX| l @M$+˷ 5q|H3XQ*8@!P7@?(6?S,.M:^+Ս2LKѕ ?ݓG݀;.IJF6ʃŝQΑ{%zvPT&WE2GLn&Lc4e?B=9n"ހ/B Y*,O/d Bpj H4؂x⍇z'u]!{(^|8dgo]R!.< 5:ڝ5C \k*C(ua"MaH\zC1OѲr&ʚPS8>[ k)9ELX]NyR,4+]d:&ۇ 44?j t"/Fq-= >ϛ/ȡDkox)"lH0}wv/1A.rW/iWaE-ܩ+ a\.@Gs?oydr%dXKZ2-~SIj3Jv*Y&EJɢp}WЭf=7UDꃀG/H{T>Vc *"aVNe͡p~ikP@O+ڳTͅdPtBQWqS.˶bh3uPJ (GN?#7y.ӆ h#Cy0Iܯǿmh!LIl*cS#b>؂ RuC.WY 5 baHEdմ\=?3^@-@ GpIb#?Ow). "نa4m Uy$מ|Q'p@x ~%8rǦ"5q584 "OBN7A~=FӓGhoᾕ>١cy!t3Cébnc)&vX.iT*=0=:@tfdS*|ZO\L5+Q3&N:5,4KOEǿ],JP|% ;g#"O Z~b\MvCܰRht7k ݙ6C=]役V8/27f^_W\h 衔4b /&:dHc!n=4Mb̌!F"Pχ+ީg>ğA4]nԭ HmSY[18sZ]N/dfzEU\;Jʼn|j<ČU Q-Oemp6.Q 2IjSV!ʖ(dpK!SHļχ 7!5QT \+{)m ~u'ڛI4JVvӠ477& Mgid<j|z9p;NO:V ;D !9a*uDOhTju]\-g܇C_ưл1M[,z>Bނ*k_6 |M?˲497x|0.ש$3=Q$<;fni vd"` რ3?ZXVD0ˊ1ϑkMx[j|IcY3lTԥE2IeA;xV ٔp\#(M^ !{!H~}q:W VKW9_L*dg&Rc޶[kBy՚pfeg 7whZEHhST: +UzLЖ E/ǿDQO!AURp[gd.5\UFE kK L`i8e )h'6uiV%$DFM^m%Qǂb!ڤ; [~Il^#vQ뙤A!Kސt':RyiG] i~=D)Y)3P@rDLݔ48qt1l~Iq-NѢ(b o3W+Hb5ZQ)c<[nȺvݩ}rw3Q \(@,b3E2E=:x[Uo~sfy0@ãC\VǾZRPI!z;\C;u|߭~w,,`G o t!at6hˉvuT{8@ 9-Qי\ ! \yXϖC1\4(KDboEtl)S(`~W8eoVvmut¾qilQoxZהwbF 脏uCRk# \Ϲ&IW0D![pj/|+EYorsiZ2ȩh Ӽ:bJn&@fL`^Ƕ%yJ3鼻 -)Dm'ʈkY]om`De RT5HJ(M˅qk&* *"6SR~dXۉ3qS6 k[ɈTq7G 8e<pڵJW^y!UC頎&ƶXm0v=<9SaQ;y9oO+fVlag^ /i3|^𱻆t" Kns`755T_gB-\S!s4o+۳AO&5U`l<,w[,]-l|pt|x3ٝMUK~k2>>1Y!MncX~^;bh0H'K Ā&K@sDX ((u5LYz>guX% Q9ʣ#L1[#l}Ck+1Kz >.D@pu:FjͭCim#TR #}1E"h7|\eH K(Z*i K4YZKT.&_j"ml_hamSV#E(ĬesXT-GLj}ōIы,.IFY: яPsKC%VާP3<,?̊;iy˲a+cM3qK`"K|09]r4ZXRFCUȤ%5$Q))(ń 3pBwJ1 ~I*Jg1(͍@.ETk|Y]zoV^]sorJ gɫݴ_$vx}MH< I2mG\ $Z&tJDz)1a9?i&3Jb7aMsĕ=bwP_80?#z`#4<'H1#H훔JbFzU~hʩ籐F%*z ]#Ԥ81RhTZ? q8Ԗ6[dkDl$iQGNmH'_^PImdaʜs@DL_q \RUUczAM &)`t:Jj_8#2h`_ on ;:QH%ST/@ EuS"г)k d -XMB N*_Nj+NH¬pN:aY>$!ri!BY࿌ Ӓ ¦S4PceAGg/L\  "eҀـs8Ɍ\E\*{ _y>DWk*1񹳳ΤPFPw(O% [Vi(" |(:QPގtz{gR#wc%ng'xgVgl,ԳN8W0>d>Z_;,9 gS9"Ρ ` .R oPx2hLC:xfw;IZ/Xooa ˚BC҄:y&v?  YD ]E1׏?ͯi5jOoBv~x3?y9P|stw2IvMGw5mlѨ^LI s!rpj}U Mc,.]a7n!ڽQvJEiԥLN+Ҕxw:x,ڠߋE 'wZR\ġ'ٗ)cd &X#6aB8A!5*⛫+Uye8d,L(&"12ޅED|و! WSl _G\kt|\.sp'IBKhr.,1Rœ>;9g09S֎ `TjZjLDE b,0 İL'UGsFIFq >53z^6x]>A|6@2Fqv7Ix vo7׺?$mU#۔UHWX[MjF]+twR^&.Ƭ#8mSX{w>; Af[fsiYI<"yA Vg>X{Ft؆bBgT:=7 :v0ye *XV9|2$7cڜams srQ*g lʅ0Mv/l!$GZVH=z;4c&CfFpTRmKcE &ma{䦠X{StOYf XAV^j9l#bIuphrb QjZE0.9CRv?̢vSa>- M B &f'({;ݖYeڡo3qXX_xtY^B o_ EV q7AC( \Gs[~ʩo Pz"ܪ3y "ǀo;$qg4^ E L遌hS9UjG:ZhKծG=M9 \qe('ș_(zEZ~]{'ځx#2NOYxEһja;KXnU2b~c[hq_]jhL;FA~xR(i^ ^lUnp/#e`ɟD4Vc?2Έ>yZ8 α$,z.'Lzmn^5aJ2yT0FGt+$y^^Ҏ4<~ܡ}q/64]Wer[x;ח_} Iqa'R^oE /rBVG4Dh9xES0MA__}rњ ^\: _~ZKA*R#Nګ5),py8?c8U.u )|sU@e# 1S[ ^و" ʁH/3 |w~նNvܩ˻[ބA>Z8'yrԲuB5`{d- jj~F#*e6kϯu/7٦/m_^ybୟ7waH d~:I\4n, -xFJ.Ԇ;ƻVQ)Qp&* njD*w8/òěbO 94˳BfCb;wޖ`YPڂ_^pZ6+sMF@K"R;Lқ]{2Rh!JBo_&h#(̛L4'%5@C5-[X`=|F.d$ZQ{o5I^>_{J>L~>n2N\-zcuQ 54f,gkZ]fz䞃ԛ1ag;[Ü|=_v-qyOgYLYPh:A`:^j⾐p mguM/Hq= \X!0d&ZG mUվ s+ގnmF3p`_󥀺/]I6t5*#Hu0C&K#m7D/ہ&XauK+0yH4A #T 9ݛY<9I}n헇J'Ǣ;˦%Ր%KzU9۳Dh_|H3V˥=o8B#xp%it*mG^ l)a4$dmz:d\8we|'zs5%K~̯$j '6wĮo:v/}x*|5lFqEp3:B 054HX4n0x*}L8vk8k]>GN.jU G!>瞽O 9̎"~m0 %E*%5 LH}yk2%}%Ij} C ߇wmY]k(I <膨Ќ),a-pIjp!2p \/:͟a] l@uCzIJfžKHBCc+ EB2?9[找D5W 9"Un srؓ4(^DtY{j*bo]/K;+~Ejm{ DZБ:4&˷z, JFֳv.^ H'f6>H\ sEL)aW 3ֲ-/+ɿ qzGSrK*zsNtM% 3T^Znt -qlϔ?9͒_lk.ndbpi@1LWlu_۸>gӆNsbvmLܬΠKyC X(S:'a7P4`JrX؅h׵ih=}wtRO<#D5?o^x(%jαa-ݫwMcS;}1V8َ8;eЬ|zCϞIef/,U;1{@@ӫG~}Y[s%W p,=o!@eUUB9 -5[uͯF;B 9U:zZ!ЋZ bzDvXJ.[iL-[-X3;i?)V7bߐW"z#C/?ZwhBM(epMIy2;x fg>]U.#i|͔|Zi4Z'|脬K{6uM8같 (.Jz4ZYv _΅'Hp)YGW5o)CbXjqKek2 8ypY9g7勗o`s#Shiii26XJ:LrGBBV=*^7es~ \> :)j\P|WA I.X7e<fV "EGj|yFxAƕ{SI'Q\$)vL:pN`j0MEoɃͫ=183G|aMا.][V 1;)+]]~I]|x=^EчI{}nS7bfBzNP00؄q_čCq hמ"c p7[S.*xT~21{݋K3)i%lA-}JAGz%ӈE@Pt8QqA9}/3"+ "EJ{,txXF}z1 b O`\\tWξOedAI)ڒv@hF[ne%Jk@btnkT3菱i@%9-ތ %'b('UCH9_v½CP3o0J͸gvwPrjD;>t8{x\0G^· ZrR;N8߁igKo VPs}CyKJ[V/,98K;~'DS8&:ɵ/n01LKE>= m/_[X80)KW$eGZEyaaw}ʻ%]Ŀ_"!@JȼoSIf 82r5?a;'a''ld_tDX0"dU jA9 F~doZY29v>vO&kr*Ԇk l#,ṛ6/TI_GWn +2ձq60'fz*5S r5g{*3-Z[韟mOGjwSp;qYA6W%= Z^)Q-,h=vx2g03//iZH1qr dƽ,U.bnkT;ET)1&clKԃ}ԵH!+V nJz “|ĩzp34/6/J@zl}q:,] s;҆^o&n.=቏`QKwj5֩/\A㊈Em tqlLq#P VO]KtJ6Fb.#IF UFpg6'./tNn/Lq+o \. փE{Kweh&hZ@[Zi. $r ;fm(*Vdu" 1lj3kUtvFܟwa # +LF]/G/CsO:w`(Uo؋)ep+Gr&T7KQ'i`ǔG[r>7c h1u#!_010榳ڣCSY΂‹o5ގkð+׃2 ?04 2s4A4(bT>С@=mO:EG p:=P*Gp%1ζqƥܻ*.FЈyZz$]ٮœG x)՘6I$%[,aCvm+~L.[#*x = .lp?}\K9b'n4t~7 %: )7hBbo??Mo(Y 78v 8wf<2IڵZDgѵwnTGFxHuaH-vu?&0/Q hGYi'R m#.~A찷p >Bg$M9nk-}z>fb%e1Wwp = < _ Ԏ'0fģJ+Ι\E䐼15 WS/VS0/[:_=\r,ݔ=[NW ₴m:D\שm= 7{'8"ɏH8zuQ_U[yK y{[3{EM.pg1S$$kv3 i: d(2=A =8RqaW6!?ju KU=y2V1KY X倞{IG:^mP>E٤ʟi;V违,h#gp|aV)@<g"Boʶ!ɑ0>)SHK~לXޮbqo9ϟ}_b:넕c>1*?Yv $KBHQNק&OD'ءI hxMAc&٢tv#Z:} ^`pТɹ4z+< mjE8?58L u L/{f ')\DZ Ztԇ)޵wԋ%z6N'!i*A[o"b3ce̚JN0z#+p0Jo%{)dL]dNRHN&].dENoEDzXC} >fQr1|<|lI#Ȉ1-8l^n0;iIq/*!u CO^K"dič2g Ӑ/K\*l4}>Ô*Tݘx6k'E|NBE>)|m$ Ejy8K}x.*QUʾϔs5޸.FlhB49{~3Ehvn/q>TvOIbS]d1"Kzp7/FAiyJ ְ.0 03p^T@Ju'-eQ r<܈$i/"/_Xv-ǥ4WBZ( 7߲9* o(@j0hfV88jW5s3cPy a TyBdd1ʎ]qٶ!->?iwQ(]Jha5ɸB>u?|AQ!O9_0A4:9pqp4IAؔn7|qF j s4f@^pqha)L+hGI1KvV=FZa#$\ps َ0u}UNqȷڻ2g飶ݗtGA_{wi;\$C:,X\}PkI@Eu|69}ZǔBNm*! #BPMk# lRI=&'v CߔMw!fP%: {2P"< ]fW_¯d$ladCHm|sn#`F8!un]%ؘ wFZnFI{êfs]/ g`H&i"''ٛprs7Awtc5 9TU\9VM٨\=mnۙGb_uٙWT)WBWv R (o!;reH73NKb)]g}olUntY-G<+uE[aZT jcHQgdwM@gFm/.FrOyR>dE0+ bVW*l100_Axw*bmS+0V.qbˀ=5Vӑ}sUG):%ٜ| mwKG}bħHA}*?k@s^Ҍw\qQ@#QoOC 9 [6 N=9޸zhl/}P7D!\^~[>W;z ħX!Y_`4G"W m~ 59YI`e)OAJb/"`. c;QPV|)'oY#&7#юrXn >(1xǜ-,:cPSVX:H+1lzG4vy$24q(3Fm3o*=֢~lc3ek@2]L8H-IcVdwZfQ)Ͳ0QW;NRq(yEWH Q4"dї0]uKڕ ~KۘK'V"U6rAXc:T Gr+M[9nzdo3čQÖ'F  *`-@Jp[p_.V铹L06ӸqbLZKtJz+fwajDﯦ)6ɵRoT2"6 4bT:"Kd*H;k1>s4*+h6&_,`dVi07yc*+7-D' E_)o]ZCt%\!`Nj!|c/۳s2)$rt{=/2?aZo x$Ti~EiL=jʄbȟ^eg8,OM9`2絅.`9sC:-:Ehso:yDM,D6z6_u·tCM)˚`63^y-g-yS JjIVe@a([@f@'ɜ&<;8 &GxE2c@7ka*ݝ 3;"Z΂M[}P=̤AHs|! a/wZ%bajhjT4ܒq_KݭԵ~&".{kN)tMf=aJ`T'O!C|\8\0P;,ĽY E#* ⪷_ OIx)Xݺq;)5爩SQ+;`w#U\.?Q[ȠtV@86OdԿ,IÎxuD ]!yCr6} _(av[=Pa+5WAB:&p^kԈc3JJ:]]z0MeTONQ!QZ}p>Y_zZ pJݴ4";WZ4ڒVvi͘=+5p= u\TuM1') 9_~˟zU/(I0Fm"v_\;V=r欮l(+a)<h'1d(1ih_Lӽ`5o;t>@/_3<-ub){~ؤ3:ZR,@8=b+!ju0x.@} w1~ (;Rp䓖u^G fhWT}\؜7; ]C]F}g[.ϾRI|v:b*؇`a0~V*P_ՍG4vj'9*e'~aʸL%B٩枾YxdbViy$ ɳ?bq6q{[_[QymT5'*;Ъ'GJxu Hjs^DJLs;np9D;]w~= g6ѻ7ci6s-t}g )̲hgu,R:(Bum}5Z <"4ey.QLdri:B )>Z{ VdT jOM{SgX<)5gyr1E8naR(Ω]FԀj?a}Y a!o򇹀}{)}/:F!3Engwٷ ^AƏ _=`oI}Cm/@6m=pGw@t6fUOc+jd=xw/:]l43m=&_$J$S '&(@COO!UMOpM6{-X5@9yy(a3Sj߰f$/]J{:"VOT@(,EFi/gYZ   a ;O% 4Adaptive_State_CountingAdaptive_State_Counting.ASC_Hoaredocument.tex7zXZִF! ]A-MՋhvG"uIBm5q2KVeUDrĦ\0g9,'6mz2uTr۔—QEKdjL`DH41øHbF%`'OPkoH`JD>Q6L1*i7ibx1=F&: 矗{p_8%V&L0rU6Mks!龒S8?5b'#5(ڵV a! 7xjjaP3{w5-$mJmV/RAO]0qK?GiZT7Or%mE$~3AT^r#7MxWad5R/1~o ;S% LAdaptive_State_CountingAdaptive_State_Counting.FSM_Productdocument.tex7zXZִF! rQ_]A-MՋhvG"uIBm5`3VeUDrĦ\)e hL)IFПeϑ*P$*jN.a[9w߈U~I؉ng pI8;X6|wO訑qcC0)>c6H%;xz-4'cGw rH7ggJ[nVJ0 qzr^jGC@MPLzO[֧{PFUe=U`, Ig#-h<ɚE ;}/yIJS@ՒdhZGv_Ly}? ߸ N:t!"9\j޷,e+s5jIveZivZ灞i怱#e(UKBQ2D=gNt 0{HM_j|_N_`pdm`lyk,X.goDe%COfE6P; E4g7|,gļ jmC*r3 Pi'o-byd@}O'M%ِ}Aӷ[:eml8C/svlBWa00wlo%clpiǺP73L©V-{YSCuw/bֺ^^ߥ!=h$ u>Mn%sR aLLk(}e:cG:}QU #!gS]ٺNا|nV3H:l~iH.#kve0di} xi9*=K7lEK"v^qư V0핒簮s[Ē^~Dt%EW =`f#MWZ "2',?3~+ScTXѩb<u9lIeȀx_xHsd{eגŤ筟5Ɋ b>e3A_*J$_^{|?wǃ_IJ &>p'WU峊NP㳱8pőVEy,j$Kh78Jy@U~R]'2: "wm跟ӝeS Vi],]d, TNe~peayDM*$QU I@NiuQ4V J?2oۉ2/IhQ /56.AE.-Bi_A QCÌP>.\}}nlE;'V7zL eGo{f`$)13B- k."]gg2knjկ0\d+a$ mUss mӸ Dc sx==B5 &#&C]'g5cR3` l*I N0P36o3 1~z Nl6*ew/Ya<>@$Yd΋x*  \-e5U!Jl<ҧvs^1tM `>Tt:FeyE 34Eq89+ Ոkch#p\Ϳs j2eA3j?醀dg69/bTv~G9é)Ls=X0_u% vTHk䗌ݜ_C .Se)S^dv%8}Z9<_G,+֙ E%YES% <2{vbIC3LjU(##bXFyj"RVs(':;8,!֋ K+l綷bgU$dJK t-压B;uŐ3LR/ࢲ91]Z.5Z2H z.pf/r?_hں)-1I% z{)@;ĺi'\oȋUҩbvIlQKQ*Q8G'ElfIު`V髢aQC

7ibO Pl)\ 4Ŕ9 2ɓymj`HW>;DT8%S&+*KOdK"0sZMƯ$ry7h_1tY$Etnam5ռ&I} ݇>p7# b*v^Gp5 譞^2鯳L|0lrHY88_0_,'v>s|/Ω1ɾ6(1V4*k!BD~2AoYjM}s9o ; #_v4$ ,3X(@dDF$:) [0(TjD>!Ƨ/qP]ej il-#!"8es*؋I3B6Ŭ *Msx{m/󇃻BB2AlF%čZ_~3ysPyQP' 5m < ¨iJP ds2Z( kV"2vOLHq኏D8hP1hmNxg_L[\ %o7v>͸lw+ s| V{/2Db [[xdx] GuJ-Y)sTc9pZ2SacۦY!ܗ޹Jٺ7nzwa9kRպ$P ҂L65J=O禛Rws lHM7=4+Zv LW)1ǘT|]RakcO0`:SaY'3%~^61e_%B5u C0U__upFj${i!:1_WOPaל"?:-)8* Ij'>EZtbr6cJϕ).#s`H^0O@$%],o]z[ `K)%vc Ꙍ|i8 hlKPh_66EWg䢊fHpDr6hL-)/ʿI"yܚE7ix$@!p SW/Ec}iЂa@//"pW9;\7rcOHg+OQOWiS_і|yJɤ5{t ҲIdQQz&]!G*r]P̒98 ،lꢯ=eYdP~@7#}<ĞTL(v(#cȻFyC I+٧Fo&6Nb "f :Wpl+tt>6P}.AVj~,c7Mh7eCۯqdlqㅟLZKSaZ0ӆ:Fq#xb/\tتkz8)C VJRe!8Z&H:E{wW3Ko\c/8l>`in_jˆ2OJ|,4W'JZ!ʂAV:X[b,qp1M5noSs{-hDqL9kOx.Fj _3 r+A-ʜX؊'W3D`9({M[S)QZ_;{P9H&#9/O+EtaBğed7A;hE\-܈g+fǨx q?6u%| @[9Jimn@l&sfU9K5a mvy0 <#ԡ/Lzѐ$"NC;nRҴp,>~@ѣm$E-[8 aOfa|ZdʨP ީ'=|髯1y|7> ~ҟjy! ܨKIFP;}ڈb[$rAf.{iO1 gӧ.F|U$*AKoF,Jf%U_{VY:Az۠n'%}!p.;R^kp dTELLHN&A;DF{ )#m. Z<}!s,QQឦH\D>/d#fYwԌ8k;+Ugr֢y{^H4`+7ꐏQ.cHt75p>-RrpQhEֲqM]b,<byh`'SOG?˦ju{^Dq%3aFQ)uǦuP2T"0Mb4igR{QWEH!.^X䕫Pv<)% %a_mA 9N+y+'0-YuÄ(ݰQBcg^%zMk203E/ msJ"cwa8+(7bM/OM |W_Lrf*a@ ,N]W .O3*aaj)5}հ !5Ssڅ\%F!aC ^@4˟NxVM,OVb{XCEˤa6ю\YŅ&(i7쓹j OQ>6*I*[qTwmrO$aeOygQE_%YBSYJsNAL}ب _)9J"VQHMLdځ@)d"-7$.=af|~ ,̲{m6vd9_sfU"Tښ79|ō5db\!,B:4dX;O۝RDCNѵβS s 0:^du B(ǿcQ6M2a L.^ĶpڽԀd;_&ECӕmty(5dH]щWդ. %I&x8Vmݔ'J2HݮB|O_F\7® o8jbԢ!f%p¯NEK$IEnʹB栲gŷY^+ ҕZG?T]jh;zpa/ ÛGX宺3b zR{`@`jF0o %a{T9. 1+/ci8pJ \D4ÈԮ'e>ʨU9jIVOYu卿9Y /;A4soyڟ]FPkg^f& ;Řk)E+U>-]q0V:5EԑMT'gmOGS5 s8 Uʞ֢KWi^eb6,dFw+J5 |oKZ 5i2[)ϬI/)w{@xQ%GWERѼn7s?R&A?K]-SH? wLBw" U v$;BF~~WCG -;+n/7B% !)]xshq}lƃ>iT) $Z:/=w׭*BOV#SgӘSi~1aIRҙ+AP۸3 B2^ i}d$_D՟|YV*$v[/~U-h:Uչ$y9.*_җs^+╼߾p)_ɸ%}BXgLIm[ױX}ieB|gdൽ=[<DlAL~BX=Rr!LUs4GK8yYzJ+U7QU]ʺ0^3tu-F_4g%_.{5ébzie6r0_;󍿧 VhK}} o͐ T3C~UrΝ@a ⾒V= ul=o~YAkᶰ\EB0mtS> ʮd.opJ=.!4ؽ}c4M4xh'# S'K]i@<ZQG)gc3;ܞS)QhX Gxnڍ 3[7we_b@ L6~?<[GaYq!5X YoA:槭4KVΓ·Y}ĸ̸:\!FނH]}LFgPg]Atۗ=aƧx*wPdB;hV>Q rwy0Ї">2lǔζb ȲFBlޫvpd >^+޼[p1}Ce-nYߙ&XUFq |a+5grFpk3k yxj ohA.8/q>ZY@;4$ngS;G>܂HlܪñEYai_xp"AܬzS _&0ߒ|ш {fS@>1aPB륺-A%Z@p ύiqͯHʥedAiĒ4Pbկ{0jBAp̗UI{ Hӄ ?2 FZ濝c03v{r{&[z6,a;Le,Rg͵`A/fY?z7?@A A~߱gYZ7\lα] /=6&_n|ؘ]1)0#98aqbHE%\`ِYnpX/XW0S ]OL iJ .Ǣ3]ho}M#®Lh!ւq /"]λ&#cgsHV&&k83`h3?\flv {;IIY̏kG-k67/襝|/~  )v,96F-;:| #/N hG܀wnTT{ ݽ;[h~ndVM lR`GsdѰffxq8/A;{M_auP "QӸZ\uF " Mw- "hwsAEf# P3F߽v|h*[!a4p x'C:m.FYkqB$d-Z/&~CVhh@ C:7Kockb(*ֳliHTMK)IP!V+5rܠwy5\REJNI"'D?Mt:v&wYbFr\xSףKϬa=Z=UG)gyI` f[>W[)x=vșKLyJ3^4^e<9N{|UR]T\)r RWڄeD3&QMB54Ld ,lmhH!`$lk<`REmPʕ8p9N1KNd4?*N=N5%nt5]PZӸ G,bN̍7FNFfXNs6MõfZJglդN}clJѷ'HVXBףړ=hhx'ښNkg?R1WvWªXȌXjh{]7G¡KPnPY-3y#/M%)p.a )BC Nw9gZyKb],,T7>_?5ek̅5 N&OQhO D<1r5 Opjj&/S67⟌fu\:~%QRRpP($'B҅qr 2V< !KO{e7'jg$v\],U xx9[<pzŒ#UxY7}yvSxPuwĎSDw:V}y@QٷDyg_nאޜas.8c0A @Ka0YDl7ݗ!KRG}+?y F3 J לtts^%MK9' |iM(/[έ, Kp3ţ=>ƓGMG;ʩ@'a35_F -<@L|LVNAbVĽkL O2?v]!¸ų\1{ady(%NF'`Mpmmg./,&Xcoq–˻5D,l@"BY1bkPd;07+ >)mD :3lʽܴw;.ρ @8~ -~Yt ݶ~&Y0je;n~ bAޥhn@2^e5(|ΰp<7}+V7& oLM}s 6R%l@.p R:4o"癰U76c:?X 4=qI[KuJ -.EjԆvw>{ahDVC>+4өҘv tET6d)qD~QD i2Q;߽q;_uu9]0%3{㛥 kg5Xfws&=S`ȭ^hx;>[P~z3Cr%رF)D5$ ;}Bpưr_,%84O9i&ȫ z)74MJ!"ě%-?![нGJUn`\mUH@u0:#ԧW">vljX]!ʠ t`?)@zWto)F2OQY>b> s\3qM "%wqK l<Ⱥ3HRUܘSxp Qv՛BcYd.M0%n!FS*??AHAL7mPZ8&uL1B,1S3@v8 Cﻂ~oT )A\Kޑ6:=j{6^~wl|P9կ&ޅ$(#j~=%G:uwl_]JqߺUUcj?X0GSNJfL ls7_Lhpe&R0^Joo6:KBȯәPhz غV!j~wN@NDe~eXz;1 ?N5KtNj^;Am7%3S`g}5Ld{d;aW| ĄM򞚻$hUGXx]k`l@dV:^.Ea|L[ڥN9nˏ B>d m܌R#d +e*]ލIEZyV Tz]d/j~+~!3vY_9%:q* ]"^!IR;tkyPHdI s@cKrl!Bu=@{rh ~2b`r _ %=dBZJRDw9x|;[2ks䎢–2C P \6g浟u&?#( D02mz)<!&SoO7y66Tp!m#&ZB -p3LU'oVtt&MA :'$Ū4^Q쓣ʻ9dHOjOTqcO.HQxY`w=uT@Ax1nCvɫv^nJ=%A\)!Y<|lo*{IHXY 별DC?&#:'^[6gH`MfzNQǡʨ:KS[΀mƹtb[O- 0*iG_f1Ґ>^mY0~YN"S&Ƣ:K{#~ꗹoay?(}@^4©{9WfHWʱHj) i pkR"|I25H#3'fpER*ZjJ@V_'sG3I4JJ}aOk[>-OuGí% Xf]u n%7cQS3&˳IΖIj;K=4CHNxߩgԽ4PȨ}}?&xK. Um<IzX4aO_Пa 7Jvg N^_Mn7)V0s?*n&s6/5{mm.@ -75yi X NeD[]ivL%P0ȹ(FT4cځ`DI)R|1:{ !^nଭ2O>#쌶=`ZMq4=q?UTnz8>hv#?*YN'Ly} "x)=$BqHoeb|"`+b;8҈ׁ3@@=4fK64U]igjQ8ۡE _T9xzϐ4/'/-P:`9vRA>U}@,hOˠqh6}ZA&߬ \?S":6eIR.aOA.:jU c4ꗂHjEtm[p &u94*hzƚfX4HOvHבbFVe~ ҇jn>*/<9t_Jxg'GnFERzP+|᳂|/f4tr$.ca1| \eJs+_;$(y\:(??|><|ue3+A R9wI+}~ILU׷Bw{NmhVژHD,8pdi ߉x)B(ݽRVt+ V1Z`p jpPXج3_E02i$yCN,BU:L~t1z~PC8-. BlzЮ$\?| +rS(kycu6zuҰ};&|,qR<Àda]YLCs7gde5LIyO^',:ضAgp}h1`?TyH]Y=P{IJtc +I&zAuAiEumb;LbНN[f'N|Yl~QERd߮gz30OUda:p'L$1,*=f;iiIPrV'\O2۳D?| (Etr7S'26 #..z8q>ӌi}P=" A] !oS5 /Ԕ0*#<ׄ"q^3+OdLĩ֊?&@LtDHrV;DnNh~FE9w=%iIy2ʲG}94cF I˺iAKn$O|0 8eeFJ-(b.WǸA {2 ڄV"Ip8p6`X pƛ$M<_k v^f9F ovJTˈj-w!GϴJSev!fFג⚀_99릀\`4i־քSl㋹]Ӆt? ETY(},8D<#9voJMDXn<ʂibG~呃G軴/Tk `_yTl:ߑwEZMq<<ke;a\i\igՀUZ;ZШÀ5nꒅI?`\w?q>1$gn2;xK'G iVc:_DwPH쇱Z ND2¸ݲR7 iVɿAG+7t'X%xN _ɀ#gK_Q -˨D ύ!G{DlT:j_d$y7:#ko WIn P-l[bmYo_rlH85tuCf˔pSo /d4-Deo2 1:h|$Ǫ--7d{qRwq!MV QL݇ʢTJ+ JgrZP*S|]B?n5~g iD2V viLL|5kR+~4="jv^̸.kw %d7Uudh?rXO)9Kȏ|6ίΏ;?jlD?# /wv2L,T~ 4n]-m/{Sw`i6MwGS&mVi_W`+ }H~0 #Љy[޾fЫ[bɝ\n9Pf7%t~@.#A3qD"E|9E֒KISjtHEo7\^)0GS=D>vVV޺ӮWHOumMOtTɡpSb/ r[j)1Y2 }Ot/乹%4`9}c4FK;"sGNrq1PWRjN oqU[~Z"׳m`!:9o7ӓ`S Gr8=:Fe9)z*'~KWF (c'8.#x F"2g hQz[J@mAbDǰQ׭)j뜞ٙjC3){s>k'<|X\aRb{G?A /,?qEF\򈬔E(oh(M8;o i(TGkE6Z {0~wgVp:6h&Gc/0>5šx٨<>V*$ܪV*pgC,0XᏫ(&=~eMܔޣyQ˛ $ֶeXX̊.T0¬ &ٙ+w:GyǽjՊJ$ܝɂhoqy|0XW 9@_`Jv+fqH8_b0 .Cߨxuwxe^Twk(RzD]e?h Krt&٨{/+և՛HLXQKK*CGoepnϗ0}B쭥_Pzk@3ȘӰK8IsXlZɐ؏A32yiGC,dLg~<3DI-#"I '/EF!RU^hYf'DOԸqش;vf˖yޝOŋ&+ApRNb>YL+*_B$LfA:6-= ~pnU YR#wJU&+͑|ll=?E0Zbݶ65= ^tI{ّ ?!X60 ?%šWj̹ ,80I)_8GU_QU?,yP(!H2Qqta9uө}w {J]Р7l!6e=ə5xDܼ},{K yp`uD{|ӈ!0kw O؈3b^AC*O-t@9C,?#L ^{/*AqDoMx&d4/cAs~m!B [_V֫oh|u%rRLP +vʒ.nO읜Zj \ not KܕOά6|-­'|56^5pOr!=΍&w1c(B:&\{\ymѼ>9-D b؞(!g/h]ƿ/JNp1 ^D*Y0 }}Qnd$~qdf"&`uމ#ZR@W^Yǀ `uH, 50y4ƳeleCA6DՑBqLC*mc^F:*Ut;W Kgqa\Cy<\۸cEd7ip}7o- RLWR ; gۗ (iϜ+?}`XOxAF}'h ΩJa|_ }Z nnƈri}h5_X`P)t* yJkwC^Х'8~oXds\gW;y {qfh6z P '<5>KXUџ|Qy鸤1[0}p~mU -J< ,;7% dAdaptive_State_CountingHOL-Hoare.Hoare_Logicdocument.tex7zXZִF! N ]A-MՋhvG"uIBm5ۙ,H`&Š$o@aJʮ5yvUrBsu m$zfpʡCi0TU",(mw3Ij8H$&zޤ|nƝZCJ=Uƪb=Nʌ|冤#C HkSEo`3hr_!7Lф=5NXs-.\VB1Ml3`!aX'_CT8aǰ2 wP^I4dvtv6\QU(0\s{@= 'WNWesUsRVYZ`CȽQUQŪWӣ^}OǓ ݳϾ7+~o97Qi 9 kgj\3!*ֿ(s xu?xe[DQn@^!lqvUFxLS6 [pHʚp O]^Dr(e7MDk'NO Vۀن5`751͔N 79~{y_^gx% Nc9"6%+5c*)P!*t:AP8]ZͿЫIHa/82 $`]-yOKN`٭B‘N-ח&}/]$:_*kx!fdtof+Z7u4XO`xRo).;WL&ZC9+eŢ oF׳V$6xW&xX-6Ij,qu\*Mg竿!TZ %L~0}-S^-Tu.+5Ojb?^R/ $Xė;BtӼ #g޼ Sb5(<ՓՑ|ZU6j8T&EYeL44+oԜЛ]aPmn"Ppdo*VlE,?a[_~[V/`mJ1v5 %Ͷ6IEc*@Dt?ŀTԎC2вȤ]="V͇\O=g,`w}8ג6 HskA*wwbu% BޱbN񆂑+ӚDsU# 7qvhbymGc& RuVj+aM ]gO,-G x5VTD w@y􈟦Rd12@lSo(1yىJw$+-;-@:Iho.jHG}Ht,[յ,ιzn}gWOlc{CZP?_/yF"#Yn_=G5u ;QLZXt Ģ@/7dCHGYN a bB}h8w4cG2\gsL* kS?TI7cdz\&"%tPBqݴ_aK[u}m 7n]?J0!q`߭FrR*@\jl?pU 5՟"Q>~% CQagCN]]K. /*霢Ҧ./@_hF~~XMnDcE]jn!򾇟Й!.>\PGj"Cil? M++!gYZH^ 9eGh q"-ZC͒Ww(pQ)N%2Ὸcq`@SX9+PhlѸH`=& KN<ռ+tUb,І:tW=[H>`RזSՊuA\W=km #qEH݅"C1D{`!'93I/j_xm^X˳=.35g_`!h$"݉}h୭&iJf QY(p*a{K] |y5e,ծ) lj mT.X_;1犑 Str.g}|j&o"~\օ -yg*Ի_{!Uf0 eť&M t &=d=d>}`K>XLA8µֵC A7Z!}̆jb(]\yR^a<6#2)`JrSɯطu'՝b|stGZf,(E +XC~g#(>YUb`foh+8cSaA`q‘2(ŕ2iڸ<\ *8DדO XLe%_k#5-+ܝ4Gʝ4!CTo7}aݍ4IQΐ_ܠz%Suϛ"f SNi-v9άiZԻ q*eL(PLGF݀4,M#rX5{\}2u%C*S2܍Zx@9NC" ygw$տzw̯}3OoRS,6 [:;z{ }$r_D7 mmf=֚Kd4Dv5W'wYHd,!F{7gvM{'kc4&ٔ1{i `\ 1(ƒ V~%_/3]{\K H@ J+ABOag7/x95ղ/$P 32{ۡZ щ^PTg S Xm !]+O^ZVR'wX; $K,X@c^́E*/޳?‡a~P'ysٺf9* D,8]ySӱ 7zPeud?c[cy #ByYLsoX{8QOډ}$/q xp,哔8ʋ@DV 5"T?K$u3SqݩN9wŸ j9@][ϭWjPbfV>MͦS b1To6u",1Yw0\Qv+q9ЃL<-%iQ}`@]0UѷR68>Y5FBL;{?-KػO[tJMkΤ$6KUjfAfETV ʄu1)]Rhuj%7*$bH;OKؚQ*.VrqE'䄻@Xx3Tq< _1ExޖCm׹t1qZTgUuxu˖["ؗRD$˩c `qڰ¯Sgд@@eG k؀Y%F2?8.+#&Z ?把46u ;2nd{SbD`?skF!&8 < ibesQ0n3O>M8!hoyØ✚ u!QxiU#g#0۶;)Xd~KqL*Tp SWT_nFP?}jQ婞s$)Gn;/ {`PthD6ɲr9*_؋SB gBSnt4j԰k#E85n@Ei g5'ю4. WFjKr6aH5^rG$^rt5|lt~0__u:.@6.2ƨ߰g-ήtP'Qݗ܅K4RR5دܥ/˯ܽ(ފCS'3A3}4b=s+TbM6 IH2/*ReTpܘ₱ r}i@BQD,CJJ]9'ǖoHdmWd cIpxSgw~)1=,qwseGK.9q17'(: 7gLg%L,aM)i,,#G*^[Qx-hl.t/JݳMOMU~l(Νn=k,α%w Û2H=| w jqԥ09N%ddFfĬnR?!;(G '3J͵l?Ye2Ѥ}r3 հ+㜪fxj^]OYB0  Rv'̴(k{W}*T;4NyF5IOQ6bV7..&Ԏ [%.; 6 *,K H5A".;S% LAdaptive_State_CountingAdaptive_State_Counting.ASC_Exampledocument.tex7zXZִF! f9 ]A-MՋhvG"uIBm5q2KVeUDrĦ\n ȇYݒfyklw#.U@P|oG&6 | k>3h Rc;/S^MI j'6T VuǾ?0$;JW`,D'0,;րM2w'uOP,ǖ`:^7h9"G.[ƕ'jIpa03m{{^rT:њiGPF7,ofdo_+Fc6tQup`UږZHz!!ܩ NPTx8 t^iq‘:}QYpSn520}+1bÿq%窓w0W*u]+7VB@8&Zvm}*Q_f^Ou{zOΗfdƭ=|np $a!%s7*Z $kԌ 7℧H$>XZAnl}fN'g?ׄ_V+>?tat#ЌC"e%4A-k%4>F>Lb97TYM}zE)@E,Pad"6xarEq. W'ѽh˚fm>gPwSs^ # e/b50$+ckCg!T@Sl CnYdBZL[=J"㽚VCMǬ/ri[8DR(J@;yn:eb֖b ͼ%Q%V=mCL;gݿ) 䶃5( r(JnX zR󻍖9➭kݤ~Hkl eѻ92LbK1u؋&NkursmG!ȴz/w=*oX )͵8;ζ1vIL I1tT&ʂ`8FS?<@D|Hd gW77)\1ע3RV]hnu, 7pk@UԓnU&(Z/zk 4y0fPrEUĕV=L7}$WL?Ogk!Coq$j Rd_YG;jUڄ=-{jlR q-;9GK`@3Aew37ߩ^I9?HhkFtD]'8ctduRXskX+*<飷G! ̕_#nf<>k!>EhwU.Ba$XD0SiF .f4jXd!=TK!0^.Nv*gŐ&3b޳ݼ{1(MU EZI?:2_oz |n,4,aĴH+S%!7DQnU9ww%ED HZwtZ\SKqw%w@iy WQz}U\ qu@{sxOM:@ <VO(.~BӳI-O3k s"J6h3^wѤ?YZ5)WjGx$`$J'sK8G7QN[5gZ7*3Ԛ?NLj\_:9Cr`d/i)i-x&-y>yV>#,XD *9T'ը ]n,/nzϰR0#&y/3iZ]VAq2 ph״?4N8$^. 0bfiK/.Q K}C"QH|^gxk(5n@~I"ڭe},P`0(0.@q-ŮrRQ6T6u5r!:T bBx"o8jrnO";~>F&%J5cճۋ#٢jN(*i>Ae/+)X$=myͲ6_ f:k-%)-7M2ӵzk?@XM4X{+ Wbn A10,e/ZyDc3&k4HL ;QCnFq\q\u)A$QtkP1AI}I~s'hX,g snI[9[),ݺB\z=RNפw߭ 쿮 3ErIoRx#'T62F٥ʖ!v/| {*Ym銾xvl&&1D)n7XUAn2:폩*EJ3,&GVcAkMP<[r^([ -n7zOeN$G?9P7 +XW/C\g?J1Aϯ"*poDmHN9l{u\wPrixe9WgvJ)4@cVϱfmF𶱋%:+gF_<.11!qr0[ӝ%(YPX+^i` #WJSF c5~d).z`4LgnZ^Ʉc`צ#f+]#AU=s:ZET0=Kgp7ϟ9g vn2 <-Z"h{Kȣgɩ~j2͛; (;RZ̦,Ni5 ٲĆ;{I'uQgg6eխ6)^  *JʷAmj(Ɣt!9A Po2=%J:`SንLkHMB+T^|8ung%WT[>#etb696^/y?NѺՃU2UDtWv#LIk$pz+8A6bӳ[#˵V#LT$5 /f(|"sp|( Vi)W AWȎ̱ r3aizxNG8i%?X';uڍ"[ k g /z2Nl3p},D0ߐ~ ف%V)=֥֩a q!1(N'<1^>_4yͭbr]*_!_Q0%zOXK;NQ?_/\'5 +uPV,R&g0>z# >c JWG;@'Mw}w~i t7Bq$ ƦEQ 6=kP; DG' {ͣåpV3S]=yk]HVqE_:@t!qe n0Gia3'XG7:n8˜o+bTElA҉q:$!2\X~4h kSEh5aeqKD}:(6hL'iJk-:^뮷Ԣ fk> zZRC<ۑ, Hcb_ D 9O }|{ X⒱ צpP1bX"G\Ht{,fg {p?]%/:Dg:·ç4jVJ"ۻ`b:25/~@ !2dI'~88vuuKh]^d̋|ʂ?ȕqWvI%pBE-f؄'$:XjO4eV3il?AQ9вROK?kU~$fɆA'ٝa:?Ygyp~q}VyݕuڲhOoFaP7 UHZ`!򟁮vA5kzAG&ק+Z7pq6Ew}p\\DZ>ڊD),>r۵n0F4`aޜt dJk!GpXm%pkk* 3`$ЫFEvt-lMkpϩld}Cw]~|G#TO4y<_졄xwþ&? 6/QW>;@xv0S{}JAZ~םٜ`ܬěFd灦Q XMږ|_@虚J ېPXLw7vy>8+g;bs ܤEYBvEcz2Ѡ%#:"TcT[סk~Q53y6c'h5%k5Ks(6 ƒ} COe[EĞN~z W_0WYx/VR5$☗#yc,T@DFq\n]s*I[Y}dcLX+Dd2u:ggoI<^OU)flBKuhm6:5z+7Q"dV\ o(+_&{WV~[!6 Ց6k^)/<BQY%É^r3^0)FB9|z 橚N`R&Giʃb5zՐ>Kum8ҷqGxԿ Sl& e&nVxHv _}2lzu9 eBOaGt_W3tZٿ$W;#gQғN ^VopTRh#Lli>QڷZUNӐ]Wy+C$w?z4k?|Kh1EH(IX9v("9tY\߯e =sjHЩoЩȔPuX';,ύ{ڗvkB2!XMh|f[Uғ=Xmz1_3%zZa 2C Zڸd*Bljt TKYQ [^zR 4x.{ZY;b8 #>0G ~)uP;TMtk15ŝc2=f#Gb;?A` e`n. ~W$M"sYHjq髓'QN#Y. &QEG\έ#C-3v$!t=2B3N(#wMK`nU@HSQGjH[Z}߬]i\HP`,4A'}vC!oqtsF5\3dYt\+ gϦgztx4A/KI$I+}By 9#8X"rsS^$QAHc|xNYΕP? "C>GM95CHȌɚk^gb9Z O9Y~86OtR&@MH*;ƻ!N8f+{6Uͦo(1>sqBv%͘i'g`R"J],'ੇŒ}![i[:TQ:fpQ9{JS.%5#Ksi\U@!~xw{:&Q)k#"+qœX!Q\Ld·e9*jې$>hTY*%Ug;,&5Ԣ pڅ )%]~G^RҖ@Lӎv E3!*{lQ`N)s[ׇnDչ@|c஑!mjfMAߗ؀FkN@_+_p/,nRLi tUJ'K$. ZIRP4}-W ,D+zߺIzј[fX~LԒ5Ą`1ݽ~6P[V24"X|GelT[!L +tZox n2M)8-,\kTpK^G#+6}Pf|QK0LVuΞ̣M܊̈mTz󹇦<`nLU|EpO= j/Hg!=j A}3`A(҆n2KႏKJXi/+q!tM1~BR*doX~@.G9q{),5!4SȚ;J^g# ݀0 $j7oc^}[ !ͭB"2j(Vѱޒw=taF  xqŪH@gm, c@rNĜ=ݸȰ ׯl!E^6j:8ӡnwۣ ?O)Ռi\TJ}Ҝo8gw_ hZ+wV C<{kZ9ab+J=&fEUTv9 pWN1ԥ5jzҰ}aW_5sMЌ;{-[Ȳ`o܉N!"DgP]*C`jAoqmyr˩oD+j Ö4T &NģT$95We7+u?3Oll(~R3Nv7׍K ?Gi)!ȝ`w8ok *i‹pzyЇ%o䰽R_l1κ~LX'+ WU~Ni-JErvF'(EӞK#6iƃ^@Ѵ^#O)u;I3{تR +CU"d'9 ̂?psf ߺa`*@ o{Rz%]8)0 jħBT_3hd3uwvMkNJYC_DP A4"5R>ѓ 4j]}McƜnֆbjl, ҿ#Q/k5 ~M# E旇eqx~mQ:k H"̬l oأ)e^'>=Ы4/DHKȭ8OFS(怳~Be8M(鿊)ȫ' 4i䬦Y keu`z?q ?GRHcq_Ao"1ݠ&>AKYG=Nc<{ޝ0 7!Lv{BǍ]MwAH r8UBMj]<[g&!-S '~78ԏ@:`N /N ~ _儹i( \ B=aWS7TevEFn@= ;d:Am쁟1jiاe@|84>쮦&E /19KjC/#wߝi7R!vM`&]渦~^j ǻ` ri=όt kNNpfe1#>o6>oU_v諦Y6Dsx/_?HO[@ӵCdkK̑{;uqD83v#dC>+k):*Y+/18/XxT@/{H[?T1ķxFb /.(qpt=`ڇ6Ŗ9XcEuտր%2g֭tBu#ʈDľhKU*D=߿cx@#ƞ +%-gCI5qr77qL`eXw G/k\2 v0GWJO1\B^t)V7l ʣD4 ?]E X ¦dOf`ՇQ5^F b:-9JTmi&S**ፗU? %1s$HT5Z=c6ҥHbb}t#j.{3 70 |9CtMqR0+<xQ"0E~;{67|}v-~$Dgӕڄ@}-wbwDJӓOb!w=ݘt G#1;TZOVAݞ)R,0z|=C, [S^I{uRh^_;Lz^_K O;ozK \Y'af{}!m{g%~s Fq6ӏdzA@ijh?6_9 cd+rQ.S,WȊO7P(yt8zeƵ+19MsW9,Ë>;ĿpdYwmC$8f@Sg)i+L5E]k!;i8O_4bg|og,NLt2`"'* ZU^P. [vHc+d |},J"E|g7R`q%*U4|pK}R+u7 X-e5j̵8OJSV|{VGz+B\nyr@kLQ?#|#@Fۓ̯ؕ UED3A|}xߺL41 #@l@$H$(kKn^ ͤ_(ugS It嚵)unVjx*c*)o1୔=PZ[b-WI0-$E#%W9eh=l1 -nG[w(=`HYzuu4SFHiL"9&!E$ +1"}0Hr>xV 8xBއA hfYެZ I"Jbx I/wq͇nlvf^r$H-ٚ c Є( ԹͥӰ 1rB~È?K(x,az-'#}n:oY=Z>&7 "\z2 K_\̨Ou.}aš!=V2A&%:$vS15$y4»U9B|TspmQ<&Յ 8 M*-:.ZDǴJBy'5lo.z1gGX\t3V=Qޛ_q=sS&y* /[rO 2ٔ%njqr爗;h1C¬`B+q<]dC](.xav [!]J5+os 2\}Ms\ @ @ KRߎ+s%=^z{3ߜRJC2kTӋ68sOTy`[JXpT;wZONBt,MN˜)"cgi[+;ZW|iʌ]'6)py1$G| r^ڲ+ǰEiKTv~2H|;߀r7^tۍqSC䀮~3C!H-Aq[|Yj1xx3UC yЎp֊O밨>b,,,OҲաC dLJ-S;FN̕[f۴L_^ySAXq-PϸgL5UocPF Z2sxƴę?8崩'|6h_Ȝ.hxFX |;f9%bڰ7lf#M:2I31<~-=~*v$ERl0E:p XT)BRw/qi~m`t]-; ^EWgd`)179gܮE_wfT7L!IC;i* {_wib 9TrDq-vr}Ib#x|T 2QֆNjJDK?smB:]C\IŹ-jf%M/#`Ojg2=l Ԅ&< }KSsww.Ba^:+ upj:57"qPE1z-56]հ]8F:b!d?28_Q|q}e.S ROJ8>y1Im(L. eIJ6y,|FN4: &ɲ.zfG|eħq.8 u_ܝs~{Ьs[>d+HM(INR4PrՈ郟`#,7Ӓhwk:wT,1v'3kR5=ApDrχKpkP lz1]x2ˇ;ﶷ.kKSꮱUqmhDm1M%GvNetkt,1ynMǡpK7uLGֻY|IxOSċ#6#NY}4,uw`ZE+f\UL?w/$r_ӷ*Hon}3O졩\ >:^@=ϳq`7Vqb읏R.\ #4Wҩrջ^SMAoP2C)E.SĈFTpMhFa Dy'To%G@ #[e8,FlgCQ$\wg/ըZbjmdJ+-:&4fnQ ']0KRD}C>j `m <+Kz(dԚ.yQb gYZ&on$qW |q_#W-Ot['R>& v%οaX&%{m+$>NU/҃EEā{,,!ـF4vY$s@ݹJl\3 ATߑքtV#gU!gj4\M(TrFSl3L˺odk^-w, 1$Pe?BPB{)H`UzLct G3+gY"J~=j pg,|pqb~AnZɧ`Uf4/8:*𗓷ȿd-❠j}BƙGg ڟ p|E}h;KN4[ 5y|Ԯw+wqWLA(Z&2bH6}cZQIz~(o~(ŊyηK@O }({ߠ Ǐn_@xMQy핗BR{7N)q5n_.@d5.W 9ć0V ՀWF0m֭FM@X4p}1.E'&]nFuM!CjطEq䜟)o"dI@0_.$˜F7xX Wv9ϿH +v0M&Lw~91Q40ObS>XF:xVq Uz>1e=4 :PeFO'z VGЏ-eroҜq<V{J_m`2TїP!.2"0TM* ,/aʟUQN?A90)ѡzKBae #8NaÝm3ë{4Sid2R$b{9CXmNtĹl7 9tx2 k:eZUہ펥uS?G`ëyR&@q助SDHsitBW:dɏ9\gG!Jo QMI]Dױ-lĚ<*ձKjUj!mB`$Wh{_A=T!tKs'JC`)cZv z\0ÏB "tS^;h0cKu%ُnv_=3a6]/1M$dq5%r`3>-H:~qc4g,Ec a+Ȋڈ n#6[|{B|418㑍 SGK n=(]{w38zsj'#?N'fջRUi~iQ$]kD3ql2;c6p SVAmiwB_wH' !Ku>u&cֿ`>Nm˗)xJTB Rp:voOZk#9b* ͱRTLJ[H7_CvD,,x) &R|Cҵة45^L>Rњ.&8Tj=KXiә{o;SDd#obѯgUdT4Eȴzho1dpBg'Oh].Ru,Rvg5K]f*X N Td>).XkSێ5zJCh͆>YE:ʺ4uV4yP D ~n\td4uVXPе5UW5I_ WCas-6{o82 Bv+ puQX00SmO* ~%x'~C%e;S֏SeHn {@(aK?s8i;Y$a^M.^L S=dRrm&cs(N>(U'pGvLSVt6eG^B}ngQ{ c>f4oRY9[?MЦфV`z_'Omnjs;ɠjRF9R|rXfv_{tks &?i@6j&G AK36RExxzU ۜcC8l\Ȁ23UvQ;}'5lܰG|$~/{WOXl&b0!XEyg|eO" f~%8=B$>g`0^Mq{:#%z̒B$ݹ C[1Ր:^r,sjLrUDyXY(]w= lP5sCHj vXqA_м"%j_,M0v\.|_iN^l?Kʜ1keDN+bWHBCWI ߘ" b7V[tm.[+!\L Ҋ 5lci @A[*'r4*š3>D,s] ~ǃ3Cn5V}`3n/tpg+2 ௤)FD4?Q֣BE Vf􌡤[zLuW]VT IVRsjJCۍTYJ=w'ZE )xc9(Uf-7%mBJV :?fdGqLHɧ=p1k.f#)^1zx|Sc-r 2#_#}֥rAdN7e%\%ǥRW+NҡVC4w|9^AepIfA&cZJ;OY&R [B|B|ڙb@ٻ 0SRoAٔKrn!@=Y9iZٶ=wDK2~ԫc88+d2!o̖։xyɿ@ܲפO(W:B]6/@lILGJdBgy8Pf`OAPSqϯByJBi!0UOֲ$4=/,ꤊGM-э_-6|^T:(x|cp-y]Sro\jPva nh;e=̰GAѲ?!Yֲ.h4CB;]biCa2 O"]IM:D`>p fz $8 VE(Ri2[-u ydTo?8: ӆ cQeo.vHҌۺOBs3t=vPAuy#Dl?op-'ʥ !LqZ1d d,(NGlNGb 8IKІ~TDۏQ1 Y)(XJ"@u<^ХUSHPL.06!`^VPTJsJ iS5f 9ߍRBId8x yAl.cX wv's>]o1ky+k3$1cZs2rAM޵&ajAZt] ~֓lfd_Op}@[h㮆P bS>?$E8]z{pLCs)8j .Pʚ [BKL⤋b<˸”,X5qTqQ0bQ3ddP CXE+4t7y`Q[k6|%YssZD9mSƞ($]>UjKjh:&")#."gǼW!-'1̺ٮ"ILYQ ~>i"\# swl6uήfwlCNFt<$gv"c_)PLU6u-K ț2y$'}} a˵zzoPrg^#asyA50 #ꏨXtBh͉BGMG"VBx G^/C-, \Ҏ?,@a8$899J09ޠҿ-ʡ֨=cFTE0#|*+(F{ "Udq Rϱ"DacCb)M:,@Mg=ZICӕ#o -+79n/Aj!MB N3i;k#2{.P~IDL!(6 $).Bp]u7'S ITN͡^u66ڴݛ[`ꥲ ]?wxN=%]AԹC|22<MuF)frwTG vXϘ~-(T7{ 1F}:3!XJ1N \Z^['k׋8N'xnU82s=Fn )`5@P&17~E*`&igɰ[$jj9B2z ǖm(I*]^k$x|L3?+-M!0UMM׷8mf{ E lD`[xAdzvS;]!ݾD y\D;# RpCY@ 8v~I)>ۆTTW'XRcU."lҗi034ܖUg{9<{8P([*`2KD _C9POWRl}r,f()(4һDl&jupJ"R7`L~Zl|)Gh-áuѰcKėHA) *8s߿ϔ2sPe6G| zTa"-gԿ]aYϜ܍o 3/'W`q˫BT0sKF]"pU!~Wm"Y4b363BpC"6cC-Y ZbL4q]=ÃVG;K5g2ǧP n~2  k)h39f}tsAK֪fr1 g2>=S xLqiz7.C矲ngvDSl='' ;zUsP2g^ C2C݅EX Mj#YPXŇ͔ςCa'0z f{a])Sz);{iQ^K)*N{T Jϋ~@A/4B1/DTO+e`*==`fTWXJڇ[\o}h~; C&շ/y$f&k)o&KOKPK h>idƿ[sؑHF7G[qط!ۄfٰm =0>.b;M2ǿ5;q16['b\U{hwzVQY|8c^T;# s#Q%Imh۳<.9ӑ(t/?xq?+BPx/(s˯sgr>^t *ULۢ}tRǂ,1R8lBV}}ЯS%d6 7CQ!BZ[{qk@%|]"Y,~ߢ9WA,F!Co4iuvmfMͧעr[ x$C)t#-Shbi9>9͒5d%I~2iO&Χ`o7kt{hU ǗaM*ғݶD^|3tpu@ ='ai$iRsTJ;&-ԧVQmAC<,o H q~x%Os ΐwLg曙C=9Q RJxa}h?NwH K oL1T}#%U-jaع)ԁFb}$ %%5D)bWuWB))^r i^LLd^g%AJ |Ped' I{ =؄ks|3"In3`lq&Wt2q^Ytvy C;T\'#zpy`LTD' PNgC K: һr C$@gNx'ӳ4\^GJf_R]Q#Vn/veXv4Y?2yIZ1%Q>X`CX#O۫l#!Z BWS|czm%L@w9|B|KuS,7ZBYE)N(#Aqf;F%t|4_e1i\x||ϻ~d[m2-?- {6MliCJ7uNUq$|С;ͿUl<8֡[Y2iVpnqK\꨸zN"@3c> ɘC5b4"hyd܊!ο^L߻UpyU e*hAdsZz$I4Z7R`-rՎ͐ 5m-gnK-9]]%ym֝>R;&[cc>Ta [˭竎S7$!-W!D!ҐGʵ81͍#~{T$#{Qz# tkM`*W'z!zWxB[KQZf?=) Z@*MLHdPUUҌl mޱJ9)(EZyy7t:%YRm|$/د_&\9=pW"iD;Ez~7=h|~RPf!Db"m5iR̒T(Zc _ 6]C|u7P"}]"72pDZP}q7Q|l2vS5ua=A98zJ&I5'?!fi:dm3 sFqOI 7!_iS -Tұ@Cof H=3f5`GW/;~(.i0Jy"1P>Jĸ*ҪPVP}R mB #^;|5YuΧ6Y+u~@C&c!~Oosy;x8: 8@[I7&:MeC͵:N: tU3HNT᪡9ixoKJ Ep߃@Z(dsgϿv1i(^ R&}Z^RFzn82mC y- &0@S_kطЗf!|wyh*&FΏ |5` uÞ8Pςg?? ?S})o1#!?Ll];V2Ztߢoi+ /ŃOAvԦ 0ŧy~(#KILr^oGb5J03#fS@7>%\*k?ZxыT 2Yq?~|%Ÿi>@%Yyl9-2{;W8GzJ==`[w(|& Z1yNM y&\G(\*U.[)Q`H:ȓmr8 GTӇl1iG)pTGUc&#Mh"=Q-z H- e]$q!w<]Ckd3ƿrln42k00=S *E.!~̲=ؘ+C߇qtDPO, pir=- $qkPV oQ !&w9g%-GSN ȽG+ݘVoo"j[uE(2bÂURD~Dw Ý5oX`LRl}XC]Kx;ګ;'e;1;6"ҜO]*)}>Z^?6s=EJkbsyӮ2uɇui;v1Xäǃ֢q ""H!^\HES<يfMyY$ \.e:J`dF$ƽRGQkQ Qq\G}B"% rX`؝=&;Zlm*W ]MTw :DOF䥿娒PK^$&K@/"5_+4?`Q7um4WH8kp^t$jL@3 IEeCb&|`lYFb+aB,NZmkelvPb:-GN}1+c6]W0LRzuLHwe"o[*+k_Vq+ͮzpX4m˳^j2/csXk"e790E.eΜ# QF{j izp.1ww;$jˣvm^IACy(LY8# @9P݀|说ldנ>Qr O6;Ǿ*e_KUR2]a90ۙLMۜeB ge!twi"}Yӡvwҝӓ0j/YkF45Oԇ@M>8Z1nf_Mp+ϥ.6d6SF h;c25NMʋSfYs1H:jrl ^Zn(kN.()j%ͧ/8[WPpC[_>1\g) ^x3Ug RVilm$)&cϹ4"GF԰f!b83(q`l4z7W6ݭ'B|^}Y(ȓB&2+eW-^hjABkMݫP$܎S0#~%s8X{T8=Ruqfw\qt)ڿ/ԉŒT𙍻'g-V[ax1% sd${ D+SۺY/HϬ,ԙX)ى RA>uH'oд6Bm!OU 8V_?P*ҤqBCB&@D$d ]3738NxԨҁ fgt&ڌB<"ϩݼJ .^'} CW~.ڂBBփk;F(-ꝲo\67R)t@bDO{l GYGS,zҮ;'+y(*[:CS%{}HL "kx;{3ojCRvyV-E !(D2h-g{\DT:N["ٍT)b@uLMn`/ A  'U2@VQC,mml=$:.e1vbmP½Pfo)"q mĸ9LveD@~l[3juX}BVdhqs[҈\瞳yz$>_ Q5` 2 oӍ̦OVorWMZsl=tZ]\wi{ŏۇ=83QXD=fYeHM]Y4uKwɹE)<ڭUy&YqVuCf>X$ Rbh@r/km)HZ-57òKU:V͔͠? -)KT$޼M֐M?54%'#~5tB|^݈b wklo_{4=x;7"oW{7fŪ;>`>O^gGoI-q4 )0 !fhټYZ> 3$C])1t$tN<:\ΧSAlG !J>rRhl,5QHC i!ݽ+ĖHC4xWP.ۨ;{̳ +كߔ|$gDʐqfѱOo>uPΎݕ#PF'3`clOswӕX5Asts/wq&XOrTKhI-l"k7kݹˑMPi K*U[/]>7 @vc׌N `h#lXJ.Vؓ`%J8[ 7Ο/gw}`l8Z1㡾mv@“ |@ Ƽ| 0"5+VdGn< d8$S tH$tHfgom5l^(|Ҫrzp- {ͨK)  }IJCRt%V%1v3Ud;v2h\V laqWΏbO|.mUmT! .@|6rW.%E&5 3svOL[]GJYA<2[v6jm,PWhc ;(g!kqir^BuWH#9ˌ#2Yt>tLV%l D*$Y}z ]/TjoBFŇ;,rNՊyG Qbsd^~ھhthQVF.^0Xve7AYrĿf5 5>9q@l\?Z*!ćrcګ 0\Xkvm,wp88(i#-:o}q^,i!70a֫sDu K+inw3xxܖ_rmFG holԔM&]޸x,Rtx]s:evx "^8F`J#՟v:Vȩռ≄^B~S '0oaV6jѝ1\蒾 XߗFўևc ћw\q5M.DpL +qc>u7J|?AG%/D\orvn5jsq\%r2E,?R|%i5-DeV C"mcלɅa֫W!T#BMR<) ;|[Fq{%_0(?jjY@XQ,!NV;_s}x[yV>K :D_2;oՈ\|dť@f w}x9lt.GA` G,ŝzm|5فMɀB$ !ӏb=[4&NܾaX!u(apNBtgfF>V֓k|azml%~j*~Jд9b vI_ IZ (k_|sT!*b./F|߭8/bi 8Ւdajk(* h&&RZR"OάdŒ@ ^,u[z'}W5(m@ܟ:-Hkks:̡D}@Xfj&)夬h58V9+!)DC^y"zLx^>؟Ƣ꽎 k\?)ubX|oRl~Z&* {1<XFsVlR,aIJ9T1 e[?)&Ewqe48*/oԊl _M|s4"ኗ bY0AdQR+ۻUfU(}iXlC,$0V؁k2|o\z@m۪P_$%Nqi"99M &+0 e:WԫL "´V_&Qᢢ/S(z! Vӕ; p;NUK@'GZ':,d7!a w;emP=v\yMHvɎzeHy_ĉᗱ !']J@0Yq( 1~8%ؚ5"ߘ{ atbJO3xK5Da{ /2Q:|qxV~/~QM$-ul3"JS֍Xv-T̎plŢnHOŪnaSQV>5 a<.tFl7a67ۚ~X)gDx'&mNe:x[{0ϛ|+5^t%8fIj5j tVhc;8t.^;mLH&p8uou Rr2ҁ^~x:&rźB@.ZmnAE€63U%e>Hw}e?F#өw[Ʃ\mQ ZUԠ)J]DjߴIX)="],Apjx/36b41y[!|_]5#}o[uW9Q(FN :~S8Jώ!o6*C=+͗j'mo] ƅz% fF6ӞdDP^1jeѱ0B qWU8{퇊J2s [ƹ I@DA?,sk6jBtƴ (ҋRln$t`>lWa*$WM[RV*ih\̋7$7aiH̊E*q${ 0-m^4=1cHoB}D==Js+ nJ慮ozT?7 (\i[/E dͺ3p(VMN^9:)]@WV?(ukindGT,+yȊ>䬤[GU2@OB+m (2TCa؉Ԅ>OX%5=nУQfyRT^8NҝŭI|_%?5vp~(HsKf:Zo.+FCMJG n }W=3 p4cN } :X!3C0iZ ( Y9!y@k0_Ƚm)'zROxP(;8CMRi#G‹J Z͓`{3^'aD|0!H ?Z6&-C嫟v^Gd5Umof7ED,/.,2rB'mSeT/#NҴsdBqY+tseOh׏ڃxEF>,?-{eqBI)ЇRnT+@wyE3Muϛ7 H>׌Nu_p}k`i;C2p7^Zc[JkWP ?)'04Kb=(/zd9꒯r 1K = yPyҬlW?c?#Tdd i*Nl{lBo ?4j or^Xn0=z=FERZ&ZaOr=o*F"F[oyo7zy,0Ҕ(惌ۼ5O#Tv?R! r.ETcH.W}N˧D1NiTE/^,AaM,4~+i';"ǴT_XFqm{dc}E #vE͡EP7s?&婎&6U}'^l ҙ_`NwwQKoO>\E}/=,ܨ?#o129̨(wY xf~mEw9agMFa!d]>c@FXڙaE'z~m8zj <^;ڎ(T ے #H/B-##,G1C,f)s2P A?<&A~e,(kZ#sFDđ%6?pS^$ %V??RG`L 3tմE0 SbnG(Ұ4`r5촄x !2 Gk5&boC92Zj5䚪[2Cjv6)9Y8L . h_7CǽjDs(VYڣϓ= *7  9cjYvR$ߞ 2sS!њLw9a:فC!h] WѺ|)ed#CY//L5R/v7.elC1ramjˋЗԀ_+tOkl0jڍf9(); -l1fgj%g姅GC$ ^V5FpvKLH##?3. 1shne~xO,3#_.sKE[ Dٹ\o ǫxYA_Q#qM Gh *G?zHtV'Fʵ6Ǟ $@]Ssw_k*Rj*dIEYE %\LsU}7<A<Ы|fd("'%u/M$z \1{\2x*Is',u`W Sx\Seaީ.<ι7 e gx#/qRP10|lr;i\5zѱ DcKNha5%/oP9[R[.)j㐚Vo[("QaUNV=bSۏ @\бHw$sz5L2 Gz@ ɩx]gjT{Mր㥛N~ϕ)JX.gs[!&pR_P!TJ0Y;3}‘┱ز&N\vlK;kjۡwz<~w [6r2N勣V^Gbg1,)z~vmuB-l[,*$faAc2gHڿߚfW; ;|z!X ՙ嵿-('c5 {~^[,1]z *[ҬmqjY60ZLy=e` x'9; cX/b2hO\4O y&wׅL4wO Fņ*|$(P IϴS? X zaַq@z8c`N q0Y͓&3qlzdʟ _sg0`fx䬒iDC&< [|*VA5=r?hxRߤ$W94rb{|V2r6QbhHPG_7b, }^1S>{4ψwKb-LϤ?$CxD郛YjjюA;}8gθ 05,ә-~*J SP🀠R֒x@̈Ν!*{}٠1M ԓ5[:6 xK)v\XqR&>av]^>hIZq jn#3IVM["=V.R}*Rr("R/տv |·[Bc{OiSɒinD/!+sZj8)4A*Exެy˜re.D5@զu:Dt`dɗQ<#h+T޲2A 95,cK4(! f@\~ #C]I1S;0x\I j}efK(~7InQ. **C>\>ru^t 4iSۉV9 bܨ 5b|Ț` a#7G)7awȪ'.b4'~t:?Yc,$j}G6A,欄z>s^S~f6 E-.t~?;ZgP-Rhw.v7c:Fo>Q8Q=MC:Ov$^ff^6X9\^xHkIק^p+Ы"*#!a$f QXVzٯVݩCU6B z_p( Șxue`YIDu4-v}WBsKe8Λ? xfSͰcW&9JEi`8&ƏIUM~B}.w tcznߔbݍCvH~wurKL"HJS\;9mu^@Οc=U}rt3[c߆=;WC.WeWQ rup=M5[w%Zʴ% e%_lq%̺(Do`6_ 2ػl3y}%JY,,@aj[ώ'S ^rEpL7^hatEIJBkWqu%a2g)mǧ+y Mjf޲1,J(B1=:VP?( x{:97TKjF d 6A]3EiCNpf S{UQEu6K"! 'CFy39&wKEA*r7Пdq)i N`>t>hR!-*%Z?E:Z4RT:ܛ`E~ldIb tTn՗dF&lXBF\@YfXf,0g wssr>Nb%g،~ʚR"6,NOgn[ZUôwBg?ȈGwd)AapϫI*&dLKUN.U*C&q}z!&|tHɏCYAg7!0 , Lh|K\L~; C,l]As{kvuMƈeoݲ$_r "-92jw\YUJd uwRjsdFϹe.j17e:bh Tbd%ܤWjAViOх|^PB @ČY$~&;ŝS P܂(ٲPSkfdRsz|XKtWho>= ۺ^(r{7ORiOGw9Hѷ AY\'SP5\2X/JqYZn&r"Gi"_ t-\ٖcl计nX缻j:u3taig؏llsUCy<]#zd&Vm%_ r[/Ią9 #ܣ4Lw}$yhjVF<3H\ OOQt{:>8ʁ}\9($S gYAVÁ&ZcGZ~WhtJޒu )Z7e$Z< J# 2x9|4z(KKR%J/jw %̏@&))&wcR p^S蟐ϏFB嫹ީk<4=Rkޜ6P ;O3x )d|*ZKEг!17umsDIao ]VQ]W|n>38fmc&v*RqYvcJhHUɈ+̯CЩvCruo&_S4E'F^/$ 7b6iPM{lR GeaS/`U9.NB= 2kȣWy&|f46rpWm;תSkvIQ6#M>Di9nD*IՆ"@[TIlv!5nlp/w&E~nXuѪgMw`*h:ؙy Λ+}0]\׫{^6aӕYם-u 4mn܆d3C^lq簉_ɘ,LD֫q{b1f'q0/D$}鴥V~En7v}^SAa?LOؕެ*kE%1Hʱho5ͷ,44'R-ϧ_zux&޶BmTc|\@aHҷ ȈCr41n~ n-ciܟ| FG6>Fm?2xq@?bb@>,>* /~b#ry_iN-& `T]JO:<4] t> ̈́W;mA'L !a mJ̚[❄=JfPSSk4]U_#FBy>;.zpXc 5O ҏ>ч"~YRW-JuD50zeeB;tY`ٗ{JrEmn!H8Q '-OHFecrf+%) dY;Դf>-O4zXa}دoya5\I/9qH|xsɐٿKa@mwd(6[ڨ.dZz+WYOU *k!C\1nEr)iLIYaǹs_j]n D x0,b Nק$j!ƔLc5}: 3c2\:c1Tu+3[$m3EWY=%Y*,$Wכ]`U"n՞=aS"\b/Nn<",[{y TZ9:iw yf;[$g@詘1J"K&Cҡ.z_JO',]\/xѮ3!Y`17sq"AЃRFtU\×lQrV\'J=N wzwG)[t08 [zo]=Q^NkMvp#|e:mBM K4Uvy7Mt[$iJlnғF#,21-SK>SqBlt44`($4~\CFYNi 7Z/k۟xxe`DY#np >^gf8BC,;'=208m|~i#9 D}NHtg:'.H_`X47{t2ZoIDpeL+eVmq{fP a=˒JS @$(Lp 4o=M<,LqKiSpaO, >1 p3kYp,EeK[uRFw_/YdM.7&(DCMk򹕢 fD.3Y׸GIk1;@Dq&zp4,S sySVk[u{=i-\a{-#f^o9>z_0}}?{NpGG:W ؒxfSTS X7iTBl_c}|0^n4=WYhZ~cq4E鵣X0`o C_NmlF `"wiʎo,,S "42^iżPoqE!e:V0h+zjƺۻsXܝAT-A͕Oxؔ7$R#&ͅ%=uKB՝*v e'C9Z?9]Ti +pI8.Qyx8f7, J@Z-J yk؊#?]瑟&@>"UT89n̈"Pw O`"bw901Mߚac[T>.*GY Mf81 H> sὣtf yd $%p!61Un_H-er[e;F#\o 6EGH;yT-G@@oC5k75`-m~I677/{|P; c'ph9;EJ8 )}ϳN𖌖<Lsђ'os(9> qWjX`KJW2,o?c/m`t^Rj;x7q ė{;_JWAclhO%M 6'^cr@*7: Z+ Tx ޕѸ4ߧ'%clOrwD6@eiSl_ tO%U)iBd?=MTJ`R2ܥ^µZ$̎(tA䘣Bxsm<6)i +f:.(UIX(p2311c.K1#n:!7:#!#'xX1{ bL)TSoۅK"n/X >6 ֞n)GyG5f愭p$'q&@x҃K^?猵PW]'{X![# v`howlwbc;Wjg}z( +˨Pr?)G`3)hn U Z :FkVPnJ?md@U;CeŰ>u aRBgb|7lP4.rzR̐d/ *Qd7r M ! FxBv\b5?y Uym_~l؎DQ^rULM6sl4 q>z,/"x]/F[7KԪ[ d>x^r7-A*5ZCҷs 8O n1Cfy@„ rYQŕe&kl穝SwGRZNx6T4"IX [*Ypf}\;#cd0 e P$Οi?o6<0Ud }::0z#E,\-O\|a8=$/)7zj2H RM> VЂJqa>R.P4+6K)m^7t*.~mE:fDbfrQ!ҵ|L1)<$Mu8̲^sjh>G#1ypz&0'ݳH M8nrw]Ql4D`mT qh)hs)vlU17P%X|QKC$XZ ^3"A8;W'H݊d|h (Y-Q3]1 w+y<-K~x`[A O/s:8m}<)p2A9&cF;.G:r#}]T^fÂ^R )6_YH?dnJ(؆JZMxX>FTG@f`OP-߯xvq!%) -A UTFc88\RXj|i-];h}f/FZ1Vt:}ș8q78*2Z\0-@YNN eNh1%dzƷ)B ,(x)O9b!NMWo^&5uWC gmgbQ2 &A([}+F,XÓ Ā|䡧4 HT/BEԐR E[;X#L54obLBG~Rx->`J[![^"#萲&5뷎wzKH72;dQU|`/pxNYk )1B R@5YԮSR RJՕе!?wR``iŞDo]S}/;OE)wl_pc)AைB];Iif\qsH9H(`sfQ,Yu ?Hv':?7an ||Zܤ 9(_c)hoAhYg^I7~XPBr]-]u^.n6ɰ_<8 y{nhD1_.?(JaM:[S~m$-]GEl,݃"`0`T"=maz4]o=X3,][W7ΐZB@wFWߍm|De0"s q  Vf~@]Z%~tJJiB_{r0:x+Wxo uE(U`4ǃ*0ݵHK Ϣ ^{[@HC_ Wȋe<$XRKthrQԏR=#>`#m^'U *ͼZeo5ؤڤ|@Ή)g-9\;yGΑsIY Bzzd[7I,A5hdXbI4| >h@etHJTӮw mSYv1`Y<9 tτEl=?*-T)!TW'Ф fN/'A!T2S:3 ͐675(=?/hXpOHړM)_b?r8@E UdiAO C$2"F.,gǾF}V nP62XQ a cu$k-:DȚN7>P[A#羞qChc uϊmѻa4@@5]S=I#uN&8+rIK^}xZEUoWU2PGm@#ādޕ\)hgYZ NN ;I% Adaptive_State_CountingAdaptive_State_Counting.ASC_LBdocument.tex7zXZִF! i]A-MՋhvG"uIBm5q2KVeUDrĦ\wީwڌiXnՈ#'1bc"Sj&H4J"zvmEZ =yNhwŁ-ġ6t!*W?Pw3\:#:u R;c[ٽ)TL j`.;]U L;#\&D9]W'A ,]J"88`ys @v6LΡ [Jc*eǶ UPPٝ$;\ζph\w["^ٜ4z$v}\vc 椀ǹ9s%E>C梦 '9mWk+'p\?<7r)"4zWWJ Mn h}f^DY< ough碛IdJ_B!l,@/B }/z( 27t};$?qV]@Ǖ5㰦B?H!4 ,@KEܴg{+{D:R9/<^E[pQFz7SH"DACT^!O V@HƮYMu0oLYF ÄfCf@@גv}k1sۂpX;?P yik";]oOU 8TTjvJ?d53#ȠYc}*V6@cX a i_Qۜ fv$fqZto2*&TШp0b@X {(W& ˙!*Gw6{a7b6VxX' O̳͚ܻۄ sרa5+Ð^Y3Nw1_d/oxLf3.g TgClSH &y?+gu(fۉgS0fZ'䴃i&A# `Zʧd|%ݽ؋+-g`RZyUN6v|*m'!3wגCDS@˻ў\nj~).ķgrdTGBnonhQ1ڡ8BQMxE<82 2ZfqJ+4byyD ]Z&Ds CrqdƚK+dajkBu/Cɗ+q*յZHj$?8on5dpJ|pv0pF*dBL |nڬܮv1;'d;prU t. Lqpq)Q3"RJu:u6!"hSrp`14 7[QtWzѻV4HKo?O:PT > Zc-MY~;['@ 8›32Z=#mwI8_b};GP;уZvHY86ԯ ؉QsXO6qPL>\ݤ’z ȁQz_F4puM˸D}H?yn:%pd⌐2! ÛJ ,e*˃{ .c,"O-3{7"u]Qax5,\-|<.ois+TQw6 yVX`ppQ t A>(69},U@cxBybcmQ~XYL3JTXj%z#Z|<ws#+A{) ̑aYV 5.]?ǃ%4{k3ZW&h|!%njfV{! ߤ"_q ]lI 'ɼ][EMz5 RSG6/= h'9 P_mGm6x-XSr6P/?5mWsW0ÆUϞz~չS.MQ5Ecg Ovg]IRB`{~!~5CeX\c( R3.(00zĵOP6CNBȟWOSdeѯ8{3DzKG8 Vm.Qh#ͶLY F+-)k.q6qrthc›xHwΙueQ)!9-Q%/]!*ޕIߞN hIf(Д0p|kaL\ҧQGf<*;['!LwIlMDbF"XlDU$+AeO`kp-2O.xܨd?C񈂧_*8{N:c9`wg"Bau zg3s8a1+%K>w.GR*E,z?ɷ{/1щ[Jm Kdh6}PKԠ:o2r2NA6&8‘~UkO#olvב; ODžs[boB΃ y%&׋@ ا)iGNZ( x[xs*KJ~$BY,aa륃XXwZ*$Z{==qjd@C裺Ve.-gê3CUJ}z}0@DPܼ[*^@{~p]{ cMdgYZ7zXZִF! ]ŗXiɟ1S:J'h?H6E/ЋzvM8ޝ|nabW[ig3v ORxM UVG2c i;#dCC\M ɱgYZ7zXZִF! D]ŗXi%D30u?|$P4^a#L2! \nԽLAųlTiva7I# =BW qp`#Oſ%leqXF؅ml\+0Z|sGAY``inaxRŷO4nGX?~y|5amveh"Ur{ۖk"Cȩ)gtJя?8G(m/iؘշdlEC8" *[z1B $EW`!̆h'S)Dk 9壷Gt"})BShQU;,.dXөI2xOEuT]%vf  5-bCvk<^-ӿa*gb^Ҿ218Q]E/75݁qK/Uٱ> !?\X1Y 8qPj cd)` z \N+MKL|N7mMHz-"+&l\:A ]XǭN Rf ['6Te}R:.Ȗ 1%7T &WQHA)]HD Hi 7oK#ij3QTcY+ʸRÜؕ)XYh--j~O%D;,hyF ?_4"hO9`,L5bi&Dt; '22B%+V_P7&%3\49k 8L0um3=\,Ub#jRne{νzv$BAl h Ƴsz*Sf_Y]i[FeD[vѾf9 .A-[ei cp_}n*ʇ/bA6{Zi{`ZT #wɰbLJ\P-n@͋^!)&8{Qs- tkJ9}|_wO> kh;)0P. /q3 *vFp ݰTusJWDr_3 㻁᪫6&dPbß >?gV[:hH_ Y4oݱʖ"- V "zM<%*@JUl@bMY}q_kt"/"&- ]x` պF*wl~rJm]u#s\#e465=Y!g@Kq|<$My|kh 緝e37x2&dwן# Yj`|qJ2?0b4UКƓB 5fSfdo_哄P*j;{$UL $8}"wŚFr;=Q$z9tzd3RwhUnGfB셏#_cdj] ILq/K/m/&Af7&Dx~WUF <6K9{_2Ec u65 kuw-h>!Ʒ-Anq&>EF>؟̵iˬ@mN8wxs4-A?u‡I1/$sNl E«Xd%R{뷻S;CGpBKc(g1DUMsG?z)1V{(nm07% -[6u7Ga 9 RYTck˲6 8Gz8@bçi[w4m1! -FGٹ<ݾ]E+l!UzȯB3>S^m.3K=q);M!.4mkiabȤP"]/tǧao0JЕ?TaљSx0e@ k?[a_KeP1bdgn^f>t+ˣ9z*W5o{:sL]]I@(IY0wK:_w2to5mgůXaMg +trwgc%[NxPN=N_dzTZF$j"Vf}!1R0 ņ\ǿ@3ƾ%\a9GΖ}cjo]Fӱ|JP>F߇#}m~()49ԦjwJܷ[ _:˫+ =H+pxl.L+qddz ꃑ@[9q0 J?QP.{/}r՛PêcL_%[Wګv7ꐾ.U lTP,0HhB{{@zlA ~c/SN뗁)4I3n/Ҙ4]p)5iz'KaKV׈?])4+W"a-u6l+MB; ` Xh_i(AVo)7nHim}!θ-Ki7nJk=t6=;U˺F5n#v:PMZ0o.Rð3@m]ЁӳC41 T))?< ݥ,a@"XpxL>90sPu`$FxLXS*Aie\Z))4P@ڝvq ٬AS+|Uu "4»B0T"-b!!k"ȳՒ+w;͠ꡏlP iLLxCReB< V02-l@88MZR4BFU{M #)ɯ$V%nī:cb7@꣠]I14V/~W_݌བ[ȴ5SX5 !Hw 2_: H[\x!`Fz.-D$ X %ed#9̕={*m&+.s6+&$hJߦ&u 10*+d` 2Y*.ؘ}m@&i={+;dz8(!gᦌ5k<zs)X{jDs> dӾQLPQAK)p>.f̮qEq;7 "[ӨrU_}/_j_0=2J6$T6'h8e~*q[Ď T^ג *Tg!6N?o;rZ-:w%bl $I,GoQNѹ%Pi˃_x<&Rs٩d m<'㨻"|ɀa,"Z,`k!>S:Ɯ˒}K/Ǵt1ʰI]-~ݸ;zHW/2"_o5؅\ R-l~n4MvgD/FVň#J8_S[XkT9], gYZ75258908f93825a2adae75db332ff24dad313cb8c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 41397749331004e6e89a92b9edf427dce3f44ef1 dfae79588919b5834a93298279b56c4625da02e1 38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1 b554e74af50417eb67b0d2c902bd8eafa65abfcb