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 ssi-$\D ]% HOL-ODE-Examples:threads=4elapsed=573.132cpu=1622.828gc=7.412factor=2.837zXZִF! 4* ]ŗXf[&}k%j}$d_ 5gKyTjd5X:R6>DtU7_,ϥc18.߻L w8iUZXu #](4k"K}<-xxrЈ[XA<HpD+"xl[{S`Nh|f\Dw^9pahG} li h,2~ZkaeP(pseA{%-/ ! N[W}ۣIk򮇂0] *$;2zc1D*RZ^,vK*PuV=dieJE+͢a\b-YgcUl.F a=_9j֏S4Gj D[Z̊q+S:GǛ m 4r(4&,_ZMY;?l 2,:hڱgYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+#wQdO+Q`UȨ|_Z,\SlԺu-'?=A8~"AWֵ_a^EG.ON^,[Z+^ @aqEk܄gYZ7zXZִF! x]ŗXi%B(!g*jWY<i|muq'L6<kpjg9"'ړs-:|bH;+hPgAsQ&^nb+B*V*ċdK9lSR#/nu>l]9 kEIl,y+# w֨[1?`U\ײ RΣXJAިi95Z΄X+̎Er[;;j,56@w@SdTH0K*\]`'XǓBĵ 5Vv~ 0efUn EyW3;|x/9d$$Y/>gLc* X}L(ArlqT ND1ر6XhcKJS5IK=t;XbUصaDQ{m6Yꌄ]kOnq^[\ZhZ$w^N{ iBPKʌ 3\]g_,^E?EvFy|N7Jv`M߮aRrp-ENR-OelW?1 uCw`5^f[Π\Y~C{Q~%\B]7NIJy2ÕYz~!T;#uvpcp '7Xr~ǣ2hTW$gCJlf9䒭Q+b!} 5ks]BH&!,U=@*9&l'%-'(vެ8$mk\ rG +)foNVXg~k|OXۄBP%CEKۣzeJ0AcږO`90r*`duע +7 HH\/8L qcc3Hs̺-9{b?lr϶9WIIbk߫="Z|L%@L O}k3YA%246d1!f6sj+o & Jj#%5Y4_ꦈF#i.!r\ڧ:2\dͦ3~N &ظ; VC&<'W\c>W?@h,&S]6Hf-qv]ZdvqFx>㭅˪= F5N,^l؉R *nӥU熗)=GI]ɪ[7FW>L ۧK(Bn(mXluBܣ6k1ohZ3@v*ՕUĕM˯KV>@RPJt*qУBћJ@M6OX5 zPԛ: gnzYQW =B6_fkWm,2&%UBs2 p] 2;2!ܿ Vw''""js&Qٽd˵"Ǎ 2^aNo0C0n=~zv?qd2} Bao'V=B~&uv0Lc 7?5Z& JBk%լ+-p|201G cC`-VT;"˞YNJr֛>Ti [rI# WB;(liֶefeԇԴy~th\R&|`2Eae<%L$4}@Pur,=lLG6v ӊ^4|p]^T. lX4KC;! |Ÿ$NОiׁ0f.M<ߨ5N0'e#Ct U.w?¹{ׇk?ʶ}wkHwEH*)8Vq;#1sv4Vx4Q%rt)c-R:آH٬FAy{܇\͜.]sׇQG,Oe۔SpTM}۸_ xR{s_7]q{x_(he-0ŽHR7< aYSa%", >1Ϫw J ݛ^I*z?v/jUe³J6 :Sd20s,.6x<+v,oY4*p}l4b-uG깎IoL^,aa`9*f:7ħ;գR|J8ϴC/jnL+ k+ 0-0%ܘ8d-~6(.o|wm8>:((n$n )%sklN1QJHuo mU{X";bh)0Z&ppA]8JTn8.ҳY3?Dư8OވxJr ϝz59w`QdbV~3|(dީa{Cnu{*) e]*6}]ȗ bqMd0`6ȼ/tB 2|Lj2Z5V$ *gҜ̬9}6)fSǎN4j*; iaoH`W9$-3JU,J5"hPoWܼΞF3z y)Uu_&`udoQhŠ"Bo󙷭NDE4!SpzT]_LVճ8ᦢ9哏t>o_ȤZ<, w^b$>Z#*O*4'㤁(@:z{ B $7Y~S1o8_FyBJ\qEeݱisjUw y յau8i V_ɞ}/&s;,+o-.;@U7nF'A5,KҬAs(]/iĚ#..ao߾@iH@p.BWP%!sVԘY`8ҟnߤF98O?ݘ5Q`].2=\w)gx{g45g*nєMMu רs YI&b xrNlm1Jo}!w1~O4{6RrivKmON4mԝR@usr`oh'vOɄ[eoj kqu-ט9jp x~ZH à F8XwTɇ4bZüoKF_ζ>]rVl{G=( xpRAI1_r%wP@}2A/eNA7oxZCH[RD )[LLB45PNj4T` Q(m~ /#g21Ԑ@♀~<+sipP _eN.A\npC>/C֧ `O2i^:/59Ipvi ?d%(>\h9gAeZ;% Dz2@gْlɕHH^:z,?xjnp)Yf#љw‚Q8 yFb d^S+&`"룥HVDPpe,YR]f/Ԝx|ӽ/B\\ }0,=4q8i69uv uIfVvjb`2p |AjxE>B+65mI:\ ɿ \Ze (#Bʊ7D/8c\hiׇ6qG-QA[OՍnx][ɠi&["Mތi`Mvlxtyp::y%tBHިr3C`0Lbvt%F .n:qܹE+Pik؀ԼzFR6Va˪b?"MjJᴪ_A 5dBW|$Wumhd Bg.sDH ߲G)9)AN% < ֜Iݮ*kB檜J>ْ#Tahޭ˥QџȻ:Nd@A;t j).%;y9ވ\Y@ðwS’BŵE.p2iNG11ȶ.J-o_.uT|xZ`;rszE` 2\~HDǭ-}'/e>[qQ6#\]zI?1$I6FDs+Ҙ\106;BÈꑥlZ!<KWvA0_,J /R3ZzQ6 t[kjeI/ KX:S_u:@ڐMgk2*BH\t@bd2zM6z >Q[BDKJΣ xW{)]O vJgPL9dPHFopyz]ᗭ#@\I͏ Z>ٌҙ>$M+a^r Fw'{7lRd+aڥn >kM WG8O;%iY$dxN@*P~ǶD?/1(#X塦%Ta ѧߙ>1g[), +~Svt&9x:> g(N* 7i*_o`u˝7#w_/ EF}O%߶~RV} l^OQqJq:׊1X3b²_^q I"tg^EL 䠷IDd)sikmv1"U#kB |R-яw^%8˅w S2AA(?k-(D:T X$3' >R6nhX";f&zkyBܖWASnط]M;Fi!s1ɽᥐ ʯOV _ mӧ,SԢb,bUzM;Bڈ^rwG2DYYb3X<&b 9p"'@ӪM}+YԒsZ =8\|}9cz( aLb#gX+)#=M25;zq'AFtAHۙx@י]!Y8"Z.^*Ig~,m4h8]uq6n!~Qj[)Z)?A44lR[ Q5ꌹI16 ?< Hd77h=]*ٱF1}. ֖{Ks>h"Pk-{Q#(]gXMY7 \tWh(c2.}lfuGގP`_8FiL%乙93nP |+$MTusշ)9ٵ|Ŝl)?F7}klGILX;)kL<' P ᜬvP'S0r]5SR?f;!u*ۅSGF*M9K͑ve@5@cָy ?XNXԖcxG';p"Fz ǗYaC4 {6/JyU£Ug=N"V";0L[^W?UA_ }@T\* ?QN [&?1(J}h<ԲoA7i u%\Τ\b0.gDv%:7~ZԴ"u@GF婭dݨzȂz^gTMMllW)F^do0I)I|n Ao?jXWebspaa\cRf[RQ5<˂rx l2%GE_l*;Q1ů^3Щij=9@5 -(v&E:V_.`v U{0pv'P۠+17󱨌5!9e)߻Nd@GѼ"w WJK"T ,4x+ofHKW0ڠ)kD* 5v+Mp@ђE";A/ϡ=r ~6U-;:+Lnp镦*/1BC*3Vw3Dl_3/ @?*|R6jj*<)HCIL#h~qQ9ck]3=BJi趝7A|Մ4ql gLE U0"XLE<$C8 VD!t=Qg:1%KʪLwǚ7pqc b~$j&# KTO |U*9ed 7OYidHzM}}7ra H}Ha}҈qt3#-mS F eA+S4甈x΋LlxA- e3V^ 1HV'.*s$:s 2t'P܆?jdۏTAŞ`悊 ,2I0~E&/:+8t14#wAN~vzNwES$˙tqHl3nyLRrZBȾ]bGd\=G:oo |jFeV+z,bz=/7}?emI,:&.0I8eyP!U`YtYAFGc<)D;qyW@MI7|oݡ}ڨ9#Ww k"^UΜ3jvݥyRq,u͈.Aaٗ}0U#S#ʴI# XRx*Ueg-{ORJl%֝\ƃ jv"|ڧ*J%gY^d6%0SUiX0Η6Djǎ2F {K|hW .'%2TZ'wJy8rNJ*tHR-/PQ5n/޼Ag{ܑB=%B+눌Gu8>K˷+W^O#wnf"C7̎WWBw?ٶY~~@x,蹰hzv S 9 ^ }#a[X!~@}ICͮx0ôZT8m)NVdwEu|$5[P?d;}yȊ zdŨID zxPViQQu,Y2 ̱>қSsgFJ݁鄽YFG/׳Rñ] )ʇWC5_2bK{Jikoٚ}VaVpMFg՚sxǬ [wMdooFn㉏Җㄮ=6I*#=P.̡\ӌD:LIHJfZW+3kĵ6b4LH*b8-,Es8w(Ll@!J>Mg[fx,Xx@(,w պ.@en{eRGFw2GJd 2 )w?i?/ rd#q68\ZΥ/î4WbiD4 \n>5e1&2 i\UhM'[p}^>g`?{L&4Mko`ڌ5af >W9 ֎PBntfd?$y`+ @/fy ?Ĵ 2+(2P?IV7#[%=["FmܱGǼ0eb p<4uߝ:е @Z[n_LsC=-JR.yЄWf:R=f{u]{zҾҽQO$! .0Ę`+ 8`c л2Ȼ`DC@CK8[khËy#-Ϡu`vbrJ^>I,$͜ R2M3*\t@)usWT{. x%r5n5,ºǔ,ڔGwаǤ{4"<+s3 һ*qVEwQ;EL!aVH_j( ~iNT xPSb`6N e{X5zɗ!d(KO͜ u*=$`g.S i:Sx=C/a+HTf^WG}oI|w1.iWGelv"TĒ˷E|wy;1vB,Vw%JW1uK'Z痽)ݦ )]HI7V>+0]~Aٟ7uԸ9ߺ.(ߖdߦP*Jӟ9XP}˽VYě~~ 'Z_/t7crA 7 `v3ͶWPHn& \M|z,=*kjVA8|K }x+bVg-z?RFT\~ag>6[fPް1@w'90=}%=S$<5w62lǶr'۲.X M}7V~>ྰL@2jA_ 0"aΰZctWP7. . V! w!&^TJe藈t(qO8u4 yڝ㤂rb<;mf==|o.0kfNB7N![.{,y2«>cselW㛊uME R /L%NXY`vӋz&Q}St7"lt4[(bHԶޅ\q N>Ll.bjӄaSNNǔa_ٍ]r5䡋so$ 6%у @~jV_3_S3pþ~娪o0ޝlNJ!_<=!87@%iޮRnW5+S6DAbV˞")f"[ Q7* aӆP ocUgx dPBhx4MNITc9@v+1ٱ .qlU oT,4SȬ6OS-I/6LV ^j>D7x _dS!V5x]NҾL}@ 9E@"I8>U2)[/l3o!-D+a#b[g+$EZl|+cL޳ 7IȾ}JYX`κԦL1IZK74]<"¯eEkuz 鐦ZdчNOoe@erZTQst8v_) dE* F%5*vuKgFXA"K䨵KcHO$}~u0A#WMFa>Ÿ5 ؾ(璗m+IS (PIK'8xmr-c;k6Q!UxgKf8n&EC"u4JyZ/gLDf m*C:_zgmb*h`فP\#!tdMRG_ G qINEŻD.Ň>>.NMiK.טytk!xY@+i9YIpP01C]1^(*N{I3a!*i V(% '|q%\rHr3,%^J^-TZłQh}cTO0Qʅc€XLMdBZnh>0c!M$Veu2m8w%+ų.wr.츦{x6PijwI%cCDkwsԹ}TNBhKvJ^P{PL'UkU.nj` XDe'-~])dxt/([=]h+phhbS3N~!,R7\ª9aHe[> 2@ⳫO/Ǻz ?ޮ뭡äqG{"d{_AubQpH{$&-tI_L}0f1t86L13=(r>8|#$؁mT7&؊Zα}z 6sDh2ﰔ7//ƽ` .l 3Ga 58WC4wl֮nin"V:&7$Ba`mgӽEV^S"hjp܅gOjgv JO@")Kz%8P&xlENgsމ59}lɼ9+|RI70bigp]J ǀY&M$˘[Wx2s.}0GбpJđYGwv! -ģh}kDyphTDy0m=C 6}5CbDT}Vm5#c[^/iV& ZSM Qe2% "CW&[a(7.+l%r`x) =^H0L{p%B>|ڤƾ&Eo I6KyQ (ڪ'@9]k=#ݓ[ZraH*v-1[ A=Կx/eRns"8bCAP.0ԌbmrL =.Ӏ6o:Բ049;tgJ0zUl2b Z9@8fд1, āc'S\08$5-"O1)JH_׹MzGm5L"U;uJ~4YCč{i%j4@mY]Oe*Ms>̊ $L9%F>^㍏kpdgrJ > H+ΐl)H]cpp^t-΅|3ųZQ^ab0p.GPtkmd'@L5jy~ r~.S6@+ڤ ZZgz 9H:MH}`}CIR8d(G.XBCcν6yKPAlihaپKF_ӓP !/==(uQ)GPLf PI-3!F|:^jB-mjZy9hhu E5nPY˯$٫w X;}x* `Z fg2 ! Ztk;K>wx7j{\QqV" "n촮4Dx̴vGi .s~CbPx"aaѲ]d/)˫*F?ěSȈnxFԝHܺΚ!|$Lm1 0X='lk4kz$x۩ɹezKp&ꌍ?F^^DL?Рظ5g{t@)XӨҽ?1s P:`J8iV7$C^JB< }V)RsnT; 0::y t2V lj%Ұ)8JUⷋmj䒎7j<>!tPe$&Շ!qV_({Wp+c$q+Ɉel~D@5TЦQf||lkno8@Ӻ=r:dK2jK@i>oy:SW6m5઩uB9WMF+,j^XLN*p+G|?5)TGExgv dҤG%tH`s7{YF)SItɩaRcC c|]0`IL6%؅) 9NA+s"ma ٻ]>S& Ox]@G>C,#9VC?`k+`S0+49.j3uLo.㺓^?N\< G:Xu"m&z kBi(Ov>w]?w+.j/H{qUD0;q$"5S/U˿Y]E\pIXQm7~u\e B ldI̐/.Ł؇En{ M`P=;ĥ*Z ߍyb&qԸmpIѣ3؂b5vҪD/Wt02ESU! gkf k_Ѓ=h/|,b[64lJp:(sƃ:K [UŐ[l'ykk`43u%H:Hb-{UA<J[~eR(Lŏ'&mL<[cuW ca,2I{Zu B%V .'#Iф> ʯrCq`e`N9N|4r½9g3> 2RZҞh+WsBr) w]rE@4!L~$7#@~ڃ$xw"Y̐frn!q'*[QI2T W[{Xv3_DlIюBvGKȿdNN&N,oSA$M`/XhgҾϣ7˔i)`!*:P{܌Coxsj 1A+ 2A8bBjXN|%s5Sw7yW36}0GatѲ)`UӻEbo,J\q[ L(S?"xF:?(R&Tr^Cn.hU[mSPWv6g `0썽"e PҠǔxUzZ7S /Сa78( ^ *OCHLQh,sO?i>d$R"dB<|(eͥIi4M?:t?3*pݝØHaB n ]*M:Bv3gWz(VۤvfHxi9A5qNvE@TwEeVۄ]iB&֡Cn\ǜj)&}0+ֿNjnblq4Py4+DEYt`THֵӣJ fY.ܱ*׀9/ktS5&LHPO'% QtS ;(QpȪI_[@g1'buf_^s 4Hs&7/8yt[‰ \J,ʦp-?i͂6\ؔo Ujއv?r|5-!< ƫW\ ተߎUVY#] N*3+f  DK%[J9~Rv/+@!b(p4C"QTSWfpH+9w v]sΦ F>>Aora(D/H_ﲷGSVpJWhPiF:oj&@>kg|>P/ yUP7lZ(f>u:4|^뢰*wcB]4ZOp" Z|!+@J='ڦ$rg۷8g#(TB U_(<{[ԗ'+%5{XaEVvjeN0oر0$o`9gȞ`m'4ΥT&6EO]X;LUyV",ca֨2m*EwCS4ށ*ʮ#ײJF@*zG0R3=)kz9#`e;ӠR!EF:X̿62!&E#lK6oW+ui?P]ms1oAqF{TR:`OI-[gG#<} r? ^" Iu@ oI bo,4Ʒi[=D1,brJIlBmDJX%P>t4h'trĤUJ;(]G~K}ၔkiM䰟^7˗oeӴC]r4nnAhlԻ`fi_[!5>ꣁǥ֏;L˅%1wi*x;]05A7XNbT;@n"SJn4%n;clW 9w'JZ} E >*["U`?% 2kāNF~➊0Tn0\2/mtQ"դ7ǹfCDž*JܤۅK HC07B4=$O(`SbϤ+KԞ#ï2 ҧU`2EC`iR)4=a%dzŬ6X;Ф堚[Ӿ8Ā(G.pCl~;>7%%P+@  y_!'ٕ@j#Xo ѓ\L'ҟuPg7Ť<.KfXjV\J=*91L%7nB><a;ۏ ?.¶xnֿp: g')Yosi{kC*TmbY~b1=C'-6ZsozyX' HO.X~pŌUMԍ 85$ݱIC榪>]c,DB?I6FaO:k?įz3sowݑޮnOؐ'Ia p3łk }!'.(݄XԸ/ESD2V ?7seR&D5{qt-մB.Z?\IspfCV*W25gHFV(|n[dD&NӲk=*k+"O@NnagWx^}=(&erѲa0"sna,̲w+Q.;R<.Yg{ZO[21hsN$p!?=&e0ϟ}|pl.nBnVmC OUcpi}KN+))D?Ə s4dbR0(-thя pd $S1Ɖa_@J`2 #$2w)nFRx "6FR(i(fq%Bm$L͟ p[;n[Ш,YQ!HaK$Z/3Xa |Kw2:D`L58~ܠ^FJuE$wB(nulD`y+})T^-b"|{r2 E9A&vƬ녏uhU@X"+p&p/XBhYB j›[lt՚66SZDNL(1ϢF 9i0}Oȴ &Ion(|϶o)ơϦl1=G;"'{ЮD>'S3&P=*=S}ڠ~.EXclyǩT3۶:uwvw5722&DxίOZ! <2k#L L Vb{܏ZYcP?9Mg4He-f]w 0E4n(5hx!fYezus6oW*IϤ6>iL.~- ߵ l 5o+-@8;ar'u*DX9K}YH"+M c 0z)%,D!~'=Mӕ6?'D9zmkLfv0Y~r;C~b֙T7 TeIZѦ B䩪[)902=_jF2V0TJh9ߔ44fE]6U2L+&l "L4,1!->r|(]*)kH#Ɣ$HT%i/<`b8ſt"DG. Eǁ~]ǑDWߞs/XɡitʂjLsKD%TwWOSphSZ=sS'iaCq I[G xt[IYR^ˌ: =A,>X ٔ$o4/N$~m~_IT {Y1xT9OQ=yʺ?^ (w0޾n1ְpbCZipRGduA"e,'FEdL 47 [2򈉛`%g ?6dw|ÈmZ8AFHT~͋#fO׬xX{G;`B}_/!E| 0& _>iPAJ&7z?-)"t7~vy>eWKڧ,Tװq l.qďA([ WpCf妓 %E'Ci:ekCR|Kׁk 6[̞r0-F/\n)2# ƾ!𒂤UG=%v,fy{NMa&PS} Qr_~c4xgԖ=VYK|mLZWbi24;mtV9QtYTp|ǡp(8Vtife\-GHѽ]vߋP e.S,3,5c "׌_'5}'({Q oP1Pb88Ĉ)Sp'vdG2ӗȃ]ap#7}h -xHND| 䦳}{T,OH/[p66"kS38 z-8'YMQ3I/UEjdP%/Ӫ1-xVNYExGOohਖ'I.C!sAHňO% , 覞yS@(ם*šJ 8րIf1SYR}0$hk?C߆ M)H aF'{/Qo }6 U y-j;1 /@ǵZn禎{犡8dFsvnq|ッ^l۲g@6?D߿)Ƭ:C/2jׇUmI`̎i'Bj:?y& -:N/Q r7ҖJ#LÖ0|vt-{z&"JzxJ`J4bB7'Ps5?\C/|g%x\8R1G\0b 7r+g:(y@YBZ"3.b7\6fZE`+eX,Ua uaI(jMwĎӀwQ0_)4yWtz_st80O ;q F&t`>U!|WcN$Wr>G].Ҥ?_lūz#v=C-p-uD'+ k$鑓":P9L% ~L @ #u+o !u)1&;_yڧzdB3h,/z_Mp:5"^cϣk3Z854Oe?%Sxčmi.vKJ0Fxf &Z -c ׸W:\"*׊O%nFCUh ¤f AwiG=xc#_9Ia* Ch^D`hmςm FOt,t05]:ض Q~JׇQ8]GeXhk$Ơ䅵``ָ]P)&|(wɯ9>FDR*%.]KrpU"T5U6=Q "l6Jl=FZy=ۻfϹؗ? 3ݒLv]X֒;9Fm>8V]Jvc2O8[59TW 56mLa4IIBB)w7ݳ(SRW@D*T9. 彼zi!  ' >8Ŗ#֫י3K`J &Y.k9N~QĐ.S}բ3ұ?~$Y"vPʊ1Vr{3X省ĵAEFIN*y`uT N&⩯,5{Ś=Ƅ?0qpb' h!:\ĭqΓ܋UV6bGA_BOZ89g96Aw%6 E7*rTЛz9vh}3^_g>w43w+q ެql_J=1~7w6j#P$JP(T.?)ZjBC2;H1){>XeQkv(5sàC@B/,{< OE}1$J+~K8),5,LQGJN4kLޞo-߰x3^9o^xMbmэAZEsbYnȠ5E3sO茖(NX 7{b) jGrTTmH]wj=ݼpa?*ЍYeJDqMQ-Rheb>gc\)`$/An$x^bDẀE#H eHHG(8"֠؛T#phv ԷzBSy[jEw^o;_ayíe3`IIlbv\VT@w(>}syƎz/8ooY}P@ 0lݨ~sQ#Ηg#لR|j4m~l[M9 ?Pt-Bdp!>#<OStNss/ DPi)57]Α'gd,MmKr(Zo}+h+]DKon{yBs~vo/)qs[Ɓ2-.ST&uCGR1PS# K^U r]ѕ1yʜ%yy'l? vls!=v^9ob8fBa$R?#(e(O.27~> tg'!mZZIDePdRޮ#1JK%0x|*ܸF}I3֓Uȼ͹|@j5x[Ҡeuޭk N-8O( aQ{L_g2\sQ(MX|mm44xvoIv|cIh5֚YH+yfEUmw+|Oyb ?LnC9 .B qkȬMQ%k"c IIgiIcs,tm$Q6Dd,[}9cr_t!^+ltY^ǾQ$͆Ci&k:v2ypB'F7۶P=p:#4U PVV yUM^eh,]}+Zʃ@WlbC<^@p7Nګ ݗgSl5Cdi)S*:b1ŋu"-ݠ@8$~{xd j .S@>5c3Uro}q؅V8 JTjX(OBlRMt}nY XD-@x]EU =`U2!P|H)e^F ᠤy< 7BǬA#p!8UYVA{֭> kɌFwzڊ`R6fqGrccs+eG]<Kc(upv*J6x_U8T S%-Zkv' ?̺qsDxK.g;!z]Nfbu?~pbQ瘬[jQ,z _>y0BcGn08qN)jq=WL}|#_ЫYQBI3.'h6!1}-s:bUDžL&RcvՀwD,HrXս(dD!%:ɩ8{!ԬZi 53=md\jU6G,zbv+^wB9Gwq6ⴈ8f[Oի'mBE z/ъA.O˰垵N Wp_ ɛU8XrNF֛dV`_lKK{7lʣfZZnoj00J$Б-[e]-uO%7VzSLW+u\U<. 'ƨ+HL~]ZnR=Ea)7zX/ ?3܅HŅ5^ wH>M0NLШ\`j:cQ (ÓJwK_Ic44p/ oQ*!őtٺVUjUcpF O;i=WVGkE}2CMjfA#`2b.{[GIa#-[ǎT*d>YN}t]s#OlYc;ANV:zax!~ď`~!$~ r]%}ƵӾ.UX L+&ɔʙ_bN4hd<|e=r9l6Mι@ɨUX$Z2Z4&m(H!ENׄbAB%\P%@eZR`UpJ/Ynos\?p \bE;,0jv, N}HPG{6-`r2CM鬹)9]|S*,EtVuAgW$lORO{:gLW4 (˜M~$ZGi w 2Wit\K;2`c!Rߓn&%ehK{TIQޢ|9VxiXb- (S%i c}CQ_y8Zàx`^\F ?> YbbI*qmCphsy#=0WWB6.;&n9^Tg֨QSfn>/v؍蚉> ;t~.!hП9/}Ci|#|h'!޷ZcT6pҪjh/fd'-<˛)u)/(Nk|K*ERZM/Nv6N0[/ђ򂂯 ō3F/+ "[d\-~(ҋ0~%Vοt- Lod5^XpӶgwcX8sSLpGħ+9ڋ -`鶅5垬F|#g4KQHy1.ȥXb/ї[A]Ư:1 ecG]W +.B.[yH +4^V3M}D׭.&*#UY0P14.w9Yi:kΎiPSYɮ%ACyLHC81 |r4:BX>5\06v s*g<ԗŵR^P[Nl2[ aFGZ d,^pp^5b"QW^c7-]LiQ}(h5/c^]CG@!ΖoܮjSTcD% earҼbNK{kJVV6@70SXJW轻ʫxbqs~ovȿC"ċ-h xW4m̝$mh ſ