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 u'tl$t ]% Tree-Automata:threads=4elapsed=54.212cpu=95.140gc=2.9007zXZִF! $-]ŗXiɟ"'Dbs@8y쌃& fKB{S?e_@w'-5ۦ3{;xΆ?Ph du׫{AFp!E{g,qKꬊU "ҡ{}Z~v| :75B&p Z9ZB+`+NCl{ݚB5Wؽ )X?Ia=W gˣDaNT>nWXM:*C9/8{EghXkH31\#sVʮ x)XOЬ&02vg&@0hhܟšDߞgu6XP%@ ئiVpMS=hli9wqD̪U 5EەNG4 ߤ~u@XӸpC iN R m#Jh\B&ၖ`$~Yu; t(wu^D{E0]&J8B-qZ3^k6`/*G7Уj`U=k\XIoăCvu!IW_R?O:( }qbZ!\} ?'l*oڐlB'Nn @`o $33F `;ㅈ6ֈE7,]=PeGhok)oǁ6vI ]O4C}jns,rrY)==#3w+^tȗc?`L 5H.fh-!o@0NٴpZHݿ'G iSe#^:DZq5}v-8 f4pRS~踗)$V-M.r#L}QTт;?EڨǓٸ՚NUZn:[ )UYwޘ2DnS/ XTi:cnOϦvU*ik? $6Mk5zh$CG\%/y6$$i ;N;t8搠0f6ύsDg{S*fC;TpVN9[W]лQ0]`TqTQt?fPAPX&_2-B#s?Xj5Z|ChɽU_Ґo 3%!"2 ~ bՊy~bEZ;9w# Seiծ?6ut4\Vx p$ԁ|)BsySmG3z`Cyɞx C&J%B0X_Vsu-ƦXe^q# ' Tree-Automata"4'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>Tyt?L_]l~6W(:U|O|cPBh,Oz*Q-QʧG{c˦8!].4assE:*f ІdN0cKSWvѺqwk-Ҩhs5iggᑄ[, UJq[ 40 RO?n0S28 kw_TzMo5r3@.p.E ɥu)˨]beF4 C^ ,biV:'9u^_I.k.p/v85Pe4}ַȴSaE_yFdˤb`:{֜=k)%l[࿄B)Hrm):qX<vW\TyB'wt⧙;z?\oDD ج[G R9C,zMRxJ.1YTrA]Xd$#<]C.W!"7pl:sO_8Hn ,©wA_JM"O'K'zN#4aJ\"RBQ6rgmDã!T5u>!gBx*}vrNn4~O[24ғ`2貞&Eb"nQvԐ^.r=.e_ ,Iq({q?*P'h 5)@`eq^N40 捻NhD_lkR:M(9̠OQPDu7w~F⣇8]/ J#OI"{xȁBj&C6Y!bi/>KՁH^H<)%Ƀ},%V0xe2d212VA=2wmAk <2.y<}pSܑ µSuM,-[ lZeH妒tIpBYw wg 7 l3j#}T*oMf^iR.nsA({GO + DuἠTש+p-1,߭n1P`VF4DäS}.b6Sqq>z,7ઝql,H&H1,9-^0ɖVb'XWXВ)`5\N,O<^vH_PM+Ua{K:ƓQ1@BB|0;[S:p"'Z[ I#ЫȨf%Cҩʭ籜O6Wǯ`w| Yk"0pjn'TpHr)3ڄwr1>Iot[ѲIWa A)^7@9I yǮmAO򿹣FPT/D9K*%)LcRXoP` @G9\؋Fe@,,M]Pz@)yoU=Vc{&N._nxc p/P#vӅjRaўi,]~ܔ] !jNpdIR%-h14O|Ȼ#UA5eC*3YsJfhqRx]] .Y]eYWT_(b) 7I5u[Df/OA_.v+};v4k7.c`UdV{Є-aH1~W/")oG_ ,(! /4(Iqf7fc'6D SfgZ\Nu&\4@}pހI9Ee\_s.6 ݍF;>C6D+뵉+sȍ>ʻ J(M:G*T*YٚԷQ $JOE9TxY*?v M+eYt8gwj0o3A@v6z:7g]@ *i"꡶+ܱ[sZV+]fjr*cs4!R٤Fao;dpVqmw^KhDvv,n'ߤ1h?!V$_  lP_SNmzy7Pλ^ѿ^(qDvjV]Q~Jf =3H f*=l1r0Ù\&ۆV A,Ƿ0y<;_ȼi 9Bu?QN2T& g%wqDѨ9`k OsS~CoE."O%"M?ǎyb}j9SQ3 )&e_ md:(=ԾY=rS˯MM0xb\E ƣ=`:Y,t`;(bʼn]? - Yp[,'R-ԣS"-gYZ  >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].`U7jkFOOV7YxT2y\23ʚ&489iP3xfXA0:' DdŠ_I_&a򉓜c>i+ _ EPIr6cef||bcb[ axs[ (_ݏ')ivqn$?ܢAQDC?>jJUv;Κx, \"_F gYZY'M% v)qW*P5|-U ~%11@˙ysXUiEt ̫ZUqYo=Z}Kg]>%SVQ:ܔ<ּWp|* δ4B(̱Zror9 qHĞ8KjϿW'0@(Tc=Q֥vE $]xONU `W /a#oaU;_yDrCoڮ>dmtȬɈ:DG\n|6?tmНT(vDU.<ڄ*Z䫝BM@P-b_C4IR,+oF;nR{r -(fdk oJq1"3binWřyAvl5.{ARQtH?E+lCZplFGu:!H0 /oAxD7O":{bɼuak K 5UhIVbFeϑ#p4-&)KJ.ߪ|<^JNNG{ IT$N988zvwc haRf%Kiُ,QR n|XN>BocI_j܏UVĹO2T&K(mgD\{BFuGJ|BIDc8+=ޤ"v͓Xq(J!ΔӰSKɈDV~y2(S[:_G.;9oa0c(0'U$N 빭 ^3~bg_m|P`ZrM_;$ ;Q5<5NIӶbԇQx)?_~CuPYg3Vzy̯ 6rXx17\&/Wx`@s# SA1ʓ+D, g|GMYӲs xT8 XA@]~i Y ԩϰs1lrڪw Jv#yzPQg: E6Ґ섎~&)?I;db" jm65).wr1V êI;^3o$u"ʍYiG(kDi]\*x(;-b:1@8'o| e{i~Vj ɽi2mqbY1qociYaȗ*0 4`-4ܢqij;c<&@ǵ5N .Ḿi[/24ʹ`J-)u7$ 5RU_Y>jA:ٟ2n WU! FJzcmb,~,M"#B łfq2F|ʁ 4(BgRN G 5fpj *8ǣ~7"CN؆Y+'uMR@8"o`T- $mxLB1JP\شXN/{gҺRc恉Z{t?YĞcnU;cび1_LMsF KQ` u"cz]R$n]E+8gtTC+xS6ID]VP,qBpɈB3& E@81@*L`ʲ]˞ڨP!vM 3p<-M1|J1U ~_@$hT׍8QW\e9og L 5ioYYqO_k3{ʾ_m`(mS`[M)H4.;.vlڻTO$@0p|/Bwj N0|%_NY2RոRhHiu;ûQo7X=wCuOxUd qtXkŕ0ȜߜAᰀLn3}~-)C \ڼw1kk sN7!(bľ )Qvﶟr ٽeasotS}.b]C EYAVis%lULb~3}`&?SL08;z*7D~gQX^tTY  <@rFKb[ẙY7GϜ?>jC"(\ +4װ3>G. u[zxN"jpJ,7Î4Bz-8dD+zޣ<=z ֳ)i篊0[$~Xs+t]IPVTQ:kasuLF_W'䪫gWe CZG#*~ix,IԺopjd3b9"n='ٷF\u({I/"|THDpb=Qϲ(geS^3^"΀Nx=Q=Ώ#lŁ_udǖgнh1QA!♸գpf n"h=į =RvOw%cD bu,[֩JVȄko&!oL7̥99 -}X ^¾%߫_cy)EC ؔh MSj"q&%^#]ӥ4Iui<[X'pG`T=8xSk];nY?Oy%ϷM.CPWCVv]8!@(q?P3/3DτCnӟh w~lw"#gmÃiH:X̡e\ "Ea_V ފP |Ij̬N")|6|U+V%~EgG{4 ҦK}nΖ:"7'Ǵ?qm N)E7yFjo)1Dڦ}CgኲM! YخȠ%KGN@7 ţ}Um7@2xͻ2嫽;ML1f?gPFWd-Kɦb<@<ݨ_N%U1t.5;+cH\B,N%R`Bzr^ مKVC'v^12b'HFfWګOlȦK{<$7*_X8c]!k۴kw|oaYwV4EܘJ]4&~4젽אrԯ]78.M3L`08U_dnVMh,P@i4Gky++ZK|Nx+nO#1o5Qj!*4y2u#|:(`+zKMYv5H*b)7b"xQ]o1JX=d<[ 1W ɧ:f\hu-*OV2[*A̋Payja(=^]Cpcmb0_y,""9ig-v/1UU]h*0h(PQt;Yس?OOcD{>ZxMzCmꂆ ^2Gs{#Ft=+S׸:)Z@HwF/C&FS52Z~]pcfbvf"L&'hg?\hmm\Qu6LKkh(̴_xK+]ݳ6ZDJ)P(zu3\1E f۞iΨWڜBr .j@H$V-W/ڡ 43oj6:?xQ䷣#mmaRM9_̋$ټ(O V.>=2yJY=I7cc6,! vgEM44F3wc-.cXcrz*NMsDPj' \7  6,012Б|4lPuK>aNXG.j<ڶ?fjp_\)KWYxڸ-jA,sآPo(Yek8؊s&Uu~Q⪝/f#,}W|©ţ%3Bz86Vu#4#or3MH߼!PrºXDQ2ZYג!.xP&LE8ͼ}6\Gdd9!ft]#}Txߧ}r1/W|6J=!Bi˔f1[jriyT J#Zll=Ū|+`Xu@M >WFR~YSVG-/v_'Fa9 DC}*sl 5#tqp6Z5'DZ FJ|v<1r׃pߤ@1ɕ%E$ӥ?vѢf`x6xpCx''t.5 zZn2u7M ޡBy0PFA%ҚWƲA*k8!@/ RC nکԇ}J͘1m[#W?hܱnRb45܋f[2^p(Ӎ37CppnWz(.;}@x9r@Z,ɣuP3}4͍aR0lۿ{Y@EDVkw`S|\T/TVY@$ܹ y"qr2xQ-hm e/=(6hZtZE`3]d^hY{ =@rYHќiZ\BLbʅє &y+a!X5mV)hE6ZP=-K/\ ojCy*ԓȼAd920V]Ճ>]uT-u~R3;qGy =v9{ OoLQ!&>cVG5Ft`VMÛ 1K,v31爔28BjQ᥵kq*zgi.Ⓝ?Q}] .wSu61VS,ŻO;F4wVIr'=^ӳӖobr/ @GM 󔓇.I c퇸T`n>! 8u,w|ג)Sq;ڄDlqA%CwSW&QĎ'׾h,Zԡc*iؒxɪlA\H6 I!0x`-m[uMa;EBJ+8%h9{dH3WwwyBV{ADMg,X-v91ߗ ҨE#\ZM2 n  BOu,zHSn|0\`,>5!`trEnQx`F=bR).= h",hbe ֥ղ|+ފnj6M5,ʋ,Hڨ׊`V m \ggH !;i|%|bD"_&swhꬲJTKO"|UFx_*;Dp@jp3o!E#?Al,C0`=7=D"e7zFdJ]RBQʆ{}ݪ˿\ GѰEkt٦ˇɃY{QƭfF`lO#A˗M,#*K·$& kC̿8ZcXՖƮU_@^0'g=de4Ыec)+3dD@H0QaG$Ok]@=_$#rBosU!%_"N]]DLj. !&9ތ%w:\䠇=6S6vDHv\7$r6!04qaKq-'0=F*:YV44bWsX2 dZܙT9ut*ET2DѥGzi#4>i&jF#4t Gq^M+,CFp//Cb α| t-s1A3fRzp(ZwZ2Qp6N_0+1!4 U"k}Yo(TFXr5n&a| p,eq7j \U9Z?!'@\2's775ŴE8D61ʿ5ޱ$pM]wJ&,Mj1; ȃ|S,\':ݭnɈyٜ%qIh]Ќ?]=bkA>c,f4֯+vhGNْ*l\䙅ʭ\5,>bSLd 5v 9`g߭T 6RϝrH<\HP ܊S; _TO~rM/Q-dmx_n.hC-M9z.Vת"[0,oOk18`kQ2Q"7\9n 4u VM >bFi[%a߃.lo?x@r&xvtX@3e/Rbԡ )I7ְZ)'=rwD eHdZ!I?Plڟ+~GRqi=A[p4YYp \:8,oq!@WKJ?c0NgAc ^O$S㠸zCwVnF6l(hG_ ?C|ܽ_X+s~:LzV)1BFk:OdM}:h> \=vozT#xJƜVH-U:& 5ޣ뱇NY?Wli[$ix OS^O\$,[=O0?LFaχxԅ Q9.g+>=Zε ͙gȣ2@orثk)|ħwoP @ۥӦx)He3\I1S㾓g}{7 _;33&p⁓B }\J^0{3F}LfɝrX\"pN;őv8#hu5*m׉|ofC}4X%.`Ɨ_&9H1~`|`Aa !ĮԨ))g ({$M(k`J)08Ȗ:~ 2;O5RI͙hj>>UKY K1pE駅qT횓;-.ۭh{;'hXدcț6x߫*p°ǨӌN -ǎm{GRg{5 /Tkif߱* 6 lDEF:8 s>F~ =e.AB1&DV 7stxj$wk *˰yˈ{! ~DʊZ*ۂG/zr7pIӨ{1LD"ݛ@?*:jަ*eL*P`Ǣ#k"_rJpzfVh a0@&c5W?c`P{vD+FKy PQ2j^B%"!sz5gut;%N "[!uЕ;_}ݏ]B_}P8lt/ R]Ifǡa*C]5DqzФ,K¾f?F4 ˒nH(ۉ1v3Ldab*lNt"83 NUȏH3F&y ZPQ g?^f!Hn]qyOBi$.7u<_))4#KhgK#F"zGqi=7X*1{Kϕj'G7[JmK6{Wj#9ix|n_9 V|Slw//"g\aU>Fv<A#zEW$(۲,BEofItÒN(Ff1Q FCI-f+5u'`mJaOjq: W壃'ِ*|dI>:uJA>Vҋ,{aOkMr)^(g @Ky(dk>ꑠQ/P!l ,-Z,PR⼰($4 Ǎk.(g]4ɪ)MxL"kյ![P@O&4{K${QYtOx#&1,Nf:d1vAdEbki{ OэuS#y;ӛ=Rn=7ʳhy*.|mV0IjGݚHIp[xFa |ɂfЂE1d֔Ѿhh|ܦI9n]LK#DT|&6x^aN)੗XNDkb829ȧX-~)a91JTRH@ny$ݵU[ 1jo"B875>>GA򟲔&VAbAM]k~8 i8Ǹ5l8҈Ow3{Bg!u/ȓgR¥ruQ AuaVBh[.Q< 4lgB\$cxu۝zGUT2%n8h]5]^E"q?խ2GpۆD8\@g:9v7[ύhW+~_5Z%~(y>c#BArӧ ]+ێ&X#_')Уv|t{[g-i L'߿^:(rgӚb6< "޷K5Le[^`^h^;RŦ 8Rߧs.s/jH/>`JM|x/ܼC>̑ӟ햀s+"Sj.j2!Žwq+aN72}'TƄjsdI+5JEܑse )<*~aPi@sHS{O0I;Fb]@[+D /("oE\ xϬѷsɠꈊẙ"3/ Oطm)P&Ed}xK; -ņG p#m0gn@?<=6Zkς!F8"jn$ј+]2'`$/zjP+Y&͢ `+&E )%&Q?4ÌKI VZߘYbHӾYگw!yaZ2By0c-yv-oȚz`缩m g3Ptjzu) 4@SlMOU:i((l1At-_0(r_ 9;ѻeQ4 ÞL՛~M el3b..p,HN wĻ"AQZ.3$ EÞ ddw[~:^ظJtL#CM]A1iqFv+yѕ?2 ^:W, _Yrz^;|}T>|@-xj0_xe&RArjt9᎛%WF-Dnѣ]+I[mPUպoߊ)x1L8Y"@5=6(̐-t9S lSXaC hk]W UɆp"1bȩhOdNc"bxec3r"{5_.q?br(zTDNxenw'ڎf\keÑ#D( 2]j=tG6;n`4wiS<Bsrv<I,*@ĴYY$+M,G9dsd`h"S }b">8J0r` w`Q supQ5|(&97A.3lFg\u\O @dw7Liyۋrmʡ暙>38J $gƲ"hKuE9`W2rj#%k)V~G?FY+piǸv(M3>$v<v%V> 9*Zg|rؼCa RMbpQN:;;?>EbgSr:. tΜyP]u)o*\f(|W 9$3.K ԉC;𧤛tI3nP g2ou2ORida3#{^X&XʟC=- VRW1_]^w@BGc p0ƈOv˭9 H\_VBd0nqk[!daGd(IUx-=f@bk)lߌ剪D?f;w8+<͘&3Z6iD'ۜH$,xU@_ ȰT҆􅉪 KdVO d&jkNv 2~h/ݜZ8/ E2fҗ>E'5{ ӻŸ "u)MM 2nZ]7Ԇ:,9XO~2?ut5B7`j!zLabBY6(#ifqI{_K0Qݏ"ԲجPw=Ĕ91n4Ȩj]S["k lD U U}hB PǷ&G&jO5y9+?*a|{L^ύMu/ؔ067h#ţy Yג۫]T8FϜ'Y/΋U7lz\B{Sִvj}S6\ <~hzĊ=CZ'g_ PR2Vckl$Զ#\D#B?C<?d =f̤ʓϮTQ)gX0|NsO8VV$.^E=:"i`H||x&!QoD eU1}K8-ޝy`n3t_l4`AG.:K~wbKpB8N!lVAjWyue!Vo^z2 sf$n6`M0Axzip9qw0ᅸC0OUΩ#݃^%[>sn9wJ- `F>S@f&npd6ٔslSxv%Ɲ.ʸZScc?']U%H~;\ڻ %nKA;uGuۋug|R^KHH5ePZ"/T3z ?Vd <-?0ԍ~܎{kc[(f(Ǘֺoh6\Z$7O[=˲#ו[.Xyj[; ;;|fB)X^QOZfcKvm?9c)W%@3_`1S(-,nתJI$q/6sډ|ףcy'?p]s*qvE7zAc / }N ,sb&Dw@22Xh4S:HUgW!rLꖑ<&-ԱA [H@@PΌ1'n1˱5%'Ryko߬!tl)24G萡$;s5<+>p-Jl*Nȣ@NQ7ďm~*)ōߓcc]IPet zp6:$̯L^}>\x\S&ULػ9S< +akKhfAz~~_Oμ)Hdˇh3"+3T|AI/dab舺o`kxڳmԙ!! qc#=;,+d/mE)LD_YbbNeV/ZpXqƥX vD=a^0.+@`ސ.kN-‡ ?{tҝږfW %̑Oz0K-ە \"XEt/lkHQ2xKSlk/,rѼ8fO=H$`g7 >3wǢ'p> ұk|[x%| PV/? SwɉY e!0 - >?X{mİIYف RѸy܊ Cm-fk+4CfJK:ڼT> @~⸈5oZO})1g`, ۞_ա֊!7 + @:.% 1*[Wi$6MnHuny7>mfIPn}nV?ȇCl$ku_clr(ZlUm Bo'3"b–68r pEH&9Vu"6)~Z鮤eg00(.t>SGէL;pM%3_YJ=;pGeg혶r9͍At4Qc0I@CGcL'xQUUtHs`dMetLT4㺬ܘ7`˹\CH6A2gbxHmkX$am5knYqYB!M?F~B?x_RĠtFʄògn:e4$HX2m|䢎sV)K5XzPí0*1f?[](Oah*holwOfqKНyOvgYZ + '7% tTree-AutomataTree-Automata.AbsAlgodocument.tex7zXZִF! &RN]A-MՋhvG"uIBm5yh"HpR=FT@`~XHlyb-rT}EfaoQ̫w4$f >.~ؤaxK%7Xq{䌰#CUoDO{y!{<}XH*pO8k<{e&Zbi&G@#\TȪoTA-wIE::HA5X-3dJrbpMi]?8$d:.͔Qobu}+QSձ'oλmJp8ƀ+s5o| 6WZq7i"'쪟{WzC+_<䬂<w4 rhG\HԄͤ]F8'?`P7`*7|n |H\ZÚ퇸Q_pc ?);]%Q lx*|qMnAQs+? wϩSrBvPD|HMR",pYst^йCPI2:͠ޡfA$Ajz,V~İ͓ RX 6""eHs`de5'CLWi4봷2Ff C'vUdjFXPO`= `&j@\eM 0I/.21N~d:yf) ~~AD+ycS{%{y 3['͍v5-OR*k.F~is慧eO>6j 0i1Yy9d6]g#T*s*֔_oOąe,c_tCZc繻3eS Ax{W(y֮odZg9Ro,,^M[W2+/`ЊepJd NjAN[p]ulL 2<kOtX(H4;f%WnpD۽fvn~Xek+I(iXrRCpteLK&lS31;U!Iwܮޭѯ];nsu)s{mSZ}.z L4A[ C_X_ٞ`>磊TϪn #D/1AK͕$a!>$"3|[InxXA="p0JiG u^PN#C;vحX>R = 2Ax ؃ca#ZdDڻkȇL:)m~;krb4; KL.(tqò*5Z|nΔeS ~=+Py~M βŰZSߜ3O׮']VRxR"VG&jRSEJ9L׵V+*SdA fQ=kśx٧Q7""8(/Kk h;imJrΉ !0m6q5uc, nlIsn .Ѥ\n/`^Sا\ԩ'a'j$DyMzfrl3^t]N MTm̪Oo{O+qVɌI> l=Œؑ/9kQQ,~kNĂK -{7|%rqJ`15V&րݳ!Tpn:9fl Kj%%Rux)Zn]G~E^kHP^.*Ux%MHII D,$$(˅m-?·>ҽWgh=RG ٜflIݳ>QCDtno=Iw`J;@*E vi?~/XZd@hiݔK\J=f gX Mk%R}Ҷ/{PpG~E9QE$fz={ \:,-VngGQvF`E請K:_0A\KHMXhmm<9$i:oH$Ēd֫/lHu^'z{~6ײm!ˠ%@%cĕ]+|cxz+Q8sv 2cU(it^=@vVhLDrz0ؕP;2gpꐡ'3K'q;~_Z0N:hvm髦ʠ!"V*E^@ " x=#5; u727>w7!g :S_[~S'דb^4s;Ӟd)V 9n 﫬Ac;iN \CiY΅za+GR8,0O.6RGAޠX Zcc"w:";򠭢,C!̟EթSbt0Ѻ9QerI۹R-'v%Ohm4 ʟ1ZQ2gArJ*t|WL mnUiOÞQQFC},p^uI")tmIW7R &{1}C" ﷆ_-$ES(.W4phR$5y'P O6G9gWXQ+(!p{@LS1gOM*,RChCU&!Sf Gi%v |jv[N4_b!fj;qZ-&}Pܐ%4b/kPIEu3=`3L84 _xERaB(}'@C24s<0DG d諺.1v՟ꨙI먃tY凇~ =P<E +1:J-9Q8  Y{BY>A~tBXǵf5%NT=r8 :hLJΩCfC-M[6jWOs}Mo- AZ;8tl#F#Iq[b)\rU_S6T!TEz/^âekjF?m$S #M*|0}|ܰaqShu^Iva8iA(TSF*7W;E v T^ wէl>Is.BO*Q|gϿ^[ D)^Hf>=i*3dz;ˮH#.t6I0cղV4`NŒs/8b= K7|Kq-bۊ\*yߐyJknNYisgSfVbd8b`+Hfo-)Ru-NHfmj(O'hC\4 |;j[Z̦H6*+5/ZS'B/YFx*5 ō+KZ̓xr)2k|wWȓv(֔ǔ?7L.'4 v^V'I./{$-X}^2h_lip%z.ٕ0TI{carw' CU-j })Anp2ꘚ_DzI}45Թ̠aX!0O W T_&3?\yBa;2]^==;=4&v)d|C?R=lx" N?+#zӁ^^=4j񃠙E{t^J,Z]/vR/g3rZγ #7j?a(7,_ٮav:x3S9sJE]Q`5։~wa:!mSՂaBR( \B*Ѥ>{\!϶d=䯡/b#zrpF$燎?a)d8D>:'JZ;(UY vWegK ; HmV? L <_+eF6-_] lT;LO7] >QtMf" sg# {"]cV1 GôFI!MtpDM>W M) 硇 9e[;}Dmnڻ"g/X0X/ I*pvx4Z#o2hޚrS0 )%';Ls5f#a! TT!#2b4SDxISr/ { \i5( f &OAf޶,[ߙqc\C輊L?(1h#4l` }n}$8}C$ÜBOs$" "LVF}7>IDFk8d[M*z< 0jMٜ0&#djTY]cqy& >ɉZg&pp0"׾8xAt]s>PB m*dzSz.c*0=9+jG@zC bk6hz'bm@\(֟&mFgzd$i/sSlSU#4O5B!ITڍ `?F'!v@GɅpBYU6ʝᶛ?˼Vuǟ P6sEe0ڌ9'9=ԮS3)+c7%a3-'jhO l:0=Ss i @P;;Y.^BO $c; lQ_΂韎Xy!OONڳ2T\S\%0v[V6279]E0^5jaSA~,Md9uއ2@ (%1(}| \^ u̲f Ft+uF*xfh1kmާތ aMi fi/UNq4 ^Yt.wWN~ޕ !%ͭTaam^"ߋXMv !JX Nuէ<?8\aKo2d>Ԃ{3O71őK/6QdXTZT3CA%X[l z-6t6'"&7?'m1啱lJ3+q #yu髭*.\pюlzشH,9@hL(jԲco X\$HNHYΫJ'@0Ż*@Xq 7k LkS }ؠrS?\$JPPKK =GC:(,^'7Jh(ibN'\?$,J*S":䨈!pazqsBjY?mG^a0A~%rnQ\`ƣ.c~»#d(P?"ؑ$ԕU;ãKłX!Hnw 脨#ܱݑ&5 jƆ܆?ȷ&g??^Y u- 5E~X6qWM%{w'yb||o:=L}FQQr0V S,0s6?Ҕ\psCDPjک֌1ru]lLbR`9D>?ZeoXLd6VzzČI~6w~̃#T9q6O6XI@j%n .N\#bbO^Kϳ90Y|`N5 j=ldi <6kR}\+5^4AbΤ)2W@8rr)-t*yJ=Boiwܬ5~}0#)I\S6V#~PoMYUzUj& K+;`;$5`]꿞TClM&ٯ3^[?%rД vk|!rk>N+֏`g9~,_qCCK"~E>&)~.P[AUf3R)F|,Y' ڇ]:׹!Fmī>"C Z> H^2LIts$LpFΥߕUaPL_JEͪ,UMYxG uF* d2T1ہ)") B30݆͘\01󹚠 8ΪdU-*q9e5R4=*MHS;{~3 tG.cx#,PÛN+|hNiD)kFnB。v W[R}n|hH˷,DI17zI.5jp9ln4M 5Y (qwkw"5cJ<{.!{ @!a03?no3 isA) *mf}RII A͘ ͹L B6FXLOlm/gj/_f?V>ݹsM?d >p./|#G1̤je4ƍB"tyf_ ;tO,^gķ.}! =eFHӼ,%bv3^c19]A' \1௕*I\ιq8~QU7t)rP%҄Ōoo}8JOl>bY4h,>(my4E'|.m+;cy~|wהm]q +,G F?fuJ`P^Qcr +݌[_O]LJ$4+R0,Uzhʦ*0ilu@O;kNLA>};z+N~őqFAOރ]]ywD@~@1rTu4qIuwBA2rӡ6cbmsb߳l6$XA#G9/IJ@TopTdrX7B5)LV<2R)CfwZсŤh͆a,r^pBBQ.[flQGLL%m23d.U!kM҄p#J/!=ָcc8)jgyrqٸ1_E)ǣKywWA>Ъas4Q/2q/vh5uHe`+VZK)_Gډ͈dbxgd/~UD/f>UgA V*4ڢz(Qi?jռ Mj#ب"yf;໗:UƳKו5i7~ͧʹ贕 6lx\ :>GHD 1@'nݶ2W}y{ H~ &# )AbM\_}H/3[ys5\̨{q~x\yY&5.> I&"Mߩ︕en~O0"0.y/$E8櫻)l pk\11Tn7`XO] k;Xq};r_3UFh+}DKov7*dpy\j 2Q>o4 z7j>~UTHA/&x+I C|'ZRX@G&5|ѲٚܚH2ujYT$a"QsW5vʈ&5we?ߐYX9 1R4btzm[~Tr~z1 hZ%!A$&yƦFmO>*©!gM %aDa2W_^&K -ENWc?^pE Xn МŜMa3 H>VCsn5qdCvmꊠNYػVRĺ ;4eH\f)s/ %8MM'%S A9>LiqvPNxJ]SY)u%s֣p$Vr;RbȗjX2V̰piy'e4p2I rjT%rЎSN+2_b;!K̖K*|p0a5U,غWy%)w PđANZ W䷀U_Oh aQz8*W!07C;)9LowB3Er%dLˤY0|-L#RAv6ܸ\P(#CD` U\Rx]iO>2繗iQ@ޥ/: GgQ_ф?0 jByuzBo(iМWH$L~U}[w2qoO ՠF FBKٖV5_{v-f:E4wbRn;a4:Ms*ՀҤ OIX q097-Y`X] (-}pp{l(J#o}v,i*i&ڷ;>oQJgu3_g.OVuk;h9Oī~>URj94"@#PLoZ^b zΈoNoM~=se*iW%~w^Sj7CW.K{iϗ~s$?/J.uv#H/:d/jӘxBGez ׋lcDiH{!9߾ Y] k%ۤ.ѕΣ'5p E&0E^hc@L¨[ ڱ,kW^AgmCS5'Vy߆lcndo(l]lgI$8ftNuPOFilh6@xMj6̈́Mb 0 F=R% seU?x_7CQTrf*C-ӊ^* 7k2Ұ/Rc {T娸t3trPIk.+6ٙK=X!a/\ɂ]X%'KVjÚC'S9,f{ NCiV>JUb$d/BGN^An¢ ۄɳiYpG 2#QY{#V5|>f- Z5E1(+CG׆frB8iȼ VA,XTixξ^hP|(} A- 7q3ZT4@G5˶#=wjp*dA橁V]郅]^)nuqNb0;B5N6SqvMHw]>ϻw̠TOpP)W\w}C=\֞/Gt#0[*+'I?z:a:(͉U4$hͩ&C=ԃ^e#-^CX-n{XJS뇂;c./.%BVVVeiаII dM0Ggy1v'Cg'/ug*|G}AM'Wsr2^ azrHvLΩ}yA鞘'0#[ ?Wg•'-s=[n;D)x܍SW{l(bǺ.EU6?d7.7ƺ 1p6t\c2@!3}.mxfj;a9+1Gg;oJpL8)U=5OW"̼TjKl^J5 n}gV|, ?DB!;4MmB$|y7|϶UfAUt{6e"DS#&w3NX~AO #>"J8 ,!:P &/uOXCS+3)7{滋*@<7"l@#.O=4=G1/0-=+_#( _[{-PK'%lwDDw/_=)#=Z?o C\TبRʤ¾>+spOMQN'C_R2d)]C5AS1ES1 3aVe,rvִ2Rz *| ]v_/Hfg5%*NX](Y^U{J?m_F:PS'i^%qi+9%qDOKD~ݨzMH#B21dd=xn0{٘Ȩ^h')L^a %QrqWJ ->kRU_TEtF2e-x]2sѦMWi!5X:i%#g.-T/}KO XM@G[DbƈKOTv4D)7͞rw;Yވ9An) MMJ!z@#=?҇8!3'?#zD>J8uw碕!=? fnMA"ހIp[WJs"JD KWˇO8/?3mS^) H\gS4t08LxgNZ딧Lz{rAe5/f瀫 wQ ZSEtjAq'0NK $IGJ8A[홻ZvHe`L `│ksNj ZԺDMjE+ ˳#f0{KLO[t8h{f>s]3*-Qz%p( A-4 Y|~ }*qd`7OdKnYyt2(n>!(hPtuP 5E :pOX0ñxAV@b׭Bg';5k㮩Jt@:ۖ!L#E@fv.UtOEY%BǏI?v8Ș鴈 gtUB] )mJCź__]jgK;~}Y[~kAN[a3<ΉTQ6+Z]ŵu\=7pGsO㏬KS@7yɻ>?\&6X0(H h]"ZZv>#(MJO+qKNFHvpݿmF JtNhQqje v+FĔKdžI7ZFY2nGFH܆O^Ӑ;v#pEZ)_MZqݙY4.wb\QP}䟣>X+i@^J_û92ڔ.ƁR7 '^&PHL?DӃ̨ #E |I$>ƹP+ǤzR4?)Єÿ[ͼhA.#oCrmK_|O.]jBhA Ji^+D9Kxtq| q=)g؈e`H*2Rk﷋ڔ*DϠA$(_ϰ5,nwUMOB~ ^.ɓgau!BJހxSm~>"i{ tg Ma:{sjö0<"xf ,]N5D5y8D61iS"ݑ\~a| MF_>x~);zo;}ꍂj{3Ŕ9Yڃn[=jD iC]E63*3Z<)a0W*SF5.?E$KDq'֦Ihr`EW)6`bW+rnM %pPMev( oa$ʞi I,7CPI`V'2?sE;i³V:S7rNb`xlZJn!2Nkkx_vILN FDꝛY3y:xqz0*$SY &D͠ Jyh-,!V#9?o=e 1W 9P@6޽/LN#2뜩ʠY`=qc(TXz';4,簎S`VGt5$雚93ۦ K@‘K .cNAV}Q"$/cmҘԜ}CUdV[2wdb+y"&T(DS?]$f=%\`^?YNp -|n ea{Hx[)BMmѩ?#>.eIK2cpO-5 X/OKNߊրQ+J`,dV0q/6lS0WNq}"2HgnBWߘ&^0=O:!zk{>uz=:q5t̪*e&(//36aY58ٮR"4TvT/U̿;39́= ` ᮅ")ٜzsa?MA5:ૄB zSYr CsJ> dgK1qU^&en+(kO^멅tΕe<ޏG}Y8LIm%hbVeHL [I#lZQKZУ l*q=LL:lAN׫䳫 YsrY AIF~ѓ9Vri䤿^l&] F`_[sG⫴&4pҊ復 F;y>|7 (e2P70$_sJXCƓI- ЌtE7Wfg±1}Ys)mU\xP@ PW 9MbVsI$t6)1HusGBɷ;N hB>{ƒ aj\E7}ڲ߭QGEHA L} BFokwS&3NFD 94{`㓞ݨ%u1oj 6+K"ӾF5$or"V7נ߯^ N[E\ A`vDRh2,CգBy:O}3K)lګWb(12M&^mBLXP]go/Xgڳ8h4;ؒǟv >?-HGىῃ2Y9Yc֥[9j# ۽@,ӳ4Ԭ"H[N.oNNjy@\BݔX ubkT 5Qn ttNv q 8{DwA5:̐HY;s&E+HDhF@Fl2$,WD:~Oͤ)/%@;>j^:x"a8d.OkG'">zPb+BJS85sVXϛT*s)k!@/J ԏPEC؛W5}1_)8}, V{'1Ny3p?e^8|ݎ{WOM\L[9>e HR _KЃ̙ư RH6.c7k~RUxR*R(6BS_RClK$OȌ :D˘_?ۤmQ>T$~{fƧ6ٽ|3 ˯z~΂tw2Zw^y)4PA)l)lAJ߶G%itlW/OnL dQz,M}Hr˂&Lqv^{ G!6~ MZܰ"8=V$D o'Fto):61$ļq`QXN NƤ)sms[WHi d7L;@R™٤/"$C\-Ba!ؾD]r!P7Ü:k.(E-?"[K=fy"gnp*C+BAʁ"R^=g ϛFx ~Ɩ~U4ڻ%Q nM S02A{EKjA'ߺ.eXmt 47`€y _pcnWTA9CJG}ji]&g˥]* C3x9*؆8V;F >Xyf$uk[rsۋ;Gz]]kEɒ8%(+tZ@`PLQv{f0>CCt U#"+͐]C`IKc'w:m089a23bu_F?oK&nn"WuX(.Ur3#uԭfk<"aO1}[fa~gٺ]⅍E$_O^n6곫_ >Jl)gN"||0*1ccf& @G 'A5mjhyxFiq&n.1%˻A'1Yya@@ 86LDL9A5|q`'<q@3bSo $]VDG&6m0JSk1&[²I}z*ndCAW( |+V/ؙ"jC8ou96\Oe!_rQ[>&^Z\N7WP|:y(r.I@[yjh5baû=kn0K=ߋ>>1{_;ZЎy32u.}!\#>N!2C@j(w`Emq8y< F}M׍ `N@OE|vT t蘬῾Vxl);d@%.Yлye-UqswWMze枀l1R"5^Xct[-U?f F8$.XϼuVW(|NB,1*-: '˨{%/qv\$}y^_].|@3À( S&qYxI{G^Sq~uVefj &ouHϠ,&uA;RA so=VwaUcum/&S@:S&Tx^yNɹLjlpoMVcE;Os,#6UdCdF=hB5%SMTeZGI;dx9jBz |B<a-clyBZy Z\ѦVW>K^HB$mB+t۳ԓփ6kҬ g>q$]s/|{{oώuoWT'gwn%@!,mNTKLb"*O}Yxy`{KfB"fB #V)$/b4&#Q1̦>VKVZk }.Rd1CQ>iI(^{Ɓw,$X`@"6;v?euJwOeJɏ=ȉAe#記u~f9TK`a:C ߯EEogzJWl&b<8&Au%"f۾9jSk꒡8mڟ3d^"Ғx/7MZOQ v h?]Ha:${'CvEɨm ұRoOPg2s4#A]Z6[eL+K[ft: :@u|ת3)V P!n>BƩQ@Eb*rt06OGڝ]٪KxgOZ7l`5˭Wxi) ŬK)Gy߻Ϙu).7HOmz]gԼ^rSj8 dR&I/> q0\b~XL;Hu~:&>Qm5D_{[oz ;% B?G`]yxkJDwRY5>M)0E؅nͫԫ;M2|&;`Aw[FHMըl[(U%V2WTG7JƏAG(<!72?l:/W/+}Ĝ+Zmtxv>|Tw=%5֍c-jt-^QNB(o?)|x:c 1)$4:PQů-ɡ5t>I[X5+#{֌i|Eد5z&^sKqVЩI[Z\ګf:a:F[O$"}2"5;*]yN\-ug.ߏS^;q֯sW5n#efSVo cw|U} f"fv5k" k1((Z{ kWdq#_ue3@_Q :[쬰vJqTmRYY\J_L Ęi`rcʀ٬;bV97Ew$E5j-îYv?)>DqX޵g%q;?qR>+t^YW @bT2j G5@nKbR%tO|\bqfg넟s:zW2n1wj;+NJtW'Hī2SmVyyQcϲ鍶]PH/5=sj{+tHap鶈#loPA`hZO2{nS $XDZK:.~[wp3$K|01)+ɫ Sɷv,pvM^l2ԡk5̛=#SDxpYҥ~SALߏR:gH @r(AjbX)Q04xtTc ."V-;mulTD3 iA;ꆈnύPzj5KkLFp7 ~wVXt56n"<㤽d?yr՝5*:^!|F%s6_RE%ǁ*zOmq{1PN1啜JBHd%7 DM 3]?G?tAE_ ZYiNqcږ6 .y}@mKXyVo< ջ=8}'otmn(pUOCgJZ 3:\<:~ϔ_o J\2&^,R#[wA5@zJoA=|TCs14bu_zV>wiy:7/6Sͺ> NVmFbO8 _¶ם[؍$wN/=xm@K4V~d3kBQ^WXȮ9V?2rJ/ue"ฺ/:a+M'~qh1?尟jG)T;jwi 6m > Kg2JE$JQ;Oa'LOO(Ot CQƦ*:nZ5e֌! ))e$MWPtʐIב(!νj,i'֞q3(td ڗ9JW؅3/ {0x GQE#ZC1SRZ1\x8YGA>kYו;\!rϖN,{2>5A|ʁ 4{B-WxE7$m7Q* .2oF] zm6f=Q4K"9,G"/']o$Pg@AwErwp1C'+$h"ε$A(Cf|BU*g:{~b/[yvhVS?jBMd3_}YzFxTM?5_"`FP_35&wQe~ 54G%dYݳe$( Dn. _def[mn pV%&Ac$v-MػcohܹR[sjs%cg:sN˓Opbu ep2^;ou(4'IE!-ec]8Pen`6(bs~es/Wf{ 7}&`saDG1p瀽<"r XlhcഘL$}Ν9 >#lxT|ݸlJfջ iT(M[VMKE$Nb嘒FjIfvNƤvcHI.#7 mk~yg;+"FxE]%<}DlgʕӟI]9yy`,ϸǭJ׉%bu3*!!%_;5׽\RD'=~57#9UV0b5d;ܞio`+׀"mb7nȕ`?yW>(CtNGDpYf(ES(b  y8>4cq?]9p`q=߯^'4D+!`P`̔w?L/|*'|JYV'vu;?P|֒DPH%Kly3@)ͻgtqᝎk3*0<)FR*D! >1*21W*'qOjຂ[HH]ileLyI<TKkuJ(ʹUW肆]۰9ٷ8eɡ-JfMhC;%3*P cByr~A R)lᒥ%͉GXw:c;o7c;Z6xaıx&w92?L3)c/Ro􋾥,&*JFt:P#NlskПŰ3v0}-O+txUl3@ȷ*m`xv0 NןKY-j&̃:m-iУzŎ%@'A.7eIBFxqN_( _p 5ÅCBT$MKx c)AޏF+Vb8 QbgZeai`Y)oZHA 첍-KgXCSP?:š;c2],I6.v('Q+'_9Ω?Fg3Y`ڀS^Tb@VZz^:"j\ix h6Oa j!ˇn8؉^k}˿ӭ/5n7cN>M"ACO0@.%/au5PZD)z kt@?}k?sv0"G7? Ѓ'Hn9@qLH CN 䨐( s]\|\+k EyJaޡ?w#0E e f0H&@NL"o G(AZ}s(e`w٘TŦ]dn53e"'*mh@%`mYW .͝ USH>mY, ǿZcws\z*7ADs"Zâ?7ʩz>? 4tה.(S/HBT%8/!e_=y>jT8dhS#xS2¯ t4΁Ch{J1Ⱦh57|p 20'QS? (z%CƐV]q!: -VᓅBu3^Hy^2(TQ%êU M,$(LJ |$\SxB|ɚ**t/)~硳{ azc.A@Xv~^q( >69Q*xܾ/zEg`;*M#+<)RBzlBstᰏ^ʣC5ruߔX;H $Qִ ;YO=t\FZr$Qcι:gD<* {-ȓ~Km/]^' ufj+ %GBΨ y D4(F`wTG<6<Kރ$6Vws}I6k0ڜnTQRf1pWX&@x^O.j1Vvs`I)y볆'Hc|u6Gt_{욐>#0ֺ;k6_1ʡD]x,)ˋjz`!K[^ 7gL!D{nof:&8bOytogAk935⚧{]`)GxFw3PJ$acxrR 'ti)ƃc&Ój=0K˖;r?aj}3$)S{nv:ڏL+x=*rbx1"u,TGeآ6ZD4O ,ԿpMP)445]J|H;ղ{]mg7^( ,5ǭo<WdT"}P)JHViɼ8\>%X ׼tWBѾ-y]c"[70$USVG(zP Ʒct@xW_ݫ fvg2;pxW9OY_wsQy9:rpY&k"aď& Hb' \3#?29gܬ&;[˵3&,N' ^g@RM1 Q=lKL֩v_S,P'-$]gsgJ=X38>Ք y,ceM ;q#(O};ˆ 0CZ˿~L@7*+Lnh"eG̃Tq,Fл~꘭}a,Yhi's &]ht]aD-rۉ/m5\bն nlwF IrJ'~ %YZV"$ub1`;PL>6Ɗڏ/]Z!k]]77AAoMސ[\m\A!6梴?\bz9ګ㨫\'HWVHBNn?  J҆rB RUiʾȁ]z@%d3կ  QǸd&fz'BH чmLsYT828c/p4fSU0l8ӷۧ&×jxq! COYDkBۺV32QOQqB(32Ӭmޛ={G K,{ZPjjf;CH,E?[Q;҂4 S`/!ށ}t;"@(z5wEځ,ٸ$Gh1ڬJ"5reQ!E(@N)*}d:$ozKy\ jX&ۢz|4kO-='v}.ԟm:ͅN$-\~e-,)bN#3A2lwW/cs1x0y:oy5Ғdc3>& _~VS%%fI`%-/>[?Q 2J7Xt6i^\U1l 19Mp &EZ*Gߌ9Jl#.Nq)&@rŐ{5 J~5 8ûY'ݖc0vw,,1 }j`yd2o+߳-Ƞ/n1ok9~ _ `) ^9ފ10Ab挋"+`Ԫośj r(xCA1F8 !ߪj٠XwtZ/Q3ɑ.X4\ֽirS531dskbM{7cʀ푉O^' /e?Mmx2At_aܻyl|%(hԆ8<Q6zogYZ z '-% Tree-AutomataTree-Automata.Tadocument.tex7zXZִF! /f]A-MՋhvG"uIBm5iVno~bLa7O1vxD`QDíxl̖zмgġI8Dz9 =aTXG?oH͐9,IR I}'o. =J0A؈K+{{|fwhS{K/{|<'X*[,h߱e&A`ːy[DԢU<}irajEH722HYI0o{Ҽi3S3m\8zg)fʡSEAzt.Q`2^Ո 2נ;8y-g3uM ѵE:3Kxp fʠ <ՠ4Ĝ{ԙ1FǸKW92j©"-{S, @3Ѿ6)hUs >VYyH߾b⤇l*k\]%eF QM{M{.:Dx9a:CO6(-ϫ7>->FsLi<@!4Yk rL`UT23v#@QtVqCWDtaC"/y]LLJӏg!{0҄?ըsŭŚ^v:*=/VyA15Pt|~e$bU & Rx]oFмCJ_ņ՘f=j%Ė!lMb 74Uhv:;5jLuG"Mq注jMS͡b- r:Ḱ1^O|o-{-vobg]b 4T+k;&?~6-]jy~#tAwnJ4A|xjCx}Ǿ`~3~Z"!˻M_/V'hG&7kEz8qUuWjyX9E!<87; Kf~@0>I: 8A2XR^ӱ_9KukDFDXa;(Q v*xWr7j^f!B\@̼ pq/38R` "u@W#G @Y(*Zt:uoLQNKQJ&ͮv4+\wo;X wn\UӜ&عdF7Aͻ侵RX+Hm\GQFaqk04遵7'GȏVUJLN. uOݺR}ch0mSS"dD?b[ WZɍqȂӡk/W[/sf4z1J  |+8+=>gazjzlZJ.I|$wiMwBy㾏d3fv߹_0[Ws9S$#^fhwn' Jcl[fT^1 Ab:6 }np~%#m~Q^?==>r24m̅-! j}8)1S"d.C@D[jlYZ-߽S`^GiN nmD|A;'2NSfX10Lk!!O@^$I}2!Z 5!1)|X^Em] +IpU=E c_/ZN 8?IUZX \f3vvDžr?&_ 77n}z 55aPYwwtzg&ǔ|@ZlhŔZJ%NMAh!L`a& Qr=CZhءu= %p0fP.P|Pu5ln2Qx4]|McB BV\h^9"K EoJ,/Ef߱P.!(9^cο$ȃi7k"qjI9DLM CT~RV,|02DVD&^! tqwgkeuZzg|0 1m(6X^gZ&敤*Wp^$a zڞzLYz Wq}n꾴[,I-!6m{Ia!&5>-P:<>6=ŵ4ewGtCpI>[ssȜ] @>Fc~%|9JRBT2`o5~Sz0'~gГʟ={__jxۿk#d%O(: gM)lz NqѲR3S,eq\x~BvYk~{ `&ѶMĤ2 f9lao1[XS>D]9:{L,9z\0Oe+6ќ bBŃuE>!/(Y@5m?r*ەwy0J.+bpkeLdQXهge܂!TTp j~ZIVC `J|ȘsZ7&|W7zv~mvy {MЪI  v+z Ow~[7cڔJ(]ZjTebX v*E# oG:@e!Fٿ'3X0//Q"b"Sy9A:ۋ,m) F ĤDZe}~ g} h+rfd n$\`nDK,PQ8@)6ynImʽ^ [9vVcȪoM{lZN٪8@!r.g% U3nI H{\lHOR^咽2wtE1Gbo)Dx1жnA@wu\qM/{98 u ^(T&;[cOy+aW=I1̡czH}.ˬ]E('J3e %jW{|vۘrY`̶X42sP#`U@Q~ w Ons#ON63znjsc[stwbn¡MkuX&TDϰ ϵ/MΖԏ4^,Gvv&$L^Ԙ3~P|!>A80pѽײzz޶ ڄִhpyƀ2W+nޟxp l%teޅ}(Ѕ4&DBKjǬj_<Mz E[}lOΤ2E=۰+<Ɨ~nc\]"m7qTn%v;y,جԑf1{>\ pt.0?Q%;Jwrq  MJ~3aynl[z:>zn>XΰG`{t ׿zȌ6:g[wΎfGw(so}x=̊LtnʻDe' Qۜ]q6(1&|p . 8}kM1JFOgx-=`߼  ^U 3xېvz D[k^!VzC!Lސ56xT~U3aѢ3YZ\|WZzSMx)뮜k-BsY#WhӴK5zaLݮQ,G /L}^Skf 4h%B%2?ѐrާ F\AE+;z:h{!8K:7PAXƴmH6zWC&Hۂ^26ǥuT'| [Z;;Glh%A;n[{ WŮ&lm0Jó ۔aL 9ܪ+,4rbфI!ƑC 0~ۃQwŭϸȜzc=C4kw@޳cgi1" ˒K˾%nRGE/~Vg@*;h";eIO<ʂD) t~;f̗aVE=H |I+b^ZYV=Smᮦ0:\0|*!Nm!ȑCf|d7 >!aNx4U/O\9N)}r>6ςuió HSf&|ચ 5Q*Df]O$H&+jȽAP&|颗eL1e2U= ~d JVYv)63aπِճ.KƹBx\Zдu(E`aZD62rW~\oIX[O7^#/KQSp15El)s24;,AG֗)Hcbs?T Էe<>64]˓|>RītKBHc+]=‹_m0{$xME Z<m٧b_2Em BomHKY 8dFH}=e!􃾞 h1KK P!2ҺG_2A }r0zGr5fA˰ns?G n|b;Q2W+-pVբn!B.l2avTX1NAaqk%i<@ܿ$&D+=Oe.6,& MN񋩅EĚ:]9 *.<шq 1>cAxy0*^_ GWc*LjYYT"5(=Lbu.8h8_D"r,=K7^"chtuu^ hlHؤoҏcDj+sF#m\, K17:Oj>Vv"Y2HcuM=B1[UI5:}[ULxPgM^H(H`SW$W":CA Jy>faxF?*$%F&BvTStc՜8PE2 В9Y 7z67Y%k/*h.2 02o;NMhU ؍Ms;Uz G/_x V/X ձ(`Jo)ո{ElA&rjzMى@4T { d|Vt覥oUM`rܰVqcWE/1`2"K.z}41]jUGWPGţ<VgЪQҭ7!?tnd:%'n.yN h㎾gop(HXȜU'||h};^5 V&iCdZ* vb"-I`2JRHqh+V،K(xصu잘nڙIJQm!AEhHsc/u7bp#rgo5pMХ]|_JA=]af7 SZ(Dul04^cFCX#zYJ<܇7*V2`A9{3m{F {4B0;> &@HDg,x NG[ "#$,s&reCO0p)!zC.2B]/gG%ۈ-X\I; 7۹M._ZHh[I.uIny ;27#e|Ni=&@.uֳۡqߣ%P"_ɾ#fkon:w j=tb_os33x)I[9Y:(b扞G2y 8x-ڷE\U;ϲL&,m5W3`,k7_`~kVT95'Bl *(9sm 3}/ACm%Wx㫿W, f}=X쨶WX#Zܔy:oyX+}6b)T ExHr78bv_ޣceYfD:S@?EJ an')l*!,mW)+`9綈fd=A uz^IME >Մ$ V~ 2LҜO`< #;m[xqP9X P{qԩw [&0g\|تGc̭Ú( ;C!{e׆,+fOR"j`YsoNv;. Q6snO֠/ڇ~o38 }rq𚩔 WD;Q1yhe8 I\YFusa`9"?Ki" AP, =Fc(0Ľ}3^dyW2.ͻ?%l[_XWL0\ͷ|G2Ud$?-E]C*Y#0;PuB1e$!mY,ߟBF'bbܾ}?9ҁF}g`SPU+9pKT0W\X.4JK"x`ʡ!2ȩ’+ t(nB ODHUv[W5'kva?a_J"$ig՟ո_m,FF>r ڥyYOd?cz1b{rYUӨ{$q q:T34PB.Hf(;䔵. =h _f+,D %0.cjђ*E]pItW%%$=ݺ0hm-7%(2 ) PRUBQOB xc.~S:S+,vxR\2V}m ٜܿ(J^ּU@9X:= \e_K!A\ӓ @JEw=.Tm+Wz2Y/ip/5\wċhw*`U {D V!&= Jv9AKUZtjPW`b 2G@)h.Wm@ogr>[vWbW"ǭ3ߍf6/FI4A?@\adSPUEkLZLLֳ]<+ uUJLJ\8IȀ)CQ|ZY=Y!4wQ|jF Pg9;&uƆ3n Ie>B`5iw~E=m?IcN:ЧcFv,=!rh+S]~id mrTo{*H%NxC?2xːHDm0ml?B'@'y;;ET!S Aj <%g+rCLa[&I(TOA/B}j$FD†=3 L 4]vсjݽ!IɀG9PTN wsQ]΄f,-V,5 f CjypnwZA6-*gɻ#DfH5cשGvBW3B6#!fKȉ.Tc;DSpԹ J EDBzNgj(rUcIلp]u?ɏ2d ,DDh)B+ڒG8^L,,yf10ph*}~kMr_WuXhI9U'EFԟ| ;YJ%@ jq"MCXcpd:/3Uܧ/R;Հ*5;;GR8-Q` `ܖ xNQ>C*M%vzH90s~?V]7 dkc:q6ݿ[;:A- hHvXzq)GS= i4q6v{VmJ6:h`C=V&,Z1 kM.LW4!_ZWfR"]iIY5CNFBV<_F]tɪaԺ8ȭs>A,g"1g%W+dpGVVo;.D}ȵry׈,c]ikf߾2̛G@!؟$ʞ2΂/pOtO^}FK6-5>Aױ)_ xlK HUAHe(gO&ak*Ar)Pe[4RB(G6]G,/6Q-l 3]d:! f3 x5qY'Za+D+yTڄUx;'t_e v*ڀ}#O,3]Li9S%$ T Ýz`^0ݢY=y^ԊWF &NE1}bq\_8NY+jP}T?p2#-ȿ vf.0q4a@/lÆ9=hsi.' ]gYt`R~6]N}Ru+lw4ϱEa-46LC5җuIB|HHqi H"j9JBzay7܌!sll/}ڊ2?ۅyL!)rxe7usNڄ@88{ a[^뗂AW"46] zAP-0~X;O*0d 숝 ;yM " LO;CO%vSƷCDk^<=l}K &ݕM,nXȈ: VcVַ1>#I= m0'#|l"{h; < ̎mFOްǞc#;2!A6F tz ͙.׋c?^>ٿ&!1v}6"PsEu| s1T!i-@ĊpNn$SՏ8qordMm#o[QTwYȸy'"ΔR6adzN Qw~=-ڻQEV)0 6R_Ҝi7˺Am<,7vjiX ̬Mz4VPh"Z+DuHW,FmVpڄJ2qlxr~tD^CIIVmd"XTLPb6./L= ֽbusC v-La ,rc$1pzdU- tgKWͼxrF`26ngIk_wP>ְZRA.S$y\j'vWLaXAW'է:_WC'/ V{V:!wS'*L?Yd1.u{ԇC)4 e6#0.->v"4ĎnuSos:x3SYw\Hvr;n+3YLڕ3'Eo#Z>W NNwuv=8㬛"Be514rHL?0S\2ieKEN\?Г7d)*-12\efo~ШC׀G~`P @X<f9N|eR:`l" 'ýM/ס@oQq':L}ՙ}eڟDSڛ#]<ai0׭,K}ӺN $.FLvd!uP!PGlnҮ'<3 d9eM[ΫSYj*LB 9V_ab]W率:vϪ7Y"5[~tKBZ?l3s YڽAO`/~B!ņcsWffC+5whHYLhwO+Dt;Ǖ?R(Z@ * 0AQ3*=eT5_F6'xHJRUW:>fi!mp@7t\3RtPEVZ $^w>f)Za >'{/Z+Q-Ƶf C혩ip?6ynO0g: hyɑYrq[Ti-^bvhA^l;4x=ˡ⤋& !YB CPՁj_R*BauъS\h$zF{&z\]]f ; PYSl!+\\?1Exx;pӺEdVKPyGok$oquW Q/d}ʯ7 s50(B;Xo.bf'Hv?a5%HK5^2pGllzf`x<唌өvsifD)%`1AX *;x&/CRIU-W?EmYO}u;*e&(R.j+ bKGn*BqC0\{9SJHb^4oMswzQ5It#ǡ gBkx;CG9LL*xBϨ+L`eQn-RdŮ/HOFV`Uֻ") @CbKCXƃ$~qNXY$@i5D9S1N 0GXeޅ?̻?Y3]IQ_Ud6WW$sa@^gRgDZV#ܗ~w7sŠ*,sۓgm_c Jvq$x'=_h֊5-K4qV)Kq3bOLa X`TՠX6.mkcz}M&F\jqM YOݱDSM| `x J+eUf)8UkbHܔ;.WA44p'كɟ͚!0Ȩ& A:% D{ omL2s @Џ1Oņ gÂ^ZQ4 %ё X*pV@]?c?Y)3ރDsyD=籽>3@细:kS[٦Ũqn(%)FOXN6^mP*⾳:YM3.&$u˛s2̌zj+ƿ?&;m&~G ClD˩h~4Z+Z_) ,0ER̙=xցۣO;~_uU(,W $PްvPy>m-wHWָe)m@6c뻕5?{S#]\>oˍtߣ (o RTP )OBMҧڦt.y8tNg}skMsB0->~\,,/. d.n Q _Br%}H9#PU6|QQHg7׃=A׾n:#U;7ܻE.k7rGcůJoI3i 殀]3A;VUq+= 8|AT;t;fivy^Tp.?#K&"&&⩙Bϐ\CIh=9+`>IJmtF$j!JP lGOi꒘t.tٚf#) B Qk󎇐=\Q| S)UT}^qe]+)1&HR}i *[`Ȏʧrŧ%C]-ӎlsPZgk>8^MQfh M`W =  GO~e k%s]:7yd<ܸ?"r}o\|SY͍ e~Dr? $dsų˧ahs~g( L4  @_̀.2PEuw)}NMuVyE*Q]߰2ok{g‰H[i*

Kr)KHv2Br U ;E!ṱ\(J)VͮMQky++͢!@gB-,+V^kEg}Zx~v[l) [EJa. L9&8w&L?˩|DI۱A'nN;7dW\-*Zn1}&=|*$*~m5N?_d=%e"x_ Ԃ Y mhk Y@>s޹k $*"r"P_\>M˅n&r%x̅0.E#{ m3oT>d=vVWn09? B=y`_rfÞj->0hjA h!ӻDK8AwX$$Hb6PzW\*y`±ǽHFSG5qGW✵:( ^ E;&7دqkuf >B7#yo3 H1U&x1ځ Ba#H]6U-WbmЄ*ƜYg: ĊPHp@2}šW $ײ F@ȭHfUN/JNNRя25+ 8VR<o֢yįW;mR-AZlpd ZHBΆ:;ړR ))lj5NXѷF cWΰ|"/N0D)I/YPG@+WmA3RsRjv.`n#Mv_̌q 1+r?h#B%Y+ \ ew$ႛ_&3hʕ(d;͋u9x .+ES9-^#Ahh[bl Q5!Ih6Hx c^g4eU2޴[d,i?pv*$?yC w6+p?L}7grR!|D0tR-~KZY5}C: $^Vz^Th#=!zl9Qnm/JcHxk!X^^'._7 Fd.rZݣsX g$՛7G]Ep߼f{֟[ժ_:S+ոG.]Kצ _ljNoC`;a$-C)O"H?kۡ!E--=8RG]}W@jөR})5|qRn[E t6-x:(_[U`hPgC|Wr %2_>/8xv1|@Oav~&tC</M@Y(E'0eɒ}=j!Q6Xc-JBtDc51v%mwj2b1Ah*J~]TN ȥ?}l+Q'YC08 |IgmA>uhqu5oPk:ܱFv]>g(A 5k BrL@@y!HWҥhM)XNBN_Q,;_˜헤 Dѥd}d_)RaMztTyw2kۼ-QLwHׅn1v!/m9>%vqxdvpb~KI ѥMdtNEKm16AA̐$)E5% xnk/rNVnb_W1\4PA${xk(z|YS5!Z%~ !6ےqvugJ7/mj? v 8wJo2RxаLZ4e L;9ODsRY?|}ktҷ0 5_zn9 .!dg]fL,4CB{0)"3:I" ]" -ZXZYO)bd,qÚԇDqD-{R8XU 7Wd9/- @Yx;Xh[jDlsJ,e]ӈ2w ?ywy1ii:LװHVmy戩p.E܌`@&Fuuz  WTe&q(b4mc0[pC@=0_:f˿aYGCֲkZ=9Ns":1Jٟ58sFJ6[`V~ }+Kp7wܚ_. "z[ArrQPsSa#;QF'cVL-E+zbv`/,Dtu19G56֦*Xټ:q8FQEtTVc^3&,)佾z\a]gOk9oК*^yA+xR7DˆL]^ Ʃ dJsQA>AGFl2c!VP k'_i]^7x՚J# u%=$zH~Vpe+ç2^=اv;N^)pm'T8;$GugU0oּ`H+a }Y$ߨls%2!'PȹPZ$xӧu-uQ!P˹ * ER߅@Y]:b.G?cbǤ':"|Y\ 钳jg`?8u-k9P4{htkANfVd/m 3-zNFxjrga ˭B܈͜/VtLWIO:Vq&s$J^wg7 r&ѩ!kR O,)c]Ҕ/jRgǜdOҹ3FvSU)V,KƘ˿f"Z;c~1tp(8j&3:b@}ENy6_=hE5q򨫈v`^? a3,:٦Xcu{1<Ȅ&[x}fjv&@˔rWlvN.Q 9 fMaoYMX*Y"I?o*"У'` a!xI~LFU)Etǩt~6"Iw}9B{+duۈd[k|RsjUY~^~t*O:O2}xbV=tbOw#.8svvyhUpO晔iMF*6mTyn:!C+onA,B Fނdi8peb^ױLb C[ŚLsgjmu6$`xi-KSe hXWY7)599݊U簋0f̄?P`7bwGY7}=q81<; ƕ{ɧ/;ٖqZdA*E 4&_8is:fWQ<ڭ핵%t)قN=Ũ$M^w8Qt᱔PD_ENI;ꈆ"٪c1 sswI**#i'p`#}Y^A*z֢.`yÉlF!1VOq @1#TY&u *Y<&cc%t5Z3A\|U DD,ZB{5[{ 0Uꬿ#Rv |ǜ \Q.A?V1m |1ۊHs#7+}.ܫ #kF|6&Xv[|-4?emȝPI~e3}0""%{052C`n %2W1CW7GN4=^ Lc#Q(ۜΦǛ*pMߠØf>EzJ;ޜu7¸7!+٩v1{y+**L :aCRrL6Uf;O$]:du% ix4A5ԦaL_@s`qP+oG+D`&8wƈձӬEo9xR4հ{q * ܴJ'ߛ;YR[%34ӽ~ieXR)A2Y OEZby.p͊ N:Zaɑ{X^jj+PGe`Bq"{PrU6"n4ϬTBw^؎Hfe)>=tv4^>VQ):3!Ƽ1Ed2>NՔDLjn<"g&MM:yV4Tl_[:=;#>׍S"Z-h ?bQKalH6cP-hO<;w IyF0{ ؋>N`k΁H8biXZ3 ?ĭ:kldpeQvo$]`_kz];c5G4}7=5d =3aA6L _ddr`J4zgeʔ^{x`2ut)K܏a\$r-M1Cȟ{߸iad:4+]NQ ωnԐ>4S!$sg=a?g3 Spڦ:!)^oDr8s`Zn0 %]w.XbEk4צ5ӥ:xՅ;GBL(y1rSrVQ lBW ͭh[ȁ }S`Xq;$aكxO,O4ᣮQ$5M n-} &&W{E/+sv[sP?ޜ"l:5 z_Vn3 }0`W::@X<\ƿ;aޚe ˳X%dlϑbdЗZqZCF r#UkS/6\Zdny(QE);|ج=ãξ:x0D6 țP9Fod]ӡFyV{ -rᯢګ w׈ TQT:gDzw7-Ǔ`aš1ÍA2@:ty$,DX;ruRSJlo>L莯l#FU1ՙ[8Pܷ)*\*,[D\@! :kϰѤ6C5Hilȩɸ3l cW"s [/1srͶ~ Yݣ…*ۻ7=gz\Ȥ![ 9>ln!S3K˳~º8kc1 (N p qkR ,EӒ7xS oԜ: DrOfdnYSQS(H˰I=cb% 2hjN9h4(t|*]38`/^?>o|&E9Oxс^ٙ0AK5 rһ5ݿS78ѭ_gFw?4wQp4nhN<}BHɟwR*kHi3Sů/߾{GIyVɖVFh6,,ԇFI q=!ЭR?טa׹<36.Q*[,/ qK_e x2aET3܎uۂv0ak^+%Z1CM4(uX@X's d dd}ƨ}0gfTR/){2,q'4\%Q;>>'~ϮCH,6A7WIWI[߮`6cBfp&Mv lDҞe\p=|+ݦ7?ycy3$XחfaؕlM7ܮFS1w4hB_>6}L^wئam{fjӱktč"s4_1_zTN/- *j铲 ݐtGJ͟aVc'H \DrKBw\Z_&Vf]UV+{)2Hi3/%68($9~]J)pS`sH6fx9YlB5)eq6~Me$\-c(QBϧ;yctErX{TaO3/l1-kK5kחG5KM?|kTJɚ6'y ڭS18;~1Y%kz*BﭛVIᒁp6u$;& }\ ѷg[Oa%#j&fJ dԮ ktAPX_ C|M]qdO3i kOnFX=x. R"R~sc_ hjeGQY!Fy ?ը2tEE19 MbESojz Tz< GG,%n<pp z=ɜC4C} 1䰿mqv؀t(G}ٚ7l謰s˅WFC]snpT$cky(1x0ⰞzFw4j74w.JUmf `cW uH ypCXmOŴ }#;vpLWNs?=TQUt |q0B4jwQ{sE:KxwO!dz_oIIÝ|cow O֤lgx||6@I 8-\66/MP3~ `l{ zQK(qzBW%).s.,iNycĪ@Yш.cm-ٟIXkSX蹻"h)QW١2!=M(5"q+{+5~VK<6yQW&eњ\r930n.=+Wd`Dpe+V#{ C4!h=%Mkv dv/U$X%YI~/w7v_9'Nn倫&"*h@j|qLsU|5ek SD7A5y|r`??ԧك1a Nގo1J1%B5o RB0,^mdcܰgCG:mO噍t2 >=sY#BRu'i$`R+wF4g=;x|63+b x\eXD&.i%^/}^бo>tJ( h=D-b4j(!] AY|U2yxXWTHo[ѝX.vW37CzW=IYk gRfIbͽpذq3L'+!љ)ڦ" =k-tˠQsB &($= Z$$7/e"l &/h逅˘1^Ar<ԕMڔZ=.yw+W:]?@gMcX<\ ̴C k=aeYN*ng၇YZg,w+=e7qe5xWԿj{|LD6罺N/1pl 2$O"pG =d7-On{xRO!/eSLfgf6q:Cp]#05#1 gB$+V:;oeu>_v1 븥8-N:8 GZB#<#5&hMKAOH$li0+:qܻ;IieZmh +2RPm,]kpZf򖅨0a?()T[E~jF{o:MFgeʝ懽A&\m3 =>.^VtdK $&Ơ$k®nYGg+Ɨ)#jÛN]?GE q|s{$'![.ՆGomo֫ZyYf%gVqe#"{|],VWܵ7a Ƣ겻4Yo;6uL.se߮"ė<6H<4^ogYZ mmo '7% |Tree-AutomataTree-Automata.Ta_impldocument.tex7zXZִF! |]A-MՋhvG"uIBm5ik8v!z(\I^u?H3d&&lql|I!+q-_V6Yj^ZM̆WST.<mM$5[,)^,$fv}Rn=B㌀b#e~E/7@SRrlT42C]?x{fjקnqZXF@e33B'vDzo5)-C,a?Q'qjmS8eL[}Q!D-aɩy` OB^on>dt$vb` /G&ye`?.;bWȮY2asrg<ǥ>a@ߏ}pb sx}:/pT7s/VbENpL5"8GX2̹3lX}$#_t_E UZ Χ ,ԁ\:4+E4Y.x.6r!'Q<d} ` y_\ ֙Gxtq*:7M' ':s5& cř!܍.2ӃSj9aƣwVX{7 ]c4)veHyӁ#ksYmf [/t ޗ2+cCWɻeV1DO}2;G/(Dc|34YF[tR17% Ska\ojnV#58BW&MptG✫`d/ A޽aJf5OT;7P6P RYjjo#+۵x,C+%„ܣLϐEKolσ6 >]ְTZ !)  OWNlX7ݢ=eye %{K- !bX~㿀]|ѡ+iVOV M9ZcRЉ52R@N_^7q!NMP]yC*̴ykem@jzCdԩ3D9PkuDzP;- Z䵼}_zF&D5tDVpꭑ4#2:`G E9е`go 7Ud}qNu7*Plyu2ӈa=m? (}pn7;nϯ9 l4:i3TR{$slɰܹzrh(i &հ/zJ -Z(7eZZą*FqΤGco_*j v~KøO"VZu槪źv~7 aBd=4$ !t>@݅nvd}-t3S>x:ew{bfɔwQЂ֔ _k-83CgpmX=x]z;P<{Sނ/"z*d?m;JD̞]21(ҧ>7HFD+2zOV~u4h٦e"PW#:{VV9Ek/kIBC"R1ią'yHr|𰽭SH)Eqt!uao =yx䋯1O HB\"hhपZ4)մxmRH A!UP}iG'z76YJ/љ슿mNFt”32\;D0M+B j%V~ WAbvg- XWkF.:9:-1o`N5j X!E (4ľ=/Ք ł]{I(U 1JJuؿizwGYo:ެnaW (a [FӶ_X -R|Q*:z!}ڭD =39n.1 cETU}[ДomoqmjC3b(kHb(@M,TL_1_/rtəH *-Lm^i"SDky"N6= Y`f"%=MLiF$mx|&pk3}V@h'Y5]Y{@v_$g" 칋Fg/Pd#K*&*DWQ(M#S#߬lZ2Pk#G֛π0%7DM*Ve V0^T)f )uBdTxoG焐5'zt>P%\ݾ$[N[p+<_^m`Ƃ-hZdu!NW: |:akcS)Of"wߤ{.2UclQtџ.FsW½ ld)mܒ~c!qV C-<񃴔Xݺ m;Y2ikU}D>-t{{??Tdʼf#(rkbK,ܓqscO'-GL݇A|suoPSH͂LXq!=,#_ cӻ'hmfjR**!nYJ[~liܖ3Y612RYGy=KkF Ͱ:wEܵR: z3zZ+])SL˨<8CD \CDW8M@[ _Xki __4Xs%ﴧ;Ԑy /SUT?Bu- ƠR_II?zwSJ$2GuA{ а0,0\rV/L2wG=I34]s.#aHӤ~4_&Z!mu99g?py+'bk6Z~ ٲ)&ݢcܞ;zFCfJV: c8ɇ#{ER0DcU'9V*CjK^cl:Vpupa\w1Ň3 &m 5۳suևF6V4U{zsA4_bS6"1J*c_5JE!~eREh9Qd,:R>تTUZt!8>Ѿ(м8ɦoóOV"?Y?Oٛ-bQbQ(Q¯T/#='C%ly'Wbg{Zr)AnbrC̶2^gFQz>_'6;P0N WˎʂGZ8 "ᰌ3y!z z8 2QmŠZz+zƃ0PFv|Z\&ƠXYX2q=uwlm&ڻMV=ɑ/W|c 5ϾUHX)0RX u00Ip9aYFkICRgvʰ5[rPqz\] Ff'ԯ \K!jpR_g$I)WzEX8Ugkp5PjeF-5,, Jm5 *&:]QE`(kE %6l~XX*i7hS2O9Ţ 좠s[(%uV-[/šP:}ZH|f2f=}X?5êb?Z>XKyfݗppj X*ʈ~[[H{.CثS*ŕ/o뎮Z ;okIU{%㐂V(nBci0Vߴ$gS2GRӌq}g[GMB |qIrZ+n~hB|};˨'%bGh[&&6M1{>p%_GX0d/kN Cbr ˧/`!aA̘3ՕSt$..nt, 6j{->d'OFWBF3>d]Ӻ: C $^W,wVE p%,1ch6f[oO"f*g;QȺzrD- =XD,3!HO f_ZcOB:un1uV& xuֶ>Ѕ/D;([FX imf{N?MUPFR>#skx6  1\3[W^U*EHK;g#W=AQ[|,76Z2F8un:<]UQA-)>;6X@ib.A~l62CgOlHW֛G=Rwߡ{)':êպlENQd6 lW ^m>Y*i2hir i_:+3Z"Ȃn|1eX6wA6h9:=ՇXK:bװaˆ]tO߱y1ƅ8]={&tJ*o}sKdX)PU-1Q0+n"}}DݪGf݃+)LN R`ş)]P ;FvC^qϾ?Hrp F }p7ܔZns׎Wx.ɺu;^F"5K w!g堌Pl*i}|{ϫ AH{^YM%+1/z0 Vς͔.# Tߠ&kd~͋Dz?h$2J,|͜-i'j:.v1+yB ԷlrСbkfQvc ?8a{~ݔ '!.&kRxM0D.I E4+ ^!kF-$7t2>~7UWIZGԄmV<͓oc3}Z{:WZ53 k/e B%z]62uN~>f [_e0u,4= $#w; }; yFL0'9~[}܆VW 0d04~+ e&-eZ+1Wi!S]nU#(:C* }NiF5$ߴ+>_#JKJR׮V?͍nz#H/Ӭx,*L|FbT \6?3)yJLFȢ hSoWsS7Einn9Ͻ kĜŠ}W`Riݥ2,d ¦ϔ8uxy&iJ{OU攀N4Xٖ.Xo5w)]<2[ǬpK3L_I1&C*iWw5f8p, ENE"b|Q|?rQEsX QĒGiD;)r)9KHG|JW:p4_LUshf$l5[5Oe46{tZxoSTp FH W$`FW *[X~}$bʼnh}Hdk|k=%[+|NC}L_nE1B ѫP|Y2:sTSZW1 ߇F y&LMߧ;+`>=L>6@Y~q'`mL&C>fWb_bɊDOzZ}DtLSH6j\kF1y6aO?0~)^Hw2i ]=J*8e/iC4D*㉽+b|+0t +&ls{@)xd|RXCfWIuw9աŸo$3u'T%ةfV=] n:Rl gS#{穱 nfRw=i(k+J %#Eڎ 6 hb&ӗk6@8ܹ6]cfDsm98+|cSbFl_ڮ} iN#y|̵ΫuxhXKܱRު,*ܑsLi}@K.,:J 7 4:#mCh~dS4"Ibj-Hs݊?yɉzS:LrJ%ӓ$_tڈ ?pVmD@XF 6CʔDV?軐%Yw Z!$|1uQ-Iʒ_PP(tS^p&ޠ϶gYZ162cbce7e8396f4ff30532b4bf1c9f748a1575d5c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 41397749331004e6e89a92b9edf427dce3f44ef1 dfae79588919b5834a93298279b56c4625da02e1 38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1