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  g g' D< ]% Tree-Automata:threads=4elapsed=56.009cpu=98.408gc=3.008factor=1.767zXZִF! $]ŗXf[&rԿ#77nh=˨;j.k[J 6Cb+Wp3EnۏT8Yx<{!wOkiP@`$޲Q;E 7 y3:"y.kca"]wTRpZx6_S7ױt" &jZAtXt;0k ss=Ԫ^ !\(zOb$ ;:N^swwV-;)f3۫@((]Fq5A/9>$(nbz´eU?fd@ bB|ŽnwP H7p#z8 "1uW3LHX2)`@ۮIgQjgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~sۆ(/.Zo$)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>TyuIZcô?zUJaS(>BߏY_@IgϬSG׭Ŋj&tXeWHE[÷5[4] G3hZ`AC2>|ia(`ދa2)+/؟*KDo/Ee]:SU0E$W _,#.*d<;DdhLpz/ό!$ -1T1˺>R/VS OV15,Δfʨ3aZVrX(DʨDz#2(a / )Xx~1 sHkJfEn^YT!4x#*<` W{`կg  Rg4K,rj2Gi ](su(qe/4\MgnyH/{}PXmnI  G1㎧)_s dDqy_*I.[-Rġlϐ.g T:pb3C3ǧIK<`}o0p#w>~g\3m~p^J{ !_ )m,X$v%f[2[IZa" !a>=0@UK[GQ.~fNN<3;K?E~6L5ckujN_СMXlye[O3L=6,꣔HY9u)JwX:Y+cL{ O/4"yFV <ۋH38Ɵd٤)DMvn8R״nCRYp\5E;x+67k0%L!"HcO(WAX Yh 0℘_uw1 ߼Ũ4,.(D XLZ%ΜwQ d [@/V]pM Sa;{G6u"9_Ǫ95?m [d5>vJ>ՖTL*4Arz!?bbKDl>rg,C-#띔ljl](?6 tEEl"y CVݧB9{~eLkWgb1#(I(7͏'i/mE J AH?B+x|SpP;2ۊXLei7ZrjTʐңw-v+f-`ϓ4m3$}1WLZ}iP+ף-A@D99 QW<Yk>7= Eڻ-eqɏd/* &-}'@ORx d)sE+M0$ ה"rf\bWn؀9MV͐ p25rQ[uÒ1d#M.K|0idM!X8/+D˓bH偺4#+GtE)Čw C s6Ԏ;ǔ<]&ByyWA*Bc=7w{UO޾uAWߥrp :=J nxXϔER_{3`nf%'l>ňSqkBdG'ddHٕ-6jmDX9Ő`3mǪ )O$kMķm2:'r v%]*mFoEgĦ|hɡצa>FgxOfJ)b!Hq[֪oɫz_58hN3 = bFP:Z`#[;097 H:PX)ӓ? ml9/ Y%_8p|sBajnultc? ?T߳a:;h7\`;Rkӧe h~ B߂W7EjUH H M(/xV&efQ,RO{*;$9|1U#s| _*_PJ1#) Vۨ7û Zc_\S9YXxLv G=^c oy8Ȥ˨z+q뚧UꢈJEZ+k Ƅ]觔"X_Nr(pP./;C<TlY|u00z 'rwTe*.=*n*` բx_j(r:C1i4Ao|/6* Ef#iD O @`H7)%&m{d+.f#eiXGXh==Lb4@}NwGr7Ym _>]H:T$e#V0^c Fyn~#y?]CmUC8&xG]Q> |M7+īr-~` XH w,К7 ~G ƞ;gYZaf77d650fcb463708034159027ae136448eafcced3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f