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 85z\$l ]/ HOL-Record_Benchmark:threads=6elapsed=138.044cpu=214.989gc=19.0357zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k(V_\yQ+1r t7`y/c;avB/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬́6 cD Ha{7#d݀?܌dl_}YZ7zXZִF! s]ŗXi%)BR5YA2sSTX4)۝bO6~U 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$(]]ӼCr'wb"F몱}{"sKOV>+6oBs1))0Ę˪t,8QpcEJNN:$w zMGX?+˜ѣ{y&Uت2g/%f R}]XiK;1=+Biq–lWnBS_0iK,%걀OEʝch'ZGM2`^6K ^L:6Zi ,7L$LP%5k}BL-se;hj}Fggu*/`gKuMoٺ^JUQ2ggYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchma    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents  U١Ԓ<6C75u$do,;II5>/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$(]]ӼCr'wb"F몱}{"sKOV>+6oBs1))0Ę˪t,8QpcEJNN:$w zMGX?+˜ѣ{y&Uت2g/%f R}]XiK;1=+Biq–lWnBS_0iK,%걀OEʝch'ZGM2`^6K ^L:6Zi ,7L$LP%5k}BL-se;hj}Fggu*/`gKuMoٺ^JUQ2ggYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 25W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=x?an3;=z;̻b\K<ع  r׾a5EE[U#\ Pσƹ(тC4R TOfԐaoǹb·_&VHT[t{)7ZL`4W1[ GE l\4w~״69iiBohOzkЇ>O 3+!c2FH.0) Lx/K:Ə(#wˋoق~TJT1&lOM-Q"OfsRP9e44V^T^kVI972m !9;'F{Yǧ Ys)A*s4v<":3XjBV~ViU˃q-I( ԉD*5 AXLtqyu|b{?9DyO_ղlފ[ZpDrf2ָ .y*8OaD^GC~um\һHK,Wm|9JL=xԮ?Nva\%. ̽8l!4rG&/cmbVIU$q| $SnCQ [Tn eom σ*kjLrsGʾAFFMGh HR[–(m ) L5epҌLZQl+m[O^+AL!gh|lEr˕hhOaZMJ-KQ/W'fTK*WYem %= WtC^z]k֤ϥPlq&}ăKEu-*D=ޖ1y9^潃"Z4,QOĆԹp/46>7)mZpfo)D?5L+d^aއ"~}ab\C]bzԏW`:Rw%ah(? S7 lXvǍCcMO85I^K UG骧l-&G8gӾF t(b!.׊3""#oܟAz\X5ZaKGa*obVaQ,xՏ8~roN6(u4.?vd?5hX%ו6u .D \f 7qVQȕ֨R1-ٚ 髸Mm"tz<6ClNxc ~`k/cK1a"쀓݆6 3 ;'ʱ '+N~% ~@zd$EBIi T Mj3QKb?~Ry̒܏[n)WI/CϪ$8d~)cb5iW7j+ߗWg>oin}2>ST|f58$2ъv TePmݦB_HZ7i t21:$윶oqf)FS@3tu>[QVᲮUS1 !<䩮-9In /R"K iCOߪ-n0Qqy&[ r}rh\qd]Ǽ0j`e 'gӞ:Fn/ -*;sesxk[PP@;$(=ꌁ4:lm;-: bx1DRRձmwj۵ۡc{ڿ >=ơTYÌ+*T3exoꕗhRP؞sYޕيOpől}\5]5-?Qf9kN( Zb|ʅ!ǭ & ׻d m^A H}'؄ ?Xb; ܠ D'`!vJT Y&9ݞZJ8pǐ;Xi3<ie""D}8X_tfh57J[{`_N~嵹h+uA%2:?Q^f(* wc[hT*<"Φj;6ѓN̟}%(JzCÏvY}E!UWZU~W"B\tj琗H/pd%_Cqd:Ly>Bucz퇢uRYZd4 jaBG@ vmXd(G"CJ moCw+gC)4Ɉ- <*R,H+f^1O&,4p 7 30ƥ*U+ؼQqCU84Ƌ`}HWx+9MCR [=^w4>R=RrȾ7RRծx'x2{P+1c+ݐO5s[Yψ\ (k y5`K?Y*EA8eonIZr *7jɾ#zT1FH~(5ed>y%jvT<Gkf+ ՙGk0{8w6{p(s7cJ," ]k)}"~^y ! {'$95ŃS.nEE.0D 1k[z{|69T|_AP7F1Ej*`y_֩abekہ~.:0$q"3 A6΋8D)- hY\X~>~ڰ*6~$;Y͒ "GŨiX:'__HCA_N ΄gF;g΍87(!E̋G3?ԹFv>PkzwO8[GGj9FefK+_iT-ee~lM-4khb+3 :J&b :[ܴL*!95LJCH@;{3)f.~!E,xדs[Ed.Ze;W,k0'_Wpxx DjZí Ty!O&ervUo^D2izƖ#9#<3|A}SF;9qhH#}spd!!0@vĚ}|1fn,Y{( NOrCTɿ,Q)mz؄W9-ADEt#X~n/hR@0Dzlh%~2`(XfTgYZdδsWwj>L堬 /}hN2KK#*Sx׉kFw96G6O3on܈icޑiPP8KT Z[%Xt^ٸBdk)o@z"EE{_P SJ" F?AH94~>Ȗn9jzIPZQ{gMڸ-h9C1` )aLtQtdRAXpkd&^tX#CJ\8r =#\y/L@E*m|;]Xf`_EU][cxY.88t$z&כ-@Hi1Xz{|"]Ʀd S'#azSP%X$ξb˩Ejϱ},fOEd-hvö"1<9XC>1L+4_keu` e&k/ q6E-xuOͧW3ׯT_@wO葸c7 ^#W^qfۥo7ڧ:jWy0a]slln]MN>&xyŐk#o{?Rҍ$ᆃUbJ8!P:P#t˜9%c4 g|uƩR!;i×ֱR\YM^ÎpJ]a;̷Vq/ftW ^s je£ȣAB"`MACҦV "VHB5:8y^R }z!tO{=~%ro?Ʈ8kuM,yZ%z-s@" oJ9Gp-H M=9GgC<I#g{ְk6CC֛)aL^'ߠ|֛+lIyx<&c5^k22;: x'wZssL^K,rJe% m|#EXr~DAfKWK-X`֟;E Ѵ 7K2cx#ߙ ?LNƺiN9;Ve޳#=%b~3ڼE&4  F%?a=lQ kYų{c+s 2^'YW8*f{luKǾZ׌-BޖCw.{,vjf.G}U,ƚ᚞u33Bs61P*~`n)_6h.-.Vȴ覙M>Cx9y*ނIggwKI0}0l'/~Y0 xHYskF# a60bBsΙ5T1H)lҵztrq}f ժT{=]c?\\8"{[z%`Q$XY^5k25+y &>-7"j`o8%j㜎ܱ\pA|loB/X7]snW>9 cG?L57xW,|uK%l<ݾ4ri^'zMmw7=3"/Y/9@/SV&97KPaS":;?(YHݵLJLFOabT Ref5K!#:{ q5&Rޠ+wϻq{ȷ7˛:{ء{ĶNb̤xH3Nc3TN">]YTM-urgPH3VT1Y~CZ :i;#}Ydv|c{'ݰ>tnjj5YDiWn y(.xW9P P?tʌPW*Gp>k6reVY~Nt71NnVh{B:n6Obpe]I5 +LK!a!{|M!id?5g5%g7K*S[.82—s wͬ"=fą˂ğjVxVn:|q0i@K~ir|Z $$M\Wsl|IOlqc쫹`QJڙbpˆ*7pX_ ?*̊إO? ,.0m]i(bsaE1@^niLFHg*TeɀGܒk|-y2ōOB$k+$ hͲHΈl'DR_TsҮeS ;@uq~/!3«)-(HYj%4gj,#ڦkFgoPPV tt/Z& +TQH M?Ozz7eb=*zc9Ȧ&l-;Dt$d}DD+ VѪl0*/; F+(>\<:ʮ-qrL8,/nf;|WFJ\`pD2etiduÔ[>Ԍ9EU}/0M% '3Z :'ު (ne5]4J Ϟc9 ۿ8O-o/YEv<8.+y1 .߸;jY PFoɋa2ax#c6wQ)jqDž}Y uN+kZ԰pBk587d)=+l@'ѕ ཱྀi< <@[tAAWd6i?Hd'upp 5sX٬UYTJzr1@)2 0ӭMBpsf=Qju1l&WxDl bAದ%$𕜶%zjd%EԜORƪoOgJs tr 헁 rR:7K"L|}+ ½`oX.=2bnjBW~-%eJ^CXK6G_Hrd$hE1d3c)h?Lf pb%j*ʫR3+DZiy@Ѓyxn?<}yp8UJ־ >vD!Q.Xyp \:b'^jlHP_6|]_gWG%'[ogsmP"_esU -e"=QUQDg bd=ޓrd!rAԝ\:w5=౮i*0[̼'Y}k"7kN1iDU>}*D+ǭ쳋uv&7S]1@dčp$#B4Ȩ7w7ܾ.xflw:iF3n,,-Z*5_T=- kޛKQ[]>yĀ{!Ex7bj9ATMHϼs|\ъh*X! )̸Qi8 GS_p@m[_y6Gc[ar63U@0k?9'dAY@LLv7Fd0LIЙ5S@^6+t97jh$f|=:Ш/K^&,A@ID7jQX͛s#эx0$@} w@TQ.Nkl6,WESMX5ª qAs Wc) h6^q([^Шc۷>\{q͵M}ӁWFD=ZwvW1U32(n=v9VV02\iiX+E{-$ͨr| `0wm(̡[M ^9 .]7BЉ Vl}"%S mH5hw *tKнvW9x$Ѥr;I+9(x{p7W& wԏsާ-pFz{K@-sKR[iqI<ؽekY8L(b21+W+ĚР1z~yDk&"MsM$bu ]Un6ۜE{kG:rn.)r%)&/ ij7 ʳna|Р2Svn1 9eZypVEq isey'FlzBٿ{'fDIIFYxG5Gvx)?Q&m !+~% жuM5h'r~q. v5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8Q뤐)H@ix.RZ?) ց5#J2y׸)|AG=;S*5 z9yAHhN8lXS^M6osg{ccVưn !3!IWW9I78W̖ԩsN;K 8I'\*O(hvX4 T"x Aesc2 pt5E(2'6gC{; ٞ^AYc]crcMFٚ ,vw]ڞz']W#YE9`ҥ]cS両}fpdγrP7<*/*pg4@߃Zn$LPK@qO8%f%CkMHX¦l \F֠`%/x^:xiȭɴ[Fol^{(PyК;An=(K5bK=G@+4:o!QNcJpQ;M䃷mrbպ *%@VCe9W4`56˩_R] `1oo^mQV\`_hbI>On, ,u9nmeHVYP#D=r̢nFd^C:Nsߣ yS^ǫ{Fӹ^LOdOC&30'$":USwwTܣ$GUZ4O݇I=im .Et\0y_8p2Mlnʥxٯ =vlLעYp w0yjs 7[a~xq Aboy{&`6rju2"n֌NUud*@pv_N(% lV%D)kĵB}4ԭTn22 r2: ː\<ےj~}H3&LIou==t}QHrSßb"D}g4O=gߵx\Z :'Ae|b(vʺgrt< ve=;NUm6[lTԕLI&쨴.xR` 0)01.fz8:4 s uݠQ +!bc2}_|Ug&JdT$pa=/=t Wp-u[%Zx{L8#z: t.ݟa[+YE̖3Bz_"qA >7bCit"KIqJ15巈dNdk. xZЀda%1b,jאC.r-B¤;vel>xg; 1o)2~-?.A L_,e>0SxUm鷰Cv[hky{S u 8>V*{FSRe: oinwE7\̥1Ճws'a%;BPR = j"4 (Bt#rQğa$GP t2#xͶA4ʊPJ{ Ca `v%RlK69uKZ,@=^Dg #v,Wg74-SzU`gylc|_@>C5@Kr^K5KB/|VGڄ\=}㱃d8{Jԇ2~O5 ;WT/ r Bs~-n0aQ|~R]:+*׃B9k'0Ֆc&HOucĄ6Sw^7_D6Ǐf`mVM;Nhz`%Gwߒ8N0i,,8#Zzs~:,(?O߰C&B?zf•Yۑ ΈVڌ d> !<_֑E?Z8SeŤh ͓y/Tdr`T:f!cʉJEJkr%UTMy>S}'bb1;Fd3h\ʚy<7}ۭ]oLlsH$v$z;0.AHgvT[[!Of'IIh_L)vWAA{"K%py7MAN *yj l@"_lp@;XΣ R1{ xÙK|iKEE!fA6ܥzq KrHnH\˾'w:?O_%d"#2??nho*\SVu}P< s|}Sc|NX ]CY<8dq7x6 m<}m FR'Mo$rT⏠P;*F^ß5VSo;܈Qs<3p6YG8hUD`]̊zzn|y0hxRkAVW8aVH< Cd`ٿJ}; =4 f-O.$hV z&cf#o5ŒSнP咈:譈ea!i;z-DɡVH ʖ]knn$ْ!3)C*ݳN2Ȥv5 e`$MR߾N/ݷVBN> >/gwvev=s0uHN8w3P=NkoworcɺyK^g!,\!v q{\St:읎F3eb챽w6OՕbtyŊ+SC*q#S]֪wlН5Gwsd @ua Ԥ}6SQPX,,*Q{AS3ٰ{_090`?%EwNaVQ)zfjh繢/ڟ4O&QE8!F7=h&pN ,Vt_I=a1 i?U?Ƿ3Gf7 dN)<džN]"\M}xn^%,Ú)7l_m:smzzI4$~(c(o̚+Q-7l 鴵h&۾L1(a|\(?|'bER /4}<-mԮ6m{dzNWOEc$9=kIQap+\˽!:uWSX+.uͭ,mqy.myQ^kmLڧ*P p0giR>V aߣ @!&<[ .Gu$=Xj[L M8.88Eou̖2Q-4O kor$9q mL.X%-ڽ)Yf-]^zח= )S c^z,?rM? BԠvH<##k-#dq" GFs'Hh}o<#a}t=JLҐB/f?j#iq8ǰ=ѠU C@LGXD/|[i66 ߅6`suftBaR uwlNH4,BE6Qse+FЙ VGgx "A=6  6Yeה F7-/ZH 8$OX,QvxWRSb~${T5,`mh I``Gaxt褸i2^ QuwfOQlW} ˰4 㔌L xrZ-O C(]9 lV-.>i  $ @sbnZNbSy%6FuU3etw;{&=q'̄]  A0EWǻ$sk-ϙ3.Qd lDlNQ@ʋE؝2V ƶDp_>y4yo6޺Ip",[;CIⰝa¶"4] *p@w<|e3nӣV^)xAWo:UUh[lM[ q0h 8>12YG:6\e(BB>i@ w&IE6 H^ qZx&ev}YMߴpě#RlWK_z^CZY55[w (h/~Kܳ_H3ơy[/ihd]_s9S@>${)%# **U֞(ߊ_`Ma.nc@QF 5Sͨ5}wcnpǧ .҆Ӡ!Bi ]Pk&)W];;yT?S$_Kl ,GC km\{~eǓa;Eb,o~j\GM0.H*D+)IZʭ-'jD?w%NID*<'WlA@ Ď+ 6s좡Jv2%=v7UكKn>Ki דGqeli\|zpiC,Tݒ ŞuYQ1VT+Zwm7㧔sEkuqAp[[ݻ]N‡F}K+d-{Y9XN /bEv<\otzqKøF>; ,gXTTJJtjN|3LP]]fk:vEq΃=2 ^$+.t뢲Jb<,=mAco&bn?Kw9\vi}q`^L:X)KP"vA2_e:9 K_q2F!tkXu3t` @)D.~k=wCVbXLGR%\CV?@a7T|YSDժxԌE"FҞJth~yn6il_"(]^Tog:+nJk5ѳR;lY” !JsbGl<>jb$ѷ)*qM ;G#%Ks2DˊwɁL pO'=&W,CJyny{8,E/ GR5H4Jy>;DeY^-!cL:rΖal"̞`o|);>[G`IiܮC|3r6]F.'eej [ 'Ycͣ۴Ց,Jѻ/N"-)]|x'0$PI'q<i% OϖS k 1ɪF/"]@圚M Ѳ6gOBw3a<0WFH|l A_|", >6߷Lۊה}.UL8z_8Rȣ$H ZZc 蹀 @܆򺆼@ 9UbYpvqȠ_le A~X([Q) &٤4BP"r]~NyJ O5|jZxLCUC}f]tO5`W;JjfB-mK݌uɽ.`Qܩ 9Exyˁ)y hX hMѹU_+.Q)ǂ7Y3ezәLEpOzF, ->@`ݩVb>&u(v;̤I[{zD]N+8yl; wLDYHFd}+2&SloLΠNy6a(`~Ԙ`55VNr>.cbic;u&iIe Jmaw |eî}k^e0 0ǃJ+VGgc 3O&c9gcF>'ЗDcVٔ}~^*Ni-3z)MI?GߵE˙\ƌ 3 ='e_{2E''" >rJlq~2 {'ip~ p-=)ex㗂UEjW,muPuhc(K51_,A!sbUf=hU65qק[ ^qGq=l~XփͬBJ! Te͡δsA&[ޤhiQk\n~$9(mUigppRE_+J ?&_bn6*"2  R ipY%E-?G]$/Wf8 R${Rg2`{]lnqI|+LD&!v|%8xa+"GKgF kf7&1" AB4#R|_ sa+)"/b7pנT2 z-Y0\6)|.&V\}8̗j+:4T(lLn510DUa%0:vMuutJS^Qtdb1vک Cv>ТSm!?'՗/t0I nۉ&QT b2S[qs Ў={d`}UpCW._rv2m yٗLPv?V "E,JmL F24t)UnHnE!@N4-@s(.~Ȉ :w;m&~A|XKAD9,P_OdTQ)i?HkNHu^Ŀ0MعՁq9EٱVa iWȚyWv]t2jUP0xwu[DBbDŽ3*t=ls|ab&uL%X=G׈qF'lb=Q6k݌1ta,<Cq1¦T q^ެz d[<{p <}P] Kr3A[%62蘱M/&ƀj: PCݓיwiWb//ʙ4rlRZ9?Z_phBdff<+}z}_ 9LiB< M/ƏQ;v⪩!9TQ> fcN>N+,lQJ V4t cRRK:]m0 cO^R  {b%tk](ITѵ!av;2KIlk\%Y@ˤ$x#M9KI3nn6> 7a 4o4Q;Lqin)6!cر@Ѹ;0~2gBy}?k_yKd3o3~-{.DQ 2h4p7ʿ&yg,#QYV!:?Tn SiDl$tJmZ j~ )fUFYv-ʁnN%_dZxt8V,d}pO<5#mC.`ۄ`# E]#ULwYRvCpI\1.ΡZ!<"B :'b&8(ϼ;tm Bn^XH*0W:;i3M-ek \ t'Tznym_·6ghʾImcښWM뮦o;NDx9 tP6*喈jzQͶ=qB+(Y+ЩF-}vIϼɖxf}yxR 5[-C@Osk :c'i"d,;JjpaYϹj-As; ?sy 2Qor Hk`\p6]T(GĨĹ#Y }' W >'[_܎ pg~fW+WZA5NNyPM]YiӺsln>-r佇 orN75ɬ8YJ+Zܵ-wJ@@#т ᶱBw_Xx/R:F{",B^`9l.M*j#{u֗l!gcUX|)oj|=г,H)J^6TkT%/1l o,>4rEb(-.uUl*ӌ!V݈Ң9'=b;~i[w5> GC^1)JvA qé*aANX),g;{#y3KJmEu]~Lvܝa `Ck]80 JB,\Q\K6xϫcfɰ¶.:7WHB9%E*?LL|{;t~wMj>Lvkـ/`E'F2c # dȜ<)AWG5S愼͕99;auߑpL`NĊ9ds%Rw3m7' })VMɷ.o4V;_ !g{KV:E-infyρf4RX;VKcFFʳsHV} KYZ \^h{j+$ <9o.R0rq xV%|ȫhB}ΦrGgLv9Q> Yy\v Kې`5҈mI|XSX,R˵h[߀09 4v^M^Ar6ٓ~b.; Y{ȆgQжyRIv)*{,;:*SO/@M;S3{U ՙ/=,5sBNu>&um꽝s[LI5@'>e,Ja dawvtbHTH1&gaxeTw>̼A%g٭,o pp_R?Tt*:l_|tӵ7OKpj9CAC$EpC˄gwp$jlʊ躲89eF0ZQh"&#NtjZnJ3# N)sc)ZcOy|boՑV V쌖EeQ~dM8N /71[N,;72p(J{G9ǹq*Ϲq*6(^Ĩz!X YviZ!^m/0EnE=i0Y43!`0/TeyaR&uOeg:l/Om\ۓh֯Hz:{-CqxX>f@]eB|sF=w5CNeOi?`:dR{[ 2E1t/PP0'G軄iẉ't-DB/iy#֗#.!wq#EOlPaMPIʽ5Yٍ*qxN³Ƹ-?SԀP 閬MS'Of@δft FnAr^I O-єR~0.,C:x6'n0&&Sf gNPCJ 3xb\-,Bu*dFvJ\Cd=һx_Q[F)[m^ vi+N+Ϝ$0.y^*%xB3J2@" M7Dc勱jNlko%ۛ[./ {57T^*~;^O=Y+-97ar!(9Q @uL܁*~l%7`T>bb'zCFk [AL=4wݺo(FX;2z?R:"Gزb5v 8Vm5$uҽnm\'߃\pTvt脩45ʓ7 ,)$΀&IhT[*MR1 bJ/)@1efp" rRR@aMlf"C0_Y6SÚ Ճx7(@L.D){~pM#8rqrA؆)L|oW0鍔':^?RKtXV?@m%Ńnذy|yam*_t0 }Xa x/M/4bu'j5  cE>fze-+8 LwT΄o·nx +Z`~#lx56Ki["b Tɤ0#ao5^Mǯ 5}j빔_₦NXq.Wj־lAFB*Աùf9qAd?FGxV _OL"Ԩ4/nj}Pm0HVS^sMVPRŢm+|un+ǚ'(!Vn?2Qzt{fae꺥‘xzHuytg.?l+MC-wa)5Iy\%֤0r}F@fm^۝,@Ifw1+~O ѮtxFs&̒.^5R6?Xr%HMSݑxNϓtx{4[HJm9f Hs K&xv?`e:yIP5V.NDOȢsAFn*iwҏk7bm/N̤?}e,kI8|Yu.7{;[?/G 9K8[v27JKO 0rFJ&6Pw//ޡ,/V2r]nJ '!=PNX?Ȫꄁ'KFt?Â&gɄ5Lê12m;KՓM"OOdVQ8qӉ&ȚMxd Ǘ}6z~Pi@{rp!Zk3x5b1^ Ͳ6F_u\D)&Ƹ(w#R;8\?=1Lo,扝nzf@Xu;5y չI'/u^WS)=$?S٨ć!vA=Ev DJ/ wBDu+;aP<`쳰bрw!x\찒F]Tp)&;왂Mrct6 u's^ ~GM,Yۨm X}*@Sq?V0I^:rUIR)kBgxT T;=z~臿LA߸ǁ\t]vS9 dlg!'5YC`$Ĵ(«h LBS°l<ӁZK2. Y2]lw(73 =[U6&]̫XR ^'ѽ'#6P!L^Ud*zg =RVc~$(*|}EA Ո\qE2{+*U;4_A+v43&]S.R| hgg޽wTDs7)z.P-CIq/0 2}< }jѭM0Km.E0&(2] \Xj/ #k`)>G.SiH1]H̡&|1;bn+vr&>?f2 |"Dl(_J6.fƕ2]Ex6T`:'K(5>̅8 ߼>rڳ]F?">:(v: J]w^gAنXGJ P74f5K&G`n9>N!, mCm;Zz*$tD}ۗ6!0ܗMvPғ.Fjv`pq&A'Shy rlva JjT7X[3/ao_7XFg;H2V[IC8S805`x H[afA5{-V0@'QfH n[4QVLq F41>×8/$J#ݭuwgYZ*;QU̙An.5x&W{)wۄ\Hd c1C@.yI0nzӄ ;<ׄ[ 3\-͉ӭ!9P @ԥTB|it!X>Ic7yG= ӖIhקVpH_&nҮ XMVWLlXS%gmE` l}"mA]yνJ_uN&@FȤ3 Pp2'FͣSe">V3RarW=>cA<3F=UGEl]>3 "#ƳTH8.( lCw߰mIg'͵Hp]oŧ@7ER GH LuAI]wt[ӣ"W$yM~yE/Z ?N!$E ~%<1 UPe8 =RY+,ҸhrBV#Q `k +wA 63yҔ }t'x,Կʏ.f2"6/Ţg^$"n3t?;j{=ޅyFx:DM6&{!08cVf<3ya%Vn!Z텩̾䮹|<Յ9Oi`apƈ$+q/= }Tga_N$h^ގM[ץQ;?s (<dSqc7z+)=7CϳyTʩVo݄OUiXa"̛Eϭqֱy=Da[6Cj^x9DZݺPO YܠSO9lϢaKuڃ/Q:+m+u4> lm9LzcH)"6!%d{-B Y}DZÿm7tZޔwP/3C 3k,2/fr}/G\D9S p(x&}[Q+%vIGĘ7wIg#V9} 6i{"*/B}- /.4VM$Dbl. z:I@h;]Q)a1BJzAn_>N{=^_'Dz/f@f4bjW0 c%2;1g}SwfJ׿HhCWY.ⅿ k:T1YP9 ldR[Z&7/\lsCa܆eBVȀÚ\U@?bwҿCaѢh&l:Lé.lмZ'q=gLԌׇFNپ΁D  .57`;PjZ\aR&2ZB1.gZchJvj=mCd7g oEPy"ZJyfԕcBP`鿓( bZY:X2|G3>1TlФˁ(0\}vV2@O7]  kE,䬤^YV^{_p dJ℺\m]jPoQ yWr̦nߪerهVd1"tkLtmXEPEST5$_ls:LrPI(s:bY8Fě#Msڄro6A*qvI =Q@Y' f۩D%e&nLB UdD^`"2"鬃4 4MU}8S!Ѧli)O4}f]KBiYwX8f&*=i; 8;ۭɍhڡ" ŧa$ms0CŖȋp_`Q8Py;.;2/9 '[{lt'OlE=&֏n:&OL\ȌLQgDUA=y :Lycݻ͈=0Eş{`j?%_,3PeS -3xR~80!̚PȐ>l~8DMQKG4<)5ۍӲt֐;v;m*ճݡFb7k 1һSaU|60m Ha-EIga,Cذ/ 6mI'w5[n@'݌DL9Afh(ɶg'Va'\'l}U7V a=NJJߊ\HblCR8bh7d ;[[sʹ+Uy6zw&TI` W08=12@& vbÉj0;>'{au^84NO].*v`*Z%=`E3ifrq[`^tDɡ־ehj_wGq}#RVa#C WTwbNKD$ט%aܒ[YweYs/}1IïH?8976 WrgYZ k` 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! ET]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o%<2fx5|Hϒ3b(cx9l Epu蹒9zp ΁tjPɼnv><(ԦywٺmQafiZB/ZPtυa(`7f%!|u +@r7B % EsmrV&5+H'/p4^ cg ;o?| ax4qۜ$Уa `3fǼo{]Ɲ} %gyP<h`V].yaY\h35{E?F A1՗%xYG x#ڸ Vot\ +ȈI!Ct ĶOy[Y̜踆4'~-4Su,䏜D3[6g3P"LqqjʲzNxα6;_b<W{0}nq"K/E||%=݁{tG:×׹m-VwEyqw>m* 﫾P=k+Q :mẀe2m^Q 6 %S"ϸ6 <}:?kc:y. q/Ds-aV߲[*~Ea(XE^zQ=%j8nŁ|HiEyOi)LVā# p!\~|dpJƔ%q9Askjs̈́=]ٸަ*B뀂o6R_4E Ξp%prVݯ:֦ŒR` Ҁh} ^twJ7 Sr(,ILWگ` wZmg[/OŽc{IcƊr%gH{^ o?㦆0gu0JhZN::ҙxlt脌k< $|T&9/jEGO+ڃh?ەRW~ٙܲ_^5ZKy;;rI6KJDSuL V썰c$9WGΟ>p<" +GMx ,t, E NMF<b-|@W_:hzd"L(\ReުjUMƌN,cIŚШ/ D=:'lit>޷oEn0n&@CG۵t=Ov0|γ3}% ϰo _P)+.#ts%T!G:J0,tqGXZß_@zbTf=% (L/r+s_s1 7 @/vEiӰsXkGcUd0~erֳ\+Dd[@#AF @ӇhqH3OU$gjZܵmRvፗ Dkx렌p79Q{W hc-z Hd&Q˅ 0fE>qיncIn!e܁>YchA<g`th֋;=<$#›0&J;m^to2oM9uoཫmäeƦl]B23bs(>2هDo)LY 5Nc@[{cӺpX9ʼn7DyMA1vrt\c5돃Liɵ@^ȭ9ؕ" Z29UYaD) nG߭+עnrOpR&Q1%uԯgac«ڹ 2Lgm" 8J*3'KiՖ]gR=Ӻ_ ڪ2;$ n4Xd<^d>e1jUIorD?*#&:[KV"kFSx!҅LCOaiI5[ |r} PBvG |}9)TWA@ 0=Xx@Bȓ d-[ Tgh$5Ժ¿|b9p{#\Eq,7pca~5V @Uyspuѭ7XuTzT-puIm)Lwa2ARG[%"ˊ"ݟΣb0VH`V˂ڕ'x '=Rⓗ[דG e1W].t}/2QLŏmA`Za Mo,pCVU;$D ئwz\$P,!m 2B=2.%Gg!%2_MbdB icBsa ^x1Q1LJY}C\byNẆgGXL) K#W{-yrqD^d!鶨hLYf3V-f%tLwhmtŇK$]dMJoFC쬱c*9GwS\^??43yxN*'dLeʽ;;Da>,+tXrTDkѶXyѸnHx]`¤drkRXE@*@P!U}I3HW^8mCО){K !ӯ,j^e;x #+dգ S}9}g\LISu587--~{.̧%Yz[(1lNN#Q4Ձ1W\(0!FZPE;ZG3X/Bѿ/d̥ L{]ir$BD=+3HYJLWJ^ (VRl 7`ZCeh\K;-.yvdڹry0i7ˋ(MHF(ص&eqo& BLF6(c,J<}AXhw <|6ښR+fwt;,h9.m" J @xI*> }8AC&k1wڶ 蚵}\h2J5Jb:i,k 'X|.S ?x 0+V7HaSM(նqҗfHu /[ @Il0r!Q W&NӺ%(W6*pLԩI5FREPKDŽ'Φ=DŽk4X/cn=&0hv7u-llܗڄA bq<*wHSĴ7`8R=ifE-2)'1h6WiBdZISţP&-&LU8;} voMćC^A4n]nsզ6bƇO ߖ&TEgS |< FbۛE— U\}˔ ! q5[( )<8NEi1Zo<6x*&x\UӎDRЄE}k~9 nρM[$|L-ʵKc3s)-q1thCCPI,CSˋ1i7YiJ}B:qjMU1A>$X ~~E3mE D)^)&#':Y]Lo6 uTD&9oapg? ~Zu@Y[G)+ ZVUxSweAu~N* yd S!lGr(akoo$J aLR>I:`M=hwﶷōB*@Llb=8OmY4nܝaH&PJ?jgI1zlتWg-I*]M)5ÖBgIF摿z\)o ȽNoƯAfCpaFSܶ_eFݏ at&xB 4}jQ$BqWE))x>dt+`[iŔ9,C/4RC=!1,ja~utZ`pZ lBI]VoZrW $!%Dɉ.ax؅QSweP-l@9/k*dL5Qi}3`S5zV#-\ߔ)|G&zaccP E˓[r]| o8$F/%T͠YA\aXNjL$5_x`8A ~B:3նYj%@~ 53Ǯ }<^58w鯅בp%J?S ̬f}Pz!3\G<a%f-%;%)&op#=OZ( %1?Y+]T]\I~[ taa!˺VnF"֝3 eE&ZlKDÞT*eݵYvS#bt{ (. GkFp &㛈+K­6s'@67CI_xtip.(p:JI Ǐkc51nP$}+l(!/A!ResZ=-:ܝXw_!NX uQx ul֮| 3B*V@ 'ע&Չ$O[!Ke^B4Ѷ1_ttq0ǔǖgYZ{6D'?#ZB˨ڃU@wG[=~؞p^Tj8bw6Jw6d^86(F8*/5קd UBC^s_&UL®f?~UlLwc VvH<.Ws9x904l׀xTYj?[ P)+LEO]S?$Jggn8ޮ{#$6\ oyr6\P#w뵿f2QKpxs[lTk% &؃gL{Dd˵"Ϥ Wf)o͈IHRC=Ǜ$gnK_Ϊ?-Zz6TV50྾͵V! geE%8գ fBXnzOfp/_gE(ӗj*+ԓ? M[ic7D_,-տcgD,n,\q6*BW; E|چ#nʑ̡+ԯC--# ð 7Skb6fn}z pAs(\ܣSnl=(ɪȌuAk]j3E8ԪCID3 -郌z^=#3 k RA,,({T3wol&z%T?6j yoL]H)n}k:S瘱SnJUHjÔ&_`ce:'#y|**^؍Pd2TN;r` /PYEobfn!"+5jraKU IܬwL;UX)P;F5yXPͶvVwN"{ u/c,X됙O#k=(f[֮DL.izl3yO_;St8{1(` ~ 1H#†pi Px](]`B sY{> 1ŦD82ӷEÝ f_tʳGoh&"s_dJKPpbw^ք6@R I;8+\mN#6#Yϥ.ZK9; @?#Td+߬Q+Gsy:]MUsll٘M< E^*`eG]Zv+6 ƙZs5Ax$A-nSmn'aӭOcV5vZEְ(}0ہkkܙ^_ ݖKuNXRò-Xh.d+&܃/V'4HHBf j@pIyijj2|ߪ&>Ա&UkRChZ P. Qha\Zx"8lJ~o wP8 nd]_X{\ R45[;..P%[|˂-,cd P+/zr'*|$\^f~*b\<''0~[wpbm(eLKhJt%׌"=mF]1ʞz-c04@=:8p H}F }6Z-A/COt|*79q|S7TJ~o@6VS<:L<˭`\}xA@Y/[%U֜RW<0]Sd-h ifx'D8q\Ԥ>uf5藎ui2W4C|HeJPK9V%"oq2ta;$0c[u\)g!-H7=$ޠjtkJ%J}T, 7}^!0U$Kw69_z.FCy,nmxR^`[s30Mzڏ}(Ixʧd*`ѱTiBQVRB 1@%-C%\>@\T|D"ѡbK5K:n`LX|aLJ%WCڲSWq\vdh[qEr|#;3X^,2K8*,78&\B!vR8Gm{QTIL&cm1ht=L-٤ü,gw~-ru0ǦċC]hɋDKGqn|>Ȁ ;eP8;\;c8cdJ@n}Bng8:hEvv8FFr;]y\&M# )MV)3q^=|Ƙ k~XYd)&M϶_ +i'$8Jm>HBޑ)Q-{#2<]C61eiB,/vD  7 8d_I]e2 G}EED/Ot&|F3{#v3 $$eaC_~xe%lhEWD-j)a #Ng_l#7cnӂ-_u6&M'Fwຽ)2ws0cBԮA! p8j4}y ZI¸'Gp-BT 6`UJՒYRžV\ *XZ2p#yKFu{-MW T=g_|85=C}:ky@^h![+T% XY]d[Hѵ6ҋnYA`U9uX-!qq93]EF PZΝLwt'gI_fz0ͦvxJ/<%ƃ fLV@B# {$1+^#$ Jc5PiSIUFd*g"Yi@g#08 J:$rD9R @Ɋh.S=9͉nh7Kː 0G- A,XaL*kirV)i:`Ж9sf5r t?\ɷ,oq`j4!<&a%2ҏNl,sox/8Vd[,pxӴ[ &5ե!ȓ,go7(LjF/!>vܦ4unqo|0șD_(yŵoFu5Y&o`'x[h21h d-;4=,Gqӗ`J*pe2C qnT.਄ŠJ 'Bn%O6Vgp?W/Y۫.%A>dUDbkc}ږ>H(8pDu"'K*ϟQ&y8eaoK}ZnS +o#RAMfׁ;TWAgYy ]j0ț4)4O zuK>U[\?u;pLA T@XZL3+:myܶ& jjԡrFO4_=룘9~sf^yU:v7c2,SBڀ!GxR9=ძʔ `Nxlmg*P)lH@8;}t!eΎ÷Mr.58?ff~jyd''ktl0C>ED*3&RsF{+\̅˸l+9$o?f_>ȓz_,AE%*(qu/䱋 y +/z6&xz\bDV^q5!\7L}G`oMܧ~lrDxF??@ef&w阙`.RP+\808=5نUVܜ/?vK4V9t?GDbS6JSĽOBjŸ:jtQEz[V6dP(k ;te7NQ#ZTVb7 L_-RbXB`GѼ#$RQZ_a;sFU\]6Άr-V} D e}m\и^^5#a"B K19iSXqXQ`|fhI+;X7 ;ܕ/ 5T{hVc|sX=Vx?R3}8NzE]]I:zz\shۗ`Ӝ+ܯHcJ΀L}INeϛSrL6\䲉5~%̯@2@7U.8{!s)` >ϞEgH^q}cM>)+o1)hFxx %)U > e?bgcoqR'505:DgmbrKKΣq7ӓF(leͥq z*~܇Eb;jKRd3 lUʬlVVwk(Qwt'.0U kXOj>IFvu3„W5>Xnc[BRFŔfa[ 6j(ySvaVQē.W1ұ&H7XiL?݆ P>w}+ fx[v04nT]QH6} V׸]3:kkn]=\4'+5sm\>hxb=V(UEݨ+WC^|zMbB'&Fڻ#l8^qϢ{ s5Q~UI ez%Sr_iqN~F=8]@/CܨT RKJC|.\Y{=)i7rk{JO{kV]!F鋷ܩKsĪ.[ E9^ xG'R~Om+6t:}oeV4Ux2 d)yԖgmҖ5(ֳI\fO&: S߾a-cv\]-(ZsjxmOtڈ!Pe$L1ljvM<6ٴm|".pwB0]Pr~s9b.5ID0G./ !Kj?YPГ9co{⮛5ԎKO}AJXs'ǿ?O:4`2A05nPERXyY%ʢGD -+֢k -I`TϪ:~@JӍx25$/Jd{.W.L|29dC}X ^#e2HcQs2m8֕QԶEEG`1qRG7Lq5Hz*]kD#"}ImRIiڤ?- Vhu?S cQzXqgfQ+yҙt(h6`V:ޘp=-E9datzs[? !4LtN5칳X=o>A涘9"zbőY錢R@& 0gyugץnܗ[zu892?|y3ҖĞz0gueԢf`~NHqBWpW[̤^KbK*TEu?/R!I,j;"{~7ŭ6@!{* em(y,mB瘏7՝q2ncxz?e ;NOc}5ܗoKqˍ"Yׇ޷N$Jh#3 5%mxTQsם>$ױdMTl+