SQLite format 3@ 1- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 &34L / HOL-Data_Structures:threads=2elapsed=737.483cpu=1103.976gc=49.424factor=1.507zXZִF! #T]ŗXf1-q恈%kV^M[-a2'161畕\op+ot)h{i 3 HOL-Data_StructuresAP xoQr( MX,Fs|g)O]6(?_3f L[Ylrnoi&Mj߁sCfNfRpk4hbhVEI+:?j4 3]zz޵op\N.Ea}e9hʷz 2<,BH`~Qn\BHd~^>DLM0VQܮ]]v7ЀEėdR;oKcϮcWXp]}#DA&z85_3VDSƒ_<u&-%a9ܵ͹ --7:م&dwDI-[)ItV[Kt`mpQ(g:2_i4cv߲J`?hNvf+I2z,i_~dųf7U4#raA8t8cYQι)AS* 7M Z$tn^AJ2H:-! Wvn:ai[.۟$Q[_͂QǛ.Y@BN:[xa͖;ը`9jܣ) ŞJ&m"0 E[ʹUmbgC>K}LXhc@_RY*RBМh'zw9NfF%‡CL G4K% ݭs1#l> vܡG̔pb EEB,ވHs&BSw@> K4Tpnv=?`n!H&`[K# ;\gi-6a,"U96bkXOy>~G\HŇJ/Q ?&NPH8_9TwQVձ)l+t9q3=>=_^A'F6s>_K'g'CjlV!2^' &{谅SXBI줮|<Ӭn'y]E%DMqɂBvx&P}|'o2^]3v7|)7W3ԺFw.FX{89XbF&-q}A6OʮxGsLՋ@z0XôMP#YG队 `eS>-LiTljW{K'K\2*n*Q]`N㟛檌?ש ģn ug-8"sHe@ ,6a0}K^|ㄜ-"ȲO }PUQ @mkо JcHpzrf!1,{ /1:=6bj^ G]d**o E6h遴Ǐ[ nqmPR -PGBj@^LKlX|p1v|HPX/WA3և|WSX8Q? MV #?<7n0ۉ*g,ic_O+MB!_$ lH1Nbf{)v:}úaB2o! 3m 4K2l V|/bS4,rñf2kONա o-βamw$Yヵ\@ ` -g坷.j c>jiHeS1^%m.C%_F(G wJrH>G%_Zx󅾑 rE:Ue9hd?dHPhHs 9Àb9AJD:.:40OQ)_n T7vr)5|S3Nc~m݂״+-e3t+;[-C3JQ,(&$ Hv=.+paL3 `5e]MHXo*8w`Qe֗QĖ~ 35> PJ+R=FrPVf :Yp*Z* 1 J+0TQ'R=VF88-hd7MG &i?:rK编dI47G`}*p9SDG--}ҵڣܠڬm8co:r[ K;{SC(({wh b5qW}$' `K&Vٜ$2ql50msHwSOΖJ,qA̠sh'#X_G{Z`*c4Գ6;zbW#a.a.i~MLȀ0K F&%r`4ˬbx5? .\hH䟿aPb-;{->2Ze^v@9`8CHn5jaN~L"HߊzE5My/&-n&R39JƜS_ ? ,o'DȪH[R## B؝w=%VJKf! ]XE+/iYѹjrDB v9A+ k {Ia8ڳ,Z҂:6Z72|SCà/pٯ>\%HxU2MkL fHY68 GO|W$ۦ"P 9':W}$*d[,1^{)/\JrV$D%{eG߭RV> :wi|4jS(}DK]P _B oX|M@? ۔ ;am"*=%6w5.5ưќBWϠt KJ/6o WG1#{QC<`5XQR;b肯-jkw(ocjI< D6\n{wT2!\Pj>zGYkTTҪhMpHMo$`%|\sf 1iK4C՞,\)~6 乶w m+mc]V8=WdEӨ^O=wFk4G44K9Nˢe_3+;], Am k5L7Χ8&mޘ\uHZ`jKV%ʇHP+Ô嘜5gݾgәFwn :_z]މap  l&_/㷸k>J`{r.k~ǐGe> y8Rg;^ub#Iet72bŢ6br6yu2"rg! a+zB:!_2}P(Ťцjş%d+\M%`o͉Dȭd0 "m`| Vہ,$Oo_loUg8b.((C0Ni A;o72H^zꁹ /txARR!]֡` `̫Q慚|XI'cIFӟMz,ҞCԛd)Kz8sDK2[*hS^n kXհTFt3tJcbk +|1qʸ?Ԑ C.G'Ե}#,}ި^dy, {Zb A%#MCtBe cI%v6 5 \l|{I!ɸNYqcNcG6.$5jj8tʐ8[/:kSヺB3AķX ZUUAO1Z1_5[>pt t_}!fw; c/[ѰU]sYSB o2Զ[Y5kc'):[ 3qw<=RX8Q15^Q0d[Hx&S}g(Yu7xr ;)[Ty3PL||\W]#⟼^ nFIqC'rZq'Cw Y:̽pPH3jv^.5$XMB]tOh[!ܛ;*:b rcv^4 1g܁I3Z|8.;tդ Y=q؝7.{ffC.Feaٴ˶.vn7}RN0;n56LeęKigDr^҆"%)@ Cxg85|0ݛrRqg`J{0x*yh$yĪf|m_Oy qɝhxAտ)=ݒ,duL)n$0=ӟɔs4f~~ƪL ;WfZ/2dmV:TOհ~A%oy0Psʻ7@:Hi pHp"I,%}2<\0]MES#xuB/:?T?MLeѩox__K LW&g6 cGrl©o% WρУsGxh_45I3''Vߩ;-1Zqh/?rચ76.Rx%'RJ9wu@8<|$40 ,Tqf1tS!ojڜHq! RGʇ\==]W㛂@¥>ooy\. S>U.2e+*]v'$I~NG  Wy%q^‰wx *yo| jt^Kc+^1O¦$tZU~6gF}$ ;vZFԔ١s[pBO?XDZ'~ئ\ uwDWEh`諤B,]&{$"q ڷ{v]RU(NR*QųRG;ERUt{3T9[;k3:]!E C”ؽOS k> <=E %#|S}85Mf5p,bƎ@o?u՗Y|!ϥ-7=Y Gn̓L A'eWj)&_cxBDS[}hFq :>B6 w!G1honk#Д_!:Ď) Acci,G<qk2ۼ}PEܒ=OW\긃NNI$s_#9[@1 -'yCRPO{yL1Zs'bT몂}N oP>aJ;VCM㕖J;u(ԧW|@-\ȻN$h?Nӵ/5m>ܛ)UB ŢA8f2G{`hUtTwI-\7 3(6Z=j%qNrd9pKj^ bL HE>ӥy-B_nEVmCq%I`}XcwmTὋ\`=#Vǐ2S_ߠS!wBɁ+no%mL(Ѣe?ī>hq@g@ 3VkZ1Y+`a2#m_ Sh$#}^ '0!RҥϾK-ʹE{aK7v[7JZ4/kQ̾U&,y-:tcoE8DrEskU+g7EHTx- c elT!#HR\ю G{pS|?s eٮ[It)S9g-bsPf29]9?~?6%X A%C}!}yɘUabu2I.~ ux˹U2|t4l(\6ly=r)׮ ywy"cjm`պFf`T1W_=zXM ^ Xi|NV)-4Bzk9=+DVn,g [M;4F9Vrε50 J]Bub&3ZYY'GJgc{n.3pXr$5Y:n-R3'-™[O-=խ7x xϪra`(ΛdI585 #qwe "S;Cq/MZoOr6кcyT6),lx#nX;"aLo6>&.ƾbi#ur |KQx{µTSdy"px,,"q ֿ(**}e<γx 0D@L. '\o?S~mLC}PhADS(|H,ZEL.x OGŤVϸ]XA-FGG>:(i}NL)=_zb:F0ѱgYZ7zXZִF! O ]ŗXi%BŷR| AUؗӐY h:QUx!Օ_sFeXc:Tɯ ;y6&h9@m0>"$ B6ve*G]2r8i'sw\6$q5vϠ#_p'm-Nf&-?>~b\JCs߻Ӂ˯p.@oZvBlwB þw*7iWF6S5aS_P0"{ˢ8v!wF*zrBv8%w;!71$=+ TIE"䂤_=2Ƭ= F1wTڮ-בL oO7kC V bBk#Xw9s(QX8qzs'/Zӻ͌[@?Yw\ҎA_,69'٪UyRoa.Yfe`WяO*ure} h Qz,Vp΁G!DEsyDOTH8Ne*); K-QLM)0cP9.K<\$+.%)nOXG v9ң)a_1>eW >ib3)wżo|zR"a~&+P 7?4v4VA!0wB?#P3/? =J!,^ sxT$PT hXCԣ :茅# $ =AsF 'ءU =-WJcI0mvS9Ѝ!J' rC/TO_ PXnTDTOhO+d6sbot7jh5/9ILi]\ܙN; [8^Pῖc zV`0Gh_ׇi [JB tgOoJJB\μFU 8OOdgl]=8AeT\a0ƲdĠ{;N3++lf;SVUqœ\&ڻ9TwTxQ~3 y~0*bzouJ?BI#1R \Wy5H`>dJ/H,[#SiwG0&m؜]P[ź!t!Ww61r Br.rhvO.65@s(z*iJD9NTzN,uÅ<^9}t>jwM.>q]Š1k"`GցWbv8#*6Ըi7!ڵ M{꠰`dTZXeZI>$kH݉!6ێp(9ϳ6 +7͊$8tu:}Ϸ,%C(nD>jUBˊ+17؜lRtS_z,Y,@U+UNy6 yxR? Fqj80#ཞ-dcJ2zH]һ1nGF މ<{U,H*f9<a*Pht^gtOp05 #r04)4 aW[sl+A،C˖'~qF\ 'U*R >!&)ʹwsV0i'Yd`T[J:8D㾷L+Y$4p04dᖱ2ap;4ҴYpFvs]B^AQ~Q1  wzwl0I>9"C/ǴʃE HP$,Zl2m ݤ._-k86 Uo5bFךpx}Şn3$2rfA]]e2Q<5*GT+5@<66Z4M zD_}b3I h!ܣ~,tKrG1YS4=m=q*qky_Q!aO5#'csޔĽ$stLQYs"k1>yi@ \SL,r"oN\WSwaaz\ ^No^ űq:;,3qxOF.)A3P'EW oIzɢJ_a}=!8=NFtJ`)[d 2@( ܌"󱺺*oP>'pgi67EZ)mbkŁ4TJ'GmUlפNyO _}{ܡLM5>?m9`x[-0]!<*)g9r-Rz+GV[)&XNPKG=0S,@9c өPxV&e24/ơ# 4*@>U֐eMCm;[~6w!p!" F6;Os1n +!Ϯ$=/V9>1/o὿jLK!Ee./p$E{q@G:]gr?tQn3Bo!0=ZѭM6l͏@ 4=Kdat-7#l6"ijˬXobDWoIKr\&H'd8I"@D!/3tE< )kխa'9׳&->'=>$3`M,{e}[IgL$'gDtIEcdhs%3ᶎ͜("K^%j*P{>VXxNCј@\UdƂJ Z囅B͡9J._ۍ_1m t ]\6AZ;|u-RlV(iQPhA.lem5*YZ&F$o6>z4^OXi=bFG5gL'+yIu`$#})8Hw2v$-&x>iNv[ۛ lYq{]ƦIh"!V>9 KGږ\sҨϗEhҤ;E1Bᕅa==P( D}?ƴbAl!8UAiy`4Ev+"%Z*JUbfSM&J- OHЖtR.٤η9 TIY eJfN۰{dDT`ԝǝ/E8jQ9: [1LHF݈\=R}hQKYf?+.1 %~=bvshloW3%Q51JYd4R2,' Aq&Vw^$0/Za|@ϘKohu~47Mfv0NWKx~!zAX5R+Ӓ}Lב%g|S(QbS!TPeLh}Se? Hy`וD)X- 54ɧ h1gnolEfUr;ZvyQo/JkHe癷)v~F"Yޔ,d51} 1Tm0C\BJ|ӫ1[`$^ @ZtxJI*p]߅O]/W(*nu^ bX9b* bJ&{ mߦ_՞ Dk){f0oB~;[x%̇BxVD)m4>ld)NFS! D OֵzrR6KɆMAu -Yw DױtQ8+{Z'h#H)vLt!赣점!c oL~^~c-t3w#O""Cۼ81ӈG(AqoD73ٵh̬)PAvy{#@5 gۯ]_1Sׯzd4ri饁;ZLoDXbA5($'M,])"$=!1Jf$mֵo#󛯛#Ԭd"Qz2 W Sgr6?3" Q8_Njۺ,?[ZTa7"kĿRQjW;Щ#<Y|U&Oy"lك'#I㯈&|s>(-Y$`ҒC2CB7]ՃUVVϙԘB"ԋh>վp]q-V ԫ6&.y# (PXZ;B_B 5m/x6SJ3_n2 켅ʊ7be9tf:퐤 ]649vƓ(q:洿xarR.7 ]&P1d+x ݄/p\fK>J|dwhud7T$R D2 82Mƨvsh :R2#lс@Fܭ'|c)fbt&so0@bP %ߩaYYtaKnuŽN'Er+E`eE1Yߢ>?e;[5ӫ*wuJ0Wݐv?L kayQJڷ[`ol{_/eAwk!γj#uvHI6f,Pǯ˵=x()}pd7gWo\0 C~B[)B>?q0 gD%D p]P6w'Cר9s+@: {6& VricT0*)T*C4}0eUu*0F6RqsK IP|;6W2c67-q 2~tg_~Y ~JWe<'5wkB ISMWX'Ӥ׸𯮘Flprr,~"@mk/\%LODdo>S mXDD ;hX҃Rˢ'uàljBN4;G_.(̓\$Ǜ`U۞&,xLO0xHQXhSwcc#hXgHTV}vKl3MpG fH㭵T>X@X/C5?er1#m0kZMdJгVGcףT@S(`›u"vaWEhD6]dR~E❿K?mB˔'wF\:C* VA%‚R3q$~}`zis糷Y_JZE8ӇA}?؜?ƶ:˃smBòMEXeWf B-QI+BJs=/G!^ňdU3Ł`-#IN ;lS;p`kv ub-zx%%0Oٯ]jb9v0'mNmUh]>OdUC݃]4@ F!ߴ1DHjYJd'Z\' ij(0Q+f_PS2? FTHXWI<.Dh_'ՇuK]).v\xȇq_dcOMjt m|w2G*Jl%^ uuhW\[Mid2!orSK^aJa MrM-Nnz/`7@6:AagR"]ۊ)D}pclz?VywI}mPr?@=\:~+F Lķ> Ee|"%_ (`ھ]cXַɜuxo0̃=2~%ؕ&'/ ` `HBZk!dgx7%y@zֺ:Smn}%Z1LWk[eo$îMLG]yF󵍷bJm]E!OR+K\[Z-!nPԙ)% 3.i)J^>[1&'@Vi‰S{r! $oXXTy)EX/)Jl7;q%v$2 ^pv̯E/U<? RM9} 4rp`lΓyY)[LI6c_Ok__ށ 53N+ȦMd1+yfjUو{ixF]@u)I+3rd)*& ۾8{ߖd2[ؒK`Eǣ'&~;U_+ybB_!f!m <o@<]JưY,Xq6t>c؈o4֌'1t47߻ʡ<|Cӏ/*`\^`tW;N$esVܞ\Pqֹ*0rӸB[kn%$:-˝4y(<4/y^,2וͿF OhKS1VƷH#4GR$]%=E)+xwD)085H2:e3y}jy=#f"%uu.aTa$ NCN 哆E.hcJ:\sŵۦ*H)&ӨGR x4Һ'ʱ+6l"lf0 6ꏪKMUh| 4A>;lhrOz[lvU'wh눂jvAQ\N^rIzML&b֩Kc[ss xgjl,ȳ0ƻqWXqhACLw(:w8'Y Dxe #.oXϑx-[Xokpty/M&G%9vqjq~Q074tr~d@v7L#SHI-TO5rE|.6={?}ebci"a3+84 MNF+>]׋+>$z+}9ZtŒLwȮn.ʳgb(U*U njp]p`1whDp,l\ w1V\)QBݒ: ZfZiҴl Tκ-Qx$M:Ee]g|w;GO8lpr 䞫R> Kb$pգN/] "@5%8n#QJfD>Mo1iSs*|0g@TUҾ߀^4{:_e7GFJ'II)s5X;8қ sZ }ERfS:SXߧ럹"HЋWruWS-H|yw4[ Ɔ6^xb>bA v OwJ#eprj )\i$Sdyq,'*˷bmS7"GMVAVckm=F2#xɜ!}o(CN(݆"Ec"Xf[!VlZ8cAC]b[sE6_jK&Zo; w]īsw tP+ B_}4rKFE+9J>OІ6D}t,Yc l']`^BRQfY쒂yzHfG@i3G/oXȡR1sL!)j~'ߐWtyy+wK.pC(3 E1ȠzzqȅPX8?%.5+OgbcdfΦYM /tG; lhy<7JQuG[nΊEJ2ӥ܁!i?b4Nub;*8%^#̧3((KIG߸#̝!íg7P\1GR׏i$&{C>KE.w%/+8trBLc29Sux:Ғ)j0X ' hAՈ.l^P- ~7 h1ip%٧ J]ET^I-ctv 6bROG>9Q6 >>ʶ/Mgv"Iq>f;d}Xv?:X3& M8ZU}{+qC. :^t߈ey6q1 0X. X* k1Sؤdv(SO읩sv^Ua?Z `ݤԡ;FpH,SUCb *@b2 Jg 4dd$`o,j*/XGc}VÈ͑:clyΒ=eQُc)4c!]sUߦMW{ 9ת2Z*}i;Kq;xK:*2tF;=mŮ~cow²*66`oG —lN1w5pv]IcHq/K*>UY 내YO/VD{\K=7)VdQ >nH$ )Y5!k6 O27f/xGıkkv*4|$)Ԏ[;l ,(o+KMcN4}*ܔ, "p04:85 A,!7db^= 2DDx/Yޓ. >Z5|d@❔mJ3 a —)DEtygS)PFWϼ"^EŊ^-l:7]Xrt2_VPAtϴ qO2.w{!d I|QrƅZt T@Y)m2FEX~WW:XƋm tUF֢&_,LeV)]Ts4Sw& rvU lA/zg2)sQ8g*pyBպ =,;'?4#Fܠ vD, b\6CNGPK²#㒉ʢIyB8@(aԡԹ"P Cc;& AY腡&bWgXkGٳmW%ygCnT, ,Gs=$ow.X1"w5ãJZN\RBL^׎9>nniTM2 O)?ux^NuW| xR0U)ت٪wX@UdXT̀V)Q&T; *,hGC}'g]ӠDx~b`UD_J6,MeMH ,E>tr4T˸ug)fyk`.CFQp-缨I?1N1@qP@d:Aot8j_Jf,6u5DTuMyS Q1|H$ݭfIWR=>0=қ+*P8>aqbr Œi}Lp2Ie[ZG{'[ &20 a]rʌml6T _E F^!x~*LlF'CÍQWɸ|}W8wAŕIE>}T(!y|yn?)ysPBKzkCVtnAu1Zv'۬l0 /~^]`WaG4@>"%KW?=hlT( vApD'm6t|9t,+yAmYAJTɌ;U7gTxjȇ$^Gm2'k</K57c5נ0pz0(Q8uBfS-ӶX:i* tIXsN*plƻ2viQ>TR?P`Tgom.K1a)~t*z deݗBjpp}gQ}[EY't~c11NV њZ^| $I+%%[+42XUwS]` JP_Rk56ʼnw\~AT|A6DA꾿ÃbڏtS>d`1gys7ۖJ'}0a;ʂX+=UZx9v$] iڪyG6ro-/_5TCXA@++\&JneJC>f iGe)lB78m,%:-͐6KjKaH̗[jGp\ -H/kΘM``XI !Ƽ[Q5yRtU&9͡!βtDƍU{7x1jWtc;:Cy71/R;8 { 8).5%M#gN*R z$ZLj_ , ioH`B2=wT>mo?3)^5?D\U?i62,7>Œ6a@01gLj#L%J$XpԋH d0dSmm5,]} 7"rVY-R]\JľV]\w$b,'*9 xx(o'4_=7\ӿgײànF5<[J+mOД w?]5W}bpEg!+S,P Jy760Wn;*mHޢ(US9EG.8d8 dm.WKt3N(>C^vzf]XMɀ5tcsPw aW:_Wwd0^(&50CA<s닳\Wq!/5zxTX(X:FjO?=qGyvMk!-F.nj(cvu9BPv?XmCk/з'GmӀa,E1M޷gPߜ*>Y3F|yWAcd*UU\N]Ng!3dlQto$n:ls$z!oQN:VثW|kp Wmڌ)N}ߩ V2 u}2_XFVaЁ\Cb|_HΏ'url׿gApzJ7%Eȭm=CT:VYJ[Z K}⊨b\ I$*n0a4{u7pk"+!C%P͵EV)oKt|ϧZXp^k>x6 ߫9<{&ةp+u [w ԋfc\z- VAq*AHж)QNz8❓sHvK0v1YB|a=.%L}X¢Ez4HFőHӋ\̓ F"#y(E?}qض[죝g#ЙF{K%?ap$곐.&B𖚗**U)ex^v4hKL)A:bNR]iᥰ_UȥeSQ9ѿ K]l(QF)H5Ys9}K"+H!\?yXJ@M$|%7!D)f&83 p9H[ruVڍ&Io7L{B}G:ǜfU_w0jE:=9پm)G :;rP(ҏRpn@V_[oHDk#ݖ"DVQogC0%\bBýJ,ћf;nH+5'lMFJ ͕   V7^-ڝ݁jjrZDWoh>BDqT洎vSû(xFƃa/@rYdw/nۖ*fPk[ {9^VPMaXteyvy!=?9);49ZH"T}sO> ** ;0^މMN"Zu{հ[6}'bV=47-^] et5'=/BQ$=~,C ef֏[3A-BW'76.ŃޯM:Z _5j42LkjsJ(3ƻuÆUU/kuw)iuwVi;]}YAR9#&1TeL۲$vZ4as "1?H>Cr/Gz| +>޳Us-ɻ) Ǣ:3pT2D7~|%Cnaz4t[6D,tӎM> ;!*_$K=*hv=a2z ïõ8D=p *#,م+H[*Z{j< ,J_gO@ΊX qY4O}1[B4*L.B7='Yg3 : {ޡR rxsڲSfѬ{I7N+ORݲ8YzXXb=8.-R;EiO`C5@\=P4$hAdmW~%@+@QwGݑ混WpT{D6Vh -׿! !g吳92lCךϡ"d_Mۂzmu2W<&jfl}1[Q0n~Dr$ b=uJOa[Kފw{|5u hϙUh9M7 [o3C>t(5DZnP..Kзpx+V|hqCE) !olbʔ.z +5:_6FLdQ?A',y"λΔDhob1Йޅ(Z_gT^8O`Iv E=?J_>=4ʒ;p+QjJdX!emf|B.2J>~!>_ G(\o`|!A-L \iHy|0Ut~ Nc p(;O2 5 w,}ƇPRؤ Arj<]%rsLij^{!UkW}!tMU7&tʌiY$fͥ}aot̑2+jwQEܐ2BI'/:wkQN¹Y>@,p[o$6,E^R|rT̳ Ѷ]j m|:Mڱ8UyR6J =| K\r5"_kLU :Tʶ Wϓ*l;(\^ fңrnA``icNv&qB;a*S;S7Լf. *fJdq,]I֠h]<*t)zȢj^?"(jM$y<,LX^[Ǐ򀇧24^UtoE2>ES#3kV9|"ҸYGj}؈ vHo"ie. hms@󺟰}eXGMBӃw3"U.|L[V)ۓf~IG$*Iap/a=@@ א| ALÚCn[a: ޹Ѫ\(jTLhR{Jr^7c\C*僃D~,*Z=ЉH%?Wn@ECzJY`wgޮOMPN=p'Jiϙ0D߃H#KF5*O㠧m shMu4jpMVbn~>)v44ONs|[,Nv:w6 6,DlSj=e灋4n`bUbo%\y`h(/tpqgg/GEy;a;[FYIkQp竜9hmI GF50puީ-A9.¸žΣDb473@c 3鈽SMUEJ~ aԐ]swphl WWZ'MvX;5a_ܼ]D~JP!!qBi!V'.M <]ߔRQEdΩ+rNNu[SRsd0o'>(Ye= Uz ٔKH`z?[DX+ϲ;SNX-mȼRy ,6'M!yMLeֶ{;aDFVtT97ΞhAQ9ΌM_^"e>P vD~1hzHEC\mοg8Ch#Vw0l{*9}y<߁2NK·ofPD;IH7W[U脏qN]CƒV]:|՛M5\ӟÉ0 `Q>ڔyfczU #x%sVmUGog4s1Tnlgx;,(r!R}fGYh0]Ȯ&C]=Xf(Y,$kd;  ~$Oi^+IbrSIJJ=?m p  ŋsaE!&h ?@2`@TՉoF ~nfp;7OcƟUBhvz\hE65?4 F!"LPg1bZ]5nfM`q>X]e@Jϥr[}BP@f8=_RևEb}^}FfNs(0*xQfv6\9nvږ7YΗfr `1=FslEQ) !*6,B9#H?6%^;kfPp-l݆-X{T+ ]t=dR[&>UP֛8:TB]mV,A>';ߢ`: :K*"MbO 5W GN|\/a 1$7˙wgܳ㟠O `a<^ey.f^X|H$̘  LqiQghT@q1xSmxt-p_^cgSrirPBk?XM)FI%OumG8%3I&T@M":FsYIPIFrf@UzׁPx:'? #˳Z'PWx%U!jy>/9A!܊rsU5>E'cܰubպ* i:ѣ=Ql3Vx/ N;^4ԚX'´e(ntbSrvYDrRcn%  +J#rׁRB Ň -'f^p3M|"V•VUгh'Nd)(+k6Rxw&U-0ʷ#h,q[o]Yze˲W}Ս {P0G5'|ŶJ"\/4<ܞ^.zZ/^| Zے *__Bk-~ݷ/ka͛{ay`&,jEr[<\5@ps4VL1wdLжxQ3u˴#›/Z"e䛘FpFO p19mhECނS$jePyy<8y靾9\oYu] Я.1*;R=7HJ%HCTSauJVYå'_0־ޥSo9Hv!S~̎/{x tF3G̪a:K="6Z8/s;խu!27Io V*}/SD%4 0,͖Xj}?X'٦ێqЛ,]q \ܜGAQ;I^V(TWB40P raq>"l|vvg[Sz n DWVā|_oV-]{3v,{wwZP%\ \_Xqj˜!g`t=V0 7|FL\荅0pۚL$]:,%hXP8\bKLm6d"z^9#IT$՝zedͬޞǃҏḧ_33c ԊϪ.Q|'P4燦 YҙX7_z{in9l:˫m>8v^5&qsC ڄjj[Bx\ya V`mT4E;AgJd~̻̪'AZھ]OPk` ".Ɋ/O`qۙxzvit!uIҾI$y+V/BpP|te?HoW(FLqƘbd5E]2EUSnO/OU͎Ӄ?`zJ@l҈$9WB~)7ZaHԪ68`~.$;p"L l^)s,y8J`sz7W|$b~E1!nTU$wWLa9K<&2쟈v'M٬etErctu66̖[" Nhr롗w|r]m e-A)ދ=(%"zt _$7Ӡ:pE% WìNS^'EuQ;[{5(18#_O)Jo .N2|2FO e͂|x`5- J^Q,$sw m!u!&Ckڗ:-?{:|;jw+ʉbhuBh[ Wokk#'r:fWǣʰo*t!^۠8O{:qآ Zo +3>1O_0cuz_GK32*īC!Sb&bt=E훙{IsM3p@`01qp< 7hN@?(D+ݏϓ(NT҇9o,rNI !-X:6Yo(Xj *o# y 0?SOpeqn*v,MH,h!QG,A:tלUjXl{N.-\io:/WhA,8!1)|f3ɎަzON6{ ՙ86$'ڝ}E+U=t#scj`jMIGi`獍]Cϐ|0Lq.s;JC'}+培z&h\ڣ{ n E\cQE )sH=sIPH-&} Mڟo-LTRRz?d170ӌ46vv <ŭm7W&s4`ʧaC^f{ qtq&=Fq5OaBQzA*-q 2čZbiF`tţn7־̝n?4Ljxܓ8td"G$[nuV5:֧I]>GMPPNыX$Ѓ$^x~ɿ}^ӀD3>E2|x(VӎSڟ~:1^n HX鿵b8&1ˁ=I©y90{fojc3W(NLGy'+&Y;NucvgB1 ˧Co͞_?A0KD%]޼B>?Coʅ^nqc3ׄ/8blSXNubu'TF+T X s9 nd8bCKȸ`pK6&fJ&ްm  5 *.ʻFCeV.vĚ}],_}}qvƌ^"3͹.< eȃeah U\ͣȘ~S@Eß5[ ZD.Ө|$Ȩ1%f,\;˨d1Dk20+LfLv=fWn&*8JA)RN/A#Iu9UxxkJ& %ӪBar'h}{hB$3==,t|E 0V&<9B oҴ䫺4t8|1(a\Җb5Ɔ6Cwopa@ n ~ j JW c-u 0a#o诅ٹjhQ?`'Ӈ/)] S<+W&y2\1܃T\F3n.߰5M8ZQ';4k׃vI 0r5O]brUjC%eBRS_ugɎKq0i:Y._X#O{U1{P|X>2_r@vf1HUs2wNh))h.و%!0[< )H3Ud ?/@bgൗةOF{Nw##=gZ|% b*TҼ–vy\j}[%R.w}bKOZ&|g8?Ds%NqDNR߆.1o> /uQRɬ oV{(lϤ f@6 n]bP# ^4%3~d9r 7K׻0ՄeEL`gCS#58v %l0|+tYL+?XeIMn}֛߱$i p]8'#> wu~Pl"L7w+mfۍ!NxOXj'lL,,KPM,l-Jj/ :şذ,yZ^"@Mqܨ3]iJ$l9[VBQiN f^o= :_ 3CUm+2p𛘱Sh9an`Rf|3 \H 4^9 Wpg~Hby PǹfDig\\QGҩK=zrxFOyߥNńx1oBG/Q0v!g;KI~Mq s>8ïHG9Y'U1V(.{SsZS g0F%&z™X!C7_j$cyspI94(}[''K\dX:c4\A磬L #xnM՞A( +fz"ЎSK{TFUwfv~7>K(6wo<׊:h=hأ(W@- ^% f~j$mw緥5xW%A'F>ʢ[e>{)ٺwhfKo +,K}U‡_Ļow4 to@8\9Uβp)1EhmyF7z1>YxtYcVW %{E.o/ġj_F,-o,yhUh "C?x؆`0̥TK \Q5_osYTFUrSƜRq {%m\Q!kQ,adZ b)Vcj@Brd)׬A!^gLw%uR bF>=0*Y9R׭>(mkkvY 4k5;'(|C+XP"STa {q>)rd*i ( ♿hX@~F3QcAG0H)`Y~q5]~™V *jTgaBϪev,ɯ? Wu/'_W3&L9D]=&dֽcilϛw/sn'8ؖ'>l2~T))GnjՅ46I#x&|dA 5P`*e7bk=|a&!q;7[ KjlFDŽ*p{qiBpf-hK' ,HZ9T09>3ܑmoS btLnq\1xW%BWw{sv^UhwRix7?f;_ԑs[]F=Nda1 C:<:c<Ӷ̻|5mcUh`YލeRWR!ƅmkJ%E)zƪ< "Id)Za~];Fi LtR0S"r :kYd}Jfl/.ƃ*f˲v M 3%*E$G gm̜(3&2H1O[EJ,dJNvQ.JWWE! =ޚy؃g>ɗ|^?s-ڏU1]&f59gRf.㬦2%.МQ?A}-e>@o2*e,\ ?${!'n0~Rǘk'Ó`N,)tZÊ㎃![lOL{)F:n8o3%֓z?B^}g^~P]i1gYNX͍i{ y}4Jh=K{|dz u2$:AYU^G7tf~*zogN7TU|_֡mS>z W"ޑO +ۻ+^vY {88ǃq_ ]Qfݟ2Sk yUbU' +^L@TW6&mv)2U}LYAD}? g}>L))ZJCHf^ygM;"\X$%蹋jEbd,bGɉoryLJwRQB6.\!7Piޑh=>Y'X\ YPG$GGe([U9e!AR#h\3Q=pg 4?x2oy& ]5EtM9/ShĆK'ҕ댚e>*3i0)8i2(Gez^7O" VW-nGu)ِaWs8kIG|O /nHIUCq s$ a] U(HE13#/8Dg3o!г -Nz t/RkŌ^˖xH~V+P20,Vk[o!(J/gg|~_Ʒ_jrR{er ϐ5FR˵ܫsh1؜`[K;[n!{ ^( [/A. 6gMc'Pߴv-OݧΆ~ZMq 6~)~lxB̀R)tG ir7@Xo+rFbz b望C0v9{KjP7SW{S#q2z =3,2oYw"sfI#اK:3tާ9(|84} |9fhu焔.d fGLZ6^/女FC6cEW 'qP!DB~];͡H#ȻUd+.N|}VC|M=GF5FF򆫭2@KL2ةIi!*S)zl)"{9C~n)Z͢Òh3u"6Ohxl[wm*K)gґ"QsLdce&՞kg)ݥnI \tY=c姝v/>q (}FaMN׉]MUIzs_tάqБcѰ`\V)knzb}AIufI]ԲKL?v*ѻZɩr:ěJw!T'-|1:HI O^.|n^<~`zROkG>put4Ho9bO*8aw."71 b3=-^bH_;eL.~mއ3 tKF74HrFh-ջu 4mU0SrH`]y%p5bIMӋp(׆5\@;Ӛz -cۉef}pǬG6,.)C{>s.^|m@ ߰T%"`G`azq Jp@!,dl"e띜Mg%3Zɵy6 #>'> nWp:(>i؛y1p*oS)~5ϕfkН8t2ٖՠVW2eWnh^~W}%=1 ˙"PU.LUENJ?f? Ĩmt3"Lxi2UenI4Vߔ䎇JoEǭ\\Kۆ@l/, *$w~޺Oeo2^ۯ]A~B fYª\]^fZ[1kQӝA=>^&= ZEIacV^ `Xݥ@(PG)v]'&4urtHP?'ٛ(ݤ*gN܃:jS^ 7dg{=#ĠԶړ"ͤ<:ܡN=p.Z-QbkY} _. U0$*?8>ٍzv#\9|ǃ?OG 8YxsB1́5#*hv'L Op1M9@ȥӅbx}u?2koO3tp=C٦lӀnPJºK n(.&L Y:3Z !m?*G%Q1RL}:1 uD+ޛl/_Y/'b-r:`TV.mᎉiйMshK夌蜜 Ũ\"3Ѣu2\D,!@mӥĨPqTc b8 \iU1'/۹KiqºܐK?s]CčLTBىfwJ?[Xӵj?V_a7ErqǸӲhǚrHmsPca@%$OFc|ˎw'EN5V pn^̮2-4WU53 a$Pli@i^ֶgh]]՛$4 w4' 2ݦ9]};Vl>S0w?ɷ:342}=IA DRB_gJ܏ 3G? CHE[=ZJF֊b~lşڣ l/zн&>S gN]ڮ#a&!`J:D[/ˑ;Znf J~7ڽ+vkدC_xu:Vrap֌: wHτɠq{;h=J&?{|iͲ7-iO(٨E 4ulg( idQG1?ЩSx6Mo LS(GoH$?Ά$: ? -5Hodf?A42 ?|a _RlY[݈2TT]SX&:q,.qr q1M~ӆ&8wUγF3+CҐ͌Kye[_0seA"K3uڷaKa:-H)i+|N,ާK Oh\]*ItGtYy쎰UNx>"?B le),u:Җ4t/ fI ֳ;A k$d2eXgAnM-X|l,|j9oRi" ơ,y ݦXppcGĩ"hS FŔ`حcРdxxJVIiM#|LaE"ġߣm.Go1ȏ  mukN8VH]1 ФhjNZ"#2fj+TeZ{ܚrT5R%YN%q31Jf-V(8iHv\ѭfopG, /eۍX~ Kfnľ.Gm]PC!Rx2k ^=]`vF }0moS͉9fP0)q 6^5|)kH5l+xGޭ)O>'T:j:p֗m3hIH/ހiq^/ @Sx[0;ÁA sB‚\~x04}LAb/Zו#3:)A+'=`ࡷ-!0^Y$qS<"ʅIC(Y~GtϡDʐ Sz`ntu89/1٤l.&v {S_ߠ1$~@Z~\8w,U=mM 0څPbl"%N]kGi &֢ 5h-0Ӿr}l5vf?u_h=u?{JYEGHpKUQ0poz?bQxdJeY콇6 :Y'sO7hN Yxw #sxg_J15jJ8ӓvdZ_hPKΡN8[VZNJaK"ݻ.ZɢQdm-D#\)V P$H;HlFCtJIV%g[ӕ5hgYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 34221437a109a5594ba7786476b5abb5979a2647 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 727a5f1d5defef9db9c26651d8d114f92e1135d4 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821f0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903