SQLite format 3@ .0:  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 88%LD4 ]/]HOL-Analysis:threads=6elapsed=311.958cpu=1533.552gc=57.152factor=4.927zXZִF! +L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT@ઑZrr|_ּI }ǓˬAo%񩇤hxdɃ k,Hr3}pܲfsYmKdZ={`f5I u;IV:o x@ 6u紋-*0qD^qIP؍[˥&$4hu$h !_`u flfњ! [0g`B }i(ϒ Z#r#)3KeP3[98YǬ݌k?jUZJsz~~-vM5l6_&JfR`l?$iUah穒 `Xj\0+$˜D`sES5 ZGÕ_aBK]Jp?f orU~6 \V$'~&(L::S/!\eShr/ o7/Lj&jߘ Gj2K`Bj٭ϒ* Ș$ q+9Y|eY¤= Ƴ! F Cʩ/u% 4|l+FEKI]qbNACX V?!\IJ(Vgl:MA0NkjO{2h51W$|A'diUIwbOਿ'gg $^|δExޏ=j,1Ui{5^:Z=ˉ r{u4*~SOZîIyEFɇ^OFJ3g2K'd9GkU %UX2+7+(*45GriQdyDIm=p2< gFƁT`(kFsNI$m,ݶ\5RzRVAXr|2~:Iú #SxJ_ ؞7+m ڹ֣ NjKkGODS}CzAkQee7Sh{yDCcDx7c.n}//@o ЉpƷh K{,˿N|%i KF&sguQWόJ|ɾ.FRɵ ibT N |bBi|Vg6m.d0epO'E>kl5׌r@uB~@!5AwFzP*i[xƞ&c 1CQ}m E:l@2XаfwtZhΟÛIu<ҜS,'KOà KIṖ#X \2&hp5ުɧ4Nm0ևvPknCam g@!`Y$^dh$F$C9uīy9zY6I- !iB$\pSέ'n7 +^]l+q//v'סm40SRG ? `t`f44)fB::YԳ7F]!^?z-d'E]#(GWP}Lx֊K jna~{*=laL4rYFum;?ʖO˃aUf=X 5\ 4~mDETwKȣp~om@ob|__ ?ĩޡ!c]_jʗq[؍f[ cakb o,*q3o8xwF:4(Ar]~QZ{޾VL:5Uw^RٚJ7#{R H3덁x_`i\0RAA^޵A`>Mh̫֦{T#}7ppyNt*Ă&M6 {pD6;W / ޕ%;aF7qȶ&hc{hh/ݏ׼iqϕWdJ ODVy:f)UB7@{5Qs!3QSGpk8w9S6&j0N+Q n%qgx79Jc`K6JX"s!|s Uc-2ı%8q:=GU<#(~KWbnp >Xgfp7\M)iB%"v<i(!__tp;R|tRQeM Ɖ*;bWٙ*V(U/kcVXzQ3JRL!E(>}ktV[(q$fWc[ -BhkkH@=0ռT;(cDKB_flkyYn@~;{MAaXf5?zYC! cBrd .<^(5iW$8K1ǺsQ7|\E˃75vXuu !2bD, APE72]^Bۭ{?CGqBt@aA?UtHl?贇":t#0y3aWh_;6TiUX Vr|KNc,Lx`T)L N"ol`)eFEH8asE?UJP>8C[* %)T1AnR6b@ҍmr%kyYMc(~rvva?\bg% +XbZ 2DuqZkC/OPBԚ SwO36J̃eLpA'yQ4vi|Nz"nk_ b9S'<ⵊ:S(°Ŵ"<5e;r4L32yˈ/xئ_YÐ|9εjڞEp͓ *si)TFGzXA zFbUd[ ht{U,c]5Qij2V[oΟ݃ 7*(GǛ H6j#^Med˼'~Onr#T[5_y G |rR_qo$-*wQ7^BqÊ P) R8l[NƯEpXA9]tBEcU5+IRCZqEZBR|tmcQF8T=_jvs?MWo=CY>v4Mt0>Nn #|[n2b^AR 0 xOk>QRӗ/ JAx/3*S!h<v{c¿t(j5K7@!ϯ!XCHtha|Ħ]bF,7Yn02wx#CC2kDÔsr;"{H>',2SAj5\!xdYٲf^hBD)vbO\C,K6owm”.f3=PNe҉tDYvO.hٕ$JCڻC_T1c5L}kdg[lR=Б? s|gcBޏry(9s?f39ɠ!ˀC*YcrQޯ48>㶘oe"3I2' SO6WMt,ύiKOYx$;eOw'-;oD2ȗU ^mXt +}![љV{+X58?DAl -;`_7Tߩ}IKw0W*epk 5vn?0&To<RX'!%MYzOTHiܺr3!@p1 v8ZE擕OC6ٶǜq kd^9Us1@4ckW'DiOq f"ĸO$frs{[6Dv͒?Բ#SN_k(xO+(@**w3Rn4\2B TZ+ZZS) <l'p K.)!8hלfigt˂psIq1}+WBG(N=wɳY,*.}?[žn jS=<zQ! |?ƄPr QP (o^4!s(D* ׌Ac\UѦͶ]OX͙79VArMn ]aT,]MjS*IlIR:Haij;м \sF. uh)Jlk3;>x"]Oe%8Eb)80=%UDi\z^q05 `w[6ԬHK_#2}ˀQљ+mx0߆(!w>7HعN HɅOdqFRЖҦh19R *]2y< <aQKH/WpGDx=-_) nIrIDG9[C䄺tK?*N7Q3/}6= #'Cx[% nO`ʋZEJu[Nc*5{D"RjpCv&}[MM \uF@RqE6v2_C1tX2@8tdA 3$BL Yj+?;,$NCJ >;~na_`Qg,e1Lʝ]ߩ"BJHQ ՔS>#/ PfȥNecIK[ hSEgXd8NA `"?+Yթp¤]VؿawOA|i< =c65Wd rѥb~{Ykcm/Asd:Ђ(HYNհˊ/[Ȏ'7~6zԻ`xBۯ~gm&W'e`d?~K+̘͂gW{N]Qtx;) ^cGᯓkf,ҺeK8UJph@m腟#jm~E<+SIFD܋yܛTϠIMh9ܭʰN],V%T*Jc?3o1QysK2^~Bc㧹Y+oXl*j5r*MM7oaNV4Gan1ԋ+^Ta[EG&q8BL!Oz_f̀|' CdJXE* nILYw2Q{i)iXI-uV+,!&`1ĥ]! ւ3_"gNU%bUo-K+pɞ<Py;\h= H۶3p5PƖxJ T` biWgHʊO.P]+{ b1U ? 5aᗇRL^Ź\/\`؍zZ)*lKt F%1KNpEB7&uV8~t`*Z* U[FS/ߞhf ke?qB`rڷ3_W1O dV@=}}8 L8czj"m${!7'::s'۝EU7 ,ՠIiROxQ':&8'6?_x[z[} GA`z>HyWy` r,m^ԛTpRV* } `zCR;X;wrc 5Z{Z k $ 6_Y|kj7'{1lשe UWJ0 kN#V!"^1>"|+&TKA6쓨BjI4]p_/?p ` "Ԛu}wyAC9֊ GS}1[Ҭn졢A nɸ>0mS m $2zG%(r(ލƂb-9{- qZl:<JJuZ*csC2H.c4 8zfϹyӶ>E>ߪ@Lnzc J}t]O]1ó nuٰ3 !EBb'>XG[` OF7Jy5yK2юM-zN>u|c?l֩ݓ"/,Bdq]cnge d8G&Z3^~$*hzG5N]璒TleYl-eD y>ۋIq0&](4(X^zW[an "fa%A&!B*(탛!8yyѫ3<Jgf^`=XFv԰p^F3Nڞ%65~qv'ME K/ #RtL8@"nd7 p3b3| cIpdH4xA1~NrQx0X rh^v>*c<ˁ?\|7pTr$m0EdM;FJo*х  ޘeW4-Y̎ gOf$r1omR]*a$8vb}57)RTF@i =ѩ(< &g]p9!n^(YGO.rC/8+i)RIJ/`j†(g` mjDiNZ޾y$'"4H3fM=@ ;wz+@ 굲xyN> #p[ej a)5djZ}M^Nnҙ]RxZ>ON7?>@LDJ YG!<'P84S6aȵ^Bx`+@R'xVnl|Y*ʀWDĸAI15$p Ch*:_֙˼>l!5m><`#Ju }Q_5M)Կtp.Hs; %)3.ϝmtRB~ղď_]K٢bq>,蓤`ER?Lj-V]ndil%DB=b+.o] *͟d1!_+ wV;қ gDd'$gkVr[l$+Z4ıEYMmаSA9-YoR0^0A>:<H6EbZ.ȥn_m/q0?ty }"| 4b Ve!RQ12FH W{B g鎢q6lDd1~되T79+r9^ݒzZ|C ”7eTX\|xߛ̉9" @)kQq;qE/Ǘ~ѹ5+lbdz߭j։ < Aw5#̵9LZSq&M:#u<_\:з,ӲˊpaT tj:F\eyy_ޖe 纑^o+k6$f m)տ^괪/k%N x~Y!G]m1US .B^Z =.ѯvku}$R=fWڗ"p "^]HW @ Ib`Cp2VHL&SKU B@_]hWCr#/f_-o>Ǘr $VhF-% =X^C`]m+"r)s3#t?cveK~`16zG-}cIk"Vqs{gmYԥk |HB[ek#G@)s# {ޙp7fZ:Dl^2-JuIkut8pQ%HZPpu֧ZG󱀖6RH 4jǴG9?Vqi-0oӿyaS[!TyrH# _;p%qZ-FX3)wfk< 5lX:e=c*kUNl>l VvMh-+ߨde%8\adw'jA|84KO-0chpЯ+ Ws>U =/c}>,˝ %<OSnRb7}teTu֕J)IƴچΫqDd$= d^@vTqWhDpde-a4U(c(<- <53a8A%XN_*i(h({^4 O~Z#͔4_77cRfT>MZ64o@>{:\+ojmg 獬VDpyE4U?q#AWL_u7.ÈwsT#tn7杓B:KIu0i7b !%ձ<2g@P t@YH$tST~R/M-Lzk4ކPXoU@Bih:1@LvE1 z6w1ݴs66xF(i*= 5Y~d% z֤6u;rYpZhT%ۉr wɈȊY=3w ξ`՚`9 l#tΤIcTK2zS]?@XqRl,,MRiNȜq#LglrC.6@IrV}2ӲsrB;*ёcusa Zt+Z\Ns YS[\XU4/y]FA;qm"(,Ctyh4nM)Xe*OH@E=Ϋ5'ٞ?}f甜j(D;4N/GX،$yuBcqLrj3 =}v WB'vBsyvoLoi [e=Oz^6G9F`MSw'K>V[F$^8hb֏%v}s:1IWS`V9I%RPy_ S:OG-P>;dk*AuGSD~ Aڗ j| b3dyLu08?W[V`p;+[?Mۍ_jUVWE- HHJ(ѼXИqsS]*NY+^-GHu_F՛^데Tz6U龜ǷIϵn K6lqeoO5OAQfsGԐ`^ ïl9NZ8$jnESyODlgg՟e>},\ĝ(](?\:EUJZH:!l1nj&iTG5|W]lTr(|}UunКm81Pr3í V)٬Сs!řg7QYp bſ?eR\AwK;1O=3v7l!n\.a}I*=4td6dgkK@ٺZ_l MG:dlzv0Fb(OyKU*zϰ `,RNĥ#  #^14+1qa:bwjS."F͹(ԙ+Vo^܅fӹAOXWaV74Pʾ kBh84 K&v#I3 m>( J"S9Ǭ<.ڏx8IrB^SJK9&.M:@\(= ɞ,*O}<-7uD#в3: %\0:sMUz 3 ?jZWY'[/$C(rd!̢$Fk~==)ВP2 çO$F<*ÆO`y&ןgJW XGW>>q"\a!Od! mYƹŽ`SyuyҰ5.`\QX1~訋R.iG`(뾙D,@9z@+n>*l%g%eӦ|~r^H5ld ͤOBg(Ⱥ!Qt{^t{sSp}(Lt-[A0ӋKir){%ȫ1C%j>Y$0:yCb v}XLNc'<"]iB={[0sbEǧxO7Dzy"1>Dzr/,tխtK1*8Op7=]$sJ&C͠k CzdQvg3apѺXsr݋ 6ǡӝ\Iz^q6e2mԐAhZ Or ՑpRܦΎCfAqiŊpjTKMg ⪔j'"q ᶯpt6l݄ ^;ce( p  ]%w/bsYKW_XYGWt9fd=ߺkcѪb)0ퟌ3stȱڀ= ^b," 5w_ȹiwY*OkuC ZYKP%|r6rYC8/W恺[ Au:Pɟ'YZ{s*㉅Xx XABĚT^O6lζ_}uw7m#1 'K?/| IbFHL-VlϽȨCt{T"'bZjM2[;O,-I> (Lў8U원)úOYteq N鴖B2l-Ј#w*q" .Ka~&/hDCxG*΁VV}/m՜c>dt.t ?;+^^Sks{؂x/tI4X#v߱&D:} }{vһ =#Q#<ه6C[12 o)okֳqrg6f^ft(+u w 57jV]=,>=fyTp=/&N-.Y _":ǟ5ނL0#pXpMFQU̍;Җ{iY"e=ù딢ϝx>gh{xm@: bï2ԡ 5ӡU~ҳx%!HcM7*X{i{]7{-t䙀A:uzꮡew Vp]2'@%zGwPb{xaCwĴm,;][ A8 R}C nvn5:l1VlKC-y}4R@R7wk,$>?k(EH)pT5|Վ8߬`Amx$ȏ5] ^ԥڹT񾎉7dZXRP kgƔ@>yDFjxpB%!¸v&QOڝ>* a$ГtOfmeEձ_N:g&\'lk3O4evhΏ{U_ۥ1>W|KT/,2Rf%H+G1 l|FN4@Y4="q6>Ec}G!0^' SP84K=lc. ` C"i+_ܢN4+0vF٠X?(cU73_0M Ф."wsXlFKN(oⶽ)g~˵w̩VU"GfB2=7RL|G\e}KvWe/?LJk,kNY*h Lx%$&6vA/GSZ|0+})a3{\rY/!bM~8*losW+KxZGj# G<;Z)inG;X(H[[6)~hMw"}#4s,U[+  [Qb=rE] N(ON}fe&l4Y(&Go1ҖIPƵt&p{RlҤ(|_U5WHctM2:$RД>cZ^Zzb Ia @qSP$wg5y6EwÅ{(;kfgYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4=cYd#"NX,m"ϪT 釪תuX_ 4"a0="Sg€q3fDiϏ-=^;k:YNJ֢04}d3@]<wYlrK(Ǚ&!vSJeT͹—H#*Ō/I;];u( F8GJ+3%P9_GK/zkF7e\)T#À@Cx'NRpmXfZ"- }jOW^jr}{3ĝ/,q} z4ab$RQAA!LՂ4PI)ՠYGOیrh:QǭB'TKj^9QLe$/P5hH 6^dɵxHM`Gys-g-{ޑ/Ry)p}XJD6K}@ L'q@:cJWi${ᵈ~$"pSo♃r[j<^#0cU0eh0 g:h 9"K!˽o e aگ$G΂@cCwHֈ負̊@+& 'uO's^u6(:69AH 7b$@-C$_hP!y`(7a=^#JMI"FvRA|oˀqJ$(/x\wC2gtvN8}LFEݰi"TFVrgfawu]od>C'\g4hnT4Pgu՗XO/0-P MhOU] Жf;030鉸=Zf嫡ZGSYm)s7Ri߄eZ[yU|*bExY d>r̲ Ah$^#l(f @5q!q|IC齧Aq6SUqoC7Yuݒ-_Ѵ9<ȪzoV~4D6XVvՆ2?Zy1sEE{ٽꌰ.vbԠq@umDBJu E\$ڐ04]ݸ}/DzpLz%T$4`!&QӗX>5MVոޓ{+9xKaۀ8TUAtŏM*Ͱ/WOT(-M5[Wb4Pa|"5M9{ȡ*5rmT }=XSºYM29!<0'uS|gK]_<:L[;c緆ϕb׾ٮ};z T7-,ؒ'qL!8O@{% sc'0@W"R6<zC%-#g&Q‚61 bS.jżec~ \ʛ?\,ge 90+M?˥ ZFm`nF(#vcd-V vb۾۰r9B\AȜ5ǔiT]x烞fjPOvs9XC"[!l퀗'F|xK8s7t1wL& F!dN a8dlBϪLv&ݍ5=A[?j%ߥI}s*Ms pIlAeP]E cFp2tIAS1unl:h-4 fGPEVZ)$nphYyU(OuF(^1fC \ 1<xZab 3 p%ZaSf8@[:mìDLM!/ћ׬KHY9r I~TgKipvVwfg=t +[S@"swP[)Y8YߡoZ5z2u dPOHnF[= evF?gM)ÄyKtdoouF%SM̴U@ f?|C MQEgYZ7zXZִF! zh]ŗXi%#8fHwxhE;KPqIBf!TU^2 Iewn? Sɫ`6`c ,DT2>޾!mԎkjZ-X@{`5։'>tOm_'2C5O:} A|)mo\/zb>tmQu{BI֑N,> aA"  c޼gC5a s®:f*|[ڧ(S N ᇊhU8^u&:g|GLĩ*-5Ynnj/n3,yQ&#8k<0^ oju2˟=i[ !.&a-/jҤIkQrwk/(FиZxu1(;se>Oœ굗r8aH.Aqߦӑ{*ަ!5z#rۯ +YNPlj,95EB[wj %o5v׷Q d+-i>ܣ,y` ]^(B*$Cfp~mmCk~J$am]gZԢN~yQ&:pXqJwR4 .]7ȳfF206}"EjH3tlQn|6IZզ?*u€|KND"rR$VqhП;"Om! #gLrwF9FhvxoG%4[2%YyqV&pTZnE)6Y'Lܵ?4MHת*\i\d ܟf&,@r/#sT!mnDq9J*.QQ{{i9>#]  _oo5Zc`Jp!%4xh L0?0MLc2I{@ )5f*ؙ D@#?WovhG6=X^^Ά0ݮBzN҈g'yh7|3,mY^}%ࣄ~p^,zxe OrRdwХD${D;.">nŸkxT^a(7bǽ[?q1ӴՈN3 lg.avIDWdM8#Lw+&~27z4H]QŤnDˡ/IWp.Wa!{_G9 xSE4!yj$@%_M4Oݸk%ձ~fh;AP+~÷ߒwSu.k'O6X堪,O6h.Sz^4Ln?c sÈ^`Î5jy]M_y5qI|% H$iH`Ps3GAـ\U?fAB Pes+)Lݾ:,KdC*[b;\@v07AKMSAqke>Dhdʌ#_8oTuD?͂26G:#)|ah.uƜ,kĬ, U]HO=r]PRfe#ۗgOm"D~;{Q^~vbIuDC; hiTZhf1SDzȣGv́E)vTEоC.%ȵ*wt[bTCdX4X.P4/4[YIU[ o o)vo ~O{q./;D$vS2ފo7D,~bXe]26&v0^S'Gu+H{Jc=;yuUzYdkvy0q?Nka;%ɖ8T&@I6mWmo@`di BsAN>r%BdK`FwU;xy~=ᛡHwQ6X>xV{AqN i{. lSm Cg6aDRJa41Q:^na4N~{0]YL+9)Pp;svV#Q}=q߯@wF7I #3@ jr{x 7mcT:LiBB_ޚp{V?V3g'=}f~kU:)YEDdg;yw2 &,aEOgYʑ );>pIf ʩCU\9ˠuZG Nb]SQw/rV[5 xjL/ɅwC)$9dT>5@4l(]ѝ;C,⮨Z,5`9Pc^(xɋrO \a1}wIVm7a>c2rʜ ܾWKA މotE.ks'j%%:QmuZ.,^RQOU;U\1UMNJBK1_.!Jv=WD{1; !]nûά1D9`8p"tW?\SYSCe]Hzש_=?MkgnZݩ0akKt{Θ gCWrkkY`T3BcaL@bj !蓇uvnCa ]3 < +ipR:|sɪ{Cj/,k}n-_7[G-ے0[[eeҿ&?|[O /ɯi0+ޕ@ϕ@Y< +0, e{c@(!"Ap5L9C3P{̯9$&y4o'=Y-L_l>&JE;C|>5^O5ѶJ:rpbTatOU8DUQ |K݆.Ǫh²tb|(IDlʞɃ]A3n Hg=,T(, FHi25+eMbi1h`8v&#V{znVqHZjՠ;8O4 Bpaiz/`7+BWKN^6!+{&guXw-(FY2k'@8gUlQFm8TxubN6HLa-`H↉!xN"%J >E&o 5^L-ʛݫ9wDގz'{X/TTaX/615V@c@ p/_xЭ}cMd: SV7+8?4u aH\,">I82pff}.a`\x^Ry˩x:mG D΢(ua8vPY:EDf\)p![ūmg/zR2 0y80cscGzj?7pՄ:&o1Az.ihmnڄ9nβhWɼeA$&p'>M O,e !S̋-9.  JVjobuI&v1>-\W2+0wk*#9̮"%Rk>WXu<_&XVSKQe|ÂO2sH[69:t/ Nqr?FC$Zs݋ "pi., B&Σl^6db]t+Q5K:=zt-U\R8gh0 _|̘*,bDJ83g ;Թcfql_| ME\5C_DsιtO1/5o.\gMbk7H=}[ f3\+X Zfh 73$]K:#@XĒ yr{<9|L sfC.H0dus/DYbׇsԜ G̩yzvJy>,GGD%\;r@aYW+.0<0Eɤ4ۧ/:QdQByۮ_a'uY 1_xT|о@Н}=TrD$i?ڭL,bH}}I٫.nXo!tU]/Un;UZKfEr܆i91PE{>_1B92̦bez: TD8fiE-R,Pd z مRӤādP;Q."O)~Y}S- XN[pǯm]0 ϯ(2MSК6Dm -Br|꠰IjlUBYۮ:ĂHB^!O nEVy& Qhg a{{e%4m2TtU8'aΝ@~ȭ)?6.xew= {]ZW= a-!CP wy^Ymm2{Na6˛AOUtFE^kOIű/mR72 \:7ESrmVLo6xeOC&:8j?!5ا⻬MmD3cSS8%[JXi;-z9?iި SP7뎠hb~6b}I >IeaMU 7iSS W 勤F^D<{ѵ 2ʹߪKbބ» ކŝG{V"F4p@jXjp-p1_#:)$5h,΄T&~qQ2W !I|I Y;؂s;PAt82%O ʑ'{ k=! @?}ٙ/`j}~/b=u˓W\?t'KJ ~d#Aâ"FN4$ǎ:}MvJv| d (ѮQ1v*h$V4/|=mUg|,_6*vgt P pѰ6G(;soB]3oav$<93)bL*9>T.܊Q)(f[|A Cr $W @!q9G'L:l~E}GѼ}̓(zń< g_wtC Get\%F!kk^L}sfn%{:߬W ;nĖ D,,XiOvCTWcхOέ{Nnx[TUj껺~-zp]l arlEbH Oo5߻gJ, >+$1pq|_b͵n􄌇$9.ޟӅ8𠮼F4u~9ڇ'P&x6‘)ƈ lxKp>m+ctuqtJ! E sD] waQ{6 1 'E@ +h{&$kDSMGMavofac5P ڕ?!F#IБH'B7\`>dA3fK!qTRL0&l?spS`{:MGCby`<;zR ۲ߺ`b a1ՕJqԧ10m&ijR2G_ 9TC/* kMQĔ$ ,KY`~T?Jڛ!\A= ULbY䏥_!+ad&"ah{KYh@8Z3N2g>J,I ѭegs͡fp˻jY˜%W,A K}~%ݶUd;+Un b2ub,<O+d㫢3EՑ"w2rݒӵI&| $ӻuٌ-wB&rq";2ϳOT(NZ u;u8 UZuLA 8r6|9(\i{iԐᅤ{R{+%ò8<֪'G昴j;7\x3d_vIqĹzhaʳRش5+ԳЀ:~k<²·;zsS\!xi & ؝>zoL\fbI"j $=H%Cr s;漻򚾴5w< 09@v6åcmw&d׵n &>ƢВ>26&=OEC O>B5|EԽ1a xCw+ !p[Qg?Eڅse;كj d" L1d92Is^C>ܤ9' lvz%zZv;A*^)8p =vܳz2s;[RXjcH=ڄ/ƽ78^@9&b %j~#5y @e$ɦ&Ֆƺp41%wJ  ںe^wlt) tG4cU=儞ٔ(7 i6W(˕Xfm:hMmb67mR&r[(dƝ*mzDsG) "1x゛y4阒gC)WYkC_x){6 %S 4]\2p]|yꛯU I@'iTO`ˣ7Qt-ijJXܝs=,MQ7YX2EiQ诉?bKw6WZdڦr)$d_$^;񸘽e 7Ƶ+>d %P&`F_t9_lU#1py g Dpksb#Q-06R4 M׻Kd*Q p$L{U[Nۂ'A&#LocoT;m o^߈.?8z_y&)SPKZ*&OL[Na+{>Aj+ {M/5wo^2^+c0.x+l+2PenTS/ +9NթeH^⿷?7[@dᯕۑm1Ddy_ڨ:wʑ0d w=2LV"n@a; x o`wꚘ-shͥGB<$X4vZU5ч2LDwsn}EŕK.[B+ [ӼM56浚r[Ut dV%юyyMuCNzi( R7MVe!&G180:[L*tVK6O͖QNGy Zfz sg=3 5R-zIײW 1l23 T%yn6Cg3Owlm_/d|r> ?rΑ>^CLjԛJr4/( p^ ֦"'˹} yܟQ9Ln)k}&2ԉ`UQ+ Èh|8u.xZژMlXV@ИƘ3* (=;\~.loʑ IͣQhB[#xU2 n%ӞdԨ*r]Nf8'5M#(WEV^[EҠ.AQq[6 J7/]~iξV)tb1BUЈ{4]6s$6ny_bX?v(WWU UҲ,;L5b~u2x: 4JaLr6ڝ7zr96$~;bHfvg0p>ȣ٣D f:0"TGm!a{BR! &>MGF&R>ZoG7 IN#{yL8m9z!S`PӇPɐn83r 5Xڦ(nʩu=wpu8QgTNgk:|c>D4N#'I~-!(% h}2a{"M(^RG4D1EEb8.iJ%hd6#uKo@BMVR >tu4 5ǰT)~~%~M>#$=B˜m_a˳I" CV//Õ];9H>7,uOz)6ݛIR3+k'폊wqkn)#/mQo9/BiӂiQ?҇njE"IMu+J,8ak57esbcjQ7x (|k>k#M7E6Om/.Kn WO: в`5%yC~߱W|=Y2xau f C/֚RQW7ˋISfo1C?f)Ȇ:%-jJW3C31 E{3S'y"l =Sف54aA$A>oŹ:QM\jXZ{GC%cV×((f+vZzƔ͛axqTĻl;Ս!9]k"#ջ`54#X3١.,-p fo1U5 ltfɫ Sh\VlY>ӓ_jߗ܁xQc7"bpr3% 4kPlB|SE^ 9ؕ11uTܪEg62\pP}PcgPOZ#(dZ.mͨvRPSh~8FRG(6s~Km ldZ0o ǜ}-a ѨQ{^\|#,o=~wpGLx./ 'EE_2Ҙ3Ǯ׫W,<E{ ay_b~0_I/~j12greUL^Ht==V3bYc̻2zzow5=k&Y-M!nS37՗4x: ˒Ho΂%lt6_:A0OMOoBZ1$Ƣ+-͙D!ªg"tlDVO|6=ҦY|VYpljGݼnͳ9Ud0Ox=F~ZWևiJנ 2B 5d bcA gX݆aʕ[ub@l_CjWRYڜE+ 7*VUs Al eKtLH(B eg[CuvzcӂqgIo3'jƈ<{۷_򕁷ZJ?ߏZxݱ?QEb\EuG|ם Z0e#{vKx 'Yo{$(NRS/{y5k_|P_Q*ۯI7>!/8gIpܾ0oB@B8AHCRqU%Yy>..-N)ryHlP,*(̋ߚGBO kzps~]tU_@c̀ ͒Ii!>}alsՀ-Vʆ !XTCkL4mObrNYg䠰Z׻o==Jv# c+4B.&6'p' @M5e(#H3Ā>caRF&tkX({ $^^C@lDL-`SEfSr LKVi5JÝE%RO&ږ8#ՓwMUsL8ni{7ׂK1d XMn`6yk!Rpa=B6Qr~3^MA6]Ib_ѥj xb*As"9UU:7>iG72Ffn*i6>54ޜo8@gܶ=;m̸к'`7G gKyn/t]Q eOoDɢ=.gpKp0,22j>4}v;qwo-"gv|M)>RD|#W{Cٿ1RvQY׶Oiͥ ` AzmBB⬐R kyTzI1 Pp[Z_(  ߡӁ&DRw"qr/cJL\!uV0nSOU\!VQrc9u8zDl 3Jm ^71~d?~+[ixĈOJ1 NDQtP5}ld\Cl#*[m- #[n\osB~%;J+x3T4|ݎ =aX5 0ŭpwecvfΠ6 r4h^@쿐4VO2IW -Skk93`"@ioyP5y<ߞ2&ޭYu`` :Q|RS$. :;lJ2}@wpkCM{xIIeF#6N ;LvKz d\dAD<}x21> YN• O==5d p\G"FY[qL8w巴4޸4.=߳X®љQ4_uK#=LBn*[7m!5{4S `hQ/YJH D87}Af>ZԵ*'֯w=&Cy+ZnV@? U)By¥KE7mHCƏq˃}U*4I*O?mLZ(I9⫏c߃ YS[#t#Y<Җ?J m.7\MIHU0ĉ6, S7Z;3r򮀗fRPO6~biby2H̹1Zd|m( G:]%[@SZ ,=Օʊі|d@Rk h/O#L5L27Xaiԍ 4KaGS0ΣWy;k4Mn1Z aqo nJ@|eu׋5N @dxx? då?NCK]"ZDדt fȀȃ"z"s=|ˆ+ToM6!LgE6H); {)Aip?QVI' 4uX +xo,q{*6YUabE!@SEyI$v`LobbMEN*ƵGˀJMZ=kU);})M^ApՄ[^pל]4 ӎ7_jD/tEӮHS;zft'`rVa6ZFYFܦ@mqFRhY @VP>,'AKʡRrmX$%]yFIXA2ϪY 1z~9ؼhE*riJC!58vgJhb1JK&^;,*[,GW"͟ьK8P7PpyϪT{6AŠNog̱j&(sozke\Ҟ `ؖ2im'A,) shE)lycVeHnޅ I-~xY}xl2")hu2M1X--JMLGd?]?bWJ) @gqo S(hL Rc_̇+lp_{>wuwk$`2~bF'Ek,_09WB\7lfVsIbC6MD]2abtZ\mRk bް$Ҁ~&g¦r*蔦_YeCpj@=Bh^Ke^mZA_\d^% \XoJֱw4\*!7f^F&n!Y5QԩҎ22c/%/`Wai Xf.AuíohUWqYyC62{0 /07DƇ-!6 Xr>gJ=#جa 8k?gmkdߝIƌ [; }ƳĴF[A5ZvW=ѐrd"ORN!ex=>O@_*|2'@FGJ1zF4ݳc&t俊leo蹈u𡕧ҍV;K7pǻ5R 9[f`14 u|<~5)5n~uwJi*8%N[8\d,͟ ) 01D$wC=Vc3FLi-.҂ *33I!;@t%:KD<㕺D[̬cNFx8z%v\>$_{ŠWUc*s7? k^ʈnzy78gkEjH~èBeFNV05s-ګ_mk4>"1tbutQFykLVF{ۅS>z?yZ:Ȩa `A.' n4x)y!(܉Jw+yW/5\Ǘqm_pfWvC)Q&+~Mh`v힧F68эƨ&|7HZIB)ںp_} -E)%Mg=k} T5 4?MOՏ3٨ytw㪺@" f+}s &(dSDUU9{Y/?խus!q=JK}ƁNcv!ZSKגڨ3t*%*A3@дC۳`ϱRr )ֳ4Οx zI opɿY${砹9HB?yf#@m=[&Y߇˘h`B.v)wj)a]~.(~u!{pj.7h#VM.1{FBq-/M*=I; n*t#.u?צӦ=F UjB48?_S+Se%0u$@}RpE $ܤ6>h0nFX_|_'Lr}^]̷3S]&MIcXPV/jfE,5$+hm!Ɠ-x%VIOx2:yU_MRF!T:Sҝ.o i vŊuMNmӃy2lB|a/p@x0dB{đZ.; k/_Z?i~ib11` $mZ|Xi·?c(u}1Z|6Aɉ`{ 5t](bC-#_K jt\]dl8= 5N(_~ :ѱP4A8C<#˳'m;),&b0LJ *x^&JQne?ߩ+P)i"s/uG:8᫁njȻh#ܜZealL`*cǮ ^tgL>6?YN f9 YH垖㥭M+}k*ԥKo;dkT9RWh%YNZ-k>O7T;AɠK}2r5sxQM6WxCQbSbX @BTMZnJ~S^ޢ,E`~6?ռ_ GwwuYݖ&'X'J֗^pge:7Z+Y, mdO1GaD;|캂YX6;<~$=Cx)DՒc}@2(ߓ%n),i_ڥ@6.C.IKiJ\1eCB 3 ' NC@#ZOzu"~;Ѭlᢟs%7Lze~s@NCD@b@]+60P : f}CjJam}#YרQ Ń6 ƺh7Ā;'$Έ58&Ix \69>95TƤx%Quuˬ%S_M*)wE` $O0w∨ ʡ ^_x-wBTLr)bhQ\$/N|C/Kkg f=\3|1d4&֐ˏ6פ?$5]\PA~Sf*Eaz Dˬ+bsmSi<8LZL4&3jSvԟF#qSݧLI;)%"6?jNcO?e.t,^;)` -7~C ^Q =CS JJ)fA^1Bd+)]8{˽ݻnŝm"Y IejxEPhk+mƞYDO-Q Iˊb1X1? ( 5,}%V L55-lQi䇼E< [cN_)dg#2oe6;YuJK1*26W*֯@IvߢG{6ezmQ)&¿{}`-bJ(KZ<ߖg@>-D tLREgP x<8&SJ3@*WfX2112~-颲37inwgٓ$MimNj_ޒi{3<_'BIHpH-ϙ_\xYzug3dVAY`#3ʣE2^074P1>hڠf a؟h&v]īibze#SH'xXBӒ5;@z ",=mumrl$; ChvlEq* 7 ?F d%ʸWFG$)Ŏsܴ6Yg>h?EV<.Oſi(A{a - do LFC\YPܺ1sŮj5H{x%mT  ! 76Ʀ^haЫUSa`yUqd&L|?Xd2z\}W%!}LhI1]V܊@kD̑^9bSA2@C}\9ƿ~;o遲M_1)3}' JފGnt [e#q޺}zd'$+633И))R[SwYl:VE/䟯.ԗH.5]ʮY;b;}}r@JB#` U( ;FѭQ\Zֹ슃)2e=`'u .H0km :Bdް} ~Q| uѦG*-F"dNv\ Gqy~*}\dZ'6M` %\OJX{0zLfʳS.]ˁX%{r*.,<|1M$jChOk{uK!C˅d 3\r!';318V}K!ʜ_=D♺t.|UȪ)]rr*`<OCH~*MH6e)r!<%f3_'GR!o} ?l![#od]'(t&VFO#JznB{$sT!^EeG\=g&)Ij4zQiw͹BrH'Zpz]jÃ͸4{ﲤټr$HKNJ+N<lֱgYZ7a551a9aa3fcbd7e2692140cfa70a2600c1370b0202f6f92237c25fe02f241fe1e163c0a4bca399a 63f007d29bfc488e0cf2bd9362b622634a9cd39d1910934df1d14e586347d722c10b3536f1faa6a8