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   a5zd$4 ]/ HOL-Record_Benchmark:threads=6elapsed=146.627cpu=244.145gc=20.9247zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)6*_0 WtBgvb Sb)dcce@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘#WSw敕8r,w/U+oml_}YZ7zXZִF! G ]ŗXi%JR>{GBwQ+*gj* L#fU>&i1b@ -Nj<,EGW|C@FPauo 3wA@@1n TvS'Ά ~ð@Gk*lǻXAnz9;_՘$o[Z]5L@rN̚ZtزF: +mW[ayN_u{X?axhh1bvj.ŧ]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$(]]ӼCrnGPZRp$.7#0B XYP R9cҡ:$[fn{;u._>TD&?+|JJ<|5x~%*ޒwS2su>ar'dR0ĭ.>-D2o=dSvhS$"wԉo7J'%SUTI-]م ZOzDn;.?ҭO)Fcú\͔KPrMͅwB KY2kZ"OvB-P6l0IVHLDrάb\gYZR5W)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$(]]ӼCrnGPZRp$.7#0B XYP R9cҡ:$[fn{;u._>TD&?+|JJ<|5x~%*ޒwS2su>ar'dR0ĭ.>-D2o=dSvhS$"wԉo7J'%SUTI-]م ZOzDn;.?ҭO)Fcú\͔KPrMͅwB KY2kZ"OvB-P6l0IVHLDrάb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=C86ݲ͊E]UZٺjnvVЯN-F#55e~uA;#IRYUz7J&sYho; fP=(Vlv %e᪄CqDǙϨF?1hQ4a1S5<džx0v) ˆEOygwllV,~S iWl* I1n=϶bz& \ZSfZ-{\"7!mt y)G~\!R7PhA5A(}/.A:}j~nfVYfB'ԘE25+Aʝ x;Q%:l=c%}ÇRwgVSLy]yc%ò cˉ4X4cS-onuԔ2@5/̿z>?۲Д6fR37{J0:(O(n )_͘_ i'Tzdl%}q#l%O3wwL ψ<#+Q@dL19-ftS|| qdaF]T2t3iGYWZ8t1m,Gn;KئN1(`F:i.6rij3fm'jqϐ{̼'n% AHIN. /L,}Q8.o%9%Af.o`V?2ӔݘEВO@jÝ ;-X~1NM$ 0[ɵmn_o8"ZlYn-βL0 ‘ M}]Ot.khoԠq\YrZ(iU1Y(]OH&}AGEz,"]k*rǧCD k*)^E:uPJ[ʰ @[ Kw6Zb ԭeP궍ѾM;3Ys7-n] €nǴ(׬ÌLoFfb[HS(*B̞N}YZjp7q4Ց=iÀQB|ocLfK?4=@Lv8xLӼzZ걩+<ퟶ캆LZ5dKđ\ ׺$A)?Df9HsO1Pofd0ρ[SFFi.#dN\]HЃKi@lmJ4f?ğza1e8QHy6nuCjǏf,ēi<zIe\vh^3@Gat&!\C`7(X؄Ooܻ2SSbP”&(+$eklH; gÄ8bq ١|V3Oǖ~5M{-~[xm0(+go5[f,|QTVg͌,qȵHT: ܑ7f/;(8eL wVZݝNr2f0 }6~o-%VEi$b( )R5a._%oRQ̓)S֦Li- D:ͳ>t\IcJTFȾ&j TuGr>f_q0RtD"뼉(l%|58]#x)KOfRR'6H# nݔǥmsJ>ATC1;:c*!% ^q{\\`ڄJ銓NXHv<ɏQrG4&wB|/ũEqh]2l`[vSAd-I[]ωxى=G%Gv[=೉o+9 c]ԄPXI'j̷5g`!{YVDꡄW 4/k ieƼ! W oLLq9"y~OG4Ĩ8[sTLJ_2:9o+ %aM īj+Kn?<1aPYabUb#Bؗ|pϣ4$vhT.0aDnI(29[&8|1r OkUjU\Z}]7 - kޮc3X̭k1IɳZԡmжȱA^vAGQu:V+N3'eMt8mA;cs9*|k1p외4н)¯GJd߫ʥ$gnaTKI:bUY)qUYG c}ˇie~R[?*\ ?t!c|4-9Q.8'9wI s~sTE>݋\XL7S5͗،/xa2k1´wcL(7% P6XU2\fczaʱjI6a@6қ$j--X}Lj"|wp%u^QNSFQNA&UnynvlŻCQ>ICE\"=bsvq%.3il_P  g0knEF 6oV~T*vҶ1M@iCd;! (pQ~zn U{7HFǮ΁:%i*wҸN]{=?3XJ ~@Z\Pߨ<178ʖ?Znks|Vhܳ3JަME"kWeg`$'f,x+v9oRt7ެsu]KiVf"w&ݠ9k_7įZG6T˷Hς{lsOK̤snUtXJrTǍJ.R뇕88JH\l(԰ܾqfX:vwFsCrUoA:({MMXOj7ppIgN:֢ V4l V/cJFmuI|tV t6sM1qdN(#L j ~ilDU 0*-E͸qi gǼdw7:,jmMW. $eB6QD9dpgjn:1pf_fMDifQA%XhP!o xhco$.~Shф#ؙ^ ;T7&wD3(\V ߲FXѲXi3.esr bUqジ,RejYz ѿ홺 ݲ]^i&8tJ*G&֯~Et87؅gP*kV/q /9z/cB8wF&E1ljmBGv 4Kܮa<-|JgYZCC5R6GY鎡T?sC/q3%^Hh^1_l#v*''6l^*H{l-ɚ=nʄWv ?E.9PKhpdÅ~/-ֵ{Nl(tr=KVںx'FO Qջ2)A:E*^t;FdEje5=4GmH'e _{'G<@H"6M-i5 H 8sNwS`6X!RKJPGljD>"+2JrCanן$uaMj4L;ڪwn-c㲝*97 ɇF'sD`WGeG5gMGRCkd:Z[ QHsQ2 p3P8(]Wbja L{n#fM^/8@|"i@d167+aMFsudm YP`! Z3}78Ep$#8k`:Ƃ@L-'U h^``ӛ!`ٶڲBG0wU3@~Ջ*.$e^5\mK+ԉ㭦Eŕʽ׎ꇚ.?-r4$9~V[[{"m^~n 貍Ft=#vQd3ANع+I}~JJEZ|*>T/<.x+h1RZ+:!p'8or嶳FA.@zQNzSdqS/Ā:K:)<߈yڡJ,$P620 !>7g3clt"ItpW-/k`Α~F+C'21aR`@;#k$\KQvϰ6Bo7Ҥ$NXQ.wy:kDPB‡轻Ū )dM@xyhK%Lfz^o$MEX;$c,t-5\P5 6gǼ (o6(r88@&:J}Q*B'՚θ,)/1W;:i:3!>ʜTIpxm蠌_?ua0"|/}BUKENԀ2w p,ڒ2]lj?./anRMO,U*v(cnR$$v0EJLdкh*!2{,Ps@)-n#JЍM˿ _݆{t1 "m0Q;6;Hkr44^[<&LR\\؛:hhQ_( _+0+tN7mC%dˬA?o>uyQLa¯G_F'8[H㒖D !qt @Iwٮ!kfūϝ`oxA;_@/MKID]-<]r+rYioኟ Na'q+!K9„υm,^acxM='pO}~E*h=RuO(scD&Xյ[VjXvw8b> /[N֦y*CiL 8i_=?R-3a ]mW$tJCSl!T_` b׎Á8v dXⳐ J[e13$+m [evyRFuu?> /︇[3[&;>sm'6{=Z @q$9vDdw arv3imFЇ- 7~QaC-bQC8Fd9rqe|pήpХICaTO>wQ0a5btzgjq|B1NlU%γ|' D7r.sg6ÿ5+CZ㜞۫e"MпYl{8PcJ) 6S gߤi?*b{.(rJ3Y`aGЍF񋧱Ft<ؚ**խj ٳBs!G{|jIoJ")MX Ru0v,v&,N,_M/q]!za| ;VZ2伣8ƴ%bN}z0"(1t$E[v mtG3! :@^vU| MŚ@*w"û3n l 5 M5P E>@>U{ t$.azz /ML8vmn̜R &wSNOC@&JaEY_2 A朅Z*:Zbwhd!AϤ>|>v!mjBbX =RPP;k :G5]-VWfܸqCmVH)KBC] irbtY3Q^|uߺ郋h2y6F!W)!׵HC8ŌND FYCᦰ_Дs;5BU׸PtLwؠUy<|-qEj:'857"BrweKō#2h{I \'S (L&g 5r^dO ZApw9[oBrt9Ƕd=KTSUMz 8a/si 2.4)SUA\!rA, B56:u?nORyt-VIXX⟔bG7xfHorD74Xrg֚|k9@4Yrӷ^ܾD0k/6;!].i0!WgYZ kk  5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8?#@ ˂,{-yFحm#Yٜ{ev<&wB\⃭{ @gȱjޚPaft UeLG@ȳd^薵Fl5)_ܞye?qK6vULD9[!IeM_LsP/jce:쇽P3K榌Q/%`T7s+TVz*}6PcME*sHMN=ߗ N|V U._EG G8Zi9ʩa7,5tv]$,J(П=Aí7=xߓ|JYt)Hyw  K*G}zN@Q?(t>c/ 7@2 gV/90B)EߨxFBJܮX@v|pii%)D}-q'tQE</Ec҇UBA? j+tXnB' h,i甐XidᲱ.~?G.K|sdί;i XcV[G05 `>~ }O&բ? JOxetDݲE;[p!}#qSU-꧉::}"ʱ$il:gPIi[#N$v `|Np9mלh`ױ$Nwj@/ B c[Q6 tIg?Qwq*rK1Aڈrz(Z~w@ x`w$)ॄ&mc-opꂠcwNz=lWݾ_[ @C$e!4 uc* 1g'ȩAݳ'tS;<,) c:7I:Tmy]geH<}jh OWJF"{f߷E 7Nz>/Y@%&qbcn&C327gdG,̬GNz8Ѩ8H}n]p4BI -ꅔ]0,=Ft:QOb|[vG} t{c.*>I"$bhf qN1 NpeH87i(\|_1gR(yF=+(l&V45[>LZOjʫts#S2s%;$^dg1M-JT>2y vCS5'p>#!l}1GkD !V-㨣 ^^ixb)(k\L*L9C])ST#}bW "o[Osa,UB&MӖ\/ -HlqdWShXIqKKeMHkavvEaþjf4X$Jo B8ϼ2iAbT&Kq:k \H,H6IcYS+~%)fw ^ Ms]%5ȵZZlY,*tIdTuh'}3Q LJ0 yTD'Mu, =f^QRnkz u..vl'\J9PSz׽+ vV֔n0M '4O &s޽6O>MBO7_VrdۼK[.P"S8ɠ#0.d͌EE]rsG$Lj#,Kb#%!ZS_hxV"%cqvLZTЦ$|&!vp\Xޱ W$/U NaeH: |㵼kU mF-hIߠOW,c(ȝTOK-Ur80<_ÖBD>w+ꡧZT156q^5j&v_f˪lM 1#" drʧMYM k0PlBy<~/aدuOu)s5(.gG,NIY1h+)%Qx_ʂn8!ǘe}lEL 11(6nn:I /鐋LȚ*z wfmlgԁLE+)uO#,(v/8nӗp~fg@qZ&1,n$PXR$(Ά߅2RFnQhzW&sy!{$>t4_D*[M7,D 5yq>yOv]&mv]tw>mO*SP0#Z^^ QbP?^E\l?VC7db܍͐#3+->RQUJ=(}/aa%Y$8[Чnr<J_JzMG7^H[1^"0lM "iT'YPy&992%8kO|m0tuQXS']htD]=歀.|5եmyYAz쩫~Ÿ F@4yZy{~IsZϗzg숷mkҽ1}WjGյy¡TY]&3XuaJ*G.)D_%N,"kK6X 8T˼Gλbe<3wdmX+yrcTr˿R_Zo8 ~OűTkTJ -ّRcFdNoz$r m;g^6 [vN1^QmŰ8;T ˬW ^9_^ a2AHZG"ue`6 #6w`12aϛhNk-Xfkwc"䴙ֻ_>گgfta P 8V;sh|j3izHB=igk4 Zgo&t-r<|h|ovb#is6w` VCρ:3%j_^ܣPNIM2İrkun,Њ B)BjgP{[XGy~a֯Gȷ|LP!)4':Hzo)ȴqpSә26h*:}#iʺ4` JgP LMltmXGs@< q<06XeLtO7ikz^j-T[ϖ--嶔WD;A;UA8}Ӗ|e4 )B') Pyar!=eX]O.h_"c)!Zq$Ge3z"hwđG/%n8xyOlXfvXUAM'Yl B0x}kگ+YXnO-|zLBnc#yU]7NF3OxX ʍ-dψU4QtjgF7l W.4gOD?n[I 2ZЕA3b`&-ByFqs_FYc4%G*2QsL+8O jzJ #_]|R,0m ⏹:W HӒFxclFi8BL[SlIGP'r֧VkޥAw=T t]e&(^YT!c$3h|iȼxF\7U6%m)Dtz,`ExG$*(Gbg_Px5sW*$ʇ4K;^&HquEMͿ!_HnZNA$GKMLm8Py`VSrճ`lm j37i΍9uK\ -OZ* ,hD.^i+/Wٗ[^A<_ ȧ-87W+6zNu݇nP( o%|yi+q!yN$ͳOl; Z+E|LuSSMPYͷ6`K+Cp|f 7J@:M$ᓵY/vߣ;x V;xLs=uhE!HJjFKqӨ5$x(‹y2]wzMBHC7- BΎʠh3u|K,@rOG#-aퟙ,`)wo :7a68s\:olPy*ZE♯Clt͒yiUw$qm1FT[s]`dSySm ! У^_CϼoJmM:[ R}0UR9WjU9Xx^Ϟq:f@,$; gJA\?O_GAn@|inO I5U"([pOz7BP^f-iGsi*M4ahQ/,!t/?WcjGvp+g±T/Ox V׫o湥%nM Nd}l]RhKk?H *ܕDՁ1ypmhp/*[ R o\xDnZFןH}!}TxK-tI#VeClpPeD[C͑Yr?-4ra(+ro9_b*Q@}/H3A;aR)fGQBu:5V81{mNsD~&ԩJQ)d wq:ϼ kgHynFl_z$#OO G_K3$Mqľ<{)1OsR^v$^`}rH4s`RFmG3 =\e4CJRCہBPL7`z"6=8mDq=T+TI~`QBNOH9"ӥiTiS &sGol jhx-ypZliNYjcze3 &}Q#Ětq3*!wBܓ: nҼKy,0Wmǩ\WPl[K&sO'4J 'x;%#LD$)*W.uޒ|68F[Bae/UGZ & HŴ}1yUZșB!>}A, iBWgC$>\d# 郭Ƈ C{ܩGP?B|ü) Kݦ Wi},ŏ99q uu_^)Qp蘼logѣvvԈ\g&]vsN)7vDʮ8.؉!#9`zxT$Zp@+xavFea4`|g-KoF3 HfXQG&K{Ewt`,}!: L\H,YWWt K]zg+a6!e'8} Fԫ܁BL\dZ gǖyT01=܊m}'!T:ZF28*@QҪe3L.Vqu<(nvUb㬲Y p*`J Gcۮ_ ;E3d IX)rl:V<8'z#19Yp!,-# HhoэZP-|۩Bli pϋTghc 2cEHL>V_U]op^bx @ d$'/Ts9ȕ}BZEfSEԼT0J<2^# J}y֜d)'~Yy"RZ^B247R@b8W( F 7^4O;K)HJR?Iv2Pq9eq3ywh} axRJpES>"mhYv;qcheg=XnF+U! qM2g`MZ"k^T09c$~jPՍ>=nH9*rןlIEpXa&TcBG4#/cZYqf >#*\(e& mҋ' 0Uku6Ј]VtY@yd_ jGq{ ?=w1[nK =}>FFH2-y cwW,2P1e/81fuʖQFC:iej\b֞6j9"064(xCb_\b%e`V.ɺpΔ}.SFݕdpi;espT|ܳEY0-p2Ҁ )rR >i)#ݢf|N啣UZ =U5"Ro)$|=)hBĤ?;.ҫ}Dx޳Y-EWEw;+ 胢?QP=''pgC O\p踭1-Ccִˋ*CJ^lhvIpjt4@JR}pe5JYZ?ˎOV.n;L5o9* p6[.{E??F$qʨP>>5ƋChfQDv}gk9z2aWy'jN-A EnhyF~EU+p"J?>k+lL>xktTօe?$c 9 SaB4rk^|}6[[괾]pОlKZK{ZO}sDĴ @Vz lE;;&sg={YrfKʟb^ȰR3F[Jʅ{3};?ryG3uE!:YhV,cqXiA6ãeFxn3|# dtl5]p 4 Qb.k` ǏF-9Y$ [ %X@8|>R Q֬l&M mf4x?d|X_Q[ns%a5PS!`yzj*n_d=.4sFlэaƩ5aߧk3m4F$"O/94QPxcXPkSCɽ-I gNWj3K2uo}aS( ?dA#͝?M۹Zq^{Ph#. $?!w9 ԣ^ȍ+o4 ]7J{|Ւ` j#;Rp_s/Y=FAe_Aa$5{IYf/ W @a]fxt}yѱ  }_JҠFb3КQ/J$ng%Uވ^tlBUi ogRgul8.wH8ma]RQEqgɚ`eC'I85zXx#:]/YG5|htwa- D Zt3}G Joޙ /K#قN #1N 9 ݄FrLO㋸O\N_FóxbcLjb֟kYTB0#%xZ\%5DTN+*/iۓHkPon{ꡤ&//+ܮ`8ƍj[ Bǯ{<ڣNu` ଛ^X!G6L!Q~,NǞh%/V<x^GD,' z@M644N?]P Y 46I%0dxN>̷δHy$&N`G>{[xwKY%X, z魯] S"eiyyE*\q Ayoe[`ŰLzU9[4 Vd+Z@C4E÷^7*Յ6Ux8XqLuW ^͇/x$ 3CB(Ntmy֏., t HC'2'fσ,.~A/3e0>Fhە14ϖŊ'2? @jcbpEnf74O.f#\{BLqv%x?T1kWTyckX rSƁr{4]tǀi)xSiث<\W#_@o?mx?8u0[[ݽ8ApL-A-OF\N3:/w! FD&ґ$qVI󄵐I-h:GtK:Tc*Gg6osyV6IԠ2*pǙ@ 8!)h#H/@,?3` aS;d 䁱ٴS偷{=qn ~q慟( \!8v4ydY8YޥRX z+ 솕a)KbQ4-=* ?)r.Hc{WZΧn7O'WPS}+}^uf&H]-?;uxf}Ϙ:eyeV۴2_ qIIg Vg7[q)7kc6 TJ*@ Or2 ۠Ch|T  4K:v s4o66_%`);"wHOqR3:x96:)8J10|aHUZ?m}ݯ5EM V9aYKYL_.ܜմp݅6S swiPӦ4YMס qL;M!;t]5ٓpP>ڵTێ?7kœSDT׊K( x]s {k9 ͙7{Ul7^{@!4Z$(>Wh EUrIgp62qmB}wI?R usu#"ot*?) w8"~ ne?Jn: TaQe>UT `D=1)Bey{?7V!t*Bk-etR,Q<VdxjF됨Y$rn$NCR@'gl+!*(*ld*_&{״0B]is\q4 :ݪ-{.kj} ^1n².m8MhTRSu n(Ƿ]jf "iA/>z4Wlp b5ctưOu{ ?׎0b91Ø䓮GYVR9S1jgPI+1bWa*3Yo\AH y驤Ҵ'Hڠ(iĎipdqDJoJo-7"a׍5(d gB5zMEIC %؇qBeE-C%Iض>zQ+(` &Èn;]K'* ;*DP+UiOhs+KxN *Ů5,'b-TF_zvY ;\㬼3;xˢӕ^@duYeF_eWD9?x?\Z n֘/ o#kJ;_||I 2g<.~~sқK—r7:ۂ[mr-W_bHgK|_R&Oʼ늉 Ŭ?,IirϠ6LH5'37R!>>0M?B:>vM T @ݲZ \ (tqEQ=N:id.:߮KT=6>8kO Z^U3x8*@c|qVZ,&!&Y#n$܌vL׻ H5֔bV1f6T#ZT|"մFn ,2-?qHN%ۧ_~4$ARZC&[vYK)NxtKiH RQZ ΋!pm+]#V؍99k 0Y>|U݃4gЦƲ8NWZ c\&45~5I}.J9H1Q,7iwVRJg'q\X3Ѿ QšKW;쭛<فFP.YcF?6h_ҹUy塌0}q*2!e85A@C{OpP Z>Q _d%6TrgY;8HEwÿXN^G߷][4: XPz@nQ\Xc?>OLkpK9;ai)WTo^/a^ 64JDN!DG8sf6ĄmGp6MXa (!zMznNwAbVu-UkzHK!tݱ0oREB*ijFZ^\5/FʗxѴ8EcX"7֯Dņ Vun|gJ|M6*KTnZt`<[E{>+ +J{6ոq2 RKd^&Ѩ3 } FZ)NL;bAN]5+AZ/k'O&n ;b~'|tv鑒..ēt6QdvZ`' |QF=xWFt v6r8yi]?v`3%oNabg<8`.aΡFC/ף6gm]Jcj o: s`$wB"J`n}׶CQ c6 Ŧ>=a\ku i~tMx=*Zx9Ou wjŅ^PN/RG( Cg?W zSa8wר #xکiw_#. ^+<u'ǎT*o #guGeˈ֞JЪ$L9B\DzT" -4⸝'`F6{ zT0BO2*ŷ/5_+:3]0,sVC ֈZ2"Y4%&3hM. {n5rg>I fx|JWN~J PDzH-(v7IqLYh|NP?fTVm-)kܾ1%Fdi<yg@! jJdL59,6%kn IxKi dL?w !Ԗ/O8R2^RF nJ shy8¼z50Qr+L%>7giUz/#M֜Ť:~/H.6PjYUC'Vo@P^ Z)Xpq|5<ɕ\ϽҔ@>V$z|#hG^A7n7ij:xLP> IH,, J'ؕ[3~*Q&aaU'0Nw$Vs홈aԈھ3XK)x]= dlnRw{v>TOʓԲV2rkif;7[.|A <0L |MiZ  %HMXwZz`\Ք [Gט.L0vo7S EucqNlQe'jjo8:x@)" !#h ۀ٧="БC\Ckrs'( g[!m 7&_%Ghm5c@&D*:4'}3/zŠ' 1Rp :RPP;zG0ΎvP6k V08+C8է3V |@d$uAJݩm|tio;'w-:2(e6n3Gw?8M ͔w{0-^N/WXb7bˢ#[f^ݧ'^P,ⷂ&..QjepDHAoyDG"D}G7GTb[!,y|#ak(i<)%F@RnpX9a+c}bX%tA?k |3-LTU֜6B*B6JoWZFWo.yP,xVDҍ|*eN'7Id$^2/~B?5{CFӖ&mQ;jp涂3q1 fPxrf`ncR~m@;ɿNQBQDcY%%.迨h$/K+]ZA Jp#*R iP7V}p/R*-0ْ0ȦyɢXa*SjbbTsV, %gJ _@wui@okىuc0]+ެg>y{ʡjW7CsԷIK*'ߜ=F|S;V8>o:wJ8V &+Z煁KUpݱGW͍arb3cqjܴ.>9&,饮i_s!("ކ^*psHtk.(ޓ&4˜Tܙm~UT kUgd~!749UthrtaX,( Pp*e&E @\@½/=86A^"]:ݩ|"%Mu9vӿ"A+V=1l"v\ќK? @x wI;j2=rbyEX5Mn3j1p##Z+222\x2/<ȔvXZݞLİ5إo4ʾ4V""r _s!CBn(,W_(Ds67sp[ v?4[0xRQAv1z#"gYZ o8_o 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o6:vfIS5"}˥EXWިВ<Ղ0kUp0z΢3g-hcXwʢ;tpbs8uΗpTe(5frBlH6qNVG<4N%5ɴ{,M-t}f="v|?#x@C6kc ܿVu)j~}B/$L2xKZ4 X|NguL~Jj%+bTun/P:Th+E.ćBHRd&)kHvtk!b8q+h=k(V߻!v'6X*c(&v7kH 3"ʵ/-^9%HQTlgw~zP~LK}Ǭ8pP?d|n`+kJUv4^ TNw#;@'G86; ާdeSM+)@9T< 榆 8;DJbVQ-c@Pr'o9c8/uT悕oE#^qģk )[7Nhe=Yz>۵?6fa@ S\9x,;.#ܠ1\ͷw/AWG"Q D uj $^.ݞ_Lu>lhaX]FuwB#kܣyKGctbdG:Ģfrzlr ,WCl/+/R)~ftl"lT[y^` c` ?>禞2^KL_v`;0ob/G3Ju:n^Ca;$vk%Ɯ WÙQP+ӽȦTLIW޹ N `!U[fnO3Cw0cip+?&uhʘ@.Hj^FBC8l+ekڠ&]q4=6կiFz#U&۶| jh:H7Yn*2wAUJ n ?Wj㗔Mp$&󪒑G\*[ޒhV3V$SBwRw늊wV3U޵n4|j3gldd,"ĴaDI>/=LNsMy(̇8c"kD$5K!;3CԬ+M!FxGU5$fbH^4۬7d⹧hl^l#h`֑:I*2+:@`PvF}}n &3ԭ ~`+-fT.pF;'ģXqDGljl3"1 u/^K#_S{ޣʷN <5 ~ 7R 0#  \ =xN{(Grpm1Gr_?U:͒ږYPdB@0ԀTXO̠7:ZpMġo"d%R1dZ"KG[bJp*P%Oe7)o\:FCl u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodB r,#:G)o] ? 68=OujVwh NkI;Mbߒ3s*׷RD2IՒ$s,{騢M{l3ZJ'HU~wZPK{{2[ ȚX.buwSzE)ȑb*)sl]O1ɽLebI4_+ tۮKOk1O`"Bpmc# o; icߚp{ؤ=j(Yzh"?.֋ڣ HKb\9 8H8xA {x-Iag7euj)Ax8*Y?bVk ov&` '3 Lq^Ȩ\qtT  ~$: ܾͷ2 6$DT^o3ʼd=gÕ(6r}gTw+"ыRuƭA"By[@Ɗ{7g31zFr3w]@:@.5i9z8cF*x[wFPt@nE8] +2y|G ?76·׹=dtyݏQ >H–& (`H4Ïs!*;g]R6!JssgAX>QO[Й3֜%!PÛqU"gB:_[TiJi%iVvY"jza{FB)'ӜN]&PȄ AmC !y:O&]!'Jzh'E$ `WmpUf ?}IKEuԘhx\抎`^'XFx-9<; ObvE9m wMA3mndL|hV% g (ΑWRA8gO  禘?)qo8Q7=(կz7^| ~S?6H=3k-\Sm{#BsWI Hp]KF i~8x/Ѿh^Bh@̝ej)1/XgX{ [f^ Hc񳊗  N$~#sWE< (̧/Wԓ{G@|t=őtd[#ت~ky-M/8wܸ/@dUZ)/,%jW3κ̪B $^IRQ*ys#yY ryeI^bel%FC5bg4D>qe**F" 籪 8l}aYJRI%&$ 8}_1Qy{Ҷ@q?Βes?A1ǩ-"T%1zZ٫t\(ze 'H!U(KW V1+ԛd , gy *ܣy x QMY6OѓEI!$Sƣ́1Ͼ '̦K&śE>gPP ,aQ!}ˊ7:˼ o\Ef'[s' \ML^bWnqd`F fR1;I.4t&j7<="6dS01s%R9ӫ֖UeGU)pE[-ӵ" -Z%Q%Tan]^^x1n툇2&'.$/abv%(,XybӌD?4-49ǹb ;ƈ l꩚"DJߕR*GY䊯1vџ BcftJE+~ n`-Zmb>*?ɤk y&"8+UE^Ų>c)f18UNU#1'uh`0.: ?m( B鉼} }]ȝmV%b!v.,=6-&(-~:~˞uڧc5Aڂp?pF)1Qʼ)}AA**,s,euIܧ_YI7 hV8ao׶Ņzgֹuy~~Aﰎ,K5ЍK]p%`ܲ0j#O&8'6}3^b)TJGt<#mwt[q-.S?=#1jDpפ09}kYJc|nt;uz(Ne)a՗1Je`G|ĩ~eG7:^oraD4Y:d>0=n>v1ACTr|ݨcM3эEnM5 sgYZ)EH&JnY] UFIK٦"^Z,WAҧ Pu]g͞534۸ǣY}Nc0&&';W 6'-di:yߨ.Go=W O"qO7%=VNUߝ0y蚯b 9'Ds^u bo(*ީ4}(*j 4P/pRWB:g8? !ϵYՂmJcP5o.uvcaOc,`&3"ı҅#P',w?2A|k4ǰ B~nRr3ْ'|+h(j\`WrC5Pn D>`U ҄ :D LC=2w鷫\ڽbV3RG C 3Hr]k+s)L2s#7n WRWZzN9ͧrZl7D:{d$2! Ȱ4FhBZ?7.zlˊhOĹ!U-eDjC}߆#'؈,8*}gb[ vArV-Gֳ\8CQ&z#'f^hNjQK>y"_=7m_+ DkҼA@$?@}{f}Vu]UӪ;I1ᔨAQqڋ Z{(_@?M p)ΐ|F|wl~d$r"^9jy!9h)^yR<)mfIQ@Rbqz턬  T9c"./͞*IVU`_Q=5x|~>ֻ|0ݩG(Ls7M5q!pk@mz5iYCJ&P\)aF2׌o[M]#P-=}&a-r O7&15rd 4L=)Wb^H$2%,%hQޣcG,I&R'٧3zo#T T85e,k;e=H(1kAVjh#TF4u,盌Q6,wb2!:%Cʹh$zvC/nqB@I*-PFe*.Dž|n,?V<{zlN'!gd5(Kvj8_,xU_'VϧC,Wq1(2JvAڶ  VbO 2l>5 ar~SIv=& FF6Ik8~R=zsўX=B uxZCOvp͇^3 ʴҾZ-7({nRi%Z[֊P(V8Lt,XfsbzF"FOѫ*pI \`mΏ>; ؔ.HL;}k   1uLSgra{aO2cVqÝ{l 5k[_dVvWdP!-Y>J:&Y@r+8m!)o|2 cavψاↄ3TjT1S!ƑpBxĄbbXAP2;crJ3;X?o#6]^c^.WI5 0dwQaBqo8c4OdS7s HpW5Vԭ#]>CHl2{?pGhMN+HsiA}+R(t)+c-R GIcs|M:c;Ttxeュlg,a3Dxm#K@a,r~Sza[ `ME&NYxBA5HGz}8wص #"*x׮?˴fX)HMt}~OoZS&2$&!Q!SF%7('Qv#xzf/(Ӧ:O{ɋ\E{MɁuAΩFYDɎ rtR^;L^ HrKnOgq37%/BY}6l&SwLq>e/AmB{sُRWvPJV^ ]W2}&zV#01u_KϵptO|X]RT*NX2+V4?/}5o-*CAoOLo rR7G&iZةȼon%E~19:V,!tKoJӮ%p/N*n] >* o6k&. qCICl#rnNjm!Dc"! 'NKKmgkѯ^{X^Œ$uK"jM-eu܆3:`VeL!!8'lɒNZ鞚Id?&% X@}w> J|{ CwpTH&cn}ϰ5OIIŷn?9? hG1c{>wG2r@嚜GХ%4|뽮;a͟z9kzÅ 0Baa5J*2_9ݼ&$ GI*^/I WeonA;r A!˻ABdVXq78+Zö~+g92V" ,'N$>y="zdw*WXߑv"+xx$%\KCW/D&I= fx|T+r^^0A ꛔp&)_m"m#h2Aksģ5Nblp[` !@83`>ü[Y^tyl3v߶3ȟk=l>EA\VƮEa(+ zs̿#E̪&ҍXc>B]f f&3{KKZ'~҇ "ac lY/ջ "t?RAVg4dibP/9g+Qd] ;gYZ ~ 5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  m]Άxʆ5.f-9 rq=c 'iX]:B1\Zk ׁl&.YΒ {(3}pGe[ea< 0ٿ/8֓ب7Q 28 57h=|z z+@S|lT&vqpP\JopA9'Acgv4*eқ3PIb_ELWͿjFD\ Y(KYxń-ĉd[&dß͜r$wfb.6tU~śg4daPW5QfyRJ3%(M;ͲKf|$v]ia\J8-_>*m.{o$"_ǰ@C9JEWays|D#wcU*Ybaf̓q*9ft,gg 5w|*b)-ikSKVUV{Ny2o@e'ojUNk5}FfFBԴQ}M45Mp)assm'YJe8ڋh2Rֺj '6-w( Gc7m:5& -ԟT% _L^uO5,/!0 BR[V=z^WMRB y}dyFsaxZ D_e2u2[ 4bz5 ޗ$ ^i l0oS?):-7-Mt?n|tH>_RUD=i2.nqTiWyFI>ѽ؅Zb q/yh\Ygi407j\Jxx]%{S.|f]خPU 'AiMk*:>.+m;NZVx&y=} (N[Ɨʄ.n&hqڝ(Uqpy +mH33>L sVY_L-)R-/ɗ ,a/2Rl{WN}"-Zw >*i( d6Ӗh =Z<^Է?D@ no:ZYT:zǢyr*q,머P{pHG?To{gq_Σ'ڴ!mtOz)(+Z] i,%ml\eQ?NBG,0`^Dӯ3>bg.ʏs+VPY|gO[GeIi]l{B GtcAI.1({j# ' jrftYL|dNmǗǹ@Iv"uZkŐB\ԋav>)G\g[:]hylQV^i;J̓0)cp_nx@7fN:Do5vfWJRu5\V@CQ檩ג<1bhVID7{ᅪ$ΎЉ-滃 E@\^˪VeȵoWeF,/0:Wbƌ0:EBcw-X9m&=\/e-D dG˳uD㐴-+-*)Wez) ]5 DIUP`}˦k0Af1?Zva8lQ*g|H5:AgrR8+3NVZE( QaUȲJߙ=Yp7d?<'B&wkS 1W G ;h~u/@{tiS++T\v5*s~O8+ߝl  5%l"ʈp_&o@_\6 o*:OrywxY}Bo9q/rZB9\a=Z4 ً0=w=Ce1S/o\d^E;<o[Ţ6MS `H0  bzi_J;_X8YkCXZS%Q;:*Q﫸jQi|KՐkW2Wf+PJj޸#q!4] ` F-!h˅ Wg@䲷9îw~sV&yK[94zi C%ii[YD[2݌p`)Acx*^퉜]$sChqrqD@N%E3pbz3} ā.}m%GXo@ZCH-?}qq#}"2tdhfOm#TI*fh/Dt:\nn̩ZM&u jh .chNЪu RE9Agx1FcIF|5ShX`jn $>^*GggYZ26ߜ9e aκnݍkdZ AqXA{o IUZHBkqʃsp½:gh]"Zcɛe+es:DΌ7l +Bm4M2ˠ2Bs}@!aٳ/jBy nzrnrdl'&:w²T̨>0 cwcQg$9YLhnWA-bZ,܉vU(Y7XWnL/(WA䗝f^ РZh a祿0 K\)+]gyF +#2ENxm̗gRd*o}KoVlpy(\#_ #_ R vՂ^z ʉ\ТI TWB*S0zѼ=BRY˧(5م-7*Y.Zw8f {F* 41*Kf/u1z , ˋ/f'n `O.a@ P[Pʞ,t!Gʢ9uG46 h(1inom )\Re$~Ss]+ &Ɖ#SNjꡝNH̋G 7GŚl( 1vW6{FB+ah;1@ohfVf{^V0DɼF0qoMHJV씧&߂[ص׋aYb䉍qd&/SFQRScښ,9;Z=tE&x_K8nQRh4",t=ӏBth@odarr4*͔ttSʶxw7,tq^Hp$,…-8%šX4gK@* }oK3DzS.%2E9i?PrO6#'Xkwb̬YJ(Z෭wW tۦvAU{l5Cz(BgSN{Tu0$lFXՒs}{GfctWh(d^v'0$"ƴ7 6ZR.䦉8!^({yzq٢ȈHn$ۘըs\F+-<ty$ULx {c$13Q +`[^dw0Lg3>jT\3/g۲7'$PcxK>`ocsjr9c?*K1Cп:-ZnF_))tP˶ETUGa6 ^4BPO͒eY}jܻH[$<5GR LϒgPlmU {Eaub.P:) GN4M^Ҷފ\5X sUY5FǓm*Pbt*SAn&(;8gT7=.+b?uIn}`8_#  ֦i΃hH:K!w`\VAR5rLk6[?OB ``sV/o멞#e?VR XHJVp4"0%'[)O{%nU3'IIx>sPU{,C%Աlс?> -g0{1C:A1=QE_Ƈm~N@%많wO9LK ɥ4)ѰǬü.b+|P^" u 4$<VƨumL(gƊ$ԋ|-.>y|h{;mb&rCt5* юn梄g|_C0X?00& :|su)Wv$Ѣj3.'*g1aFn,Ȕ5*,gK` ܝzFuhl?.>),'u5?~/.[7.^[flO`btLr ;ҁ"o{KwuCNl  SկrHix7є-#|.tOx+2)f;SfvI"pLe@2#wz}*.=!Up ON|/`Q;2]uI\\Dh>+ZRaGϓ20pw1pN g)ojG>PLfܪ?L3d]@T.ٌH&w4tss n?Z}y @\9=eq?CS| JfHz|v6jL pϺLV/.b*d5d:fṚ&\HIAAc|lP堻ǜ5gh2pʬqXBXv L6% Z/P^O84PqP2+_y+V~>!> EQ1.fv7qKb\S?0ýl) QoTh U{..۞N%|ߏ!88x)N $;ωHnoB`hN.TD8Yd*}Ԣxq z nUtk qqXU?r$U97TA2O[#7l1%4ف'q3߶7-ft%nM gtUmusEuRkϲ `Bx6x7],n@Y_-ƔtClM=`-\ai޳}'qvڼM%s;~d*)YnvL1ukoִ8N-Q5ˍ1RIzދ`Eb?R邎r2У"V4;5M gNw^VWӶړNeQ9EZx Vu:-pRL;v:ಃ >$#VpIw Spy^@} p)7TCҰʹFb =lFeVkT CRK׆lkb_nOLТ15jڂ O@q^HDOl"qWdy7Xz(\l4ڟDH[%U,5ǿKBrH螮|=e <)>ABspO(1'PMdxփg_"0Fխ;Tbrnq_1UzʐX@%t)|zA'AHK@#kN_5#jt!mm+앃ڽסX%rRf7s1P=0rX`ݯ\l)ccvkU'A\(ZVP0d-~Wp#@;2sA=*1$,Jŷ׀&'T|+oPs(|g<r%#!D~vOoH vSz8  k5L&QTߑzlHE|'*Y :t&1F b$Xi|6$ܮ --I@SC%]ցpY1R< pمB<3rs 5G5?z FUۋ {#P5u-!; K)W4o` P sxkGSڬS`j62wc9eP^#''.}/.7aڔ 2#b{7} >iʹPχeVQ92[DrL;)Duވ+hENm@ey40x#Vڂ ./hM g0,yw@k97XQFaߩ&? E63wQ\Qi| g+,zq|[GFP#Pmr.k39QRq͜ȟ SUG ,cGɻ)I| )=)&٘I"+uKۥi(/f%P~Ц&g#y&32fYw4ϳ w8\dT_oN?q70Rh Ѷ UkMAf`^(Xg $ԹoȰGL$=E;qTLr4$OX-C)4SbߜN|4NRzdËKD^!P76*49ʁX5#1'+tuˇ3SꆝSuʇMxhgs1m G ^s@(F1"# OwV1*-w!<+(U(>&ma$ڽ;b bzQ{%_ԍcERwE;or4njnU|hRGgW '_ i<<ܹ |+ M0$YPїd0Q]qkzDe.+tjdEGU4GD-F&9-'4/AKӘ2?1+d$Vfw'޹W'֭o8•)ek_jUcIKE6zf?p{nWP~g =>iQ2%34yqGr)EJP_PU4 |x \XذW["ͷ.lS;ŻgĈѠ60MtbߢuwSʑ|\5ufyX޶d,1;p d!k5ZJ7.'qBPH* R7ƪy j~^B[D!&FW3$e#V-9v3ϞuvoSb0Tbu 4o%쵍ї/wvR{~TZHbm R9W)$xtWx1 ɹs 8bx?+;Tz5;s~FP?pO C -x %M"D]؞d *}.}ʉϼJ0;֒xA^xl?Jb|u*n8F"qCJ)I\ޡ4hB%ȍe; 너P*/7?cUY]9e{0DLsL6Wsfy\x{;w^144qFVxdU^QV xW.36>"(+6& {d%(D}]qwlMLLZ=BJ D=d-PV3zԤ}96 Scܮqϲҙ, ~(C@ ͢Z'[&jgYBךkzR ;U3?GVLN[-C^Q`t96ȏ]itege\ >7J]#((µ26 d rզT!PW{Ny#A{sgЌcl7p+;˱"*iǩi&U,]"1uXwt(v5R?6v}no ?26Ϸ¸\Э321\1LI~mr9qqfwIhmz2Ewqf@u7DAPwD&+eGrx-/{15j?3לIa'-RK