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  Y Yw dTd ] ZF-UNITY:threads=6elapsed=6.024cpu=32.444gc=1.272factor=5.397zXZִF! j]ŗXiɟH)0%o@ƹ;b]1陥^eسnX *cϙ4'I2$s aJ&fxN Ɛn!2 ƹՐ:  :\I;a/JyWLRTY0Eu藱C0_WQX[#tJ{ش"_܉eq 4~p3*R@qԵ"NOqHH֔I_79YvhXCQd1͠&*،pN;[/6&.+}޿LG eFRn9#\v5Yun*v{T`䄅RV=*eC@0Yѵ& b3zNG?P)^x.wvy+)G/ V{ʷbI$I*~#`P|G9&@2vn;|/A3!<ۿ\} 2R~鑆n\<߁ΌL̘N) 2DjަDiҾ({N斏-<.uYJ4 [`ccSW EsNEˢ'^{J*nVc$\ʄM]U>E=m(" F'Bg7ާAO݀ ExgE>^B/>hf R?mV{+سHj ՉwtN1S}y뤳 &dsL OܹT*EMsK9 < K9RD3_ !I#Gf97c7ʟQiOJC-09W1,}wg/=Yi#5&E_;ӧ[}:FjiV'fM?I͈,8eǐ.D>/U`yj;6ɤF!&>nU   ZF-UNITY  :p'v f<}"byc*J/ٲПbcz)p9 kgmS'^5"cbTj+fV 4mR idYm us5N EOV Jo25nZ>)XG0{4Pg3"SeS3l3(`NS+Ep>|1>:C4$K''=3sf"܃}}uf%0k1$ #Vxӭ40HH}h~@59~n'36T\gVL7/wiJN=,;G@łZ!şfOT,Hˇ6$!E 0e|#}8&L5[^K5{$e >oƻFQhD꣈U dGx6:gۡ/Xs@5XT1r~$ϱ2iaW9 #A}Q=1ϞS;jx]^ Jq/*kpJ/K E]ieC1,Qo]7*tF{XDSi.e[JYV;I6:)PཀྵVbҹcC!#uTN g1NqDmަ, "h6Z# Ot#}7y u9^i4J\ZnetJo8j9De$M` hzFXNaq@9b" ۈil$O7hg*"u3OVH*3nʈ|R+QT/,{\òIu~/[aNE"f cD#s2Oidެf8akxfnɭkN*)ڠES bfJs^p!X1SpTNԝzJ=cPB08\',hN+R%O:{"5+I!A֔Fjp=AMw XoCˤq${--|M؝Aa&I= &.(UD ln#\)zIW5_f拓v: 3~U{ Ecr^aI9=8y!X-:'֤ESTf? ,>s;SuHч&:RBQ%G{kqoAt NT^HgOߪ-हe%9R$ۘrV˖w_*QhPHZ﫳<渹mQ6_Iz{~2m7©bID_HW܏'#TSxv}v:onmγR2L/= D:JBP SUaz-p5bv;7ݢ*f-&q(4`p&׾7"eRO؟PZ֛tz:-^Ld%b !@ '7Y}V !Dn=P>Zjwlso=bՅ^U>2.BIېz7! ${o !gKЅ30UbY 94\g;#_Q/|xX !Xmc̛X4[(@CC )M?*yXo/q/ 1eohn*JBSӹg(Wy Ы(FEGكwf|c4"(XyDkV'I`D.[-WPY?C+ûֵDV8R OinZfDS@Mpiq{F*Lk #,ABlIsp){a"hsm؉rV\#r^f^IW;^, 9* av>Up~yO~% !j9ޑpP6tO81d0hJPa9VEfvR&XV1u:LrC=HfdœYl16ibѹ^U9H6r dB3;C(H?2ezs57>¶&MtDY ǫ/50mvmA@vՌ0 ]%W=QBKmQsFpA!=) ʶ< ,,z;c/×sUM f|eI4 x˨oMyVbl/22!z;yeaQ#&GY*K-Uԋ!oi!%,M:)GBݧ5MzV閳%Vԣ<J^/c-:e f}zao<0ʿBLnZ,*ϝKP_eټuDta@1<rrwbPTp:|^Km"kD KKA1h F<{q_@_ʵBf׭K EA ِ]ήd[0cF_idͤ嫶-^$PaqTq~] ^X35&GfMO]fwOy1xq1jhVj!\ѷ84x/%> ˭ؼ6rz{c% _\ -Fۦn/ACM`DmXȥD U "A7$1);{$8"I]?}T$@1V4R~<=GD8Օ9+7"4"`~,E;sim!o7Bl [KP#i$ 4n\շL;u*NLJ5QɈ=wR;E*-kd g߯ Q(LuTgsY8òN)6k'- ƍ}(?6l7Vvi,=<&:Z2FD IƉYi,2̋ {85FY!`THR_@ OV i`2Y, x"So3 TIEjEs,~?sYzMCpâQ@l@>z3Wo-Ѡm2t Uvl 'Fي>ȚqtxAbٹ?,@G crSIy㱽@rI԰'l ađ|FuD 4av"܈M[5ڢwT9"p 4zZqC`GG/JR:6(Y0I3 ʆiԓi0P>N?Id$ӬY5x!Ĩ|NGی.QT"J~r*1Itt\ :h,+gn'i ṡ4t,6X4`€a+;&Acq&Y O>۵ JSlTT4Renf %$ٕsuv5QL =K®H%Nas]l !hb33vlr:곮TK#ϓ1 \=x"KD'gUȶd8QۛZ=~A\zOy^Y?<9 ]gF @YmbdaVtb3sT-a2¯\ьhB  OE? M_jho_aL[.-1 }/;PF*lѡx/wpYsHpZYK- XM$q?vZ߆vnl; ~7qI/IrhCjnȄIz^ɦƖ Af?TL5>{в,qE\Y)~(%4@@rjRD D[GT/Vd 7G8iD7R-OBt>1)*CBjM'PS ixEhX'avQt&2,g'~ QgiNJgyT+'6Sيu D^h3ZdߓÍC ipK|a jEo;o$FoK˫f3|" ,YK+Q pU./ſ붷U UZ` @Bd%$% 0@VQ`Zm7e30JMiUKD:4s6U({qI'=9q%C"$`G&rTxK#%WC|Rn.Sc/F,kFrxs᷷[c)λ >%}ɝ %y@ 1Cj4xjA leg^V<0&*)q9C xʹF\GlcYݺ>zGk"us*@RwᖁS7Գu8l_o> )7oEgVQT( wɔ(-TOSHgF/_\t!vuu~Dfc TD*=i Bs5 Vǔ*7q}&JG;GkY%p {|zdfHo䌯peWqOZhEB`kPAzN-rX݈z/6b+S|ӎ)W V#B勺'6Mvp@Z3o+tLX4+^ tuQVhCД+N޿ygL5m:pR)(1C닛$TQ4߆ϓn- XFU ىLgS(Sr#}i' Pd..M!r[gp s f*( ~fA~zd+WiG (X>v`n7pkwaJ+jBYɮ@U!p}8m[ 䧓7Y0*@(:jg hqFpC;C3ܝjqpUrS@:q0r5LO6tvd  mXKeq q-ґUJGi}@2Fظ؈PϿM' &/Ҩ\)Ad-K6javͦ>(,H^k&6M5Dg>'#:hz;, -]IĹ:S0NoV X6BE#'2.hj#ֹIF!:V$>Kp'9gOlHXneG!h XHfGOG[F0)ue̛dzixBS~;<^CE¨hLdH$sŝ'*2NvA \f W\Prk%P7.ٜuzܻir-[ Lc*X!ux_&n,k8NX/6m fq&bjio'lߓXLL /+GTQC;Ŵ6m3NWM@g8؍#p] `hMy})`mΌm\z u%Z"lU+Z AϨd7>7J6xoebW㮚=䔫փ+olʒ-`?a-0i>c`5% FGb@wE"ePtCUc"$hiPD7ǀTwt'~ܾ YC^aL}mSi򖭺~vͤ&Jϸ[;ԟݙ a YvW! +6& 获=6cبשӽb*-yPE' ̂~tG ,iRr|T+,uQ~ c9tC`K= }&?'&D.x XTh$o\ͨD4ѽxήE]ɷR𖃹qN[%elGje72=װ!Z i{c7t-Ѣ a/i[ Lf/?YKQ,䖏 X^,GpnȮJFAiQ-z1++4*eV^/xP=Q\Xܸb`v`y#j3uVd)g}F6$ΰ_8ܟ!WN7JW/\K$|^.鷯h ֕ۚo+s~s%hF6Y28˺HȈu24AAB>h3V5UV|/GٹΩ7 tH ^[i.L==gXe6"%&#KgeA&!5 =M}Xxӵ`7s'a;mDF\k+{&ɜs[JqI!=bߢ~G`˧ZGjmath*^Ô94tR=˷Ɍw*1k%hIj]>?/~R<|(—u~Ֆ'RE%J)@KQ*e7a\",,k3|gJ  3*6HSA& _ ߛk$UG0KU( )0%\g[{LL 0&vJg(/<ߪMD}/Ղ. c͇)/+$f)XCwjqp#w !SvNER|Iŋg]z[`%ZѪV1KWp<Eҿ~6h:uOZ\s5-` Zs(oMK+GKօj6g2.;%{~wy',*%RiǯJonӲт˔*'r& :{ )հj |Yݔg#xao. :F?ܙ?mJȿE2b`? 1w[H6I#:e7Ԥٛq9;8YR%Vt"_,J"@YڰRao \=Ԋvzh@(Bl+ߴ2>gL &{ r. R{ueuZw?@!3iOytG`w;N[JV]`Ԟ8UVMs.HCbsw\cflD`]1mĴG ڞ9/@5ѿfdA]Uz[ٙS=:0V;.(aPMG0 OQRyH3y8qlx:I!20LdKQ;¾ Zt!d ߖAAw@=uGBwHe`d;GZ$@y fc`_t w~’[I 1̞w_{eSԌ)0[>ryѓuh~kߍ[y&n:(J:A )CBϴ 8Z=jcL4H dȷq"7i@nbWy_^VUvQU'z[Fx`sߓJ?z6boXMLW: 8{(nC`. \62M/108&6!pl> МXk[icm.ef#g|&hzűO)?\`'d:E?lOl+K/bזݟvV =9Atmָͤ7[Ж@%ANea0^oXcNx6!Y0(π K~񅮈1se9/Z. q/(\=7OP|S~weStZuG6Pbov qA(O-^,Jk6>`Ȫ<ޛ)%~n۰;!._| 4jxFys?Im˹Y)PBN[Nx!njw]+nd< uv66,tO_11*:I-YZ4~-P >GWy8ѫqeKHn%;DVVՋ,!V0SU 1'e0ogx.2gR*;+7-}hmV;=EKufFJզӀPHe[T)La᝗'Ӗ4`|g}c9ȋ1N\f:g-EYȑ[Z###D!f7зKirQїZ_FeLq ,cvvԌJ)΀^.Pcn.0(ȥ,y:͙8xOoũ{xZ%<~ F5]ᘹ^r<[4tPKrBFEU{s$TRGig`x!iȞm76Dq^0GӪb{!˽y a 5)j  ^&!gRJAxoDVw:^h٘xcE@bMa:.*yiS`ck,AL;L]x[yҍ]϶,FRrșgub9q3Cι<󉊾.ֺВm+h MBȉ i~s0oΣԟFT$΄9o]?>ɾ|ày\2 ,4ppB:1q4,*|Qxk{+qX V;yd{cg_;`dLkW-IYV|\1P˺o^ ;?@H_HkFzO8 ?_xJ>|5?ӍJAmZVB+]G ZAYBq._^~ _RsYcfO2Glۭ;f0}:w cn6/xB_ ,n@ s=\Y\YifSd\BAP;7VSN${fk`8$}0WE*x nĊ)5C(V^:"=VQ?"v1*Bk(!v}-5ؿ K4K?٩Cr8IȷGX~|{󊞦VmWw×l.$]>JcC s;wvpgQ^:w]#gvXh )\}9!߮[yA|21'B,!v9 fIٴ"DZѦX7_l y=ILglŴ69?@,q+Wj]{揋jwؖԜRȚn+TUclAr|Ae0MydAD:s2$FOk洛=*g25ަ:捙(8 m'-zU7/ %'sfUedJ1ӓT Kz܎4$v-Za9G0Wz^%2#yMte3&^plѽغFu!T8% ʩXbq-["LMk#%|_7Ulz-B]*\<C`΄<%/B6hl)2%c>Rn2VOQ ?*] s@n"C0\r+EŕNAŷx8ږS](q;,I2{ȯsߘn>XIrAYȂ ‹hᳯș`甛ڟ!{t28篇o Γ%058M-i Оq%Gʘ)Qqi`ĉ &ȎaJhv&B2paP ӤZa< H{%=۷4CCF7fV׼ѥy e(zJy@G\0meQ B v6g3յ "J%\2EmyJ/TR<.ƠRhknt,JGb Ru*XI%&8BSle.aϙO1՟PAYk S?9\p/)G si, rbƜ7Ъ"',z}{z=K<ZFq-ϽT}M[Qyxr 諱rCV`g3GG?EVj7ˆbP0`̣"6Nɖor9Pݧԋe,Br|ߐ^AO'z.:5#^V:>"I9t;ĵqNsEv~HǡZ6b!XNr^t[A`AQOFG _Պ)9 M4(s8ahdeNC^#JCM9* O-=n'0Z;c蹃)7I"Z_+Y\mBJz҃~1Zԁ1Ns B)HHG=ܹG}c\2] ;NBo4]jz1\ %jeha%Zb*`: Q1bbEF0lޮr˦:Ef F]asiT9{>ƏF0ԸbV% G\Du/L(됶 23/2Q9i4dMj [7~)qf3 $XL$vZ\vblҘ%; 7{ F?vR8J_zgf5ļ_Ku1zBz}fa-K/CZqm bReN?yNOFij&qF{E[=yB2Lǀ)-$4KL|1{q iSnrT.h,#w a9rQ tk,Uhc^{zR6^/؂'iuƗ\Ypz:dwC{9:ls3:}1*SJq}˫e2D,n\7ޕSIUօ 2Zo(d!"UxTTxS3wx9A]S)B &j^N9-{i {"wg )mLțip-\KBx3&x:D4k$na '3'_= *x_~,A--MfZ DJ<SafYʌ 7t)[3B4Ivc:[1Th~wx!Jò*"Q+9; M'01^ʪ{-q8U$7њKY.\u+WpSZa"/|S sE_ GcvR|MJȧ {?Si2@GCn,1.1w fS.QG_ ؞hE1OV~qZ5? ?\*EKd3r oJ*EnY)yҶȴ˙wre*0?/G$tGDu]T4X]AVg5(2x#dtMtYw?iJ7H8'CZhKA4?r֎c_==M#8ʶg!5GYιb%`Ұ s;R(o(W#Q&~8A#cGhMi: ުWMMnA`'fŇ6͒j~o's:29Xy!Nq5I,\yFk ,|f"X2}h=}(ͅ$qsd+n_.?)ȗ64*Y+7BgmIa7"-XHZzD)b>vUcr9wyэVǬ-R7UU!,ͱ'I'X ;7zNcv45L"z00uwڵս_ N=sI,\O=$o*] Nh$Y,"^: Vz˚De Ϸm `2Qe[CnP@G|F {DؙyčQ?y$d}n焌T,eݦdwӮyÀ/@x_ΔbDnkcpT?2ʷ;߮:v胧i[KfB8ZkM/O!g+"P#nݵߴl>Bu ig?H)4ћ[ĩd +\(--:(X9p #P1׬ ul!ٳp O nGjżrQ.q`!Qz7/!xE٬ սf!tA* J{iJ*yCIX_ӃT|D'6G[ {rnn?/UD4J?0) @P+CҎzBv *[w6Cs%FhVxx2'PFD{jI@%'*μم1qz7G)( 0_"kll:B|]S,+Z\F HHty>H9SSΙ`g)* 6 $"#344Ȁ%G`,g1*n!_]{ǭCJj1vD|c5&Ej'-4REwuuHʖp= )fK})_'F|U6{" L`9S:<г=_< s*&0qqS'6H1L5FJri,Lre;N^aDexڎ*]"ECJ}zLsB+$J(VWJIq^ /ɨDsQ+Mm!Y(zYś= H ʨr&z>d׎ͤ6 L &`8w5^ G X'fxOplw+mY}rZ5"B8?n$o }J4%+er EbvDfhq|jj+h)7 ,bnu8wAI=XkP\ /Vxbb=u`w/`/tӬw'ѿwCKcr"V. +Al]x 5X|yZg&kY iKה/} Ċ|;oz5`6re,=T@_@cFKڽ¬NauG /ˮK_yV),[h V>nt^PrecGVEZR(4.O'ݼ4Bbmbyxb~ғy 4 C~0.܌>dax ]1;S#6Qsߒ/>NEķ [Z+ F&c ;Yׇt#+V>;{iϬDՇ--k"}4n'1=͡=Gцu!sa:BCMX9P 0l&Q HErWfXFJB aFkB䎈:׫[Z[F\S|NF~oz sR9/ AɤW*w{kˆe'MZqm*P[v\6 gd'5axtb]"ZG5kkhOpشۏzLP{"GolԷ\U oԔP#H'c{Wxc'b;h_gN)fp/R)H)}0w+J'kŐ;n~VrİUPPOh B9w#E(_ AaD*RvNMYgw$qx1o)!`pw値aj9 ס7M8S1/KֵYTc;(٥a`a$xW`3/NJU _ IWTfGmʄMsR1&#ޒi_f2:kZ b3stkϝJJ ZwSxI>(pwm8n0"#2;l5vgRQ9aH4LlښQq4M9,T JTShI/8ܖ>I5JB4wk/-}|RKBS~Nj5T]",TFc%i2>-;,tg8,V{  c:t?Σ^I#FI…DG-!#b2 FoړYOqऎ m}SJ84ddp|-#dؼipOlh-:K +֐GOD zvv(7uB4Q4SbIY$;u_?{K<Cuo^k48r" <|WPOu9r+[!pJ`2TMyuH1|Aa*Hν^E5]jƨ0)N[.\S&O2٭)eL Q6*%D~N V oKB<6ܯLTѐ : -@.L2kNl2BE(}WfPrKd8Z5MpM۶aN^o,S\i?L#TYRεuBtŁB~:HɌ e5 iEsb7CT#~E|>[Lm&n2k6ja Xp @`]\PLY(Rg!-bJrI >BTY*%$e`eIo'B7 As%|8Hr:Rf(1'J%jMI^ ;H#U.?/$UH6AJxPV 3g*)j&lGb챣2l;;>jig:hDpe/(3zntP.0rȥ$Qϑ\*-wA^vk!ױPBpWy$`&9E#}>3RM{~H:vȕ*,Lwh0iuR@ *Pڟ:ѬLcܵx3\g@$ӟqd2 T;S ]vT< XF&X^-@e|)k湧%YVb,XIJp|)uXy"r/\Q6<ՠ4Pllf7 (z QZqAvXWKpU[lt!jh|uջHA vNz*D>f'2z)F܌<]ƑBO)L= {IYDݤyӌ2pUmqB?\[pb*Lǟ~A~+20֞xdC햦QNQe7ckpx2{^|&&7`9ΦD5-mi#)J%cbӤ6j Ղ3ĵ T@$"M%i J!N )NHdA>-)G|4/҅U:5a'r=sqoT}_p_CD1f"P"3NTkɅH4Џ(z܈I?a/*qʻV-%/ʉ"p7M;5`Yn笛0Eg~K| x;2lK49d|H$2x vOcEb~mTX)FE?'-Pu0r:-==Dct{ZAu{C|Lnv,Bޡ3I+ag'֧V.O@F+Ħ2D̜= "G]d?Pȯ2śtٲ'%@qqu3Lg1`!5 [6joF|42`)ZTA6wNJ0) XVSЦ4*0(\ co#p6xW"nmp|Ul8ܽөGnd2;#+221M͇x7R8ǐF|H6ƈ7z4%;^ռ d 偗* e#?Њk ?[iB"/KZG>#hxدHiY tsEݩE 0r3!!4j=XhF6ۉ~9{Xt`d0WŢm:5Uzڗȧ(H`gp{ 9+14#MMX/+X`zPCGEOoy:v>y. H$>t>?RD Mp a0w~ڤy`O7v~`RNp# u38}2T2ǒ&շp\NaΜxrlMv +K+ #$lY%@*VJ s+ul>K}8BY[\^,ѹp8 Q8Zaf!`qi2f8Qe3y\Tp=U<JMToBcpٲ𲋢,v+[l5-WId%1,,-|XXmn<>tYrPŸ>Э`(O%^s9p]X4{Xw͂KjD;f('3A߂:aBgRm[2̀,*D𗸤[:TPUVZQu$*Z.J T5FA%3!+WG8$n<sy;/L,^32Ppjk;4ڎ|i~_}+]\4ApxO~2]iFB^vV>{h|v8]}Aš52kG7ҁlKꕫ \P1crNa"" YtF) ߵǦ"~߅)yY6PDKVw >u 15l1 }~%Ŭ4k1688ʶ@+7X{Oemcl>~{FQaa WW;'V*M['Nbgo: Hy9#;N@b@ x&#$m#=ҬɲǧBײ'e""}rnX(lyg$ ] WUӚ_TC(Xմo\@T_´u{Hˏ{dDU(P҄d5r^e]{ҾqU;41}"qEi 0+lqoCøhrAk1s+&k Qce0`P8P0W{mYQ V}!Fi=a7(V3|84ڊԤ+!)1FwMWpMU+Y&lM\dGe"}n%`X0;(CHJ|JÒ8&!2 ;gWH=>`sJGQ"aTRO&:^4wD+%&c4TM@cDMB;zMG>)t._;3b gi[eF0 erG&Oނv.hفd5/8S ϝՏWVSQ"`\#eڟpte)1,3 -ÌNDp:|\ƾgFEs}+' f_.d\ "ezCx" Ia<@5"G;]T\SpgF $$'H+ztL"q㴡w:,R^m"kmM3,5:N$֓{# FBDۑf&7R~`^{F[y;?]'e~XκXg2ni)Tyov@R΢upz;.inN/Lr0b /XsƋ@6ϗ5>g5N`!WR|qxu_gѤ.|ŭ !(aa蔙:Nma/|~=Ab\A:ļfs2%}ָ..'>qq6N]iRΗZ :ƉaX؄Tֽw] FQUmfqeH@6sՌKzx`R:>q!ILnTpiT3q dYl8:Y#VV6WYؑ vќҌ~E>rd~> r_H Ju# Q! $v\!:I,<3=~fA.;qIՇZ'X,- `eOYEv,IX9j!g 2磽,+%NL~{F4}LJ"n&rD(;Zq۞rN棵k~6nciɀ9sDEa88[D(?\H^Fw7hHOB>K i[1ڞrӚvat|/bKO P`hˈ'lvlQMڇt8;^OPKWXҺB. $C/rJDan?4iqkڼMiN@5-7G9q믣p'@K|祕;<#lC_\\xEJ%38x Q : 3ml"|6 GW( uz`z =43F{)"yH ${UQsVUEh?)&&CH76>}O;2iVpzdmDKGp̣lEd[kyz/9cj\Yҿ~$7 ,ڔ>|sis=rg Nvh(ӴZ\/X+) mWA;|.p7*To5S!>5U?t`1`=u4Oa_\!R<|+$XO`FshyI9jP?JJuxC@Esݺ|{*bDZV*ALht:MH@x;e8i#_Wݼ)P ї0۰+$$¥˲BpPK?@6M Au"I ٜgYf碔D]{d`ܷJzC,JK'Ɩb7{ũWxNø ei[<Ģ0-ƌͱNTCD5dy젊͒~'Al0뻥7H۬ ޓ#ӸF㙞Px=~2 =ڊ~͸hqَ>m8M>ʑyW :8;?RədnBT xi4֊M)P`;%- }>oϱoNY07=ÉgbRY1Fd PMErd+ܤE:$ۀy4Uҍ2527,d<^ ĸSw$Fb[-2<"VT~Apo$3_kh.{"tuA(1K0Gw+ƃWi'lئH73 o1_bDv2Z9Ķn0 q6V2q$ (*Y3OG(VI"]R򖧦90 1Y´+>|< L+)1O[)$B"hܙK"U?=¦C}CȪdf92TYJڢ/ZҘy7(Ņ1gUқ1I,0OǵDȚsg8NP3g4sgH!•ݳΫE7K _ X^ke0Up*().ה zboB c4rqZ4 TZu;-`(.R*}L.]Vh MM Rce՘KX^|8f9HhЧlsG?>HCdi z2G&RCi TIvY,")9+I@ͿXoN=\\/]JX A9`.{D,HD<5u:b@#p^AH5v f"{rawcznZ^cuzXBpQO^}W:Y>MyOOxQy7$LQ<Ќ]tJṇq co&Tp(F4+uAk둊8^* VhNl<Bw'oqqӷ戴%؆iH CށhyET)%j 0יw(6h}tǼ~yiug?XnڃzE[5Vy xb+“ Kηsi5T.'nR'r Q1~N4Odb^C:B&D* kIaIP_5zR *-P분IBg˦~޸ު yҼа mu91[3 `ܸ* !DT|:M4C dB$ -.PER_E\*\Q23{W% X&++)Z4`'ܬ<=ԿqV '>`L SYI&('-".=UCZ(G[e#o! fD:CW-CSkn#K]nR:lԀ3{ᕯ^X:tsx$WEgHfkbmkqw >9" F(Tڧ0[߰JjUHXP" %J\bULP'|:f҇k٧诙 |6֭ÎNN<僂Qg'0n"f ;rAp}Fs6x? FB]=V &A*=>PztJ"Of6]x4 NJ>C{ 6dN.Z#% ?AS]1=2bh̭B*V;|bm;)ww n_yЮU0|! +0{*-CHݝ'0 x4s;}i^>孟D])KoNcǟ` Mkk.B I'eoiWxD$W0J@p,NEy}#w)enYCEğV\c0b>YBށoXuz'@)Q!:Ɂ;':E-!⫼gYdYSk}~ is;yC/י"~0 4&,ٟB(,3Rjţ-c\"s*2d QgFpRJSta~_B /3۹pi“Sb*l#^Dcg#a'Ҍ4 XդO܏+e<ڃ7ZIU.5hN}H:,]jC55M5qghU8|: ްǧ\-E r$*-3c?`s.<ɉvۜU8CQq,o )H- UIq #6Ak<8v`1Lҳ٫S8ެsϚ4mH|'RJVVï{W{0@s894۪۶4A Tܹ }ʞ| gxƩ}-H%#|~V9n|\HlAfV4G(2 u{mrIED&0C5;d&sꏆ:ky_P MBC|/!#cC4S#Dl(}l(N$ohNV̖t6J;\K|GHYulpGM5SPFQB}|j+T "Ooy&+٧^_zaܻ j].` CIft+ϐ=e"6:,v;cM+Wί&V5qad?',Pi%Qjx;qPe B*{7YojWՉ NǸ&MYo %d@РƵ)5(b- L9buF[ZΈ }cY_2})_TABӍ)b$B dU+*?_3 /}&1WI+  o~y0%t_L 4Gw=ґ0>ibzl)܄..dgIgryJ¢ßpʼn>V,bfNJe[g1-/M@aP+oƳ=)d *t&LjMFZ}})ʲyr%g+FH}Ǖ&b"7LhO`}씄>2^*.!̫ث66%(~gv`BJz) O"rp6*L$kA{J6<%\{LHc|+ c|xQ>0ʱ>`V=V@_^^>{6O u9G$aMe|{F/"v2A"D׺c=X,?\ sB}0;r&]tPs,|fZ}ك|5zìfBlUtZo,s?}Af-Lgus6h|)ȘX6p)e|]#"ևa8w6WrV T}Σy)43׼}~p+7D8z.j#urŵ+XF.V_*}J$ ~]~# (l%2:\Rx#)pwx tÙOlLM|2P 3E,/Y=E.M4I:wLr@"S]gŋlCn"yiUjN(^_X8wnޥψ0ȹmǰa攲#!hrp^>w qy=\jLӦS2G"Z;.*J>o$ ,9{,[Mo(s ^s \ȍ vļJ F~m z\XcǶ"<6Y& ;.tl !)kmSlah#MXAܪqv}=lywn(שgDrBEFz5^f@.2\&0q@OkQ>.7!CԺMbu%|}$߻S _yBs ?.9{iXt=f5^N| $Q9 5JNAw6C\q- A㖕sR\r~웣 qG>3N#w0xtMjRye nDJr~2r @+\PR)ߕ(.~h_ #|E-/"C=GV@(n+7|v"՟fr$bCH+`#Vl?ciޙN,XC܏M*ZSj󹓤{r2s,W1 /Rץ@Z=w Vcɑ,H\ӳ95q 6i*^ :pD6UR QI >F.tf- wG#߿~A;~ܭ(vcpvaj`?HAnP^4π!>Z6ǜFqN'^#n<!'|v?[Noݢ\_ DgFrf%[ղ3G M.l,0G6_ю2qpHy%b})Eur )ԑ(W~z%уԈ8+2G]Jj6}7)/2fuN&d{̵>]R($x0zpuZ^ΰכI!][=I3h%Dw7TrB e\*e6^Ew y$_{` a(@u8EWA$\ zDH%11h+:{`$" !27 e_U9ժn oq6LOnDD{*#[V WIO9Ǥqv%pϘVcr`^|2kl〔o*/r/*xj`$T6`; OQ&_# L> X%+5 (fK.m[I(F,P}B_ĺl𭲝5Ykt+ϴ`hW\koD3U NJ>dkP^gd~-'G膣|2o֍{D Mnzծ/u?|6 ExwZߞ7R,K.:؀ K(kʩ{f%Q,pt'peK_5\c*7s!a`'HgԿggZK*Q;J?DZKOH `DF{|W.sj6'Y%x:U7ȟJ_"Gm_dx:vV},rUp>'gm8:|ք?ay:X׍yMY;6Ph+yH" , N͹uisvC57I M+4}VtL[#7^ ZX/Qġ "^:PM.ӥa`۬gOe8,[}۴$:@F!o8B5lAOFƂٽnYS?śLgwKe2]X1YM,>{;S8ޒ?w/>2# *i™j[ZIW}B^v,vᮂ줓pf@ݸIא/﬏/㔘) cDex`rD=pym"{}ׅ9]וsE؞Gp3Tؑd8%sVKBXTzOV+ SNch 4p.!L$Maz\ߦ#z;%:v-$doܑVlPˏ˨?7YރӛtjePB βXI)2尒:(ǾAJRqM[^KN5UTB'hsD2Y`v*hB t0gYZ7zXZִF! !]ŗXi%L x~clՆϗ~x{"K>TTPE{]s:پjMH;N_o~aCvVl:\<XEcϝqO`XPS| #fJ+Ū l2gD z'Zː?ȕu>EZ`>ub>l5r gY /'q'+\IWל, "_p"Tulne5ˎ19:lRaL'vc@C!JE 8+\x)iyIeQ;=|vv^2NKPSAo_ Lֵ&ߍ#KI_dI1#ϒtځPÞqEiu%u5jمQ\Tlvꎳɣ@r'}Pdžd$ȼ'2 cK]w9RA~䱴NF)؀:`%qt_~@88OB['y2T9~ơvĮO>2:^pѯfMRXC 2besY/!g)cA15Ƕ56L|1fPl ؚRg$@ Ī| {=pڜZ,Wxmʥczهڃt՝3݆8 S{yMF VhKU <>SR/.*H9fHd՛pX߆Kde6YG*hgwTW(3foԏN;iV 4e!tѬ[H"g^qzp(Oq^y5 Ѧp*u?Rjoɾ9ylN8d"d|ߑb&*8i` )a&U 잯--.Ly.` J/{9jlW .CE@gYZ94df35bad58cfc7233ceecd709a945b6d263ef275c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 994827d3dcd6041302ae2579793cfa49d89aca3c e212eb20fe4db3e142ea148d6eb19bff944328b7