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   S/t4l ]% HOL-ODE-ARCH-COMP:threads=4elapsed=592.920cpu=1309.880gc=20.404factor=2.217zXZִF! 1 ]ŗXiɟH)0%o*CV##ߑ_mɈ.ݝ2@qЊ N7efSqNzS3Ablx1qheǨ]ug ,zUԟ[ 8T֭\FQ2}BHַ̲}R){2FO;n9gr_bh+ / HOL-ODE-ARCH-COMP  O^yC [uz3)rz<-R(- [ _^Ջcb=_+-Aq:ZbA%}t{^H]QiH<ĢC]<B܍pmpQZ OȉB9HA//܈0D1sY$~i{GKE2WUixЄzi.T4;8إmwex2!iMq8iTi335eVHezYtǤ ᕑGDSz}tB1~1}؇.]PX9B"Ŝ_zC-g_{iW1uvߩ؏~+}hZk&aDn18}OhDu,Ig@b|֤TJ)\nIz}cmgr?rRƏF{Гs`榯24\6drEfU2a7E}2;z4/{9ّ>ZcѣXJ%'Ya3ta A1j$QT#m/\ѬH7cڅj U˚2B̫@euƠSjG^.bjץ^"oD3c@‰ҙ|騂9y/rϖ DxE1s?{h1Y;0-?%(p6-r"ZsNyE0ֲ֘=`9wOb.سh OuIj`%;8{ɲi`NF` |_BdAm#:SR`9J|c4z[n/s%ŧU+ӵL,G8wyLBZVusJsHg U'Ȥ́gд ۢ4Ur yZ9,(mBX-%30%`qi.A]K;U6Rmñ#a瀫i rC w,|d)L:FTV4(j|w5ViӍ'omXw =KU&g|4{7L4.@t}ქfU{ArN/k3=C(>cn C!q98ݔ_DSY|gNsݓ'Kacu=JzizG}Խղ Oユx=̖^fD ,/8ieF:3YB}aT?|ꓯ鿵"M ;Mm!gxw&@JP /FjcMfEIHr:UGhFQKIF3o&@Mis v_&ura`z "Kzh ;qO`D6ʒ @i ?sdzgMo U T5c3{^=r 0M9DŅ.yWyo"@Fu ֏ީ0t<1)alJ38|gB 4tY\aWY3\^~l:8O)/c?0 ).r`5Zd8!Ɖ W"XjGl^F[mNŃb/|B.cչPRgi3zb,zd\!rh^r/|+:Ǟ3;'Edi!O! ΐxOIPhǮ゚ˬLSRPg wo Tey@|㘔Vؘ{cuvTf^ݚF?Eԝ;΢B8\}WΉUia QB)?Lt'=6.bfabi_a;͔A.cc4r.Ym9T+> P?X9'arp Z+m ܶP N<}$)9oF@j"pYIPTRRMn?`{5vjQxDԡ2[Lm&-\}He(6;" ьo[K0._@-sL28 3'J*B@)23&05S#68F'{V\(5smH[@RB'W Kq2lO*B5KGք_u͎l]A3(4bL>ADSd]c͌" GЪ يe.'p'PLG-r %yU6[箋h/Ċ%hKҮ=pխ%tr%LP;@ʭ'ֹ#>su5=f_?yuHf3\iɇA&y7G/Jwn@Zw#_q_!';x,yy,!?` ޝFT'etvI};OzrgA‐ 'MEe׫m;Yf2'6l‡Fnu)3&T(n rS~QUJ7l GRstZ?!qPs6^o!TwshNf="5`"xG'¼̭߽4tN@y]n.=y$ǵGuݘLfR5zu. ݗFelʌLjm*[j6TWZVlp3EXŜ&ӣ"qکuhaȞ6FIq_ xi% Jz`a,Kqx#ͤsw3npPdğV6;ވWziO]e0ѻGe^f#TѩڑS0 1ŠL'*+!8ڻQK玧jy'sh,DHįj@,̕kjq `BpL[}]oYj#4 NrYoٱQuCW8Pb[ i ߌRJR1Y Xi_7J"t:3=-c6_+HfGHfy)kx[}Rw*/bI5!U+Q,obwJNįNpAg\"gz?8xV+gĶȴg @\5u# 01Xm2 #Ca+r#…%^R]rZ[Ch ۲U3`?Iin^ -]lDa۩v 1M9 &tDAM#%kO }s#eT#֩-hJ/=.Dl|]SNH1R.o%/ _E%&߽ҪjE+Zs P|a=m =j'Or%Mm"NtΫ̼EiB5Z"`h_l$inTh!c:aw.qy aVDz@RhџreDΤU4lQ9}7zp|WŊsA+}Qf=B_W|sq ]ndj!ElZ4K]{Bߺ(% $AJsnpzLmRWٳ̮ͭlJhGPrfKLtO؅K =|윭EcpvJW4,=c1Dprh#$zV@8Mr{V Y|_^Ja]Ƶ*mYQBvdx]z-Ӊ@gO2|줱X|2BX`EM-g?2{a$]gKmVVPg*,Grd3aZIUh.۽5̼ ]ܧ8V:u+yN%LttYmkaRi0@c̢g(ۏ*C ٺB`6' Q/rVd^$Sm1/w%na ޫWpz76+znGxjmN"._S Y!²)bJ_ -i*wHf[jE4x A~.m$JhW,*8!Rb)Mۅ$`{@Ũ_pK R$VSdOOѯh6>㜋|VvG%*3 jW^oEhOچeTSrEX\„`+ Hf[0Tȟ>*_(0W.@2k-D.K/3xȩ^8x7d%1S2[ۂjD6|Dȩ:=H8WyGތ*1[^RD!)I'K op3h+l|%=Q= B1/w=X\1u!Cަkvأ='^Qlϩgևn֪TIbi5e-1ʘog?M NuhF1 xCp#Rq)GQ.M 98tkA0&]4qf爏9"K|[' Juc8QnS܈WR]R@dGEt^=rgDװjʥf)s< )B ?^dxWꌯBHer" ֞gjB#Mg~vkuyGfpC{bnUZC `)"0:`4:Tۜ{m-l-> A`Oyms v@S^|]ms `o3u@ *':VAi\0rrnrkzyR߻lu#GdlO=,"q#ً)^5a#VjĎ# {ŧE?P`Dԭy|m_tݑDa'C]zh9 ,=bPbA+RPkf&X@d&U:7v4q^6 ^646W:!#C!qexW2lo#dHrI.AUsmZ!CpocWo($QYztÉZqSЃ6xƨG= u P`N7*h'3tKԍP cۘH2CeG:6J/raH%{z"ͷ![9SLED%ssAZRmN;2(ɖMBeưNGH|7hƱn8:#GxJUUdy|9l8E`{Z}1.ȿ}﷓/vZ2!+6vy $E~Ra*(t.XwD79O}w HMSc2yN3UCX : CET{^E 4pA Lߣ٩\[YKK37ޑJńnvjdxe\\k 9rȼ?dfh˘cNOpJ򊔕w3nًEQQͨyGN҄M}n8oeQTi+[n]IOj^%3ɟZ{f35gx,ЮJSPO{pt6=4sٰݑ&k1Wx*iO'IYRҪ+\>mgB)>r&+(QߛmN'!۝oJle)PZ7ԨӈQ6pֿxSl&Tx$-0i on,m[eyn1 8?.* fMaeM<~m9FxD:{7)=NuariD+%; ,5WX,)zVIp''2gZ ,Q8k &;SDҥn|L5,]d6 %]Ý?]~C\;~\Ԫ͚!?e"8g_H !{XoG [t-Zf (n#b4'T\+BPE3T$oNjMgFvӚ?,0r GG <]wIKĖKsJ#owI~4K/˾a=i9>P|7xNWKq[$ԣUtV9HA 3DEDžmd bԇy&=v5 9T0KLN9QPZA% Am/\;i&E44l$R̆^I>7ӌثaءQݭf֔5~ZgZ< K?st#%0L!,$]JR֕Rچ>4aRM&WahݎOR[#h~NRW|eѷ@Ko[';CV?5 uWV;qOI" Ř3l &5+Kփp0 Z'DjEdکe}fwEj]>'W* ݪmԓ9213_ P[(FDmjʧhFiA͕RBW?:&VUˮ fX~YLҠ+Èt)$Zt 7NE*@l|-mHu<{NX"0' h`4:#t Jr`Ng\iX0E>ΔA0Ej(V (Y`Z"Fƶoyzm$wYvEwBrgZżu + QJgۙ)T_&,E omFFaI̭ha;RGEI7԰”NV]KbRr !k X=EK\;IRJq,hh)Ѻx2!1n@8`1ۂ* ҟQL u0'p057>L|3`[ĭѸmS^;s\w l3Y{r3 ^wHMDu4I%kGo V|AӹzG圜U!2-ړDFbH$C#iS ->BY@aNBNWqQ E 2U37#=-+F]^vL32F~GNu^^o-?u}O>"a} /Ƕf^DZ-a.ߗx#oPa*\< 1עϼD]T3GQɓ"=]N $u l$9';dbCH&~=}rٺ:Z5ʞ6ƤnmDZx<tҡ }GW0=oSW[x ǣ_2ک$'9vW->e:/E|^d9ݡ|PMUcOs ,҃P[\59}dR>򢜷IX.|ƴgzC";R]V0R;5`V-ճCoÂ7XWTJ7i5]<,b y39iyX@GG?cuNlY p"9Un|z4ؾ}I{MsQP5]5QW+AmSiY'|ué;ʹevr%Ω( uX0שVQosr.?LMTӝk ~G[v6N޿| VQݕor|#&ƾGK+f>NI_Ɖ6JEZt}pJۈS ]$^ŅjG`iֱE۱AoZ Si s>ewN8qE@W6gqfG" Sjy\Tl^# KO%geO32͌^/ eGYq_:{qr=:XJ\ay f̶ )wQc ʽU>V _g?ǃ1,85h3sd֌O})%hhL-keX)p,7*ȷhl:2]킴Talacpy_"iq^exGœ&^( :0ԛ bPtbCL( :X2.ќ: R\U俹P9M9~Z= u -_/{4*K]+R@z<ڏ(pVcFڐ- 4-~n~1Ɣ:K6QLavsĤ{ \ywHE[Ka|9WO*Aه0{xkq0!r&N.dH)ee)"^&Tpl){fciye.AU)lR0<:8:=k1`?g/1 Ҧ(0G 67\8\ K"D R(OYdl +d]#ˑ/.GۍeG-ϊ zȤ|LXCUUgkz/ xkkXKeD..bb>e+G?2Lf6g KFOD+T!.*޴.Xfe jq@t昔xc|&NL5w\@m_ $${JbA.W;K@bOxBtw~FrbGLyahY sf P"%ߡv 砠Ff<npMm$!8既F15>#f3FD@ޘku1ŵ&DRLYcS۠]0SΟb`͇|'#/mPKt+'=c(^cbmthѤYsþbts7!/z"@FT[Ofkgh^/n[]P}`g"4v\m8)F~=M z2wͲV.NLjvN(3a;WgM!P1i'hLxZ &Og1^ w?Mk`ҨhŅtN/Z'|R'w=Ǎ  :$kf 0pr5ZG7/G4b Z!YXF*H%O DYwEg TU:%8ue7J #= *X3Y SѝJw>7@dy%x؉.Y9 Z"`^*K=,ŝ PqσulU3< @W-bST Jj<\9\dtrQ܋.#!+F, D2lrBq `tGPK󺬱Hn ]~NgXUkŗRPKh{6MQ[3StfB/e|}GIwo+I`ӆ)4.'L<*񇹭/dRv4~i-VSƨ?sV*M~MqQO2 SO)K+~ NF|Mue:yEC 9ΫXMpB>M( +N7TZmS3.Kl=|Sw2]|Bu^ WvsveaT}w gp K:)TՇ+3r\9MBam#*M^u;h?kËPpӉh(b0Rb#w鐧USرW8ޞwAs|8\V,Ckn[{ܴ~yRS;,,1ȔL͝kߛ9 ]CV^6HD- Y4FHܙI'O<:>8%8!Cwێ")Dߖ1آ5ztzHC3Yl]2pMiFX vny\2=&Gy/6̐?v|SYs`2τδn6dxW?&3"Is-ai\RuG6=O*Mw{_hr>w$mC5쪭\y GUh[iZ.dFwxЦo9xpǢ2H1IȮe#Jmۘ˃շF/ pװz`/]caD lR>N"V0r U )ޞiMu'#ݛklw5$0rhA9g0+5ŋU(fv~J6J2g-@ۂK'Ql'T6J!+oJRA+I@k$ZXIЃv9`vO6.@9cTh1ȜbU0H Br~M9K^twquk5޸=K+1<޻P >9WSbyW~bG$1med/shkt%Sێ eodzK{:/n>LtTtZ S% <5}{7.\qO\yr/{o{/΃khSN|jB%qE{1EYYE# z0((Lf H{l R|7e'Jf3pUY^2V ĉ ۋŃx@+G) A1|ϸbQϛrͥk:M^aY 7F , ^;w8qAX9|<5ҷ3%Q KN:E^As`ɑ8 D?zv?lo@rtF!SS-NwsI'Qs la#am gg\+ *^'kO"R^VUGps^@>R, eYHțh nK"ֈEAA /r|ccZzBf J8p+@׎v B)XDr'A,ih%3En5kG -++h(klKKפo8jp$p*8OmkNWBO"/*CCa:a3ѐvKMwc,|~a|g\tBCe;ңEg:L(i*Oo';wm@H@xZ۝k:c[83v_W?*Stt5UHU/fth'- 檛( d;隐Pv}-:H}y 4ࢮ(uz:(_;L'/ 6gvlE"ۂzFL3P x/c5݋3 hnϣ߂$kQSUh;-Qp1lTzݳph%E3t)ul= TwmyM݀ߝ]0j`s!p K$ynnեs>OgԘKtG閧r-!/^܏i%j{fk*wi6exԪEٯ]]!Ea &'lKV1j QiW3C2RT:enSkB=NwVGmL)~FiGReD 6# ̹ڈ@Y<7ڑ-Qय़*zٳ"H͑} *!^7=(8U05`{nIiܡWly{vn(l6L@D I}oo܍SkY%|y}-ģA^TJ6?-cRC\͜-lo1rz{BX 7R8ɃMqm{1q3Up!M[:WnpF^ bm )իypm~?ŴЂF0]\6v&"sxt5ip.qDy" !G1yvaEjA.1:Q7p)h˯' Y3#shq F:z)L-@2Vu2k,-)-M\ߴӨ VLK xȐ1"ߢ @m TClMIwf߱NuِӞa kn\N`y?Jq4L+(xSS]%Q/V+ dn iVkO[ ZRh~_h`Yi4ݚ."NN\7@z=m(ha/쀝ucPDP徲1ր(%/`k 0YybG~җ8 Jsz/ehZÕP(-׎5˹d`T̤ G{_yJe+R@-To(@n~F/I䭭B|M^pV&pm``=n1X}cs__ Ak}ˌ Ҥ>a_WEcP{'~ZJ H#A0!tNn"wt♅Pp=JN/ BCx#@?ـrmFN3ב8<\[h %n R?_׭fn (>40xQ.MT:~Bwy.mjvR! YԝG2BO'g=Qm@߸ Qӷ}WT_ғLKŘџqڪhEl^ˈ=ՉʳD?قm6"@/GLoS~ )0a/^~)~0v/kR;>nH* 2Xԟ19zcɱ|Naiwi9pDH@c;_8 s&⡟yC9jS*8a Xp|[K߾GFånǾ^%QmX3~ V3,=>L|KNpNKV< ة儜טHط>f Z'ףk ګG㖌Lyӻ20`. "BZ>~\0Al2<{u"O)Pjm~H>}9va]VѺ:Ԡ\_6<{adǎjIӸkQA@qxVo8K{ª;'[ F͠X@G8[w>9C'sk:oIŖZÐ1b#$"']]%3@*႑&An 31+b3lrڝWY\mLͣBq*X;1t|Qvr`LEe[PlPRʾfʮLJChi} k-s @z7s\~Of~B/&k9jՈFˣ84ۊȎqq|NtY a-d]Y,C_z$.ѩt M2džxFWDL9SپQa$*hA"Gr>ܢ 6I Ah ',f ۷bSՄ>0:opCHzC1dRڜKT`x=6<ЪE*x-Be=GFkg%b y0(鹼iԌ5Y4<+$:vهcDȍ+8fR&!5褝IϥLk1ϥ ́Hi2c7 >JJ3Vş ȆTb9݌?>w!* DQS@W~⣿RƊۈם 9F=6^q\Ɏ܁ ~g+ī!!ψYu=eY3Ծe !f5ک/pg ~{"cU{z_ iCO'ߦ>=\y{YmǞ?R?D_)PJ@; n3a[{Vurl/;`fb뛖Zȹj rPg;dʣsΟS)v䅙$ n|Z0eufIх/ڍ p'ԀG^bG+WgDF4nM. տ rfKb/ʫΈ4;mcxmb ў;*E!q&ht=beeUVJFo/CUfuɃgMUGEgaBLZa1C|ynaY-di`qO܈,ss,#cԌsXXov2LM`XjoDMp*cKzAoǀ$J2(>S.&Ӡuh;:nYazUw.(hVd,Z PI@ !i{HM?pgWuf{ؽ ,Ɓvt 8W",d]dz@D3?ͣ J`E_n|''+\anpB@_i!y'!nWP`Y8l>@Ŵ9o ze{.?lb1u!J-/+|3]_= 6 \^>+\̠%ֈwN ѭA]SQ@Z,7tY&ɮY";$XaY~׺r;41/J3MhO,\@2-)2EET?2T/4bҶTS]EP(%(v\<5,9~ڼOj|¸/49*q 5Cu6Jzz/mdn' c`/%B)R:xLH0QV5 ἛxEEޙ;H63i5JZ!mvFdNA9w/(:k@v$enjN %ڙdt#09p@+b8^G*^ pU;M1@DYCNL8Y#6ϗYU2C/t؆y?+u,-n މ#Vsw+TSg9tzJOypl8}a0!}ی`t]4Lh!"p#+nyBUw|fnFVxf}~7mm՚ih H C.*D@F}ϐз(pVzk`8؉As*a>Íer&շxs"jw+dRz1aۢUpRed)5ǚ&g>p I7&A- zX{NZJWj̠̀~!S]T I[nJV6 gHڼ. T}?\Gp}]j!^$'a}F> XkҊ5hfό6oqy~wS_} QHP6v(ma~iT8Uo93Z s8mc.F&X2~.k1q9m˱ P!tkp7 aiNsD~6c8罹b>To[Sa,.|۰~q 24›ֻWrw"Aoj3I%h}1Ɇp m 5tQ/*eISL'Uu-1 ஥zӞPpלFhĚB#TҞV#0_#.\xVҮ+JmHO;zF 5Ѷh+֝VҠ<)&>Q΂&ݡ{1 Dt=[F_Fb3:>Rp ${ۤQ|+=_NTO*Qε,!(xJ"}r Hb7@Mt-.|e~cEWnEJřœO'u^i,qnytm;i YRQƏBw(v5?^H(k̒3MH%440᪢^ROd7f{I&yڸfӸ:6c50;YuȰ`x@0Pqfq#U_ALL7+,"P5%gWO+/Oth? =O3~/L# B䷖t\\0>e ^]`X,?#RMfC>^ܕA' )7PI޷W~m?&xA;H&mB4 t;T~zA1EP-*EXU2' 2߸ߊS؀7Ib0+g{9'M2KS~ ^XwX<f ypR_v)>0AIwJJ7e,7m<+7{:͉i4a[чzlw\sr<>0 Ԯo'v"3 śq z䯣vH_-?TOIۈ\ Bc"\՗ZhEAJoTӪ8 x]1 Z jE@7*2_5jWP/gcN}>k;jJKoye> `@ő:Azg%S w6Y#(g sSPe9$\.sEI.~jDSyƃ=#8G &숮2{鬪@ɰŎ #yȲ2 b+RK9 ]r1YH,|Ě͂Z8!0QTY{gl6MmMJX ]0a.)Yñ~:7Ą@q AOXm4"JT> Rauw-ץM5p9۬O(HY o>x G8ldGm(+o!3O yojx{N̙b+RX>Q(;u\;&oDgTȣ;1r@~\|DG3"ժ[mr34x1 ӇL*> 3 BDqS5`r&`!LJ;_hm̄y d͚LS=;%.d8!A'a,tCuukE39!H DSbXZ8:6'lSٛRGm?]8VktQj;i{Fʻ~Q QXuVy.c9`ue7|bi{& i%*"MަCB=Qeѹ8ޒaf  3 N26պjА!s5D i6|[gO+r)Đ17%jog{xŲ2\63_h7C%'xOZ X'H rN2w@WxOatx~'*, 1IVhhtL4M;9%57+F,;2םI2ixwLI>73_[}ce07Fmbqs ^x ,n2R۱F^-K[[Wڱ&,Uo xEuFr ET-ZD7CzʟF~ʕ@:IM׭$~ਯpG"hSp&fM ՂC #cb:j~ SeUd̃) -҂eu v!wrqeѨ Tojcv.,"aWכ,˃n8>?$*!4[hYJ(uf ju 6aPw= %_eN$mjˈIƓ|on1 *R`vX}3;WH(3~q6@lUOIu>n$6CU2L׊PAD9K#ϩRW *3p 3 9="V@_t&=="zn߯Z{Vmd}fU^eZ `5LH9tur1T"I4 0b' ıiPD#@@saכOV``YAL&8/.^͗sg۷Cl^#3!dWDzHܶ;i!ck\<}*~(Ax +o ߭5Z7bVTT{|$w3[~v"[u^Ȱ!Vn:d ˠZ`}yKA;ᗈnJkJ]^}M3\ nQ>NJ(;<|I*zˊU28!yżt"m5oz_0+[q(wz*28=0lIDG91tQ#={|: @xvDB$p:QEo(vzo Fhr[׉)1FZٵ6r[7i'f1|nH 'CR{%QovAF,;nU:C. qɜc4xPC `a*>D(X:N zLԁWkuЋ:<=Юh&Q0R=f?ͤ39W\S5!cS7< >鑝pWUWs:@2Foᅂ7++=$VӇ=g+ #.-u֢Fy?=ηD ~J*FA#Kť`w_'Á\IKoH|EH{\ߒ9* Mq׮hۇə:CV2Æ(ǂZPy=zuu֛v5$z$M5 p|Žu<|^TpfqN)A1|VO}-%dw*eࢼAy e. D#CR%_2e){ sVG,rHɂe(T jY n|,`xEy[魲Dg_H/ t~Zh㵢P> I9*͑ԫq${ %롖YI|]FCvBƁly^`W|B6vO83I8KOX,2`.NJ.|h%uz .nCIFQ1xRkh 39ɷL}[bU\SnL :b1/2~S"ȥ}XF9kng)OQ̪^P_m",h䍝$v9$ Pٟ-mbT$oRUb~/bYGKC99ik4~SNj{lzyY]qĀ\!;2Mc:IL_Z_D+!<9BWQ1c`p09bA}^gFI*4~X/N{7 BQ$ vF5M{ U3Xϰs& NO_G*F_Ԁ7bt>z'4J}oLu V/h}mnQ_xH?|!F8|l"֩ʾ"Oz14[3K۵QHjRDǂ V)B&ȈksL7{jL@;FAQv/=?Һ0l~&7PW9/FzMsX5t#=V5ژ(NkqwW.4JG I[v KTBg (" Gff=EX"p *6[Mk?=6]= 7]R^!*&-i l~yfqhƏF9Q.An>7=-z1.bMY{M^7пL?|FmBCin!{ߗ@׍G"IYq^0Qo֡V?rZy2?O ܵѦ$~[%hM-ʤ}cr1a2rgw3ʾh:?佈]iFbQ6G$"?YcC\l/~^3 I= LJrLt?No ^*LEw&flW=|ݙgM -mїo=8 a1e Ǟ~ h3W-GaD΅G9$3qks?L[ҵUEs\Z@AՖWLBNt; 0[j``}[*s?l.l!oDp&y-!ԉUYƓ%_ 8Zd@> /cҲ_ \&,34|#s+7W2AȚKcw0Mo$cfP'Zܴ؍l1@A]t摨p}%oΝ{=v;BdHd/Fzy?[X& \"FDQ_mn5BB1Dfg2v^&;W#%v|ǻ/٤כ6*u!,zo6͉ ȁ^II/lnA.J|vsׯ9M >g 7&?>nhE=?%& 0uq`jfZP?*:2tڜvWsz 7oRd9k4Qg)K%=KU ؿ 4p|Tf/Yd|0d櫕 O@8͈8 sC-W5|Ꙉt1ryAq;c{V ~[Z!ǺKe/5RsĔ_PQ{ 6 CMҁeY.+5UC΍{NYv uЋavB@*f içC`>e" rE{QzàUU?*/]ht "iz=<OݢO;w]#Ƥv,ְ !W>x276[6B8SfaQNy[~ s/Z yNq0Àf'>޷܄dv/$§5GV,b G̚u1f ,Ba$ @.7W}DFRkZG&[Z ȌQMr"_Ow݀9ZRSQhɊ`' tZ+y.w.Рr֚%0f:վt# d>7Ͳن`P0A7*|ERW8.Igrtͻİ|n9-4(Se'cȺzg=E,7ßIW 9v>I6^},q^`3'돣ܶ0*MN:lI&a!`3D1<1[jnP/P蠸;+ hGLn:Xw[a oǦ+ʓ|QA;3hpJM?QCo/˱}Q=F ,^'̛[t;AY yGA+W`6!;;3el'J[\рJš,T+`EΨ74vsp 'ANrDQ@#qp|܋k}Ҩ -L_1Gay_zڟ_L,\Pe+-Ӳ# rN-*o}k0;T i@xq)5۰&`ۘx}\=MZSثH5njZ\8 ٩l+X^Lg &mY "l,(0\OV Zל[\twv9ι*(פT=ć Ilcv?D z|E}γ:'n-h^n?_~QV!$>uYѳ< [+Ή&kD#t;T,ɖne`쪺lȫL_^`sz?vlx:E~ͯSλN ўK254*b̉aeeCfQ]U-z+c9້_XOL٭}pC^J v4j4]X tW>l?ҎYVUO.OM - rPq $u ܙk`2WQZʢ</G>j "V<:b`%cK ?sEîד^+,w"N{#5 :FT^ߟNl|XIA d_d. |u^_"Q}hgZizp?,E\*q ܣWBPۤGS9/I`2P v>t[+(Q}ޘ5i[wuߋ,$H]a[{x9ӺgAnq͇,gYlY7^ K9QER?X9,rA]x"/;2Jǣtb|iW%y ݞ"il lT\ N"|ĔA7'IBf͎g,alFډA15 sxr R^D!j]=@N ; l} U4r4SKÜ<9zԣ벳5yr0A`PA)pInZl2ae$FU]:[ wo8lV-L)ךcX 6.1ݺp؈'z )A +>[:oDǢmFxt 3J :8(F(''%1a$ i4jkf" P1r>)Ȕ!AcL6L+3x;q/E.rq{@+Jdƕr դ =ޮ|?{R@ElF͕,MxRZ% n R) |Z|Kla~Jî`]M;ӤF e/"ZxrFeM#@&s!c+LaήT \؉Ps9T8D.㥫PO}%zʟpDt -k*M{gl.;T8 kreI: 8㡬'. Y go"lp~+ڡvk!gvV;ȐB*BXSRNW6) J][&Ks"+0Vn )c5 'M2a#N-hǽЄZ)QA"(hVRucA7|ٗRS UVfܤ,G)Y EyB+%W1M2~)1i v@AcL>?❴2 rucjwKKIJR߸gԪLR-jWx$KхUbÊ &*HUW~J~fӊl yR Ѻ#ѥH ҷ=ƈཿq\f3ɲPfܝ`^Eԋ.5J /adeStzzH&ӽ3/ Ѫk+Cͨ0A>rC qpb(D IaQ&sTt+]hětȜ[^d=!)m͛H ;FեĀ4ű>4 *&]ąZ(Oj}[&M=MVF6wWDV6q yMyքc)\DUu/[J),]^Rbd;X :Dz1[[B)RᙐGu[1[-r$n=Grcj aqX\u.]Z (|PJF vQ|^8iàB ,9F7أV `|ξHq:T, uh}-_J4VO#CH"TTOյ7!X<^X+"~RѢf1Po)9+zj[ae(&U$ɚf.;̟vl9TW#Gx u,׊)[܀0ցJ۪: Y؎uz1)o/x{|GLFef"Bf`еo&rOf\r3&kӱ=f/_$]LwZz7keDT] .=3NPzŽRY=|kD n63[Y \Q(cDNg@ %vx&P:[rFim׳oD_n,Խmw.#@XE:Pׄ-7!{0bvж16k>># %b>B7 ,Χ#A Krː0 kB)+ =`=n0aн2 DPVPA\"ߧcenV'3JZ"}YugHrȅ]S2XBeXvg RgS7q0rHw>CP8<jkpXè/X d7OW :dzsVm5!f1a\v*AsۖQ}0T1bD`hBʏRFxh2`e2Kr#/r0:B}RًYpQiDtgbj @"];ό60H>J~*]mn5 Lrok <4o]+ = 4$}& -1$~{ii"F[LX{Z_I$. 뙗 rC`ڗ1Jb/"?lX(VBB^DNYy܁nٸC/1 mL j:Xh;1{&*-eG'A䯧rš}~<: #k?.j4ʻ?Sf݅^bHp͕U܎D%a[ *.Kl*\OBY a|5ɼy8kIh5~[TFsNYD.I[\=l)Jk<-jFz]&O1YJ؏ UϬ'!;ia{u'13{SbB?\_~K<VD=$?Υ-LBL$>QNlfp\Wb۰q|pW򴌙ZX _I5C1y?W5yoVNm2v 4Z)ڛ(g:Y+-teۘ ͟?j*Y*p@wH޷#*F3˰%/'SXqL䈱Iݥ_Z dZh&-!y l :{OLKk8qq[iP.AYMhm|RcH4eߪqkJL;8-!4$߹^g>d5[ C#G{g/P u]5GL} W+Ȕ{֙+Gk|؟穕:̵ ՂmhJ ض cߞvss;p$&OprlFly)1eg0z7;M?@3~I1cM}m{.yAH)LP`.VG0 GY<2O7.ApP+j~u)}~]hf ~I<#  jIva{eyk;JnE"o.=UG2QEd*ݤ%g1##Mwu\~H(m?{XsGX|v]NuůMl ;S]7[>fL &2͞c1y\Q`l>m`F8." w0d/LIAe ױ`t[Gk {kϟtK:?z[[?Þ-͈tMӖ3*&Sķ?Obh)G}.&lG,pVOHa7Ğ=^4Lb`%>M `iTe0[*oxCDm[ ^| <45o"a'Ǭ. q>%# (Lџ!<ƻ v[ֺʘ 5ó<Cg=}ݚ3J#Kdۈy#Hz_^`Ѷ\h]MM7+qAHҲ{G&~Ӻ ٱHFS [R=ky8o^&i9pgS!V uPⓎUQNOl Fuɒ鿴Vy)9۰}4V@3]3xшc/GErŢFJfZadYY0^KWmNCi b6"97 haePI̩$w[PɴQ1M|$,c/\SBc,`)V@N?{Cd`΄/Z]vʲPwj^bL{6EOx=\az:e]bηL'] Ba ȋba;T Acז. *2Y%6 p}Eki7 &qU8 cDAEc&(aV>e:=?<"F