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 ]]s L, ] ZF-UNITY:threads=6elapsed=6.264cpu=33.256gc=1.424factor=5.317zXZִF! F]ŗXiɟH)0%o@ƹ;>60QRT%?W|,e,| ~}c'HI9^j۰5; 8PYYB国xJ:/T|E&^ NjpW*(&*tsAýfZ$,hFVF)OZw1Z,V$ډ%|qY$ @+ 6%kӵ߲@h]\hg7kڃJS^_%#J&DXQn>DxIDBhmQ;3F6x8<ĩX1گ xlw%hS2*WVQ_fVq4xt:I귞uAX?'Kg9rLK"U;NⴢI/[yͰEۣ,[dSw|g)&)oJKoKK&i? PQk/iLP0^\L%)R%&:bpG הNz;;˵ ;Al*bpRPUhqwnAފK$ #Bƛ+|-(DZlԁ zBܲN}Y-Z!?S឵li\zy5+"aFGt9RpOR7kJ\Ѽ wijY(/x4+qPG uϑianpSJv@ xÒIq#w_ݾ|vث3W2M\[}#篃c\궍v-OK\tIRFQnWv ʒQPnן䑯ʈk-)?,szs%yoT2кL[%ڎmoGyQRf@\  1z 'qX`N#oRw7mG~Vg2kJEE"&-2M|ZU(K# unֱv20 !M7cZzn\mJ&Fx_Kcr]LֺU1軅 aIOW5MShߎ)9S-8.bWPճ]>y zeuYlhvp6ÉV[x]\ 'Iv]*kT;DξLqu9?rdzZD5g)r*h=׹>_[0kR$%]1~ҀϟWohJQ`&L͘f^/- ͡;= Ƭ|P>Fh~vpl0q(81{> 5RPl?;ʢ+є"Z3FT}y-R]Er1ysol.vm!V4ht[2q ɋQ$lg sX'kinzAmA HR`5T_ZH׉MOE,y>I/K@FGO߸ gOoVC kC:]?1wv ?t57-h_݇d3>*R4T)X=~PHTj%}oN5{& "T(c<   ZF-UNITY  t#0bfA6}2? 8O)9.S<9Qf{1`/\@k>fQz\̸|3btG]*#XnzК{GG\:SLfr@(̐+<0ٚ 1yB{Y0q$1*JuoeCz j7NZ˧&wP6x3; ,>cO˖>$`}n-%̭b\FtŴU-V˚Mߌ]Z>2@nʣcqKK( rQ?R{$~`7TygT]P qjAv9@*v|aZR\8I_5n=j:D4,RD~ah Qi_(g%^)GYc(5 HWJm'30l ?b D.yqe 3aX)D+M9ه)T=H!/]bKL*c 9;Irt*C7qx&AN0!h=# 뵭fz VA%p j v `[{]KhZ0Gͽ=2'.q0`< UA,+}LϮcft !b:A3&5β(4#|o˕&OӀw|xK(Ii4G ? j=4ԛ-sr p@8dC"@ 0 VQst]=4u-+1~bڈ?lY2JHwXQoJ[(ᰉƈ#[e)ߣ_T2KN0fwxyp|Fcځo ᬂQOd v'|E!-l2Gd{鬸dvEKJ@bVfh 4gxާXH,}JyVXmrme=w+Lf 2HM`3Lԏ&&&V(3̋=En )%j{c$;,l4*dEzAg1. bMT]6'lUI $)|tFx^L}IEy+w$^zuxbSi8+U 6 7X63"9L%3o{itlDwlf,UM_:V0jK>s ZUٛ`ηҌlqM:Ј|;8Ii 5;XtiSu # 5,3 ZAl>rGDI=8xy97|l,=q:oҺ}dn{R!Y-;D-Ut~+W-R*ҕʱ\W3(y8Y/ iQ+iq&l]3F :D OFaQr>A$cRm@V:|܅Cs{hc4Jo1TrHTg;nFoY5Bа(H|E>x r.,2-U ^2Ss>lut<0؜wLcqfHPLT`T#툳?`o5)Ġcxa+)xX@@X\pgeeveF@5S>wx=j ԡ^["dv:J$.ivAv0 ܣ>HMP{T 6G5{z6$޻w΄z-bC| G2ʧys#v؎y҉Ґ!:D.V aFCˆ`Ҁ&qFyh ]o*ž旮~ '?᪃46i|:50D 1g#XVbLY@^Qtwr5J@'x,\vM#FEXٟ;&"+(;`Y|W$ԕ;ޏ^xW8͈KKԷXs&{$,[%P;i,HutZ֏ @#8 8MLxI;q^ZW׸s"}>| TMh@]a]qFƇT1[~սrL@lC/zg 5N3օȀ.M{AEdRlW9?ªH vfRqvGŭ l^_;&R5&f/TcC`G4 Rbb~J i@V,xv(E@G 3;M\޶ig?6=TZ ִ Jew4)Mu&qş+и SWl7[6Q<ĻTpH(fNMp=%}s[~I? 'ϪC3J$f،1dUϠJ[.[ك ATU:dw(U?*lz˝7&" k !FB2Ħr>QNoCc%=sc[~L򭳲 #ܑg4D_)Y+qTӼU1%6PY]iZhv;X;ѻhR3"R㏱O@_l6$b=3+v\qsxڍ"_'"U#NHqr۸ƶ:sS\: ̶ UM4z_n2^^' bdu.RdAW(_$0q,acF¥ | )0͜ ʋy=&Δ+ Vg<?'ےs ,#vHE %wNܼtr/l.HѸIB PPZ Ua,vCLfIC[byc>0< u )z4pݰQBg]u'W,GdN<˫KEҸ;`gLhF~HȶoX$akUAIm:>NAY>hyȠUt$Մ^[W^.g@ʃ#r93=ڷ8 DGCsr,c2-.84έU_hv0oOb\ZPd$jKN''! Z54pթ\ վ0sG/~wtp:|Ҡ\9Qܻ5@$;xcAHW~ĵQ^7{ [ib>}xs2Xu;1D;"tWD~:;i鲚U|5_;u3T %N ^&T!eBg{:lߪ1ksP̏8ND.)Ae(aX{e1s1XT}$b-°N7ͻ.Ή?._" R\rH_ygژآk hXMb!10h/8D~ 2?t+P ,a%qLI{m8tWӷ5u! VE$IbV+ֳڧ%Q T5A=A#[Q+wMWlIq_`qԎ-pAmuwlO#0bgUYLF|CpueUfD.4i_ 3tXT&`I$J^+vs X47TǻR2QpX[j6{M$83NXM_3zQw-5?ɈG{~zYZҡdC6 SJ1( GKEa LB35n1|gEV%u:|򊃓 #ĘA[qY[qs|=PLdo-`-Uhhu@Әr&9Z ݴ(07 ^~s@YJ܎=#48-5o)D3&GcU^-miV.4UQ9dktP 3%Xvt 3mźט1(niA9n^pG8Vv>pxֳƿ`b^Z֞:9m5FH1RV&S7BK_yMRbFwRQ"-!Som㌆C۹|αS7eZIFpaՎo["mz !z}Ţ V⓵Cx* S7lJ+9E6ݶ4؅eY"j7A)\'"cе5.2ϸ4/TNמ'TZ^ wB?#ntH.v:|V;C1q[H8=|Pj8bPf'VԤ^} !qn2q! .'guAk4Y,֬Q4:}]9)Hߙ]VHEp-eA5` }/1Әh⍺ ;Cnu%<gBjEz&ye_@%8':h~}QvKRG8LmaT\at0U9$j#t)PGc']Rє7WKG,_|K|Kٳ|t:6+k/N *ձeWn 5?ڑ?1g9BBeEp*ň+c N\ЋD0IJJ8_iC?Oi$p\ Íd7?@.6 a3XdEZX E$j<] J1bP˙2q3Ofs7Ǡ?`?ijB#OλCw\fF]+O< n>-`@Ho0i!M?TNO=R].2 9cPC((sSPK &ATWcޛkZ=msjnjUF2WFbvtE*s$՜"7?K DsNpuQ\vބ/-FEV_mvJG,91 q>ڼMV!Ī/P-uά|lsmobokCHs&v Z o=|zӇ Li$Kϫgh;-M{︃pad@:0)2n+0=-=RF&=l0{RX8-4YJדYq-~\9Y݅YkpB3J'aP5Bŧ6@ftv[LyM˲%=m p"܋-|۞`ҽwr$o]` >F-6gBSӷ8=^6o] ={)cz|HK)90z1awWURc @u t Hg#L| |VkR*] VQMhFxo@74tmbh[:F wBSlT:[|3#Fsgثf 5&{\%M+IJbl"Y@[P3 \:W:L4Dn8Mʞ9M@z8>8=!"s)+XVc'[tYb' Fi yL!5%?es)#.De`&:{N817TvFV|F>'F6QtAZǮ$n!Yґpء(R׍!sa_'lqcOavr 5[HH*v \Lq9^(2i4%#W0Uɳ7VX:s[`<ϴBPQ.D#)@=ULݳ!ѣf.z1MzD ]*ݗuwd?M8c8mBѷ_e(ZJ "V*-4烢zMn[1#)q*_6J4Xwwq1@' AR󑆚QNldx{1 ް/R^UP;qwHiw}5ė誺W]cbAϷ\|خkFRoh?_ƭgiș49{v /;vxeތq-cD|T& l_UGqi&I؝*h 4˵gBr=$}&Z 9^R0FR(ƅHA./+""XN#`B ^C;8#$#\`E" v Z:)W N["PMbq0ΡwE%h[T^^ȡW fwa+QT[tJ'B )u54l]S-[:M>1^?|;N&`zLdfv9}K%9ǹ.mh pcOSřȲpa)-hB#V7^qdLv'WrHN5"DŽ dbCڮҒ85qome;b}? gI5 !F-bdoA-AD6>k,쾟0ƑbW[x- V$n;Ԗܜz(`ei)M vEy[q /B%amW`ɆP_YžyyL, FcIe< b vKm%P⚗b1o1SQܐB?4iHT#u<.[эɵDgc #7}юLS&)]?˥S?*By8.>ppc )T";УqNZ#WN@Zk* ņXܞ^%wr|>B]mmz UY)U*G*,|9]NFD;7HխfG))@}-\Y\4 v롺`syEրܙpcH 鄗B2?]D1 j?w<=3q 14 YYޠBUQ"[ R/|{M;D"4 GV`j*g"CN"ܯi. [7s\,_}zrpgLRNy߾:uN oܛ)MS>k<+ rF }LT\Z33#" @1`ݕz{'cB(PIYB3_6tAvLj!/OLz?ۿe~\j+=\ WJ^TYv2}|hj\{fкsL|EKV%cnJ` %6Zlyr*: C  ۓf!I1bls0$pKg+ç\blLn1>okq_Y華,Ԣe8潤+gl"N(vJeYr,O;F*^ &h?ڴ} \oKK{5U@}0+[mkD1XNNO|yW"1Ηvt34w|6.P)?պ\YO6D$n:nΟu 򣑂EPx~}j]  L) w.vS9$"$1)lRQMVU_¾$Q*7lPhAtj  LMyWYc3M Kthԗb!N4ZV|hAfy9mNe$SNwggkL}n‹07"N\< Ka9㖃Q)f`P/`؜oJt@դ0}cR-=T0:~ޞbׇ~|hu ڟaf$B~>Gror㧡 N$ a_?HgOJTGU(};ڠvLٌL7@^DB qy@؟mT,~!R!QDf aW_)t47omrY~̵xK"q<eRxezt-.>v._!^V;sW'.&ONEn*׃<"sERD;#1=r=1bI*6/i+(v+V=aK8'<+:gz~'7Yy`24oh'1N#Gm#:MQ(&GKA<HL%Ļ'ieNviظP_w Z$XBZ_?@Nu\<w>س WUc"mzl4ld>ΊanYC'wXPW-/^w:@jgтޛ9/6#ħ[ Eׁ0!#,T foXr7)([ZϖL)M_b`.ui lR~< e0k jvBeFGI"7d' ,wof8'ncjoeeMfI@'% M>YlPiؒ}?_7,mP 2;e H[fi;<}A¢Dv&Nx;J<nS2^}pEÎZ! uEK/DXi&?BO6xn5/AȬ>r Ⲷh 6qaNIJsooxǧrGC~6˖8Os +\(gtj40Gt^"NV3O+^G)گhTsh3iqMC0K̳B;ȰsɌ⩞y<7z&uOw1KL6A0࿡85ԩ-\nV5'#{qULr_U# Y.bwYtK؝[pqRVFڭw{{ݖ!^f|B:Vw]Hڜ4 Z]tazSgϋ`'xo5=o턜-݌dD6Q$aƺdZ>6h^+KAƟ7KZٿr*gZCkÅ=ACZRz F)t9/D4}nZ#7H얇C4/*[9罸5CK0.鄗g(YN@X9ׄ?Vh/ {YR|4CF&}*}2&'ן:'÷P-34Hp?KvBـMsFàAr l5`L8O"J|G 'Y%AJ=" 6PO& ^?ʌ:ξƈ"@eSsO݂MqF 4y[~lZ A K_Љzl!3RPx$T^im? у؜"MEQ<۠.{S I,ZƮGݟY_] L49$_Q(,Dݞl۷ʉZn}I}MD郕ڂ.*q\֝ 8)lFOmIqYM6* ,ܑi=h*p%<}Nj\10t][M?v{ hkP#旜Z!Mzu :k<҆M:!z iUxo~a JԾwt,iwgi_h؁ĝV^T3Rr 4!Ç>! ƂQ%[-ֵjRZzgٴ1P)?b!N>blsgx62@=[M8r )OFp۝=s`ɪ.ȶ {"up  g*Q/Xٷ٘8B=ИG\5&,!l4 BSٰ/P̲Jz7a8hAWESR1(yN \"$(Jf׃HC,}UXYUVSx#/A" { DG|BWh5=ؑlɉb`3Y]Βc,Ϙ7䠣u<@0}} u`lsx%`7Z^11'gRQ V\.;' GZ3*O]'G|l}b-y'rTm.2* o%{ P5#@@gGӁ*7)|C1Fě( BmjrӱzˉK}wV;AZM; P|Zg'󋊜?4B哺 bq$L6L&CT$&7fJH4 A>uIҸ9cUm(R- P!|{Ti|{t8frQlQ (6JaTW5-2N`Uu$օBH8J=[O7(" *4K%ħG*yBAN A;("Z[3J摕jIge/ PA)t?\t[2N8N_"5b=zO˸ iv_v.n*11z5/#Z5)t$VQ%كɦ;QDա@7{-d} 盒pc5wmz~](Sd46Do}ɇe NAAp5chMұ)jIgfoK^]XxIFKbsn !1D;>éN!6ZOv|ZAn+)Y# c5SWg_m;?S1~^;=]w 2p#4{dvqF*s ljfKVv dEI-DԄo}]R';e`wCS0w ougOa4cxp7)  <|̉f3Rn9K!@ՓEav /JDF|+z{7vR[谋{jy_:O钹JqP?nG^ NnTL&"TX 7ʓ)zZ' ;kV/]nn(`mbLi$fGgq$P` F >̞hUwK.7y|K+Awѹ>/ .M`.=l^)Jf=pB7 gȼxW0,_Zh5qt3o : 6Huc)w5zksiA=e|z?AVqCmbr`Lr:7?gh8Ŝ?T]gP~lfGJ&o7-zhSv;Sm3>K!Soy\1U*v!aYy=ڠD&>r.[\{ IԦA+!dSzs hJ0fk f_0bK{n ~gߦ]!l֍;.ɴ:V3AQ$BxSj/x4Q?`T>KWeB5G=($ ,߃C:M Ύ>sK,lRg%1t< 3D:KN}݁p3${S:B`EH`cRЌklV-]]yN /,Fuv#n c]2b&tFjp<,Ku;yaP"hS *І1W#y_|15 {lE y=;AkLxKʤ[>0{b`m= 8K_e+& ^j[%X3C-SΝ[X9͚$%E @ +b|]^wt |ʍVO:B zx}A9j [ڟ x|Dnv&=}RpLOp؀^Ⱥ &1TXpE"|w>r`K-11.B7h,#}R1z 9'7\%Y8L5H[CyMcp fc5^ĉPM}м bї>ۯ>L4ߦdj(Yi-I,1,8n -pOs[ISv7-Vc:r+ڀ+٢c r_;DYt L~QHrɳ`,Q<%K߭n)Z{ڢ :9" |wo'jtH <ݲh09A`<~Yn'xfjƱU.%Fq}qU+ znn'{ƘԱc++)Ax<6qw{SWC=Cqͼ#d.rmAKx)X(ݵeS[lfcor",^:Fܪ"q\!S.b(@>B߱qvQccPOz dF\%wf\/=0& H^@~5/nhc\M #%[S.ބJÅ]]WL} mD|Q A.7/ 6+B/kA{#voQ8b x|X"eH(7H/nB;=7o>RM̺r%.lk㺸gi |IQ#1dcbt÷y ЏH=ʐ6a@ǒLp3xJ]F? ~we+fXb3Qro?If>Wdxj)n nuUKuFD_(~y'C)r+F, e xp %M+eS3MߟI͉)%~ě ;Yy9yr VDȉ6xp&И $w_K[1~^f)DަI=sfM?~98HS◨LZaTw-o b]ʫ㵈S:b7t3 '7GA-U\xo$S9h—rŷV3l Udf djf{0KuPRr MhMM䃒y` H6MZꬬc\+U_Y_>%]&7xJ\`#L}5j8oa2L7:Q]&UO8?sK`>t3 S*=N#4&##GI5B|P-r؞0?Wc!T0Jk`C2(7"S&0mӴhYꗖ9) 3\M ׼tKDZY#L6K+n ^7s? աJOЈ8dT#y,?{>N;ѫsTnT^à߯HXq=n04n/eX4{6VpvH,u'qdl hv˖^oz^KSoxBQ.*ycpSẍCRr"*`\ų{^jmӿ.^upc A'[YHI5SLEq+HivH}r2@eŒ a1tԱyIKX~·4W#NyW5qVuQJ9O@AƧl(U.NpQaR'sgT(9Z%,j..e޸=PDRv'lWiYȚ ^w62V,q=gw QMHy҂˿d54Iy~*^W _WUUsP.N l=β@I,B#9h%8.=\)b`!]9μE*.} -%#"Ҋi%,qCyjA,7S|6 ['gz7+a\X*h'{=P4ppʤJzuTLJ/J2l \3Z[6`"urxgqgΉJ^} G0Cj4o*q["saLH+MK1t_U8zE_Ȑ!czv,.`ZBK-a3+Hkx'{{Yg"Y}=uSLQE\#BPn:7lXV›I up ,+4>7vlilQ$qrEȵP _*%&]e?5d2ӣV9X#&2et 9͂^J٨c9Y⩮85޼|}yhY牲s:@ y45{u<{3qihlsR) ~,-'U,/vO5ޕ1i#5B20*wr 9,hhy5@\MݠUol[ 3(\3< FI߀g(!V1CJtf@RH$n[G.¢|V7:kT% rd-d u,Cp1 :tpuвcE֏Y7 EDnU#]H ۾!F A7"By $n}4͖3({ ˆ5fղ Z,?2 $N~59Qhv=ŝ>M(!\J J}v"f|a33gϟ]̗DTn$OE+39¦&!_u5^ &Hf:&9~ iݶd$J܉Bo:w?87bPhāopqGZ;#4$^l[$WFTxq]([?wV/29>Y0Fi~BP0ja&n*1 @H/>ix^3q .[aA{԰$E0ͫA3AYQS=k7_ts'ռO~Tlfri?G{Z H@7{z1ΰ6@]șPޫQr~?U<:FT);*O-Peh \o^ ߌ#G'Wl\GfqɅx^5`̹BhTVqDK^ř<\hIV `6YϰնuK(wPZ3]4W-RR=ܟoY(Yo4m>~s61cwOG"}U+CPIg1!e͂/AZ#zwz;1} b.zi )@v:0 -vs;7ǴPXF)MWyx9;m) R;~.2q+?{(+jQw97㧴wGOf?dv&*wn1薍pbB}PBL3aV挕ׅ,ooVbq@j`'+1~hS1 ODQ9Kq"+\Vo#d$>y˂Rf2^tTQg ߣ.pU!(7h͟|% -HS,sWȷ(.r>{Ѯpgc1Y{{kt.݀^/OW͆5;n7:s'`e8 cj7K5+5_xnН [4*HqOʥ7H(^FTv契j\!W w^e7-G k^#vi /tcc 6ŵ$=&zZ88KȮáE/]&u ŧ(Bɣ~(sړbO Vqmo[: K9*c63BǫV%>o<x+kmDVNe.Љ$WT8b,4⻌b"A?ڴ.v v)'=j5WP"/Te TH8Cb'w|orGꨀ8p{V,%0X"I4烱ẉ8柹!EV[_99bZ|ušj/G(Ea:i!2zfszB6u`Sf էڤ 9XL+ Ф5weYv FѺͥ霻/A g*U1|8)ֵqcbzۆ3x b_=fr7$]ovoՃ WSx3A&(VA~(:ٰvy# g]JGZ 'dž I(g@8uSE|H L}⮤&, *cPQaiB,6R˨e'L-XIh{wZ$@=5 yK Q`mF+̪JqZR8uQi69ZWjn*jiP%' "W6RжmH>,Pt^$vmइ!t\ܗYㅆ>qGzG{i/|i[ճETnpJlc;l vXҙ-T4"741p9{z=䡎~z,98EC|11?*QՎЮ";csf'݀)'6Ve9e  ؇@b(0[: qޭ|Oo V#N[v0LK6"ː55|!ic9xAÒ Ltr$g2pF0D{ފ]{6ìWW8ăꠧۖ5'?[m1@ʧX^ep4iхTom:q hBc״1~ŚB'p<$S::%LV盿x4yʽF_F,TdȾjIքj#_.LYK.N{ވUPjY+66y! zU *QqƄZ!DVʷHEuYǮ:;_7o[dXKe\0CS-UbJ:N+zvUD.ޑͪN<֕ʂ 5ZpLB2 r>JUMAĽ[~ IԎߤo PU)ESw>6=Zdh֦}>i9}K*زSDBx~4p>,iKmPzZ7_g`{( ~40aq$G$M8-WeZCRF>Ř񓿆(|٭>RKv f?ZpA~%1mk9o*&k,O$'96ZV59b+wn!QNN^Aw>u2O &,YαS>k$4F`NFZ Zi#^U{ /U]AIF=cyf@ufw}e_%IzHk_LCs]]/d"^U& #;=-02r:kc.1#&RDu}OXx2îct VsXBӦ*=oN۹i^Ni:IKqɯ"D5tz2ܤ`{:q=IEnd;<\U`}ѫe;AY$]F`ZAlz ܬ5>DhM/2oYdg7=vRFF\J?a#xw?W&#9xe\$ 6#[SH:tXc'X!<$c,fpF3e\~Y:8)F~ϓMȵE[y*Mﰅw0 ?5U+ O W)k+LH *̓7hbr}1ja(W\S[<葼`X/.HgZuoqji65K77{.?OwFxx'@8zk=I%hC]ah=V+r6}͛W49|K}P;}PZȏWUN,8Jw,X= trň~blR}tB{=d ){pkdд4I1'݅3w2?90 9z:6];nmա sԝWLU&rlw :Y+8${ `3k"ߺ2:%@S ) !,q*#Q/͎QNHz|>8*aJjZlXsT=5oe~9k(x̸0ߡY-D#P-O g$]9Jy\EٴcV?tV2&~A.}K #+s'ٟIieB]p$<ں.Ȧ4R˄Բ|G;h)w7?d\B:$0>f6' 7U-!q.5U> **{_za4mT||B+d\ȐKV>^Vضؼ6*0훡AsKkpfi:j~^Wq7S;G,66mK*?vɖYj寔'FQy!v.ӥbk78Y/J(RWiWhPH~_(eRTҢR*9(1I<& }Ug`s2[8Á(SjbyqF)r) 1K۷CѻHT#ȯ U?xVru7M@yW M[RM6!&pZ,}KFHHpMA:뾩~E &<Խ-oMa<5hNPtQ9`-? Hy#Ž14ɬ CGkbN{,176MgeiC&wG`✦V%F,,ٸA6V[p=|}< 9yGIyìAe|= B«%9/ [t#MqSRḓjNǟ ͕7<ҴwX\:<${C2 gU\*UªTPXp%M[IJ kŠޮ -i cIZOuB#292(* S 4Im \"{N1?["2~㤜tUr!Y8 pǁ$ʒ@edKQ% (a wKyFNOmR2u=nN#P9ԩbҥ]cpl[{1qbMuS6MOT4w[4:@7"LL+1~ujC4*F[+|ZzmRI!GQ YTl1棻oX>oz+s 5V *p|/ņ!2m~j'K.Q"\}:s3A V*20C10P\ާk%Hb2FOyNmϧ5^ZKOufK&-)| 6|K;e66{XnV+"ٌ3Am=. ҤYp{.︢͞{(jD2o*"5QG!wOxlVPً+_[ NnU>mEwg=-sHȤTosNI|dp:>45K3{$зL<mo?ONSSb\[Y@>;ػʬKO?v&5Θ(4NmHkV]92WYb03#U"-S]R:)$8 ɐ 881"q OcFSi\f+`uq9;D}utm2ؼ'RJn H섑1hB o:p4s}ި?"8ջ UB!orंpr=tq/xnaz{De̯tfJV6u/R" Õ'ZX@T ̾}DJ)XB#A(0壘VRͰʱ) $pb85(6<.:0 D%MdIY@0eS[lvM3AoMyp!~&1}Iz E968K >TN8HܗWӪ4fAeM'EjwC*1 Ử۾dnϏEM(<}/j"ldc,.iV03^=be99 q+讠Y[[Q\4y@6SG  Xb1]]F<+كWJ<&N~]C/4+ꚓ%"/ÎR)'v#L]T\V/~iyhP6j;Me+ {@fU1d⺘4^+@*_Z6pP ):em~FN6 2w7 !UP>=CsVJC;X25; oװaQa%|,KXc4}v!%T2+2sPAsUi10߱̊_JQBAʺZ&e?!+t6ޞjQGVe^^ g6K-gAO H~܌pR w& &"HbȒRO>:L ׮փt3RzpUk,ݥ'ad; (/:!Rzl &k>Xr5T'z(`p;칭8ף xR?؊3%?AFl]=)$FTk R%q}mgB$-ќ1_=NyMPd5Ij K,1oئzs@^n(Cm L}7 ]ާֺ lc=' Ign:ϐz if ;jQOQciabTuhfХI8#V2 Tr.؟ (׳̟u]k;~?LXmX \sdZ)0YNH'a_q hJx<%7yAE>b-LdYL@k^ oBV-7,M J3ƟXҙa6TQ4@btU.6ޘrne<Әű!7NΚ/K΄hݐ'ɯru %Q(̡#Mb_,ǽ^-`~Vҫip˦Ekd̻N |(?3A?'^8TK#ꆎlfwbM܂pY[(Uygϔ.wD~=T| 66FX:Izw/2G+N8$ҷA+O66S\VMv1P\P4qv]Yd@ORggya34 ǩH|RHrѶfY"y"ڻw{$`϶b2_xY Yj4 k|Ju *3w}6u$&9`-:N"s*E?˲!@vz@'\'}Wf|W-BWmU:]jŐ06cPN=RmرkMc/=Yh8{M=#<1!#N/^:E}ˁXsza;Gd\p6R\ <^LyAYI~Fv*݂82`x%K1w6f?[>EIZ528Jِ$yD !2OPnےQ+jKYۯa-w€iyZ 9܉r {Ih[3t98tc9J6qT`?0f?7n, S͔11>fU<%h+D pEZZ@{]S E0oi.Aֿͺ!+wAUBp5N]grDw12Xw/bW$tn"W@BM^O Vj,$:C]/{v,5[}ki%?B>%6&d꿱$|;54j[@ gּ"I$-xC D1Ē&|vvoK.bRsRяʍB&:N#h秩*>YOĆJh#hr{y-UBV [ *M*P}N.r* p,yZBJ7/8ԓY`Ac Ҙ./d-pvx0f{N=n1'ZyF}[ܗ\>U}|}H":!l£~T.BF/O3(h5,h+dc|.ܴ-p1]vW2+}a-:$}!3i'"c0#Y|?g`J8%BK{#i [ Q [5 o)͔iSc=F}'AU3i`?mZm0+*Y  h%Qb~s%oWJ"54";=f>NnPt q9\e#wQV!wYħgd &}^qfԻDZ`aSTDEy.Ő+zyq@*G,1"|+՝J'YM&*xif_|!u!(S}`4@ɪ'kE:Еxkaطz-OEtO!TQOP FCClӠ͎!/\ͫ9oJ5n D> \)L>֯d>{*M؏*¢rY-uKu".0?Ts@?"NH|0;3V䈥>"ߙf؇Z/HliM/˞E_b'8?DZۑcLpT&AJ r}U/TZ2(vӿ'!?50^֪^|V v<SA9Զ2RHy n &x4Sl<䑈16ʘo;ee3QRL ׄ1'cnWA8PbR]Ԟxš3;J;VTM98N$)o(Ȼh28Z Qsuᅉikࣔ2h\: xv[ mqBxu 6>~uvt??]0I h=w04ƀ;eLxePnȷCtmU]||cv#LT6jS/RN`K͒w5<)\g>E@͒ eL#T+ou<) 2 Θ,V5k8ѧ)afL{?;WRuwR'?mxhABj5W8M~}7׳=v{~>6]8JHb "눹.^-a(hm EoBڵjzbк?7NBUɓ1i֨[Fuͩ}ݹboU}VR=[^+ڀh_CgdvQʼe! Z7X#O!c8XP:\N3r,;wzN:u)p2zWO,\d8nFf-Q٬WQ7wI}SoK_I:Z-Lᱞ ڎ1e,+pn?G01 %v6QMv]-3HXed.6mRP:LJ2(mȭeFeR\xŶ&[bY;+`C?,O\ '4SR1I4.~mKi ֥pCVi܈~`Dx%$N&.Q`F eeY}nxaf11?oѺ/;e|vPN5G,6G5yI0^=Ve3X=&_'BNthZ @b@f̋OZߊOY4*cE/}{H <ͽ3.>bٜb8)04Fly:9%;wnMJ, :aJl:X/8ƧΠ5*/_ۊnCnƌ(?Z. 2{n:NώLDaKZc4g!(ك,/{ !DKo9۝vɊ4ےP;v7 _lV+a-!P^1AF}>7rbH9*șܲͻfPUd#Mf][8zk)" |.W5.:y!YvCG_"&P??dq@H <~i:[N U"9O3&z!zk!\`^m5)$Ss1x,'(\Zq=k:@ԻvӦ@_Q9m'{scaVU N3qH~LwW~ $dToSnrbܸX`aYS(/L|H̡v3Eۅhgޮ|M/Iz|RPJs_t2 [oWt~@FWI9^*5"#! t۩tpyFROo$jQV倪FsWJC%[闬&jR,e{ýA\5~$ة_HT S} +^b}cgweŃtE}0m3m7v4l5S֘ GŸiJZ;teCfPP]2R~|?2;l M!7>IYe4 UeF% T=ڌvgB{y`='d+0vd"1;R ;#|F&B+rޕe\}G׍`+:Ra)n;î9-߉ Ω@zIϩXIQe:ۓ)Óͨ"՝WQUwFL-ghJhzm_'_X|z>+KqA/-##H _5q>_c'V9fP1yk({b?(awXpt|:8.R:[N]y6`T*FHO3B)BSQsu閦Yxy˜$VyY~VQHe2Ӫ>fa_?JyDw ?ChӛAo;pE_@o(lVk-E\qc` c(JkS_* O l3pc~ߦl#d"oFi|"PfԛPUaw@o`4ܳt{(Acx9\M|0Pٶ"RwAFU'~ڗz.d}"Qy4uscז\?Pj+Bd9 i\VL@yLJ1ω>/.5v2= u"݃  pB潭pe$d%읙(m2p:_C’捽߁ar"hWx<L|铙B!|t;m_:o7wҔd-@ #@t"@nP$ALlFML-)rzZ+ӏmeҍ5Fb3Z[JJ[\?ԫ! g4,  p- @3 7 I?<Ǚ۷v} ό<2j^?eycj6OREV ? M ^hr'2[q[؈Ph(la;9 ^hh#{|'{!mǔW.H.܊jz|(cN(՜XXg_Cɓ}*$MY[A5O'*<>Ͼߒ@1-B4ӐۥQ!`y;$aM#:aof#'cRDiՅϕT:0 D*2..@6+nPy~.UtutLNp;)^QSЎr>Uƶ ^ A<n h$|gۏhcbd>pdlm6ahY/Be{x_ݯB(%YQb_[&D) Uu;̹v0w]W`2cerm|;Ҝ:͆;hbɔc0U\P`HLaN  -@w[q_mCTz̴-xq㥐/vf+@_DJP7Zkf +gKS2ܵɰ/mVʃo}ze\?9w dWq<8lC.*{$~<ܺ>{r$@)< )"-b8ZB4'@׭ͭ!vӜPPV綋U|-_`1F)L|AQJwj:k_z\o̠lJ3tTigwc?c(-6s{rD w=n˰\D-cWrZ8t3މZ!=E ,ߪ]nvVTta9z1 *$OCQx"&H) (. q/fI'S 7};eg66p |Bkx9Z!HKwtUΡzi3o,"_r_(F嫩p R\q$0HAd 0tGμU՛5%S"M"ʎ~e'1evlF3"kʜ!tX/(n[=0P=z(QtTsV)P%!E6R;nH} Wjl~9ҨQ6x9fpPAG@O[ .m!-s.xlQ%B?S`ֽTX:(F9U5c{f`ڷGQI BiH4soy d0t-!9t ,&%7WJA6Iގ6#? yp!DP3F Tddt8OxlԦ=,o2L+A#bM3)" yO<{ր:`Ahң9aDdw3sh[`. F]bgB,U{K<*yB`g fa‰_PRZ,>jDw=8:=~>u>mx%F,ؐ.JZ)# }ӄF/}ސPL[d)imUf!cZMAC5i)<:e1 _Pbm}S䟱qvj&I[#IS{˗Y͊=Ot7AM#V;yr(,]$A֪Ҿ0j5֙qj(y虺0\zIRǎf]y>ߦ!KQq*`(c]i2e.NʔUiRGG[gJ4NsH9nO+l.x(XڀZ]erf܆7R֧`ލګs\v)8)}/k'>yvc76mi_Ч OZ)WF S0J/fc!JA)2I=f.C35O#Ne@2%Kr> pi"1eu;sLtdNߋ0 +uv0hsMMDu[j^.=`Â17nfa ?U}I[ ޗO=Ύ txLA !tl٧mOTi`¢Ee{ -D;=F$VetwQauA.2ᥔӌ ֏b ўс -JZinפ1\COIE2'3e0Wsz[3w^"r`X u ;r'GM"vz`;/bTM~nZMP+q5b:(:X$y"{qgZ`;-|R;@,cID0*TSUTQ)\lR-®wQ>vQ 槹x,Ɇ Aܣ%3+/Sf:omCW'^%Wڹ0s)I/cydμ'*bwm ȎƁ*dUƟ__<@+$Gwֻ=YS?rJ$x\'\TMN>*K1l,ـJ)!' +.jeQa"xgJ̓>ʗ=!q|`U⎷.#PA%o3٨F"9w!HVh8_aPɡAxQYYB݆햏'ᱻ~ [XVс[ETH~,k(=v 4;t1 +h4M4{qylSԀjYHb˓/:{..CCm,`F wt]` L%VXR&}%-$]O&%Un4*TR zْdi:P_0ňcRB2 qvcz #!Լp_V`@"$t/8p7ZKȹ5)|lOsx*ɩnW vdZJHQյ3 ΌM?WpXO xcCщ3+dRo1$k"/_4Q}7_*'4Cӱ.7^˦|;nO٭8[*:\YfGhȷ^ߞTETy-^S0wPV0n{!>-R)7).-F7N+# | T! qyr]vвc3>8Վ;!*ʰX`ňKv9PD܅O/rp$gTM+w:UC_Ž:P/_†sBq̤iޙbΨqJ; {XBޡ>l2.U >=-L)6rg2h4IRp%~ 8mſٱ,*yp/s!FVDq W9R95bo/ Nn1+y^ؖۻ8k Vd E2;0JeGȻ=VkhooW2A  yxl\|C{K _7Ս3_}-C&T̉l,Kb!FP+uZot?[!T~n:1X1eF4j{3᦯FZ`j3JHSe]i(az4RY֪PW*A^ƴ.΂s6gcSs,pp~| '<5r]S*rxfa&[/+@^-K΅G w>0VHs0,[-e @yűgYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&a kۓUMq{xvC kflrx}nQ(JoidEkzoEbŕO~d2zUйn9Іm=$lh/$JCR3`59܁'iEoևqʰ!N:zALM@UֈBc($ o-164mT OKΨAB|IύOQqLHMpf H۝FK$c{0ƃx?[C\-NLU/-w~G| D-gYZ7zXZִF! $^]ŗXi%L#N_GÉhi0G*-5]K6 jH8W:cXCLؕ2X %;oϣMb4sJFzm&sB#8ՙDcp{g@ HWfwgO#3$~vF !̰IΆ>a': 6hXu)~%5&ZtrMNs4OD_o19KN$Eb=o)ebϻcJKhk[6^iOKn#3Icfj8{t:ӞZdIZRԱ D 0J'A:o}:hŔ  U"*kGi"+mp9N&j_% ^ B# xhxUGs5N#DZ 5ܻGH׻Dvt9\+3乎B  ~XKߥ'E0ÝD\~WyƋ.CI `V.NrbVg)k" ?,B4>ACG atQ 0_:ϮS:L{w[,mfS;fcgi'QC4bKQ~75 A*-}yq;{r[>Poze.U**' a~`+Lw.&^TX)C|>gWFjuv8'rEsO#m,>e*gӻG_{1p(2fqdhTco~^H#KgYZ047065d369f5b28e46b44e69306f8e6e5bae3e4ae6482372651d25cfcd88b33f1b222ef5cdb71889 3402a658bcec1f9dc007e56eefc8d137fe01b5ea 20eff1f0f1c8427e08402118ffebbd74f733695d