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  HKvt$l ]% Relational_Disjoint_Set_Forests:threads=4elapsed=78.325cpu=132.136gc=2.9607zXZִF! P]ŗXiɟ7KIxjbk- E ^Y!\̀a% ٮA0 14=O!Y=# .8cٗy'y0{p*B{j넍@0WbJ26or PVZLHqz)+W,?É4 ^ r=#J܁2< C"t2W/UxFD՜t֧U֝lj>#^g Gfd#Uels&[/QM B)(Xv;%Cm7N¹["P+%~UZ4݃ݟKr\~/)" $)ؑA ILwvcɐpX>_,RF0El=!ϰe=[ S%M5;UŢdnnӈ@Ƕ/E<--p˅ *2E-%{^7F7u1iaGOٍD~$y`8  :V"75P 9QHJ ELɔ+և)lZˍ "y{']E~ B(BcvX3QE|r{KV&KSDyp9l(!-.%:[)Dz'|_uMt`. 0Jz_mLR ydSvGUc8N}44rYl9Ϯ8B/))YVߩHün j1Fw'>]_* ]X"7(-8`Şڃ"YlAg!yI݆vcשW&ddRf&GOL8v,؅Q[%Ґ+f$ Ʋ轺bgaF%:cЗ _Cv4OQ+djN< êϏ,js^FAsVzvطa @Ǐva>pPUI w -{Zei~s@HbY>zp"i sC>]r;7fJU '2< Ԑ|ռ]hp&곹9MNO(Ra8 5 '`FxSXo:ܹNm. Xpً쌢p}{w~gnCSrWDٞraL^)򉣲I#+C(Jy2"rg?rqI/)rl[=jsS27a]POO&q~5}l[<:h | J3 ̽` zZ]DC>`cP\<T>؜v~@pNiSjRE¶G#oqK?(0O6%tWqJA4T4fLbQ(wc:_m-AƟ%O*0 )!g9]Ɏei*4\(i#@:AyACzgޓ\ܛ<雥Э[ 4/Z:^clqQФh0a斀R9"Sn$=A-#QBM ,gNϜ,MEI ɧDcTl$4E]9qan02CP QPE>J hOD37>s我pbd@n|hQyZvE9C7.> Kn$wQ4 N}8ތ=ky~i+[q6[)Y<72EVϝbdH 1F9m".OUUt.}y/ө*;/(&HO#9v=x,.עUˆF;梍}ڟmoaDzdzIs^%?7֫29=W0gN1xqHgu~,JTw ;Nԅ%9Yb"mM\QF~id>뚺UWaeՙR!2rcZ<5ب-ݿg$ `ˆo$(mOfuoa"_e,/xLWlv Q](&vqQE22Ie]dZ׾=SfcR \a6VU*SF_ƨ~ho>kotwpZp3i fS]ٯm OzqST5Q7v ȼ1YgӲ'GfDq (c`lMUqRՏ08fNGy`T J ~&Wڔ?n:yAԪgtLVA]K©ӷ«;AoޢS_62Vh\4IT`1 MPAS0HnF6,þzTx<*F<@Mj2IInp^X1 JDh ϣ-J2'ci >d~70MV6F4^WI(|zFQTb A$s \}.4 X1nCG4gށ/lv̮暒"cg׶!`D6 MZը/4!HCw giP;HDQQ['DZ~S($LWgnw:ՄkE  .̲^r7]K΁}ښ(:bh(`",eم*Y6b4$\ZZlNHA`vDR:.Ή`ҨH'6hۘؐvaj!)o7 3jc QD|0˺(GC 6leyf`fx,(seDd %2@TC}D&Wշul=L~Lܝu5lnk:7 g{ڝW.RroJ\ZBЎ7I Չ}jTf U f3.VJE;S2_NjfjUYWI)8,&Eט6`Y^7 @,'""R?#&Wۖ=ȾB.Zk]+%5xS `X<1 .ҥWWf7>Xq _b.jLCr6, f=ޞy%(J#((y fŭM1ݩEq8c|rQUzB}O!^y?5+?}i!feղ EWQB$iyJ[{D;廬KGVK/utp nq\cPMM˯w_(?m.I ^ tJ@3rۿ8^:OSv?BL1Wa؀iT'}"ZR_Qn0Wu{dA?) ǮRiSAtqKDTk+5@2ܭvH2#SAV˟[~z_CT&G 4)KY0DַKp֓o6]f}uʯ Z)khSrЙul2|J<{yu s)UEM#c/o[XJTJhmn@{Id S[6l%fյv%g4]9˟_ eN¼,rvQ#%k.Iv!ܲ\Tx^(WCl2D꩷ ?>3B~p_y9kFױFփ [N38<_7{3#}7d.=%O~5J8!h޿#sLA O:٦p6K!H,ΛB!#L&-M-cJlZI[C'u116޼Hv2*m9J+]gHZgW"FG"Ep&AT[$OFVJ[Ejlw,\W drgjD"#a1S]M:3ɾ^Z{]]hrӏw@is/87NjREK8;Me? h?(˾Wv2fy98uiG- efdI]_p!be4l%ː"AQ%LybKe>HTi:MOz*-5zlkZy5 4bzwηvnɽtLmHrs+ZtXH*ѻzpґ$ɩTEMӒlǤL21O4;%8;{AHPwP *tVK*'`TJtGNڈļW@Z|YI:EHnh;C< ֓m0$Qm:ݽ;#1XڲU ?7;f^mx#sbG#.؏@yA FthäG0$* pc *.WtR%y`ysAgEc@8F?4% Pth49 F-ˊEh*)k A+)JowS3ZT[}Q}ΉvVpK8^]BGnFF7)d~bxn`.xB?ACfTO[V|߮f-͌e,1`\rA%8EVV=G%NiNW8夆˴ x>0!4tq:2R!=%Lx$':XrA*<6eY|»2Jj*I߆HvVe#n-E2Ca {=pj(vtN1 lPCX"0q&֜ W !%xgYZм8lpj2xU3J6ey|D; ]R9EoS%|gWcR#Xl1s(BX(vx(&KUD ewc 8/[nЕT3,#Wg0ѵ-gʬ5B:S6[̡}W259M2X54KZ(.b:kZ>iWtu>D*M-6\:W7VXW/?*PeQ@A8}1RG Y)^BH$Yra;?].e+aV Ϻc+µ%47}.lP3F s =ԃ#s!_.5],DŽ\9H@p*!yQl<;,ܧk?\?cH XY $J 4&e7]W{U,̏մ>ay aYL&2nmT! 7l>֎;e@qӱr[|/H+$,R!6>;&>Phh?W<F ֩FvLR9F!lϲ-ؾSҵg*/H aMf\g:kδѷ=RJi%BL>g3*%ND$^,kd@V6cD%t}EȞ$xܬTZک0TlЦn,dMu7 + J[߼o}ZC; UZ('W׌W4?CcS{$ǫ(ð)@V}KRzⅵ K:$w1!X0Aeq~- y!Ρ 6/51ܡ wb|6Dp -#5@Td|(=8*02rv $I|n(j%gwP Zf*$J=WJiW^ԿȀB.o9 epޯ%4>f0=ɯD\t~-Yjc޹wZOa~Sn{YkZ3,69Zڟ̑^1D.>+xU?̿hm]3|Zx?,v =y6P!|33#̓ړf[=\L4'|ޕvt ZU}Pգ3Fz8jhNJ3Q CF`] 1H gu:1Z4dtd0/9'8ރ/sHXi-'^kZe;{E7(9CUlmBh4_+U]{ex<~'۪4F nPV^\ Um~wЧtrUe>G<%BddnVd: ˾}zd!y r*->aqw)"'22@*һO&qErF'.8;PZD ׿Hie1!L5Y/x`8 HmjlHgaW3,#[ɒ9MQ+-lj6(S L2e?Hš ;t=$+#x&`sLОԗ)"QdzC :Ay`#G(plH>;UHZ ybX$ƬNf|Dy;$sP#zlƀ~Qou_!:P>7UuU}4I2鶶Nl> /q\3[\bSYn5I0FIUÞfPտ& g請Vp 6 Xidܱ\ˣHa+%y˛cvQ/^;_s7 BSȡȇ7٫т@ޱKz ։Nĭ7n;c~;/}8ggXPYF~ڐ nԣMT#sO>w5]#T M31lzY$&89mBfLIzj=$Ҹ*X=rhwK2SC*3u!#T~C!Kb|40SdD?vIn}kSo%ֱpi~!-wf Fǥ--tulđל9WNfo6ВWGЊ9^$yS2Ѹu̓^݂.^q_aଁxYeu0p,nRQGTȉ#ᆘEGlæK9,8[34OZAl""AIڹCtU2XnK_r[\H>C9ax,ZIWldpś+GL3ɢّlR̋)8m5ioe֌1Z<cƠOc'ۜe^x =f=}1]B;2]`6)g}hL7:Y @*g(SA`/*S%CZ%Z@!輙dƒɌɃ䙠O-.27!+ mK;2nOJNM ; 3mH벍( lL S: Ux}}Kuihÿ7XUxz0@M[6J%U p[Ý<|H.̫$Bxr /k;p$ NNL }2,<Å]0$໿#nL1 ,i8g0iۓY_pzan~+0IoD8Bf%z[.Lb0ÇX:׍iC,_γ | @ clhSmrMw>̀#?T 6O9#$`֍:Oa!$jE|[u,NSPwnYG}n_ѺVv.5=7+P܄r%؉^: f& R]Om;+wȈIz" hHE\ rT /!# n+tT;}T5͸/X\kmbƅ hsF5k$cpVܞ>jd'lLJ*Ğ}XZp7캱&fPLglr8~(,]xp,҈?k<@ !K Imp[ ej}/^U@p kr_"xIA,x+8e%xMQ-(@fROˊpڈZ@4QږUMX1EMjhE3կ$*T\H:HqA;+wfBx(<8vYBw3M:V [! \$8< hAtQ9&<2 \?tsƹw"Zט՟8Ro(oB|(DÃ\QU?Ky{y6.= T-Zw"K7v1{|">"aQ́KK.U^{˫\JW,u[P{2|4 ?DvXdAnK|qj#FtDdv_ ˣ9K#$&Y@g7tCQrKG{(kT]$%PW <ܪ\_Fhp]G][}bbJ 2ͤc9l zƌ4^AC p?#vн[f7"TyAy~u_ecC$W{hu e#d~F ]D}Z@lgr9<CSh )G(Jbm=i E>(r=yT@,yU-N%[,&B!28χ|9wEzs!=֤Rza]aӱmoNgwSgT]%&2ak>v=\ӟ|EDXy ;2"8&$}V6kތN"EPŎۼVI3!9x+k79Ce'z2ea)"jA 2S˷v@Q#I)m4W'pN "R23ox3}QA4;DMf$E9"6qIYO\a3fbROJq9uvau"><߳-yNU'E%4K"ty;GeThp-4/hJ'&V}jYW0W.\RތWf4Buy;0l m\{w~G0_G(bP0v-40_6>V{Ud˓S7,֜}jxAis6&*:-p=!|$PAaӋE҂}ky`+xmwg% SoV ܒ5[PtX`lLwm_NDKozyN9sL.eE ޼7#$T!a|M_ mh =ҘB}C<w-)RV/iquo k?iH8٥mThVJSHyq?&Kh/B+7]JׂHj[$I|/$x~#<.JzoWD6V,,6o.mՠ Xh\R9W{Em=p0 cڕ?}ɊNfuMЃ`YJl\S驧m4M1phTm"*~zM5b.A{sܶ0Aa+y >͂P'Xp Y(Ob'z@ 9^?Wm =2Th"J:IMŃmhS ;JKf..*y#י: N@<,^Ǎǩ37R,TE2VcSKŒ 1aynnUyu\:;W~fqvW|Q3|HmmDMC|UM2T@Y8ϧ&VrVM#;RJz\ mQ7\!Ղx @5N> }œ =Dt?<_xpGfxa{2.tI2[Dgl#bYoo"*0 DŽϪS0\l'.,u׭T#H6-$Zۥj+3쮈|TnǖWJq]"3oqb eq5Q䩢Ze (_nӇ'#3\Sq68[<1N ~} &Lqɘp wLHwptVnA?~Bأflrퟬ؀{ۄ4"7oJ9//zޕkgJH frlء~qe0 \^Y#o_ ١' w3,AN)ꦡ_kݯ_J뻵$o OS3}빩T>/|*ωU{A^lr` Da/}tia0&v7Cќ/ ?\&pj]5Y#xp/@2ϗJuRO1wf|'=SrdXУK;ݰr[z212囄\驌uC e#8jSiρ`Er?[Mu?p (TϨk8/-`4ilh">1ix9cLA?^6w}o'vh*PsTBJg&cv"Ki@?%j7B\6TGg+XfgfǏkz:s?%BZ57 ̆6ZBaˋ&r{CM ְ+WNl[:[iD jF~S@1ζ˶,/L{;fAGExCKX;kElFx,<۾^XkV4Y Z0w9Q|(m@ 'Z 2Ina힁;S6'VS{̈,׊%QMqh"*aN_{OE]`^52Z^ZC mO%ԥ'J4LpE(!i$5 ۹FIT^>18?%M{AuNWsP9RBH%0oW?vQ o&PI*CwLG:GlcF(}|r*~z+g"E^&.4){)KHf$Tk]$sـB_~=(Al3ubBZ*W#7hda۳Er+,c: F?"@YWZQ4XF$N;Ɯ~ G#.{˼rC+Hcв+. 3{ʋg~>neƘE"n1G欤MR}.ZNW6Vc6b"e_KVW}cll}޴R|֐ o;2EҗJlgg ,uȼk }/|Ń8a|ߟʊVVhC:k[n3G|e WM!Z&eGNUUz; % H|2: *rkܩvwl lVuK(;\OD/|l:9i+KluKJJW? ( lue=gLȭSv! ͥ¹w/T{ٷ@_T݇?(;K,k0"H}\O_'BRr}ب)RiG}hQ `j瀔 jak\oL*Z]F]&VFwᝮ,ՈaB/;K >SΒ|?Y%HT]^!H#CFpF4j KTpl7J2NP)\Н+ah|6QftU1/U9F6LOfqmq9?F~A3k4B`>w6 T?ٌh1?Jj/a; "K`}$76ɟ  ˙ruˣzrx jh"Y^i&в"MCFO'd2ߕ~E%oYsxHߢSb(aS,::6Yv^jl^*S./݃aǮ\"7MOԱ$kŸt2({ΏS @T`= q9cN/,2(&ϯWw!fhʍ4dQtuǝ+dATuA㒒O uMf) 9P*J!+6yLFp8_ {1H;[ %t.2 } sD4ѩKDko6H'}Pv} 0ܪ}cqbt/ @5ZU|]9=+#} ۘawn"TE`$24y1n/"D7E][=*?SH5(iQXK 8\$\qsrr'n `a&yepTCm|g{gTVN SsdDC4Lj| ju$vzqIG욻;oJאN%NT)6=MwM\pa1[ <$c6hP‹!r$5oQS缅`N&ق;i]H tZѱ"Qg 3G1Ks5Quu+ф bT33EПuMzcr 1"\Ӱ rofvnڋtzXtȟ~O0onTISq)'5uheBii6:4Da?˼V.R}%Ο0]#meE0Jq4Be@!nឈ$Љ :)@z$/졜Ht<ʕV KӜU5jX>)͗h$ON'5255hУѯo]@gvXgYΡELTh{Ib6j-|PLw;ȑD`G/yvo/*\@ K҇@ٰ7R@ˍ`ŢQt ywEDU7>^˩?سܘ@<bFm:@PyaӸ#OdHy*/+=Nﶀ(Z˵C&wU d^5w?ASģ( ;:F`Mk?2:k5d-WM]8_y~̃B] ڡpˬddF} !y`~1k>4iϵ^Lv13)oH燼Nw{l%eEtРl:nu3?`Ѣ׈>sDN|m+k b-⠭{!ۼ$TYHm|-ѽI$QT멪vbX8$'fcɕ9.,ȑIUɀNWW{*cXA6-GOg[Osď*}":|l8<*g}'hwY@.xI LIIg?P/z*8 2Z=j +2S""I& 6eΑ|H.FxU&6-p^Fu:$wRd}M<ܺg#Q>[8drL: P]YgGwuzʩ0.,>ڪSנc~3O1(}+1M&.pp W׳ Om~{`lmƒ_EXѳ*k77儌v}lvܜߚ%@Ϭ _@E.th# -=[$maܱ V6b$Eiu^=aqsP{X`PNkufR*O,:, L&f'\sM0&G+@Ar;;f}g¶Z!UѨΐ+fQ F8nps2P:[i7\t^ V^5֖NWX9U!3݂B\Q͍Yf ,Y!Y+z}f{^ z9p u3a@;"b#s8>6֛t8 V@-W<{qX=ӞxR|ӲC6Dl;NscnO"E=]9_K4֑$Y3RBtS@"gA'>I z!?bԃa!`p!k`H PU 参oݜeqM8>Ԩe"Ud4f ޔvC~-h'QV\ ,W1Z Q;:hCci˚Y(Y r+*|x%x9>XY0ˎJDvLc0xQF0h+<7:mݜ ȪzK`p_3"t(Ovs(Nc8H`&ȽސNM[ܽBgeμcԚI6 \ xDp[昶: W+B\>sq8 " -iaZzʢ4*b"ԋ Ye]rZ)O}/%( aCt_ bWy,4^ sÝPw}4`/ceMU'Xx.Qy^@ⓡe9g;uLEC6(5$(t?ax f&/(quWݟo c?Uخg@/qU$i6H)M%͌6bֶq P*}]cG'\V!mg]0MFz[ΊcB ;jQꨑu[}w1|DW8 y'@y ŧ [dz8l:󛅰2W|%wy7>a^tԟh4인Oi,O)=HM\lTDmOO?Jo2(3ғN1A7 h?VUH X( {dS;>qQ6v`6}V }Şԑ5?IGX+;\0Si-d825]{} O: ]&liH dv{[~yY\m(BɁDzћ1 +IP*,7m8"%ϋuߔ.kE^˷~^C8"n Y>nF ZG.sK]T: -OWvL]"ƒJ+7aKlGA'іxX$Dn#WֈV8yY q'r#\_-bKOV\vicg9x(ӗ4`-mśe`ұAzR~3]b,<m5_AY%=`[S+7t1:Ȏ>XشB6Q=q;O>ߪ[?KPlv1D nr&Df˨yAʺzE LӧF ξKua_dN^g|@kGo.44WdXMx _'4h*CVTНN"տѺdqͿ?3!Ȝn0马 Nd;( yS}O Q 6n_gU΂ N@ ZU0DvU^tmRUHA pd 3!+]۷LW~F\  Vfnfbq Q2u+[Tc{EO33tC})-LL*LWˍCWKTJ),]l$Os?yz2u^Lɩ2yXh ŴSLйv)$j_@=y}䳘NQ 孍yYfbJuVIݣB>jjK)T"gfd3N4 Ad_0?y| Q+i SqLAew͝һS,7Pb`E G;HV3y@sCv XΕ!nurncZy xI>$˲1.> "r)y)o/ "vb` 2h V^OF_c_y*Bƪ*Ę='Z"ZUe(`!{Osg E=A-T$C͑_Z`=` m)xO#ɺ?_ÿ8 Z98ᇎv`FT-{b B]A`)HiSG̢1%Ü@?nXpyS? 3w-܈tds4FMRMyN6>pwQ^r0^Z+XBǷ!X~騳  jg@`4;\d){ׯrCʐo؋jR˩یYG[dR?1z7=Ro-SL:.00F>P@t3&Ium?чx>@p TfS6~"juK,#l,X?9Ʈ`pPU|ar`PC-GlI G@ڶ!vx׃}{ýw/gF1ldv(y+P%A{1%eRd4(ACZȩC57R!BqcѴD_BH@,ZНl( \I9Rwg׎':bGe28rnjz9ݟq7TiNJ~N yx%SDlNCn;"03I {Q˽`]W.%eXQX3`"S.C R{%Z8$DT շ=QC%v|7oϕeiL- +t䮸(CFɐ;ж}kHQwL,i& vJu=bg-/4b3ڡ8Z2pؗ,Ҙ=_J8Es̑י^z[P],ЬcSoT\3rWpd}W2Y[Qgőa$~Qt8cQx88ӯ Sݲ:m" Y?ۙ|BbI(Pũq_73=ա+7wI!0M% voRB,J;jZܒ}`VQJ)1Bnavr-B) ݘ&*U MF )|cϐs&n{Ղ-/] 2G*QXJo-gB"2=U,ͦeTSF6ކ'Zq pE6 8Al @uu SަVxQ1GI-fKmXjdY,͓Ag13yM5M率)^BHUVMTgld`󦋃J`q8J[QS,< Q'2ȮӺATO7͜%yd/5ΌZw K R/Ha $]%hv`P(-ٶ7Dupj N6wk`IEv˩K+Ve+Y4 {wF.?Dx#)lֺT MYV3T' w'n;3 *ZXlgX(6߻ĺ v?+mH(>Q&|5C&pºdbܮav TXÁLDi,fR2cTF w@`.L: zr 俚&>JN{rj$3?Z]p,^(Rtc!HxXQM i0z=YCv~1UFSҩg\7riv-G [1QFNÉ݀ii{7^gµ/b^D su~MddU)T*mq~:,[,0+BmYX|" /2tҼqg G}]O$ zf]FӫAܣ˄U!%1OnWaxd)!;\UcyBG1jTϜ5ԉvzO9{Y S5k\zl؁ lw\ _Oo sr8RS!?3e-{"*3hLiG ^kJ%)\E!Cm ;H1:ݲW%;2:L#Y[AuSTj6[zJ'FoX 5Zl'X 9 J= &n?NaVh@ofþzsN9>?$ 9ԡR ^Tܱ1)b3n2X[ /KRNCIl HZ-(])oQUI %\"xG;웊~ʕ^q8''%=ܯU}Fu/Ss8n@XI]Xq_Jn}Iuӗi"AJ2J IBĽCBm4knU[߅Cuk1H4J֒/+:Vgl]YmEph_'@ fav0c/ndAZAݹ%Z TR#ķʞU} {܂* p01+sVZw 3orAY:D]WdOǻ擓`tK\quxCJMF|A=yT4PU *_<ǘ# w1^ h<9xK$eʞIONڡltk] 6&* ޥN ?ăwY?aW3C6@ Hp}u])l0z&c P6a&l64ÕxhĮcevPPY Zia^GOf  e3)y3IcR¼_&Yx*ujzɋ<_Wy"[Sۅb:/gYZ KhvIZYAտ0#b鯱bA١%+WMbc˗i7[oˮ6Δ jؚF$젅w ' *-yM*PEy<8P.O}c44ߧ<ZB(:E n!sacHDZSZj5mkvG?$*V2^y9f/R9HU+,Uel&Djg'yCW@rܷN)YUmZJ-+n tP^ˆTpkyѡ$X DΩ(^р_ELVa6} :r3>f"`C42{@[ѱN^Ш( +`_lz:z"萘,gKzW<o\Ӈ TZQL4>jAy;gH7UIԊNKԖ(4zc? (>~ӶN m o>` >s7 APɫ+Q/W,rfU/HƲt1`t[:.SXfU5;c~!6wxwA;p}g듉 ¡hbL*Ȯ0AU|LQփSF& mXczR}Jd]wL cQs~"H@9(,XIiWUΒMm|| ͛:VUQL{sRrKurgo_I³ԡ: im"%Z 6|Z* )\MgYZ7zXZִF! ]ŗXiɟb緒)蝯2KJ&_N1.Y7LwO>Q}! -jy<Q e![^W ;D6(1-37,w;#19 kgYZ7zXZִF! ]ŗXi%B{[7j|_f=_R~d(j~< 6֦mұ$!J8 #VO7>< @p̯O?LQMm"I4`N&l񒱡~RTH*"3zG%򡉘&@VU]=V_%!n^AfzJB] $J0I 2a{N y8=XeHvR0,[e8w>w)\~G8 W{Fi! px~[ygqeS26RlygOhH2*R2cNj٤࢞p,D$Z$*.67p>R7B, Kɖ&}V~{Q'%fNGm0]Y@>k)t#Y!T$l OduK\O/J' V˺G`1hC (VMmw3Ѫ=a1Z#J{ =&f߬u74$IDvZuF -HʆOXy#~LϭkRk->z)70vH<4୙F P$jMtOeTŒkM30tVѼ}%,YDb.u"qWԁߚ LZShQ[-i'DL7Г P>wǕۻIDy{ǻE-LECB$6nWd;a38mT4.OlL@ø V_.0ngj0~={N% [6?c=`̊ #n&6bed8'QfW1a!mΈAŗ]^ŕ4a>ZbSKGlylD$6SML ڽpD#H1bst]ya 1ڎ%fs C-*r7)[EHo@1SGVh$,&AXK(*!֤pZڳv1sH?V"Stz񄎚>UwRx \{CsZzRi1lK2s.93rc*8:ڐqDgEk.Nvꛝ[tP!mР: }>qE_=lg78R|L|Xq`c7z.F5 [TjپC,xC(gmnl/T gf뱠67ЯEZhWp݄45酳gɺBU>/0͑x'Xy4bh߹t&[_nv`ų%5q^\e٨z=]"}$ʼ  'j>Z6SAN _*o\\D?* ŹC{`.ǟh{!Mkbsn8~m"|a2$,˯b%: /SL5gh^X4J j)ځ}dn77ׂE&nT+}*3j zCaG ]ň+-bί=_a ^ ՗djV9V}F`V #?w%XlEW DI(4ݩz>Йc`Ŕ| m+FVx bTF[ަx"Gv2B:Eٴ̧r>; >f{&Kqh19n8Ed,՛D4AFatQ႓EV}c;O;ziWra, ,E !6~7X@H5~7S F%*yd?5럧J /*ӁeS?S! W+δQS[Yl{6@O+.} ?uQ[U{PTG8V*}Yy:l f%'<<·8mr /cQ[X^0ı\He_Kqf+m[!hl| NX1Sz^P.; y/Fɽ#_8箣N͘1Is:]`Md/x4,#k/?9`@ȍ pjP m(wϾꔟLDq'8՟W#4S*7+:*V꼪<r]wπ ײn7|_u4eNB$VZFKmM6\ qق oJRaI"ЧX ЫUk-?0@mI3M *s]- +JV rxHM^:*i{I? 0mJjkcqxeӺGJ}'C,er28?bRHep&]>rlg4y[l_f'Ix.,߭1 $/0+dgw‚Y׊hzr+qmUdH]eP4 Dۂ,PJ{ كY8lѧ@p[V 8}I*us'eG(bLĮnZi@nMT P3h^"(ȩ\3X; 3:3Ӕa.r-AOZ.b @z)A.*FbZܟdff+V:u擱n0Ne+ gEOw _ӘgѰ¾+:%=;p 1iLs==ʞPhCZ⪤@ҟ~UhTUo?/0>8MK*ټJ-hA&ST.>\4P,k/Q oM@Ejh`8_qΔ;_{GC~>~.-i?&+^_ +R >ֆ[9 4qB476ȺrY+j'jdQ-;\3vBV ZF)OD!8kr[FiN+~N(IRۿb4U_ga#./e XOdd]^f2n\Lp' C{<ڀWC?Lt ~m['ia"L#CG ꗎ[bbߓLȄm T>ӀDƸY'u{e〕ca-tZm} +4Er.>;K?AFe{/g0G![4m#R[->e*Mv}AG,HȼZ L;"KLeS(TPұhi^rݐF!WD&V<ފ]V_TM,F &ڿPtm6gP#}W]̄2cUKSŦS]#cB"sX7 AcHG_KuwIhr,q9OT43gYn:H)hF$$ 9gǒg iĵiz՚snom@gʸ+L#lP5Q<_<<+KpYSG>@P-bTϴ#_(6Gz҅N,D|RlI2x`+q12ir .CvbN;t/Qrh,eyMY0J!9Xi?eqP2E2WP5BQLy#VhsՏA$5uYAH@qIV'8u8Hr7+q !5dQo!T7'(_x¦b/ܔ\W;b N؁o%鮦N4TʼnW)Ghc"Z+iBڼP-t. M:t?2/QZ7bX1ne볾Ͻ;Ke:1` K+GTo]KDKSUtT<h@RVBKT?=K-@>ف$sS&Ǣ=4z_e8ЏHoصWId /E>1|àD"vk6swyJAV^$nCc$} "kAx\48] b}{ p(uiһUim" lAs4O`1%2#w28 W!i wџyu9sZcDh~0øG>oǜށݬǗYr<3G}43Pxʓ/]Ѩ١2oSJDG\v F"1VF\g@Dk4Sc*-'͖QJ7k!,fY "6y[u ;nx:E7'n.[ge^/}]"hKnsbJ9& ӕDst:qSPZ)^%L*8@Z_?*-o_>[O fuݰΆ姺7"dD]aV4h)PEӚfuR{*J=J ʬ"sX;闳؋Mv ,O?9^=;_ wKJ6l;E`קK6^WY7z6چr77/:ͦNdX {yd==(屟fdin[uZ⃜lNn )kl%m>C"M.MT-p,89(25U`R)wN L"Ynd}&4O o\"J-j~b깐Wpj͇Bۂb9:q&I磽ⓉP7 zN9e M aɆ_3@!k|jjU=;n# жf<:d@=f^h}&t١a&?7 ~F0Xia#0 4 &'MIehecH iC܁ҟfo1LwuWw3zշ8-H6,o ՞~ ҽ)Ԫe?T@s(ۨtN)%Ws|zB#**ó9ֺBi5vI -wًptS0Hz_`HQHyLɧƢ 8F_k28}fp[lǫBճ2!Y&rFC!V˟c\Oxs^퍑r>p!tNA79jYS L-]V 80 EmkiTmm*SNwRDwg(iD:g8M)Pjy,(e"o$oKs*"a'GKm 7?ѩ?,ڪ Gݾ|/?DjgMɃTX 99/p?RךSc q^e%y_av H1XTBTU<]Q+s2CuKÛ?+t$ZAW!0i5~Sᅩ=̉zVC*y~GB!f#1dң#BBG44'*[Lj1d㚳ʚB/i.fɺQk.Gw>mf. Pq>mt9Jk0 &Y/{Â*mփ\daUk4r]]4/+X$O\{E#%K \:&8w#b%pd@`sMP Y׃];)xśҮLIJJԪµc.WLÊ*8tNh4.gYZaffd6aa38d68aa05acc8553ea4e1cc421225ec1a96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 7ba430526395cde2ee06319ed11d850dec9c47c3 4260c7c823469711aa3757278a6726e26916b0ec 527c72c33afebeeeeccd54b62cc10aa7f530f55e