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 FFK,|| ]%]Transition_Systems_and_Automata:threads=4elapsed=288.309cpu=1041.892gc=70.060factor=3.617zXZִF! q* ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{6IzM)%\oU U_*ms# ՙ9N 1@b -=zx‘(wyel9@L x^* Yq W*F?OfJYeIp~n NH:uL9Y|`jh0@\uZCxd#ps{Jn6(kNլ{^ 3~P!֒F 0-WxL鳝,.\XD Mx/TFz5q<6kR%"hjAZ 2ӛq"f-mܱ1N+:uIiO,PpEhi +8s4⡻M,wT=/&c}19ɴ!;>U1G@ꔗYPt-P1Q]^zKC}$ql6ٸ+{/ϔwo /,`E};lEX>_.!{9 f|#~Nd.hqtt=f%Fo q," ffSunQ;N lg g c޺U-.lL8es&.404u4WHHqd>nTw0o5 c>ɻQKØ )ІF,s2k^a6۴Wpړ y]ai]Fy d7 >(n<ghF}xag:c0{1wnZŠ;[DRƄ>?"Y-2yԥ7O `57\Zs\p1HeAf/Hm.ӆq*@F?{uZ*.Tpϖ' 2Yx{OQv>$!iv&^W٥ s-z `u+aH G.E lV:\[hGs#hxCh΍YO!%=)sKiaS 6~0ͼe bl>u Ojƚ ~V3 YPnPO8+Kd+)Pk^41PI8+ +[$t1CXlm!˹K9I*_ā kF,nof BPbȡwWE,B&TRܜ&ݍ U!vZj]k`~<ձ_Y߰tmqǑH(09Hଙy2A{TzFOr Yk^Ar[e ˣa_Z 7\#9WOrB@T4vvsm;|P`z|z+dGY* f> ͬkBֵg"tm^0;FI OR=( ~@i J#~W[N)3<$]dF/OQs{:Sʌmjͼ]%aHM%hJZH OU5_^m[yzshE;g/5u^ Cx|D&$s皔Y^fo^}EZ&Z3GUǢI|]&wQqN'Tٚݖ`4]\`>-?_f*ݡ,,T`ёŸsg5{&js*V_M]']@vzjfT$Ii5"H6oadI0 %PvWSؕ9GHI@T; )["#7pԨomڜ•Ē1F @1”F*&mkD>%+F&[֌8f&{ oJqMdJLgzٳ>B%dP=/Yy%Rjй!,Ɛ"$Q?h>T .6}eboB%D B4y-ThaNR2r?9AR9ԆVG{\]*>;Qw+ۮAS_mr_Nr5"%ʛV?a" E%:dd ;+߮[YSMXz0=v1=k bȆ Op5op?cbqBtC%2@j 20=ԙ˪C8gC-y-D+=s5N纆!ҹ:<^eP(ɓAqH vlù 5vpb0 )'qҙi559Ecyrȩ [t4׮ 9dW>o 0CmS>;\OQ ߱1PAYކUWk4nP)9*O[)w ݏn>{Cz[(>j 69uQ9~=B#vR[W{[&7mxԧH×N}V% M{n7Mp?}}J%ꂡ41쐯!Eƺhu/d6XBD˱T!9K!C'NSছȃ0"Gwu-GRCN (k8>7覘T#-+>ՙ "K Transition_Systems_and_Automata __KA/ $Transition_Systems_and_AutomataCAVA_Automata.Digraph_ImplGenerated_Code.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%t @WLWͼU ]yf8D=l {4r;b4EqUtkXUPhbL9*#Xm=p,XS$4fnη6R5rJ Jm8Wn)ݰQy1$rhkXkM&,l` _ta`ooZN5P NxD>(\D"{3@鱷R/0:sTK[` qz׿`q{ujs M˼[&>acʷA֬a*fZ&X'بt ˟jR@[1!) RdB]Y3n>^Onzk⚐,8𒉔[䜏 'EՑsByIE;'dYyyWsl?=l^e2ƢMQR]|R-&D|rL2.o-w$anڞ@̘\jפF~4,8* b*ve rT<Ѱ}TT D l{b ~y 1dTQW-WR=Tf4 V΢9_ iPbϛyƦ)\;mg{;@Cc ل0WԢBX"&qSz.GcѾH9?oåZ׃b(9N76·4W~ӝ`_RLwSI9"Mۡ+2 8HDN[@DT=ktv@f4 [#R4* "p7bK?ܪ*k1G*& `/;!>[mlZ"ˬgt?0';dz61Quy霓n{ ^KN{`QMBn.aߜFI Ҥ|uP*eV C&i m8.Z1^ʀIHKrN:ZF/*5=Up6\3lüגYv%*"~W݋lSwkiQ&s4&5&;gtsD&N}'ZZ"oq|h ݣg1OҠ_p4q[K,4'b1mQs'2` gćP2"0ǪH(,$JТH2mј:5)lZVi9{| cKIUEŕ~IMS\!DthnLJ/زoI&Fw ,ؾqA*TI/ٖc$U eYA yBFbBY6'7Un9u;XyF89bEh\8x7k\pny&pje<cH ^$8[~ztP +WܚLoӷ}.9lai}y0 h]=;d$1dUxv~G{94@"ǧkjd,;AEN7@`ʤ$OHQ"`;hZPB7#NSDGx]jڒQa-'t6!Gfe{nhf.YK=;+J zEhB1] 0ݷX`|..Ѽ:6$_ џO-WL "¥1fP3!2 yLw@Cl9 2ۗ=潲L=I-]L)T֮=v DuǴQOJbSF//u~*k,⛁ U0\RG8EtlܢQuE Q %Ќ턼\WPHz3e2S]A}^Qw4@NeZyga# %bs\0iGėBH Q#,*>3r֣]V+G)gLCqV$N$ B#Q#E7R01^%j޲zT` /xPh}iHuw͐j@|52*M% KJWEa9 ) ^6yFG7NHM>(9 B\ZYC>{nQG)ϨС౻'ٍm{e|w;~Q/;_`SuAMDˤZm=y|D'0TN2ٳ`ޅ~>[NJ`W,q[bi;*Vn`QRŇpGe4@DeRKpT+jt'AL!ѽ_z"_і8R Ή! ~usCNAXI_8D5 X@tXև/$]=jcQ\ @;ſTnXIiLt< mBZmOmXRҀ4i[T1D-@h:dh?7Ï8!Z丷YƗq!@s]rN'%+PPoǥ;u"'k݄T郌7E8 kw&;;fʥBMoe(Mlx^ Xl t*O1çc1ozO!D*< Ġt*1!#y aprя" Rm0Cv ORohB .îNBoV[U{50QpczG/:I`Jr{5|F-'9*q_i>o jqHQ<(lNSgC\NIqd*-H*C@`}qW&.}*}DkE^lkhVnP++ \D;?!W 2΄3 *6$4c?lW3y5f=h3(`d}}d㢩W.(I1.V]W>6oblEX0 ٜ,`g~742#R;>jwFHiQ+=9PN.ClenJOc[þI_=SEASouD*VA`xHAs.O3gf~KA61[)ɓ٧*DFg&ay!e311Mx{g"|*qxL(`n]V}+'sM#Gr-"gP`#d/yE4jAG:+>~V\Oq,5OaA]; EdX$4)PRB +iե܃| _=UUl&Jߴĩߋ9 kF* d0d! džSqz}+}@pNI ;3k{%zTΛoBQWkGq?\4R \m-e": A\{=D3JٶRՙ::66 ejgŁoxC?#!}(#EgT+!L :D.35vUG+p8|*# ~LܢA;ȏl#ZyLm@D0OI17_صs% \0ƈ8&JM\ olo 镈M7P$kvF WHakg,>ܐЅ 4J$/UKgs'lbvF+ơ^ͻ9 ?W„1Y5To\ȉi "):]eC>rV->#,ʭO49䢮.mv]{A%٭3h/Gy`6w$x}rB@D}ay6V9tc6~c$ چod,k8(b@$eNZ3:(>^w(ܯUH ŵ,Θ]p4}>R_/5[c) @w3{rN~_ٌ- 3gYZ7zXZִF! 8e]ŗXi%B|%x AGMt<̻~(2OF>jTi%⚫j!=rsMYG#q4"_RZCG;v#6 M/Gi_҈db\,pFw%[-]P72R!3R~A(lf%}A'0{n_58aXԟj↴fYPol`V[L`%@r`c8//.~.=QҜ_wd0Ob ̻,@XQ/_%WL7BW{-1.L59B%i{͇eE#ΛHնfj:],pMoeYJ/^Y*;19oWTɼ-}-GMi' 9_k6r|wiDvNe;? 5?jky<"iV|;j 0w;sȃd{:prL޽xl=22V_ j,!MrvX~S@C( VLը! !)yw|ByivOf)ūK:*H_`Iv4J[!Z'Hu[%QVcgpj{+3D,ud5XG0QgysRzfE,‰SxEpH4tӖCVabY,JP6wpuIKʿb[߰#Q"~RfAd$m&kF 'G/3!Qte+5do^B>* |ɗn +(yyhw{v{J.'Ρ)dNHzoM7Ebld'p-9Ҋt!7Ψ( FONiÉƺzSP<1fϞWm=6>}#zх*IYtm 6aa"`+?&SgtTŬwI<; J`<zG"zؑsʤEmꋜ-X17Hbk-9gZFHG ه[i±ekکbAfұ[L\y^lh~ So%_Sҽрֲ֯!>أITCw/t+Ƹ ݟFMpS8yc/66/"䡲"[eBޠutmXeGB(JS'!Ð$0:abh֎C}W s4KF;iVdef NZ36kٴxh 2V{yCFiTz݁`'7?"6𻎰M`z.9cϼ^著̏7B`3ȐGm(LCuzVn?Ob% .,q!s* Du~~pZ0$=7x{rOT߾iv жb/B̬ES<`-0&}'BU˰x|r1\p,秌{Ckʧ}_٬"6'D#-9ӭ'l8e)VG-->3;1aŀS@ڒy|X -/ZGX+즬EA78:*ⱏsm{DNlFk[J+# oteP\(*2TXŬ*fIHb96m7$/[`#($iAU搃ҸJ5+**X@_]Kce/LP!TC]u;gbypHnzܪcj+Yp" >495_%E%Xuz;@Ђ81^=~[Yت=!;(OlfbUk /fEȓaZdčR?"x&Wt8:<Rů7Lf9fI@euy&a9UD@z^Swƚ.qǑ&] ' 7" 8p0 k/[jn3$ U£T* Mf{_\Q3J'Po0gEy0*E|BLQȿޟb0ڭWGj9\tXBUCS[sZJCƷmƠ-Ϩ'I0?'ڢ'3/bfm]@ongʝIx"no7Do8Yj\xNqp#u_lWߟ]Ȣcfh&2~N;:媣^{a29h3DzP6Ǜ\iaKM2Td O 9"-*;E/Y%Z #E44d(cQӲj TEXArb$E*)V!-ߟ lk,z=๬5J}4әc(i6.Ҥ~=YJM%usY *+~ .qJNV~RyæGͦڬh /UP%9)*#)MNIwEqjC,^nl[ L[KcPrZfz{)9JAנsf`.ևdh:gh/b !y(wCv ;1P1pe@b]!/5߀@]&4֨qC9i߭JDyg1-?k^A4MՋ-qpOm‡Hy`%lAX vw&PD` _p[Pgs ^|_6GsP#zU~$CIHjd9# x X,TBީdOSu>F5÷44@T4ۺtՀy䑺x%YCeiTص| v85mH_SQ M٩K;W7K&\i[ďx_Q,-Q -D0lGWO4,Ö[l dn67S <+lYal]pѸT]ogqCI[Nm1K|ʵtzHS@zMzyG;9bZAϋb5[D54iD ;amS:k{Lf4`bVS0_f 3Ď? +x &^._'L撍.} nkPҿTBD-+[e1 kܿм^P] . a@,2W DgfCn5MQg?N4Ǥ{-̨~6^W&_'ɀ['s[ssFnЌxEtސ$?5ye{\b.((c} Q^1yրw aXcƲ,p8-Bbh_kq1'2['.DK> sK*j 2S(]WcwB8 E+dli'DŽlOtgSdr5>s"S!`8J1R'bE,rF=}.E(kbDQ%ЮXvl:袚jF@ j>,jDcnRmrQ6ڤL ~ŹaB!k~Zuw i2wt7 o8v=[!IR`FIZwbH|"Q{M"eGB< cҲ ¶ϛkOU[;>cs95SI'"wR#RV ^6w<}9 E%>ɒ#?Ԙ,(-2ދ kMI,T Oaz!x[~v YQXUH<+ PERHT,UD)bUFEP7T!E[VͣkﯶU RQ%s{DbYr$X'\GAn1IezG4z8SJa 9E:_, A~@ / /U*b^WvK!=,%TB؄h6op4 @Ou5w+Mg.۠l_Gmڣgfny!kq.!ii1ȁ,5-+~ˀt aKX7NlE#]nhʘ%] /tNJ7B< v !1\+FLfXbFyfDC PLiÛ DhN8/9Aj#) HZMc ^7.-3bR5=c˩|~֠|Ν,PGh;"\_]>K*XjC=*eѝJiMdo|a{i<֓R9-lXIλT)5]bGpp{ClܰmȏLЪʹ_*@J~LJfpf JQN@yIh0AS0:ζ(ƀBKV Ä?ޠNjr*as&MvAdSn*P/&Q18^dQHH+D=M hQOn]ƥwK Ξh/7oY" ]k[ϝbeݒs$U0Ff0j?ϦR½6Up( C{Q @; _YCtw i绱+c*)KGGl]YҬv0L0z -(N[a HW)ܡ;"GRX]Bb[\.Աh 9mGv?gmcfnX!6&c 鷕j,*_Y򥇦<̜=Z7 ]:6S"b37{7ҊGwG č,esI7iN>#MAXuqCǡ!̃m`/n/ІyȘ$&|R;?BϕR۱vqr#4bVҀLH=$'Sm)TH^9YdI SMz MpUf$1 >7nJ16ƯPߗepbu">KG8ٽ*0{ỽ\:ɍDKwp9ّCtI\0Bиk ⥈_B ~VL,-cN}1h dfdm?x|o 6@(Ղ硕ۯt[m3_^UT,`_1Q(PTV",)f^1H$u q6<(;ۓtMۛG+m}Sm/?RbB-\F+9PL6%6fܥJ$ߟ/>i;KF1pД`iܔ I2;'"w RzY'1{W`C,oG |6gdczeJvPf8!PtFQ?Xelu(t\(`%o#cJZI`lT*C^ >+Sf3R 9m`yA1'Aqm A\^s;Y&Z綕 >RܳD - (ZDQa:IpfKWUg(MrI#4u PDB+59 |ɾ-4S8<.!-jw zBɔ9x@R͔V?n0!T;z؟*S RSZN L ij:¥sI+`rџ4Tw2o(ө\MZY67~F8ɋlHC듵H41lԆ=K-Y|o)]$Ir~MnC4<摮B40t:}]uڌ/!IImU1|dJ.Aך@ݲ/ik7<eoǴ݅$ioߊ)osANVq>\0@L{PQ:hGO?uHUS@d.`k Nx,[R u`3>M o5RAt+~cnc2)ԟі =g}b`1@Avdձ&!6` kq07T>_9|ߜݭ-ݫmh}$K'5WY6N؏VȈ_,FeT'Z})#:OݿJs´ ߞ# MQQ 9|UF;-),V[*!M^ /_i܁gd ,03!HiWtR@K7Gefaqpeb}"cwI= j^5{3NLQH} U;H!EJlcU{~2>gS4 Rƒʦ{D3l2~&iFqwY?h9 P*=^C ;‘|Zr'v4"Θ5A%7#-gL&jƗ%aQYenfT'mK*L+b4eIs u  @&:BӉ\a8U0 IResplڗiKLȟ/S@%Z #skt7tsХ՛ZG+}#<ífjU@x[t| cb|BWQI߂{%bFwD^i QOk0EZKas6ÏvGt^&F予V(Z(Qha\Zq} vex.ZUouzu u⪴ҥȒnP\!">}toa,ه 9j"8E!]Ғ1So-k`ʸHXY,CSm[~gaM;wi*=>>em.(WD|Dzn+^yb8X+uS, 1"N#[݆[< ZH8YWeܡ $Dp"e :ꥍUlPj(l>1T]xZ 0aG2rreAU= H{r- 0rZ x*2P6 n9-zZX8, 9''0.zEgoPX?:c;>ˈerAٛtt\vC⡱JZCە F9AM"Pppl#*9<gA Crv:tdyOp/㐅<.ęs ~Re8BvwPR(lYKs0#tDT?P .n{0J&wOZ=cKeVﲋgY얦eY-n"MeX?R\M,LOmUWTOb V[0];WC1Wbgls=o%]5o˼VMAaf*MPN=&?Y^8ڨ]T_&.gqEnjћs9jnS{v\2&h co]|kEv#?}CY!DhtbV(X5|ŵ/cdr4*IKӹLPEd48zf n :5`R0cU~#gGOQa|TpwJ̱4;16>a5g1US+QBICUƚ \P6$)ؑxM6B7q!d5?w;J1`~b49d'0ӵMiΦwE!1Ǘ ?+{iiO\UP/ ɵ>N9S \&vUr<>U6*(WTfp];ore<;^Qȱ#aȗm&gN}O$9+2w8Z%WͣSJ2XAXj0!Oim#TU6LIv,FwEk\ oK?A -e72A⩇!-8RLP[.r!r OGqðV(v{f"se=E@X;}HJuߑELb }{*S[ւ=aanvAl%f.lӤGjkޜGwqzS @`2A%wy @J䙿ԋ>P}!>I˘woʦF"]$׽"ٜf裓V}PkP )1 ɚU6)(`>&AR^mAROXI }CyOq7+SWobX5_[Vah7bQadB;c}B;™xx9eDӜɔ87@Q[+45?-ǾwbRNp'-Ф'*/΋\fiS[$$(YCQVdŴ:D y$$yxj-5Ыa{<9!SC棛CV#93l:ѨB#x h]Pœd]ƪ>>pKl,Eoz ?!hJ,d8ji#!ϺL( <$ܕə+ qr,{& v!DۄWË#p xAw<4l٠3-fɺ%C!bfv`nc蘓TRSTRLh=gqzT8 _(1h>6 ֥F'@ԟ!Z\4MdBnÙ r?$RqxwEruAo4YP. x!A(Tרmd46pr:Y\ɤCך!` x|f ~p t?>,읔{0Bػg~I51\*Bʔ-0;K((,q:/o>zqI{&  vhrχmO#Z(H; |+ڙ)p)X"Z_ NPho91DFdwa{rDZV_FӒ9f9`Xy묌NRAtw:K*kߤfqQS!culj֙Ku AiGK[:]d4PYHJf;;j3wP4L;{,g/~㬔2Qd1^A)q3#pV+YMm-eۣ[4ۍ{ن-0jvP.2fXc )tkSndޢGkHx*;Q ɻDi"pt4~(Gt9t%D_$)1fV(Њ!*EÞNi휍jK~s1jY5*>)n,Nh:ӑz2 %q \hk-_aK^ZQ\ x@}4cJ:=tUNx99sG8~ a*I ەDXn Dxko&LUUej]I>(xz執A"U@tKkH^3XʈHe0.Μ+yfT}xڋ=+Q5Veѡ*,88դgJhxC‘˲R vw,c9j!#ُL 5- ,̷DDȋo ݼ?_)nڶ 5`r: ;s3nBvjGdv A0 1}8i+@̙n͑e\<6dv scwƔ%akc_l"*ltqq* gZ!' jjOvȡ䀬ТD>2ޭB /bń(g>i s2 Q<=x Z"DdtkR䒥wL0\044tj̸FGTһ\Z)G٣c2,*r%G 0G/{-7Ȕ7i$4OH`q ;ujkcs&{6?ڏ@}bg @[`HGn c ;C<˒Ї1XLE;QHsH#\;fsT[;},5" AӾScp¨yXjA f\}1>Ey#|b4`Ke$OLE-lGh*{'4bU,"9{@* *|q4!RbQ%£vqIzn}*1}rZWR#!؆xC ΧWG+ vFO;Yj-ŏ#zW{ei<'@Um #wʼnaˬ#+K_ѸwiOSWg=pv+$F" mskĘ&ѓ=:̴\JA+~FȒz$މym+r+ZK1`VF;_o- "T25%6X[ׇf 9u9^>s6Kă D:B\Z ,gCGݲ„T^ 8l*68sdJuoM51Q05(E]]$7m#`SDQ܎J53"0'5BQzK1Dnѻg;y]X/DhC 0X~p Q/yJwN[("v/cʷsFH ԸVtȫ\xTV*=JiÉH۬H9Qv1`ub`#GBߟ G7,a=x#OL+gx,aVш $)D25P AfO-`.9ɱtVfz=&\ןN2\D>7喤WqxRvz8M<| r- n,?  h̀ϕG|:l1xbSYv@&[g1^3 u׈@d- F œq S4cK?жR eb \laObmѿm()P8DF f^~wX`bj-bz?P<}x Y\V==Q.|B} ܺ"\S9^MZeM VD;aO+I{O(y=zzL弛^9Хq !Xq }e$c~~`A!E}Xמv5M<=PKʊb[^Ė㧛9]%X(J8voyK:H^[ٟ%?f ?#FW,~lB&%yͣOT%D4ȍ(8.8#Z [Ur%Tww --I:HdV"$@L}ځ2[{fPB,: yc #&jS"9ܮ F]g2+tYn cFq!r<sN3ŔT+uԈZʀnotb5dRI;=싚T(\l,ISXfzEM] /p޴Lm2Xݮz. D QHC@f>9Kr7g>CPu wGNnT}ϥ@2Eo .G~یXQzKa.A(dݢi[l3a{,-cH?@sݷ .vfd2³~mfk`4m+wEF7]MsxDNhIUh-A>yP8Zq>E5چ' fGUU¼SR_Ҋ}ƃÔ/cbUL^i r_ThECLq]]\q$>$H`*g_)P=,^N>A!מsC5n ]}!@8\i-TQ ։n #|Y']`@zހQ4HVgy)n0H&&k_Q:J2 a#LΡ;L}EiyěR*GQ$WZ#"m;y]a\ ܣJPgk&·%s&U#ĖC0V:K#*[b*۾>8>T%`)kN$x̏׈9>QH,ąYǷQw&YػaSsG N xV '{[\xޙ,2ү/mT`8Ńa?o7";n9]P5w[tWV 0RX2qhR]7V:6:(s4ph6KeGQvL'~֥|ﶥ,R{&<;87%)!|d Y-C-j4~%n5ɂN{d^"z ScbϽ9ȃBxT=X,s&Od_7j&f## !l^ۉA(amu܀"BXM_W3UO;4kfGa. Swy&RT8WQ6j%9Da28YV*HV:E3I4n̴攧%;ͱ47̏롧)49IM*EIRLunֲQ_- ])" :FRz34Y%NĿ*FCfЯ mys(2kN~wC|I8DpsLA7 v]vn:,`/.9H*u£8@ RE30nYGQ]T;]ZdK?hޱ <h1*8r'f'j4+Uw5@9MQn)ED(G'ȝrh6'm#F&W w'\TRs\mnI-vM䦩*C)6RfW^f 7aU,N:KYRL_*7{)jꅨywiE+YG$HEjDuEMc*NeaUgavB"&CxuB؅89bRz&Z̧K/,Pd:7)I,sw dyjFn, ȗ䪌ye'xFPs6o]Fhڬ6c+s W[0 PDu Y:Hh?1%C%u4/;U)$^~(bo= .>vv 2 Nŋ5Jvb<%e&AdGF,lYudK`''g.5tZ`B_6wg"T,6ҾJwNtŅ$~gS1HO'ߣQ9ORm*/3M#B'k׹/UvBuʐX sbPk>!Kv .>U>9 X)oAOZ)" j89+OT: @IOpPw!}/@eFN+@E}m Qs+n T1wU7HJHԡVJ,PοM rμr(ӔJi ĀWX2c7$?FMN`tԍG^eFbJ%vJ&.7 ߑ}C'Ghx h_ MհӠUZ:4}\k=X )M`DH 0u[ڰۅ'z"sn.uSTZFIfa+NϰΖnJ,nw7y<ۯT5"DAü=ڍ!*maɡ)M6|_+:^4Pdr#UN+7oA"">%6Ws1N%ft-A& {%;X?-]|;CrRi}c1s)QavVW:l n&FzRhW@nbqnPc}li,-T$eY6/T%A햟V ް5֭-*kWqk+ h!st(r{\dU:"C ?.ө}PUO,/T*(#w9o&OD`0T/$:Y( V3eJԛFh<FxPkffҭ|p3Q,3 gcޯ- i}ۭe62?~LQOOۋ0:e4Eoc]@mz ɴ[0WSZ~gWB;&Q49KH҈ Ntr/lfIсILa ^Y }#VgsA9d^=̴ju|zX`OKo*y /+k+@gōEmuzM̎mu_׳F">y<лw!odz]rBX!Ȳ/h|n d,۸xb :OؠmzL:0S] 9VM'`;ڀAVd)&y97\Wo[+dIiK< Rf^H}sdp,B|xiKrD }sg/˾2 9ezFoc1f/ZH^]o'(N.}2]^dv$.~ i(kG[\]?OjٰQ2AO٘Bf/ ƀw 3Ҷ<MJ$E+ m`I.b]uw=j:QTHP+3s ŏ^mB6ϢĿR>SXTu*A#eXHk{JԸIڜ75i`$_@̅t,7t+P[B~þL -_ZɚoP_{{/^30VP~0,%򠧚 ס _"`,wx z {3B<ÞV@&;;o#=U.0)(P 8ٯq*R8'@Ժd01f}o0<ǭ \oW$]N4j^ʽPB]a(giFG!3fLr.#x.,HG]8V|;hqnd$.\B $82XF: [!h%}\h 8sdm&l[]RnC1Q 9^ͮ-XeAy~{:FT3wp^ (/aK.z.h}Xh2 z`vrTPKqGF)"JT))MOgv,IS% :Lc[-)Pè+3V҄%\jMwrer&wd9E0l곑Gfkuȅ~0Yϭy;H.sꟻ1'6/j;*GI ;Ou>&lLKf%"_MqHt:T4ܾj(VdT _̟|^E8e,D?"6¢@YE<<}y:⦎ynYiȾ/mwh9p`O5NQɮg<}«0^Ga/' oa7_)KQRc'EӌsqD8bF*015a縙I:HRNBDjz|TVQWL*Y+0yr&JBnhT o qq?Y4MzMcC]@ƟQC[e8N˷n?A \N vzYEjWDӟ4Dd*b] :7]U:g"e>yh+O\ʵv@ Y #xaXgnaެ07mwqPXN30b/O$rK\T~Y$Fxg] m~ky/tX֬\%d!AyrIyИ:)>q&O-5ߙWLٺAp3O%ލ1<@ƛqG6#LZuS*KZN?C_8WN8ldcO^m#. h/cz{,¸bZ+0ZglnR')#1'98crr ł@!XH@Bo8zà /TcFvNP2AW('#VŶR[ |Dő& [֕3ۣkDit#MLg{*2F'(tU OEY FASk/%\Y̕}'K.Uy: 9VMi<\5fl(Kv;M'#|]kՊj)ۧl"O= =r+;`cvL܇%[ N̏;Pui0TY神yp!ͳ l")W^NXvK Tp'qY }~H{;B}0P ,G(>%}{^Kz(4o>0vڮm]p[6] ?.1|)y>cS5 l_3w: > @:b]F n7P! ?{?ldNxn4φ|0Pk)?\S[qBxp=/Ui?Y}t"PTt'M_H-VMWZ^'利 C+F]o;^۷7枦/}'BMX)V-}}!鲃f౳y&av%Q"`63/ :_kz5fē9`%A{_BxSꆊ={ْ{`?:Fz-׈/bhPiqsx&D9!W|"NQ~}OpSTjOi;߾?1t=ĵM8!6%^n_DF-fc Ir "N\ 3'w<. N.:]>dI^+NNgetg@ W(ׇL{r}5vNɪ7ΞMtn/mD-$.M"ŭeHu.'לB֨B|Z 'd'(/N SK9a,xO|K yu}33P}<&㖯y epVX[\lk*XnS 1~ Gq`KYF,3Y3yEZ-p:,1Y`cF ̝PӑZ)5`-.&Xm͊pc-.ƼdJ0HB5ZM=iM}Wi_kEeE S5W neA_=X">ƥ" QmGn-\D3Ƌ_s6x0ǔWQM^tC'?Č?*/Q2Wyǽt@լǀA?'ܷ6 Av"ENmD48elG,045hJK7wvd ؚ):ϞU"ƍ7HȪlYTKMfU?:/|_ 𬰯)ņKX]}j. w9z }4ϩd5WMu=6M.Ɍf PHE^(d=>9Q aaj{&RF*y5k\Qs Nb.$%*}^S. y38姂م}z>i(W0x҈8Vf+)ˀ=nLxŇ–zviF a*Pa)p Xl{m