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 BB9~t< ] HOL-Datatype_Benchmark:threads=6elapsed=515.423cpu=1916.744gc=694.3687zXZִF! 4s]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_F4MѴGoj_/'5myC]G:=u!')H9Ƃ*iuH%T5`Dc^R=|AK̂U͊_bCj죞ŸA涽F/Nq~:q;K2O58e# [y`0`ጨBS󕕍pQ>x7 C4Y/Ư ʽJַ0KӢPC1*Sѫ/ qξq?hmF/_IB2BW ,B#N(sˌ*-o%bJ.RMr$| k@d$uȑ;E j< qۄ5Y~IS7|=}u/)w6uAߟ|Ote?Nؗd$[DFjdcrҋkɆjgJCu |UݼP@K(OKT83~6(3(RߞR`z&<=<7y@[S(@F HN>X!C;Ǩr<;j{m)I.N BzQӳX c^X*xUC`T9 q I99?[]o'Eھ<>NajysOfYT#yPnwEU@e*y/=.#K {PɎAr,90 'M;GG ^S> ,IЊKo^8Q<` =ܯZ ?[,]C:>Ҩ};{U؊^XP61#1X96cb,v sQܾK%Qreͬ8Epw)>VL᪹S{^k^zݲ‰b 9{̽[Ȼ,ZIFgYZ7zXZִF! ҁ]ŗXi%L*8 ]=Ksu\ugT da[a(} 1Sպu`x~e*94*2#fi)>a&A)=>-g䟏 Gp`PDe?]e[7rt j8ZڪӯuJy:D`8-a4+ qxT4|n7_̚Us?o6;A됒- gaqrT˗!r"wJ|ݴˑTc~(y-l*iQnD"`lbmW#*ٲ k5K=8{[?"lxH;1/9s,P B33-YR*||G;lF"}GU0w$̼)`%E f&i4~)xic /D59#ȠDsJ@*_]֎37=glQ'K?pvnXctN)۫~fw椰峮?44tHz[ÚӑPJ| 2 S,rFTҹ&5w mia.J1P̪)*w) uAz-m9R7zM]-C)<[:M؉S[Y< 9 HOL-Datatype_Benchmark  PY3bJ#uԝV(=F^Ǵv^u~f.U/ϫÝ3gz5CJtTb':ȧ? +[J-2T2=JMf:DiT,t^ok aMrPLe?2WѺlRZ6rhur2!Ɵvt+@=cKpܘ4K=Td'L 3$]Ob~N,p4lC wU:5xU lpN Ж2;(d I$F^}z-e6vXv !,5)gHAXH7J3jg;[MN9i;˩: aW+&fj\gK5-oYބw†xv$#p̩cMi*{WGvN>ޓ!dݟC=4' ;kr+^9v!){m$UWcO6k%0nҶЮҠ8 *&\q;Q3q?c[O̟KtkDs.b{2]ɿ}gԇ_hUoWկm&ަΥ[$A0M|rFЙ2gX:.i !L CbFc254oRg_Y˪cCݲø%ە,+Uma}Zj,e1A4n`stQOȍ `ZMZ&ħ@7S! q,b Z[pb) ^ (ЍE1Y`6Fj~oଊtNcʙG/*ީ Hj'Pҩ.zRmrh\1m!:9`o;o1(<ݛ .jұa$cY8y$,F--[9#zHސPnft}E8SRh:x};}h])F)0aCd䀐t/6&53.Nn8y=B!BSZvM>20SnJW]gCG+yi'N7i5d40VC!縐٫L.BnTv~wȀ]ϽQzS)UM6w^vVp PBghB/NvRb: ^II~ (3\ \Xچ3P9;c. vuQ\)uEokU.䊑usW3 ^'%wp7ݠqb+PV$ Y%HEf8=IZ\"M:j̋gÁuv#4uNcOT#z#csv6)aiX(u d(z^Ji[n_\S[ 1CЀ)+T׻?6wzQY|9faŇf?|h[O;&ˤK}.UfjwbC'1cFoSpk>;Q쉼ھC+!DGQxh7D1ߏþ{ZQ'2,YyǃE>c7(cwc;ͭ{T2nXhEЂ'Oբ>/&ħ0x=%e]+R~ I Cǯ+X{O{5\)WsID_`-7Etb,M^l-2&Y䏥t&庥FrXg+-=ƒ'P'Qtܡ#Mޞv3$b}f7xTNIz0mW/MA2Ksc$;!gX|C^xH5*< w9$f"Jqb F.ʏNW!JF^ӧmX}{V2gPi걕Dui~7CrKS b|zN]V\vW=p]m0# kжYm^ÛHt]WVf3vh ߸Px//\C #BhL]AF+N״cW@P>>"=\dߓeޥDj:hiL))By 4n;|^%AMŐOT+IHp2c$z- Dc 2wJ|IM^^,!}=<}_Jk,84u^~վ:ՙJ~g]NZ)eqF1ן}'$Ǽ۩~5Ǘ& 8jZ]fGXpk[Oyu 3 0/s/_+Qޅkb~un(N(Ktw㭺pnƯ`ӎ3ۑuBL+y)3 ö,=O7cF~rN["~ ȵOBc=Ċ:bVi7i~<̞gx0=xRZLIOژ 'C𿯄~|)(iZ݂XڰDΰ?~;]$!" R)Ӂ;6}BfN}:oMthHς+M4f/uRӧCr%/?܂RF(TVQ@qR%u!rܮP\~֔smM5='w5gQnz=.李CWECl*D!2kBz|HBQ9q%p^b>8SKHtxp WGy񶯰MS[!q/|Y@S؀e.zr*lĎhr d))Qfci3L1bIsG:M0w Ҭېs?r03"[t]d'Jkzo̾Lv[U &.5M/].hmD0:+QQi;mY!B3J0{9t1 {Đ:.#<.I zsVܝjCDJoAPO(]+p  زV`\-3' ?gsٖ!:ql `0EX̂E\r-NR{^QH]j 'q00%5n8~޵6jH~PxOkpUK;J#JSY=7 YUtug`Mra*vQ#`_}  q,X89Hං4<=<[2=~_ b B L3B0AcomZd/b1iuPr.֝ =3Ȗ`_t6xAɃ DP:49s½O+P7VG8rOYt)6#x/rx\ܬz:{֜4(֢` Mӑ0)0 ~!\x¶ֽ"sP Ny"M2!ry0fNT~@ݝ˟"=˹a;nQϢ28Q.(OXhM pM)}KL!EN1 L4pVW&$=؟\٤36L\/(VƎڎm&GNOCޖr3̾~1MiS뤵~uC_HGy,ƢznKQ|#jd'?p<4(#Rñ)M>a5CfкDCc.{q.dtnT}HRc ~B>`t}ߨb V?^fL ;CA/ f]pbR2mX= &睹{8'=f (F~11oY)\enru彈P=XjXc ˞e見\|0J[?!8Q&o//1їYt6wJqn3+M/9P;~XL}.!R l+%2_)lisBN!OGT֥6tRHY!g/g\ÊעSmaP|.Z4/Qr]'xs0~K=NЄU8'hל*~?YPw1 Nq/ASюek;Xxxc[$ZMz(ÜSOlCEFEgKv6P}HUMg1T#I煭|Uܰa;L'gۉ_`5N `r殗ŽSj[(?gCIy&XVDamqwPycF}=m?Yr%: 2 MA 66Q8QׄmaHbgiaSauPy,#\ݨ5[&1W=[WtzI9E)<wYW1+ Yֆ@v+k_'_+y!A]ô}O0,L]f&$L( wE}=񀞽̑M3N?Ӟ$7O#Bڥ"Ύ#bRnӇi.ݽ#Hz%4F4`6}Vn^~Dg4fsJWەTz},<җ˻(L*1͙wxCyZ+ /6P_8~htWշKd#<$- E)&7.FJF t$ :U!Ѵv(k=$ N{Gx|d\[˻Wd")&t\P1Qf|Фjf# =" :ײ4 G=W;d'౴*k>}t\,1gq 屘-KsFX 43'|\m1b{lb%b%;p҂IXDiZQzMfge 6*D)-x޵~giu1ا`G3C0(WU4Q$xw rj5]L'SKR _` 6i 0>(9=TD+e:sAyh;5ae.ŝ2Q ҅փ`&cAx0 O (cg1eM :6NH  槺x8 YeZv!b>_^ V=ቋ1V-m"(OGL~D?/@ӭ؝4AFt!kTYh{bIӽWj L_n SGn!ǩ0 yU*eYRDxūwZTA]u\'"hOhW1.aPSkY}3[\&T  2Drה#$iV:[1_z8|ƫчs12FפWvx}Vrh":jBRmh%zl6K+@^3əl zs Jj #NTb菅MB ˊӹscEKA2*$s ։k KSl˻)aHV')vkvPqvhnuv$V"qBʝ)AsDUmeZ \CImHIGdM"۠uA E5*I̱3ӔCxc +ݪ$fCO}*y:m9JѺFe eZ(w/k!Κ~>8"NXpN|$<űu㔉@aNpmc0QM_X}h\GylI~0DLo7lVXUblױY)tnF8Boh"!<4YY,Qn̓\d\{GZVϸk[GBfKN ޢ_o;Blg2VFR?^a cPMzW(F1پr wpqbӠ&'vw$8b`A[Ӕ'vȐe s4EwV"RÊco12Ӗ⠑̌Kj$.j-Qт4)KIkKUA@h= R79Y{=Y8 Yv[I_-cpV~~NbM# }XOpdְ"$A$#ׇ _˿@KpaoʜVyaAX1th '6|]UVؤD->i$fGt{QaOө@*^*8sGN DR N>k̾/saz$kl*V}+i&T1qtpZ"pr3HQ;"[Ft\%*+DiJuF Mxd\T|Z n8YZ:0QY3iB~XH2g!]ȶZWL#G˘WIusEq)@^g7CH-,NIԎpI({M/OK?C׈^ ,t5Dȶ-犰=3- :3*9):n p1#x8Gx*w i2Mթjp:Qfմx"Qk~)Iӆm&yGY3)]_!hL1wdضs'|I 'bFpN(lR_whᇷPXM&grZu68$%B^h§:A RCaf^-[O얩A>f 򻠼`xDHf~~t ~#qdAWobIXɴ{]+";k. esN,amj} 0+űV薺kSщ73G0$x5jtl0bf 92mH$sQCa#ߘOЅJnTJԪ.jK5'h3JeJ*ە3zۑMtXIO)0gfD%KpQ2,pn]=7+P'kC4אu~G W9J4]js{Ig;=Kl{e㒪⳵ɔi0q ҄`)jfwJ z *uSGZ i3lw/B}E~_svȲpioo+lIP=]>f$ WC7{)O5Q]6",njOeOyje;x̵z8#BdA`n,X`y|+:."?ߩ|1Y _bY{Eƍ@*p '5Fiu6ς"EtW Є$Ω"Jh?9iCm-99ȱJ[T]%y3hb5p` t1B1 r3pVE8 FqFP.񮷑=kGHyY/wMJSy:߆%ÆQșظVQͻ./N'*C̥~m*WNi@YcM,sjKGъMp0|k  'OoAYazwެmm(xG8u,H-'Kgl~x5= _ڥoT"`( tU!ona7_`rʐ ,-%T؋k>%|v Xnˀ;nݮ \[2WiH N*ܩ:.mJ0LeV@/hNڇ:Ll(S^317<(o%m 9,L޳*]>BNVS@ Ced)JFFVhϙJj2A_&_5׭ЖLVH[1C}ث#~Qz. Iҳe*ޣ`ތAF9E&*u6k [h!,%ч;7o^o{ Džt fKA n:0pf6;s$Q}m0~.g]E%}]S2ԃUݳO* QBeoFK84MTLThcDBOuÁ;؍Kơ`8jşP=름ɗocDu}_t_``%\O ڳ>eQSU<0;ӱfcVb+o|. B*ȄMx'v}=Ln*h v.H/b<ͪxȊ$)MēI VN:4ö7k6 ?},!H;y^Oä2B%e(F@4b$P.#tr"h [5h(`e2XѯfCh)(' cou sT1geO|i{hݢj<`qńdhFZֻ>W.Q aQ+K'=+o[W͚\34#ݷ7o>. *{L~@9F +Z7%R ;?-VD֧iF1fܨwD,a KcsZKuC${/Kc >TpYə?x:Rj@d1uw'6=8r*qDODRBwOؠY\4&Fm*ËUE>WߘxLֈipKecxn3 uai&gè)D8eK-Mpld, ۊF~|~>%CҀn˿%ֻֿ[hސF[ƺ ¤! 0}?e꾙"P"&4@JgssD惚noip]ࠧCtԠ,kib7C{싊+ [y2$_nPM[ELٌ$+4sb]Laԋ/0Im?۝6cwؕO\ V8?U$_Ahoig1Lvqj_A=hYM$X&IҮUQ5[' P9H2صXwm0q~! !L1 y{^ t-VCqa5WӔ-5bc WԺGGZrC,Rt2k:UkL9u^v ]I}ZFPSn8@W=b Γ+rh0c];GSfL-N,vj#_y5Ps苬:!rB y ۲CGY. 9ke5z*ki*vt2`p3_z~rs]3F'@KiG:H;&D|^"B+_zx݇V.0'w1fyx1#/j"јOD8N(S݋&IlNV+Wц{ tVЌa~#!@~v˂O9Wk=f9Jk,xhsyL,w>> {Ap}N-yA[zǟ#b$hnjo2 %TT(OEn%M{;5y3Bl;Y ~ KOh]bQ$zoqS`oKBKА RZsp1? Uh,/O+]u"o+n7hBI < asEF0]꺅+jU6 vVg\cࣘ;zlQˈԓ* Cx煁= ZT xz24D'sm_ʮfw/:Hr;lYQ㙰u3}U?Ya1@}h;Eb 0ڐ4PN]]IʹxPS['CG`CTkfbVOQjSrmv d;-]{CRq>CǞYm;>L\J _*Ϋ|s렐p!!o{Xry TO+a`2)k IqS9zJyFؖmўgLr@/l#٢\VAkdT fH֏ W9phiF^эY/.UҗI%ZTX&, K)'fF6YՆ1qJ:i@6+RI8KhJr/(%$i\$UGacTK>dscP3z'UUJ# \sr-y@q+u ax4K<%Aϲ5٣^6ql‹z@T2+u(7enuʌ=k nSP z| pzqBB𴡨 H\+[Iidk%r#{2:"+qCLUlE^ <HC%i,-pAR DU pi\IOQ?)%L lwl4ŚQoix7@O'K̃h @:)ͼk]n6^IӦS?GY*wH{tyB W*o඀VBjx5PӅ;甴"+QEbWjtpR  6%Қͳیfz էs@10',+X'cLLm;̐FRfO^.t$Ҭ)q6OI"zdɭ7%Ə IvcFI_ÍHcJ݃Þ ;>Pp 7U8)/x0AF/,+zQ?^Qgwk^BQP/&YY1GWkEG9rl6$σd6'=Q,7h$}wVb"Wխ7.G5]erKYd$+:]ԗ6Ґޫ Eao3iz9QMJL(<G!e#~>]<:~oRS<z-xlC YKL] 76N64n ;P(xr ߒvZ;/՞*w>Ι+%"id<+r q`}^*~W#:}0@E]6>tuLJcQ!Լ A]oUKl8(d%M#+,\uF9 u ߵ&'l(.Kܼ7"N -5D6 7sDX72Y)s~).$zW0vqGgSU rg,ƋPRm&3۞it ;UX6nh &bqpU (ŽH/S qf:㑼+v;%y윰`!P0|PZ5\,"L%wk@f X?<`՜>zno%Kn*`e$;!hﱻWEǜ+IdHfG2BZIDHrO`e [Ң`_Vr`N;ZZ(`lH]LZ3j6ʱ CNzUںs&6.E 9 8H,sϬ& z77jR] Abd}Y޽g3QqX1krEԒ2O" V*[B<4f/KDF{=Ңn/`@xT@`lyzWd2#)U/!5Zej4*F:?O͐M-2u&M{#UL:i,%pTWHF" E>R?BZL]1oHs(r+LՋ5iΡ$ڌ棄Wbò4ϐI㲺FAKójU}x'P(t17$yi /|}ȍp{Kna|y50Q,oԢFo3Ey&Kl;JuH j-(-e5eђUTlqV9/ٱ?>WLf,+mgJ ԡNn1[pZ1L%M!!bP2A'T-%j7RBUq܋E RhX//`UOjWI̻(ڥ+Bi.z,ձSWUQTduOn|'CIԛ% W-g{CWu8Ѿ $F73YѡjOjNEf~JE9,.,.Mj9u9gӠGAd@$Y'=0VkX,o{痗xe;'s -RW(]40z* njv8{Nн0 >1)q;)AXyĖHTtB ~h!`ΩScF.ml5ۈ棻B_2?bP}.RU1$n#EͯG?lׅʞB֋.M omR O\*'\TvaLXL8AW+I|OfAq Nnt2d?y`G.R\7e{oׯn"4_;esf.P~O"_uZDOl6{c׻gj:lDͱjR7@XwkZOWwx{7^ d5W$ ]t˥r@P x-ǦWY07;O)<_yI'*ûӲN̶jIwzVU5bxo1?`6 wX-to@[vv,L%ZDIF.}e` 6Ng{6۵bj@S?^M5uNߓM Y~"rVțql鮢]{+s'GwЅWqט_OaR!ͨ=^dA; &|XKNlLMZb>L%KC @[ RZwƠS hd"p`*s[mh 3kBB9l*|4 Ҙm:{V_9(vi*c{Uxu iUUnhFy@(ׁTf~t"S>|1L_m߆F~6UG!oZ0gRв&`p!T_JOG~jHL-9:z5Q*?_Ix0*rf5-08b @Nz<e8 ;%Zchيzrw <7B5aM9ȞKm~N5m8<.?kWWN7:AZ`&PMyy\)%X`/v N֕`_ 6`MHu-4Jʟ%qIo,Q3Jir|+`}D7Iջ8DTaSLnN@Ta)'V{l40'`'<D2BaY.$r-c}@fM=\#QP6"]RHJK:1I6 {O$=$) ]?B;kօ cLe%!nPK+`M\~[+<8$Qsm 5RLg318K m HQ_ A3p" )gTxey!feNpJMxe 0 >tՙUH)hvWLJ6i ZQwky=pZZXFKi@Tpϙv|=Oc!X,5 ^5LʛGKZ$_@gCٞrm[q߭߼M9Y]Ж(זSFTq Y4p:%I'e?(ӄ(w ?ͭJQ3ng4  Zrޓ$\? *C $YW 0D;l.F u^mG+(_\gXF*߀KzLxZNrH3s;wQ\Cu!DEQF"z̓4D}P~R3"'rTSm&%rIRӉ.Q"=:~)I~~*?-9"Akct7p2?Welj/kn nmWei 2$wݺ0D-+o}6:U Tmy.S1ZAE[VD.p&Ae~'UK`k0 y/3jJf^E{Z3_JT+mqqܱzPw'FSe*z+cu9CWYwZW68t{[$Yo5Y\*Fdʭ"]-؝uxt+*$!"X^_"4? $hRl}ڹwDp}GMzB+DC܄=)\ HCdȧ$D9®vP[8l]&%rYkS?-=ŀ /4Kݛh&3-'&틞;)VV{E5G&XڞN֝0qg#wb=re8/r4['A .&@/tB|Qs)(]tL?CMDoOz:($q4^6YkUP-Ǖ*,RްiA꾝Q5>&juroA1o JXв/ +&Slz#F# dyqVY lt9 HL[fV\t%[9am`jꚝ|5cmp)+[ ԃt4dq),s$e<ݟZaڔ8a@YI0v^.kʧ/ᑮ>U:;#%r}OT 1 Nq#,E1%;- ;ҋ-_46`Zi]qG F4v*5J&?I èѰ|tJ  2#jm"TW`M>lp{C'"dAɹ}ᢷ- yQù#s7t`8Q@Q/9"|?zSɽNS\Pj7?Iw]z/h)#W*Eph #FߕDGe'V!+aP^ƜLb$KR*2mfdt'9ݤ* MlHYyIQ"9^ra};C ݂B[$6Yi XFMmJ #yaѽ8y2Py3MѶq:tuqilV(U_Rdd(h'2ȿj]_o|ѽ-BJ_ql;Z&ɂFMg}аB#rw M 7oxWc֕vgO5=C2G<[*QeR6SBWƶO{YR~cHYUdVi +(E?f r2J35D3Ob $Xq)3ȣ^葾G9Gw1{/2NY@1'M5OxIӍ?~BP1gI)8I0 $D"qz/i<޷qWbj]5Y&o:̡W4ФJѷXāq1q{~ta_Kn0 i7JDp:-?;Sh׌Wӷtq A_Qc_F!~,/+;Z;2RݜY 0A,4Ng>}GWQ/z&~=i@1 'zV K;x-1Bv6M4aܽp__( u,Lճ 8LUy -yx4O(xP,8k  Pnմ.$umu0WCm3_UYF5{xOLt=Q'Q4~@Fn$U.cq u\r>ma^A|dAmfef[Z(!?]p~JIf t.gW@ݺp":S3{UuCbM ;jX$S4lZ39D̖Xc4o3-DͶ0# Y4~NJ46gJ ^ErnX|nBFPCK?RQKH ۡۃPaQVXzՑ&5D:Z`֋xvmO>T)Ÿឣں_IvdPx WGc>܉>cҙ~LZC "xgĉgDLS=VxsVx!n-j`%7UE9|L aUe5tЭ#6]N f~Q;Mw( K$S5 ,39(yuwH"L86_4–U;I=l 1Y}xBt`rfR򂢧 /Pk6ЄVύp 6_M)UU,m Db^";+19bڭz*tŤT)91cjܣ y|#E{Uz 4DLP+zYNrz>E7 2GS{Q"O_7BԾJU.>3a#*E}$^)\09;c>47&I 9%(,Bs-D(]9L#t זH T>O:B$#;l8L#۴C&:O5c*>/z&;+4я2Oj|MvZƙR ڱZ@ C!n?'av_Vx=&IǠMLf9f\1;g58~7\.@. z._*,j1;p /Cǣ9c7%X˶;K!o!8]@?]cC.HM|EmoF~44ݻԂ3 ߼zoBAvע A}ZykUY5Iqb,/p0unsSrDџdeFvU74)FzW o)T[P[D[L['9 `-,h[5It-Onbϑ;cˡ,׉UMsaJ'qS#yS8XJX}"$cgخJ3 3ˇ87]PVQݻzYOF܎}׌2RA wɩ%WS%ZYMZ!.x5qjs7l%Nk=! /jb*텵j㡄Q69Ypߞ! _@8`{rfly2oQIM> l?0ADC/nAox /M̅E U3x Z QV`E-ȧ3Ar({4#swl2.erSGMz _6it:~rѾe(Mutۂ\]8xZ;x܈Fמ).^e\)cvZ'? QOAkd MI4EkbvHp-ǭNIv@Q2kёj,ПWa>HT}OH!n;B]~ߜ)MWȴ3%GhYHߊXWJ{A:|~/E?!\i(Qf_fΛ?Ey䮇r 4MduO/>/+#W?b4SN+Z.dsG+ٷOIbJo|rw%A,mфkzcNjCܮvڇ0YhZ?M?)J4N \< 9*|2L; 0 !h͢ 0\0u(@ ~>h_wd^ roB?8L u+*K)@1S@_1E#bIJ|a'A~򬚰]X}c'- @6nTYO|;#*s =Ux vLg__+8 YR%̢Q'MQbdo2Aľ}MCiѮ]^X)( ă?5OHG) ދH&/mΦ&3Yd0|ǜ&(`dn?"ߕ~b:q驜ə9N;ɒЧCK;vcxrͶҦ1@ ϸUrKe?7!I?S>mF"b߯wj+9E:R&ԙʄA?[b;ѸRܢ2Mj똗qMdV[fյ:[d l@ɮ7b͌Yfy/)RqƱEz:fSu`xqupw"ɗk\i35jوU<` b?LVve7/#j9Vߵ jFlnt4r|)S܉]D4JfNT#^gByHߜ&dtUa7`)V n Hsvwq$_6oS]S.IJ5񶧬/~崎{чkG[w8fP ]~»j]64([*}[݋bXH8帼2Xe6Z ]J~۵,;z[m?#GӦvu #r `dO=pؤ=JH ! }6p/ƽ3O[F{H#ړmɫyc'Q/z "F'Rdi&*91jխGQzu21ՎѳtZ_A}Bkhwe:t2";]o^! qEJ(-3L)4SC0b;b~d`'7wJlnJbzB̤ a&ifqoL\OOjtKA]ϟyr+7& u&P0@$#a%$ %~܅#Z>S|Eʮ3:P/W[.OL Zi/GX >=쫴_Zgn]92o-&*>^\z}*N?~ >6`$0ٍv!Yzu(bҮIiq`uCkv]Sp_-LnEeX8(}7̀00`.Zv(( ;`_!7_ #u.^T`G?rۅ+ 5 %K+.pW$uo2@+ܹJT 9VKf SrU2]~T*VgSrcqd vQ}Vn\}a~LKEׂo y_5\S3݆DW*,pXND0iV¡Z1tzѧ|ұÇ2$F3#I hKCF6jz57@=mzs`&V}.V)&%30?;ng[p/n_?xSpf4ϒi|D-mvOꭇ(׃'Qs^m-,Fa|o)lc En/"9eS1lL4>F٤s9!, L']pa;ܟK80w0v6tiا@š A8*@e|^,O1P!SlTǡ 4㻆OV|٧!DF|~cδ}Va厓25qDAN&ac-'* `J1 szBҾt<}xTn^vI0N! xBLgsc!0J'穙~gP9qOepeR?׬DiF<^oInR}Ȇx.>ӟB eFXgIBp.X >X#v>#&] ޵=|B:ȏ;Z4Tu!i,h$cΞH W$"(U07bc~ГHP6lJ)ѯü HsAAhS F9xTc5Pauo˧g'o <`/Iȃ8%*"(텊"&©Cz{naW)gO%`,:xnpS̿K¥}.軬$[ (@}kDک ~ژ}QZ{zj+]9A@ws*C:1Z`Ý ~&P:z'R<`3p0,-4 \+ K/W]s;LNjwi-`d`)i+x*U\ߏ2׫V>g5SDdeլڝ~w5# %ʃ.߇z.xGr'['Ō:s(_^= XwhDO++ȟC(i][HkPKzubo8ݙϙh`{7cǏ=dqSHn(TGR;\DiRoa!^"U{}cU}^(oMY5~y?K?sL@8k* aF]ZL|Y#=E$ov,KZ2!>f3`So].D,hOz(xmń %vɏ0M|)D; ׸Jx~ ǕۭTOCEz @>,.5aR//u9G\Qr$w2F@f+&*ntXS=ݍ- ;^ڀ)l"u ȽgA%3>hrWOYNjVVO!e!EUG9m,fYKIܻ/,H]Ts+}}4>.9(?EXyY-#UzTOO/'1@~ʃ~U>ZhTV װIj߉Į^d_AWB :M`>nxWH۰\'