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  `/tl4T ] Well_Quasi_Orders:threads=4elapsed=21.522cpu=62.668gc=2.8407zXZִF! ]ŗXiɟd)&]HhR8Ld䴼6PXokBvH*3A#xn߸5 (ô=l6%gd:X!E }S q%iL#.>J%@rTYs(4CWK+ Fu:5{֟c~C+Au ־\!.u Piypa|8YgܨjVװa{;D ~sʂϓ47r`tis09ZaBXĔ>*`g,mZd$\6ȳ:-a]!M*d$|v:ܫKq~=H:f3Q"<\TK_R:0j>Ng^leAKE _Y'q^ǔЅV}&;V3*tzG‚4#`M+QVˆ#ugw@0<}lmюO׼Pbiv$ {1&ny=U,) [֦XZ{Q Yjq /ˢs>{~K=%$?eu`LF-M#|ҳ٠Cn  NOHvĖ?5Ɩ"4NcRW7n䬎ψ)b Ց %\{8q0Z2BQ@?eT9Qv$E 3I6vJБFO0+PcX%_c'+XMtďZ:nO]o"@iޏ1%V }P%+yb#J# >+ʍ8\#+|CsEP(7ԅ`l=' g>8e%VӨF':&鶛aT;򗇎WIFr: Vo:t+%n6Vu_i-dHV$ɏ (9Eeɧ\&jA_+VPR=z=6]_E|IDDmpۣ,iS.fԑ`^l7|^`91)G&%p \;,JLغu #|M / Well_Quasi_Orders  5Э@/tк}W@'%+ @L,%#HGn,ovh8& dpE(Tث~| 7Q:E۩vW*Yךt68.X/HU*7{7-]dIZS?>VrU 3uEO'KLW+UUWsdydZ~{RB$e ]JHSh-lǾgC}; .pr½ag~{ovteݫ v4٬WmwrAZ N] +wr&\aiԄw W H aɖ/7il ng1cQh ~+\󃏝8as%}kٶ-f8lhf=S#d' vʣ LiᦚJ`}Q[V뢂%=aF$(J ZuMxe{?@S$@kXTRvPd:wuހ^Cu]ǒ NbXwPXf 6<ȝ 3q?עÕlʁEM3=x,n1QR2;Z^k-D! i#1^-_A[N-W41N<9@LȞ7Ek8B " ^Yj<%7n]juɻo Ѯ`+ۉJt짷]ni {oDP/[܋i EaYE.e+K~v#2&,O#^7!\68w;&7 [%tW^7MZѭ#MbT +G%YyG!>ѩ^0:!}7z;ZAt6k^B\7mt.26n9*22$t<9CF24~:ⸯ?a73 5BkJokkȫ4cq,5n6\ڠnh^+Av!/Tkn/pS tF[0Zvᤎ` ualnHSrSzGy=S~~d9]h3_$uq5@1WqLȩJ;w@kW.5L}:]J_uUURb)}(4Z<7$j5j** P`(!/"0K o+_K%]ie_Mqws) v#O XO/ k9(M+:OK]BtgA{&y%bz#NW⪤::d-g?! ÷Irvgfh٤^6ǠK~L`;?i$z#z=5Ic/&)YoVt)3 bA!hOvhw(SnsϵCP#2| nKq!_~ͥO"C^!2i%~m')N-s(Ŧ.i _- ״8 87ye0zAZ\%OD-R>o9$q\kB$F.Om=7L`;ND3{=/lO!Cg|I}g7Z@mT.@PˀDh׼m*{~<9q@ Uth-!]rG+H.BI/Pj|: pmA:-t|QlF"UFcX,[E΅@'ƑVZӭ? yW] >FYQsBP]^B),sK?^ Yf4ho=ݔp[0<>䆺RqAv]2=+W0ܰLbIax(µ\bO'y7 {}^hϠYcBLY.H{3^nW&/lgK( PnyׂaJxԞ}LW 得t8B47v{*[[nsHfRܞ&?*w0T,/;ELOoZo"zQ0TfLP5I=Kס w }Qcw@/HK_ٍGHU}n_;v 0+d$<4btͿfc!Kl1Z;eztm=]ScqE*]+tM!l0cZBOaht'oz4JR@7i\NCJv$>M$;s~UPt\JHҜoR-ReN]I>DXR{yA㵻}ܡ B"ABCE{QǙtR.!uQ ̅>U޷rO\;dDj)j Wc8B 1yɧ)[ckM`}(N*d….&bψ;2,&mG/:PD&Y\ui=zs3̑z#-[6&x}+T %:'!EK8=s*(Jah/R~ď'P+=cQ0bьX%pf"u꥝uK#E(I4'CȊC'/k^%Pi:+mrOb0YϏ 2e7bDm0|>< q)سÊ։Q)A[S23<4yOqhj~iJS]`CyZ XF]^F҆%&@78WYߎnJ7!`3I@ctmhա RXTIԙwSGf#itrXaϠx8<®۞fKZ$x 9>-Vz! *(v.*V%vl0|sMd>rE\G2fB0-e=eҏ" _a jô4kU s?8M_(g2D DȬ& .wu킋Q^L%M._y8xg!,  LDZ1'Kw¿oVfHi 55ƀ U`pF46| nbҜ3QDϩi׹͒[ 84On9&Ca_ˊ$nB/CAԡޫt 7*k0z'#ElI AM2Gk@mtpή'C *GiX\uɦIQ_!Ry!`2NYBWa&DcXE/yǀ]2cY&ےϰN{"EyTDC+F[OQīADY'{:R f$^/>,p'lһ>]ZReȡdS/\xӄKb>Zvpc4PǏ }X 9=ˆ c!aM,@&]#ek I4|ֹq4J#bU -95sd?Ps93$Тo a&G#徆9<$3>Y i3)#ۙ >qpǪʠ5dVf1䱹S[0t9l( г7[}LÔ'rt3T+xI׵Qa;+bBH'f9?w7V&3sp&˿2z >+^Bth4B^eTF1we쿕 RE(wIh6`.,_rc/1Hד:Ӯ\+̩"(-t/c-̯u.EHd ̠̦.9ձq1/09 F_븋zvzR.QXHX^Hv*R  ᖞ;E!7a;w/D<曾Ԟ8^@6E,rT9ntHXC\g,U|c߃ ܨ>E5z(+JB_P*52u&~G^bjQ{e_܃`KjG؅{(],&(zVB*r6Fk"za }giQlɥ/1VDmSbӪtG:0~,-24m̅9Ɍ!ÒS zSnmeL{i˵;@:LD}-Ɍb8xٻi6.*fXD${o);nl@j>!*W !˽8Q)JmvqLlLa0hEuoH!0TZ#ݩf/6-S8}K }ncYy]#Q)H`˻}4J<:#n.P"Nz^K!911_5$0D/R8 fR(~q{!$c=#@X:\ݼw\JiV.ś=Ij zOQUVj .isl TTAk5 XGJtRq ԇC`rtElY+@b)*O m8&[cOԐq̓)?x4=D;X@U-[g LGN H*GRq 7|5nFmF?8@Xl݋Ҙ>d'#g袵1k8r~"4iM՘#Z̀n󙓑Y1tj V&ހ<מ4Ut/; xe!)gQO.{ePԸ,` ˗!K쐪Pwߎ,:>7lk48瘪-R]fjNguY*P# dV ye2P^rB#ɹlE1g/[WYF6F<)i *@\g#cl3'0. c$IpoiH[aSҸB13ȁNUm_B0;LܕS:էhCnYI%M7 IDrlմ0} >\n$H}g}mٲ2J8wD@FI(|az~( :i:ז- =5# "sU:9|`(Y"6dVsUhQS汰tZm;4SaKr0m$9 (SdGb[T CKVضq9_gv] h4-t"t v" oh BЕZ5*׍;U.Bg\_7}|~ hU؊j + d֯0`M>ߠ"=5$: &{Kx+=0 !)Œ+sH;M͊L (PO+0 ݬRWt ( Ud1D9n fS/e z]]ZxQ-K &ԅS$h7 \׭2V64<5۴'Ξlmskؓ7 ^A;\R5yRVBS:xlJ]6ۂIg`0Q^W&["(d|##8 w>!zDvքW UGQc\)N$'FCG| ZgjG4ܼZTh]cQZpEkOl>^OjmE2FD.8ؘ}l$͢uPi9a7L|΀3.pddH,$*ߤT/@?ϵ{xܔ }>sG1G %=E=_ Bۊuv&XضgɝnO<$7rD ҝě@`;WE jvVߌTݯ bLlL!)K?%-- <{+9i4x挋$ 9TK #[Y KFLZBMXUk{p-bzj\^U.9Pa٭[BAvb~H+2"DV4Ε9C8&Sv.tATnY3URhtf՜=EdDIۖpܦX Z~20W2l_F)ȬL+-[|Js>$b- `P*5֖Z;ue5-Q%Pn%dhzDHZBS]"8_]Oy,#"ɇb (8xpy꼿P61sʝp%@Ɇ|T'`Lk(yvD-WxD½ÚкGWTs]*\)PtQyLkw"mYZ9.=) HrKI}v4:1pLN{J҅>OzY?VEZSl1"uc 8H6XcMr᠏R{e>_&:-oo&La&c {M=-)0?mT)fL4i9%Wni=bɈtw'*SHAf ohϔԢ&[Ð9q@HLVRˣ44UMf ԀDNMwM{VGg*۔:kg.(3U)N j:ȑ'tFv};'bSXȖBFt٫{-},.Ұ"0bm:ݴc~x߷S*$[CfoHmVH(L̲{kN(lޥN?Yzr>iLJC;sA3wUX!6!L*9r<$w#yMn,Dm8z*X_'J\\ rXZ䛮I6Hy~=I5_ 5uy&@\8o1 D&])nlnn[|db)h|޿ߌ]NEH\ϯ̊w?9eD^!t8abhW~~o . okZH3lyķ~In ^Z/N{0l%E׀9D8BuPeu6p+_B-+  s0<' |g )w:ڌv)DJvapf0Ac/se&I(o;yDdzH6^O~ӏ4It&4B6zTO 9‹]8ͱ4@QŐ\$rpë^õS<12MJ)p:s;a~o[{zgoڇyj]kXn^` (k>D>8- ~2tSMHʷ̙OdRH6D!դdJ+duPs4CJ]vJEEQ0uX %"/-I {m,QnmLھ- ( #a^h)aξ2ULcq~`GanOw%aۍz|o꿼թ[$LbqE j7lB&zDH#2J_+u:DVG'x%uC.F\y8i[D_M piKGb^36z٬s: عbNӠ9+\k\'Qx}§#/ IV uL8g*ûӖe"a5/4bk%1۸%%J(0@'7[n c!DZۦ؟0 ;[ 9-yip!{Pb܆?hS2V;kI8tMʴnTn7}RI%>оjigj~n4+JB@CMX(VcLt4>7?'f~F8wY%m][YWZŲToiUa:5|7ݱ%g7yfvnuxb(UFR`ڈa4k5~=EvIT|@[2"Ʃ$A6@1P_z4QJ/ aD#ȶ o6Xߧz 0,[.[fj(Hu2F-L7e~.@ 'zď<["(F\*%pZ&MW~rsT;;n[ ap4rVi|}LH ?q;y.K/R=:7Հ)i\ hCR1Yf_=uo}#>쾉=y. ʃdhzJam恘TFX1 f]xF$]+xhBBF֢ xOuɼA_dzÑ.㓁P+|4Qomx~bWB wˀ'ӹ}j>tkRZG,PaThJb [/4I?ӾUuPrm0Aļ(È."ei1c&f%lˬ W9fzmv}Q[ru K! r_,ͷx|SD ?4pJp(;tKW& T %nӓ,SCc@H*B)C^!C$Xzdÿʓk?YeZ/D/5 >l aV;L!;h)j0|Iи }.yX=t ,w y{l$Hsv{ikW5d{sbc3bK{ =E}>XAz6eTNlgiPCIRkZS^  z$+R3&ۭ(C;+dgQ|u,UD4WؖsMx_ =[E! }|%Nީr6p_I k#O:sƒ*\Uh_/:J"BtB;jZi88][؍V!xߔ I%ey2 Ohi@?T,u潽oЖY]Xm$1$!$t p!RԔ[ b7n/pn+#b(ܴ 9]vhniD'Xǽ{o^c`g O!=Oo&'<3Mfȝۨ{>,#ܽB` *IվG&kJe<ǗwlGAD L-mP3 ŃlK%^2D~mQN;EB<2%&`rFhh zgwTB>8]]c0h(`&@˄4+y~EA&.g\Y!]nW<*s\aRmRjm].98|L`bkyg7,` *#lg+} y 6ݗ2?OBH-찟{\l2]$k;7O$ ӒTW2k ^Q;p8",K˺ˢ}r Y9mtpaB#:\pe(+ɩ=ủ2'8c[e B0 ;u<͈ۧH}ċy]&f%+}Ԕ[N9PUXVGq؀@ᰔ›W0Կ?e:N @ NR}BưN=j"TgIn6vA6zvc sF7U/гk=Нy LE;;pm|X${A|f5j֢ ҝ1%ttIL`|ҋq8+rWxlB1}.L1g(uI.HkPv :x|@=QVze_W,N6 ֝I]kagE1g#}r%Jۢ#(r?!T򂸋L70p%r8ɤrÊ.0Γ$P#E]3|F iK=Qm_ѷavMuL/ܘA?,mы+8{< I>yG^NuHm2h4h."‰ᝄn &57Ts F2VD3NtxoxAd\` F(dM/= nTS`Ҕ6pwAGOo}{vMREy1NO(ܼMc *J8c:g6Fv;z+nY MnQSw>o>{.3RR2 T"T A\nP6Lu 3|h9si;emVTA˃E WЯɯ5*.qTv7=Ч֒ǙW([ nݸ+LSQ%ԿH 8W/S3_I0Fh##o A3(?~>(V'$/fo6#Ӈr&= NCY`*9ZB ϸM7Kqz*܃P,/h˼9).bC{F`ZP3]A8m= ء`Ȉ"N85J YGx޲,w5 I#3KBH_LMZƛp ڇA[1s+Y!#ёBbunk(['2XķDŊjr!٫v3^*MƷ Q FH](\]` fs~ <ԏ!#༎ ܤkȠ+T_D#8pl oHFDSqF$^cnI™8qP?* #3|8>ʰcJ4B0"pYwgmrj^yp, N9P?`m>&!Wb셊gAm p1bh*߭\q`+4+b槤x᪤N t^#HXBo>CZʓ,(ܜ[uAn62{PG.*4"rZ-Ԑ -Fl&y_U]N>s %%FbAo0"S:@qCT׍1AlZo #dd*-*HBOr8CY@9,bLTs^tHj ZIزK~p J/#@}pDXXJr..1IH&h#X\Ftv6'1&5(,ɪLi"E$ړ7 `@7G; ml&w}p&oq\.iT1dw1rEc zip!Z4ޯXhUFmRyܧ|<8yb6\BQzs[S.fAT CXYrşdǕ6ps:Y9#?0MXi&7zŽ`vbM["UO^\uos8_?cЗ p~e/@X[z&'e-yy]iHjoHPw~FФ6H]XF4E.zAє ]D|/J$ZRR@82W`8 @BKKD. W>WGsySLFfOHgk􄟦T?8n'zԟ]yRN̶(~fSu 'h-T r/*8c:)Cu61]W! IaK3 4'bm69cYtC/GٍʯSL3Dwe@֮o)>%YfX*y\0 O,ƧjSǒmJUF<,gLR|ڴ'Nx庭nu>֥VLQh&q6fHaqhqڮ=f{smQY fH80uzrͧ72nm]T /֋`jc8?TXJ¿`DU݌/3* ~5~_5~'+ \(d_J>/y 4L\s=phL`uX]XxG +.;C gD-%q9̈́ۉqamG7U2ǩXIhZ,\f{H,cW&Uf}˭6Jg@Gٯ!!_KՔ r{.nr@SAEY,ťTǻ,8ޅ*gt^iè꾕êF0C(?7W_ۧz=(8NDkA'I-UpԾ]jga]o,^We6P:uM͙t |8r?A8d%m\xZ>\yO]W) qd89# mOƥ+ϵoAX;m: rdp!&wx1rPhQ]YRFXǦV61(ݴ*`j8 ' @͛2ʱ)M/_ů%0K>тT<;[4LqSTpO3 ʨ _+%^ V6N)WXʀDL;VS$/{UR>PF0\WrKopBx[&ڟfF {&]>_Vde=^k3z1c{2 Rr 9@gWt@ucX%ad+U}}ڸQ}!ur} KxԨ:s N"򵝼X=r@ܗ PDB9?s[qk bsL6)JE䬝RmktGcRkvx!0+ΔrUATВU^igֽkAU4kbBن#!/ά8ns8^c%4 &~T pT]mpÿ&Ȍ|p\{_+,(. fс0\אwE|LПZ8_R7Mܫ螓U82`/KO[BNp N FĮX1K T  j3G-`z#bױTY!Ύxh!9_R{n7}4.H̸1#|m>uL?"_!3kOTPz;H1Y.sWö||;8]A=W;bŁync#u̙s $ M-a@38TKB:^1;%tQK+˝ % $/Dq]s,_p=y6r(i*u\Q07rnkQJ,ݔvC΃Hc(sH!9Iid$(6Z@٢ ܩ|n+T|[Lw#.9mZq$OqˍЎ xF92SI;f\YD)%'&H1o' q:v)%erԧg淋Ip|IybHorKNes?!ZDY:dODtۇ/ITDukjN_߆.:GT !(0ډBÿ"܀qp8Sasm}i>,~G~ӧ{j;tPE$*bX;טUW#X:T鳍ٵuQɣYkؚõԝK#<ˬC9 OrÚHqZqGAoQ.xTQ5BWXbIDލ_ e\89u;m hٮ+1} @6+tP!GG4_ dJUV%믻K./f+DLrXe{gA 2w]5q[mPA^IQlH~ 4Po'Ъ^)I]e82CR]!%ty f$!bX#!R3T0ichx]^_VTOX4OE7fqs5(}ToBcHD 6osAp! ^џ€Q{M1ܛmwNKt4Y3\7D+cDWή<5aҍf4!߬/#U3*|^3 @WKl* K{Ch&'Q䩠' 14}EK8} JX*~nA;S1#'Cv=Tzk顩C{ u{ :hIzTpW{7ɺ@<أBGAČY[0, SJr 3S$\2ӳ ->GwyH)[{aF6J8R?חq4ppmr1mdcS)؀r4a+"NK}O/# fVp+ BfIVRqu.bK@ N=L0YٜUu ,⬬~f﯊-rE&HT_p>wLiJu&ٱLnM׽nk;7$DDڭ =T$JbEuj h_v RN(?C?ŀi %:' rSTR1W]A1]՝6mC!|zSWm|3ҾR&MV;yr->t!Y m'yC{]Fۦyw4(]x=F;ʭ/%CӼi<,/*Z0Gdo]AqDv^%./$R &|0{{}Zb0~&(2\5D };#2GLl<]YĐTMzpް#YȎ ѩ)sCfmٚؾFa3$31ug ZP_$z\cn<갷ҨL*/cmg{SA9ۙ"ܚ2[ Y@5s`Ţ'LΖ7{: `szJhc<=`4_@4W zw PgKh.xw>(\j)z8Ԣ6;T;?PVLҎY+ q `x4)PtS;_&r‘j@!"]: WAek@D F{ ZT\|!tzPyLaAz(kU˴=d ԶU~pkmv JELcy,V3ɷ뫘G| rE(L-+Go!:%#~'2#LbdA3ϣ0D$ Cf{|QSjag<l; v';!IØİXjv[4knV#(iqhT2}MGKЧ- hկBdz R**;>ze;{"0m:Td^i-% Bl縖Ia2|4IVba' B~4C,6zE! y|^!^vzb\"i7jb?zStKE&TU(GZ#^p3)5>B)B?k]v<$ꈺZ+-C>b*&lu]e d}' l/~ѶF;ʚ 0Τ_ެ/S*% OY΄8%R c ajnrZ4C(vZRyjJ?R Mjg53p1w)~#lu~{ʢ ~D܌}yemwDU |zcBru1v$Ƈ7\P%h~8 晒!(jJ`dkNW? %+g?/hF`$W EkZZ肢ccu?R;}F6P5W]Ppի"yY7J2A|k@nƨVp׵omz6FO-c39@U&͜ބʆ[VHa3E;Xye0 +` FV~4X)cN#ڒHmn~vF@5,#`$hS^jN_3%;XluˣpH#7w{lnj?Y7 :Ja;6Z쯆W<49pN،P'H9p}yE T!2%|Ab+|5r()A)؈b|j%حnT $e^H15/B K-"0$Qn{?^4~@BiA@Ȍ+ԧM SϋR &a<m7CCڔ0PLT;d-/b.;ai*hATb]8l y$?:ebPi"ݐ IxJ23}<|x+dBEyewZMszSҮp`.z$I'ƜXK=2CeQ^%dCQ:њ=ٟl9+Mf67s?X$8QQ&[eyDSMiͭP?/ftonMP=yE+}r$4mtϑtpWt [wlge4Dr!Thuum jrgFVZwp2ƈ 2]Jkx߶|5VlP&KHkCp:,rQi`slا,ZӇ ,֘oƐ|{fe..OK5fwzeMg+vϜdm\/ڦg`ʑIҮ_"̜K5V,+q*z@A:& 8E2: =z]EwvE ==}9 ):r"F,&%A Xw;.ԚKzO'C,{Hzg55C#o2|ܣKj Z@Hp2p$[?2>IU3&0k`N))`*Ѐ:ӰZV=U\ϻ z;V@ZP>slDw[W_3AJ巷CnK^$%)DviV$<x{}<ղў&톁\ =x5b!~ցmlyz>Yb|tn2O-맪_9֬hw3XlsA|;ܐJ\"kU5bЈ!(eͮx-o~b9yfcf́H_G}æ-j Ex-SՌA+d-laP`Rce"sPHygp4]wwc0Q^mSq/Wwy&kG4QMsAD ֐+1S|{lJ7P6_ćr 4BHm[g_ڲDL'mkrh!b*Sm! uȗXֹ9w@#K-N_MBʺ't Ō$f gBSM5?ɊH迄#UϨoi ^46j~ @ъ>G/8_տGd$NRӝˣ.)?{8|v j%6~o9Q.6 9f<ȺdzcU?04_ nPB;cRŏP_Cdc;zR<ݏk>"zCt84=O#x7:S HT-n,뱼ʥ=Ko(]_RwY~oO\pÂ"-[bveI?(3"[Bk`ט$k^-J+ =N<Ų75{7R¡z , m;@Qy(?r'S1E n`|0B0Ԏymsy Y,ۢr#0]<PԳyɞ"کNf!:S-wJĖԴZjP7UrJN]1KF{0h}&-ɱUC,og@>;Y1􋗾G| P'KUgri D`k5D{4& 3Ҿ DG >ŗO. V%+ARl9o5s0W[w+([13al%E`:2)v 6[ҩbwA3u͋VC,8a3GC v!~Ø*H+*ÍFNH2۷x{}P88IzVaZ^hG3oa6nXer6[*O#^MJ)6$;#nMM&vBaV6^۰PeU7z2(qq+e{%v BxJhD\O*~DZL's a-RǨn85};=EGZۙ̽ W(mb}1 W$(տ{k&??` pO0) .,e 9- % CYIF1^>[g`?/Q! /nL#!ޠO:#:D<ސ's?&J [%i_ko{os ?NF]g:FC#|_t9 ↯9v#f\ 8ܬKًԟwA`x'VWY!r7SBn$xRuzWʹ0Q#9a0 P9{f3̩\0 ^;BoaԊoyE8.53"mPv.$o.15 [@9DrHCc EH' z̩%pM*PYhU^6PUAMCBO$`(p(tbq{mgCyVXAjs 1pIP48"]1vrdS۸ZìT0M]i%Vor$(#Wj  F) "%Pu HJHȶ̪l ؟KwHIC)6r]m%شCL=LwJ65_ -q3ɜ Yy'E^ON`lz1nfIP& ]rVcQud){$Ȇ^7*>]sxAc;O?(_ݳR# "z5#L'F\ϖw;Ę^)՗+7Cjc7'ėNKUyDʿeZy̌r'Q0.z40dk:'D%Zo VZr4ub⺕JJ?Cg:аJrn{gࡻe:`S}q1| l'xwpDֿ*n@ag 6, r!MpZO"ɚ_j)e2[,?YobѼX{*d 5][-@ $թ]>b_nXWWi_A as-5W,b i~Ytt)zljF$ VR@au>:HͻFWk+8G1i.JOG*̯]! kH6;qZtbAeyz^1ed⦢'%՞S>B?3;"\ #5)VgjD!57qĴq'NbFt0>߲7Q ww5pEO/Cglc*Ek3"/;P3Bd>1fZ>, z(8:v_* \ wd!6܂Lf@3]20|C@% ھ-u&\ewAwߓh{Ӏ+!2t K/d\K7rC)g$ވw/Oj72I[ "'{`S铸 )+NoثZtصOQ=Jz^'ZJR女)&ޤUt,"!4|s--w*LIݤKS) ~E:]inö tNkpW<,X=ǜ^am`T!ZU/Jާ(N_,G <ܢnAPJQ'>$ Cyy 0<;.EfX6Q9pK,Va4}m@3Mq~.E箪N>i0f![ FtkDN*XMJW/2|U/Вz+n h"h8Untv<ԌP_mu ⋵vΆ88ӿ~qZύ9lł|~LVDb'\Ed:ˑ$`#Y{?ً_aH<edxO.:)Bj^Zơ1S(ZH_i?'0,g h|B6?gW=@-.̩TIhv7ۜa5TfTfY Qe {ڣΔom!$, t_-0{nxgN%1ޤy?茿1Xd'[יMRgZfz=04 3: \=Gм<<PWbs1 *O#``I^ [F]k}YR| 7Rn |KU%_?i6t I9X|4q*~-`&^VRt8qւ oAeJjTٽ>NHޣ;I%9*fo{RÐDw bC޻B5ܲNldYef %h3_pّCRyQbKC:͋lʥQ[Qac_٢ (a%ySW oA1v7zxO;(;{}^YEI*aʫg,D${I /L(qg>`9u6V)=x_ەV|_CiƏ{?t=z~#0 Eu'k.ΙZ Jl A d:nkQGH+s RMոy ŒE =n(Ҹ͂;Z;˘P( UX~t¿OP)_Vg50Rf׀9FJԏ$XOuv b3+Xj3oX}{\/02p>4Sa[>6[Mh"X=-;guZ8ͩ74I[$+ u0FAxDw}fs(U=|)yp5']cҤ U47/}biܫyD6G&$򥛨:=U:"ۣmXՒۍO*d7l:w$~ݕa}bT+UJ޾.鮫,~}$Tn;cNJkΒfm}i\5e}yb0_.YB8ؤc8UhkS ݑYH;ڋl ꄪ?l#SH د* Q 䐂cBUsx5Kp߿]$a z%?joZR&HJB ZwW|h3wlZ}Ngvg)H &nN ΚK/SNS2^;+neXǰќ-c0{ShKL1Eo?](KN_Hɒ$#@dVUvth)c479w$Ky؜*1t);sH +Wvd/p\yrs"jGL ܬ\UwfVil,ª<[*TӁiVO}~5X].yI%oHط,tXsx&#h3yh֋@}&,s_d=hgt?Rʲx l־4Zo ꐳB6Y23⯴G辩r٨4q,N\uua)Td;}FbKBIǸc̮-v>PJsnL5ׯk[Vq8?ә۾,sr|ńAgJSU0՘+Z*";U݁|ݍ9/L(hd|m`Bψ]ڏ o5qD9^N~V0;W; ] ܑ ?W V +,+zbaodZOB"ՒD(=ugXNYlEAg]YZZ|4. @C@\[ (;ȬNЂP$Zο'ˀ!7th J|.OSnpHwmy@;22!n53S2"('¤%)c}90-[P_yD釈:_G\m* DΞE h{|@LkWMR蹀Qc@rz#7`4sf/S.#hyޛD^{O_t?c5C2Unk-P3_Y.%CQ0Ln \{1h-_/U1F}W97Lۗc򭵜dQvRzs)HAEG8ԪI$!ۇ싟B&цдht):~W $!8' GCݗjߓVlhS$m(w(^D>.{'͟锕!Oڰ桟>zu(S{'r5hT}Djz0<쯎8FlV>IpHL1G5{e݄ya[?QgԤY`4lS!ܫ,̕l0~%ԁKU0N$i1I|H Qg7N/(З~`+ GYT@g}r7Tօ{{,GEXyTt̀9W6HSHXi`] F@bU ZJtF-Duܘ/o)B^T$); coeL_b{I Z=jXfZ3c:#g\v}y:2V"qɊsU[D)' _l)߅>TmcC߬U5Iku= +0(_iNZx_IuDgE*;m?$@u@Ev} J8uLWry$_w@fv/ˢ6&rHPذ"\J/< %ff UߦcLiVdzwyS/  3V8z)a -b"N]߸mrJRNq͇#>j{U:>(FG{( aBM j+? [?)i~yRImp.6XCsuzŧ&:jP /-܂WȾPdӲS$2Ɇ8S%1C5a1@X:]pC_dFy`#?z9ӰpF%qεf:wj"Oh]םY#^( EǺ}u ➲]nwɟTm,R+ѽwZFugvlRmX_ިv.QKZPꯦ4Q 9Ō% JG!oQ `rU0km2X8"WR<|g*b9@LE 6O17%Gxf'z{N#c !j`+"Ofm4YWrBFRVB_/,+lXȟcCٹ`,'H0D$ԪtvU$m ^"7v kՐxk0B< el^>6O e5W݂t3)T9zQT{WL*TG9GNzd@ٔ.ۏIEmwN?][j*h"D i¿g;2ڤRgWFNɳd %k@oY5VHСMsIu+?ʕ#7:g62DJ/*$qH?x@aD -Y[6pgr7 5 j=ƶAien$'u&1<qգ 8OX{XY傝rw]95-y]q<8ٴ+s'@Q#hJLVnn0q"&VI̊[;S:b^B1KTwo븮zF]n2e).d!Z {o.S+ӟ.EUフ{. ,BZօ1ܙ̣h觝95^cRNX0#$/~>G\:T1Iyex{#k-wpNM#5̼"s,3sw -g}VFHvfX;fELaA;3ACyYA5 p .Mw߲b^c[)`;֓(^cp `(f5FC6|RHGfW p"?pVgDx"5;Ž͏y>bKL岱d[NKs0Ʌ ]ǖ@5e;gQD$11 =G6m" &0..=`i'S6  9 YKG9mVtR!a2G; aQe-/,}c&Jpߠd&F60QrO`8|M3 bŞx!]8TfT6X_.c\>,楑76At\Ɵ=r3Yo9- % L =i!DN`w\>1fzсFө M Zz8"r5.wYz16lo>1t xbx krNZtCG3,5X) )Jaf(΂%gy1+jsޥ;:Z >vUHb /,2}BN[DbcŰO &qK.a-vw9>|>j9$SX3o'z&죒s^"&m")vڳ<&9b^ƈ#yŒu<W,y36`\m3$Z%C rh&&:$#Й`@nh-IDeќ*]3$\:f*{׷5{H1Z[*Z5yzPΜ౐粮xz/!tUhx;<a*方c_xf7#8]hY7CT=ȟ[wi48>Yzٌ]bƯ-~LSM~ FZc\ 99OSVZ9^TUer͖Slb(96ScJ%΀օrm? I|di~gRaL Iޘ1Mu<)ƃN/Ѱ,Ïn۫yӌ>I C!sV'"9Qvә {R8ݞ|w:4ic:yGy|7@а Q-Ⱚ31 N29Φ-X+PHf!V*'!C s$F1 ADl) =~׳Q8hFĒ{MѦͤ]mmX-@0&[wahe!FVgک!=f`ӡPUTLyݛHlcڸo M?ђXnb`{/)l o*# ප1W?ֹ0Q0|[\Z+G*0YU$ 7nstGW| 7+=ڛ%?p(3.!5BSĩ!\c"`3 8y([ $F*sVXkzl&:csh=7u(pGDQtVu oj!HTX~R- zqD~41t8sمZc;2  j!$U2t 1{]ĀʽuyUzb կTmZ7̩3(V :7\<_F6eA`b)]Eð릢&0r6،\JY'QQ0QH 2^SjϘpOoZe >㛜? ܅?$n,_d- _q!$y -}AA/](*kB[]]co+>[g+|seM&,Ax#"8:0aЍ)վ!vYaӵž{&tNC`mgBET >-Eg' Щ2r8箇Etrop@T)D~M)uJFqDUxEW╟ǔ9VິK z j6L (c!G}q`>R ǚPM^B mDK|8[` Nw(o.ݧF(o/2cwmU+碲zD('m9ԁA{ xfUkniegzkaw8;+_vgyt*澟Gt_;6jd`H:"$ĎV8#蔁&:tG latRAy,`ncN;GO81;vbQ\6OÌ%Nw}VxYzO"'zp_xA6F!xODֶ\ uT`D8$ m8viòZaG1՞$턭d.2ŊMnsD`=a͞tTF\'C"o*'eGʄ)Y&= U=GR^ D'v[:P73)FȞOz;h\[n4"٭^JpH$wu2&[y/_`C.,?&9~ʬ4EV2餋=H2:52FXU/Yn 0G~_C|&q W.tX~,XO@'w.GS9$@0 ٙǻn /QkX'"/ع$K-9RH;4a<>\ vE 9@b\԰\*^מvY$RmSWV`D68au^ 宓D%83j˚@a!Cˊʥ\};Y ‰Aը|iU"]as |{NPAyH5W&1*<'QF ?ԅj9+[ڱō(Z=yI*ÂCNWpZ,1Q_}%ТP&qLH 8',^!9߸5^?poSvn ݅8am 6 .Śf3e o{t"biyU9dHh'AFqP E"E4M tj' n eJVآ1dlT[VW+ezDS[ {l53(1\ѻse(iYg@@Ω^Ib׺x̕VZA=>IRw~ DNIf2P~?-Or{=vߤ> ădҠsD!GRQ ֊G!|lj o^~90;UzLBSJ&%"dY^;nvKDDŽw09zn1U4[(P#yX(3:"r<:HV5!hFWgmr(0$| Z͉w0S yS80 0V ye9gPܗNgnb;QY8L8@=)`DHmDemz4 07<~^Ƃc3H c؂V'%c}?'GCg^3=7֧d2V!G~J '_2!Uc5ڢs"R#oq;jOqų+H⹐cFTFaxWw>7\S =РW8iƨ,+X!FO/d&o p'zW)_rۆOQ[}Ht ]y0bmИJZQK$8!ˢZ2)ؔqfælY;ۚ^{ \xf "3@ w eΟe)ȁ㟊 WYf@TFQco.f i|x\c5ÿ́Y xNI\ Q-֝to`s #0Mƪ\yj7S b2SƱ0ݶEh2)Ta[Ԩϐ 4os,pjm/:u;+aqnY,V1ߥJLk=wW9c] ƥ $T4)ZۯQiZuDUd"73%=آ41K7,?~b>g">g>}2j 9DRE:]uٍU F#tTH/e]xxkBNƑeDUV!Gq]vpB$өjP!dgYZ3582f6ba0272a8f778b32a908c5239a1c822317f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b