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   f' \T ]% Tree-Automata:threads=4elapsed=51.741cpu=89.432gc=2.432factor=1.737zXZִF!  ]ŗXf[&rԿ4YwK|+A sWtxH"tS,ĤL\kH`'04{ !Tijo~}˂@9B0}L86nvStKByZhK$ ?ՋUhPHlU.y,˥u2^yޣhrVgW(9$ " f@7|buv?<ſmC'rT3״ 2?XOt_rQ\i)4: "`cSj z8 1KC.tȓK{ tГ,w8>3ݴkioV^sd#㡆|YG!ER>HnL'iUg=G(m߇Ȉ?B( Y*Nϩ ۈߎ1ؖdU@p_F烇GˠB |TܰCG1&fC'l8{e{/csZZC[*x2s%[ 3Hr;r`D4^R:U 0hoxL}!w۽^>JgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~sۆmkPHYZ/{ Ak- Y|'6_QkU.GN֮$ p/yu7! ' 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>Ty4cA^-C;nT yV=ώ a^"艻eVqmp0(pTjV'tKmgYZ7zXZִF! AKc]ŗXi%ES3b?=j(i쩱",xWaTeZrj.u`ګ {lRu'> b_8_/)h>4HW_SZ0[#|bB8"wlaβR!DFqzebC?p7xic:-|2":ÎU `ؚ tn~o&a6s%+Ֆr0=34 491ܰ*Żmu2kPz?5@3~ǃ#b3:"PxB60ںJY{Bp~?;~ Fi{cfղ!d&Hlv*2DɽV0GҌkQ}?6MX(yoqtKv8K cM8kΌhՁFFkx_9XXӪ,xr+yh2Gڧ*?xz;BE %L$Sn7&-+$m[cKskzN Ǵ}}k75u%D8RDιr\VA7cDaC4q5gC'#g_d~z݊C)H}q tLL/Uk)X/.Z?+qI_h>lt S/W:q^,7ܮyVSn7&fʹB.(rǩs[1bʒy~eh f+[yb]u_ A8D ըS< /mtU ;ǐu-A/tm 3`o/RXb@;9/6'J2WaCqPWqFʁHrr}; Nsʋf*a9gk6D!< ƄL @>~C`Y͡i fL óS6L̈3xHUe#IBu_YV\V*a/#x J& dV,p=ѱbmյFoB@@5OHX;5{T(OYKGX9\o0J!Ti酫;p VsʍR 1̺ C$r(GDjp.mca@v lT~2,FN+xI*ؙPF-oF]50NME7 e5 glBH F Y? ,"j*߄wܞz1igq8i7VqMG#bH'L#D!5}uR˧u1eS 5 iYZR.f8Esjk _a`"wmjJ:)m=`W[Fi# \??`_<.ӂT^}5^ź&" N+T7 ğv13FbGN0S1R~ / qk/8ʔuӻ;HCXmUxWTvL/J-vډήpS.j̱Mѿ,i1{1Q/o:cqGF&NtQv >W0(remr$Ta|l`aUQ7{@0Lqōw&O ˝׿m34"9IeN> -Uȝ^ukaG{ϛʠhł~ R`#a'}lYw`X2|˪h( =#p)Y62d=w8Y3Wɩ[Gck2lfeM|GcfF2Ԣ3kJuAJ@xiw5N~E:)!Lpӏl+v]EM-{β"PC>pGC!eùܦ=bd|g*gʐ nIYx0Z٭4]MmUf!7F2X،t0H|䬜iZp˺07[0#T @)ZEH:k~Sُ[׵a/^&:E `ƳdN؍UF%v~J[Z]wvUeqWgC5%A&s~i,#7oo4&Rx%1zIi+ ̂o!gYZ9fe0531892c14cd7222d882f7182db9f0e1ce64a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 2b056efab254aa3dc851b0b14f16d052a999fa19 a290a4f5118831ac70fd5173deb1e8a9509fdee9 e810dde3b7f17767756717c03c5dbec62f052ca4