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  x5zd$d ]/ HOL-Record_Benchmark:threads=6elapsed=145.759cpu=238.012gc=19.5237zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)O'Sz\)W%2a1NtUK@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘ټ7e{>'GMs+.r؀(l_}YZ7zXZִF! A]ŗXi%ד 1ma-dtrj]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% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#S8|(f]TtCiL3i=A7k(3u3( :|nP>ɔ(LRV-id+&}#7U:KCt9pè/u17a#SO{,Os;'O$wuoz⶧DivwC}ʈZQtЃ/PT\# :iKwJlNPxy|*yopn83ɿ[@Mhy,r@ h|jR )Fbֈ+?9Dk+7ks{Q"vhp)gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben     _ 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% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#S8|(f]TtCiL3i=A7k(3u3( :|nP>ɔ(LRV-id+&}#7U:KCt9pè/u17a#SO{,Os;'O$wuoz⶧DivwC}ʈZQtЃ/PT\# :iKwJlNPxy|*yopn83ɿ[@Mhy,r@ h|jR )Fbֈ+?9Dk+7ks{Q"vhp)gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain >5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! *]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 Äg'5Wm$)ݜgʌ_ 0y>N}Y=%m?ƔBZmD\=ש+hgv5 +ܟվDكX9bQEN@UI2kw5|͸Ͽ,#eXI @f/ S=/QX-m el6>D6*[[\Dݍ//)8]^x-ßY>z貢u0V6GeEfSο;/Z5թx~=R7WߊD<$Ȟ i}^rGQhD,i0W,VSE"IFsj/Ǚ'~K>8^L CZ1^}$<i=)Fh2֎ O)u 5jKHj #>aH@'L`w37 Lk:y/OT2 !AP1;n8Ipm?Ik-2S@50wjV" @ֲF}z\IvKKGH轢0bNE2GD,KH!vx"lKS_d!5Ȓ[~Ia3? c,JQ"@فwS9Ρ8kD^,AʕFsG{aaQZuz_{85SZRX,ϻ/<q{rt /eH}K?a[nqjq{GSUc XBAH6(/ yQ|DxOe7$au\*+䥜$q vƱQ-^+lA ԞZD&S13l-ƉesO~\;A*EfX6ד⽫Nw`?VݦM%4 ﵩ6y{cZ-j) z |]??Ñ-NԘlHoiW}kbȋ oT}c5 yH4䌕U5rfH L^dX߳Wo)3?HDNaS߁qM_6 T** U S'lRHRBye-s`J%5QI Zؼv®6ﵓ;$wZyڸoxbTCj<[qQl?M|*;Ew~ѐO&ۖ zGn8XLZk )r` q9y+5.y΋_,`1"}saퟀo~]d{9SљadN|ѹAspq!WTo9zW7|@w ,e8!H )KAu-|\$G$%sӸbb1OJr|zg.mjs1)AA!\3nh2.@iv =+܎!Vj]-@;GSNo'@opN>)@3$J[RZG ,)`V")<^̥a5l%@ C~xUX HxN j% ɊLł1NENr{u漖C rч Nc}4 4<݁+% pgܢCx8(r\`Ē]/Q}OÌ3 tM֨džDTv,ϬO7F,%r |dHC6.ȐŌKkյ4L+R=Kw{KD"ͣHvQ2bY[j ˆzF<p:ݒgE,N=%y,\cBorP 3_l/&^S/\,|ýEnjI"~/"~1)ɤk1ʳ~|Rƶ?7\?k0ƸjySM:np~ X3g@4A?O(5nX<h"f۔MDkC3.'G-ZD}&ז\c'im)I׆Cx{fAI o<1a{07 \32-&\T\ .hf+[V̵fW v8ecC۫- K(OG|FfgYZ(t8qzE;a0r\$&=PשLư?/ _aMcW!K2,r>1QsV# C|PҾ*o7< &/pHۢu-(c6]IGf1Ip&FuT)=7 [|` ^9}Q<0}J]we1 j?yXW.CsPk$`4!L!P [g#U" Are/]LTgrT,?b8ZD 8c_DVeܪ0=N:U4ēxVh+Sd V%`jnh__F"Hc7{wQe\́csU(R jYK} gܿOIdzPD+0u7#e i ׈;Ob1='|'W:wFGW5y݌m ὆Z'NXX2$htj&/)xHAs:0wdذf6-5 Te0 )nNE(PvX 1]xK{Dv mnV,% g~ojR񟋲a5x%^]Fl/j(D5u+!_o8L߄DO6h3>FOBVf`v{&4Q zjaA`Tvc )#'m>&q9\QRQ%i8cV|ˆhR>B,.'q&3FYDj8Mc5y9OœcxƔ"9<׸v7c'DY ޺ ;ɲE4 ~OC)cݖ?-mGM,h#*H7u9SY$8G(Û\[H#$p,1Սx¾hIt)02S£ zNjܱi0 YH/E=ʠaۋ7Lx2,`M>H=2qDѭ;b`aZ񕜢}._1 o$P{` vLBCL_/4ԐGlcF)nzlQxvX5b=1d$M66#hl5irh l[ 2=$NtZcn@UY]ed:* oM0Y uiXh:9 E4:m {{93Ex gޱaȩ3[R&=$ex I8)&.wE,O:0XN!fL@rw_B._r9%Ң Cw#͎6\}X2y)N˶Yۘ=\93]B蘒sl~(&|BT=uu^cP<٤'Ӱ<*D8?u3Q%ʜ?3 jm*3!^;FKذ0Jiѐnb44$;ha$z~F|ƶCa2GtAdWNAYi+MfcuF30QUwiNQط-GFZ-HW@)W|nj$MYmT@xn mLaPJ%7d!&`ן,"P(B{{bkޓ{KT+ec;t3jÁ-v*k~GB5ugo[=z D{TONMLGmm,1ZY:DCK2yR\(}'T#(]qg Py/TzHX)7N:UM$} b• Q!ހ.^0K$st]qc 2Pxӕ&8;uOL25`|n5Ns,.|%Wl{ENw9zc+'[>XG~.< n(2 ymb $Tx٧ k(~t/UN\ zt".o PA#AS4]5D&}skz*B+( E<4ݧ}ZQxG|{m쑩-{/滄ey/(|{ \3Xoj4Ҹȡ Rp׊\;np3c۳X!r!R;)<94{9hGF`w3R,޶яG:TJIc#-J1n;F!B^Q Oőu.k{BԑIiz%>]fs3ׇMD)=28:d+HP ,R(bN_7De_m%QXhe˼]D&+DJqb ͢nj~j 8Չfp{д"Ա"¼&v0FV][A O4(K#1?Y(Eݖ+feu/đ=U!XʛHIt}SN?Zht_ oێ~# 0L@;ωp){Q?Ztp3禿b AgBclNwEgW~M1 {e 7(dӤNM84qD<6=eJ NH$\JF9#B4"DOnBdܥ ^qL.υPI0,*"h^R Zj+.!8A-:\޹S*!'%SwO2cU.,%"υFKE3Bm K<;#C9KxpA?T3̏#h$5ޚU6J| /9U#\ )ЂIQdB5ax!V *{U3#?)XpAU핵Wh%߶R\Lg-p:ʒ\ޘ +ۮ+2wN1XC|jVxQA Uv@ԕvlvk$^P,`WI;WwLH:sЗ^_0ܐ;6Jźj[|ӓl[q9 R0⦝z~{teۨD8:"%TB7 _ޠ}sR9U%њ{..@@O%fA{n"<$uQ*Ўݬʿb:xKJ{*1z1΃P7:Gq8)k)_lق(K)D9(kC(yE.YlmW0" 7V˱gYZ  5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! a]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2QqJuidG X8~Șz7NhU'X8X@ 6Ct^F O'K֢įo<瀄#ΐM (Pmd0\aXvV/_`@I@ptzZ\py^٭-PLQW7ɞҏgdě*nsY՛7"ffL@#wḤPpEevDu=~AG*['CC-~QM ﯄()7c>x\}]r>}6%?7knXhv;܄,t\~7V;p~0ԇ?7Uț6Nr-5!C%/ҍtSu &RT3np# m08??&%̮VNPZ0z% mۗYzzAxp* ԕSDP l7剔ᢋrBgZwgJ!UGy4ʷ-.fif>ze=VP\7R3lcﱪ3=AC9+G^b<8-2eH7&ZÕVöj^4d4a\q^p7t9{֛ 7j  ~|T`LkU?ޚֻ! J"QW;Mbj߯[LA9cT2JR'Jn1a*!';%LOґ`\^-֋zJNBg[]k`> :,e)F4 ؞υ,--%=`x Y6gUv.! <9a-OK9Ya׎VEɕ8|Ttʲdr҉c|kS~]a{4 V UX$uL0mb7}{P.'sVN_Fַ<fͮRhr[le@QE=pX=w "WekjBeF{{ML^J1rQrW8P6|δ|}v/nU)cX6Y#Ov$FK -Еm\V-T-Ʊc\q:KTRk7s skY5?|\^Nud/l%XKjzH ۋ-QjF*FTȫVw` 5eúr}&{3kFOQbYxYHޞgWM]hF毦&/斋.\zy5#V#b Q5]}%T W*9̢56SƻL otq!*$ֵAq_Sf f I=g+&c0`0FjW?0fGײߧ0Ʈmܨ*јNxLЅ(26+rbAZ(ÉC&s`֐_@*:zhxPN*νe:3r!7]38{WHtQDꜛ<k,jG3aOZk8oy:Vp>P4:>5LF%WN.olM0۟Tֺ4c'{W*ŝoGR``BTևE"j0c WRS16/;d/ΰªyB%KmgⱝbI);[IlۦBI9jpT}M"ꂕ?b]N"e٢\f Б61} VbҬ0DDӭ74ls8n HŠ-UAqҵ YS'^>mg&\xf<@' 2DGRJ÷B'(SɃnzPش߫I!B 0vf23[,'{ZR^1j|Ku4[}Lt8v k 1:qo;sgK ĉҡ[=1_^\qȳÖCڏxU\ zk/+VtmZɝZvb*2Fb]a2wY稯08nu_+ %P o@kz)4LyӸ8O9.@,ZyMwf6'Ԝ>[RՓ 'KHڄdc6P7_D@\ (CbF -QI ѩGQDMKEݟiLATcOC<F%tl0 |9Nrj#i;c8}:ҟ^J;VQW;vD޳x/ےP崦g}X@"V6qn e~ tI Qx% ڦ{l5m =B,k &*Nw>5GCzt v?4W҆ܬo7|viКgQ2|`LgQ2۞gAC4[=*~ZDSx!-B'uvjf}JT4]CMMa'ŠR7- YAmk#pƓ_[7rbK †F<)CAPDw(~.b22~'[K(~-_wB84ڿ|d]01~& ggƋ8c׻oו`\5kne帪CU d: MҜ;K Qi|tm+ٹ,1ZUWi=3'npH-h3)j'/P뚧 fIm` 5?A$jݤ*hlF\H07JAO[/yKvA2r{UOZ^c4"P9GC *7#d'!u,l&ȳ|Gx mvs;B&=ϡ`= GU= \=ԅny28:_3<|]YDFHAPռz$/FGqLOucd=߱5]25"!i\zTb8|r{s-n~|~GV,E22XmWh~$Ru"~%ܣQ (ovrWk+d5@Ȣ6*cVfLW\Wa+Ú$ SoL~B #v-iĝ֌7VBM]z\dHJl;Jpf) 'hSdrpy|2wK_OZ?KodHP|Wh%I1@S pI)h6]s*#G9~zid61 e r?<9nP#.`D*t8 {4*N䴂*7 zj$cYq`47ga$#^tƑQEMرIt5py0Jxc73WECTJaF'uաH3.uf3VǼˑܚ9 a&c ڤ"7 g&CfZQMz)(ʜéYp8}ze~xj5 8$֛0Oy" LK$Nm [!3h{NY'AT;NwJl*t~رȲ:$I k6GQݐz:Fӗ/~Rr %u2__{UOtVQX6匧hI9 [% #0wԫ fƉ%(%^a8;#ǐ?hfj(G;k{vDCֹI1{O@WbJ?V꺅x`>ߩzbxd\ty XKtaʴt''*h-h 5ƹ<;O\W3>5 = Sxx&F~~zD͸r3e:.`mFmvqH{ʭ&} `а_]p"Q_k2%t 763^]=~~ʁ.,]RSŢ)5C8% уa·38=ԕ2r7׈QBi!t,Ns ?vPlE?(,鬌+BK&/+ 89&@=lSlWa;,<贑{dlkD"~(b&8BlcK7N</AAt 9^a"d*uu2TZ@ݽ}ظ ϙF ~1\b*dE}O4zny;Ρ6cE۴0^`^RKiTЙwVR7Jf"k5|~+hD6N1ɰҕrBR)Ŗ1 l˙2I|p"20+l<`*ՇNWm5YܖpIwi)pB%ŊtW,DyNoY/%mU"xk~pl랭ͬ]H엝NTs`FobύJ9b|o2l ј^Et`(<FaM%d\FƩ7mղD ^|$P@AL8= fgʆ#8$_`[.Vzt͉FRw;R#"W[yn$kGB]< JAXcXDZ 7Ts>fU>>Mxp03olN!d_TO@J%rԫҗu[7Ix))2Œ<Q2y3Rn`n.ޚ,eqSb(c? k9FMlgK1^Bk :Ô%w$[v\ xK}pv6ʼndfe-U2q?zp8ܥrP.TWT{ULQ@([ _=p>$Y{A w4ѩ$c̖w2EkGHhlfOTG!Z3EKm{(hrfSFQ7}Ȋ':Eo1"1<XLb*A3 gcN@w&_UF*2B2S쟮3`lS{+U’Q̤7Txs]bkϓJ.]*RkJ7..tjvt (1RZ~ntrF ؂bWLTOtsPM"'VvΕ;i@~u}PMA}o9.PGW5w1(Z3ϕ]q E Dݭ3#e'uR_Z`w%~ގ!l=q/J7"Q97cõGϡً#U•py#9csHaQ`E,]Ji;xÞHY2!!vpE6N?~7֡ vz7wM!A| T}Wdfn}xl@QRWk-Syná/߆&CK?T!LwxЁ%M,U:Nn\O7o0(<<ާILJ44&iJ-1GFAF/Փ)&'F } q7E4J iM k"cp`ʊ\+R/ts"Yq6vfnGZK&7+h_scTQiGL{f&r&srhrJ5-}bTlkD]ŬXZ@.%:o| uw#LuE<2FL?v՝ĸǛ6oe+gE*=_86̷4wOZ!Qe0[цJ, '&yBܽU;yw?~PhD9Q-1_f]x<ߤ/n:b7n0q̙k,{TIsl"l J["Z6+wm._@LQ)RڵQR|ey] H ynw]b?XfaO\'J/&W߯8KתA$e$Fr[c)+дEI2(i{/؃OdD[(xW0Eb8CCe!u3-Q4`(,Hl 3@hKS/7U$#ݘȆ8?1]4ÈbE}r4,H#Bmn-i0`ċO=}u-ᐼҢ7ƪp7$ɎۘvN/",~Q$q[^4QTj?:T áq^^ ,)"K6jՔ Q]mfд/e+ـLI.S* {yMjy1 s2HB[EOlJFy gb#W5[Atq\ottc;~ 7K@Imڷ?GxyLKo9zmݲ\rU e%o_(5P+ZkV`fZx5I #Ő0Sy5ekܤza%ZwjdaиX|혂1?WEܯrS[o/|?0]e<~B@R f|~X$R܊%~hr 6E3 څi[:snY_hC1Ne¾e"˪CGH(pQ :sLmM&-L1c5cؗ*- &9Orn? ~ΘEbK/f-3=ve˨$1:TE!J W?@Na 1~P&{ZۻvfQr7El2uǠ:~\I<-fa*_(+qWD x ͷ cȫmf@Xfn.<ܨqS[+jNҐ;ΰNmYϭjh[{&oA)~f6*Xsaj.9/=^B82qa$Vuj+"Fe;c|# k<ͮ;=ϐussꞅ~%fq?*J[j>(T`vxϺ s1YNm6+dkx\"LAiD')n鞥 1輌R tgǥ 1#`w]tUuSUM7d/^?9 zK' L@uM8o ci+v=aƔԯk4& °1-tt|ʹzE)vbS"X|KP>b0QRndzv* %Ak@gr:Yp+@K]puk*oZ̞p U  *#eCxǁ'+8woVzG˯9$m.dkKvk;wr7s#K;_c:5`!Zskxю eL[.y0O8Or}qovTQT= `yOe8c†c֛ñ=觍T,wNByr[x3.LHAC[世;Ьeu Nk"mh~O8ᦖGm& D!U6.8x[9*f`Ѓzŧv N(E֤Kz"mۨ-\%ޔBM!ъWk\+`?_R|y U.jLeTL&qxT(oľ=9Ε绘HÞͤ847C|l5t| ?Qس̐yd8:0TP&e~ȢuќꂇrK{Q[RbV&ob?%6Ǯ$Q63*8bL,6QNobIn{@#W8^51pygl&Vq;uḰr`I /-O4H<1aӜ<(SKuvZ^lt̙̓h^eE8]AgMZSeӧFI]Q$!#|xr?wDF.OR4'HvOS02 @6+5y6OQ/[=sk,_9 7:AE2!(-)7E:Y\})1D4^;c+cfL;]z?wX.smܺ ɗ;" 2RwW씝b,G㔐6ݻZ*B&E[<޲O!u.FWEɎiB]aXR6xw휈=CN{o9'NgPP({1_(Oc7>IRUKgr9-WNL"jN]ZY2b80`5p.Ts"IIHClYPo膨ąe`|t~Z(4;j MD8g6W$μ~{.?7 WP^p3X_- nssV54gƒRIDe֢gN;oy5gn!t7Aap:n ОLk7 |iU:)tMRu.d/hឰ*PF=p MD+/ Y1Z6V_E@WEQ4gJl_ hysn- d՞?a˅`6K4NcǞ7xzԼfe0h49`6j,F|țX`6d;$$Ci-f.wqVyfsK> rdz/gBwFsd"ڦ:AhSQ.=BW>{}%*YS|*;ȍ}0]VHD(8z;''抚ڦ73.p'FD|>IїwY:"KJ'wr2- Aex(ץ H0_zAw?ȏtVhC#YNGӷyFƶOE, $q)%2a`0S[ٍ%Ȟn8QFg[JtOG/Wz7kq/gpUF65u g?#(<)vD!yEL;?ךKH ZRYx`fnϦ_BӲd(4>.Mhw-\ 'H -\0W+S7Ʈ{1e%z䗑D}{skQ}%Ǻpڄ߄o? \E?1\V;Y=iz|X0᥄j yQDIaíNKF,aOl] [*}bACR;1*z[횚2QWi\:G q4TS\D-0 |JHǑ5b]NG.m:y&GL&<;\WTwlLvwf̵(K1u`["Z`]X=QؠAif Fy]jœjj'n^~exS&qY _SUi"]ӝ*o$DM =kS;$Qڑ O:Pܖ BR)(GY͓ub$k<\w} Cc:[TAdl^EAҹ!bJ/yGd7i+]¹ؘ5Fݎ=) B]ZjB~Y 0E'Ε"c J.jB!]<{Z"_ Ufmٔp0ud(e-b"~;:)˪E-bk^FT%VvՁ6jek6]$8?.qM@X_#y/Vϴ€d8YVA;ɠ(j{`#C{>c95=L,D'a}AsK%>\nEͫpE@tzqI,.89S/Sc܂*lDn؟`"v~1A3'Շ2(% LVX.(x{+gT™r#A:2r9v}ӓ5?}̓'V^vE5_.\AӻO7tk0zA2uI F,Ȯd]gKS~sR-Foxm: MZ$~ʺ}rrs "D#n$d,c67!Ԑ2@{#3ァ^]| 8dx6Q}L+hmDx(ύ-r&Vf.ho=' 8 RoFಝROTPxuj#Uv ڢpu :>qd?.$n}}& \FHolI| F17E.*o,th VG ^&hb1Zb7/Oh%8JYhD4Ъs*@(?v̓^ѐG”0S52i]r NjeW>/.Vy Fsi!T;M lr/r,ӓПLO; QJ݆S֧c2{{׸?j݄3 }e~W:MqUP}WݯߏUMQCwGCb41%ʯ(!.f>x jɹ]_QK1[P2qADϏ| #x'(x1:">4T\X:L~LkGD1aM[rEbb >ט4:Uȝpx1m:u0@|6<4IZN$NYDŽ'g hn}iffMvUC `#X© vߑCAMAV)j3@slh[{GD=ި݉9 Lɼ#ɹ 6f"T{"U&t׸WOI  4Qιsk)> O FzF0k["bQ,<|/=^aݞ ğ A;p{ٯXmؗS %R%n4'[7fC),AVKӨ$gĈ-(*{#zA0n_Ν]C5' YgoP]@<'EZhg gfm;Iu󥛮s;=uTUHF!kn;fl3UbgYZ 771 5W# THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! O!]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2Pd(y8F׎6iW錖G3YI|e!?.ML`(_Dŷ$.Kkg:M̝%XmDw7ހ{^nY=aLu7OT($CXSm*K_0gc&+6bkzBGczbU:! {#&܌daH94V`joNr Sp=ziY؏tr1 ~IngJݴMF:D{Ix)/ ɂbPVS# gRZJ0l%M3156h9J28~fDԲLqa.^H,u,=?tZ0ֶEI88+Q5e BŜv񎶣}?hu$ogq`V/ʂHUuy_g—œ`O8zgQt= CwsW8W>S\`S-džL?:P#e&V޺sOMiXI>ŏB~ VhoF-RI./%(S6|l=<GH̃D@sdSdWUZC9!<049qLǒ{)Mugz0' C2Gyb6Jz3kƒWOE7-EQug2T:: -kϣm/]s#EKW~,mtɷUh^C8/?X'3 ! 5aVei`F-=[Eߝ»jX, 0ThW_ uZWlOZ(&f2hULfO!Kzh/QuTf{*dp=ʛNoTB79Z;Q ߰y3O|#x+Xg" [ܭHHYyȯ.7bl6sg0DǗ勴2ml>4ԠHY-'Inc~d@tO7Æ;3q::A3 աy4IW\&,=R[`\Ն/>ʈ^ļS#`x-C_O. A}xvipS 𼻁Hzl8H%!#RԲSƨqѓ M!Og괂6LA~z@u" ~f]DwӋ XUdrJk4NS.ѲQ. B{MRD׽8JjyCL|Sߥ-9јڝWb}gj }C}T@jt#*:Ybo>u](䥣e mnX]*7cTv;RyyضNj̊2}. BӵL u!lt(QLyt<Ϝ ސݾfa)/Li7m=9A?(Z֏Pz yp͕5؟k3=P0og/+4TvZʄ*Z%02*XFl~8N{G<_2fZkX|{=JSw`<:a] O$ma{&hPvmWrf~q7u\ (.~P]XH4DA: e9)FaSu >·ĸz.ne+0 e w3@`<-΀(q§QLMXPM*P}XնI#XSXN ~lM׭:ؽ]%o4䘱d1z7 G=T(G  Xӱ0Uf|*?|h\q !`>/` 7YIەh]\RD$+7'Zvu5=YCt䍖].2EڼWH(8DhfY(i0fUwD5#ȃ8um@54] DR圦$ -1ж阐X9{}:k&ޡ# Xۥ W.>ŐnXrrߏs7r| 5X5Pلd^]K;nkKZChCoSWa|-Fl@Ʌcs3μ'd(>4*-B\ݐCS@d}Bx-U?;fSۧ%qA` q i%|$5!#g0#;\mQ%f:EC&u#4Pe'r#m=Ƚn4l!(>0ulW22b{-1gKU @-䉣fC `<%8^ ӎ/@{ *v}9T_HPK@*Xo >u>g~[G /u.X%Rcl͡>[ɖbXs:.7xkWDճPs cޱ֓vynw+R̎H$qbW:lSNn8l^m ^Y]=X0>#tn !?\w_~NȼHE~E>Ʃ-O|6#e`^I>r  /ήVSg\ x݂AUmuz/kDwڮ~Y"u|5alWl3sІ}No6O/O`F9Ob=l rZdːsNJS;;55AIΏd;u*^Crnx8 [/ J#{m-JX"2#`VZgzxI5'iu}`O}&8!ӟZ,]nu{a+mT "Wb&|yf`*>9S}绺$]-}x6f^{R` xj0N<9~48te>d=9rjcsH@kb=|H0y ?b4j7ҼP2=y(GXiUM._$cGxj@cSgq7Qun Z8\,ȃ0cApdzJɟYc*X몾P_bYeh2!^90"J`1ҤC2Ǣ55rC ]~`ӷecoaJ^/T_ԂDS=c NjsgM!8*~f^(/1k8NBƝc©BPLGi\ elP⊃D ?F) Ecrk?zsGϯL܀ 7*_ |YǛo(Q5߅1' ՙ."__J`9G7Ps,->B@Ffq} p.-CXYqkvx 7'7 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ey]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oЏ&KFYy)ǾpH׶Q&IF7*Sha}]6Ui!guHTdJŒEWZ 2<#͎ b-Q"=$K-pQd @+`C<94'LaR쪧䫾]\Ɩt6era^ʋWc٭Zfz7daVI^ dzf"R4Ahwv[Kx`q@_mMV޼peu0-T1.Vb'f! qjxm׷?j(9<1t_aEibRsnyx n$A~>QpJ_2ND TߜԻ0Oq۽epLm2ਓٱ̧uzR/ȖPf(eԈ[sr=>U갧w$r`ʪH6 ȅ̑{C*/=mq*WF_\"NF֤/ m$dƙzF {m7fNV(u=Su a @+,(גe Vtس%4b˶dĿ ?b?ote 7$5t]tP$5TŹt* .*_~=4F2@k=^ND;^O,_pd5P&ß+ynvf$!-ԯ)YfDz+K];q;w'> Hz+,=DE#=mZBDB"()}j AWd &XL4@B:$5"k;ڴGCЋ&^k$Ah66(n!{GKblKD*hA^+Z V3"2muZ@k)a<[jP0{%{` D" V@]cR,S#̤/FH8xNMІ(mO',]y.g0QAeVhhђN8 q5jڃ\\yº}42ˈ~0:%K> MKҴ̘!S٫jP"137wҾxr'VЎ !`p& ")I Hi_gEN.ToX'>Д9r6-PJͤO!UzZU+  B2[meɐk+zؼ4\bGguJ̱4Myv^ #Jyda0g;i5H/I#۶z~>L11fZ DliF<6Gʀ@^X!Q?qXӺgG'[Ql:t0js[/myhWS!:.!#WMfqLMElyasF3xGmQnn؅vN: :˼֤$gq^ގI[&˚9ztpM޷e[†# [] 58@phMdq#U fvT0WD)YiĴt. 7WnT4 d']+_nbD!t X!LU5w!w)s]M *䀤{"3 `eFDaj$bb́ Wx.4p9 gaZ7I*ÉˀVq$x=x@w 4*?\2DnUVzoeG^F ESӖ^!3xH7)D_Gr~b`AxF^HȜ|Bl[ (+ԫsKW;:zV2ü6?Ժ Mzsx:inps[vsrgcooY'YqxMA2=T c> Qq0T`{kl=$ Cw= : `\!{JCu8Gj''LևDuY*= ͿiN_-~} ynUڽS#zjD& 0^HP3+&~.TE66U RmbM:اx8II2ņ!,BPT-6B^W?WthQy/R4&y]:3xkG[ȟ>^7->_/weV̠6 UCu@F.YS䓘 NAO*p?AM ދ>|O% -<εجkcţ+F Oɀeu|WݮS׾mJ-9QBU?s~c$K`f!wfrHDJvΕnO:d*L>(k|ָ ݜߨ`*P[`I㐎6qzYv  U$;ߠ=E|c-}kiʥLUCIT=Jy~!0dHb7 & ?Oʧ(bPw@q_ NYNo Q6NJʁ(*~JYR63p\Ep&(cN< _㔕'Kmf26NusIζșP\y7<3-Y{\u#и6X_CT~e̐%FbzjEgͻP~r*^/]7qJfInaVD4d\ꢹkkxt0{" kg[fÈ M7&?cyRWی'σf/ב0L}eP9c@bI|[6ZA)v>kjyzMƘ +-r%f rg$SHR%%lFC$4GU2~ssh eb)z`糿(+ENzG-]˽RhD:w]@,m~Qиn.z6;ijBCM;׎IyLO/hWXs3)Ha&Hg{giЬW1_9z7,$M{RzH.6\@N&us]}ϼS8H9 Eʹ[t ̬jEfy:Ґo}>\k}zVSU4~ƫVMJYAau|}X露 > SpwTIw9/.Rn$K/{\fzu_zA't]%4 W}[_1s|"9x4?6-Oz|ί$Q|l<,MA[ם-ݙrF, ,z309u7s lÊW!L`(\4al1 D VU\gY~~ZQ|6[}hb{ΰ ́\ssnli܅`Ӕ6^ ު[^h\'#Kj⚈:U[ 4Yvv:hc;D)/) h\!m˩%Dn0cS,:#_sRp{y͸O,X(0p8#b։.N*0I<²Ÿs/ 6zO¸/V S9Vժ0ktJY b]|}băvp:[[~*ZK$Znyy ]=6`{͇pIi=:W#N/7h'ӁY1}?jbz@EO~C~sVT%܏2 z6X2l* 9)j'^(2/n1 7u51˩GV[2&UHΦ-@t}Ran{z CywhJ 7O R!el5lGTMZTyZ~%{ў?gGpU " n;( :u|ǎƜ HɄ8N4D ݂ʚ&Cbif' *s.peܓLUgǍc/Q/{,5孽S3Cg^M~IRw>0,z  L^ #i:j{X"f}n4BAX(f{CO% x\3|'Bk}a+s` }}/mȕ_k Cq_r!D:YV̺,ϙvC@ ݈!deė ˕l@dU酇ި? mŠKִӎ^RJeu:U{/f$@&iTB_g5w:JEWRT0͙P6ɞń""sKP*xTOˉDl%K]84-nʺ`uc9fa7U$1`gؤWdm/9mŭy-L>磇.pLW4l"'䓎R ` ɶe&~Pp/[(2dhXb\vsw$}B%Ty!G?-76vYF̫ Ѩ8d՘]o8$Mu‚סٮX=pc -%Z/u'哝C̖ٝsThC@p sPP@XrBdib9m"^|;ξdx).iW%4(3);]?r,Be &usˎKFRR(&=ZφCˮqh|nq \+VaVR_88Mr\oysfܯBLlq ɮ{&1] 0N2Zy`-?Ë䟒S cGcLL++S -{,EkJT:r6bJ1 ]lUkį~'XVY@; I6*aquJA6n)7bq/6 gYZY/9Ƀ0747 ;̟7ݺ4"B7nk,o}[`4 *0U ЌkhH/ ygC"p򚙞ŚV -)CHP X6v˱ jJAjP$`i Y-j/)y>J 7޹ ,ti=YA2wp6D %r@]"ϕ +kKGMG;a,ϼ#zƋ~ΰd(ߔ!ܳ$#zcHhQ:PL&4{_# @{!LUH!YQT6]9ߠF88F JW5v=vѰlJki G"5X87a hgaeFQBjG,Ѧ)9nlnO-hW9/MƏLnU{ϒ o)lx"ⲫDz.c2jM2o'C$%^{ #4uȹ > 1j6!ζp,Wڟ/1ΘTC`HAFxZeduC(rڞY}1R^)٣PD`G6\uHM LLY:b9ҋlQ%E~?Wcf3 Uޡ`Cm &) yZ0LJq .JU,b rÀ[\!2;. uϱ(6OE4%O4Ő$YM4ĨĦj ݽW*| YY-BH%{zuO:ڀ{^twf8ʨfE6=QҡlMR`F3JU,f,0{?BC˒ҼT}g H1?4&_ [/mS6o C|_^t;\IA1~\,q@LuY. 7PS|k/909ow͛tceGUub e?!~ݳ0'x[ʢMWݿ_Nʩ68=#M;*Qݍ;3M610oe﹕Aي$Xo(ZjF20 'kpՅ%_˄tm馨}2C~DzR&z$D&İ5R&;g\@qewĴ渰`a)hWH^LOn jݾ.Y Nr&r!v!sm|nyvA-mkRruF|8M_`Vy6 r>4؛7%KWL&  ?hqWV*y!@uj>׹ƻ񡝔2W1Jı[C/Ä,QS :n~ C;\e6Y }X6o|HG1DjWYsI^ [$:˝둦[ʨO8%0`.[ߐnˠV'+AZ#x 튞IgOYZ{y;VeTo`8dh3S&T0i`xn~QSsNFge3bCE{0PwGX/Q$9~*T3 6-gʟeXDu_Z۬"i~$!EKh2IQB@UJtmsu(X{Ř￯5Ty}"'h '"kqSf7xd 6^Oܚ}?#QaEF-퉫 ^.JZ5Q}lG-˵s^zf[pam+v>(ReO9+(o[ #E>+5yj_8msm:> 4$w #+f`h/fx6X-ʂx ziM\e૘Qʴ>_!')Ϙ+&=sP!xCQpwr;?)ih@c“(͆/2g"Xx~ɬ> *n췠.[Zz  ;OYr5G^jžA 0s_<"FV|d򡚖 v!_zVrS_lt][&.:`ϗf<inv~ks@F.hnRH[SE)7IQ|"#TNWd}-@0d:|A0c6x܍nȓ$dA3img u)A-/qbxIwJ)G2/}n5+fOQ#~Vsu4Wu4 0&pRSv{PqU' ָE%w~QC=IIwV̑ZQ%Wq 00lUm|79ϋM`6[k|Y)@c<릁C/d76M wpbjT0&pVS+B%=:FӅܑ&ȫ^ ?`3 O3qHYDC+и(>? D(+?VwL~ +(Sg_n1C`| jR{ NNtȶ9ocCffifiOJ =Ԋ\;0?L2&tb4^fS,&nkJQt"b K6MxlWPnZ &-[R4x% 0HnBRN%tԴË;S3شP;X3t ے @vJ}2a#h+IL*Aʴg^ry4=5}Zc-,Ko6FCՀ/HQȲEw:Yĺwصόpgz؇#W{&uXa&n"bʴLNq@k6B_{~&fYi70! D4p>=)LQata`X 0'xrp:;̵ٯ,Jq4g`!Lo>2Qgn3Ƌut빽7#$WmBC<!=GϔE%^'-UYc:n6ғ!Y^A4:vr 6)9ƅaR =陸JFhԬC!_TːYDp(KvbXO;v:d z=if1=#wU#?Ąm-)<F6Y ԢiMun|&\{+mcG[1#ƍuݰ*]?ݱ,MWSV17tG\[0C.k2(ϰ{{.R7EũU,J}3?yUN1evkB{o(TM,I7xPKG(*Ki}HS|~Jbo( &b21)4,j CZVksybKk,))_@ckZ@Ϋ_My7,+3BЎ[@ !QUkkP0:#(3L7=sFL^AmN' f@WE`to1Jsu_2*:9WZ! F0nILKfO3|^dur+ϲd\`ܒh(#%"qWz{v_0a3Q_ܙ:#YJTz 1ԐT! [)4`4Ă:Qut_޿4:˴5Ǧ[ϫoTD</\h(0\'{i,f܌!bM"?kS:V>D,4!!7eA((s_(y -7l.mYXտJMPR3'!Ta&pיZ5yU:Zn 0e\YUG^.G6tIp 4/4)4 { Kⅉw o]68߬@aj>[7LS4ld6>#~?|~q I#E)+yyc鬹߾ q T/?i5Xq6P ;9#]0._MB6 Z&c)xբF^ ;O;y45SF\rɟ j?0|SbeʔC| V޲$3dBW m7 ݐS$9ތ0`yJ53Ehw 4;%Xz=dfpa1cL#&_5R!ZZ'< V8*i^5!ķ 1{ k3l~dNdIB.,ZnA%D z|BK_VrP{wI^ OIFp/j=:iN{Fo[g`/8] *VItq Wp97 ":oTG#sIBe Z85Ldu"Ur)@&o;cErJj][mݲkAk 3\6A "a(V?\M{jpȮ{cC>=֪0:މFmE.8j(Ν0چ ~ljp4\W]Mܴwe7X2MR)GkyZ*pn _zX'uqjzhw~*HqQ.<(q*HTkmq+#b`H:dS I/BYoͿQMjJ4Mޛ `yl5Xo"m/ֺ`׊k hxHz9/4^5~ |`6MG']zWfKKJJvlgxH™m9ZRBsD$Y#0J X);Wg^c:ŗEB6&V. 2 םwa˾uƵW:k( wWn槜h>EXGq&Qe' hDb$NwӓW;7D) u%d'PPE]j]<1+" "f(wu="O|̠nlI =_,~Z.^1A7y#D\EoB5=;bqts9j5İa(6Upe4h(T_s$o4n?ϟd!DjLXϔb6)^*}ױS^ `,6l+P b@)p.a10!TՓsWe&,]-JnBИ~( 5*XR|q l̜';拚}ffx"/?؄Q=bD]O?Gh #V%]cqцN<@l̗n9RJ}p v.`{E| /({]8b%<}.V5AZ3͜;R3uOPv~,7lBֱxUNqQ/1a$ dFN(u{c&l 7|gZj8*oҪd!j]5/IpPƳ͌:谟?Pv\Q 6k>PÅ ֺ{^a#1E}Xc+ԍ1*M[;eNJ,ݭ 5a#ڗ~)N2ki)p?y(0ݺFmcfD,bm0*Cw6ڇ(^%N?9= ˖=)7%σ:(O@-!>.|hy_4ΰkثٳ.s,}'f<ǩ5gdM`H0ցd77${69c$_o |{qt n$I:1ȬWvɋƴZa>[Q؇@Ż:yB}MwKLGZyG8Q, HaG9pᜣ/-!I>LѭaDO*ˀ,J & 8$j,A7o m%UYa¿eKIa`5 Ӟ=uyӇyuHԈJ29ikZeL% |"3ʖ+GiD0f7aC8 ܞ6oųh|'БZ3:ٜd>Lifиwdʸ>?)\1p2a驤R{Fk_@Zz%,_{ |>>\6ݳeh;".I}YxMPBG)`{Z@G!h t BM)d裐Mj'ٕ* 9@U$ҔBTQve/ًZSGķǮh:<}b ?B/m*)q) lU,t!htx6sI ΄)M4X Fq_IDч-~ۊ %򘤯}`x1zK[ԲcsEkSDiA R:J7Xjz#ȧS - leN xv ˻>F^vH3wpLڦ YE^V0-Q/jK%?ІqJX|3AnjmuLCH6|F<q7$CQzKX`4z-Iw/UBrfO?~"=iaamJ|UIIQDTLٷu$\\Vt6vӏEvӳ%c^wq}7dKsd*?r1D38 `}%^iT%_~UѸ/I$21)Z`sǼeBv%6u8[֎&A-h[rU :8ȓ$/ D%+bAe?7"eY3j ]3үtiV4.x~ĩvgOgx!>/+;(Jd?BSH9Q q3wGU3%/J68 .^X163rwzd&x\ru;v@wPif۩ܧvƳ<_$ᫎ˳s b[#7zVP3z\>ꃓgL­}~4Q&nҸWo%a\5I%zM+8G@2G M {^3i-TR|rو+#UNoE'2])Dt@c.ĐCEAMJSQCkA?efڝ#v1p٭Qt 6%b%Aʆs7"l^X|09%/[QJE3P5$&u'O@]I|΁ଯȠ׊6Bҙ500V8<%g9 |5H@}xmo$ a {wn,$kӔ<}vm#x)ge3SއERSD=@BRFYcYs3TЛNC BK}r1𷌣ʭmM3f:d;b_5ؼՔ7&\9y3b;yԛ{3ph,haaxPcR# _umAǗEV0UWԠ{;@OZ mE:D{B~h}J_uv[pz%sWlx@4|`ޥG0T(SBd|9sH*epsZh{9" Մ;+5='~~sltWl.5"a?3:!˝-z>a'TϺm8)4ҹnk !k]f2`nq8Sc #ܩ{G.5GķLbg3T6 e5wC fF1J982E[{Qaq5uosY0AVFP!պ(QSj>My }c0%$gv1^y+0d"6eD hAcOGčZ$U"<bޜߗQ9, K* " \- g&fwp߼kFZA%WvT7ܩ̓AU Qg] š1s2"C9$0} Ad5VxZ_?kM!4`[(? Mf'w+ &*YͲ"@gxzH>qm!Ի-S H򂭭)V,BC$(UcNY&|.>Lo0sLdtpRP?ӥ`MΧ&Ռw$b$O Z$ֺz b0m9r˅2gH|"l ɽ)W-i *-HsXP4;]rRޗbE1GAQՑD+5V=3l**-[yZwvݥY%4P:ArM.Uw@?S0dV]-NO1h;fok#R\jm쓷W[&O_Q}]F ,m+5O_ںJg(7[sP9~J0 Ofb 6l00aƧ[bYH,⿘1yxM$cHzWqx*WKQ838oM1ɍφvx L}zof%¦|RX`(\fv%>6~ysQV"<'Ckۦ yl;n*8i)_el%28e<#}"n?+邵7ҦdG&d*ߏ+4]oX+ϪQґ 4W;N0;q_dAv{f.Zt0qRl`Zv0_MzR-[e([ 7 O[hm1X0\,K@*:`Cқ{$s$ج֝1i_dao74k ų/>mQS vW8`F]ݪ|s⹩w垂RzHUWwڔXT"`~XY}\_KƗkڏ4/i;nI zA%:v-vI^In_XoDr ?U^Ia x1p;$m1:X2̝e:`..%ѯQ.oj2qpk^5U 5m s&]-Yev gAY"8 (ᓪ/cΠּ;apx)ur-?PhC'Z>-@? :#H $yDW?Vq ˡ2\Ӭ̠/\3XNh@ ̭.OWߑmL``s7V54|8UQLFa% @~ #̯+]M(!PZAʏvs/(x˓bS UKC\φ3-Ju.խ< s<NW 5C70s< <1׭Is] [\RŎב7> + us<FYό/$ÈKp%t0RtbI00([# a@%t# n.$5B9gi=]ӌZrJf`F:_sN#T9N|Y!6;,nu\If u8'p:;'%83K3zsz50cf(GҨk<!Uv8] E4< 41&CJzJA O>%N|.a{Ag& 90CN mϼ+čh2Aje`Y~%L`YG&C}Hϣ^9ocooDiؗ2 ƈ/1`=s MީeH6z!(d@i]-K;v/'_.R|~pݢ|rg!E|13,}6sAdSXSLB[l))K$9،Lq4׬ =%(sdTł{R3%@qu.| ~BuYKXOV`JKs=Dzj/w}Jx 1V:?5s'SdT ߳\xoWw6!'6VY xW{Q.W]{9H|ۃ:z^(jr^ ݬL FNq&\f]Z*}(Ehca?ۃ /gYZ6530e9a7d0cf493ae591f0bfd701e806d2b383326f996ae759a0b89fd441125c40850611f02bb4d4 6a68b91616aa56bc8b0d5f5946b5703daf60125c