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 ,5zd$L ]/ HOL-Record_Benchmark:threads=6elapsed=137.863cpu=213.794gc=18.7487zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'67>vKt*B'k/>@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬{Tl@QһWPgq|HreGql_}YZ7zXZִF! ]]ŗXi%USIaH lrBB|g$4'8 qx 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$(]]ӼCaU`G}J1'+LZ\.W?N}gO3 d-ư[{qم~*|St.N:& \=kI>"73|cVeˍY9C`p}# 됰+K_ן((_]7oL+uX~erpWd^$wν,2mTR,ͻ#ɚ#Nk74$/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$(]]ӼCaU`G}J1'+LZ\.W?N}gO3 d-ư[{qم~*|St.N:& \=kI>"73|cVeˍY9C`p}# 됰+K_ן((_]7oL+uX~erpWd^$wν,2mTR,ͻ#ɚ#Nk74$ LrtQUTPT14(\ebG~?oy h‰iӄ}2]G1!3@޷Bs{uitKZ]aKy+38-HN*$1`_#5v,e_l\G!`mš܎5X]"QPf!kΟaנ/ #ggxtMyoEEgڒFkj[|0pP9vVJ>{UőMى2$!J'&#%#(GxǖUuew,#nbE{կx>Q{Ioex+&s`e;ˑ^պLnL Vqoqi>Zݦ\.|.Z!1r!C.Pt4QP !A]eۈ%q졔u7ʘыD (:H+Bk9K@f՜أ MYU!~R_+6Em7 (4_pMy=q.\7F ٘S4`fEqXIQrL }G=AJ -}a*F"暪+A&ZMi<@*Gm4N2!#$zm鞣@)Xo.rWie5Mʳ9[BʌA|e],|FuzWvIFHN`Qg|lqniGXz;oiƹavYO59>*;Jt-8l=(p2{-ބ_4` 2ܙlɪW&z ծ%z]]b\5DHl9?6M-b3Дy9hy0.^цDj5),v(E){q !@CLC%3$_)M~ 0&vr%s^SJc4%f Ǚ'?rվ9tQ>%mR])Ц`r2U 4nk Omc?i:[*U``}M&Mt}2cM}j!Wt19`~Yz'KӶW;X ަzWRYRڦ55QWRdˆZ aWш!4G%p^y˜)|-[h[ڨ(Ҫ8 /MgPR" ĂQ0BP[%+!(f*á6̌d 9/Qai!?]>\)zt0)tҞI; 2]jv-t LH˺ҍ +vjS~ t=@ 6+\ρF S ( ǻyyNJzS::\G3g,gN(@3Dfʥ@83ֻ-tT8tt_WkjA|[Ft$P%e]XQ-Po\&(]S݌h 3l:~Km,bz@'됟ۥs-#azĽ)Ảr&x*҄[APq&{:!9aT8c. W@:-{,Jow酈-zЋC:S$h6G2 bD"0fsM05L!ɒv (E M;iEdHb%cQ"s{Dԁ\ f2=EUEbO2oD~(RspN&dmW&*Ga-`GteNe7z϶k*0P,N_88}|=zξ*Zh/ʟJ#S-)%ü>GByɥ>B$3ߒ="j'12x^0RqJIFSmV'S^޵Vᚹ$gJYxLIk+÷}ĬP1CX)@h]aILSO. :DN$֩;17ң|V!ũlgbK"zxʟ })= .'yU;pUc|I zmj`Rf[[jq:5\֧G؟4Pk C`}&M fTWE@4%;L:S\6 6hvmَiOt)rsɑ0wˍrۤ6 +omY\Xا𩸧S;" Ozt3V|#C?R4̓maձV2m!0Ll+ P^or@dn( מ8\HjѲ(c~ 0.gYZÕ{wdݪV81tz[J1%1<˾>aye wU[,_7._9L"}\(`Xa2t_ Ke3`Fi07yoK`ʞO~V6alo =c,[y1lJ {Fp"{o@)a)8S;jeHWGV8 II}bQ_0sj _?*fZ"Υ`^kL$PC֏;_Uىu?u@( ur'1zs'&nA%qkI9"+ry* sIg"8̯&Jg~Q:oh.ړB_3$>c{UMJK/y1<"# -Aj`7Fdw'1㬪']OBE TzLv#@FfPQAei'Ւ ?*@Z]ferrNԶfcŸ'P3+ڍ+(= !?_Dz;wO{2˽fuOLWWQo宝EVV.=qAm3m⋎Ojo*c3dO/smn%1A?k[ƠgkyuBg mtE7QcL=S*9 p;S2=^'`>`sFܰeC̙Q2pIװlԆ42Pz70 & -j)8QE+LxSS\躬f0@eKUvo-VU=1P S45VA@ħVxc7Δ>N 9%FݔŖ/X\LQEzj@VUГ^*aw q.LOh#C3D&a!M6%1$KX ~eX DS7G_(K@xf}XT3a tB@ۋR[s%9M~vA[pvR|?,g,eK^G^m͍}FR}|>,Ao d"^Ԁ؀![čͲ5mkW.դ$[$W^9/9Fk}9|oծIQ*J̍9֡ Ŏi58sd:ƞ)[ʠyXhے& X| @2 M аw<$EDD=vaWxY-`ztצ݂Ir ֓rف'eIB#yw#^ؘ\C&4Ǘ\ (ne 䞛Vj4ʄ{9tmi eML\dYKADusV삵@(qRpM~ryFU?<7&z߯8߱xq?HM/LmԵWD ?\܋M_Q!e% ]&繥)i<\Wz`f76oaFi:¬ØG7f _Co\á0ߝ;,s7OSyM ] fmddwK{YS|ت=g"jf[2ⷆ2 6aٱA*-$낫{6,MP5-[bIw?*EųR-F0دQdP[FCjqMϳv˃$IkK) n'j0$r;rqNLmNވF 0['RFٟuHdmsNH/e #&SM\Dzin]lSa78O_@t<ӈ0.#4 T@cö6*H_xꟛZcWmۨ ʨ?%8o g+e%q謤 rhGtf!> AG& v)hHȜ^j_ۣR1 y>4OΤ3v"n]Qq6GjAMkt:lAy/39@>л`sv'${7a Q!+)xsTmJ=RFHӹS\S& gҞמQ~h3T8zku7(vqE"ͩT vvuv[@zFAZ~$-l -jHغY˟OȖ;r9){Ļ^̴YmF3XS(B4ayᠯ3Qӟ @SRm BVg4wU pLZssM ]3,Ѷ5TbL#AF 1O%zbgK>EjHx訅Ije{=m+/jBRaT/bMv(q"S!Zt_HSoh1"-$͓9XT>%"wc~ wPM@D L<]3Jߚf1ZGO4#˯LTh]]tx$ k^Z^&f}Ę!/t)mܰO JY RޙۘJxB걓F؋湚OGHK m;Nf6IG&O޶_xI߶9a ndn8?/ ~Yk]5/#e3N7ؽ@= A򓝙OCE":ݕMDOZqyz>~趎ERQoQ'Ismps˙aly ``^*!OAPH{,,=vn#>zMj){tK<6H3g.X֝ye;ދ s@禇.?r3GJ1!N7JJ 4}Ζ6.m}$I nytTv{eSV0q}~gdPN07c QM%+P56I]Gѹ^:1`c'9 ܵ+YyH-E\>>]Vmty.\Z^6F,yw:/^aK=v| tS璠Si- f &wK\sk07 mI1tNZ EŨ|F ;M( 41gQH}TtAEB -2t 'f9R RUF q.u/mtkID@7pxTd5-_My31AN3X7!sZ!H5 efJCVd.lP)sڻmxk&NE |9LUČXiQ#wm Zw#K%u\)}\BH]3rRYG .~5#ESI/yo.Y YɆI |gqCPYu?qÒN 7ژtK~lIea&>o]un7IAcGrVU"93wOH"ssIɏD džzB{^[Π$s3Zn \m%:hbn;,QJz@Ⱦ ˜(ќ)~Q33v!-LNGTu T7w R.oZi" GJݪrPKjc 3@={RRN@WbgJH Tj4Vg$dgLc ԊbOxWP/f q[X]ЕL;H+ V:EUpֺ} S5tPѳg* hLޢ?QB! xn_rMC&:{6;=G+>ߟ! =Y)@E< "tie!ݝW!kt\W,H; u~_PRV>yĮ/<"Sq1E< ѿјQKiTȍEmc2%R-Vlo iJq p\y-ɬE4j$;@p#3 e!LBZ57:;Tj'9wlp" ]kqlچ.#f놛[VJ'wDžڠ~C݇gnקPIu|6&҉ 1`4^U#J\D{yj JUVEŁɢ@i>1VQn({ `Xʹ`.j\"3A Wklp˙rܰIk?If?& UgDBlDطSvjFr\)kH {TFqdߨ%UP5j[# 1wos^H68\Rw<:%ZMm;^58 ;MkJ@^=)J ^5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w?\/az7v@aLd%RƂl޹sUʐBLPaR7MfFtU/J 53q<{*˱>6:Sl ]9*Rb'o2untMV1mp@ZQ#kqx~βd`v@q!H]=ۓA6EYeoͧՋӄ #΅QJ6j@u c88#vŐ')QNDP8/ݑ+ƐӭL K Z}< ,2^{4 ?6jGdY:4ypȦ)깊= szD ˯o︘ 56B a^b#tSBo`h"&ɲxZŦA9h[U6%4Wڱ.?W;XRvg}U>n[!BAjcYmߣwM}x1|, ziH_'+j2Ifr+gu&~Y߈3Pw/tBotqH˩L;: 7E%qA#t5:+fvK7I6l2٤u˗Ɇ#9DՕS!U:MgГƴ8*;})rV=q}vIW6 6;Yէf)W껐+ 3~ܬY[yԁ ^hՉe_~ў rIσTVؖXp3C/}qh+&H\CLlvPJ:[|zwpnP 1.ϓ3 WuyK]9^dvs{:1|ƪ59豞 1ץ7,OD=E U)9oY9AzA:DGr5~!䴢گw%{B)x&LYXQķ#"<5X\Jqt֙?EV8o0 Pn9w|4̾6ؠ:saZ%EH4~_c6߅p񱏬U52U<O <=0d4EVϺ'ŕ9{7<'{] Er#%8!U%g8SYHu1O;v+Z|:+"rC(-i@3WlPW5i+!"V r[i%UOd}dk6X b)[th'4-QPǻOpvmǔ3 x\~Q[v-iB7dr..r7֪@gx]h!גMA|؜(mZqCot=y{#RpQs)eǂ_*}Ui5 N"6[+K\COyzU56#m[- al˼f}dT5A'ȬܮMFHa7lowŷ<'N@oN8U~]LtxfWʊO,v1sb7UJmy(鞈*Ў':UٗbE> !CɠBѢ.=]3jZG!!x7b0UңpՒw+X ;. ׄ2ǐ0֩pl:7 M5YbEKM v7'MiL]f"=LcmϜֹO*rs푋{'=l*(1Q+2%5SD/6Oůvt}X"Xr7RdVz.|>[5օ5ت3jZ<_==GVu|7<">D9Sf}mH$:G2o2$N83]mh8jIWxZ X](Ь>a]>Ԡ w?U?],vvlxy;eG_Q $NX;Fjk#;F-.= Rv5B@w f_cLÀ$P*|k"n֎\&] hX]dcwZb﫜m b.2y_l@[C+>fyi4{a0@' n)~K.fI@Sp/fv4Pb5Hey×S;8@`??5D5V>ٗ_Æ18xqi4B&_Jj%љ8%i[:wPzDb r⟝?Ld\QӺXBs"{S;,i43 -Oi+tY5Oz?XdG9Fyf!O iw Q'?qBir&f{m`BArciea-=M#/CT`(UfORd+mODC͍سa?ެoQR˙mANZ"VX~o1`Tc 'NB[+uj_͌, ^rܞ34SEgկ+r 駜aW&/zN0= ҙ:|fLZ@twly0(|[sj>>f2t]hB(Z5$ÌE R3LdOOقBeJwR,(d D;E%o yxy9pK]Xnyuc`upZ~EjhiϪ( ؐΊ*<ϦP+$2L^pMx2硨ſZ^.}p7*nHLw`= e1*^g0-i55^|plKy>9bB5$,Wf5yy ؼG6z}(TH25ŖjlFL{k3apP}Uwug j`uê$$*/C> |},#Z}BڂuC7 #D0HQ䡹{DWgvGM(z?2^d z(BzG3B(l"7.o.2[ӖE3>rm=Ir, ˧?2/~xgC5o$/rZpAx۩QVV'p" >D*5#%[`ZkQ [*`dzcabO3ӽs)<; Q (8R ;;S=ޗ+ڗͲ׼lsev845"_.Gnl#A43EM,+Q)t s<1\MCnR? ۥU [ ŞabM~D0[_X Nr(NPp{3to"gU F@cAH€JiЀG~jHy[AzSK(xK26j+#%ߓ:80`{.IX797X.gPTjqgΙ8Ge1,wmD,=lP_NMbѦ/@u(N*!w$\DX-,q+: 0DM\Wo IM4MA Eg}>,j•O5![ C/u27X?vޏ1)?H#&Pwx, V-Qx.K7D0#B[ʹlʋ'K@S.i`r$MN!+$cU?Xf5C`6%mkYbOg npCyΠ a6=PT B34M8/+ sr '* rznLZ5fy6Ѐ/#^Un4@|F [?V('*7j%3M6iaJc~6 96uY eE?s>w~kJ?9!A}}ܼ:ШBۄ&u?{io$[-kۜӜgXu wֺO(A!B%WLeXazt&݇(<|Wcvҗ0d' pz7Kj@kh >nNs>[kZV=иE|gk(:JX.Z$rw%sm{*)eqj[j@K,;NBp5UOh=ޟ>z^=4}{h;?;3IBzgV!>;hwWm G.OՎ?n J$i 8X4鹉QKi#/[a ZMq.:d00?0v-66RG"_[&%2<̅%} ޑx>)A3zD vA^|~N3yL+DbO2@-0'Ygd35ڤ&[ysُhVcL7P->%gL(꾃Iu}5+|o{N<å4sxa\DӨ>l)kxՙ}5 c=`߀7_X5⡁͔q 0l6w޳Ө54s*Ռ/uF-݅g,PS&CǢ֒i5 (ӷW)'5Xo8Zq z-Qw£Ҿ#|sut +2F8_4w6^ G }Lh<]5TP GPA*{5*!4yq9TAc\l%@ Y=OfJ.ԙT3X_=*Ib59jaJfGGƊ;EaRaMR޿ܶ'MŶ J^<ɱ>H9GiVGSz|e:k!~dwn4k]/HT<ơRDQ>Bvy$A{9rdX6/r&iŖ~H .ޮU%ژR[ zxMXa$R4˓ZOG,yXY i jP5y3mė}m3hDrJb[\(:8@ U|/-{H9yfBYc5\6& (r$Z.Gc ՆO;N™D`5Q^%oubBnד/6*]gXecmSaYIf?oOMt-(Pm[Q܉Sͷn&3q=}=0ya{b7y`P`5O{߯{6:.}͋*@gfˢgNg iS,F욪\'/-A5EΤ"'1}LɟDa('^{AJr PsHt]^ &#-Q4Z(ဤp|7HZk4"RYɧeo2ʸwpҽl=d..M4VeU"ƜЩjukn ̄r:}#(%)',&$pF 㭦cȳA& ][ryA2߃Tyz6ڲ]F7o\t|5fW YxI⾺Ǘ}<XVu~1[>HW伷_0x(*j^!(O~aH(͟',?N­!&dLߌgn沆LQYZ櫝o_e'EZǦwλּf<+z!hfbEP!'yJ&g,2J r3tzd.3qܼ֜lՓI6ryl R8?XC1wF7,Dtק)O*rE|^&o62N `ha' p~3rZZOPv3*nMGߨ{@u|;AJ .&;؝ׯ3k!QhiY>ʽ;j/ GO4ϯOpݜ`7(3& < '3:]}AwAw(-j“l2t=;]bS.PQD9;M8y k`) Wy`zܛ#;߫0,z=(ϦG$.vp|S)ˏ Wfr{ qNanϖQUdfΞkL bIAO:O=pc Qm(KVgV"T2C*Lhd4a5XfC]QZeLj+|߿L0ĕsS ۗ/TWb=N$irPTU{8dbYlSfUbkz'&Qi-#VP Kx)b&ig h?)xz94M#FxH*ʯpG2Ϣ)mm@)Hϣ1V xahj^=mRo1H:tvt+rrD4 $ ӭ&t#i&iwq{wtt^~Bqz̋]ThִV?YmL5C4W YN~jOA ewXU/BY=[3)_Pb4SGv@m][짫.2'ALg@.}E${SA`bia]K٘@UBNʲ+Jg<-p`)0q};%$ D*7Jz÷)NЌw :I O؍y_qP| COXd1'%fP?}@ȄM[Wv(Q,/uPب>1-1fĕU,P`D MKe0E6@'4귶v:j Ph y misG2VH(* \jĬN(] 9ZU%V^mYXg۵#㈙rNv!Y<[Еy՛PWB0(Vr|,vR`k枔*I4PA\j$k 7t]h$ {yʄ2߀^աOVPo°{OѳF!ɢ]mcOy%ht)"M] گ(c,#?|Fd{*S/9 N_LGF0`.M\N]ʬ0|Ht$bH7w=4 g?IװUft9~+-|WxCo KuvDPP9Km)>E㕝ݖ`pp,C t}$)h菍ǐ&fLq*seG~?;Il=Dn\h{6ⱥ- DytBE*h)M?_  wxtj%_띜 JogIǘm9Q:QG%:|/%$sdP39Yn:@F4rg]v7F &_).,*tv!#}븲4~󮐐ٯ'=, JTP^KTtY ųe+$Sw0fbzڥmVx?@ l&jFF9炀`b|-)mxo@RbKJlS}_Zi':VKʆVҊ(5 9pCB&`~P큟y[np[ϐLlg1"FjȾ°s@B 0O:YUX^S 暴{Řj^5Mq4t*~%mlAJ߰?g{AK$F3˻[15[W+JXM_Qܿ<`^ Cq t1_ekI/K^ c? X ]ERg0%r۾S>_4^F Xv "rC{ 2J[`֥\S3} pFӕ" !V'Y*=@{|_4x6 7!s] % JMA~]_8.02pA=WBVVq}A|kn'fþX--X'^*T&I^HXeivm{ľk҆e^B8NSg`|q6 5}ثŀ,c1&ɹ׃ji%l>u_|CŴ 7j.FW{`tv|%L~oX2%ZfGQS@| p> YE|pmRΨ< Oɢ^ ; †I( 9LDU]F3r7 q M"[6d~Zp;o^\Bpd5څNFy T|l?].8r"'ZS,徜ܟz;ܩ"ǕcF3|=fBef|sCr곖+@'ˊecSFW5^G`M"9?O*DƙR9 \9hIvyH 4rO*t)<ݮ&qFCDLK 2p__N ծmSÞd6솋٘b}A5u+S;\p)|O VEjD#/Cp /NJm %OL(')11m\瑅jq&f kY&5 : +֓JtYiC:y)JȊc滤j /FR+sCoE 6 *(夿P |I☱,&wej~b{x\[ v 3ǘL9* `\Ql̋+̠\TO!\;y6y- H/X@0ܪqI]ĤkD_l+;Sg݌xO ܻE΋i6Qti\Zj\&}BGvi~=$%پ7~58tU7mf R N}antLelMGO 0>4D=.+"::?z)[ Og|` ,̃nkko<ɢmx۰X*vFªA+VY)?[Q[gR1F+(q) Z"ѫR}cE7v{'q&³Y8''s8 [2UO~r'#$Ƭ"UQlrQ,Y\O2\0-etyۻu'&zq "H'x9-۫F?AI 4EZW(~QZ>(7 -wK78śfJhMO1=g62q.ٕ]ZrS}z3iC%irUQ/ "W ܺKAETWFEo[/#ÑxJ&ǂMO`+LjK4e ȘtV!. ۔EoTW֩ SpF=g}i~0t#|,աc{LY2sװ(ω{x5ePk̪Icz-IINv7.vBޏ%h)ToE:Lhz ?FXb虮"R]ivkbg!`JiE]#G#?zt|9YŚiki%X&#@ՅF1sc,wkCˉ,KW5SU;lXgI& [:tNK** מfc=d幉-O_!Zc~Uf^C{[eTC dB&U`fN{aÖrO ] +ܩbx8CyӮ7Ka~ѥWŢ}@. xU ̶Gm7$g J+NXn@Ar8*7Vvnm,ol74Zj5~A!._5ݔQ guKYSԣ} O|fpm~a>NwoƿտbU_=6 =wTosp4y7UHTw"OʆwTّǧa GyzF(="dUp+-UVR EW% b|s\0O.o=%bYI8^s1pH5Uq7~p?,GEasόC"ǒȱyYɱ^}BzY4̐giwsĀEDDy<+{ոsnM:MiH!zHPI) u+\x甑ldeNUd涒te&Ncyisut`n:ߛf35ʖ]6+P W*wģBWMk-x%t ULrHUx4L^s@sD@ZM]`Yv;+7Ј& W7]j z *G뒉OHӫ!@ u/O{\/CLU7`Bhj+-1 62h/)ucI^Э)yk4*TRK 9W #u_E*<3NE ?٩ÂZ,C|ɁW&xߔ1y%P;5Fm@p?nJ^nK.7^3;b {FVE[gM3"Z;^QA;Of: ,dnaW~A+%n ?( Q+F2H(˜{yyfΡJ^~Ieyf̵!8$kZb,!,Un[e>>E)1ML^ 0 M)nc+|Hf3B,^D!(V=Yz8!Da.ĬŇEM=$ 7g5.Ip :-fn˦Ti硏3Z\sL:#1͆v8!$Yw駭# !L߈3YN& (\V Xt@z\;zpDB31Ni@|JEsok5 =܇>Y X=Y낐V 1)oŹhlJ $=sǛNrkffOj Cy9eD,tq_0'6a, e~@W/LFyz5޽p}ڀŦ_,疅W_r~q-:§"wiDEU-MUñ ېsl/?2/Ҏ7pJwǭb :A! ?~waYJq3cԕhT)&!4JM5J?P0=*-T_:?,S^hO~Zu= O CDTKD뉕/$t`bܚ!otjE?Qr7P^"1"վfMh0C5F0z7Ӗi ܼIETRPJiSq:5ݷBhFWleJ:}<֔~Xj 9/4 |ZAIt,jҝGUNS?%+Jd>yoxα!aw&t7tN-~M%:XDeٳoF• Ftv(6hsfaŜ&M*s<']r\!Ĵ쌳lQ?I(H`rr$|P^ r r>:U#y 1ZT%i}< B\ƈZV2]Z< _[LWH bD0g'Ņtz,_\pcD)*ncƸ]cW e0䗮fm^Ӱy.(#;gYZ [$K[ 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o*Xs;){32| ocq! Yc` =Ð~Wt*sӀzB-//KG?_N`(B8*$iAW1uLeBUo S{Jl]1$C%Y5nit\I#M6{)a}e2?nNb.XBϝS{ѿ@%Ey6ncgI>H,q/ɴe0/DFvMOLR  'b8ugurLjȷc|+*CxSuv(ŠB9Zyܢ;i~kLu*M>ЧF2RT;ʸ3oe}xگ*|=g@~_S]Kr h/Ă*F'7/g-vKg;n(n>MAA&Ɣb)'dl'}`G Y40qPzK{h'2:stܵsiYF6( Č ]x~N8X[-} &Lbgt^[2KOχFg@^TrLQ{:iFn#CE@ ^([ J\(Xn<큭e [ Q2j )Iqp^f0Xjg=)|#K^\$>dC + @ 0l@F D^SVrRaE/.LI7ކ֟Zz36F)xrc bnrWDUG6sQ40,u~aW, n*H֦ g$bɪ{z\,(|`|JAA3T(JXm =:=WG (T(THv5. P:N,x\Jϭ4eM Llиbd*n:6-ݽQ|q*W<{74Ymap5ZgN(ɆmĪ-HSǴ8/e5qD,A//Z`UC:1_ ]N, 9ݣhM5;E)`hL4+0ljwưqtҸퟔw@J 4@V,sCXD2JZ+g95Ldy4 $~QEh:n579(omRiw @3)'~){+k:@f nI$]R\>Oyo9s/|[ Gb]uz NXcIΨLܦ{U/Lӝ @Q]l\xVσHiLRaDhySlv4LDւ"-yPBe:[D^ssE>)烼P܀]Ŵ5g>y.cө"f U%Q8rD^{ҟxf .t $Zkxjcڀ+ַƏFr5cꈩߩ PHb"{0-(sH'_l<:I)mM ac5 iBXڃĎ/, s2Ol>tE\ lMcfr"3E*wBE}pP7ه+*rMSH~t;I=KKwTL~(YJ^b쩨j ~|~3IK&Z(!wluz^񊃀Z<eb㬰*{;"Z'~|\]r uu܇NB4U25z"=#x2st&Q)@zf{RUQş5ܗ#Á؛D y^.P_rQDŽ3DC9<_B&N)j> <]\,e.fm2[*)~1奺jGMRˢ{2)a?ۼPS]$, ;b,#v^L׏CQM\tBƪ^N@:7, W\O`Z45;f!j~B_: M 5~CoBD֞̐g!<и[H-gVmg[K&2c98O$$k7kM QvnPZdb iy~ԯthBH-1Ff9hvUKh#Ą\7}Xn@Q.np"mzFr}51<[`KT&%nLwvA.0?>"CJjK s Mm _k=hyo53pbe!eFХ/h6Jjny*c{2<'^~g 涤0 u[u<ʹJЩnez&y>+(5F-&q<<9J2ɋ$uC͏(1 N8re}p4NUB`=.ud AAgx]ZbrJׅۀ8>l0w ʼfK+bW3|p>m#N{vX?ZWl@g$\“Hۖx\QM`*ײ7dC%ە>r( 1 ù2'j=Q<'.&Iw{n 43\͍E\TSdF a.PLNЎWO~FB,|9FO V-B1>:] yhvS vvuOJa (q 2ɲ]Uj pLkE̩?BNtGi66G_ )d_ZOQ2w;C>bn;Z{ |Q Řo.nDTDiVkJu e`tZ[L&)xφR% zx;`%XhOCJf}VTnkA,j~bzAF[/ -|PF8'/ot e, 'źr`6?o m];ak TNLgg Ϛ6u|ܼ 9V@YIW0pƬXp$rs#-9z4dOĜΈJPGWey@r4{#$# b0%*O3?xT/-Xݷ(OK6A3vY։|u1!ho0>@\pzKa랆nʣW O1CFT m8r(𨋨פehX_]72R"qzb  cQB.!(_ ̿ g ,PKY,MA! jg) yܱG`yFQ>)VBO  xD9 L, ?h/SXG]Y7+B!=NS.Nr: eM%RizGf4?=0MW1#ڞG 1^UP#j?Wø="v]8;;n Rf_@旲vIioQP9Dg?`jڻlh'C՝2ÿ`$\ĵRvo:q%~E- HYf71}YjWFֿD%~Y{!N>TQA',;}h=q4/¸* B8GB  "-VgUT=zܚ5ٽ&\F#( 2hoTV7fǫ3Wnxs9\˲ uziG .d)HRh e{(Ծ> Ȍb/'/Y~~mD>5 !NjL%2rDCtoFv+Jq&#ԄQ;*.)M<5S,{A m{(#+Z̷U(q!" 6*TC9_`nz@ܵMqcNVg5g@WߤiH{6lصLyo=BoH^h|Z! N.Jŕi1]n>:@+|0(&lOcNQF9 MQ4aLb'a% 6f'2"Ӯ299Xl+p[+"Kg5dW^"]x)uRr(ݰ8PQߏ~`-gjCBytSˠj xXFl@.$qnb gn澇t M.t_}SBi׿ ,2Ɣڃ"O\IkM 3 l8ʦNv{9 \ +rn)n,wjJ5PZ=v=)!5 ^sgYZК3G.(N,VtH(᷆{)K*ٖ|d̞G=?%T+Fꉩc ρab\TB]oR2ED cSqm]=+czrxʁi z5VKk0faQژ 㽳U4Fe#aTC@y*l nz2,Kwn> hHK)D[Pl@P (nZUR3<+/o2 pHh;PuV +v7 i.;$RPnv}4ݘ1NzKCd|ÕP$ ZG)e!mi;E.>:ɟz6]& W+!3 j}2:NVtms>hʍ\m[ۡM0V^sů|Ds^E'%-#<%3.O* N}nNDw35WJMAptCc ;]( _cc`o!Ֆ+6,}lZ` &:B9S쫿{z`pLM*qՅ+8dmuklJy.k6I#.}"s'gXW8 "`7 m`ǀ{ap$9wŊCv>f]Qi\3!h1FrOPp;ar+2h&C+Qйm|A:hT0bƺ1,#W*aFpîQnGĝ/2}tvKksg(Nv]u1V/_F0_ȧЇi&W-w̴I dG幔#.G GNkzf@+u)jeNېb@ I6CM;Kߋ{gz$! Jŏ.StV, R6"Ĉz3 .hnwf^`sXGE1G V_CDf /? j *TPLʆpߡ $o8=pNx)Na3nzdCy(5mm׫l-4Cy!|}vD$ЬCB[0KH0;*.(x8°–1*ypէaJ!NYE bYjN|K s 72V/F~f`K CQNj#bh4)浿\~(Y G8” So י[)M4SRP+`7@1 L7++SBU]]vbI[Ӹ.`ZŰ ,.U*t%;i0miYyUs0;Z1|Ř:2Lf#mMgI@Yc97#ڕ"ieO꾎+ObPY|#Olr]WLk Xb_F$Qf{X<. r}nqMiyYưc죊=z>`L%O^!vsAD?pOʥ덫96:Ӊ8bfY$I2/cBUyGLEP|i1 CL5TL{xLC۔FcHď[vqжnw!*ҨBE e*yr>6\bG>U?Nv͎Xt7Elj3}_? 6sf'|׻T -lveE:reu1;X" g)j"P },4ߔuF"O Y:LT߸ԇײ'^'1ޮgqNNZش][2ƓФ>P`̌=Y r͑_P&XV5ӵQ28fJ-<>ed8JG.0#5,Sܢ4P5!E\6jdut` h= VO?mz%N2TϹE4U_?rR]}#Ԡֈ|F2oz=i4sRU^ Mn+Rظ5@1GdDhAh#?'ҞK԰;Ơ[~ V=ZlI/iJaFO ꄻd"?LLX@N==y_f?e'uVs8`U,z=i z g%?1P z`H:7ЁP^e34yt=[ >ږMѫj*,x`*DbͿ@qW<zm,UVER7g; 0r(h]y;H :B7Ah `F=6DZ啩4 p x[rì1:iKREGF}8G~lxf_@]N.|vmGfXJMd ]w͂ [y<ҥ֘sVLYm`C}XKS(A0\8i"͗BhQΦl@o^c8,B03)L/X3b uaqn!,vj(Jk@8I$jL/P,&ĵ:Z&B\9t:[VJ96nE^Iʈf`w#|_E-:3y v)hK:%\^h%kPfHC$G_w~]>|f~mx>3Gp9% 7P`P͹;%S}s"@& N'c!0_YNЖH3g]_.x92Be_ёEa>Fvb-m`g T QDc]1G65~4<tx6QZ:iu b(RoߗgeIS>~> c1qDh6kmĒ;ij ')rqdgw;~/PЊ1:9^RsVYOlǹFuoK|imCrS(co n5J#c{Y/^~cj/ȴ%^W-X~ٕ)4Fh1АM"///9vWA;57kz%E58 ,6![l0@h1  He9;zҷ WĭO&Ѓ7g؉>kF)<[5v%A޸W|? y)sy`>D8AK̙WH> !6OP?`s$fujL 6`v05c* 6U] }@_,:@/jZC ae:S-Y틮wp\͵=KAb4дN?C)P8О%.t26@xJK sF֕lI*gOR_A/V|tkF X*u*߰| EUuT5A aXVGU= hxt~,5_GrkiKXN[7+|[Aw9) PT f߉aeg i>7ߋ/-)jQgƼyOD/s#KTkGeڇd<x}F8 joIn.bfpWGy˜[0ho J&S5GO`4#(9hvrS]cԐb8_燝e*\lXG>hUQ{fsuYNF~4:wy##+mi8cG؆;ȐһJ ԅP{zeBF.a9'_7(Dq1΢=aIW`bI5:ǟasM݌(}Uf֑ԾK)wCqG-{0% r+ ='% HgTm{r:2$(`oy* [B<^z=7/pN!^\ԭ G#Qdı sNt :`Đ*Q8m|UY](8n qM'XOF\HxJU:`ykӷ}L73oT_E*VKid^XokT.kbPJR8[X^!Oe'D Cd\UZ (֜ 6o 28E? 1DKg{Aǂ_~$Ҫ @#_291ݽ@G&to\Х,Fab5vϱuuNOr!FwҠ{`jXn77B($Ljj/){3kXzd]RBcW@𹐈͌i i|%ؖ?&_[L1чkXS#ZH%1✭v~;޼> RSA }>4g;"0D ZqKfQ;H-T]ު9w\:UCY[vW] +8TWK^;51"Qڼo$תg wzMl wqn[Xh-) 2Y[Ggjlx$4`%'&M]"U6]&L7=&ߟzbnt!2,6 EaZhPFO _pK˷ջIhf .?ϴDMꚷO.9"И3<+UH^^Ix Ԃ!z0LrL' P:AA>t1nmI=?_ oNnzQt{Q}Avo-~mCM-c㪙jp_oFx=Jg5: On2U>|H~rs%hhփ]>,}"3PyκrZ~oKm&+ն*q9ڕGF"~ԏn+~M1&jlQ}..>sn_0Uv:x{U0:)%%WÿjK>O9Qߺ*y7 .nլyhi PEz°\?=d~$\T m.;j w7`#EgYZ>qw,r܍j=oKba"4b\i Z>"Dm '^+f@ÂîQ# "kzIbr\T.o_—"ty+Fv\"b}WX8ͽE1?J(_>ޛ0}+#H+sNHj@R*{8B`y;|ZF31dG%UhS(ݖOae=YCJ!!tWwI$4dq+}=iɰFx0,rd\ʧlz WWNY%w fdKhJ%ϼHxBhTqmf NjB841[ۓ]\Y]zu4:o=~m q>[V>k (Ml3 uOCOV"kb*4fL´}-L>G̃XOxr|gC[MiZ7z; 5Kl:1{23}I,ػʯ7lOߙETvԆ!8!yk}լ2^Kyw-n, oua/n>bSgCUXDue`UL0Ԃ)BoYڈI*e~䝾NQཤf@ BxgVH ݊6 Z஬u$hoIY.;HT?X+a% )%P2x Rs H- <Ô,=|P !WymXA,, VȂ>Ge#k#u'Қ2:7f 1@R'}eeN Mɾ߿*#YD5$vSLm w3Ixy&|t'9@G(Ne ]4)"z@ z&w]"EQF0~[Ң^KM8򢉹#%-b%.b'g}HJSٌ -k J3KłP %v R;(ssL_z׏Aeb,u>; -B&4 9HGJ ETP}2/4 DB_S:V%\TAS=d57ǷY9v&Z|m Kfe gCkz54+0 ZFH +HHP4);h/)l 炎ujĐ|g\Ki'<Л!* bJTtȒƿ_&2 GB["ܨaw0HHZJH'hg`֖~g` JQ%5ǝ{[#agg,μ)LEfʴc'ĬMuGYYu x/\:, /M c9]S iHics^ pBWj|^-V>+\hn @k|Kϼz4ֹB,5T+sL`bXW)ݼ/.PN|jf:7[]KJ`*hf Y=>Ⱥ܁"nO> 38>BrQrAfo44_[h4S p=Vw90̴zcUybhxsr,:j~ ÅTz[˄eL鬗-i+iMm58KѽBrDM͓*ܹ4W,MKA0%>,4 ulv/q^Yejzy|$zNlǐ:,眗Ò0FS&2}x /3M2ZU&:TȚ+';(#}sHff)ߓ -' R9# |(APo9E1۠g|!1LΥ !l8Wא^Lzkm_9k?e. 5fT% N{i!QWgنºnٱ5! _n<#0uKGFc!sZs , PG8ъLm{NZ5"FcY2NAsZ}9/!J:$ΪЅQop+)uЃJὬ#2o*EBq&?xI%*Z(rES̞<XK't3{ȟPtN%xw ~1 <ڐG5d|U]yJ܅I547gobt)N*X @O?ʅBwI3+?;al-]٨3eUl~1Mqͺy@ɋ-O%:VpJ;R|*ϧWK]{NkcvH>g.wF •UU|tt9ݢBP9aym++ -\óHO }f!g!Rc) Wǰ[6jD-ndMN|&4<e4?F!&b^\ћKJSh:gmeSzŐ.#-ƭyb--SF :`i5BhTDL^b)(g]8&,e͵c/\% 3 (kN jf.D|k\f"a}„#j'mW~Q;fF1Z*h'vCmɨ/"%ڒˢ-:WoE>jTҶ\ңtvG IG&%Az WBT3߿c%gy*3iok_nƳ Q9ǚ(^$Z5}/zHlͰ 1dk?w^b@#uWzz::8I4U,ᮎ+W1]3YOeCI1:رl#FEߖ> u~S9 úK߇ј4da]I0a)jN՚R Aϲ|l@LR|:rc5 ̩`ᆣt4&jixg ꩖\huf%l΃?GW!;pg)Bj/A jV#MNSiE, G/sD#j_]t*v-V'xܷZZaӠ. 659 M: 2&Gx`63. @ PKlUGs/A=Eb /ǩ.N+ox[h+ 5dya3E#=<ҨIdTGPM/(h=AQ > 3"/*5oNA%lTs-L}XCU~qt~'qRP4)Leԛ8{\_&M&%a`K.i#r[Z|٠e&8a5Z7L7tV 3Wȧu?\nD}!qdr- [ !5q1E%"Ɩ_p6 31G$-,:| wr%-z,2+s🞊Ti.I؏ÿv=t9]_T@Lu#M<T*Uzќ@aRLT,σ;d5P3a&2|ř82~@o@vSy_Gn]he˻êON|C2Ѧ%0ϔ/D`06{ ž\!8gO(!y>ڥ]ߪ%b# ĝK0\p~ͣ 2Id+Rp*X cnئsۗRMkރlmXvm?j D1IxBՇU[~HϔD\ C3k*@֡=Pv{Hc-%ޒs\w]Rg9Vc<@2docTi1>)Iʩۄ9]CG;TD;L \84NӰpĦfVJӰEoPìsU@Ҵe`рT{{ƋS m_w UՃswkOװ/,fc@vHiӇ( ;Vipߊ 㻆Ƴ\&s#"Q .Wt%8C훓)c%,W'o^]M΀aR7V[`0雀HaE(#pڝ E׎>ԣ'@eO\ sCDl7 ͜rL uDUp@&bk \dJ꫑7?,Oz جBj*Kʬ/q>?}[@zlwp"Iv2N#gsNg !գIS'p#N6 (\;o_@n@j.yVl[Q*Mi22T~sQ5~5?БPdM1!s\57m@Nzd4੿i'D*RQ\7/'<52=dZ+-1ԯj pF,` mxhL?4hJN}7S;>jaj|n=a_0qزw@gl,Ym \ZmMwيC &fMDrt֚$APy|Asi,.~K8 bτI]Q[|X fۀi4$Gm WBa_zM6Z׽~D⽊X^< /&_sQlZ",\k_d@Pki<44j}zW|Јѳ|Fv)(+3/}#ESDl)I -Na=}1NxA# 4bs7Bl7KE=1NM! 0JAȑ TH_n:ѢO+L1}:ilY[c(N'` e~Vl X,q-k0Я&U\;39P=8sťXIvI=א۟-rFk1څ.f Sk%]xڇ1Ne#_2f]O2:/Il M !!Kb%f8=ZsWWKGq: tȨa.ݜUS(>;`RT hQo ΊfC9N|Fݒ8G_C[Gdž:<Ľm0_7sxJQZLȆ37V,S 3Ԏ͞E#;Ep|| uז UQM\4x#{Ζ}.& uh;Ѷ$!&Hc[.Vx 39xܺzP !q=+ZyBܵ3i>>I ,UMWVF1C2Z6_@nGp11ȔP"Ur=٫H 2=7Aͤk?&H2Is[ũYbN0D#P,[FU{mtъP,P3uYSr{AuM-4W] TDɕ`$iuږe\Zz8( >d<< ±gYZ3407267f6ee92c5b4086816bd722096c8d2759de4ada9fbe83a94b62302e9fff8dd0f370817a1bea 481d4cc41d0a5b79b151d9da80c65ac5da752b1b