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 H)L$ ]S]Incompleteness:threads=4elapsed=529.243cpu=1312.504gc=10.600factor=2.487zXZִF! v ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0dXp/#HX~ŻՕ;HHY=qXB`yeVC08b҈[ZzgMw d7IO 6x[k]dpckGz  tHaW4*|ԢoI$kѓ\+(]4`9RFEQ" Yy0j 0Ņ2]'!X8i01CzLT͸xլ˺$:) *4Jn-4{$qF@ghf}YX{Vx]*Vg1n8_TRk/m9/U.z6o_ a;y Ưo F)i* rJ2D_6<q)-g讇s C>QeaArqۼp/E Uat^fr:qN%0C팤iYLZ? @L]=y.JtYJY7&ӎ"ϰp!\lL^ -QFwM pܶ8w>0"x0ݓZl&Դrl<P"R.'oK@s*OjEy])t T߯z ]NU8k3+H4eƊxlgx[>xZ7~B[ULd9_!r= qU'pܫҷS?P|J1Dcfn%aٷNv'M-M1=vtw@5Fg~yv`2wV長<?,5C9 [*'!bX)8b[xP[b ( 鯓yB+_b+I4?~/x<Ja{[6@CIcnQZخ!^xIml*ă~)){OM/#;p\:ׂǯكsaL| 4 /w}GSb?Ó0|0?~ޙ~'txݿc^:׹D;{GRby9?361NwJ1'(qnn1 $pP`'ON|bK_H)sÑmPH`\|ςJ7m!~krqD2KFP.ԉAtdfN8%E1+oH%W10 7DOL |I:)'nlxM E<%MoځӋrZYޜ&X|FV+o_M3Z#ܰJu?e 3wwh.)Zn.u#x= YNi!~/\7ABt1OҋB+:g\e&[vU/Uzn5=dI#HO: 0TxMU{~հgO|f+ h\ῃSMێZݵh8Im r]V7 5E|/WF"  )r$OaAϸv%.7x8 5Ө4)X_{+M~ѳ,aQNEayE8O**DVntNgrv)fJr]^#L WUBfL կȨ~Z  $NJp E{? ޓ.m08nYIPrB`}cSMjݮe%%2r;7o_JDMh͚oQ3Yi-+YwZmg[֊iJ{\Dy'%r%v}==/vt8dw2nHv*&5? f(?m&]C ) Incompleteness  O kzui~XڴFi_tq_vR^7⥹wrau&~a{_bѯ y7BΜ!QL)ٝ9ޡ#{6Mnޏ(TH/5:hONEɄp>k<@@{'CwaR.oQOM7IGvviFUx3Q%Ü 'nz T~; ,Vj]]-hV.:dH% lG2^K y34* ![=,\=is(bkBl%,:O6I*p "d)rGq8([ `ᴓBSΓi/$x)er5L ) sD/' @qZ"-8aawֿ̄P4Ɋƭ齔sL*_2Gq'!>у aQ}Ā`I3^ %~7UCN ~NqK :tL}Rk/UZ'9X7KI1{=@Y&ʠω2VnJ`Rȩ/@`Ҽ"z@ _[WmS!JWngdv8ɽ@^vly.l'P=5N"~S˸ɭ}+#($ s8+U;: ) Nvz!S1L1r >\ʪ_k -jE#E6B8#c=a$`gޤ4 _~\he1LYs"߹ Z"+GRc|P} #OYf@'Q<6a$Ĝe{kcqJ&C,8|?ޗ5fl:Dn.Ŭ=ݒLr]iʨsá}߄r:K[0J|gt59fq)̶C`Q-l0-q ]vϲc¯$D<^Xb7H7m`Pª}3Q]N%w.P!PDt ܚB7KAɉj%5?e`{+ _Z¶{Q'wNjo멛.MIsΕa[f~wݺ?c"-́̔$xT#BlU^Q)kgG<2@,8`玳,Aeg@ɿv: ny|0H&;gG^՞|N׉2h#$ |+6f@2RM׍oKh B? |Vo`:-]K^{WDu k@GhnEk6@خ;O ݸ=rIYRM߳ZBڎs;pnfmP,q6 R+җY" 5RA`/⣑hdNLr|de<AG~=U߀cӯtD9#H1Koq :[S9dDbVvHڍˠ<?6P񕭨U>m.zȡbMR>yT7!\(f?v3#Cs9A [0ؗCT)[Dv$&dX$D t E7PD˃c >>@a>-׵JBr\'1Xۥg{\F{j?z4 [5:2wǍ?Tk8 5g2]XWU@B)aqltn;Q ^=H"KE kPK~O֧8 I˾ gI:_)YǽR'WV)cCEY*J3=^fyfEYXpm+ uC3?O'%nxgJ>"ޢPU:fDj}6ܚ8ejXh۷G,| Om}_d10D bd2ПyY{0B־4,C{KG[`J#.^ӌ&xJKջG4;ؾSZ.e0ȃY@ PWů _&ƚIjp'ꪖ0b5-tUUr7Oz:&94,~$$зz$wiUl.~mL&toG\xC_*^yIPOΩ\Sÿ}89C8F8Krk`~rˈ:MpTeJJxT.1iOG)GMt0Wl'e d+*=3vUeH6> ư @X\ir8; |b<z/=ϒl]ϕS6_1eGOūC^aH[<=n#UȑKm6a!Ûē<"23[hfD4 *^n;+./NWɴK%HV8Z?,bg6Ġ ڭLQ ͺQ[$!'G 7$*(F!H3IXy i:My26m#к4f CIFveEkc }O DBɓC-dE! kLGPyHE\~gq/('|+1q:!6Jwvgi]ӬDY^{D5-={\ Rb,*$a3%̰<'ؒI?HnxM7!gJ! ~6A"ռYO&4|Xer|aUܩn4LcYt[GSm ǂۂO?ʴsA;;kjq6WFI~OEg>eg[v@S CdHF'$RhC%Ey ABzFDޤaiK3(g =ކzڙ}R ؤqS!- GtvݻFD8MS_P"X>'!`%YO؜ c׉8:ʐ|I:G>VJky!c'S *^)~,`"rO#Ԛ8yfY:M1[c>vFd^YbsQU;Eb܁{ˊP޻-I*i>p#@{ݙ'ZY:'2IV@{W6B̲ʀ]arޫ\I.\xT$<bd>m k5Qj9f#T,=~:~l|,C/1H'Beg~ĖYn|4 U|tՀ::h{Z^p, 9#rQ~K}o$9, CRDUew:CjZ wF6-PzK2!z91D+*#ó`p`<:EcTbDk!5@OFMVXӤwg'4pWhO).uoUדz_#=Nٲ)qԳɩoF3dME9xv͕Ui H[T. a_SO.f ' R] [ٞ4D.\r=_VpPKR Omg{x٣)^5ֹlE[vmgZg^nuak R$&ЇELel5rz֟9pns`? E_.U҅jcO)#al,aų90,>:`haN;I=Ja ŁfY4J0[ I:?C&h,( ĩSKe(e(5:n5~,{[OrTBsuQ[rsKΎiV.1wO+BJ:GqVb[{P/lG3(%oMGh#HC}tmD紶Rx̟[@ %UicѾ~“ P zxSzl`wW畑s )Nu[~1ϻX۩OSR]Q5H|~D|=(b 'tiXq[ 28IrƄ'0@p\sXufĀGAKCQ $**p䈬n嘿Nq /! Eisi #?oJ,*A"ɱ< p\cLӖ꣩F/}B YB9eNYi""jZr ^Sp z7!lsy^.) \yÞ$6ǿ"rSU4 ׎Xn)-ؗ9O@Fg°P<Oc#T 8T '- qx,oK*3)t9b (ЁbBE 6~CcYie]Hy̡.spv0S8U1ޜ? cQǭ3np I`,ƒ^ Yӎy8 d&%mmjKZ f$2׊?6 ',kY"* )\vhF9N^>к>=JWhEUNkrUsB J#Y ڴ efJ T\F?^iH3#Y҂0梍J|VSWlaWJ)sLkm6rBhҺ'::aV?bt`|a(cZ DӐ;7 O(>0_F!J?1Hт-mBRN83]7.Q^S" m4 Jq@TQ^gf bT"A͟؅gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$ W #P/ 6E).&Nc?]}(t&:a ;xwR5(+XM'!U^S^HHkS=tP_P)j"^=ϏN"a =2`2GLW:ſW2UvolHh%Aʌ#Oa/{:;,30 f|v(G "Y"Atu??]|H?!eL y:9ydc_ko:%J~6ObHi9hP D%._I)(R'H]N;-a^."ҕcvig2.'gnJtB6\ Ά±gYZ7zXZִF! &L]ŗXi%ES3& OOMvGOi^;I>"bmlRUהxQ| yZY:\2J@8x w P$Ъ}gh!Dp^NVGm! $^K{Ѧ$<(J6b%+LI_Eˡ!*K9o4ݎUn C[@JCgEk [Jv ^>8lD-fٝs| 4l-iΡ-0ֆ߇>? ѨĎeGyKџʑQ kapw,b+\M *5%b֖thڛDa8Tڴ*G1$<}/=|5?~Λ I#йӼM(4C46F6HV(:22P}в_Y_E՜ w4~*a8W>9zQ:Qᳵ7lrQֲd?VHQhhqB4a6ʪ)>25w2՗))W)¶\\w'YE>,_Ehw@I:Q&b*g. }{ɂ|mBGGBy-,9es.C(p,pZIWN󻯙qA UB"0B7S6UNϠ(%XpJ7wFw8K^[q$`/I}5KvPDS\_a'I 8$NJHO@TTGct6T>%)Vz)>piK&*kˤPS4v4m:5.D۹ &9-aHx^r8OXcͭ =7Ro4{F;Cܨ/DM/F1ӧ2u#I@6;Z@qm34 Lnp Ʀ6{ ڰ#8ٻ`hH)4kñ{[GL-ո[Mz= { ϼy%Ie`N# PXٶBX&9O;o-tNјuC 舦2&(Z f|xlI\ʿh6(+@ϓ*!P&]F7^U93F+br]Ih $Z7HuqQ .mQ 2()ȣ!Oq`Hb9#WR1yХP$I8SJ c%?lktzZ͌n&4vKY $HlvA3'BEDNÇyAgIwonIukRm ]nZ?#z*ޠm?K톁הwǒz2E"O=#ͭ;CKAA~HeG9%*ӶܴME|P-Ax51订5Q`<\λ=lY|'誃,0)]"mS~73x<;r#$m3jcm!aƹ"P8ju`nc \h}~zrC%z`t)e/^,x{c.+N&<,oںz"Bœ_ / '0h#ԧQ/#ac7'dMX\Qi>(&*c2n]MZaEzf;,}ғBf.`js.fe;|.蔜k/6+\Zk@q()n]F{~7COOBفJ\}G0@;giHlN?* RfINwޤ?hcQ;qmH$Oa251>L1^@֯*) V9m(FB-B{キ#!lCfĬЂ2[.l_V̄pޤ!VLO Ioo h FKz/Bbo?|$ ="OQ3ܜ:4`,YfSÑ۪Y C"-4{]װlR F-{ $Lx}0=$Њ *UElɶ$;ɣmvJljZC֖n׿[r%U(G.N^dDkl= wrȫh:}rLV1S:K߁ Orx$BTS SS(N( 406{꨽8== <$9n)zjFBs*`RIAXAk IhxS;# 1K&7/GܮToڛUf(Yc%k߂bclj(%,[f 4`2CFn$jܸ zP9٠wL% lMf`rRmbwSE,#Єrk$`* Έ6VqEXq,>|怯+|͘vy<|VhMd={#xOSg90U lSt "3^aQAO"dg8`yNLGĎfvVG:ro@';P2q"V󕙕XM(R2 v]h|R6O>>ࣺ"dle3yI >XG/& OX'axְ ק6`'}{X[5Rb\(:& ^-CX͚ա)K}H+\4otǂ}tg5ɧǼC㌯%m;:Y p\zVe"CM& ،m7g蒆ޔh|Jl~\BFמW5KYC*jJPS(['t!huh{0QG@/!T~]84Ff \&P%S|dMi,Ӹ'?X:4ԑo,dʷTB/r4j.o[Bc vIImѡ^:ݯN{}%J09sH.Ə IRR /ͫ,6/(B'KxA^) @R{u@ybM5^g( QFq'+Uե1etH}~ Db=~ td?CmΨaYC8^ Ji-u"᳝ÀDeTɗ`]NO9 ]-eXõ&BNSui1TOb0E0jb9[mrS/ e\ { j%c@5}ᑈ(m=C D$ĸwػ4%iԟ&65%wBܗ%s2V`yDP3`e\'@;ʉek'´M2YA8G!cq^Ŧop7_7wOʭʡ˒J|"W0i?L rX>%_i)ϕH>rss/8Gs?SXTуĒHP*RNU3&nؐ ZQHmV!8m]䳞 Wt%TH)pxC_O`a1/5{nvxG@X[ IQq9sbkSp VBw=#04@"݃aϨ@l߫i 6sQh@0,^/'RCzߗfX7iiAuU/A, Q/@^" @NKbF3Pt5i9}B47Q셺\z>LpzhYV<y+H{"ZӟƯzc!Ŗ? om]dA~2Ç8Lআ]Sdi,-J_0Ggq hp`S1߯Q1]:(tqnℿ/bcnq;m^=?Σ(!LΊcPt]d[4i$Bܙ (/L@Jx$r}u.XϯIN>szՂ ǧV^U7 Y(y oPbc5f $ӥMKK2CS{+Z6t/?ZF%{0 /˕-'%ci3Ə/&{ԆEc;M Gw8OI}Q`pV;r-츼Ɗ 7& ןIRfb] {H% %ORK#UR CEQrt2}vxCCa (+뇦urBv fGÆٝC߮A316/maB0}K+g\\Tmj'QܽvR 7e|&|ߌ6tpM_;ewoJƥ KLFZRA x+F Nb~Ev Mk3 2H?b=IQ;NbEJ&<:"Cg *J.% 㬏2M6 ճR<!q78;sSI"0` b`F)LJzccHP%a> 翦Ӌbtp7+FnѶ_adA~ ,y_^Be5DpA6 ^O⸥@ ycm t_h(TldLܦZ$J%>v~Ok~ UU}K* فn5ؐNnH/UqAj_ΘGLc&Wf1JO5O^H9kf%rS5Db]NK"g1,ҜTٚh>@_@$JVW&OV%]#JtߜZNpGcNSo~5XZ1!{h^tv4 [[f E+8{Ȉpv.,t%ݟG,k Y! "EL\2\x* 9xJ7nU(C޽/3&}%njӥ *\il u]~M"U/ڠJ>GkJڏyvɕ!x9;bL1fߒᅣbme> +Z!믲b;sbl*1Sױ5 fbMKyjwuD[E??]W1Akp8zLH>!3. %0شta91#;b"*u;<f; lk>/fmn~c huǼ5XWdig`ɭM!Md47lB&<8ygzR% [rEQ6t=w8',ē.Ya,ڵa85oӚ-ǧ=:,*a$5eũҶ'ģ!܋ :_A>?A+I3+LH\=}sTn͞NOr%{H9ǓĘtrrD44kBcQ/_D 3/2cXmܼ,#Q)+tnQoUP\-maƗ$aRr.n,:}92$62\V+ :dJi[X%f%[newBpHn8/㯉oeh3?F!l5K' ~SvEE+OܻK,H#q0x}.i=Mdŷ?2׭d4ˎf|nS?25F4G?F],4GAajtGͦ b!hDatv@C ^@hHJ! n~64dBɅ`Xf38Bn=5<޺o#eX?.5 s <.RI5n@C% ʡBm$p PHV %C|bj^L]+W]A,1' q_+@ mXWX CCڑAwLL=+K?HOj2ïzB= "A{e( W*5||F@^ vE?vx6kH`"}eKf%>-J}zg4fEN5qS<7l߫C&|-4oƲ'QH],1RJ_1h"qȞ;^=m~r5 Q6<~7@&ȗ߫x˲c1xl V=q3堳sn*Y~?K#-,a@+$ULyp#(!Ysn#B'ͣ'xR_$x;aX$$mrE̷h1a;JO.&DX +-5[DA d9:{Tu/;~|EC.=exwi^/ HWvk)l^g,[C(K(M䫡cECZ1na]P.~J& (%^:^S@Q%xnk^$f20*$@rz/z @i$.P&1!~b> vl JCr:(t;oV6*-Rl-0PcY= OXGG%WXn@}D8#+*?0 WVizA2HȾn"n& B9(I7Kن [9Z?A]mY+:/ 4 "ne޹|Vw?e5E+JnÈiY׳׈M6J- ζTFicsдa 5X@˹SgͲ9Trmע!EyqHyN=oW>:$8^ J^lW_H4{@RfY¢_W~>11A ]Ըܵdf@/įUT 8]TYY:7r&1 ED|粉Kazd:hU6{fF~ 7Q%5+kab4;5.P+jlBbXIF`da^}NiPE!)W߸|nT_E> ,7S|@ZR:9uh[ D.&7{Tsse/*RܬoN{~R+/$c Y"g;8..olo8}Y̴>-u K ݢx-Kq!Se3>xC80\Mў(L,ĊĀ(-m4LByįm{Q}q-LGڮ8(2@$KBb[R*x ՚*lA @] kҟfi3Yw>GdEVKȰhyeƾƌذ@DQ6OSLq]ZcZmu]Z`\@|OhE1s*4f%7#]>w_$ [ӥȾQe n=^pV܄j_BlE=LTDouW :'q$dS?];+=ts3%&8хZGXnc%nZ2UԢt%G-ЍU􎺔%lbt!6`e8]y+ֹ'䅧`RmwAZ|U@Aj4 -\Γ2i n!RXm5PH`T(bn*+]B邓M bErΠGmwa<Rie'j)l$hjH(0;\h<7wn (ɲra搤QZ3i0t萂M#hՑEY>m mxyt@Ѓ=:GWmQlv5*cɈRmr;(1pn p]Rr)#hQl^/eŅ!kYHMF@/9-phleJiiTڛ E-f <5ـHVԡ(}(VjkkxM CIBݖan@O}jus)2]]A<>I@(n[M" 1"=cr *nj@ȋ98IѼ+)qyypG#RB +v-?SN@yWM#vIO$9*F@&EMiyb"N$c8w>^ jV̉ӛc~ḠaBg) ̵O#2^7>֙Qy/, :A%F ʖ~TjuRtka]xb&V]sbxvVO55_Dk̊%`sFzP=޼, Lz;y+M2AFЉԺ%#fHܽ9'|3=;:eTH)0kK\'^,%F䧐e)EnfRK<'B7vƐ<ݡ (ZĥWP~:;iTCr:8}!\6.VҸziQ"Mpe{nѦeO,gmp-K<^*A(uN]t0Lryh,8*HCzSSX/4JL!Hr_D|4C]>4A4h, [^M[g\'E'EAcJy Kwп>z+>xJFC^+d@'͓EY:5'tfsA'wLu|зw$)\ X^ʰ_DN֒Dqɒ\rׄJu1sL KwVۦ!9 \1~~aϛ$.čej.*{H!&fɍ2$} ܋ޫ}/_DpٖX&(n`e fhv΍> \r)GƄ|VqM9D80u0v- #):A3y=H.ll-R6 +=\y`P;.mh&BW:J|JX/&^"TƽY B-~S@ݨoXڌܖ6͟JG1.riNUv:7@tx *COV0۱\ 07C} rִyvKCcjNr?('hmP ~u:~ 9lQD7HLe tAϬa3FTo!TgBO5!OkM4~ihq@Mujh闓$ []hч;H8}I<&o-me(-\/>}^Ze.\KuvhMueN+"jFg NдP(^Ǟ$\#6a<>vxֵ"ʼЏ/NEowɖri;nu͡XBvܕu<1,د9Voh~<[fF.QR$E̺C&-Hݩ+Eu o0h*r=8HA-I$8)b/|Y@-o1U>[v!ijQFJF-A`y0٘.a"!V/dw<.p4^zuG)?[L堢g[xNbv6V@|P oC>嬹ŃVk4'"ia6Uh0!%pg`&Λǃ*SNRP r~pw;SccZN[P@W@ϪnOb P%tCsg|U@{OTQPlAQ6@_by\͟?{s)~8G3"3%5b3. Yҗ贊 R \7DaNE ɰf=. N_IPj7aT)9c':Çh(¤oMH/MbI*b9b0:u"@ߪ|;w~>}D8T>tJL/*mFrKc,%D]3&_M^b]}qw9v-=‘3\Ëo4 yR9d"GE+V˛=ɜnڠ`cU>_(#~阺+v(}PiLZy#)װJ#OKغpZb'.C9ToSCe+xS&99jvG1'#4H_F,tl⟇^c3,@K0]~]SvWhѰqt\ln{2v1&7{E鷧+j|$J]%w}6/ *f  t-W'!] e;P*3~6ǡ;읺%A^"[q>mL .:U%/!_eSLJ-Q>1xfϗ]>A5thsy1Fχ` $x;Z\bYZ 3z̶N Jڥ2!7+h[%K*09P%- ,J>ZTheE͌7NAbh֥:s;-L`XTYLuUL#FbC:P&"T{m-iƷu(K6X9dbs  Nym)j43eǚjcR;KT)Śmi:J f0㷶.Ȍ3P;o Nb2^v'G\Un\],ۈߗ8O]MިJL*$2g8$OR`ZlFD7P`IgLXU]4NdMyNZ/?МC.CuɊ3xjbA6 , /'W&.Cק[f<f^֝)nV~&?Qס‘u2n[Wھ n)M'%'JMJl~"VuZo U`1HA wݙMHQU^Nk=F-J$̰Ih8b=w{ \x./ܹ`OhS38ec^eޔASF%'eA<&LӒ;@PHd q/EzSc^= }X>> nۣ؆{&ON ;hBP\oW ]h N<-=\\R8CI&"$2LSUn,৾Tcߐra/Skǩ0Q.g^S4 ޅ[ST=NԄMZkÙa X0&I5w8|b(\nZ@nML_λ, .nfдg@@roҶNz Ҷh8]mLt1SBt(F#1ABEI WnU1y~2ɚ)2VgslK5QȾ S!©\%vPF ۑtt/3>+vr-}JWPԽh 77&ܞC[[!OmO$-ҙi1p3IRwo{k";g?\IM6֘l_1a޹yz[:_g 4pW)+4a?_?z9#.1_q%8Mps# zӷ>/#- 9.@-yQnACh1{>ɝ q(VkM[wn PA F2 P2T"WKm&u4Ca%󹆼M&Ҡ#9xq4] F3bij%DP]?-cФU uEXt'LIHpaS> *l)}AYr6՗+Ljj J'^SdiKD8nlrE\f,KFGtxkF@UM+2@$+hua蒯LۻC{#R-'pٜ N;`?*Wsm 0 VH/ը#WY0PeK=jceoc)bV X^@.^9)U|n*{?[Ra:iIÅF A}E+}wu%oMRJ\8VDƔC N{!#M;.%9&Ul$ ׋fـ)D"vIE_]ą@é O(cunlr:goj>} a={=@ jyâr:_Eyr;,FsHitPWח Y,q4sP̵@!-Р.-FD>FSRYZ]}=aӚMe$ۄނ+1V5nYaM9Wݾ)7*G vpl) WnoH\ΣcaD}E*v]H#{GQ"ZKրAM\FjE.H0`,.t.y.8/F NVqn*LF 'S+WfZY&&#cnU{!cK!*8xL{آE#i(@8EH*.#y{2)}BWQBT¯v8TP eN0;LB#|ЬHc Ϡ@ޖ#"W֋h@=ȇ J;vcüE]G7T~6*! GBz3fr΀;u"w]V(ak*M bekqeҦzp\vC|8(yeuQ!NbA,Us0j/F"Z[`M5J'[|0`5c-kk84L kpGwLodPN_btYm[ d]0'+349{5X[М3RMF6|k`J9%ghy[Oq˵5?CI sՕ%w_Sb.wВ3>eg{W-RP]Msv ˵XBhO8C1P+dVAҨ;F ؉%BzPУW0g mg-Й!ȍ H>b'wqS7MM#>ǂeuŃ=JΡG:Og$ ZN@BH]|B+gV>z{ VO˂:T}'eV 9Nj_r$|f0Lˠa^L)Րn\ܯNXVnh?yR.hLZf'Jtc2;*vn?+<% ]vaǴ"݊wD=#1mٕ),4fc+VT %U1-4ɢJ'uC!T0%Ri,_wI}y,L}!= &fYg:I:U"򜛬>V{Kg 2JO`0BPڑO(cU6o8줨ʽRe[ga[W:)=5_nχxziI+f:o8ݵDܶ2m,p? B4-*_`"̶='$|Bm3E42!11d.dƣV%|ȈgM[H~KP˦ե'|?ڄS|n;P 8RJ "Ei+v'̎hRZj|D| ?iP̐sZp}#t=KnDhJ m-vi?Y+ȍ!|8"A^5aGDD;[:8Qy~62?tG0$(qb> ًC)M"VwUmMҖGcs^W7Z+= KVGژ(oP$3Nȁ/ӛ%#~,Ki[$T32O4\:%\y7L,C;-0S ntOCl J;ߋQ;3y_d+B!ur!tbWyg&- )o/5^CG~vH/U٬&Twyٻ-^/A[4&F_([LTFc$1 fThQ[l7- b^A D]sn`7J3eIY4:F˔|&}2|֣ `%z>C q+Bj}y`SqOѺZ1WvxXͪl .iEsj@k?x׆q*@܀Eߴ,$m} 7:hh FpmCէe)E[z^JZxH]G4W+TR5Pp!eì֭ґͷkWi9@+5|y_..Ax(}Ѿ8ؘfw?Zb?xԱ#^[vkP8DuK2;f`rD*DmWOh S h6>ml)hWxbb t|TX&q#sf-u-ue=xq"VZ8>E|[U*ΗCLmM>NɗvJcc9LBk/lBP0]kξ|oaDj?رeb ĺwG zF'jm!d;u'>z<*#ϕ{+3zWm"I[C:-jEo_e|>{dD4Dg˙ut>y6I+g4Ux4#>ԅ3Xӗfw)EX$ ߺJ5eϮJ:~,_nda% NpOvqYXɔ\Fö52SmbG筡jvH-a.R]A&X1RFI7!"A;fՆb5Jk0h't8>a-x a\ZV&SꙐh+&}rh]Zx3sP32#J1e+.>M]5ȫ:#آ H$>lx5処AQLf넥ws; -#"l}ub+XT? +}{ˑ-BH7M2yD,8y|=\m4^ M2!l6ٻ\mަE~'I'tpO;G"-["ό@;;od],dφ wwM-)|ok7RVz_c)%K9QJu{__DӆGxl_dgmYɧH6WƇ̄*;x}rG*6$鮿wDoi61WH*HϗY,@%TYX!@ō=;$8-J XWQ晖g_t H4&fZTXi2y$1X̅^t% W82{0k9^vVIidUW8wxR:}'T1.P9ZU6LW?jvYf Rݿ:cSj敱^~/ GB˄sέ!۱ϐwOFy7"!B筿J֠:hIeeTu̒lEm[ݤ*yem3iUvWP~ƱuϿ` DQr<ݳW(P] ~PoYޯPՎPIeh r TJ(*2Etm J"x4:=Kos4F5a &wTQ,hL4({tu0ZUQQ`ŤafSz` gHSFw۱^0dJ\lBRWyb«]R VMnGE,r!!My^oOgq1B?ܦ6UD/1&h8s )[>c\,x `ݘ<$*Ƚƫܡ5DzG9ghbzfqjU-8qEW9< O9FWU%utiEMEbכ';G;XyNRכPX\ `~^O G\1@u1vRѳe+B(bUooGii)x!Vp[%|xwzulu``1(}.k}3- \Ѱ+;9 P𙠾8NJH(EQxe.؀t^#)nFPf~ VZUQ`U): phl\>"Mr@ca%ПpNF;`FldH ŵ.b!qţ@Ȧ'yL,a0rŬc:0@r=ݫjb?ċ{& MU Po..NeY-YLe0V4x|jPnzKC  aPHiNjb k>C/82/Ҫ`8F(cLㆪ&P~.ň0XZq:oEVSV*6ik~M w]eOuߓ*rczL҂Qm(:Wcpe᏶G08氟H!,![GΌ}\$\hz#SaH UTaDU`'~W RG^p6<hPPA} cB5{/t0$ĕ a*TN7oz##9ի *K. iM}g7ټo}+Dʓ B@RM6/a=*>vjBn7hG1{H},3fSyns\vBkN,Tn`8]v q&?K_^O5/913 VL7ew9#0e7Z?~tu)jT/mȗ{iZIج{@͉1!ޅMSQ;ȼժؽ7:3+ 4x?_nɓ%(2UtIY*Ug23eT7x{Gi{o .n-Z-3lG qUPP'=t TQ_llN 2znh>s`([rj2[zPoDR`3[4gk^-I!mJ۟t0sVګ6Ti2@>r>80|.Tyu=҆pǦ`\ȼom7J2neނ{h|ďY(Ci$6+}.@K1hSQƀO,&-66æެ2~U.NQ9J@JVRENzy0$VVmm֐HM,H7bGȎ&|@GJK$>wǪ``xr><Ѐcdυ"XGfp*r#-|LIL_en,NeJ= ?ю@sr f)y3,!괿IJ=H6g08qH@ ǯn؞ƫ#R\ŽNh@wچ4#0i C!G홪\`We 2,|[qÇ^MB"q2ԏB0M"{PN/[}B0?\ حpd8ҏݠzW1ȊQG펕<"hƄHhl daagQϊ Z6!c-^f ^ N73[7pꦞ޸ e4 ci솪 \Im ܜD̉N8g9,(!jSn19j]QʨD,W ?Dt.8EEd&J`i;\&X Y 6hƍ zqˆՈ?j{IT3 ؀~I5;AR;Az&G( -[rBe nd8擐/ &sãLDVr;~ P+v_f̫9!T"\&1|]lq(==$X)E7 kpBFszڕwl:t7`SG"hBf,"47<a lf+Ա!=. 7_)4hO7o0Xfhk>V G{9:֤Q~|gHZ(F7.,ܣ }F q(%w'B3jJDГ[ }60G?zCJT9 YT4;C}ԷzVNksD ?`rwB6E-HO ⑌sZ;m4GuQ,J 3]T9mښm dz>,uxab&0ӯ7A ,#30W<%+şJ/4KV'4.?l%9wL3/Vy$ ?`vz#[%PW_k I+KX'Xnpk{|"kYc!jc(+c>a*Y+"զtyV8/hFA@IyALHiJS63Q(#V]Ɯ1I:o ~/q5/X>e?c3t:'$ZoWq=!mi$7\W ״,B&\TqZ9RM:VwF΀OHP ӝ@ dpѯ}e4Lz乽o}><̿0}fܩ%tXl87,9WRËm0"HԺ[O(2 ܵ3f笜QZ 6\L]oO?_vCrhYD LY?;eR/o$&7pLr{$GB@C@O1[B¡`vu˫$/+1_艟90ӎBHpiܭ05sc)"f]AgpL2_=r! =gR: `V߄ݮJKђRihQPǜӲ t9^*.eY#r>*_'`G(NBmo6SamAd>IC(}Ez* 0Rrh/6bLQ^iJue?H1fy}EUff>':\{VXwIKZ.e4+20*-.LQ\q~49nNݻ3|"xߨz^a4Pҳ0Yh !O@сM`F.I_齨^eWiK~xbb鎨=t0':TBb>$hҘ/h@}i&='Xx Jl6UH:Q,\uOC62by0{ ? 贗*[WA]Z<TA/Y(6ᇢErRDRq</0D1lx(ׯtߵT(5AgPDff嘧a*6Mzg;hngd>^Xd顎e t_>ja@Wq"_uVЧhJIjT5wc +[>}mrOawN~cj/t*(4A':38QGd5=V}խ&:Ö"MMekU_b@uܰ(V>~ޡA`Wƾ/`Z"pqLIs~o$n\7M3Wv^+ LJE_%^mKb ' AgQODS.زuN\7q1v(r%O.2KQsi5}yŨE,!&;W()yU~m hߌ ɗ;*AyI#"عqYko JO}ly$+.@{{v#IHfPZ2HSqSf?># ">",0y*v|jr-R'xꃡM-ҙ'/jyN1A!זZ Nߗͻ_.wk%j}mO٤z#,nSׯ0mk->-=gDNҳ?[@(TMߞ?G!]g)^lG?N}":` \Ǻ>Xz,{2@9W)̢;]S-4rw.γHxn\u\Iz]n M됞Ύk< 8?`/4E* [,:f͵l"IQh#z^ >tf*rihJmŒls 9!(Cl8[Wh8ɍS[%(Bÿ"Űbr<y&yC ti_k5nb{ɞHžs'!6khL" " 1⹫S;3Xڥ'|@ы.kʄuD W1[Br:4-'Pf' "XȚ,..~|9/z~pʬZAPBLSɊG-b<?fq[n:vq݅gCN~24c!R^$cQ ;%{'Wkkx{xFcrQSx2[̏xk4twH v QS$>4R}Au+>f h~#3'nA閎l!9rnۨևn`K{amD{Or8TH#6OI?{$Ҟy|qr9MvsK.xjA!(EO|2BNsrn _ A/;otF$Cqza)pKC4E^Xoa7N߷m[0؏w?x7us9ߧH@8B~Q\hg%pѮU;(x&ek SԠr6ztg{wvp"@(H^z%7;~="ٞڝ5bmM埁#cځ"6phk}a`{F{t+a 6>ފqH]e h^z sYDh:B'!Z ;z&A-N 0XW1bRC 4o&=g@(o܌s`J-hd26z)}Yғl7:Bztd7R%<ΚCOn{XlBٯ1 pnljD7lj<O/v8luƏ?)vb:Q4F{+J;D-jtQTj~̝g <=ɋz,9za+NK]3w(qlڷiq-TD66Aӹ!7(Y4M~+Cvچ4^l//s <2$1 Nμa&d%-z4zpYXNS ! ; 1bn%/w1Ĵ׮W?h46sw29xcd(Ob lЏ #)^a` ?e뉃כ8sf '|4;J3>Xarxd?ba3[&Jv1oe#Ħ28E.׉y5}%0VXG˶fݻ.ZhiU vt  DWdVVpx:+ԫLv{<&~]K"~~w$rK/KBFB= I?z:ZSLܹ#EeY>"Tn>` :C mPNz8 n1QA/39/s> ݧ3}j23$)3oTR㈻9Ko!L6xȸު=Eڏ=Y 8P)B.>EMǰ,1B&__]S11[ \E ǚ BqTf fo:%oVdAⴸ-?#l桫)iLHH<17[즧 Xi?]fUõ,-6d,abc~>VEjpR|+#k]Ѡ;Ǖ~~좉.7c\%i ʸ~ ,1nl&q\.%EVra?ՏP9駧f-pk?pP?[o>c'\ _#qJL^fAz ~$0ȃG=nLUߔ.@W[~jW&%Ut^nFXx BB$`'#~P6͆5Zu7uJ2 RYo8zĊ3RS^1_Q YKNk$ Z#7eVgA *v{2!)_%PpM<ƫC6H`ܷ&u x"hWɍ_ƒi]Z"eXÄ/T=V$BT.;bN xG SzD"l];7uG1q7-bQ! kTF^Ex3=9ޞXcXU?p) 6ȅ (|zDImZk3P!On~>ZREܺ8VI2jdGn4/} h4@Do𷷎Pm@Hh@ؿ K\1j?lh,tĻ9H}X7\}{OS61qs4Q/Gp<4mQ * , #\uHPqlvE{.8(9ϸ*6=dBr }bJ Dxcvrg!0j*R==OI D  7[ 7pbXvㄧH0tZp!Rɧ!2)ĊGLUέM},_Mqf$Fa1Զ,RJA y /9`"CH KL%/h(]/{3۴n7}ІzеzzSaH lY(U5 MG,wj33>>mBRБJ8ߺ]W/QsY0Jl Y<]5XiX#?Owۭb)(q ̖ˆ"o;S?K@|xYtV3VP([شA̧*!ut" pjzUU 9pM Jʒ#3xg5 eMx28"tOJ;<,fD[K,