SQLite format 3@  .0:  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 S'd$ ]% Tree-Automata:threads=4elapsed=59.235cpu=106.896gc=3.008factor=1.807zXZִF! 'k]ŗXf[&rԿ8pFm%&/IL<]_ӦFhLbje%IyIv>uV6t"6 Y`S^;>`Mh3C/GMΩZ^o>ޟ,E'0-/͗Fj2䉑ʵ݃>9akt@fBqM3Dޫqȅvyb?VQj]#g:b+n L~trā4fG8:uz*96.cX.jKkڶ3aoɲHe+?ԖI=A eJvO%(XѤE ?6ev5/_t _^A0:Lwr;F⢲ 6.f´t,}$֐}G 7?ujIDf7+? Q.F~KfIĝfog A+CDjNRV׋u*bѵ9$j<I LJ[)Z(6Sӹt± oo&+-}Y-rYSӹ(IRB# ;&vp!=wr4-Ÿ j%+&7D[wݡLKU!;J=+eVr?F<^N1\r4(o897eTcKaqr@6LEh Og&gYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~sۆs5hrf;0e/"8x6,vdO`]յ6cw)4`\0K *cqBq~PWF%@Fbb0.XW~ç]!BDRvtd\(Ɯr0Ph,gYZ7zXZִF! f]ŗXi%GgK>IϠ9x[Icڲ2Ebd떑VDDSv}IE f_|M+3Uo0ITLӥLLBRXRJ ;J%~(XmooR|7.׈+Z:>^K%K`τl\-Y]c'ari p┝_ a<"+޵3{܆fBG# Lm K i.5V* ǔ r ' Tree-Automata  >x4'71 |Tree-AutomataTree-Automata.Ta_implcode/export3.ocaml7zXZִF! బ]6ȱܣC#% `ArJ'h"~(Sfђ[Hu0#AL +0sqʂqy1bÝ~Z 5̿ Te|tj=M^DK},㰶j+aX҆i3WF%FvjU!=r!:w׿bQ KjH%".6PHJDq? yýxiP KZXFB CK ! Sf}esn@dz:93hfѤf+,ܬQj+u^nC!H,Țry $u {R gB^frwhݒo^CٚDk,u%SY {* ۻ҂g3^ I '71 $Tree-AutomataTree-Automata.Ta_implcode/export2/Ta.hs7zXZִF! ฝ K]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdv]$^<~IH řߙ},|pHL) |z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ'79Xvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX.trmbٺM^ϝGzsPļl^AWvثKvcq=ќZ$g _L[9:, Dћ.դIRzw%$;""yyeNjue0aBVB*̹y o#b,Œ0GGz>E/ű {baE$"N3t].'79Tree-AutomataTree-Automata.Ta_implcode/export2/Uint32.hs='77Tree-AutomataTree-Automata.Ta_implcode/export2/Array.hs6'7+ Tree-AutomataTree-Automata.Ta_implcode/export1.MLB_lq|r̈& V)._-v hkÝ[nZu. $Dh&Ko%3{9#*14C6œr`5VbJc6wc`Z,غCo]00!LZ!0G]LiM;vCBZywLk#LqZȟO,Yb ^I`֛cR R5fc|6ŞFؚ5ÃYۘ`.wVY`s1ԅq|t7BnW>eӳ̅pϛx-ѵJcf%.8]sz*=?!4*+P8T(bܩ`\]!ydʘT :%qO+؁!rL*֫BCxݽv37o~>1lhq!#@x7IޘkM*{>_A%z*|߭ ۭjU@lo [>cm6X}^()cXw,M\ H,ub>ku4ػeaAa%W&T2t!Y9Gg ׽U +8QqFD#rCg'繶)oAڗrT3$ּ3]ą塁0j<m2,G߽H3ý37+E(y-dy]\d+Nbp\`~vckT7;^W #+G)3%-R]|[X{kbKCZG,p.)oH(QCpV3c/(CB3+zqeX _M]r)Wc=F%~clbg"9|߮4b}qJJƽ& 9K q,gHqDao!Π824\\mDRaFZuYNS "BL0k3{}d@]3e#í/B`ׇ&7RٲF7?B$;Zk uXiVG@vB |Ϥ5 W _AWzF8>8&ś=|&gL6pJv:nq%a8\*^Xr-U#djD+dtEؔ*9Y/P]TXq>±Vq"[R3טbBߔpiw3 0Z򮯖Ǜ.탺܋+C {:hmRDeQK?l8cڛZK,ukEEqP~#U%Z|r_n,cՋ3bұӼbHjE/|e ؕ ]G;73c:j{ɚϖpdK5K`!Fϒ1L|‚- VbdAbJ_z:h~~„Qr6s^BMg?^͉)Uw)s/kұg#i _+7޺T_]]Gڀ ŕ7f=˽&YZaIYvy a ]Kơ a-K1}b|&fgSY9R-a̜/Fs&!pE2$jZII_"KSX]G1]I3Wi.Yy2,C[NoB`0ID V8)]i-;.T! PUY)Q>^ѣ迓=f#!|qY̰n!|*<Ag%Q/Qя="m.RGl`R)z9ZA`s-%< ݜ˯)H>ওL\ɈmzxfZH{4zQһi7Ik^ţ4|,>ɴfh+-^R&&<$TT+'+c%}Ͻ+'!u9>;v;$k[S̍|0KA:;\`H@?^ʤ_خ3H .UZl<0A)+[7ŵ frtH_ӮjQ 3w7Ҥ@--udomrЦzRp g6|Qjcı]_Yhx~#P2(y%"H}GH&ЁR ["Qs;3!He\W]y ZX47DdOΠpͱܯ@*q3ȃLK-v6+@jewOUW965;\F˹WVd6ӽW6"y9_3Z2ȅa c{f§#4A-r8w:3ENĴL,[4hV7wӉB7QYP<0䶆 &)L)Dgu+DhMt f9spSE<52>/` r:шyj!GZjVPfC3Ke fQ7!Yqs cxF vm0ŏ5I /w̼cF&gYx0&Y Y,؍]8dq²a"P%zfOxPoJU<8م}O1AS͒b@9͝@#VcbI ڳ+Vth!pP ā4](S0sTAǩ,62=X,O,-8h9$Xt&N'u0&8w,kB̳tN2A9=KdF#R]?<L^((k+h(})u#Jxi35\dEblo7%N'n(Xab*߫e&—yŸ4 U#8 )ioRbu0ƃDTZւ&VEPK '~Sr9v:˰@wQadidBE 4 hˎ1{2IOfs觏m zebf9߾hdWVDk 4u8Cz>iS# 'aBHuLUt!F9"֘0)~F֘eGjA Cb`ܐz,a_{a\i*C5 >ܼt %4fޓmAwL'6汫 z"g\.\neᒧGSjJ'I7XaK|Fg#a@̝uȍ Sz8EU/\gy`/XWIE]^b f^ڌ 3B\ 9xKoa`mFV;ZU6ϫ=_4?Όwt DOu3qL~|>Sv"%OgZ15QT߃HTj*5s{颎\ VKlJâ[y )Sέ.13 A%?]2g\V3zp=] ]I=d|YH oZ`$τuVDZ[Vƙ 8qkȃ @ϥ< PpUO?カ i(RDwpbBJ -?#JT~j=yH)0Kv͠mG?6s6ǷB{4wSF2VԳ8rЧ?/WWܺte 8g ox[>fG>nm|Cw-kz\S#SUhX`0ĞYXFM;H<`/Ӂk:1Yׁ٦;ྈ Gvop)u`җ\jhdW W.X *D[9\>_̱yw 7{:D)-O"z!qIw^.z ^җ4ά^v+͌wN?&6xD=Uջ43*Q0!krxkbvC*![:sH~.Ru#4m"u/5t{ԏujl)@@2;"[VMUdn"98KxK!KDsζd"M*da+5Wb5CɃt؂XK Pt;uU3 M H%wY;W :xi>H<~0XdL{&e7/jI*Z ;,reKNOϜlr8!Esp]X_S _r(@08:ä~`+P\h»_b buI쭻eAJ,W +!h(ʉd'M^j/<*NԄ~qR|SͮR-+)w9D_ie6nMmAչ׶K{ÅA 4jUb[(8IG厱't5IOҵժ|LB`7)ſ56'pmo4N/{*-/aM38>:J8!{xm_!|5<~5OkgA'F:% }Hz#k 5OQ[@P\`IE2ytU-|"G2.  9/CU??M~FC-/w!6Uff%C44O"t| Ā6܅K5x(f OUmH;h ~(;ê"Lcb]U9?$2`5u3̬G($#ŇFIثEƖXL%wQvHvl5DRTS7c¡z8Btښ)yMC ^=;9_Ȭ'zGyĢOȧ 'tLf 7e!V!vӇR{C͈ i,UL^&߻Ѧ2mXխF5޾*uCz$p&m3`C}aLc[p6Ci܍awϼ ˂ :#aHh4fW ky #q@KlM R@vOx,RmB9̘\\Bȓoe9 i ~e-ѡԊ,JtXP>WT36ΥcKB:β( 6+YGa9J%rvlf8*LՀ%u‡"Ci GUyWBs Z~iocbV"1ٸ@ll[\%,m^IP3ɥf׊}㼨qkBQrgqxg]U/ ņvߚj0?,hJH DL dw% ޼L4B\3Y R^(σܴgs1Uh@㳆 aGdE8y«']FeȉXF)6$ ;O0gDu$f^-ꮺnVmHb6u{.6e ޞW8;EcgVYt!C[E*.\ эT={lkLՙx2U5-ųFv裏{ Jw X8lQ8 }>HJcFQXy@pebuߪup^Hؕ@:(3:i@/[WWJ2QP:dr^M+j?&\А)pȕ׃ݺޙ-[H c3le(ye`צWrS^`?t!A݅(ї 냉P-sӦWQ!=Ccњ ,6[ -it4^ǹIJpGhsF.g۳@BrN͕0iFx: Ys)i\EK +¸wv#OA,.c^RB;}_46YobDZb uWKV= ›ҕsIv|aϩİ 57/}5<|pOFN=`ѠANʀ1QED?gYZ s(04 c'q -I~)B kՆCt&֒OiFT_lkS3>&UFx++0t,"pW/]Rg$q #O,TOР)gݫ`)*mLڨEZuG`t#В+EG:{z;3 ejzu ^.Kp;&ZBЂk0fŲ.vF"Q6)ArBE|N0;֍4 9$D]3CTeG.+"H#x<վeYq~Tb|Qa, u3 ?@ x'mp A9ڬ crBO1!K풎0D'cd'F q*$Xҩ+~Yb~I<~bA8+H3lj~ox8ViϷpYÿKl^ő`x=$PePI(Fȼ/H9y Jո.393EB2Qœq>:I_e1񕛧7vj|`c-xyɰhV(JP's'j&e’PȚk5QtG!3T<&>QRtUDv_+g0+Q$DBTwDZY;(?m .GBЁH+`i=ZYTZЭ31D׎ynS1gGSHjPIVtIqrIpƺ{(һ6HR#-L@‘?6)ЅǠ׆2vhz} PRo1n5e FtB*qȫi[5GPv.}(Ф{o֙].J?.<\{t:| tj7MLĵy %шȭ $1˦:oĥY@́fx8|xAH2fL^RT&tr`>0pv %g2OnG^s"[qߠ%Lb7Km?{ c|л\7;3lbS0AfA4͑ɫzЦ2MT"9fhHxPF D6v ,^%\|5k/|Ok+On0ǠfVTtz }@}> ta*ӳo x^ 6!?- :#jm0Єwe>l&&1>2oQ2+U2qa ]mq+Kwܴ(+ ?HVU4$FwCHY\R=aǤ6KHQ|}˱L\>iNr^[4qGdƦ2׺xaRΦM̻!5_Nv꾈 v }Mߍo޷2БOqFCt/x%yw/H'O8?P+lZ}| +5s:V1 c\'?qSW-)* W=}ёN6UR]ʊŰ'qF*[yőL7Re=/m>O>?xʥ'(SoȊM@( &nIKa SDF[Aڀ< !-KKk1 )JD `" w/6?cA6rTi$}^bn0iYѨd~xu]Bn b@YTF[8[u1.γ8jgȟ`"@ ,ُcgtm_R *4L)SpUKx@lnX?)ӁJh~lI}"Rk~ tb_]:ޚ/ùҔOe<Ujs]̻szC:Kа^Ya$ $NڒQmoA274J taufsH(fc4]BK;wGu k7i7bRHqXl62mɆh +G%v\;Sg0Fl/dts| &#iZ3Pnj ^c>NoE\a ܄o04'!<+|Mw Jp`#Qdb?LZ]RMXf)gsI{UҬ;u;b4KH]0>& iGƎ:IUٳY:J~߱ȭQSr pnU meY(@'OgcZ], tO))}];/i#U+),$EdQ%Aф:zt "9NtIe"1u8Y.pyט/l :CO\˾kV|#T4Vl]c^(M8Sb>Z>12~Ixp fu8M`-{tΉ` ?V>#c/ѕ9Tnu[܂pDx NycE5ζyӽ-ȷ/m@-)0MqI;oN󲣥]-iZo=Ġd!hl}~`>O.,Kȋ}-iKU\e1nݒfYZe.W) _gf"6B $Ŕyu+nVjαkLb፹xTL >֒nR J+x}.D>H=y.Xd-8@ ] }a[)n߈zk#+,&w"Rar8-ߓD4w_!3>{ +s!BT_-1k-UVZ2 LMt tԬ[n3->ɧ{ +ob Ā`Db0#D0#WfD"S{6ɶ^Ulj΃o!`8OXߙ<Ȥ3SX+w_}/Xksz)@jTm |MAZY~$1˟9)dDm_/ !$~k  BN dd`zk졬ӽD62PD@;y5f2CсȖT<gLu5,rs:F?;J[Z솜[pǽ7' d}]}60Ud~̹o9v^ qB &{"D)b[\gc (4Uf.i>q-ΥI$''Ii?G)eӵb3(сAWN-X&M*Mtig>\V/٬g[ !<% re=m4yʔDPnsS/P}ir5a7t**AvaoZ#SF HBB6F$!w w8ZfFB_c N7ڝN.Fj([.!dwNojՔc0yD.ihA&S }477la65uԧ%+tK)pvAz/<̽Cs0>Ԃ9y n %طO~ςZ2NCKBg(,Rm:MqKIL RW#H%w,zk컈vϊFCzuhD0֠))-n`U:9$'V} ۸ldOzDZIDt)Ym̴!=WRkNd^raEgK>*q"tݧZ3<׿jp"rpbti@Fp6]: p_bgGh J&<#{GkW#;ɾ7ѓ>X 5)0< $EYWW@7  &S& ./TCϮl +(Zew֨up~&PWD:5.g0Dq|j>y`b n#4|ĥv{ݲ7lځҘ$SLuoA6&@/ Y|gM7zY?ֺsnKáwCZ{IKm?@uBWz>/mLBDvυɶ]ĕgܼ4{Fގ 3'!i9vS۾O!ʏpLܣ=7pQ%PJY R H_uGYz Ş4P[" $"$=ۿﮰ^Z KOٕC&܂BQE}]mlV?FCh/FBe.=CqD8&lnW* Y=머!6hsBEtRp b[hEŷo#[Um͇G1˸%zv-0*u{#scZ=ݽK)|tCn$l2lQ.VD̽q\` ]E\NF'c=Q4*M*1$~,!]uIk{mx==*J򝊱qn=#wK*k7P B"rkΎgRSuiWuN2*U88}؆%i tjO"<~J$oP8`LSV5w=z&>[Lw~E Zr6CJqlf療Mͮ&Ѓ%|! 9~(G^KЭq>Sߩc ; @`=O!evH YJs!p`HV6ϧ}Z5$r~ٚ`FN|aN]|jX"a(1#;>}WӨ&J@#X27G&4`,_ fzε.fuP< A^Z CӐUV gEM-dtu!1j$BӮ9I0)gu02ZXKTU(P Iib WZx7?y˳>$2|2tNtn+eXOUq/MJ6ʧ!BGPTJzuGMh<[t~bg4CȮt8U{}W*=(  ?/lnInLf4=`X/ZaXU(e(akH,HOczEYB8C,Y/K9pEw+U-(2~bjʹX iH8}`v[.tGԀ{.gRYB'QܨnWH% 7,޹ay)A]P4}V`H4&y7;]"SgKNyXH%PMhVCudSN}Y933x /ФoלrP &$͟mx\i4pµpfWj}7wYݙ:^DJڤ:qe[B?F]-.SEAT.Ciوn%Y9 Ӌ L':@\JHKgYZ X7kξ7(囊nqg "^g9V lM??7Fyw{ {~Kv>lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4Rd "*SʏWi4ڱ#< ehe1ásZޘ~`4ҍK?`)o&h>0=4u7!-x櫅okvq{+OXsd _ivk;8Zʵ;K15uܮϳ\S-{ծ~7nj%lt*zV$LBt;uaWMTI͜)`琷 @FIB#p;#r>X==ǐW<+ZmK>cFɿC5Y|}\Y41CYش1i%X*(9}Cvi1e:"@F bWq++&Wb&AfQJaz݈QV8{}L4Nds1#z1(u (|yrEza)oH HPin\WX sн<Çf4MFwa/ptD:zqbKcZ\h^{2H_3pۋ)5*X۬_+s䡎d|0T_IiqhRs*xfhWKj(@_ԜcH$NO vZhͳ uag/W J`MHy|18khz#3Lk0l0|{k'jwcXesS6fN<|k[&Z)$ɀD{:Y c1#_Q69Uy2L7Svr#MK"$F9bx=âQTo'#gLXĘҒwIy+sa j tҡ5:pcꨣ ;[d6d:V$؏CC> _5M `@VC^3ن6?Y=EFl1NPa6yTEtJ6z@Ai۾^2M_T E朡7t] F]VQt﬎|ZjN]3sJiX D T{e3y7V>毜>.,9l|%$PH %7x 54}Z)oI  |UZR9y8 in@cip愤(DwG<>R  QhQ97hsS'Sv`@cGu$J N󏿐c (U *36#=P p'Rɴw6~=TSDG4DLʜnsi?> 99 YG_N[WTLu! \ԠM 2@8~Wzi, -?+ K\QGD1̫6jڹڵ4NBkyg[({i ̭qnBaJMRZSLx +RG&W(sm?v՝GQG!FsSx"?ڠ 18;К@@!RzM|'hM1AYu``=v(dAKX~"zis3Y,~ W]Y TϽ˦33]TB y`Tlk݋SOv56H ?x5 ={\Ûtܺ>M7j[dr)_#>LoTq`b]Kfܬ!qiᤨT}*/A2PbÐJYMI kJ-lFPrj6ٚq7\n٘sN^ދ=J4ѕ1~BgR okd ;kS(Pfٜ`sӭf ܗH80$?!c_/cby_=$~~MRnxU~vO @0%!fj5v֦`hq3\zp%+ilw/c?n2ƈQS"wnH5hGRHMTݽ!wH1ZVH;p-VqֿJ8c,`"d 尀%&~.ՙM&ޠ?ؑ0R/Bp?9ԱoTv$3qݩ型Е/*SpcB_cgus#f~3Hk-sG*3<h^x8q2Gaj!2(W!i-|30m.AzΈTVSz[ 7uz@8!Y n!sAVvi$W5"_8#$>Uڲ(xuBŖ_tQ_i;`1´]me^o=$ Ÿoɰ#Qbk*`^6Q& 7OL 8~sX!!ȭss*&E45Pp]Q19T!I΋LmhS'AV x z"O_W=-*d_ZS۲d2*q- }S3.Fx%h&ģRąrԖBJtV@ƅT-W߀oz6kŘ=urCcݻ[Oa9pZD/&4v`*@to-qrO<(bІ ideyVh$e~B?oP鯃UbuXΎLX X^΅%Q 4tBćs" +Zwn?FGG204>toB\16 IAĐ&1g9o20Ri\,6F6Q?ŭJXPc?8:C+rP#}((Aec`6lojBr`yvB`Ёn0RnfV &O?4_r)5!()јme8j>:bJ1ou"9xY$ݶ~϶ngHQN8b>0?ɬɐdv]͈5Q䍞%{a9g SgNA 9Q Hh) 'ސݢvS0W—}e\1MoU%zUH-m7vIЍsnت|¸' ~_>+%dDcSfV=+0&3nBx9Yx5|ND,L֠fEFSN\YjP¢L6GUQ'ٵYEtL@_4%diՒtq39 {dG"ͫ`(ߕrd[{ZFZ`@e.ז/tZGc-qiXrhcRD,59m]iϻr.wzHukj/)"$tS̝gO\2>ugO%F7k x*+qbzxsvas0b814a8¡:b{2Huf'amc38V jL.$ i 7jӲ[9"~,^˹>u⻸܀'M&ʹ95ePZ pWU'S(FGy7â0@`CqPb&ӈ7ᘎiȚ^ܩׄ~xNJR6pJ_>h#MǤYFyO5\{|LRLjo&T)ʩa{rl7l?4e-2@sJVtC' Gp;^ˋ߫J ]kY>܁u{(׏[*}0L<@<.%\A'~xf b/ GճфrFlD۔,_toʀQL=seo;]XE U\Z_qqZxQEnhƖ-JDc ƒ S.͎UjNiza5}Bgꤾ6a͸xuVO]&|D_qsX[ʹQEƦ"kHZo1^[cr?0;+b’O|J^Un5Y}/Bjt䥬. +${0P/* bB˞;I|?P<_j.QJ1;eR/ _#L{|[9@ӽY㮍* ndp55+U6nt&,7'Sӥ hB`],LG(ATBK9䭾l=#d.1l̽O*lo׸ON{@80be1.'fxG(MA{~kz-gfi*<._htGV^A$FjKr`έO{ºic'G_oaT,/sRgQk'B8`mr8>V5=NDtMGY%ANK7PW-EOdvnB -jr#dǰPPPV)D$g6sqiqcD9XtJj٠m%F 0h;!d}gϑ(0&Qv[M8b]ts##Dc#eؖT>D/ q(WJXg_m{LNm@3K[dn߻Ku@W|-/@;Y>r/@~![[7h Vi7n֏$ WӺ֒ Dn8Ylz(O -uUu8,6|BEaJ7TݭQ79|m^x%`p:tHcAhD2ى'9>Xk4+.NZ}=M"…e\o R\@:o@eg@{Ҫz]e0*{720W x@Xa-GGteXjs;usB\C)l4orGOkgWS,t^c}xMg6)iw|KzTi](F3ȟ GOW>$E)qP(P =762_UK*J.xW6.`&!FdHu>u(Md18dJ7hO+R^>0fVcDG`bq8ḳ]:Q<4fIp[]6n KLsmBed YDh6ÒHo׼ɥϊq p7T夐 nR:Xm,yUz|YU eur'oG@`mp :y? nYt#h P/zQ[[RI< 'XwT iY79lu{sR# s13#bfUWXҘ(x p0M0%3dLb')uJ CWK%r&^/5xsw,y{j0h^3KV8,?(3 cəSϚuôl '1+~pvKQ yHw2eθv09_ZL4g ,{]}wdo1cw*E%KgCO)G:#% *5KN  n8(dFDJKǚZ\q 78>*\y#R#\oy.5+3 dQ^ƅi~u.BjJۧZ?8zENVoiS2rj5IJ~hzqs:)K7P*EҨմr$DYXVkjw!BӾ1-'@Hwvf$y`X|GCa#\dśqU6[(cL 1,*h9o-oK7A:]By ÆZ$v7E%3T) )cdt5vWPԨ ɺ~'ڈ%pAEo'%N‰I:GE*pݡbR!VbΎvG-z  f^*6݊d@CNVTAh6iBԢDϨ^vMt:r QHhTcL0ӀlpA0/6>Ty.X? _ܡ ;ݣ?ưIlQpK"hL~nC@ϝEaV \jJ-Nr) OWh;\%&P疅qpK-t&jW>RxÞ#{Rp Q/l0JTq߿KQZL9# S1:=eIÝc.%8dvB:( 4~9U Xh6^3+p͇JZU]ҌH*Q2|<5_%QJEEصnn Y;OLRS~N2Pzx1|U ),g-NR<82C5.?Ң5xykH⨕{PK`KB'Ug@ QEâ`tIŽq&)6c&ʸ"U5q *S-//Z.3Ǭw=Q Eiش bޤޔ0{FQQ;AɡTw˛/4dq38iO`ZOp@nyu(>mǥ@;O][O Yu5@ۇhvx>$ʣyn.H!Wr*?z9Y}֜ }[c`۪|-NյҮyϨF^eSnxooGz#֩i3AhZ~"1:AtZ |Tهz4Av9N7Pdy/h>zجiSB,)~a39yq sq䔵$N:^<Kf^IU+wî8%;8YK(o~ k>ί| z_ȅN;? =7Յ)cKp50Լ\{Gx{P7Tj==9 J6}\—ņKr(sh55 4eX.ޟy#/B }h`3< r6aР=*d[WK{\3wf[NTaLRz#Z={U/P=lxBg.ƩQB3/6IsΘp4|PD{̦qx >-FA UO~8i/zیse~iJѢpdJS|HygXdf=줇ܺA\ڱ.8r_w^u?b&B#~sjGs f$o\cw{͙tXkLxXc[SZYOe1Lނ9*c>l֙nҶ[;޹=j-}P~p(zHp0 =F!PӋo;@ /6M|@|VgWpSrbE$96`GiA3ɤ [ s_n.$STbqJsWTቻWV0ǥodCDmta\"Q8#b GL[mO*!:6vAz!U#a.VbJ.K#Mz۪Q8{0 {44Dkns%q¥6$YUQo)C`RaRN*\Faz)-Puqfz}ښ) ],dsx!\pw%mkJR瑈p-A8"7M w\sY`b~ܔ\(Z/9\|J:"RXM9b),&Q 0?.;IiuϖS!O@,xc07,8عGȸ%wm^J!!¬Yك1eVD=|>sdkǀ"WF(#bz6!rc5g7"ԝYNA)om^XAN,U%@蜔/-GTbvfB ۗ ºA.uh9 L}Ynl8zYf}aQg2T!7wd5:t_ːlr=pe+R?-YH*@AW R(WMQ1Ÿg3 Þƌ&B&+&07_4ρ9ǔ!k'I@NzJ`% cE@|=8]>D$Y8TNg Y>5} >1*wwg J5/^G7:q*"V㟏45yXD)Ԯe/B J(%͓zZn``0S Р $4osԫDrA{6py$VUtM#ݭ3FhBy4\PUГR`>!MvcMV?C:c4^:񲈍-eW2ǤɚigšQX6/o#0d\A YgT werۑ^7y9 xi~mtl g%.Å@v )=2a~/@jyh*#9Cr]sEWl?NњcoA@ ^F'W81UC<p/|LEpI*V,'٫SbȞa 8[rS>64k,z%IE뫒ךר%SJm|OMJR_ٕ!Pz[@K׸IZ>LkxWJ!UoUEt Dʄ7۴LͯPe͕`S f5J* W|E6P\"j8-֙6&b,ٳ7O,)|)+.Y*J$!?\'S~"ݚ{Ws {OD5mǦ0fک$ qkBRg2NF]?o X H۔I"V$yE&>S 0T6 Awlk acϊxi JT%zXQ 4J< J[Eiu<+* G8pׇNE͡+-':ݷVDZaD^ÆM^;D VW_gYZ0f2e39318349078ff920f2d6b0ed16c6fc9070a91795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a2