SQLite format 3@ .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 AA45zd$\ ]/ HOL-Record_Benchmark:threads=6elapsed=136.340cpu=208.478gc=14.1247zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe);܄$QǠczyO&(v@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zXEwYV=^PM0 q]1mt0l_}YZ7zXZִF! e]ŗXi%>7о.4fh?PqRlp[{H/qMDޠW;:FF0#DFB=rHsYZfc%Rr|Ӿ*~k^Rvnwj_|/f$9kU9FaK[BjT` /j j>2gF ~>j#/KOːJ*OSGzΫJM~ʽ+|up]qt5OO+QGcH"_3 ]T-՘skÄ u7.qMUO"A մu܆>bKRcjfZXs k\#M)7'.pqn乇cB.G.imζRBP *:ޡ@闒dg)!O١]C/7VY<'@&7U)^E,SHdݞ_{1;]j˛~! MvK,>/c+Y}hfzm ~_m K3g .f&U.<{'}zRPt7=8We_ K)Uw9`5dv.hQ}8Ov6Ԙ)Wg6;H:*=ꆯ_~ԾFO%6/).H߃,\g_x4/$`?~bhw:0yS]T6ߓd4(PWTH2LςV$q7l*0śЦXAgI r0ϑYv,>AK^J[ l\tJ a'DGH>)chdxN4oPPLmwjZ@i7gezY+⢍ }5*YM mYѴqyOlW#A;˱?R)d9\x~6d1Y^1`ܒjQb`UlSW# l{ nUfRcwXٲ+iu۵uO z- ".' nU a HQ@E6Nj\-K]L^S^1Qge2 䴐zF^p"f |E_tAz6gf-Gx$zF7 )XQ":l.Whd%'Ck6r>ֲW(rΦW&fTr udFGܐ/#O&Q.Oi Y5ʧb N]1d >EJȆ%.ۭ+쟢+\_qs7 #;ԃ|Ӛ#q„8REiv}Eh÷[6q~=U.<▯WM0#dPM٘I*f`Ǣh}nߞx?룚#Äb8`v*dGEgBqq:*:moi/dguSɍ*UԸ44CI5zZq(|l![6D/NPN9g~ϋe,I- fqMe<c0j QR;+oQd (8]c~k|_>a xK+Ԗ۫UJm͘s7%Uysd ܕmW\RP0|! sBHӳ w) ̄WxYk) hL¼ķhVy61dFX.p;n $멽B(L~īPEeڛğ̹ːA}6kS~)Bq+'SA‘>w$xpnS$GRPK*X'0zJ@; 03D*Cʁ(K S B j-o {ʦ}EGTV_s!e-%4GHkMZZQOV y!j|e)(_R Dnw[?!68* \R\޴L TKFD9ގLJ5Ν62AOp X cZe<,A 9'Te 0rK9%T?4bB6*oqײTBs!+ &`> ztJ7JK 5%AV, N\*<5.uf+K>6erQpC/m4<qa!?)qQw[~F9*sxo_Ĭ8B ~4Kʻ6# E6ɽ`,"Y$4ƭ?cyնu4á=;cBZ/7ّV:_#i$.w_쑋5}g;ӻ9(WvS|1_S^c,@az "Jd4gj0l $]J#Fc;ܖ`ErcOTa 5 HOL-Record_BenchmarkC5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV/@y7h`5I"\D29P'㹛 S$,9KLdɟiqϰ4>_i9*βFI& }5(Vu' Rj+ay: yaЃ贋0ً~۲ 4҈Hԟl.j+AOdĖM-ѫX=OlDE6> $4c6Lf\/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV/@y7h`5I"\D29P'㹛 S$,9KLdɟiqϰ4>_i9*βFI& }5(Vu' Rj+ay: yaЃ贋0ً~۲ 4҈Hԟl.j+AOdĖM-ѫX=OlDE6> $4c6Lf\!yU,-#|(_g}nUj5ptg+1N{D8sQ@AT@ N OZeR0$So I?``VA/%ȑۖbI١j„4z4|G\ouvݓq(լZ]9x%MS_ 2_0V"M@nECP=Xܚ7>s~ A-پܪf;7z>76xȮOh3\rPXO#!nMѵ-T*G2zKJv~ֲăFS&|kqAkil[^56W8,zeFi0^HXӒ ()^2x. Q7W ie.,r<8oZ4'doLj{U)p'6FSP<0lCl^$Q9z}sB+U |9TNi|,%W] 9-Yq޽%N2elF((U<m-:KqFSpQ苊\RqFmز ?%aÍ(6"eKwAӓAa)wj]Y j2_@{4C̱\!r2 //mU0եCwR')MX ]%fpvKIuH~QO,`b|ZJ~`m;= /cR6ZJ7c_2dۺ &;L 0BDs1-Sdwet>E1h21vܩ>ji x nR`EJ{ҞT+lG9\"~fg0oT=N` nPAc,бdzFb"m÷Dw t$!suKz>.)"Wtئ@C rڕӀzrcإX_g|ݎ]3G6r 'rw$ (/U$p= A+~=)sDž&co3%6:F䨒Mjɋc 5Ѯw&a%!Q FcoM."Rus yLJW+lи;907`rO nX.ဈ3'1(`wi~fd(鞧B+0Z%bw^{sr1k4$omޓʵ+b @&UP#G_]66z*d|,u{Mߞ*&GK}ѳY )̽1Tb]%W ϋgAc*Ql⯒j\8y6RJXkTJg(fk 5cͮKI %NQByh="%mH:z\?}o>O,Ιt=Sz1ayч{fSJ$Nqƍ٩3XTBȥ% KC wB1SK.}A#0w]ycYPJ*x}'o[JE<Ƶ7{2PXWgQ$W')T,MD c4sNNjF,}%.imKc9Yn^o&3bdqpIwQ&@vn =3!qPau ˅a QǏ3 %z( ҡ?ޭQ9 XtY:Х(/D؇+0ɰնa|WDY^r"QZս&'CZZ~2ʊnNNxWU{^cO4fU%X^o0 G1i-NzdPMc|눸-& 54kKnd!e Om$E|'nsSAHW=93gE?*]awYH FXTeH^˔V)ȣQś]Y:kOK};$:'@8Gce^o5#}B72n3Ɠ#}@瓆;\ 8CL] vt*mP#W5ZբߓRPVIN6KHW2mDH3*5r*9oMPS},Dv3m(;-u_{@a@lԶ>}6o4…|@H'Z9xTdrgYZrU`'AЈͷ=b:6Y_6A\nj{NFF0\U# HBir)50GSPtIBrl5]ѲD HDffKkB.zDs>̽ #-3=6UdDVZE˾oDD6cfFC,C)#ByXE݅f_2ӵڛ.o`H*%*x#UDC=0GQ܀+O e .NF[d sR!oϻiTH쇎fqÄq~? %* MloZ4Nj'֢s觥4 I?Vf$H >}DU{uRG"?Q7-!fhh%=c|I5Wwd߉ZjXxYrRhoamѨ<،6>O񗹷jـIOI6w6T-@C4`-N(ͥkH-^JԮTv_:Sy*Vl}j0)@;I~ạ3_b-n1^k8B`KV\%>lQ%7+el^bkmZw"TGqk?(e?F'OD *mqXG\+4/'~>+͌V+|68pKnBOG ƷF6QzZbלMGƦƒkDƲ(KcL$HBh_a'ׇ܁)4z 4?! m.n'u^2=(4D."qyx9OBW|-tXӛV*{ߨ RHҮn%w"ݴ&`QRK*V@=(}<ׇv*U ~Rܡj(^?@'@Pd~O`dH{r=jQ\>AQI,ݨ9A,Ho"2+Jze]_Jc&t[cESe =D߈ f TN,7 AhHg\tdc:pَA"]n̯!-yPiI54*Rf `:FSsYuޒ:iແ ݶZ $h"Us'<5 ك +gf_$iMWr1Bޅa[b}gJ{Q*}8B5 EZеy3ז%~g%B@'G]Z#Kh} 1j1IJŷt{e^iV^Fjړ*~9nu9aEÁ_Fu 22$ ֟rs?]}Ld`-W;|NJ쁋i TĚ[z^B]ȹLvL'ͭMIur:@e!~f5I=K~0]T z+iO?'=斏W9zv7t!|A6k|TQ/Nڟ" @kh:!1NKv@֫`ҳx}%CADxN8=eپaV!GBAG='tJ)u9QٱN$˟Fm^8hX/h N~X uC*&Sւ2 0 4`|[ q FB]{qm#버I]^TsmEAnK=?>v DaJR{Pc7 UC5 #X5 HD˦/ݾ#~(Cw].f5@-_'W䤔$qW `UD~CJm`rݸT-7S$nVfz7F:[P,+L/RC e#jOay3 ?QƏQO,y8]ոZ'"U9a LTj9{Au i*41bP[ Aл$zP3W@!+Pcg f^őf-s%xm1*ċ' =*R&{lkuL# Q"mTS1XJ]@UeJwHppX9-[vSc-okG<eAq~!!*6[*v΃ ''+s;2Ȥ ÔB  /rkAV${770$'(vD=M_.u>L|޲q'UGOA @2 x]mViϙfAʒhj'> /Yql jWFƬKJW ßWkt׀\q<]`k6fF9rD c#iWboQLMchM eJav֣)(;MZ7ȵDr0rat}^(Ax4"2# (T6| ":y:Q6o!TVMuJ4&E&I0>쁷Qv$znT^>P1J|ݞqJ?4`0 !_a*tg!rt!I&Xd<|!1(ZjHKf^džg{NEzq`K3?!)CɕFESXGw$xl=$ǻ<"DIHB":ƋxȺ#;?LK9Zsd??g]0zG D%A=-),) .",֯Ubg*_TJv9Ԧ6S6!(PB%dуL| iJYSWlEHw=ۈQr,ڑ1 S#(e7j][ 2t)r_U7'lE Fʎ>(eb)\bJYTGZV9ͱc%~ HBsP M3K<UMH̚UIjs ZPќH,*kXQVuQ [Ds^4ҸN٦~kFz WE./0Jp¤vVrY5B`AmeZiktwN[_JS2(YQbΉcwHu̻V$)q@ +},!\fٹf%QĘT{O/\(,QW_]%hɭ!ZP_Ǿp<6 E sYbo¹؜S,V#meCAeA0Sްi+wڽ\aw T2J{@•G{nʖ97R0 N9WQE_֪-^y4%|I\Lu)mLyOHӛ>.| qW|ɲl?@<~6!zLgkR%~l]F mTxa0%7i TטpRT9aAZ[ ̤]wsBH\4\VR}_>%9մ| 簯Ve0,(HǷʇ.[=;~$ql>1o)zU[`G.7-?h7oHC Z$r|#]qnLK9 uaZ阹hBގ٦,ɂ8ʗ`!i&_p$~p( T8 /JIqs Zm YLgCxGxi/=WmVfSӸ-&ɴ dM+2xk W8NӐkg{|SY+ǖ⊿Lf xI@H.ŠOlxj⎲ s:;>=›0H\&/gKp;8ԵFhTćϮxTy) s//pqEPJvX@=/7Tϗ^_8E |zsi4ĉpltV{aMW cQ8Wl6!U㩄iw㉠Csqͮ!I_ʜEa)ށ~>`?81\;7/찤NM5|!b]yك%ױ3V=v/]$TEiza+q ρkݺXPߑJ}qRlxVa10Uai`eM&vp.<CA d2X-J5PXe:)g(G1I6F7kA9(q Nl ؞߰_`GMxc T^ɶY|=ʸ^\$MW}pVj -|l;?m:ёm`Mq&Pc]\ǤBd#~.I.\{RԽ$Gߠ_#?9 · u8%7& .\)6ִS;%?/ZmؼKS Kn^\uT#lK\'n#-`!]@xɮ@j'vou Yo~n _m7Q E5Gs}_vf0 % F:] 4ah~&*!K(bF{2;z.C9 j\X0o8@Ql-tl$)5 jۈ_iV⑴^|i]0m0eyb:NEE#95nkv??O*!p)x7k Z ^IaM@DHI٪4Ր9xKdȡ2_C̭NkVGaDxf:}ZFWN\%-GǫcK%ƙjH`чoȷ#0s9kz/z@e @X)HS)ko>7,&x0v۬A(WVXK3B֯r-DB9reSx&h!nk<EV[[7v$v\]㊤⭢ԝn;fZos&.xw,պDuC=$8r #k슰p1-M7; k'kCk{ۏA]@ 6ځVQ.^J} #щ]JV^IGm l?tcOV{SXO搭wc.l౎>Apl]L 7R^# >GIсʶRm)@|hbm/LaFE{_y zY4;Vў|f(aGPQt/$la74fbm[pB9L) SFgd'v;1͕C2e YL ɣ,3y^(NsZ}zëjEqB7r/ LxU'"GaUV[}Ba1PDZ2c8PS<~d3@wP: I{DYmze+zY<>hL+GޯIB|VewA;(A؏Vz7k7>։WC2(1Oy!Fj7mLԖ:'dL9sہQ&"Ny+5&ߠƎr$ ޚan2>{\W@ vƀ^+VIsC,)_+0fjڐb¢4gUnu̲a)3#P`<Ϫڿ`:S}6]+]WqQRt[6`|Tu5f`݊};`Eg]*֨GD|,3O)GLV&.ew3+ m,_/MA^D%3]_GGt蟱"t pnKLq_b,a[NsJ#aIR[=| _Tf8hp*Ztb KZM>߷MQ 05_ .O,ۭ/[=i~XmTHe|T=Jv4E9`P"P6Gk ʨyuͱ}Q*E5- kIi`WFa0љ^ פ2+Y5.hVE>9*"Yn"_rwy_7wm#MO:(.ZAA .:L'l3A9CңOWibԻc:9ZmLMNVUk8hz[Ю=&A 9?QCT7nw䪖z5 _\/~՚^jkUX#B,׬ K-xM.zjsQasXlȤlW! ҵ.??&{_0o%tÓ]hdz ^7U2Y[>;A㎭[I`R-Nzw%HDHe@k#II)v֡)Y)9 Oxm߇9F`M>h G6EȎ TED ]QQCK(p=ᇨj0ΙIei8"'Yh/l}c>/H ΏpĜi)T ĴK zt4i(Ґa]qQv'{mS8^Wi<`,NTiogð{yfQef)\o]*o}hGh pDcN+4CE7e4J .Nr]3ghB΁&kGԢEw-\)9( v r+Fq 8JVe"ϵDT?ÄJ4h fE! !dXs;A儯'<֬AYU̐1ªDDrIۀiL蠢2}2gKn/nt.Jm( N⬮b-EQ݈/gOJIqqw a_KH'ʮ-Cr9 k4u.x67)UrH3rlք5<Y7`$\11aoBɵҠ>Os,rrRžRFF bLIViMYH⠲zk9ZȻFv*U,3=A-1ócQMK!4Kd|ZAdF2Zx0Vm&h[Tgے8S U" O܏DP-9_4[|t6}S12m؀>c'P)KPrt]א7/pGs&Eϸ8ݮ)Kdq)Ln1Z[~At]'BpCxG0<ճӴ3I uoR(eyVTd x!Rgc+wKz{4P2d Լn,>o-0ߘehtaEX ird'u#;CHy^~-)6Q 2!;[챚 fU]e8iK^e^ETIR>ri?6!m.^WSY jO([v]z ECRv5HO_Ew>"J(?v r1-K4HӚ[ԊꊋLAJd!u})8ꊵRwD)gФM_l>aЩf8;3(OX9ぐN;WhDmHKlE<}N^*̘z? ;Iv,yNn^.>ʿREᡘE~2F;јa֞"DU2x5 ZfFc?Wٶh^տ%Ԇ}`~(A\/T .[Wo3t84k9#&-y//{ͯGRjD yeĀ}J$DaE8>ZS Fٙbr *ynlY#s|1J0)>Tm+Bš^bnr# y"]*oDer"sa+Az,wkΐ8hB1* 5X\}U.}9b-U gk{~ iBP ocQ{`2J)USuU&Kl;AM[8=l4 K-v@ $z_!/kMcA|-Zb!ϩS@̀Иm2HNOY5vd`6Ղ ʶ |;᥿o? o! oYGGpc-!ԅ;ߛ)'$Nqi\Z ,OVecι%᜷9m7FY2F3ֆ{ѻF)Q4&vjQyO2zCpTa`=XR~T'6 ݑ?gF"[còuE5, 6TXeOx\l/kO2=t}j"οM"wW,PÌnv-i0}fiboq5e#^@ 0}xNcLT๻_'o¬$Kk;R\oPM9ijL :w'moßhō 0_,/k}d4XU0(4n[RoW3s)d7(cHfA 1y+;m6Ak~­fgJ/\"q<*ױbc!(PJl-inE,Ki!e".+;Ʒ,`qTyc~hdF,*o=;(|K[š2vbOڨdkrTL'ņyցd )9#4)qyʦ8 ^1]{&,[Z )*,ej..~`-,D:V)b= 6>En+ ZdW݊,㲑 nYH =ydK^X`;0QMYnvJifaO5MM7;dFfcsv@7 ƼS9qh#[@g]0[c'{U;v%5t*nC=h"0-"3E܈j&i-J(U㿺Lziδ_.ʥuE {-~פQwjQbHFͨk3eaTf! y !  ^},kO* }͐WbI5sL`SdzqQm䛻n@u2Ľca)T=T=Cj[h Fw= 21N4BЀQ(mDJHf -raǜD"Za.B0ֿr!~i$rvoqN#lr.n)8h2m.$hiYJ}N E @(Lݐ}|л LqQ^6aM1\gq%YgJXdLy6W/sLD{LuGsʈKlwhէ›5%fr7?՟pjy'29%Va"r$}dnCX\6̖\2{D]M ɦü`aA$| rMA[$0 Pœhf3C/@눒n ə⇾DvV%~Xv>2 <{%3x)-Aw3Xk^,\EѬ^Cԛ}t5gr@~|jf;l~Ӵ$(Fqlil^=7Y;jy}]k`R W92д0D!WDۥ^=/I7!v\Z'472F0k o@ `ج.+KK徹x5˪79a |42JT~FVRIؼL(Sq/7)Gn"X{+.w&D>g2KX)&w$ 21LHyRk)̴PeeTg:64v*=x`P$wU Yr;PGmY*u@'qrLg?졋 C9/-Ynr v~ |_Zd 1 0cO^hH2-jqt-ܾz;3YZxAT'!`ȲFh'+(YPȓS}Q2>km;ŇW SK^qb[@q X]br,!>3iSTy0&{F~ih6M\Hv=q "VŐkL?-Qs # jSR#6Tn;y۽6uߏ}0d 'd !~*K^+-x\,XPкwjh!uȄ ^.=Gb|aB(+ Me];bkXQ]o'ht^b`g v\+(N t˖sQJX\eɚw5Jc3,A [!_{WC_x %v̞^G(L 3(*Gd?N.TQ3HrbEeYf-NAGbSjR<\yJn/IӼK \z*u[}@ QPΘJvsW}ltO&Z|;Ǣ4n@f)vHC.PJwfvF ?5wɟ9OIfҎc|$1 ' <3Os0,='kљ-K!,m@Ha\W#0d#g<-lZ[FfMA\Ka\RM(6DUef!soP9s/M:t΋ưtP%ӿՂlxrD ’RZ$*{4%f]+[kяKH՜ɋOxc -1ONVpvk0nm3Ta(D\{> (]}J/{戏4`g\0pÏ=ȬhT.igxSg el2>NT"{Rryv)m(#H#/6٪mm !>3[i"뼫Pkn[ XqAaE)MPI_f>Zbe{f׏>OuQTVqQi=:}zPA6A´: &GVula,{2%IC :!e!7!gO,֓kqЙr'#A;` t a:ī0OOtF%Y?\+; xdc! =x=<1'd}CcrA^%{VK]ϗdr^;D={$s`wFV>=gyBfNw.NMiL2FAt6p-G*K4rqyCW@+"dVu7^kShY%k,:vSI Z S ύgHl,=DD1>!ME YH(~.R esLS z{F/4\ҫc0.T5_mOM(VzZvb*smZ|!NVs+f.$c;RBh-W2ż [5 &`Ce;N@A>:1y:vO).-G࣯Gԝ) t ZP|*r\Ӕ:} ,Vɀ95,Vٸ#V, `^6][6 ֳ o9|72&PŋpS;'llǂttƱipB &`M";CS1_/X7է*σe8OҀFQ?䒟IOQrאv5@?dUBڐpf$?xqT'Bbu?~p*$Dճ>i޵$h*u֋׍74p_tx TΗP\hmƗ'¤yPX8+̶BW38\sڵbAJ":~ ltdY7VЖ` HS[~Eojh',+س"^ᲘW\z%ˇ`䃭4!F814;d̜L xVՖhU5 c? f޵$gBAMD8QL!Z<QPt`OS,z_ a Z,)!ћ1*bL6'νEs̯zy*/Zl?=fҐ!>I`vMKCG;#3/p]ɑ=^QXPK77AHP4! JFۆ@Te=xUb( r-gVoH7@f5O2g$~V~4:vJ졆j+vEVаIa*cdNGE^xNS` ʟJ?B s!pi `O= _lG%Cz7DH77\$yzO5{9|'C^G߂JJ<1ͽEXU/L~S$G3OCc~4ج[2FP $b|O:"{mPBI5{L1 ߪ%Kerݫv/F&oBW#dEX9.r>w ?Xgl2p >}GHgQqz5tlw4Kmx2ЅfuJw?\0cU`jb]s`~` O‘pFo OZlSe/j9s!}lW QA8U[aթȜw2V;l@?fN/W|_G$|vlof^Ǝ,ǃMWd Tw&;|:YV` zI'8~LܾsZTd6 GBǛonp /BUKcy05d܎~g &zO x45m C+=;$J+ AKX/{R|A_UcQd1 Je2ِ{ ;bbV|m&O.zVVd/Ǵ)y؈ 7a)j:7M6eJTr9F>HصCH\xr  "CARL,@ʩ nSmEJ9&\WK20QT2L2Ɠ@cr]S$0#oIfC'/qGw~k ^~ci Oz -8Cf[~J}d8)`vUl̖*/l:N^ ORĆ?0FNw2yم@_Ǫ/+GrQFxEv$V/e%,-绨1kΰǖV.1L w΅UeR5%kRNv1M*Pp)7ce΋%}v!l+ARٮ퍗*uY"v&=1;pQSwe}kۥ#C Dkhw.`x34KX 5Sbv<4?Fb[ҪPBGt]3u~=$':sR*6 ZTby3N .9s*<99 MEQ5GE4'g ;l `-`ga:Au*YaP0 ÷[ϖvSw %h@:u&pd,玑!5Þ#V"!DgY7 $Ʀu4M<&U$攊kʵgԖ&q':AbTC?%] *,]vJFnjϔ0dgSK蘒[Qb0},C4n!6Nȏѝn2EwvH494UwB.ƾMGRmE4`$FOS#te#oxϕQĐMӆXp"/}p_`sԬ+] $X/ KwL.q |>Bx9:hqLI>jXT>>*su5/?ӌ0ܛn.p PݒI]#qc-awAJE֞$"LJژhFw/2ĸ+uכ?L,.Ԛ)*/p)S=/m ?k[ׯM,!6B˦ V P l%x _f2Y 9Aj+#cMgYZi`+<{R9Pcz:|ǖh\B;=Nu7_ #;!U&XR ߵ `\)Ḣ6(7ZQ=`?y}󑔵@ c"D.z(DWW GTBwcTTZ XVU`t 7m~DJV Ma|)N+Tr'Dٗ¾ % y&7TD)"mHNT6}67bHIyQ|o5_C\a P`+ wdd_f2^п\B^+U3ctCjҨb@˝[ͧ4ޘ s}cZ>:QKzۘN1||APXB4jYzWX9FGSqr"23nO)Ep+ۅION"@-m4tB2Jtf'F®ڈ+=abƩ{iA%@ʠT Gg+cJβQ$Wug|y[5T4gwXL*ZhZicӫdxCHױ.ӢUtl}Et"q55ziGFn|*.U ȋDHXlduSCE9"3?_?dE7U4!_wݜ8X1h܂7`"ً _cY|A Dō{"6;8r|J<*6aٕ~'N,|)ޅElѸ=;cy|gbޛRY<+dzG]J؍}`HYDk!.g-\_C4c1f*scj;)`0.ؔc F,0 ܌$k9Ua.n_j, t|Gq*ۍ\5ZHw=Wѯpdt258μOwF9QS[${L^l8kcW~?Ѫ)ˆtƿ54HLyR|Kz| *'l3>om~?z#(6EugmfF s3eLH$Mnrka6j,`tXi6P>T+>PBjAPVGؼdG٤Q'rƣ5{D=OP :.e>[Xwchn;zET-JO ;FSVRb]{,6g+dHy!y*vlqƊ?mW۷Hz_R3FAH2;O@VT7mTGʭ HD Wpļ|VO2l=P ˱6"AGy y:bx7dnfͻpBGI"yI4E,)Ja@s0텅R,<[o6Ux,[G:D4eq'ؠ+.?_} $ $|#| Е;sSb|t$Qwa36=Dm~% >Ot~&[X*.S,]$8NMզ{&i^d m1Nr('WY <0\a Yy[%-yqtD93r@m:[E ~S7 @^O#*qZ=Jݑ57C YK4xhNׇm֩ws^{R RXlX]ћI(L t"B c[¬MaWMIA [ z"Yb#!v9l *;~yGR$l6gVПyl*)Kfiv`F J lٜFCIP\Z:\0R2MNrMF 3WB^O4 54KT<)FvܙMd>)m}6*J ̫kPKS|DЭq]3Kob-;SE~L*7d}ތ;L**\Yi9A2x6ٝ|3XQ+ x3b}W*iOUۆL>eoAxu&.~yaU|)F-l HmmRoRwAgSqn50s{.ӌ `"e(g0ψw" A48c'-vT1ٙCߋ(  :^ʮ5JC 6S[dKou^1v1Oqzݻ PÜќ@[4ܺ #Nt~{ m^C_%JO`(#]rW Q|[;'{U7D K O\FK# 堀ĭ/+ɈÌ9]6x~C,di W\PAU} Ġ@D# HenxA Rռ۰ 4}G},kޘ&k;q |是.̪?b+ßőkCfUf+Sf{l׍ɮ98:$; bsu$nj!tnJ{y{ (޺^e:nu"MI0C@!^[r)wL m$og1)0C$$TL6%2,@"L/ *JbA wТ|Ѫ/G ȟqˁ@)fo=u[癣Ym>:4xW̏|`ɳ)kي(6!%։\"ՖnbxJ0V0-me&Y lR5eC("f-t`D5݉W\.4\[5oEzdC>&jyқUq,f^[̳/G#yȲIڎ~dΎjq7>Jvx^Ӟ3 LI'ytvÅД>DP!!fpj,>72.,q/t<v#UΑf-fHգc)zehFڟ q"SjBQG><12y^\HD;:o5O:/]rɇ8t3۠;d,473hg3 wkӳ <'D~f6<e6ga[7ɁDD)6=F3=\H>ӤQurľr<$M=b^Vp C 2vQ`֊ 88U[UyvOBzPY--ha[ 'V|6aΗ)(lDP{+_)j|q^"Ediq),YY+7((V)խk吽vFPf-4,foi~.;l4#?iqP(:Y tB}R+}{Cq7?^/d1T!(]oc65߃L 7B i#"]?< (48T6W\ߚ;}?#7)?ygL Z`/-"k#IxO]̢2G9w_(PfP~2 UIb)\pP[0~j4H/GmL\\M/RY OXiyDy{Q368߶SYPZM?._=ke^*'n.iʦ8eUD_^P( N9O߽)Aspt4$&dZ"U+[QMBh uP$<& ͝h#vԪ Ưɲ-qlKҐ/$8ǯӷ醫;a4 ]-pEvKq&hmK Ӟ\}Gj@r/xo^OkҖ[zyf 0;[q]e&iA |۵+YԦH_zk۞P'AͶ堎7?cbmpx$m.2DPjpoVgq(ޡqBlUs))t-S#ڃp#qNj`*nkoظK{+1נ@ `o Qaanj%[6mb@?N!0 W|?dL|*C}H]F^~\[ 6,%0*kD P0]Wv{•[ VM)rF*?Jz[ dL_ȷQAn=[N!gwYpE I1j#Qʢ PgT?ZHHdt?yIavoH29QoJsƺa`BhEFD_FY%|9ouۋ16z)~BGɒ+!$8:Gz`(Ԍb *HXl&ZfC)+c1r~o2]?,i+uRgM-t$GzZaJ}4i377,9R !*:@SL㈸%ܞD/'fޫr/~=#:=ArA!c29s!3J@ƛvc@s꒫݇d,Ԁ[mx5LK7*=8ПIgWmY0=qnk傜%sQC.}FZh6[&%b36[f1!g7 0 bPMTBHj4.^oQTūo)pP0`g?P ~m8l,fNȀxzRy>,rZsnJGy޵m/Xʦ8hsoi /4413ǂZ`R0e~- 7ȓ;{=s6Sv!< uyuљqqr^:ЛB wX nŽFҍ:KVrqi1rCRyO[׆<΢IPղNs7t2׼Xa/*s"e;ϔfB:7$~.H̊E%i`P @!0Idpye EuN'{Ldeme[^& 8q/9;5~Mu֐ϧ;)X궎ߠԬƋ+6REǐWO1aK3eԖ aTq)x;pIc=phh$7QC ^y9YpN7'.[g0)-'z<{1<-oV `$WH9?K@a}C2jǕW\ӍUl䉫Z7Z_I\cǪO j?2 D=Fٙ%'!e3 4VNnkP/+Ȫ\ pT?2hhV\kݟv& QklXjy@T1ʣ{:"3h(ÅEqe+YQ2}+v ӔZ 4IGv_< 0s/11=ШkV?<8$?| LA+yMlS5yTu;rf~GŻ|a3XsЅxj04] q%:*c܄]d@ ji99D}#ߖ;Th{>^ s6Z>^95?D7я+Cڂ5/˭VEb2 =j-w6 9EٛFGT A|`ib'q,mK%2M݈x yl~2DR83iuEmddg{RC8 Bږ`=Ն'SuDaS+&q 5>$SoN^ؙz9"Lqi,ΟiCM{]!37P??Sy-mLSa~Cp5  :o\e1GlPui1 6v  p,Eˌ*t +JU okn6gBÈKJ&.]n84KV8Fv/ҵG>lY];GL1PL|-.l×NL`8&`Gҹ2Sp^/.SF686'\HOpq@-E혒`E܂Dr[DD XL!Sfd+0bwhx^F#R϶>ow~fD``y5\#ZJ͞xH[gQCpSgh\.7ΆGB7%$_ SkE|Y@+CّZ@|M}7㕞!ljs 1#yDDëJ}c\7qm&il` o=)"Hf2/m]>g*j D3I|)%9!3p6]ni7Xmwsu=Lt:rcni!e]қwm{גIKlΨ* B]L"JaUX+b&.{9E&s_YfP&/Z"8fk%9 vZ\qY|8҈jt=ލ&8jr\;R$R4j(&rCL}^p#*[I1 (w=9\1!'IZ"Ĵj2>}yh?)iVtu7FXf{%gYPٱe+:JY%,v:w.F1z$Mླྀ+ϒE fF9&!.( A9)9CЅsBǎYjL<+ߠ7`0x<'Hnմg=U-'0 c+"jډZ:k.tSi.ThtXxIpM 2ve/̥=b W;"Wk$$뚃Cj2>)h͈@ Vј-%/KXf[VV֍XGro^݀Jcx^ZJvN;E<]RٕI@b&9?mwB49i9wn}n>K])ķᛝ36;5ԓME7jsM&\b?6Bqڑ}Y?h^Km!mI蓢^@/,L`}*}%'^EF+1Lk8`U4Qӊ?u=ꄻ}D &!̑Ɉ[(^pP D&FLy/gL*m@L-'t3E  K%fs>\VBũƱcZw>I !sd.NFZx@Sm4sgFQ ydilz?.šJ% MA;(!`EYD+VXvO#_+/ia5XMLl&Kȸ]F% L 05M"r"?pp^Č&d6?bgx.'s3\P᮴!ב%-5~2d [S&,՝Gn۱,zr9/mzobmeEq8h`! \JCrVJJ&Pme&Tٺ"ݦ?̫N: ,sO|UsKu)AG^!L++PB?#%ٍ{AfݬODZ~ej<訇 YS\aڞt5 ޒ}CFڣBJح:/ur~\+'[*@OeL3kfEy`}qLpj|(B0BkdmCӵ.yG2vgG>ZҔ4nts}$d77.8BC;;sȰ_E _.}aWj$P !&~'M,{I$ &4ZoTVƒ?& ,",F _i'e8g.!>&e+  Bh e v?ntK/5ּogn|S ן '<$IQ.PU!y *zN̤_*mX 2J)\7v&8x޷W ă^զ֠-۔̆9`mѝ҅ BO|25TjwaOKB<*$n.ɩNaʌCtc*%4`^ bj3UF`%!D(T-.yԀ*/ C-0]|ۣZzge,j|6h8QELX߾|E[3$mÊ6pYe +yS$K)S7 M*9#p@%0XO0Y6+{WB5?{Aϴi16 p?or)2v ͧ?/ɛ$JU]GOx@kz|ݥ+ ލv8w?7 ]һ%G-Ea?+>4,"%e; /jx+d^0x ϒ´iS+z!q";#"9M1u 3$~HDMRB %U$? " T3#ʿ'j ѭnQ*jc BZ|TF-|Ί-A-;4ޱ5nUJ{ķ]WCu1/ g%c"VB DE]3:,|@Heܓ%dwC %F=L.fbL> kfчc Fa=ao렸4[,@fkl޹|'/*L5Ur(O/9]Ib+F~1֎[uDYK?aYT9=p{ mŀwmIl腼H'EY@g [jtna `W0*VuyW]"2s/l\&:sݗgR4+:$6$8IOɐl;ڙj"#0 l.J M֏ь#6 VDwϯ48$Bq7g;ɂO=J/^1|,pʪf:,77Wuޚ+KVϪ>}EaMv/:]"$ ɤ!jZ'Pcr1a@}ob *H5d9\dLd_څDl/&ԁ XatyUMHJ7_XIE`ت̔W:c^MX?Y 8#s5;,+Gq fx9if}^̋q}=#X][u2(a֧{ΣZ5ܺEbmepq#fyҒc%"|jL0Ilfuz ?J 9Gq٫A[KqTL_>&0 wm-Cf}37ޔU:"oU =x ;66\)iR9%)>ֹX>t-Q__i=doQ1t=ҨbnwB­.{${tYdeWڋ0O WY ۈĥJ chk $=w,T3.CO5u A:%VcjU8#>X~,*-g9oЦ0]yU+zex2'hn03fML o-L(6mԓL!:C/~# ҅(/'SG܅AR/ǘy~K1|-{hVJ5ɬ3s.RCCr+^>J|dxv(.#dӎ`S7hc9):,!L˄7D ;&Kl7yAu瑣EY:cAT%4dH3c6l&;!cW" E;?ߗ?#RfAL%|=+2%=Pz6B=e9 \5 I}׬.]ojo ADJ=rnG$ʐ"9 %8򟞊h ri*QqXg#._VxYfjǔIgYZYHFFuqm(aisq1_[m1ůpzOe{/[INS52b; Xb؜/;jJ'.JjxG42Oe1whT FQ)Mv;u/97Oa/kQ=AMc/,QEQ_إ~ xU0‚Dv)+3D*uqvꑽ 0V qI WKH5etQ'!6AncsbK:aUfhx !y<1)4"%]lqV#o]c\h/GD:'~4RՌZ5,$(VfHdz6t|bSoA1BfG%#W wE2$wF 3ʋ!'(Gp JHpq^,-%oa+ٲ_˶9 %{nYsX!Vum4gսٶb/{7VOɏ!^Ånk9)~ Ҷ5 IО: (˩[6' | * nWWF[!-WM0 N*kq&v&k1ymq,{6x"0f@=)ǾzRHsA<ݖ{lX.D  ]׺`G?,jJ_TMRW$\5S}&xb[$+(J g0 \ bwAC",v3 {Fnp~CP 5:%vF7YFcM8=ݛGv|[ 1{̽)o;U7u{ˊ}hAlPh}n3 4H靖i5#Y!LeduNMI1z*6^R^jcfPY?p%E\ݽol-;C8P $6+CA+.3F+U\7LY2=/.^b }tTm[L;;{bt5Vm[ɔmφ xFdo|K]pydzUGvő2hwCuuMWA'"OY3R67Uz D\b("-0Si)$n.9(M~CFzIM]ll. g8gF9'x/8k,;p0psi+2Z?f+}J+֦הgBBΔ ʇ4dz<'+bnzRZM  # 1ܞoG,g my~QpFq롏Бk?"}k3T❊LjMH ;wW57 )#]PL@pMf/ 2L{Şgr`~w)}gYkD WMdcQ;@QX"VA)X:ؖ| 8k_ukG,A?5wӌ=ZI ,-FB=D3=֫ҺK:bc>z(F)O.QO̞x uNhP0B(n3nP! is^1:]o9]RG/<؂ܾ%eSzWG\([.f SJkHbKlG={Cky^Ǵp?2o| f{ۍ@3I)R5M(%\ o6 "~)V딣RRI}$Lӣ*!=_U0!JIX3XEpN(i3wkZ$Mh 74LTa$=X_HLr /Sꕂ~H:1Ԝ1[gGEgG8N,1F*aQ|nщUʙJXߝ Gn Z$7%I#RXbF7Yz9{99ӬK%兺5| -UF5̵t(:> ^e< v%A$ Ue񶵣/q YGW + VHtm2Q-ls*DRsLV̼0sZKwQoD<~qCiȂ[RP=`?# RE;"NC`n1;CmsJ+wlLhYwب58llM-^FbBuamZhHDr0bAIA(>Cz4hR[aI"GSCJv]v$_`Psk!5i< (ڋ%378w=! XGb; =gYZ6160afa0dfd5ab7994c7b13734fe473968f2d13c938e15381b816f3f1a92aa6a4c4c27eeaf3487ae d1bd3d39ef70c98afeeea92fec14162c5407b6cd