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  0Kv<$t ]% Relational_Disjoint_Set_Forests:threads=4elapsed=85.815cpu=130.084gc=2.8927zXZִF! Wh]ŗXiɟ7KIxjbk- E ^Y!\̀a% ٮA0 14=O!Y=# .8cٗtV})B:- ?/vdXOa#sxܵU?F?*+kNQEebfee| $Ahh`=utJ#VDlh -6"b=^+.Wo91l۔Y]Mg_/QقL²Icz0'^>{ t*:^b] U0Pwu"ۚb5iivBHQfwy6̮x;ɋwO"(r ? | }4Q''ŁivzwD8s[4->RpD{䥓qӵi̷=؋B,u pr[6WI%= ow і3Vwb G 3# h%T=B{OJLL&Ŷѹ;r&m .RXCf4&0ԣp) `ݿv1FM1j%`ѮpHMl*N%Թ/b]|=$Qm4-d,=]ua vsX֊mU [zy:1+Nd{W_''ym{w"@_Vu8Wr߃bٟp+t?4OX{>~Z:5\#hC3 vL&ͫ5l[vF|8У~e/GėBv.Oqܻ.vL J;N>kYYgW}.<"_׎cGznBE tBP&DNq9ngơG3  k 7K,*bHhߡgABy̽+n9Ml{[S\'h԰J "K Relational_Disjoint_Set_Forests | Ku% 4Relational_Disjoint_Set_ForestsRelational_Disjoint_Set_Forests.Disjoint_Set_Forestsdocument.tex7zXZִF! R5[T]A-MՋhvG"uIBm5vijxW385謅 ʆXc): \d9+QP\ͱ8可Նkٴdy|[eh1MerG}EHiߺ͍ùx2ϋx͖A@)GBzyxU}B<"8inӈ@Ƕ/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 x [ba.~z) <ư u& t'O# W3QS0]Y6_č7=_Z$l'>s{vAQʟxM)WD l1@0#F <[y(EWM2088d잖9U-3 FuYc!u 4xcQ-"~GѡQFث:p]{ 3la7uEcyxA=W:-Yr@3gZI:3 &iiz5 _XVfag gYZ7zXZִF! ]ŗXiɟb緒)蝯2KJ&_N1.Y7LwOAuH8kcܠGo@^+1==BaGK.]ǩ]&Vi t"wT~7tkbĪW^},=mĽ5FgYZ7zXZִF! t]ŗXi%L+O# cSe6$CY^kFt\ F9Ao$/%4U}aI'oc N_46$DT2w냩ts_Pk0mB4JǺѩ6ι53KsQz,.Iamvt5V )ֺ.boN (O Ҟ+icH<6"1:{cPF?97"7y.ZQB.c^Q.%sN},;npc OЏlb;teJd.gw0}'>fHNerO27a}K-sidVg`z$)Y#pݔ{miji}&"W 9WX@ky+95-U;daw%ȾJrvL$Z@`;bp7UH>EW~aatez5I7XxHQ-U5p9& C+ksJ cJI&ؗX_Ab~{{ Fۏ}&!CKfr&smRw=A٥ppL;.Ye(:uTJxQ4EL(zb}s!GdWJ@ $& - 8Va册SYpTa= ]?&gI+ԫm^\@|&AP#!9Ɲ!)V4~?x #HGsg3ϸCU}gYpcFsD]i~g0!.q?%x0lHzc~WAd%ֶC B^VWᴢhF$"bi>dмT=ܰΦutf#,,h.!BEFvz. Ȣن<KOdTxs@X }6Sy K(kv|UoϐeCf'n{04=%:-yYäH_?#׷>/aYB%?F:J 8 V=0/xӋd;/]zj( V9]di[mHی2 2KN/:wQ y;X~kLf5G)dos*,W)Y(ntд9@`^gU} *}i U^auމ֪{F~%⏏uH [>3v_s\ȀC<.7ѩ<6R 웈Jڮ8bNj jjr]xŮn,P~/l/GHeQ$2*gj2y?V>k*Ԃ8z!fZ φl_OH|g PIO#WC1stQO{ܻ1HVOt`}"% X~Xim޼uu}"^-չf@L9Ӎ(m$e9a@5|UT2wo\7hS%odh擥V}|ؤuX}>-c5=Esi7ȧ:GFI` YAi/mqpcrھJG^K2{ H?A(#nDj0f6Bn6R۶L+++wuisMQwawCהZA,Hiy!A/5PFT\e O(΍GXqOڔGNP\$さm! Ddw=Z)~5h@-nc&R1y`K k:|s7^$h 9 3+Vqԙ2A&N$!^501Bj BYY>@+_qqW#9U[8G khc#,$}}Q۵kl?n:m |)ȖXo}Εb%fxvUSM2M,kyYY:[v'ISM!2e{z͕%0(9zЛ?N-|"|^!Xs{CHÊNU;75tK^|ee%mX)one$*ɨA5 {˕~r{\ K O 7ҟ;woi+ݓrvOisH^zhkj}h3|+ȴ!'JY̙U%kŒ6W0p*N?k|]Oz[)̎2ݖd"H*diD`?b\}Mb $ZQxCdNjD'4C@޹\`_yjӪN2v6 RL:ztV.y\;6ޞ!ccm!}bKɩlфd2[jTj&Ht+2Fۏ^)V \]u.l )7*XbiM!' fc`% .oq5~?,(v]kZ}^إf{[\b%x, hg7~zRi@3cJ_M crv hmنnsNSS sqf&_qKP&f̂$:?%"d&b wɑPtO3-fޖORc;72B>K.tS)N*@=<4.C?-MfyyN^OH ཌ$*ۘ[̴ g9f"|?ϜjtY8BDYe1;iDkӕ'/Ngգ#Vv*f8Md/3vj_N9WǛ4iV]0Ǜ33 ;%6~QuQ4H&n"-ϒZY}?Y-8>OqqOg G Qr|j =$ֵcA_ v* xR{h K"^quy9!-YzGiWVs-LI:tlQ}75x;<="V< 9O ^'JES}WkadH$Cp .KnԲ JnSUۧr4>ǩ(9d6H9Ws@* ?,Sԃ$+V yQ>N8<=)@)òN5o#,q$}L7qB4*THH`08&~g2#0<N 88oh 1G5yr F&F>ftUD>6uLX&N7(9G>r.R2HFg[ݩ n^3Mw /C~ kJSm}$Oι"-r_ d-M ~cMbpFprF.49({9^?̩͗R.g0a8hI' ^hafa;(ሻ7{m@q  =:=ƫ'D74c@;'F- mf,,E)SZ5 l]y/:BĴ򃼯_sYuXgt 6$_ͥnԑp3)!9y1 _Z@Qwv.wU,;xq_巘z?':.]<-jAHlj3J@Aˆd#!6lb!ՅW,{~*t&*u\2Ԧȫ4,Ho'gX *-CCJv-OlB|{{޸s4?ȧsࡤߜ6x\FpJpn͛$6b9UA+<9zhQH,ɻwCg+ba&*J]̭R'ʂq`qruY%ֹ5$"=8 _+|yM00)w!8YPCy9\؆jYE=ے0Nwd SN选$>6Հ(Ƥjv{|G;(9EvV~59L~WKP iz%Gb }5L f*4Ijy1ԒϤݔF}vXv8Fhaɖ 59roy8SA-PFQ趩鐌=D$/X'#9Z=RIƁHضIAZ}B@%! )8.pDꆠ1 ZXlfbH܄mt֌יPdI#\W,`OJj`6ӰĐ\Lse(hכƶ Sxe?Ql<W#8?fzs62N9ۈV׎931W="2Y)^i$v,QOui͖^PP>(%\X<_oW䢄,JUu,I?ރЊ}L{[J ot|͎ӍB.wcuިf=abcwT2NtIcWc'Q$]m*l93x7H?Oa}c5»G?]u37oeS yC ?{2$H_[l+`*G,f7x *)f!Jbgc iQ\,mw~&FW"r3?Gil!JEv EI4؋DZeDR&}3Yj6Pjqi- tLl$\ty[/݋b&)"XG\Mao0('o{e@!,u_'caP%b\̎"םe990p#w.-ƇmښڇQVm°H+jARϏl9:KF);8 +j t$OO߃DRc{oH16Fz7r~-O]]ONVn_* /E\V+xK[7 G#KtR4P~$/TQesRm`)nqfZH 1( ;4`>[7h^)$T)dw`2˄x'~8m,}y9C gYZ7fe24b2b766e6ae990d6963002acac45b4bf29cce9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 9a48c711831ac5069092e2364498154016c8c49e 0c4fd4036de019f9eff3b59465551637c4254cd1 d7611efd7de5a86924839435ec078122742766a6