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 LL)d  ]S]Incompleteness:threads=4elapsed=577.189cpu=1346.136gc=14.940factor=2.337zXZִF! j]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0d=J ubik\'JU'K/BO&so{%Ԡr;U&yf/zz O=fCA{%Huy]$!Rݼ`bI)Cށ=A[1SoӦq0>;,>k4 o۩12Mcɭf(N% [&\>d6?/$ @z.ry@ة{Tb^>?t?aO sI\*7CJ#U.&6i% pZM_|.v)kB`XU\].vʖWsGƒ 61xX8Gq0%?}d'+UԷxe‑9M "g~{yh*&2B^mu4!6vaSf;{A51[[%c\mL._Ͽ [=&U)rf-cŸ RS*sXL )a.RW>|bh1L,÷ȞU$ СI ,И:ucWSXT[t0J1e߈#NW1$d4-nQe$o~ts@u;30LYc*d#\>*1>WdM,WFt UqEuF S94L;Gu&+~ܝxߛr˪V_1]ƽ[ScQQU|u.SC} 6p)U(r}- erXGLON!-NЙN7uҿ#*qC:vl..n% 0a/?ÿ(8u| m /?.t-]_XTwoO_vz.e,8HCtȠ4%u^ %gՇpw& g7~-UPc RUbݥO$x:qI;CcՌwͭuR)lA~}G2)K}BWւX`L-OGӸ [@PV?^gH^;F21/_t&n Wszl>29."* i u@t1Nݓ, r%w8(5?U`[# QWi`֫Z3E8CwH!CNSY9Ma4gOݫH $epr*,5v)jc><?~Z)b&pi qxMC ^l,ӜO.~Bxm/Q,"BVA)F|x7Eb~@"!Mzѽ#j6 ˏ_*T~=uKiô!.4..u"#';d^U$/ˣYD&A24z\m\\ZNr;qŽPWw^P0w3eի6UYe<ZB}z`@~` #ՈD @ hDmZ,+@-%ȐR#X+ɓSк^6 YPxa9"A fyr2}ZzYT5䰢I%_)bKp^u)~ߵWӕ_A#?&⺥6"&d@ce~ygNe˩͐+r6cH!-lC(mc ɍ9r=9 W';Ъ ^z"(8qEاĀpr&YB^h!^Btf?!7tds@!}^Ź ¯ j; ` W:)^5L 6DqY6o|xɠ 3*\);d2Pˤkc%g0~ Dx(p~ a7UuNDž66Gy^%.Q=qR-ڝoO} =sRrA@ [^Wz{0Rؔ>{1 }=gN6쭟w\/t0<F:sj͇ҧwwضlׁNqM9!rtn0GWMJ#Եf*E=%xyJ $/Dp5>_B|LT4)2L^iv<<؛[Jna'z-}1^ v|CtÑvO' 9'g.SߚDEޟrij xt]8 zAbHnATO[ {׊BH19ߚJBCM,o9lbOJT"u\x 5%%o7/]ʢB+z㹌֠óCp_xb\Ѥy"@p³>i:T&w_?#hsSJ}^K=gNr@#X!B 2mvX]kLE9\t~-'Uo*B%y HJq~׺xt#pYɾ(Ǫ1;X# (vºM9mVH7Ly%6d%-InR ibA7 m3g:_w9C*~pY<|iPjz=^l@7'R%8v\,/t*J}#Mg7ԠAQMoq%-*)ޚg ޟ(K-sb_/dϡI4_㟛noPz%)Tz/icXCIe]8!5 7C?9\'8Rx<d못Qt?85!MgdRys[RJGMx(Rh ¼uGHךIߋo㫜Jl1P 9JNf)52Q}2]=dӓΈ6` TUs\Oϥu Ȼ~urpWݼ>.׸vxGu4q%Yaރs{ݝe&sg3i\UVȣ,Q2CLO6Wtw .VI A]y^5mC<ic譜Iňܿ0@LXi!o1DJk_oEB^_1 107t2Tmv4NawyQ(< kB߄뙃}ЎDMZ(^YBx5t8:d.N;&OrD,(68ad)PKIFC ҧn(I& iKKq{4u)Ahx.{mړ`s<mKOa'v8fw;u#2 ; HVFc~kdO/9nڂjYzjdħNM?|ځ#*Z**~=sr}ãtQm[no(""^ڕz. G_`'kނ;~vZY|nRl}-%P[htfMJ5u _Ld0̨n&|ymZ|?UIwn" w#܃,\YDs2yM@ܵt\3<)bO@446,Ϊ)ٜD>hii$x7'zP!a]W% uQs a~yU֑tX/15']u-pE-yfqBo|y;]C9l݃wC~[VM7V}t?ø>ӈT]:\{`ODq e,5> Łq`Xniw L/]uI|]:JG:mXVºlh"JqWHB݇C3Rz425nvf n@h/S~-M #T7Ɏ:j?P}~մm}MD`lPu㊨~1Ky~8%b %]ac-tS{8<\:̧9V$y ӳule3-asFTXygÄ?I@/ȁ?#f2f k%d'AftI}:d]mO5:}b g}Tŗ5͊xW_\D40AMc4[ݗ=aۗyZA*6{&tPڂ21ǣt~Z pT9 ÚARNA)v&߫&nAlZ3NC4%M>ڐD NKaFgL9"P?W IglZhef%uH%ɊS!w<#+ERSqޅRi;%vQL;XTтWPZN-3iFm$T~lPqJIu3mU!<4vζdBR!vcTOm/(< By@&vPJs˨p `\t(ԩ?>=>ScSctT1k0!oW(6GHoZi"%V,{NY&U?>-i޾,]TlnEpz9b42 CM!+ȳ8u3dzBKN!يUjm;wGAn@d VsM"19l@k0}]-F:ZU7LGeIXW4{saa<\aWjUʁОDXSVNrׄ t?H(Mk%$ENxWkg R!nY9y"}aR)wJfXE!)`y,&FM|s8$>ڄ>K]E\-ωZl6ʜ4ȩ D~TQN-hUSgf1!\OTT^EQFMfir-(ڐ营jqƞ Mn#;֛RMFL EC,m@ؾ3Rߥ0McPo 0l% EwpanSxԟ>jt0:Z'tpw;$ Oؽ2/-yCʭP"pq4Q߷9SL[h}j΃S N`.V$z&1ٴ΄kLQ3yZ!HH@wЍ+KAۿgYZ7zXZִF!  ~]ŗXiɟ頏ā˙مPn /C$K5aC+GΦlZyd~jeY1 *nV`ߝad:J u2LO y@\6 /gYZ7zXZִF! M{]ŗXi%GЎꋀ-71envER,qMΑnmZ3)ˠZP{hCGk9&։_pL_r2׳+6uCpu)01Ch,R5@KOJu%~'FF!O. " 1NgHcm) 6A&\u;&w\Yk6yGSـeEtnQ2, eM6~Υ"ZQ /;)W9YQҀ܉OmĪ8ڒO[<$HH Jc0 䙽~n^ËEHѣ,;Əfw/Gn~(JKIUGCϭSX!k% o$2[cY85}? 934 (fOczOBT"J& "L~Y}IǣC`F&/&iVc!Lٜ<&AD dnKsCJ$Kcc# wZ{_P_{hWu^_J$ ?PL-X9 =m&INi*[ʰJE c4`6wC1B"@`9AjpZ~cs?Svzͽ՟={J [0vMmK?eƶi"cDIMWy.i 1HrI*I8 GM}K=flI!1}b}޸u$IպR-WV^+BJK|K풺>0>gD]l`XԳ%|եT6*E7ol*e|0f97-ҳecLlAqs]ukZyՊfg,Qj8Nryt, riW|Ȕb~/#W 7F_?wEoc`Y3̓@ƪk:t"TaS &hiMˑnBsmHJ7lzN5s4w!vE% .-SWIZxH]h"oϯ~q''2/QBm;{TsK +$L8T <(3k$Pp/ڦTSfbC|;sXsMB9_'XS{U^koD({o(3ᬭqЇFlጚw'YQǂ@p);*I*kkտoPv_Ow5XzK"DWUld=k9smLvpy!iC҅"vnpW@yS U\?tJo,pR&NAf-mtD͖}jWWRliBVHo߀XjpHP|Q2&Q-Ժa`oT9w XwR(&TrAEjckVaWY =_9Fk{ &PlwCROi`@?m'i2j8dE5*3bWWss޾5K V]KнW†@ȗ`38" "|!g8ٔf榐 }YS~vuOC{p)k ' ǓY:Fwc\Q6'xqxe%8l!*D:+l (#)>nܲ#}r;wJr("YWnaXVǭ0UD5Z{ud1XK][|w ^pe!?zę&XEDql< m>L%Gǘ3y]0)fojgxTlu+B׾vuw[#ބdž>9!Z&yD`kY]j|k1nŞ"Hg7IΊdfe+h#g(\pHhzy,)hlg6-:33DHX`!+H 1{ )>gr;x+dKXW D^tTW\,(9hHL2+tСܕVךH\yxT]\Ux'WG/'08͒<>D݀AoқtP'7WHCqƈFH *HٚKVnL3/,:(K49-Xn8ۧBkx(x4T='{U^Q/`.̀dg:=;yi)LGL!k S9qA12w%`CȢ"y7RڤL|qQB` k:bGiw&&;p`EaTm GΩ󼈿!`/"%4F5̕R`qwDu!^i4ѬH h3}bֆ)r"j#5:ZfL. m9ur J WU7Mt ?^1I3Q1+ͱV@"8+ǒuQ|>K#W6IQ}cN^ij]luM*jVYp-]f+ -4jMamɄ 0)}!_P%VHB6Uߟ {w3 yU(cЀD6x|s1@ksqƳ橈~"aYEϔ''/9XhIv2:L"rpˍuI?hԟ]W֛+|BP?.~⋁ O6 hMj-"2Xx2ɼUogl,ڧC*8@S;ϹJE%2i}026sCZڽ5WzF8AYcZx^>ƌ`uȸ8&N3);2c7c :lRmWⓂ#w֑A!džܛQb؈IMrS5[#VŭDwNBpc>@3bMJI$$li /F!s{[(x%xsƤ&vA֠+u2( MDL_8htv]uL93QlLqǝO 4( dA]؀#in?+37Jg@`p&Λ]lNp\Sg u"YмiuƸd&UIc#ZӗL]&r8kAǛD[|d$^ƞwdCA c\gM^?S%Ib$WE-{+쐞0<;B>`عs[٩>uW]-(Ȝ=6eT##Xd٘<)%g݉VuWwrsAի"{2Fhʞ郺KYqAfGοWlVK?\oƢT \M/چ9e"3@~,@8_Us #gZr\.Wr-!Ajqp"t;*wxgʐ%~GN%a;5$EȪvtQ+o1ci# d#x.1 sJ,g_<)/"PG$M^BǿOͭ`_,sjŠ\ϮżL<PޞV@J9\r5Ȟ4RZ-fwey T:%F7 v*b*y9^|M]k` 1n1i^TfϞ(||~-Ǧ.yZٗ&a#/JYf4VnZl?6*N%f(eIHjbzb^`ܹbY~% ,d]BH}r# E#]*L'Zs> !Lȝv]j]_N=A2Ցe9ȲQ h'@p] Ѿd nCzUSDߖO=(_1k>s.N[rtE3UjOD @x#$Wr& W F.[9Kl ,/n ʚils񱎖|A:]X+V&-xi= iEqI团=Gwll{蝭UzCcAr}ߓ i"assO z"<`^/ںTBVϓtI܊F vAsǙs-4LDE5"49yk+ē&EE|tk!ҾEM. du;}Nz\h ob9ՓJQe(ob?hziL~sLyk(EH(@f2}Xe߹X$'Yǐ&"2 E;6Gmf/Ƚ.@0D!T&cگ*#uW$AYhdtso/9U.0ӧFGIh ,j(8"x#j|@(M 2c+noTtvSUicwaGb3.,M(Y;qwBJV= ]^P_ijzI'iҹ6c G36sU~mDbfiD=6%iA9xy+&mf6* pqSP@x;nWx/ ^4!/1CG;"/vxI\RZ*kg6>q2|]&O'ԍC҆qj⸁({~ %aF\nvKwB AI8ڻZO9/ʘ ۫r4|40~Pqmnɥ_~N:̆ѐ*$ü^-{lŦj;AtYFč@A`O* Da-lj`Ν"o_t8c4gr aY}0ʪAp:юD߇* VejVTl$.,[(Vצ%O4ڹ/RC>kgQ th˶Br^w?Mf)l|ۯ #5:&/W&=ԀxYB'ƁCxzUAw&z`K(;Oȉ@-l@LLzL~ܥu\Z:r/kŷbj7⧣sXbXt`p6sז]~͉ؔϽFHE7tq8Wi,,ԤbmAI1l]^,ZΆ鷅{4*ZRVTFz*n2V uxɩ4Q/?\# T WJҌ3@ɦ9M:@ )FjQnKh3s4W6<z?r|1N~M7U e9/T=sa&RJM<{ ݬ"8o-L1"/`}-e x+ r#_E) _ K/G@?M!^iȰHR:H~}<ߩhex : 4V5ߑNիQ{in{&=;mev]fҟvY&iS l M.[ Lvx} MPNtqxAސ5E\@ S6S?ʊ]@G>%gf+Mr霳Xhv* #xUI}ZU&_[4ۧE7;u|s o)l'1W֖±dM"p !l K6gP\N 39fa}S8b>n]w' =bu?Y"qrt/,.5'Т@t#cKm-z=xUYr٫uac:6+adPbj$- N'?k%9A* Ox;煏0cVbk>:(֛Rs# OM79_)98kVg1hTrϱT޶q#=c"Ь@x[~c 08ާi]Bр}*twIZ#ԹR%jOOY2*koo\Pi $#USg ;=HxfZMp,b^cacĈs40O}6aaўzl!xnvƭ=TU>@L Xe?Dw.*VNB=ƛG:HMsfe"guZc#D `OɇJΌRjoA9bp\W{ $&[$ߔƚ☇mI{D1d˿N'gn:] ЗY&L/TkQL e:uU D?R׽'kcFyΒ[3+i_m\;Ä!%NآšfOX]Seov?I pK,AQHyaE/G]dxC39=䰨2* k./;¸ZT9x "eU@m&qIR,#͢k*tڐ{"'*q/yN7($]r4Nat1?$y剑1R%9نj9Y;M2/%>a!k|Z| Ur-zePg:'ʀQihg *!:Rr"ox䭼_m ?@ xk|Eɚ#R6jQIVO$Џ"Ao{{=H 0UrY -062=Bu SP!(G0S^~ d.lAkⵅzs0"[WoQP8#եu mapLP=[?0t2ҟh &=8ըTi3Pȍwehށ??bbҳlN25툏c.]h4XPGX F[diK[Byx2"հn:β@U?ɦ~my%R)pI[( VgB4=?cWæg{ ,NIH2Hglv÷ ZrbKyKZYoCG[-ۿ}tf2bD'cL rUʼ/chy Q/t {!;WN~ݕ,;>𵁛 &N^@&o&\۝}!9M`_5) ('%$ [^Q"(#;j)*x3D0qˍ!PRD#lÅ5dHw-:9 u=eŋ*dM: {]_A }'T#ν Ba-iF:bsN&򠦷71f;_nWDt,qd71Z<_wo}X=U\#4\"M2,I[&9& ڗ7o$yUM.=DXh|.ت%>&֕ NjfKO wqǍRP,s ;xCpk3f ] 6܇!6\#Yd 4nMcxXky, SY  u&T iuFX3lqL+(K9rOЇt&z4#1waK[)dp!ޣCw)pKFi1]wУÙIHҔU`4ttiL lm *uv̡ܸwX~A]cP6Rb[w葺'v7KسJ#‚T |3<1GkfnMϊ}aI/띄cI @y?^9^ 3*`\lcN5&+PVg>+jĥ oeO 躔Bf { T԰<([HC#@3y2i3#_ If:ZWaK35UCpİ@(Kғ\C6K_<-e;ؾMϯo0f֥a}շA&js[8<_BE}KZU(nʆ5QcTU#ⅸ~: pP`wa.­ժ6 c%75 i־o)r0Wjp<GqC'`MBR[5Ĺu " VY|oW 1h9C`iui-=>^9RW.&>$p|zT`$׻]e9%2nHأ+!}kIK权v9+#hhJ 2SR)M>l~*יq 3.:pjN]'F\1\ uwgSd{%> Lp~~彔v=#1JGˢP:>$dҨ=v ~ǞW/Yk=}TJ$<F$r-kL"u_\Tge2XFސNbiF' sbꂉ]A1k6vt5>d$m]~5S?¦B(|+;<>?tтX^A3yYiQk:X2iQH, eO#ʭ3Gmā Ef-K8dci` =~x[䐦`RݦXK(aL>6Gf;uc A-{8 [RrN^T zΘF8caRh%+SXhx-ҏ'"V;ZcDKLZ+[OW _syrbVq#kUL6 N O{SO, O %zvվbTߥ6?{Vd;sOV+ Kx֍XuaXYhGl?5B_&#dɐ#(4HPK/G!7=fq5!caФ͹eCWǨQ1qwBOZ.*Uc VeVz`Òl_NU+` Huu0oULn`kSvLcn`SՓtjw>DkM9VnH(wyZYĖ nR8tfjk(;)w=n9,c3a5O6UUY}mLbO_ ;!ۏ?R~!U !g8_ٕfHs~0׍vRPtA HӮ R7>\S?"/0NLd*)sX=WosRQnC)T(a(`Ԙc%+~%ԤG{#db-{B[D&Ec*m`펉^M”@~wW۷A_.#lv=ZZ턟Ö@ZZ ,:Gs%dlm{W=1 MIA\r>#/}1l%5X+7(5U]p%Sxb nwbZgYE@OR@m-)0+ :N\pVlƟtҕ/8 !wę׆cs勜R ~4 jLA91]$+ ɨes.[>Zp* ,栚bm?2})8K,z?R2ZNaWؒwfq/i2MBĔ{m*y\toE-bDSz\fL>ewr(|rgIٴ7YAop.LM=y1wE|h#^x]s m+Z UG<.'.:tW'AۅېBQA 6IC;XLm`Z C.v ݪwpCqZQ luB.)A{`r]j`F(A@lĦ"TDVOXYe'+BnZamn_?VT ͝u0Ѐ@o=jk;K4xRc/Li:x!r̽y ΨoA0M5N' 8B?}(<X4{#3* ڳcظM"}2 7d)Ę`Pv⡢ A+),ZF]%Ϲt!v_UƘ e,7;*1>vQ+qv\9(,Ǒ9i:`2%P ?n^`6Wdjo);SO+ewqgo6y5jj]@? Ȳ`72cA3M,Yj}»UߌCxo{/@5dGN "ozP(a&zw?w)#Pzdfk"x\Zi2jM>1U=IA!j~CāB7w7"vv%0Tqp6\Vȩ(A+uib[鵘@ T vhuA?]-sŒ5qՙw@?G0t?6+7)U$qc;y79M5.j sVv$ھ.@lՌ?@b_ETUغW ǰ5E@OܼZ $@ kGҲ4o:d:_:BE7%7hơ:>_3alINGŨyd\@5?>Ieh\ bM&pLbWAڰ0DXIr%J{vP;k*KK"Xq6``/d+6Kt l/,f޲ m4,Z!ɞEXU>~킕L8Kjp]xf}t ] J~ItI&c.; mvN@>@]kjFj)# !+g50>-el%*6ܒ:UG>nRqH>7%r0 )1-;sj\4s e;JS?"閹5^ ~c!J.G7Se\K%$V@,d(2{xD3u~j6lA@o^lnis1^j\,ahBªWwiD#Wǎ6Tri#,h D4IuFXYVwuREr"KB,q1 v.ȉk(BTatȞFbƛ̉K*AM$p:Tat*|<9OX! HPdݘg&A^xI+:b^HŭM7H@o!h\_pn[ %h[p倮 2!%q7p3gi\ty`d; |=yH.as}<]b"1eqJ8'i 1Vl]`eIOu_JC2#< OnJjx, *ݷF|lp/ѣ i}s9 ~eGiQXk_H]^9"E`4/ "/m{iATɝ Ym5TEb."+G4nH_d +W+Ћ_/>~*ιR $u'##~Ӌm]H\$$7Feck{z*5^J}+jv8 |3c7h$/4E]@ hFϥZij/߂7: /ظb缵8(}УIb@dVyz✠+1e(BӋcPS T}MȀ6.CNbg #dT'e'lEz&(cŶQ3bۆS}+-zmg Nw{MGMFTAc8mpd89%i1cj lD#*yR†LUV(\p3%(z~&8.EŁOC;vuaX UDpF{1ш([;kUBC=ߪNY_'tmxfOtw&jIJ.YȔv/%j膑Opϱ?,"жF ,Q޽1._j^˻A(' )xi3z2` iz`ۡD{zPG[y1-%tQ'N ג"l"_L(%ZN@Cu53 ĭJ܃o 棱 b\Uey'iNV7R+l<? P[zaTH2`f@NF&3R 3$7Tđ[jM2am@#n3[jOM!f7&j_ _[2(q*y]ɉis1u OY1vOd^ᜃ?XV*Py[Y}%s5rIFS]B,!PrhVϬh$?mnHEhFLGBԳIT3}8D`p)@kξg,>eī)Ed?BV 4%αK )?yn,Jzd!vV<3]xa9TE lL@+?% ꑚ r7y˞al9C3v xҊ1/Bs+q\J5.{b\1Mဍ S\k޷`3/Fש'ŰLFR(4e}HXCGWtlDQ,n13`XrPx5Yz UWsC*ztjm!}I@d޵<;`b :+:4ȃZ4C ܍eثau(T)\ϡ%ݑ6X,4@XOwACNY p*@}G.p}A$* RC ڑ+4q"{㙆gB a=([dۇ϶qb!8)\:.ACE=ј]\F?L$+4扁̺|]2MYiiyu˰ղ{_e9JYJ-£챱4؆+zouSv Յ%:QiX|l9H-!FenmkЄ|nt|s]ڏ?K>p.pMXԭ/أH vdO Ym>G+A͈VAdOGI׏;#5!a{(M,y9Z$(DWnE>㚞˩B򒞴E/f9,"c ]FG@IJo]>Oy@r0xptQHG+I\{ j4y.3 + cS$/Wtv1eE7{g'Y}{jn:aeFʔuŌ9;ݣFϛ{AͺHL6mRn5ap#g?pb̗O#ԨY&ǒ|^*Dq`c1rBnr齥4,s|3Rr [r0Vj(i[WI VpH}cWE\]7aw]Y:_}bfWVS8yE퉆]%aTۙ#/xZG3ɭY0ɡA MAX8HI[3R ƺhFVyh%eTX~):%PEXNջ\ؕJ%~C_0> X~"̕YJ_uh 1d5;\?E?.f$[>捒bDq~"rی70^ׅu= rwy4Jʗ'x]sYmU1 =6%|DaщyC[SwghFlOPrMև ):ͪnOeGrXB .)b|KK_@3Ĺkh٤Zv?UcK*@P.|kn' TtHoY<3c<Ԙpm`Q/OggYiB }{xonEk6!>i)@zhcKOu$أS$:4^hŐfIFls [^w}Zo\/zKᣞDL4߰͡T`TIyxhڏA=6l/ҩއՒOOk׼᤽n(z_^1>_kjIx>%(!tp2D$ibikBiWS_c֭:Шe4nK m.'\YmIB8{P=Gn3hxfiZmu )%|5SoNzzsKwB˪ZzZ ?e MW`'s r2#Ĕ:J6Κ:JYL{9 #U)9]8n[á]b?!U \=ư<]C]u1d#3gMOdġ6N_T ,737(XIԵ[@@#a`AF@/x9 JXf܏ d.Vn5uX(*,Wṇ=ddJ1T6ALiȃ)"\Hǧ)$m$WsDxRaaZ><ڐn2-b9MB>~K3Sbs}^ F8/309Ru?+':?2A4-V"sVFSV\ 8$R 2_WM}s^>(x72yw$(/z<<>Fe6!ˑ1V$3cCf6ƈJ?Y;}?B#nDi@<h #}{{ !4:fO"F')bm*ce߶g ݂i;.!nĽ^OaCn;k>gvhڵƞKA"pj5/|Ʋ1+xOmȦVL z(OӡkmUrO^A6=§q%T3Su;{j9"Y1e}wCS s&HB ~EZ9El|7 ߮K '7-t[s*xZTcΗ!iϺ/ ҍMQPYߒTTҶBUE)&VgELQSTL$$tpϐ޺vXg}m_C޾K !+tB"1Xsh#,]t$H&k\-` )(7eb۫RwWaȱ6R}aV2@u A۔\ (j A9⎪E|DVdW3 HWyJy-P j'S]/me(j6$u k.5 Mؤ_ W[t_\ )f\.~Ԕfq6*=^ $2'1pej҆ABƐRWPj3s(m6'2,%R+YPť Q$htt .iC h0nsX0qO͕ZL鄙P`o8yJDkvnA)!k9djLu*2xUN2p#P*s-dջyZpG^\E3ώsXFL38+6H(?-j0 "!zMeI=nM=+o^.lnn9k$`ɺ[\Ҹ͵h6_!*U;_2j\N!t[0b r9AQ-,+?d8v[EV˴mZy?h6&JgZعow6pn.Z^1-HL7"kv?9 $F5@6c5uԕzvN X'UBF.)n3X@Hui(og^NP7!C~MGxq.LFP:yήk zzG` }[%k!#ڑCxvg?- P@?Yy'nb>2\{|YsWo9<&A1@&̼)cORSgW_\2 >!{^1:3{痓 JX,J@9VH,>is&+qmXI r4Zj~c`xsLMgrE:I3S yDum( (г(od Uk=T"Kw j0 ,xO=0+h"w@7yf}CP/dr3ztIe" }qO^ b\lf^]ak.u#9?(![v_)*l悵tJRzbF8?<=.S I8h'PK1`Pwq~W8d.̒L.gzoݖJx/D2yUkrLӸUym Wޣ6ZuYChsUyեh?ڞBw6By|vZ5׮M(^q%1 h1wM\@S]16arպO}A\[5h]X&Zf('7Q+İQ Ѐr9 rX6܁zSfZ.ŏU0-ސzS2,t"npiǗrdD+Lv.rcBoICoVEVd@EEbtmta*h&Һ!uh:|SrFMlov=rD ' cq$=d׎ u[xܘ}3lQMƌWb-! BFrT~Lnqͣ&MVƨ88ueʐFXu{UMw3X5 IW3Ik}N2SQ9#جnH*.c^rj*rmΜ3=+* 6W:dI+r1I"Ns<| @r)YpXLc[B#0En8诀,Ema@pP׵-b!$tw$:kC"ˀ\:W5kQ@ KE\%sde)RTQUZ }T2](5%MAoItU`9gV!+@82*of"Mx;K#iߺ 5/p\8r tЧքP-Y6׆f m3W ji`+c\׫%}y (|kr"4O,b]hÙJ>[(2ґaDPFi@`@{F|# "8[6R''[iЗeA;3j3a0=]<>$l3;L-lIfHێ!?e?Fa:.1s= Xd4 cM{&nI EdO$rp\sǶR(>YHݏ<^gOa*NTI+F`Ɏ룆z,Yh<hNc?DM%PM`CGqG *3OP]F:w CR td>65H.j[5`4EN6M~oVdG殳Px,sn f˘xY/#[Ik\ `]1/bHÆ< v=HaOKAG^ym;U_Gm=/;KAM![U2=翚|K?|t^pQQ T0Sƀ| ;xO s6}4+s@(QܭN',qy׊2ab.Qؕl/ُ䋤߸ J82ZFUޑAPǗ?n$Rbm?Tۈ-VuV9f* mPP֟O9=H/ 0\}QhO@.z.;v؁mGrFdz<v@|5숂ZIzq7^Eԏ7{/ 1h/JRRGI'ޱJ2:ZWymZI5^܆ W bab̝Vu?.%a aOFZtue"YM`(in| %VMgLN]=<y{|Jl /?|/.!t\`OuUɸY(N2Ajn62"܇ٙ*5컹d200ȎZ&ew%$ڽn1$ߓ+UPOwpD}!o`C+U?u cϽ@Zn3>Q΢<4ߔ&|<=VA$n}<"!;3hp ,O*;Dx^TP }#Jah=9br x!w'g 4,:#p#(UY*gUv{rDvp3Ǣ(L =&yZjOX88CkAäK'NL)T$-@\f#FC-51&e }lӄ4(}Oyhsd3{_Gu \J|QÚA:oFaV+( A΋*%J.B3ݫaJ?Gu/TyU} !Zpk4(g'6l/&KdbDsN?M@%xwwAOj;|qR[x;6.d)ΗDs+-&Ȏ:4sE'̫޽oJ:XWk u(i^{'9~hGMܝS pn'X6;sN(eP" FN.KU wQWv8]p8"i }%%g_ZOӍFqn/SC+2jF ܬ= ̊:):tVX?خ?\Чj^J48~ofk֣S[Hߛe,yZq;M9~ݩ?QYIoLG)xfM\y)#on ?a< BG~`1%H?oybtn,}R=IPY0eoc8'\jx*%o0y~?HMŤ߾p%|PK|-V4|@p0vmXY;Y,Y_kvo:B5'ɧժP]]T+mkÕ1,G5Ҋ\J 8>ٲW0Q%[qm{t bnBv;QF"P ?yO׌&кC!uI+Pm.MLe!Ȯ@X@{'Z}}huQrqs(GAGǕ% ca%Z!%>7inÛc^])4`~iߒU5фduɄ"|\47lfA?".l]Iҳy'u^~ ʤ6Rٝ9:Lv.A0XTt8qu#.<1R-4;Gܬ~^&'QJS'(Wu줶z8~L<`3W>)TO;6(Az ,;(|x#kU LT<xe+[^xSvM2@5F(9OO xh&RxV wo> \!"N}th$}k-Kf}θr4B=h IWݻ۬wdüPZ|)Hؗ= :@Sw_w!փjՔJtѥtg4V&OPFvF(Nj{̱~ u}$ƚ{TUs*/0m/dE^㜦o%R+yI[%܆G׭*::EgJ>ĝ$kg(?~RbWz~% w2ma@u![pLz`q7J(ӻrRYկ?r3{4I-*S#jш@OLO :U+)zs"t Z>I%lDH='`qEfu{ujуOJMOnzL.b' }njHaM„mx%cNb ޴<@ W|зN@b=A+ַmWQGח0~pp2OO:ĺfE E3ԅ.[0n\?8H{9"x/0u?TԿT\M=d1T[ aàacj^_،!')'_@Wv[,W=vH-MF/Y.P6M㞪4"0F+n⧶OTFldҕ43Un{S W2}ol@ ‰rmb:Ԛ~1ʷlg[Hvأ~l,Y Px p\Vl{WvcWEw8IcVXN캽 -pͰ ӐB\ֱ{|yYXK* _`{_gmM-ax#`9![402,Lb҈V7J9"v@ҕjyJHZP0_aq au *X˷pJn,K]O$hGIep'νiq Zii~IaR.tSr ?EDf"6s#B1s M(AQ ) 2\=NSHeyrc }*{Vs$ߴw~2;}"79 fE-Xp&=Óգ4ՏLdHxLDt,p tElzxT&9 `\t-Nc##sPAXsW`c:or~ Z&#Je[A HRc9+O<(ўՐJa,ؒ/9~p0/X55-ǝ‚W)4+t8f]ƌv}_;dj&Aqh Q=4Э \PԂEQm?~[EJS%n19j'=3V2c0nR9M>ty> q;.G 9h^4j%FD1Lњ/ZB5zx! 3u]W  vJ?o|4bj*yr~$QN)Ј,ODA3g<ǜ;WJtB}?X-Xd{*.؃kO7@s<<")v)"SjJ4Ř$\_,<8θumӋr}e|6 (|%J>rdlj(X]nޗj(i˜:{oe2Θ1ceJqS7Kw}V4&@䲷ްgI L~bxڎ-_,:D/5td69S#X.~JW֨yQS"= @)8mjԂ d`nt&y Ɔr/dӜtF68C%,t{=ο8kcV,2 Y՗\ܸ2v?(ܶ~/QJI#`^.Z]/H}QkU(G.%alq{M aH;>2'E%0HE]72s5P@đk7зz윝Xˈ(x'Zar@ʕa)Qu\,SV//ijZ[ȵpIv,`Ì8 yɱP`[j\I3$aLihHEhCi/\3wi0Cqhw£,ee9b6Վ=c}PƁexcC6Cy4m8#J0l-irQZa ("M\2II2sA#e^y~֐Ig0J=0{ƭgXD 9ɗa7 >Z%NV_^q0UD6oۍjBy4OŘT6z>i킫M̵#D /RYWQv93>.`toeAA^5# ӧ?T9 HjWL*i Yk(m.[R|F.wK؝N'UX/-u!dw=6`w_p+2.:JwPc/ΘׂhsXD,YyP)7S M$}[ z,M dc&> ۂ 988!sh#©p/5D;&cBMLi|} :Y0Opk l:wkf4͘'z7UVrC{%y&Ӻ:[{m!'Qj(}$t*Z* EA[TRq*E8%cg a٪. т57?"i]$YnD31NΗtuFAI)WumW1d#G4d!kd_8{G`\p&xNEp竊_3LQZ.h{'qFoXnIWWJnᕈU+-3yf=YsP_\9WyKOh1IXؘs#\pgPE?ff O};HiZȺ G%eBF^ Pq.N5OLeiq`CCXJ }i3Y7RX) JClʇ)yuHg%x+kf RM zy+bQ9xG#u^%e4nc"Awy %FIA_KjLZa}m GHL\\f0둚IA@țCVΓJ,L&~㽫&;ˉ-@8ȭ!̬ EY9fVP >S~1t1Ai<iy'z\*oz _9{]!uVm_Mz7H$ -5W~^J FN^A ~x=L%]ɴ"X"i~Ԣ'<5}8!zIt@!(01 |K_s& XEϋ=+ҴysoE% (BBCJ2YS44l#i~/Aͧ|>w%5,&G1SDEirgy3A7Z{rHdlL,8^ce S|RǠՈP.~_\NkV9<ؚgKB!t#b"6plmlӓUfj5|RmrxGdDPhGɥGT8T<&p7bH~a{p$dK#ppk(tS?eE&>eouNa5\T64ўԧeHCr/Z ەy^G."2I$`ٽ@X:a%#*Yk7HrѬRTpVؾq#CC G)D 8z0V <6+߁˳uDmT&F##6ރG3R;`I 5 隧ꁸsDg!2BTf#!E=ڇ78?&;b-:pdNN.ub?IjFJ(:VǢ{g nNO;|G֫Ttj:t/L7#>((yqmY^$7f;ta#O`>SPJA>k'<گ`^xqsc0o@Oq?yad.+N=wT3:=Px.{o㾱MY ,@/8 6jYw2$is1ˮ_k'y9<(<$|wlfHYjbnb&N^0z<Ψ߹䵺^^$0~=Tj4az(uĶPFjZ.i j/xCN ׇRqԖ<(dyђ 꿝09c Dkt!Woگ,IE-^\}iQ4t p'5uz$2 Qvb ʹWtЕ]x]`^_NGħajN>Gо:^VD qzV~ Q3}*>Tu1u `A-M",G5֚y$O*Xc]}9':ƇAJ 8C4}vR=KHkH1(޲u/2lY {Ec ?yΆ\=QrOI֚HżjMU-FrY{b=c z"jI:zE; ͼ,$8hĖ+]o =GIݟ `'ؠlε`ߟ |DG3KR58W~U}Sd%0kUiv$?N!,GˌJh2{)çM&Ca/{;p4H-¢jO~ш łm0I/bSȀG`6`[*IsaPvY 64I4&ǧ 6&ݪZVNF>{ѤPI ݩ'+,kl$ *o%-n''d}\x@ñEDk4G@쩯(BXuJF\Zk/z3 vfz犘_"+Zz_(#m$\0ɪ2HMc%B zE3J+AF!1JRnOϟǹ3L?ͱgYZcfbeb3704566bdc38da5092bd3fa8e542919bbcfa1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 a9fdffd633f8437f7cc705ac0a290ba020d4f213 3f2731add28943976c9b106a0745fe2dbdb6a52c082626dd5a2c489ae98b7e2b1b7319b3d53a6c25