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  L= l ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.063cpu=31.408gc=1.476factor=4.457zXZִF! ]ŗXiɟDYK<;!lFb4gM*t2B͛\(|/4l psۅ4wl>"(5nͷp5H $$#5Z3-hG$̺U"۽9)N#X?8r QGQW"(هtUş4πu%'30ƹoOQ[yD{#']Br <2"#3nŬ;sBuoq-. $t𮕈bt4%Fޓ& %!O1OSqp^\[Zgo5EyQ;g$P-Y6K[tab{2Yf,E#w'bb:=^8e퐯QdE$?jdUt POd({Ur;, IL6YoQS}ߐGwt hRb`Bvn֨+[`[ۗy+߼PŘZ"pdU^[wgg@h7}=}Ɛ ǧ_Oa֦it6 D~ = HOL-Nonstandard_Analysis  5sbě Xΐ8[z>UT' Ա5_Df`nӊ(18h'c<қ_/꓆GyaեȒ ̇2XZ#[;t1+Ayȱ㐝òhfj?pmzytD }@!8LVPp視 >ǍӮ%=y8R :.:LπiZeG"/=(#0Tt^ЄYH&NSgj_L-?Ʀm>Iu G8i};;2,Gusɢ+3(Q)kUqFs h`Y5R%9)K.~~yǿ%sҤѿx#E*9>Qz6Vdjٷqل|rӽ̭(C9r!Q@ZlV_G\Un%_ =v2y?NJGIy"'=]Unk'ۻ :Nj HOHA/$gFRBL4W9Zc,(D)i4 ğVڑJ( e6 Ճk |i"|N%uqsI mo+FH> "iW=wJQ^k7MϼSJܱG@ Oz(qDQ=1'׻`ߚɚg/$T°n:p;:b4Γ+;Yj,_RxCYkPRn{W:Nt_Tc*542P~ A(984]@TqK`^l58-DvH]p^&@ fT`G;}}:DO ű&>ZZou W`61A˷L(_$9-hZ,T>IyUbhE wK L'KfU/3t+@-Ǵ5"m\aʯTInu<# B$3q\ &#R}dkqȺ{"4t ^Xܘj02%.=fPFK&{!w[ȗY(+>v1eU!3U.>E%'BS)?`gyw&f)wqIy6S R&UK"@p5Ե7ʢq/*#F"ʹ,0"m="VZd w!)^{υ)}X{fA X90dZzX6g32&(mW,Bn*yd ۮ>+oC1^VMz;Fc/S,[w,RE#μ[pcIǀUz/:3wԊEF fe%rr9TŐ3b۝' y"+e˭Udg5L<{F/+{e{&LHd1 IʇY6D廟NuJ"xkX Oi*dž>=*KqYCiv{rU]iJB rhmNW/s eJ̌@?t7eȩAꦘ_k[83pU]),Jx͗ ns] P&)-|z6|UV`L1Hn A!Cin/RSF Fb#~5oPJ9^]kpj qX_cڞYeHF3UXoC-D=Kȯ|Hp$RnDd&)YI;g|í0u''~uށʕJE쭖 KyH *-`%rIAPJI1=HگRCNʈҋItq>wh.A_.t-k,e4y8&U =_we9' 7⢦"Hv.#\}zV[ނǐ760bԸ;1?Y$'G @f6 fT/3>c~HjہBu,w /:n`9C#zF}=/ 4Ī~PlcW^d&'Қxxf")֊-窣$aQ[))]Ⱦh铢 -A5RMW|3W0 ~}Wtx5׽q58m:"GB٭(/.js㪅| '{=mPԁYOT5 e)Wcr\,nT4@4QN Sn|wjB`fr0:aO;S bF2Xgk|Vt06 ݹ|H@D$i:RXbeѤvr|Mh )}&NJьY%58l,ABV8:$_s(#w9Jc&afψ㵌S#zf9b2B^mQפogg^KAˈ ]M͈[G/G7W>M ߸.^\몙<]ڄ@<5TV^-LTܡwj_vs :8 Ue~C@iCFjO`/b=q liIOP|;$Oi\Ś 4ڬ|8^b,M=a 7l|Wr*g5(fz Pb-7DD'RNNV Ƙ=N(ɒ3qɁ4?l'̍3TK,?1,%Smї+u-in? *#,8m77'b/O2Éړ0Tx>_7CaAOD2ނjwA #k=TrA\4߳ɂ~ ?XS!Pr^SI%{^`v-t4P&؉wA%8503idt{/s3ZdEneWd2[^ `ݫf l;A };셑C~nJzEʋU#*HnbςIύ?!͒?hBAZM-kRptY8~A)hcpgl)D1I}s=tL920 C6W!yy]?-h^Ǿb&.+1/Ҽ΁y@m)23̍8TƮ㦘O.i5%K\a;nWqOؿ)3#B*=5σ}qA lG剄_'Bt gstݞ 9aLQ5yYZv"- %Z_ӻ Oߔ޵”iS- ?^MY|j q6[~V=,#7 oZ5Hj;GxױM 1%SĒ6i {[}Se,?~:}c>'739_չ+Aqwa^ =^'%=VvjM]o h7if 5\,xhEȢgEF'DOtCI鐪r,֖R(D#=< n6hNPȶlc ?HRKB#" n$NJ6xS_=-?[!<ձ+m2t};c$C$Xdy?: ƛc~L5ewPxIG\|#D]=̱vnEtg Bki C))E-|2N%մZJ{^Y~nzBn-cJ(t[쁙A}gغJOϥ2Ax'y܀LSܬ߉d@Uy(LC& gID>,XLxdQ$ʨ(|٦D`gr T[(Y9H A͇(D"ҨhJ\&aRMx-Tଽ/I^^xX6:qqesLp/6KA'oKp<`^fO]#xକ%͌^+gAd!#%)h)al 3/ǂ\Uk(?bkjs8.؈~h+2$5*8/:P< gV᱉q}t2)k[6~ZL}سtO2T>E=QZ`zY}x\G+%|Xus`FH@bHfv{־\ ȋ|k9'wΓ4Eh\[2Hp\WпD@{vӃiӹ]%wtj/uq42Ga47i#$R]d~Vԩkygw(.hڣBPҩ0kFu@8,]}2bD%R$ʃ,coYym J,Htxa b|u`t>DCbwKJRTgk*L,X #y r!'mwY)%`J2k5#Tr;Qt5k赭ɺ›ɘ<چY؎jvk)a {ե?;wx 찲H»W`S)XjNfv4׈B,:ۆ-` {nnFEZWUsn3y=Q2 x~߲qe*1Uo'hղjh@̂:ZCAuBpr=ז8/Z@wBS̫8 a tB:2cEpSN!H]!Zڷ)٦?\^d=_h;&XvgaV1Ǝ׵Y[@*KG)-SI#$)/Q/R; dP r!' $A>gH7}^-YuQ|.=XgZLj#]Cj4"Y[{ fFCVÛP [굦J~EQ/T݄<,t61LkXNbQZ|J|s)MYQKSV9ot ±X.e_; \Ci蟁,؄`EͬMx}oJͅACJ,IPÞ,rREFNaa$vףKg@C[dP38N wM zPLjǷ#5{Y@VKfbTvHxqg_G"+f5ɯi(#U\&Sά"VqTJYaoIXbZ|w0z qrlܒ)b-tz >INYQћs4hy|/nûK4j]]w@0|Ou/thA b-3=+[s(E[b.5L(5vu@hS^RG-Zʣpb8#?fYZ.~[F38iR3_ӀA@Augx ^/GߗY5ʘ7rlm \SC!^;YrϡH%>VR[|MurJne6޸ь0\4&]x{oYe \t`3dR= KueK Q"J }t)'|ZVYb jW+]Mz^_`.{?3,}#u"0SoȽpdAX 8#X TU8w N;:[4QDl{t~s2S(le Sxz|Il?:*3+gXo/ =Z`r;^hd D Z:-o*ѕ .l. ;F|#&+ @dؘ!C<=ԯx $ UB9s lB˃Ovo&6yA,+k*JVnٹ>w.-i;n5Ğ-+Ⴍ: qCٵdLRE }^(9ӥDZewz7FלS+K]3{ Hrr:v7ǵK_k|PE^+tk# ]%U8뿚"J'B=kp>-=j0}7u.YS6ØDv#9ٴ[ʨ(Sg(Q(;e$ ,=j(XzޅV~`8P NjWcUˠf:<^e\uv?Z1>togbɷKWymo ,Uq4C34;M5&3U|K)?p&_`\ u&'mǭ|-fS9&UUA1<> emz_='G@/ՌI~Qm3f ^]Ewj' Ph"&& 1MϘ/NXxh5yGRMPVh9p=SLwS,RKzC$OMZ*oܯMJO%aLۥBlP$%R;uEYŚ<,ൖrGx]L"5Ԩ+mx2؂ȣ]Г /5h>k/7XX7YT}hҎ)9 6p*Hۚdi]kK;﷖?nȡcg.=lS G 3V92f  B =8>jJAG!>,[末b}%ʙwLTܷ1 iVWI-<8kÔCƥ$jsYkk Ƚr[ 67.Q"RS;& z\iMjuw ?şIdT{ĵOȒds6,pXuƛA2G#PłCnC|K7 QW!zz+%Ν.NZffie"G52ەa8 ‹kxCX2 y *Ā{# 7 EB-y2,Ț95G(`CT85M7;ѥq^Dv 8ddf-iŅrZ<' ^˜YS] Աo:l?[B&-c7?H7ȰweKs= @Ƃ[P[lc)뢪(mUz ]AO UEqT%v 0\쳷g4:dx>Y?=LVҗA)g1j`w?,ߪ1l,fy>diL*lX3ŇHvlْdL=J@@#z*Jsn./)ۉsϩ b(%( ߡX~z# ᠔5} .n*ʯOLCڜhd!#BF>Ow7zV@N2A[0UIS;rXpqCT͌!73`_NHnR}:0bXTq=>2ޡ>ԉHNZ.2WyeA{,vy݅ǁv2m(NHr!OAtl2lFVs EvhAN]0=DSH\4vWFԚ'E, ndYdFA8(ӑsdX'48-,gs:b~ڭ%NrCl vtL3c.eH'X(rLGBLZ`l_oGWTۊx2Pw\穭&ځv(eqg!6ύ/bn8Qdv31vj (א,g!#dg8 ^ʂHqg%u*dɑ(]&%`\6mPj3.mEh~Ng$tN=+d1fCHMi jc*#30ۚa QD2+F'!(}X+`:*ŭa0L-}$s9Q&#`ȡSP>rU40A=t(%IP-X+qS*tH^?8:;_?)0aaX6kɋD&M >b_(&eeq(s)joueчliT/.oԒ'߭ za|dDpAn*ޓ1`ئql6I,Ȁy7?C )xm ݢP8K4=3O;U'*&w9Uu3*M;qT-?©byla>TEFV/)&Mmǘqӗ:czHlo`4Q-'zJ3]Wnb|ɈJ{jUH[qd־ .>A!&xnPG 9j[Ըz%&rR6XѮ1|4LM34-&|5[ C `XՂUTWtCd:\? Zȗ! ݠl^ƹ5#տBt-^-kxB3"[ `ḊTv?.IxI]jBKTTD c$\&J>;Wsy,,b9Q-UMbO,r*E8Ugv[KYӴH'cD?#5<LR8詜B@9dӍAIJu ~0/2OOM"se|~zаPHWڨk,AzIaƽ}xfpCT}N(uK JqJ"bƾ/oC ZB@=> W:݈e3 -@&B`咖0Y޸,&oTK3x.OfڗL7H*ȳ&'ٻ25V_6e1ħ-gPP%R*tea$/.;8۹|#I 0O?%_QK*$}-mvnf6+%Ǒ;:0ӝ P\ps)'}i'8oK`zђ[TbS{/:jx{秙ӃʽW)Vv66OVC%̈́\=ʂL7=B䑽_魂2Gˡ4-JHhW[HFDc曪xDjx!jry P${Tvc o +Ԓ 76ufWHl: 00] *b&m,*? J-o?E&:,IKb0BF33b#BnxςIY&^/d@2RQDd#A媮E{*13g Fx.\xe㽾$HVQUZj_q󊵵mSR>4`SҼ[TVEqg. ?ҠB I|d)L+U~,]eN`!fL$'E=S"+߱ 6(ζ9o՚΁\(p" 6$Cf5%5xB nwp,ݰ%mi#^FaՅ9#7#`S.Vі:ґy"R|mn2&7[ԕ,эHx:r%z8JD*P$5+(>FaC'S-v/kQd7ogTFCTi{÷;i|;n{ L$-'wiN^H=%I r G. CI9W^4e{rZҫ~jsO1U< zqD'" ȇ+ uU \"1[_{jGϙQ}wZH?u#iab"|TF7^ؼp?{7Q¦Pڋw|jZMCPя*lCbcT2/ X;uj21(!7||ہZ;\`&(Dc-^7[gWsRrc@9 L' ]'{ZE(\!XS-2e hj?=^br%^`bG :Gص|8Rߕ12wCV( # 8g.pF1F͊293 y;TG${{wP*oTWD^_K46ʼnj)Ղ-~Sg$c*t`2 ̷%ppޔiƵ2R V@#kXRwa$MQh]f5uY:{/$T, 4H5, Tq<1:eUwIZ4NKM|kHͱǯ#MV;dԨ4GXf2@$  n6 ;b Xm@Gz^VŦ+LئaS\2$0 qiWKsI=۵^kh-3,P@TB5K-<b,*#'?M豯f]k{.%bu/I2{߃5u~ P\7ydld|jb.9n>>n[满Sfڬi6Qt 2Tz؈fX0M)n[’U iVܓ#]AN&; [95P7w0,v[3 ګ-ӸS2\T2޺gco3TyaϵKM?I'z+OjWSg<7>œ3LX֩զ n#FBsGOFDW[d]E)*էGXP8ɯƉd6V%f2ɤ<1MSzvMém2&bM 0 !)\,an"CA+{y)L]/;uAq<)}Vϒ#]+\ff֋PSg[?(ڧS 7Z+B|nHd+Io82kG g ӣt 0 az1+O͡n0p Ϩ%ߑp)ނU|P pe:dlpѰ*sA>p;hnnsW)-cs:| 'ފ8͖*z/g:#3m=SOol&Rf54Cez*zzBZ ݇Ȇf?#h~a@4nFW::zwǡˆ~S1i^I\9*ڇ§4u5& xzXog8 ylELk0xQ$0,G@k~TCn]MYs&n?T\!K~Nk^R֍j9>z$ik>f)U9rC ќKf\v%cJ 0 Dұ{lECN;| 2 K.c: i5\֞$~RoD{wLN%hEɔfEFPU gu q "4RnWHIZyǖUWGh.K壈#UGG% Dn)GlB4o S`pі>ʽ"B{ՅԐɿF:xUSaمv:Ì9)9U|w "ZzdgꢴHpiz|lM6?,w%OjqBl@_4AWJ N-9'adŨA=[J e7 &ɁQCCG;$+ڗr2@|stWJiM];D|g v>f,+ j^#g0Sd6ckW:>r(?wX)ܹ~Q^(I[⠴֩#yeYO6}A(QQgQK|&͹T2/UKGIX oTn#2k2Q]z 6ʘt  b>.jȎRvz}s%c,"*"Bge֭cjwHP:4(˂?noz(Hvt= =ģ탡Az'| ECTu𫅵ȮA=Op"[[N6)fpra^azTh )_;|8],pѫdd.2]cAk|?OD7'fhFP~-Ón-FgB ܧ4dvJTy | MD{7"hFo9 :7Խ-\$LgZK狥yҚb0LOЕ/UMF vgaDձRx7T9#v;SZa/\^]JJܨ0F!=4l m1(GidL}ݲLAB,frQX&YB(]-f;A]w#$}%Ӭmű,?4%YTdPEEЎ6:*EkN EkwDc/77; 68FG5 ӏj)rnJDw+.EjMEUkZe2|id8Pm1sX񓀩y;VY7t,7C%`^TȪ (#R?t)$G"'nX{Xew9MsR|#WK{kuQq|dJFrk[kvPcz| d.]ž KjV( 2{ۺ hnB z٬&UP.+'X{N$u[;K ="ڮc00zv *#}KZ~:c@]ֻ!$ IKQ֜J,.H p}M7; Cټ&ʓ ëUp" ׊FQQ֨tg"Ū xl6X9ux!tҧ %pK,>3c xݍ+5lk) 0kR.&\E.lVj, YXp_&K#4OhH~=Eյ.ߥXRFAg,f5{| 8rE=I%1sgC ؜˗ӻmyCqP-.9OF 1_c:#x罕5)p|Iߦ 5*BsJ?!.x?҄l__Qi7 CI΋'ggXooqaЩudJI<%VF"o\d}~'N,ݷ5& 9a+7fH`5ҧo)'{~+C:oJEucwƈ})aT/)r*Ⴄ *L>u%֑JlfqԔnLF$HS3E_EQnX|4:m9lBcg^(h*/p!ELEi%DLq΄`6E[3V`0B5Hͷ]gP|]"eo͙\ Tf0¹6;ã6_^ 3Pf'PDpϘ,8lxp<@C7Ȼ-o2S^C&i<6MРYLHꭦ !͎v6l4pI"ZT L(8=3꿊bUe=;OW2pv|~bCeamIdN96+;aCJiM-7I){wbz3[OZ=lLp sblT뇱,T"!f8?ILs2"]>oN@ٞ}3#d-Fu]+)@M+L {pz\ tƚ Zu T@GOq!+TG[ϋ0@ uu_1?mH񢊅cifL.Z2Qtc!hΚB?H~=jxsYksld!Gqxْv g)RelWGO/9FԹε0-oeO)\n{vi /ӿaB }cšIezU`ay,^JB)Eo̿!Y"i&|I-/ V ՛ < pSvgRmHA9sc:V.ǸѶ}l[g`ꊰDciA,],׏5=.u1iD&GjrhA 9+YBYwEnzDM+,՗&ײc\7=* ӖbqSCBHvzgBcƠd26_ЫЈBFGi t ԍ6p@,.$Z笖~ŘYŋ}aT IGbؔz$w%DltZL,27l[:=:`jRBxY0bXi`aW0DBI% 0W`q-%ks!|lś `S?g\a*|a\Sb1n>[ A vgÂb!M!流' `[|GtAR kɳjf- $qg Fc$H|.%󨋁`HE+G4!{*l7*'|gCU~aN91r S@ P {^s U￙B9T-+( 9+0wF2 F{ј3g23VN(T }m✔;Fn`.8.o :>_SO,l 0;!KXXj|L}&}&piKx:i9 W ZVcD ;l~LzǹP\L&hA}}C}1u Fj][hf9G .o}50zCqׇ5TP|/pˏLW'Sbu<@FlCD䊱. _ ƂjN18:"#Nj8fhU$QO / 7 i;>%:8 4BONECC乺͔߾Y=wL/=,w~[&\}A$%'N"qՏQ2N|t9rО-,_R̉)hP8lS$ƎP'PQ=O{[$E!9W{[L#_HSCyv"kl׃aUc(VpvD[bq/>1ɽBˀ2֊+nYBѫ/tPj9׿gfqg67姿²Qu\"7fi0JVp >6e2ip~jU-u7[Da_€΂p:zK0  QzFkgIPMpiPDFƕޫ]bH a DhH\Ld_c0ydYԵv?pM RuRHsa\GVBBn75c_i1Krll:_n闉Y'u1Ё&16~P>-9>~H6ժ `-LZ,v lET!Ⅱ$\0,D3Iuד \2K-2J6Nz#3Wa[d/˅>օe n-!O{fK֚uX>!CNmu.׫sn2x7kkBLctD! ᤲA} Miꭶص)[ 8nP[^  %B|,Bd5Z%Jx7p-J 8ƽA/,^0߳ f ]22g0 eCMM>\R#ef@fLl@,'A8ȧu%$< I}Ã+{/ x9&2xt0Uڳ$u'|_{zf =T5!>J}g9׺#m`pOHjn̬h |58#0j^[ⷧv8L̟e9E F1%dt .0GV74O# !'CMhfBAL\ ^l$ c/m L[hF&>P%3d8pq RiKs`BI9v&Qv_ ]eJyvW6HJ J(GE[qIC󼊡j[e pwa^3(>C0ؖHVNGϵZ9"fJc"e`լmLJPKd==yKM Hs5ߧZ\1ҡb&ϰy|l8.8|q\k O[O=}Eypkxj*\29,שNjoZ ^۷̚+ qڷ ȽJp9$֬*ƍIGt7\zjet|污')d~#J@jcqFN*SvpU4qL{+|LӚtQy鰴:b[|(`Vt^QXBZ" ~:%Oi[+9@aǪ`+[$-|9ńV bfg5n>߁6(Sם?P|%R.b~KP zoהcAA ^1==B|^;1S+~2k4}C*{̿:q(Zvؙ~oS gr$FIg>x{?{4<L+/o'TyƩKW߬;IS_u#u"NK(Al['ҿj`3!0ӭ.(ŔTž5Z퐲KTkѽ&aY~D95&xcľ{{<$ChL6hzar检OOS其L۰DZ\^>qWx8TA1Aj@'VAXcO+@*2/'XH틀,bX|]>y/# gn恡Tk#Y2;wjq{D矎:zVϑTw3]A2Jz(R)!BU.faW"`k~5 ;xO73O:)f$t薴HBFDp*bJ<펉CTQ'j.DΜT|`# #R~iI2;$C#m SBRxWgHſk|n2o& 3\~O؟qJM>kev  #1 7-nDyd`#Bm?0;GӉ^^T5,Qp߮3$*b!*Z"cK DjR +n31Ol qm؂ڏHrWvQMi;p(ꁑd HFsOw5k4݆NqY&a&pNܷ34@ITExM8G Mc:Q˖dXC8bF[57+71Uεo1+̻l8FsAmW a޲A}MnŠeh)Y [":ԫh'} -IFP/vD[iWM$.IRfkQ|NwBpq[+u^ 2[ik6IS_zH3ŗne `R)Fw<.rq*h)Nێ&WSA߃{.Av70G[[՝G2Ȏ R[bfb(.=~a)uMm+Y+n!%)*.BG>YZzL#uͩ>Wۍ}6Xq'|mЛ{qapPɥ,N,s?/55ƙvOf#t&tN_gYͶwe,;18)4 8B)e&}$U};w-a@`/ J J7$"¢/v:f!*?te3 :>Yg&e3>gkRk/ 9)#Rt(G&*i5aW/!RB!uUK!tYRRTRu~uuW\gN> +IRo# }n %ͭl9Kg=2Z񷥸] K׫t#Rϼ5\3H=pi q1 P@><2. 4aʲۀٍۊ~?eԱ9Dpoڪx"l: L/vȸ$Xdɵ"jQT6/Q'E~zY{=KфdH-'l3K[0ٚ˛2^$x[@c+@iXBv;2R0H59y٘լtz UN1lӬi;" S/TysXT9OJ;]6E9kc`ңҀ,YnŠ[g=͈W!0hۑNmS>hlM0)Icˢ@Й\~H4C6K6Cns., P׈q6i\27T60eyD1e>0+^;0p?" O~vXX5yºYZ G|xPhG\hO{mBa.jd1@S@ύFm.3PY;L)WɡAu_Iv. 52R3LqlQPXt 753)}~l|@a%}Ô9z?И=|#Pw!o^!9jUϑO纬Z lF떎oQr-O8R]B#ؾGާ ֹu;}r\XfCv5ϰ ^*9h;?Qd-:rF C\{=,3e/ Bc{&:ؤ"\pa: U /g&XsQ-7f{Yq4[(Q[*yuh 6R5(@4҇Ɇ\YbĊݭ l :˄h;N`ɟ*>&g3g]1\3$6jvdo@(yTMGY?IK'i>rTH#ܲI1ch\a (K\x0҈C`* ߘٝLMrjin)= dfzf#fa` m]X τp(.kLk܅O;cH}7_ #\^\7!G*St/o n$_P@yH/A y_N< O 2w/K7 d]%VIt]!,10@+nrc/߸ߺ120,3Q^#gꯪx~cֻܦ+Cg0Vk,C]uE[%Z`]zGĐȐ4Ĵdi%>ƪ V;;GY!!Kzݳ!CY䶽¦˭ |*c1|f> P1 Ϛ>B6ΠZ cndʀYY_VTK ċ)7zR5C%vE֞A~b~Uh#QV]zʃ8,tgJVWQ{1E[,ſ5iz)_n␞3'æk5anz5REJ_ôe {,;E`O*RvtFG1 ݩ_' wVڣhI %grѿ'رcz/['r5%~'8\Z6UܬEQrC AL gd+V.14:4 t|nX#&瑁-C;_a%E9D %4{K+}=s)Li"i / qTxIwU*ߜUgA5}ᴿ.3cPrɸDZ~-&=N wYB:7ۖO<3H4S8[*Si徢-t9Y;rW"AdrsهXnc4lOf&he[?9T8 kHCubș= i',W ~6[٦P3\]ۚեƎ5+bpi,B\$ۼn)TҮ(2r$qZ(܂:)#G-(.uL- Am3d{Hγ(،M23L1~`cO\Fko E2"۱JvBy"E|58gR,EW"F*FrVd(H ?#/ %QxLˈhysR{8Bb.OAc XUJ3zj`YZ9$-MaL 's!H\d@((@ ggP GpyP-ž|hD A­2op쏘dŒ'k FEѐC9#q8΀ڜʇ fË#Gno=$jeRZ Nxѷ^@B6.c kNx>M[:ySW7ņDT *:)fV)elxɗhˏ2B"tIyQc fmf&gy~0@ kQ2˻z-]-P' ؏ k[\rkP@[>j%Ǝ:&"8S9?ͽF{7'[\ qVN#|0(v]pcHs835U(0"5b(톓OJ-$ߦG5hy5rd6qr\j4LȗX@~VޏsKȦb*- G&>X]^.,89Om!aV8κž=mA'Vm5+l5&Ƃӡϱ1I*z{@M1m#|&M(AQMn4[;[ p祥\t#zx90g鄯aS7}/u_TZ00DmGL\b捪;icL֦(ӑZk`󏄖s1+.<f>Oi+ZVxLyIiG:ʹY)Y`+ULMtR|.+}!Fx7u"z##}M_GT4 ة+±> Ҏa12 N ׄz/$e4YQRܳ"1pb)e`*R֮OS{5ejꢷ+tn,{0ˑr[{``T0'ЎT6Af Hz޵<Ԗo0EPA' xB OQ)dؽT*Ǯƻh(}A1 :{e;/<ш8%[˘_&/n W 6SEIDmEXjeis6RT:T_%xkQy~kAǒ [ j7(b74?JN.RHi`qR6&͍cr9ik(97~}QEKoeI'dQP[pT|_ܿ|#Y[.',[0)A§.|fR/R֞%wY̮*K/4ЈE:;T'⺶bSN\DƯ``!O #]@!qް๲^Yb*Ouٖ2aBq2M1s?uFbQ^Vӱ$a\k4 )!sĔkDžFCJJ? 7uyG6y"`V ^1EՋBѼܸ˟μʪDxT@?F$ mA]ddϠ^:]2hUWe\knD|+`kykҐᫀB;_rЯD27c2=ؕw1w$ uTN^z9xW4HM$!f]skU!|~v1ۅpVdWB xb~J|>_0,V}Q1OM6y ] 4/L1bmԇ( /*KL|U+q5uKE4q޹.U3ynJasP#m/nCdvQ^-q['蘭0uta"%9r?5x߿36L'zh,R]B,̹fhƥqAwOGW.32o:Nn[Do8e~ N֩#yy`('[ sIx$bQ4ígxjPCd; _kks{F-н.# aLjN)yU RI lO˯&Am//Q=l։7-=\梤7n[wQxx ]c_-!˞w$GLr!"l&МD˘C'I ju* X4-D " ?Gh3a9)( n6k=9ڶ<4 /@RD-@XFɭ[ةz^CG+6!o k\bپ1%[ƛÓ,.mpTĸ.(gaΣS!-{Mv\>18Qah Gs^$6sb)Yސgމgj~ %2mbW:ȫ|wONӲD}IG8?[2ݷlNܞuckL'aS$M*#M_9V'ܘ2 1sHh(+M|U26L 5Zk״Ȝ'֊FL@8 *h (KŒ=Qy෶qkbt}fzN^+o)I=Fpy0<]`剾T.VLtlu+w$Q\YHhXzV{yj(PJ")\&ڰ8 [;&McGNz/[%q*kMEVvUMTJZ+`0; WX+V& %uړ2?F/caBNM !{›f%41/hV. [Llr(9ܔ9f2*?EE 9h |ŋ*,)K1}Ӱ-nQ%&z/R\p>/E d+Tnώjp <6KN-u 7Wc/Ťq(cVα5\d}@O}Jm[Tv6<LZ%X8F.ӽ7?6y{.zg9ٯP H24-vq5YaD`]i}QnӔlIס8>,~1ٙ?L: qK{ R\`|lUtO@>Z?/3uN筟I"H{YlO1Ck/"ؚlXChwW CO܄д DuyѲ4SY5+m>qݏ4 2K=J+PE\Dmjt _^Ź^_ʿdJ2bT+uPt8qÐ6př+S$,J t.z MJM6f혧wHvD t!=` 1C4 =Yt-1IoEhIoIs+{>7Ugr~7Fp 4:0 sxi{DP, ^d#1,Z%il8MWؿkO=BZq|%C¶վ'8؈[QNyG&UE>&20Ӟ M@ajgN]cYY:*dS?*:܊s:2zj+=쭮03o m)yDIސt ߂F5ysvC*ʲ#tu rmuy+HT †_u9,! lMpȑVcڶ8R `M)an"ZѤX vvgpaܝ!{)S"Vr a |syk- 'p\CkG\{r Doh`۬hɇW^p9U^$?۠/& ~۳ V)#>~{e^+i.#T$Kyeޒ ki{oD79tSU2'վs싳[xRC&T˜J+ՃO mg) F]p2p>DhsWubI TFG@<4gDMu?[ġTOT9 ]<:]y1K2JU{>BϪOqgwRntZyJI[Crn.p)G_IVl p o||ڪnigmW"Hn$ADsϪtCmXOt0W|E.,m1I9|O{, {jWVXx-2+9HY] }z7 "2`JD8%Yx f/k|HUtO1RNa0$,΃ X";bwⷪ҄3 (?=YIYC)OjZy*y)eE2Á_wmi!'Gf/l76l r}^yB춣jU?w fA*0YءM(r[ 0~ PNpq96BOb#n͈S[Xkɧ:s؈1vS`uK"#b+hۨ/6c#.dh&3d{hGP.k4O.3m&|?|׽OKP"F/k4X -?ZBڪv;w%5UdDhEʟ!W>H43p"M= <(8̠edD%kf#8p,$=_[ZRJoԨ\؇;5#栉 )׭Qː [[4Ol}waMLV.?L=1Ny]Y@`V*\εűm$0UB}.Ecq~jy.Q;J0]{9lJ`i*$:#ߜcIQ k̓ }8,drϫ=!MqH^]s" )% ]ٴOG&!l8SVầɆp{B!t^5_%_M5TGCqxv~ꁜקChE WiQbUMs4qk?})D!p'Q>4*_ߒjT#B vd6#z+Fi5p\D m2H:S9nb9㯇E.L'#z?'A>!oU"S\`K+(-8Qpٲ61~QPbRtANޝ]bVK[.z'k[P¤2XđcZyH {nt+Ƴ#SM74}x(~}]?mf5mLXXK!>s`XNɚpw~% uH}rf>1Tc^M#i_YFI+{IeZr!4輧VS-/>oE] `P̯[?oiw| | \%i7Tq/f{!.pki0djl|]Y׼o[!@B aX58 Xg@0"̐Vw-Wmsa=mfi+9[LX,8! >p;RY)  ldgWi!%?od/ dZ?OPbFq=ګ{O <Adq6bjJSRL97K.\ Tzsޏ\Ay&^Eʗ:t'gkge{ d#q?3y'bɫF}IjufruW ?yUZnKZЩ"D40Ơ\/&jXHI^[nj (f(nb^CP:5kJjyGL5!k-cdPJkAb?~S"r*!|lCI0/3P%.n_QЮ6o-d;oБ GY20C)?1 MI,"n"ƾۨWn Ӯ~4tHm\g] +y=jؕ v8c|$쮬EzG&wk[wyОhҮh0`(1Kg3Cg:!qZWpW_P9mQOE&MO%Lo+m%VJX{N߁h&;Z"}pG7pn#[m$!S"TQx설lH}xlNdwYOzRsm!)jO{AAM*a>Dţ /yѕ7@C?S!r`[(݂xѡuN 5L @#e:;I7A큧z RBrSS}HhfEphr"_{W9H*NDC=3bH& q.jEC*Vr'\O驩t{NrE:CҎ2kkh |@ }|k-Uz:3@ERw6pgՊ"XKV3d~|y/D֦2anRk}8҆{?_~H+2 W<}fܐ GM.{sZqG C0ף xm>.%\mff"U(hv Z6e\bk#9WH""xz=vXF[V{pμ;u*Mxrl{h""-y/%O|CkeLo{p,Qlyrs6Yvň,Pr/'` Hmv- ަja'w;uz SӱzgͩuR0mᅥwЈs`e@ r*J]u &q.ez;)[<-0fO_HDRuvVr8̠Z+d;x(?p4C9(@6̓h}ˆOB} }+ոLg7 ymbfCӅ&:ꍿSwO J#nB֡#-/B'ZX Dypw+drk \۬Uc24K+?Raڙ{NȄC?dž&򃛭!%Ϧ`)zD#]W0fIzPuSy-u7pB얿7ߔQ a-qYovi/\Re=Ώu6̀@"R/ #$Z&E།bIB;.cO,6|(M~[' 17%yo3IDv5\@y;v>5W.[3&Ea*OӻOP#)zFp]ygIJu18oZ16gdl x.ye*[ppT>E*m#x[Au+2lgw8^[dЮm0q͵YJ<6DQM .C\hF $W4Q=՟RM`R®gR{of;{2?yYوO@ 1;+=Af!sq_]txq{guH@L.o1g:_kQ-/bBLQ ٛߧԪ6鷹߅l7s?$0pf ‚cDOaWlZD<]J~`*Z 4Re"j",mJDI!SuJ`Ч/{vЗ>w$""U8hʞT)z>_G呅Qb\C l_WLCPy- %uZ`_UYηDSSir=,37 ;Ȉ -RBm'jkZVx@HW&<rL]LlBU5jAbf G\mh{/-Ilr{v sn/Ik F,h9nxB=Ό*oyʓ\ܠGL: p>àv6 BPeI(iR)X lА1YK"y'EMk' liZlj, ָO~t48jVaD M4eɒ HhDJ-ڋû<ծiF_&/H kpXw7;ߚv2կ j2ȩ2|ukk`^,1nX? YT5%ƙgyĭo_'(sp(Q^;n E}a@+"46?nj*3ˆC_MNI\q8EenO!r [G iDi[ 4 D!{iXkhcp܆`L[E1O"%#5?WT*TR^ 􊬿m]Q}8cE8uYL |z>n i>ɃMX`bqC,6&GHz>|l40s*kt}/yD%_s[9T 0ꥫhI^'٩Zn!S搨#_jvNY_7֣f&_O5kkyn(D,$ /ɚ-7309(",YsmֱȮvqѶJs qhqamX'Nj. J\ސ YTv#F-Cn=JPA:Q*ܘ#*A2an;/o *99H Ð6-)|!ZE["oZνyޛͮ-dܻ0~%\|N匕2.ǭ^4\^Dzg([}d.-'$ޏ|L?Z ApiQ1ևaZq'Erp2 ԕs$!3m.U@6VNt˫S3 DO&pZ/xf $)`jG,MN5 RSy|ivdV/jB-ˀ \# (q[> PCcʗUU5apeuX!~Ҽ2~Ĩxώg@$bP,kpʇ-8"MYπZVL`Kc)sWV6eE,e$ڍnmhjF(UcEO0%9ˆ7VqL$q3EK5-Q_f:f*~6mOOqs !*/#ٶ$"?=f?\c2c| WKjwT!wyCpZuWY ,b8}!aW1oӫ1 A%0U? ÷cΛ2٪?I\*b!lT XkxQz1FWfיMq#t٫+u]تdkҥ"_C 9 x{!~Hf L3 i`2U& a*ܥ-]$#J삀UZ!zLіlXy4}'nj9(~ Q~ j8~f0H`ӽ?"!cʴ2iUpa,ÔSe1tط_Ԅ )+<}~4~: -!tQM ~JZOSK(`߲J3AN(qJ^̟/0ۧ  6>]ޖ &NsvGn]f}1cuHK#3ߤv";&@=1;  Y P$d[M!ujB6JyݒwKGv6mY28y]r(J?ۦYXZ}YV\%m<T5qpAG w1fdןxhCMl'!>ց1paQM))jLjonŻ4`ѵXB)U+odS.n7PX7 N|CWzת%"4;~s>]×S7},U/S[.^{`64nxMLYGg8MHUO`È$sO0e=^L`YӰ#7޷+,ŵ Âqc[tN!.kgd84Z|Wxh9G+ E/w߯b:i)0^CPJҊ ;(ӆ]u9U~iA>j:,&#Mag>[PnuL"߲|B< Q)?Bגf%3&^Ӗ($ 4ZULʁDʂנˎذlkC^sq¤0圙/ۏS `604~VJ,1B dZXę{uό>a<51g$tuV sk>@uA (Xo7jk\kNk%#hsmkw\[(z"?M#ROQOlOv'vF{W0L3H Ђg]"[[5Juhcޟ䨿AH- b sx=tÀؑ ʼF&pUai*)sƞ}LhO.:M= .֤"N+n fC ߡ}{<r|22)\$nPBʓr8ua$Xv[YgjJL"ELVXu/-̞Ơ~yA#NƃZ$>*)qKe3-=NvX>RGD{?Mٜo4BG}mYD/O#9 "NJ{s`q J <4hؔ?#V1r M CexU"*pBi>!l~hkn=OAPx&F@?LzX<2!Q&\9!JڹoCQ}h :@3VZEԋhGb=̙xFX:n\ ڪm#h gR[IZwRښ:ʖ{. HgSrP&~o/.,.iMu>3A+]eV7b>AW37tO$dJKO]*@Yaҥ &gCH7t&2sheSJX|}@Q-?m'ÔE$Lleo%[E=Wgȳ@eB^N{ƣmp*2U+@s>ڌ>WmL0'dr [O G^hOTYZ >Ps+v<78Ϭ0StG$? aBBA!RإbaXNsdQ1iފLA6)=hXt\wZЏ(7IF3Oa1im[OB;fK,0]ӐMJw[MYj$PԦ]b:V7ͦZeCgI?>48ʯ:sƄPSpf`I-}h2 j6^iɇO>/һ$0Xf/H"#U/x T{3$*ɫ #^Z~hI/uDLw.)ϰ+L~\WpI1 P.qN:iF/{AQ\>*m[/BTvS+c屣DExNeb^"s6pRfELT~xѱ24P;QOxkfxjO>٢g̓j{K3ı\:NKF4z_I7х.bRgYZ7zXZִF! p]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>A$LCQ_#o4~mX\N%G LZ E?6Z|Ro }qh\=#_GWM0B&[4F4.e[dvB|J|.FyGBt`({6Mkۂ /O8{},a/*`;N@P10F<3Z?[Cԙ՗t]iL&I:it$o̬QeG֢pkJn1~.Ln.->1:)nJ  /ޔ&2ssSJ| 00OwgYZ7zXZִF! &B]ŗXi%L 7D0oPKLħO_@髡!Iuxjk7mܓׂD_HVg #h\,`JSEw|dC#@wgw2ܹ9D&c6 >o6ZBBD#Wď2Q i' n Uo(U'6R [IXv|z/0-?kj[#8 %9֙4R`4$/XgfEIdܑ%"_Jj3cu1uo{ 0P9dʼ*ipKᖸ c9JhLY+msjx Gߌ!`7;7En?^8=fէC+1a4W "[n2$zep8VӤ[CH1hSv(g9.ۦ^"pb,D}T YYM' 6@K-+-PE&xƚ!Tgf[fOX7ɂoUiAmojU|,$ j3ߩ+ z|ϕ>!`7`LJ.X4waj]' dtXF;!r,ߡ87f }[DףHT)DMb'&ڵ>ye:̘%35sf qI +Ғ[rLJ*On]RcA-Ovv#絽Q|+bɄF;% >E<g8c- q.L