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 %4d$ ]/]HOL-Analysis:threads=6elapsed=336.797cpu=1624.064gc=60.388factor=4.827zXZִF! P]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*k렻Y?^@Tլ4 c?6  MI-A`ȤvxRbmt^(#N+fIk!rfu&DQlOEMTgB)kaGlc |ً7P!zI3Qf#Z/7f(V${ujW'M]ZD0G[T^ҁ~ &J~g"sˢ83O&p0of\VOQ8vljˊa=)^2.?HM(lQS}pJ ܞ9S[)*T]+GE1xP>kW : g*\Ǖݗ߰k˱@ !bt@6kmoh~ȹ]jj6*IfGh'sj^ xqz~!h& :B[>Z@QAzF 55)k 4`ku=Ż@0W;le MG ƦҞy9-G ]o3УHYOuD.h+5\ cЕgU+SG83-|)r(]gsqKP2֡G8o},K]Є~̆J1#/JHIӤgWHmلJ3ă )7aY|䑕e#^#TM5^{#cI8.U$MgbltF̌I}>H˲qV 5 xEٝ̏ ]÷[wbn6LwƼiݟ .}Aɸb_Q8D+6_ l:K LCOdۜƇXӻWZXaEn0H0DL,F h KE4e[%<eG#( 5g8'܊`qfq+!]0RB4|-:l/3'>q$:P/& [Rɐ1Y|YG`ZW|EzKTV9`3RAl%.`l5I;v'(vw+Y&x̽R~EZܸp½`NFg\Cxj@r C5Ҝtt H0T߃2}O] J6_5^YŘi٦+:{yMf͎if.ց+ϥؤVi߷LIUa2p=0pЁE<)X `d\gcJ4=4ڔQywt+~J`[CN.)_gt2Y6*qO\%-w 5ڝ(w/Ox[d/44R*Ɏਖ਼Zнf\z1&)ncNu e+usE\5|g=Η.رTb+:TїI 1l>(ˏC3/}I um''ѡ$sIg$ul+JV;tHfHجB,j圗댞*#jŏĶb>InF|ΤA -_8 Vi{CɌJk30l{m/@/C?D%2 v}#߈؏Vɍ9-g_{钞(_v-ї4l;ͪjM.“Kޝ/C R`"mj51wGh[_,QOoa#QϪ,<j?@mF{ :b=:8wr kDxAIodrܭ$4P 3e4 KX O-os8w͏u|N9>.-C_ߏ=e{xBY+Ԝɴ/~#U06kn;WEsQzX$)x]?HIf.=vV֗uy "1a r1)UYǍ)!n@1Kvz8tU?9]W]ȗFee Hh :ZIuȏ5'o_ft 31qD.@B;tSmaV' A)wxf:K/J6-#m*􏶔cƮm4SyTB /疎>@M1"r)A fJ y$ Is?n`_Qemoü+`b찵dg뷫cӑVǯ}s|,h>S|+J"F]U6T Xja5ѦZ bkmm-G3M@qH`LH_arGxjE(M+;Hq|3o KUrR̜ 'Du җBoV{iamW"1@3*޳Y{͂t>Q;*|QjYV,dYy&~O!Ia]"=L?}^-)f[ g%FDž:Mh!rf̖ P6YpkxD>FHI|c#%6?E)Vȳr^tV {ҢKȋg8KmOqr_b#Fkiz MA1\KDXsrC//@7WKEHm\s'iaɦHB+2Nt6.r)رc `hБ@a i:u|Ņ'@nMm,M:VAhXR7ȘZ(FIgR{ʶ೦)ՙ\n-GxO@i<Hd.ck tdXg?]s).!̣WtfJjck=sZBczaW`&ol23n/'.s~g}[뽴&BMjQHpo;h%ojm';U`kSѳ!$0{' wncpIQ ms߳J|IiԞVs`-]%W;Ƿ8# vmڃ-Oc4XvݞOK/`!I2oz\2_^)yĉc 6u:F$ @=f`ѱfgKk6zNJ""]f%hvKijEnla0׻t{@&LػTb5GkCS9^?&#M96Ku A6Ci^Ş#WI{7ڛA<7Lg?CHPsvlB%v}n!DZj϶w& k ArZPE TF`s8qs.6QU~ >J>׮]{ĔIjewQ>;I"74$͌CTnê;o!ԐE0(f#_wt" \k j7 5ʍ}+z,F7 [bdO簋Vw8!-YͶC^)R#qmD=a~@ިLOp۶z>#*ۋ FEu5M:bppj&ӣVs:⮳='p);X]D\lJcC L̩[zeI|#0(-s"#- 5mBpݑS<ΎWhYiP]3sgs_SMӝ:xUKQlTf j[[pFJFl>IPzhbRf5Шoh#,qq"o% K~2k4X5H 7ɪ mV84䶉f 21Yo]p^`˒.LdiVe3^mzP> SSi)= PCS-~ g迉o ]|+^1[m5$kj݅p35 d6411|Yh[ "/U$LfX7 n% n4ᗻIK?#<'G;`o\ģЖK'PUU 8A1ЛW`z'#0 Bj>'"'{ȭ֥|0^feز*@ohu~)Yz}Iҍz3ȓq]zBomHե!A(c|*ɸ~@4W$)pD{V4¼!ֲX*tݐdڊb?5# q\ 360##78Gw 2Owf4/-p;jB*0䡚w&-$5tfOC"4KSq(:5:$dNNa]8hJ;58u=ޥ6>8G|Ea󯫦(А X"qWpyr lf >Σy4(dȌcUܗ6 K[jYaJoݦ! D|hv}e[n c@A,>ІNKIׄJH]m :rs8"s#gvQvk90M md&d<#8^A2 VdTvR:i 7Fx҃5IU e5Ԇ_$H'M_,0nO4Dt3H$B!KpeD#eGM}?prB2H3o ӆxOa0u y *[yZ 3m.N@mUa2r:| %`?h&񼮣A$m|&~SXI&-p=0Ź.o?6T*0NghL?7m(Z=\hpUG@fKŐ.bkOqeL>QM6ia]Dy;nHPt-Rols0IMUbHUJ`%w#JRC <PP9J0B¹`(MpƤEshtZԓa(c5"^(DېH9?4c0fڋÖ\rF6qW2|q0im~`rA5:'1";-,}jSee"SQaeӝb:`por68m[i&@E'+M]RږN_h@|^f,r͜Yg@!b]R݂%8򕗌kg&0y]^REs/za':ǃ}2]3Z=),>5gN!0TwU(Xd5`>s*6aW@aA#scݜ/fgwȉkwm3&;( m| 0`j^UAbeׁ6Q(xFs 3*܇D @@}ط)2mo V܊(IS?:HmHA5ղ9ӒӁ%'Rf_:?<sFItÉ%kC%ޏLIu7=ȷ՟CRP?,x-1x !_Bx*)*|rMc &_vM6ЗQRME0=ktg"&ȂʨC–pJP }38aAԾz? d!ˑOT^t9Ma%u ̎g b;xSdj:ʭ"ͫL}}kamGv'*b4: ho!:һMꗒXh&&3ǐ&mIy5o/NݭN;@.b$"-Vo9v&mPMeTGS{W=tM 8ui\v h_DYgBބs\-ݚY13֌%MOkJΫj8'jҼm7}N`3 :ATnvI#>عoi[ZٖwHҾ[M㾽UoyPy3bL8=&=tNbA C#ǔYl񘲶UM- Gz6a x _W meC2ͯ ]޸P fDIDf݁w#1!O#[taG^opud7PC1{*f+wz4P( ;95 ×ྵ:FAI䦬bOj߹Xq\H]Ԋ)$#@LΣ(S\fN*ⰷNq;3Zlj22CN) F'tf㼳Y VԱh+*Tduc0Վ]vt+7Q&smm@?جw?7fGYcmm̡Gߞ$' d2X V8|SGa'f1fml0TE*"CB.2@.kMƼS1v(LJ{Lx I6}ݥڍ2Q[/hlD} 9zi+Y9RK[ɿ[,b}ˍ !hG qz̰kr dJf3'H*^75{^ TiFB^4gñ@a͕kPc x)TЗ]}S{7Z/:ϬJ ^ei(Kwa Vɘ%T!5k_Pd~Dq~K~kl̻e8V{vjAߏGӟUͦRE4) #(8hCp{SSm$xP3h%ohj*<dZXZ=$\rJj\Z@Fk!v/~E6_v7*QDzs`CKfh&.N!1wRXJ` \/Vew2 9)UFt ~VgF9> 4}KHtwq|^Xڏ^Q|Ҹ*vJ/&؅ l](|=:1ZZ.Mq8|c*)rzMN1h {/(%f*'y)AZf xWQb!IsˋGUyej 6"Y4Q:)o6+SPYL[oAw}L4-#7%AǦmm/D)kTV-VwLsdɭ:Tj?仓bMRh?$K!bst]ZjlX>9uFl).%ѡC LsBAhLbg. T!JFeZׇM=|0 낹~ j%H2pя-F)Aszxč&X.]L ?}N0K/\8:ܘJ|#uo:I[.̫_" JJPtP̵r[t4Xt܌]sfT\hZo^ I*r.PY1>Ӽ+7䷿B;ci{lքjsIDBBXk;d(昶w[#q5=U(Dkx\5q)fF{˸<6(m;Ft*X{>RZ-۬KD~(cb;B)4`VeHJC+]u)Rq OIE=1$.gff qem+7U64 mp 6^=ɕeœn|YطK<扙q_O^Wǀ92iNcaC*`}fX/4x!CYWpx~?3)4>w2Ե R#5+Qu\O:4.]n+wgP'ЃOz7-"|Dw8 \8jڋsN=~GvIE?aG q_06^?dž`Bc>ۤ8<0/#0ۍVCm;@3 '+GuMj%UfIe#`&2XbN!.G_N^'KᏨYєt&OUrK!g$+޻fzïTbR`x} " zq̳#$D]nϖ pƅR4}H|;"zDIa5uT fmZ_π'`7XMR#qhZcLM@J FV #Y/}HXy}=8.B4`*}&#A_Λ/^ro81TSo4$sv!ڒhGҁbԖkp~$@.i2iHk ,6A5JR t?)kl7pNj~<l1u?װS8lz>rD@.'х?b&lؘJvc@Bz 'jWX Gˀ>+Vl={}BPN򋖾Xeߏ%G{.Xɜ\%43UrVەbW?&1UįYLvcY[JIG4 bwPPOje*3bcm$ՙ)&1L.EGT%(OG`Hh=a 4b; [z0;x1ȷcw=Lȱ{32;#*li«vo 3L 贋`IhF[8FBO84߷@i7\]scíC*(5ssK jCиT5o#9g<>)~7wʽs#tI큝-=w@Tv04حS _ )m*ߝ97g{I'.N&ghtQ'ŪJqG/N|]ZpLPÚGhz2f1(煽$F6{m3cc$i}.xe"PIgc-ŨmbT `&9&< A0PpTԴe,",ao-s2!)햺|F(>SZkhiUnVZ}iH;^-rnOY /1nnT{JةO# bO7ѪP*0iT!?.K-` -0#>x;q^Aԓʦ7>fb\ ' ?L۱ێNK͘+%tbܫN';<EXbIC!qbhFFkt )Ke) Mm˜ۯD:rz,z} O0wc6*sJEvoF`_2[ЖLO(A՗zLHrsVwK ^};\慊@2(-{Yr@1qSI(@P;~ d׿-ڏ2glϛ;zSRe1j;/` ?qf&knqG΂yN#oCr'':뙮4#s/ )0(7PR9G<ᴮՖZ䝏oǁGK]l[zܛj' ȲdHw <}6Pc81[ݷN~xewҐ')͢_eωT!OGWiMՃ< ZkBM ow~D]͖'wIoz`*uO6)aցGQިxJe$]tKUrY~QPq7+̨/C;VKׇD 6:9C`6BK2ᙠ̓ IYϓ~>a0sef<n0ASAWNڿno&E'TMCi/X#EjDB@ypfD%4mjt _os`cy~Fv=[ _8% ;F4Jx^:qp4#VBQ?jQeCHS(Bћ5̮)w <~|w8xXm3ꛌ\Fчl7OHv0BT\jQWVy8ݧ{$iatRr|vϛoңřacs)"xƧwE MXܒ}`{q!kMbZԺ[E{|GmV vª!ȪQ&˝& ꃍH/3 nQz?_^8:Mcp~~[[xѶS ή[ect$_ʸh֮x`F-e=1IM {=Ih`1r'^P8  ]Ox_[D?i +z+Kvȗo]e s1fR8$ͣlkf*iTdhn.Όí)zoҋJ *(7@L}kt!8ͤCJ>>E27ػ3إ@nV}FvHybQA zeU5=CK^(`<*A]|j)H-XHlBQtV69M4MύbM3̻ EgdOq\c . f`Y +1V56*_`.=dtj-Z:rMyhȁZ;&`gy@ ;nrW;|dz859d9Jǰ%MV4v5b(Fc.I` mu:goǙ}KuWt)?k(' |vKq?q z& W lzlP PuZ|=Mz䅥!čj4p7d$M;kNlDLے瞚4&C^8T%kJmvq[؎vOHP|.I|@J`NR!6!q&D$Ij1ʁG|KLˑQX7:P[ 鱗p`fSdtqI)yk;D_T3 z 'mKlLy6  fze s,S}5$9C%gB$S3)nܙxTFfrJ{%5wGEy) n%jf qXX&-;s1ˁ2~pW9_7wAy0L_s4$ѥsV Ω sr ˲$3(S@ ^]6G3|xg w)lm c"r_m_UFa J å&i!;>-a6Pg.Ӡ4G?rmcޅhmTC@亯 ثaabȸ qȷU?6et8j5mFb3 Slsy4kZDŽZE1_hXoksZS ӸXe+R\.KbUmhGSf@hѕR;}3-" wOyVDϚ^[ji< |d4 Ik˅?2~s?R޻vn!U^ႯQ6E(83%-6=41a[ kD;6r.Y|ZV|oE~w ,'d bBswMel76 F8ZYRW_`\V$Hy\2en+7{DetWkέ3;* N!mQE93*WdE~Ք `u6~ ~4'%U x(]޸@gYZ7zXZִF! &(]ŗXiɟ1˦r!cHkMeBd4eD*%4'^CaIFW FԽ`Ζ/yU@/u1`2c$,8x}4Kehd։d\;$Kr4]Ps~[˵!-UjM4ʲTϚz4h(% !c}#XQ*f+Gә@ OYX|~nZ")ZCf[Duu*|k̳AT 5Ud}3>5[0TT۪tY"eO8a@CX'+D 借ˎV]xݮy%1ԈǒN#&eY"$Gz#멠3W\+}w/Xn~Tw&߄26oy8O- 9rUX/ļ:F/Lj"p^ ƒX2JS1n[^ID%KԴr \:!4!,Ab iw.e0Հ.=Wn[ YpaUam>]]tve* 9Bdꏆ˯ :l6eȈVX531GGGXU,B3v.AejfNp@Mp1a:\ⰠNlz-T60v5TC>q@Z{бJtSvbEx 6$(L*N@!qwoWT)Oq>EfRbn8܃qU.oZ>ݯn5g‹uxN͆==vYϕBGqn@(r'-*CTra we,ۙŷ|KY*D<Ŝ`f#@Mj N6PȦ=7"Ryg\`~\9YjM)Co]co@PfuzO/|S62[Қ$%_u?\Q &})^?a(Uar|&5bXdBQZ(yx6mNkJjntX F6DD 4$e@em9 I]g۩sdNˍ_}0_HU{V\ߔ@ǞmsjCѐVȋ" EYLE)i&]wչF7gyJ쪅^ %'*Y[@v|Yidᄁ@"Q0'Ò8Ω(ɷ&("Ҳ94ҟ |I7~a`v-;Z7Ss}(횶\`AVI=$ bm2a|n+8Xϐg/߯XD.E#X*)x@g Luxtg'?I!wr㦴I=k[u5Eggs(ȑ"Ւ٢ l2p+T0BJhD^Vf((T6|K1!~}*8Ug1 aΏn >i .Tbx!EӎF8 *9 ͨ}[<l)Js;n>!+8%J1c-"4svV8ws=^398A8Pi.I~TMOhuZ?(Q|huW`/(kJԻ #Mڟ̌tGtMu>ZbmhmɿV`Ε>O^I@mM(0T̀&OZVս`) ϰ>jb /'M&uh~ ;f>HQʩ+O>eLޱgYZ7zXZִF! d}]ŗXi%B]-sӈFS?;`^t.v\ Cő<*t|G.v6$Ċ2Ah䮷~)͛q-Tw 9|vI?6Ln͕5QalO`O #,&0fFWe5 ӓ^=SL{I Ii ۭOhAfMI,_ ո_sYZx%F;էzu2?=PeǠ3wLG:⩤rJ m[ Nq~6Y_-:Fj]bQU1z㠯Ue>;U B-T; tkm-x2Jse݊IG_"U}z'ރ<^_ ~l\,$Vg܆JflY ڙEۤwMnјx!K%)/?\8v IѰ )d;k6*FE ^."d вmPIR`%B8T& VP¾ 2e9rľ5T"u|۽Mr~+fKf=Y r@_à~A}|*:$==8ʼIVi;94/dfc_=zYs"HHడcmhKd浮ݰ;ӂ{ xj)K ĩ VCǮZU`,˃Ί˲$܆B]+Gm*mן[vz5i xE A Gb{֙fhSVGf%4/'oP N"/Z͖{߸-⺚zw gMũGr ǐIRܻ"L}b̤k_pi( !Ÿ;4e0WĄM~I0g8Y[&_o'Jr`?%y4? ܭL\eH$3>c45۝S)D+x(_^ 2$~+M)t}Ȕ)#K nZ4ml+**٩mb jOP:|/c.K҅k1%pKe ?:4J3 *Jؠr>\XMR|cl/:j|ZU1b)w,iUJ>J!(cY6QG(Mh E oYez1ߕ{eo81N^x4JRх& _uk Ǫs҃k\axL=K W ThJ \sd=kW%f;PʫDָNJ+#tѡwՕr A < -_kuGM(TgΖhni^0@nV<ڵP*x4uF̈Ga'yՂ(5L L@@ؿ^~6@D11_[=1KI[v1`i4h1TMuiR9/9=P-Xqmz0XDd\̳2!ߣf]`e3)\-,/PV:MYv9?|0)8WH{@4v2qóꭇNrE?P-zV%ex͏۔Tn+T5rraQ%DpLV&HIfmP5نة1%GZ#f\4|muIkW Vj/aʢ;DɹCb.#ʡˎW5܍4)%M[vP ɥxses޺Zz/ F\ Est3qb0)i h#56ZTs/ /g䱑UdO u[HLM՚hrYu<^p!Se]n^rgb ۊe6>aI޶&&1-$2\XH#/W83s"E6gr<9?cP!z䆛]ߺw[z+?DhR9oᛔRb'WrgA^)jcN @&.D!nQS Nד@lU~(/?PPnlMzLCdKf7LHT2AOKƓ0 |W;^QQ5^qYqAo4w\'p݁9G٪]}9V g ǟZ@FO`=tVK%oBV苓(MbʟwK+q?)*9 7!I1xڰVy-[$őh1KO6eָ,? ;1쎝ߎfA`1 x`zBF_ݱ\YϑƱ,]LEs6HyU[sis((-VUsAj(z.pl>7( L[B)l)Ɛ"*$5Āȳ{6#M xkݸE-6px&f| j,>ChÛʉf{ _mcB CK`gwz}v*G}(GIJGK[YRp,!i%*[^ŀ{%P'\yT^ <jCEi7"# !w8Efs^-8THS3(2ԧʴ9!"Uf 1$7mzm.A*3}o?ՏX1%Ikc:iNi&۟/{ 1 Cʩi.e侐FhdM[ftVZ|-%՜2@O.i@))'QƸ>-i sj>W$SS̳QY cKJ#9:Ux)6$Ra{̉Qt OǁyUཅP&pu5UYAl =,7X r1T!cV ZD/xȳNCA@_|f !HWnI[o - `L],uͅz(76WU<[W6+^o!,) Ͳ<iODv [7n=Za|IqBX]Au==%e6P;Ț/R8vRȤh,FDַLYu )p(`N-{_JS䜕 촲#ZҭG=&tjP~ jxomSk˛8nҭLDM&@dž ",^$9hljP Vo'O-,$^EˑSxQ"V;E )HTG~=|0tXƛzMwzBs8԰|_9 @U5 @G:E] HCB_i{ Gt5"fWt๳[fSr;10}Pxdgt:/|o;pO mf%HDTMvB]G9U%\:\LĪPd nېl&&6(Y;]pq&j_SBn,PAd&4%4i$.+4+(`ldht{+€_G>1h)ı =I.ҮS؜+T:}zǝ6i 3&w/@܍ g:+KcQ9@Ht})ն/ Ẅ́޽×[S(% n}j#hC!MyX.ɲ`'|OYcфFO`ۈ$M\Rә b=9,<[4_>=u*WwBdwF( 1Nu}&MIw)71;l~sg^R2KD?MZ(.P73r".XKӅ> ݛ_A}.8з~ucAcڙ~x% WNrSĆ y\n1?exbE~?ոlPWraph[֤h9ۢ>?-XZ-,,druk*!3Hɯ@c/jQgQ62at\xZAD;_.Ř|*^GGy8V&N!Ř[&Z2cM 66^-m] VLC^+uq\ |]ތFTtUJX+' #傥xC4w 𱦢Ѯd`Q\İ,.2Yã-Ic ܌Ib/y`xj=U *l qKZ+^B,g g?@^X?PorT PBIiw<)&]uҠ4)(ԑuҰſ,}%qo)uZt~B>̚h"˻S]}>]Ӓ1lBic8#ŧ ّsj{pj&!8#6 }k Pdf%sh"c|xeNox &" }MxX/t$Z R*ʴOs`ոY9G xDX@@H CQOP4ZL, OS,޽˒OV%?%IZ_t?jƴ~XOj ={u5MM $HHP3lTץS@^K|Wn*CFi; ݳ=%u홷6^d+2GdIMhxcs3;6_FeQٟb{9Bi҆>[ oDR{'e\8F: ԗʙZRM)$ v xl(*Xʱb% _n0pNvqܲ;tFtHm-e=$ҍq f )\~Yqf · *>WWbW ^~xcg-CƖ*hM/6=oKs ,I\ES<}H "[@<5 YϙʝCf(.4ԡ1=z*C9y"7ϓ44^zuB!qo30B'] 84t%~h(HO}jYwQ&״1SOk7s"][h_%*lbV'FN9b7i^),mQ&hmzP0!O@ᆬ;eH`n#f&_r-&,%Dl6)uF:@ -n1u^w+4-RYi'$u+h+-v'lRXCh0:{XG!!C -,1^}Ie224\t> fʝ  v >Ix_h.qx.Fk3BQwXL%܁9B@&q[uo"4_!-<7^Qh^DRqΥImwA*_hl=o EsN@ :B\9t)TF6 #o7X,\>{a{":*<9i~\0YWύz.y8;b`W 'QR O) S-EP[R"W)3܎2h624z5^^  TXA|ADjjUE$r&Uo&ŊDϋM'n;J|0 miz1bT]$#rgvǠ"X&%gN*vC+Ȟ?k%_MHB |X\Bƣt}%?9I9X:)/լS*|8ot nzqSl6SUP̚ fVI^H͉=mXwz=XU6@VrYj.C; Z=E[3qb@*ݜKYsؔv`D)\3Ԗ%}7lT)՛r3cxbyf iVdeѾOTMV*iX|csȐ/!y1J<^/m74y(PšgۛeRpAxC!4NMU;\K+TvT@a)*d~ Z4R[DZb>N9H4 +ǎolt[egr%ߍֵwbKA2"[!}AH$?~I.:r'$/{Y:p2>AIH~$6y5a \= PhvFlYl.rkˀƳzN\T.$ ̪Z v.NT/<@.5;Ւi3O7zʟ@H^zSmFSGL"M}fcbʱݿ8*Dz(PYfFP\=io=,+4`]jyn-],?Z^9L-(R>۷2-[}hwR[&CxdL**@ӌ9mD Cv6/+32Ƚ;8& ?HL86 e*} EXPCY13ސNxiд[>YPg9B{a9wξZ>91,j2kXq[ m$pmw.qW>C6@jtW#S^~î~7 뇐T,P+<+B&Zn6^2 mD˖o.x zp@sW4y(A[ E\9'8nPeN=@WQ0x&THV`p0Bns1"`>vkL9{V@&Op;dCw;hk~GP- jF(D3{ @M) iC0"]iK8Й|V 4~ˢsl 7o(Sõ/|DZTiRn/JfctLMҹot*2SC+@h9qW ҮeC-A)5Z݄Vv5aD'^R0!MR_B(8bN:H5c~p066Fv`IPesO/܏>ЀZH>f+ F5R@y*G;ScxzF:s pN Ԥ\dS+)D'l,Q TyVOw>&qwjo/KA&h ۧI-FG$՝`80x7A7N^'SV3zB~N0Goo$f:J0 aP\%3Ck0mE(pw񄮳'[ozl>04SEh5d!(aF4BD5s&<"~;EDGJ< sLny#\x6ӮJ[T~+:l(XYw"4{&<鸢UX˼obΈYLHa#D?$0^;.}&@{t$~Ɨraa/^HHPW"g!@i+PQK'YJFgvUP&ԝcULIWSRW8~c*cS|D8j$[{-"wX AR*,,Fv_da~E!VO'z+c+}P {R뼸ic9ZJ-OaqG_~DsDmΓӌ=P0).@@_G@r&ǝUbRo9 s?T.䭭H|hln V# I|ͅW: gZ_@)B;>rVUcFLUI-Ѕ=oCHAAoBPd,<д2!#{flqp`2A(C? ~+Tr)vehKuɃگ\D2᜽嫗lf(-uRd!T'g#PZ˰~3|$Y&4m9:\ŒMkΆEB)TvLŝCڍ6㠕|J@9Nw,Vʰ =PKtǯ _:Y".(LX<^{FL%\밫t*=yJ*v Wo*9qx{BYx"? 衯T]ܭb+}#BE\=SO@qcE(U(6'ۋ'_(a8Mq.I] ;#>˂76̄=S۠3_c{EK*$]s&-3wM gL ] t[OvuQ?iqV(K[v97=I{]~/U?_?jxpq'M-# ?zIuVC̥Q펒S+u,)G8?zG gg-,_}hNE?,x߸|ylqOٚ/Q.cQ5lhs$QZR.J"11;6lʨۿϒ4Y -{Cd@ R 8h#x-'XASI wfJ.{ ӏR}hOOe}}|fW2/ u¿RLrՁ* F*XdDsZzO~1k55'gfs_SR5n~Uw"j=^߱}S|\;WjB!< 6Ϊ\P2`9Ր ;2rg$ qM{x^|-'2&Acqw,Q=bZt&PU*Ji_ya %DfC}gs %|:3/)񜩀\8EG=d۷gZbK)#s>|v2 tg! 32V[^S{TO@>ĪĬk~l=}dՖ2oeA񤙼Ks, uNʓIcm`D@aaVu3]n ߹BSYp썶QXQ!׵AaR4ۼ'k~K2 1ui쟂wǖ wj'zL䴲'?dӃЋ0+ZO4fd3#80OUCnGY5SB=cN\)IiDd-]!GiS8W˚'hh̴ /ѳ>b8`p>snt moX^|H2L0}ظ}Gx5sP5;Ks>GTchb-#py{tCro^ HGrZcFd.{.b}YQ}}p낅-`J  (4+ӭٹ>uX},憫nbݥwJ rų[~[l8n Ksl\&/mR$)Gb @ɶAY(\^^֛y>$1[^G.UŢf*EU2zA/݅W鬗~뵶awdp)ѱ79\[%E*XF|zkz=εLcW‹Q%ܘnF[8Y!x;a/SߙAChMFcb ަu1nj;..}ϔjv5fo{a"򃓴iXW[@Z_; lp,>;9G3C޷&]CY mQ(TtPkRD>ׯw[qA@9f=1mI jXBjP  PXA׈]9R RŒep)Ǣ!KMfH)Ȓ `*|fLi[W-Q:\0p·.-H~\C?:Y1AA'; |P܋ţ:[4xpݲۃq|@ɞ^-6 1q%꫺\+ߺ9{w䑃0|f\РРv Oamp0%S\f(fA7%^NQQ/%}O3=Wo„K[Daߝ[ \6q6$yڎ5QY(\uA黧6ي&20;(z͵{%sx4F2;}\+E6{m 6X9"Emx^X66Z3J]B"嶊~ڈ͕T3hP dF`BatOϥ 7&yw-P{W6KԿ-0$:>R%H@#*-u=[}]n)r8ּhP8# FT-V݌.@V/aT#owLS 4at^w>KКjDy@\Im APCTQ GRyV=3{B7dx4gu[p7'9DB42#n5Ct-4?g2Ck͵"Z_i>Уk1r6}N|\'NGy"3iUAǽ9aÅ8ɉ,zh7ӟsx7,Þ4L9l 6w=Y~x&x[zZmRxs}h}pb3]n#XK  i{Mb̋eX,i cR9kAnr ^g| ? EbH9|vk AecٌwY50lTpQ~Id+T7;@_m; ye4)$gL +arCbpS DtH*=/k [18rqfoTe$03x0KxUWι;dӞxAӠkJo֛٪СP8-ôqޚ4d'8IBA"]gzcx2gH8LzP={IѼG/83B VKd<NepRpgXOp;B/}a^;L^ ۺSt֥Zvn+FfXtnkxp)Y2- ͯ|@妛bX1VëkƄ)pt2#\r+ex(¥eTԘ W?Q*|%@HRI>v77 Q]SjEJ,YELԅk$]-a$h6VA`V !,='] y;8:Lv#G 3P19`wK.R#^"r):z[dݎ şeOsf0<"h=MC#Sb8T9Igr볚:w/2wGꏋ`]/=ە8HE}xȪ-j'QQJW 7|]3k Ձa^V?Yp_9!4hBoԽͯyZYi>*b?A|w>|0;٨1'P΁V t# V'>ҮP۶QQSK@ڗ'i/_ؔtnPӘ(dlf exo© 8ry$V+BHW]bә|~k_4p-ІWbd?GUW߲c.()F 40[cs{sД7N;4W1BUm>;bf*SK=+혿^" /nV4'>tO ꁝDULp@`Glx#ܸ#SHHwf-M~ ϿT'/d/=ȑ;' 7L_[ V$hxõZK* gnZɇQIz@O3p=~ٕ-ӎʃMWHSʔ p䆥+Od#Pr{uRbQK)lu^S-}N>]?i _ߝDp'K 6 ? VQtdན7[&-4G .7Hs w:W _K"纸[ĵ-_H'yoio$If !`=MVfݡoj SuYAzqP;"Li).o)@ htf:Fk|fRv^JZxS–cylvNxiC"WS.k,H,?kbwE_dұ Ka^wQYKg8@AvSڢi&f{rim!&,xX@ǧxl#J\\-.[P(qp| "Fo=%Nu᠇B.~z?YdsjNNӘ#FȕR.E|Kuנ7Z¨>I(w=l<:^ݏ}-'qb)VyxK4M ^BMS:vo.MG8:@:zi4v#9y>ϛ6YE-Ld: w*kfwXyp]?=ۯJT|ݗͣMMƈ/"}#Pq Ty+3;s߿Tw" $'O5I0dL4 -y,D ^B1SHq=FACv[%day Cz$x5wFDF8"ś8^JB}2Z'PnEsp N`T?ZGUelz :{fm؋za|lJ)$@ +5FyjX]־} !(gCY;^#wJydftjB.qxF;/ǼC8O&j  a6<=I^09Z{<(3"M\ӣD}{Q{"z?W jV]5+2ZyHʟk[ jq,zdpihBuj2jH h2(+ IKSoM@'R͌;AEosc0Vf4ldVO4$٭$hK@\.GrkyC9$!,mF;oNF*[>:x@yID+"󡀰ԥ#t"&>ߦKW=ؐhцڻ\vT=UiSH7 E|$Hj@bNw`ҡqՃyx\K[:aOސRi|ᧅ9)Hr?G cfNbEл[LoˆcsUrۂ9h񂈰 ;^kƏT|mbaӤtubzb>m?Qr%Z]$宙ʀKV9'E `SfJ"0g;?D "_-ӈ ^NcY"ힵN$꡵V^#Jlj'tIFnXCH ,ĵ:WꔿLR%hOPÀ8Xodu [je7.)`ئ`w&2!qAD W8.{ {i> [6 g.v-Ue++Y>ggjz]t?uJ]n4帴فO[ ϧ zɺBr\E!U07j:jrq2o16}t!\d!\jks+FR2ӄ|!' ?8@{ /n'46.Z'M%/jc$Wl]Eʅ2%g{4X ::h3JoeLXis\5/# zgf"&]6^Є̝ΪMQ'%. YniqTtmNzńѪO Ǯ?Mxbzz\7kPrTgJHL"JNc5L%Bh \JAqFVd> JmY޿mtT8ld[]- ok^@ VLJ Vڹc'jJ`|gDDj3Wfиcj_dxxٍ`t"BVVC9t`^87ڵohijS&ȟ 铐BXMY`)6!f-tIGpg?K:չ-f5cN|~ȣ1aW:\,F%H,4Fw:g D:NML 6,e/,.UYmÞuY(ix]5VJt"$|lbI0!X *Lk ߷*4qIzbc) j >])OTOkK ,~7'k"NŦ'4O/.91nGc06Cڪ8W?+~⺪$4xݔr<0p '!.>d|D"umFu4/@7Cd36*UW{jL͛Fquw^]qb} ]{%k(Il UtnYB'T x{DRUalxӠmϏ$$+m&CD8Lc ͔wkIl>`](o"{H3ɝ0 k~6c3yv|bgχ87 1p>RTbdJ=gs|=g&$/\N"7gt)R˘kFdȜ*2L{8w_ځ5kJʜu̢EtVYgR\r'Ez?G_2R7DX'7'z[c{{ mXoj!tւ)0  D5s"by{$\9+U*TBFO+m#LpR3v-.;~Ey~Cl1~<8k^uMƙeblY%0n/BU;mư"k1LeÁLQD4UY ? FF79;l2ɼԝ`cS6/չ/]vq|zYTI'*!q G\ bV4 5H*eaNXX:rk)# +3(s փVQ1^F%˕c,A*Dn @P i14= }X ka#0 O=fV-V0)]U*-*A|P [D }}XBWAieBԫ|CAe=A}wq۵AyEQ"h?6l6>9@8ڢzs /uevEqgxgU^-ᨨq7 i0 aL]*8Tt=8g|]-]Tj8+u)uPm|GߴG6G伊FTʽ@m{@@!D}Fe&`虊g~e=E`X"317x/mc2]S&=:)r!bi$-eҬr8OƉKGr[(TúHTOB}=:Hpu 8C#qnETQϫIr+ke+`,WsYO=]} H+ rO7 re6_*D7Y#ҷЁLj0v;>ٌR'$ɱsגA'ԍ R=`P ";~\`lf]h5(:߆" ZH, wvrN0/DX#}7$y& A7Ks}_P5T8҃b@Nn[MD e3%xyV.T,]xf6gv~b=\m:DGޣ @TjK;{sHC%7&u!+5uH%rK>-gGY97ҿFYd ՛p] X+lK 32^Jhzz댟/ۚ@zlMƗoqO`q``onC c:-uٔ;>XB~ꞪS5i0Smߞ*ό4M /i7U HI БXum]V5G3۲Rո*\ab @LD"q3BD|Hi"?|PөfGo}dyY+r^`̠z  :LoGy5CF7!H05^nUAg}9 ZQr#9ބJa]^˺@+eg+ HB{:Wl,9tIx'јA/}8 ]-B/1/QH6n j{i_ 2hicv?Xl7h}myO8o=EOv㽎|4NnG7-ft,8wOf89 Tn@0埌UQur`G#$ȝ*IxI3`ģ7)ɘX!;J4d]S֜#s?2t$I5Xb/dV+FXz?i>y}x%Q+-KMX3뼢ۗ`Ҥ#ѓsvjaM6jOР 锓OHmo)]xv} lεD)lK0)ph NG,SKdЌAf79[[vmV3~=#ǟZ΢˥d)QE"< 9uz+hHv򐰉1u, |x/w2gݲK!svS:@Cs*ф˵ `CF>(},_i Ńb~PgElҊgM$dP9!b/_?h1 VFMor4c6kOlY;iO :rFe&xEf~;ɚnQ"J1 ֒ơng U W>=(Y*}!ڨNSkVqǡSv-IN.0_E<:O/z HwFKK}TNqÐ6[kCXnE$7(j8j!ۇO},|yB">ݢeowܞ T(9ֶ ۱@pdVITlban:Lj܁G ѥqM6Pǚ,:ƠgQTj=; n Xo.[D`|o#Odvb&$]D3˜號YVa.Y pOiǎ|#ֺpu |mzGNADB"1cC2i>MXkP ԤJm:;YU3(0x];4-"fٴ5ir{-~Zl;VN@&FuUigoOL:~,L;Ė_zpJg+zIDd GҶsl;e~A.#j U Rq:/F{Y3dfi+,+(niႸF:\Ԯ#uPTE7)C {^+jjQha_+-](P̷g)50P%z< jz2_]+ W|KA2N}_|aUЧ'$W`=5̾fy)I`8%\oCv;Bn~풮&m{[%clu4nNc׏>G.9N$NDƜBHPP#i$S| G׈<K}hf !h[0V l>F3;ӔIӣ;·D@~{IF`޲ Llyb;[E<2ڃĝZvcBZ5fx6ZDCrL8kR:&F<9eLlKJ> `f>시0N] ]znfػ&pn5# [b`8+Xm߬εl0;KhFcԉtW]U$!u'UJ7 DjeIR#C1yU z|MpY`/tʦ>ƹYSGup۸Wu(,G8mėuʠYˮ2$OeZCw3[R'C0_R H-阉ьg:h}6?gJ) h#dz5};4L7@fQ;q=gcZ/ΩIs^77KYY>[ Mi'4$nvX'bjDeV.$a&z*:J6vۊE'Y;N<%$<ה0j o~G-4@1em9/.2wB[gEXqKR P:?00H}ؿiĔܫRk\U%l'7 ҘV͘ݲEQ/wp'$I%3A{]qV9pS ab qKTYg "TI9qa ^R-|%4wN0_QӉv4pĎ/ُ81-G9u#BLtj㴘Y`Y|5wϭ6da>_YpO@Klror 8{nREɔwOP,5MΏoOZT12I_}@ݳef -h_^mdux"KU_{ԧ[}5gyJGEGhV1ʈU$FK'_q609.J6,LKו$f̈eT{Og o:9wEeJ{ד[ǍY(j9NNpòBx Q1N)0O$[c he`붆m8B (꒘*HLS=f.Ԙ8D07lAnsf1~#;*3WQVC.ζ1y> u* =t҅HJcDžf[}S_ÖϠVE Q a# j@Ҽ>IMBgb"8/2 dÈ T%n$Z:ᨲdS3"U܅HbI*33UOuSx*rPd?tg`Smݷ' J/.+h՘7Oe6%8Uf$ʢ;;{EФ&a(I 5³Yq HoOk   1[O*o#uHhor7jjKQiWy[4(}6N0=㇌%D+xm 6.罽uʶ:%]\B0T!x1NM$}D4pL*8z1+'}FTr&Oc5!C ~&;D׸en_u:JNJ0|薺a+5$$W;Ua!tehsr>44`'!t8PVZv4]]F$~gV.(S>`f߃ZH;.L }=@b`X3[%^Wa-y|?"_+o PAa="gU=+,F$`0|t:b}d(Q~C$ a645PszmgYZ65b6a054a34dc8bdef377f66615b4f9c609311a02de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f65275a034055475c1524617ef86d143ce37c823ff7a