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 t5z$, ]/ HOL-Record_Benchmark:threads=6elapsed=137.836cpu=213.296gc=18.5927zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&s>Mgi֚9Jgӿ#g1Cz|~/3Bju翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬#CIO-'U6V&WU8Q3Zl_}YZ7zXZִF! ]ŗXi%*vP=Su 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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaVkwy& ]kM5sk#@CJ#:藪f}4ٽPomβ,~?9]\ދAKHh_Mw!W]M D ;1ӿ`=T8e >DHhB|7/xY,!DK'I}9\jtfgY#. c5ObVQ&X:%,|K9 ?kт.q^4̏xy! MpY?Tx% + ʽƘ3yB%t7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ 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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaVkwy& ]kM5sk#@CJ#:藪f}4ٽPomβ,~?9]\ދAKHh_Mw!W]M D ;1ӿ`=T8e >DHhB|7/xY,!DK'I}9\jtfgY#. c5ObVQ&X:%,|K9 ?kт.q^4̏xy! MpY?Tx% + ʽƘ3yB%t7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain V5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=m`Ie H&L#Jjq7\}xObcӱ ~^YvW C'*#Gꃮ"e "ݳTжZ7J jAD/,6Q=LfMgk|üws)*_L)Qxe X:.?//]*#U۳ x. nJ nX(/5rcD"us4-xq$5Y!&疛Ky[ r&2{nONn'$p,/o@, mI83}&a;KPDigzy;߶j4/>(2ClQ!I{"JNgAn,qϠ`._㐠) ^/bTBǘuro5@LM D*["d5-0{~ә2kMu +=֌[P5RW4EӡlN6 ӑi#F9ys#?;0UTf銲tŝF#fH:H0hWb$r|\x3+Ԃ $֋n*TҚ%Wb'8fh,?>YfTRbA+p=wa+u@"dϙZ|U6nr&ޞ+Z1m"�_q]Ug,CQOi e/ 09 <{#B(#$iD{M[yb<.x>vmկv'/\ hB TmS9f5i+_33>f)9joqrN_i`a7uPp8u0-vrWQAo2hklV%'l٫Y>f͚uE5Xvg۩p;Pݔc")MiZy dPk"&nݒү_]8ٮa\=L}Ns4{?يAc%kjۯ*{ȡ)l263V2g!ÉTi& V^vnÆgX  Bv]ݩ'_`'fPlɾ%M7ntk-+n]ZBCt)m JV.`1l;_?d\Eb{FBqn,(nI6v45Ahid2$P`H0%g[v>*lUo#BnB//GoHW9eMF/ѦP~|~ mh"*`SX6+UQ||ު9+'킎); QUҥoZ\ה紌Qce"nˡ\;2RsH dz-~Eadz zkUo{q@:H\f,fg @)7EdW(y4Kw^ E"=14}Koywwը=6#6 cVS=@[$:e=hҊѦ_#;O?,Xxq{nsM¸-é^-k}u53幊́1(v`ݨL,Hg\=R|b\<83k \E@gWg駹14LW,jC7G ZQd%*Jn tMmvp6j[}aOhzDֻuI+ӣ )jgQ=R}ӐŚC=kDo y-U#;sFE6 >g$) 3.銞eOc-m犀(Od$ELWg!2֌4WS=`I 1[C5&ҧ9 ӎιAMz0<<{m*u_6OTFF)dt|m czeNKU'yQ}CمvfaUe+~_|Ѕ e݌WʔwVa2@.ߩңL1/xnbPPxiC<0_lj{[Snmx0N%r#őu[P )Lؼsu;qcRshKqqs}V\?oߝ@4t]Tz My6fhW7 &9z?F#\-5C#7?C7w08 [HuaQqnr-eZ0Om |˯x|  B'0(jύ5kttAbEK:ϳ.6b.?֖:PqD{"=fCKH286ƎFS< ھe˩bJf ^-q0NYo,97gDV[Yn>@4T yhW̄-wM*/LT.+H_1ZRك8Rxx y2RO/k9*qY & XP r NiD^)xP=K=ߘvE1op&5Jd^۾W5ހ`>5$`rB1{bVq=% E؄簱a mR\?U>pA NHjz1Dzğb0bJk%fYD9/>Fj53)nA'c(KڐlޱgYZ`?e[Y:RD|/2Rsb-ej59X~dR Z#r\̋2 mtZ-Rg*u*X&Zu}8P]`dMkJF䄊cϴ]13y -eTh.Gs.+l־iov#PY'8L##B<;9x`1-gM/w*)²F*]E*YNi.#h ,C_CH7~Htn[7@ሉf k !@S,3nm oa=Bx4wC,^K5.*\MMR Afoq3x]lZ4.̥ۦ( BjļNfOI9{&q;̿ivUO܊L8FVnc ?:T!b)EY{Q[4;󹕷laQIME\oTOTaqxc2YvjR`&Γb?Ep҄3AK%lZ <3_+'#E\”)AAn {CϬ h;A5=#ݑn]Ѡh!׸d3T}C"첄{~z~xU)@  7 ȥ(fݔJV+:VQ-b /63?69T/Lޑ=]5u,ovЗMC>Z?w|mx1J]w$wWW*8>j#jJgZW,™D:d47Zk"x{'it < #^k))bݚ@dlJ $Wq-ھ.K;U-F<;E2үV@:-WyhUaı?1m&Сȡ;w "8$8#&ln43* XUXi- v'EHXw`HVң`I/s-U]Sq*"@ }ymBCA,}fm2+7BPE gWp Fޏ;,"`@!{|qEeYqb͍%"4ɁM + ,uBJo|㙂.` mU.@#Fp[S"SI|pM/ߧ4P9$PcPc/F$fnVkWz#&,_i`fJZ?i]e Y]%W*PZ`ro9jB@Ɂ B9b^~5łx-~*RZq)1Y/Muzh$? 6q> 5[H3ծBcKsޅ' ]V j {Aw;m! ˮGW )֦ddlNB> 9Sǐ+rɰvńw]ٹJmt6,nG+N)df.iڔJVL˹գbf:,hbzpgz|Xay<p# .Ĵ.NmjH{V0=@Ͳ bgMMl98 A,5ě\*mVu~75m@B?׆S09jM"nf1QkA"2ǗiΙf"lVC034<]h=B3Aiߋ?CQ2%a֕bUM~Lv|j[3 P8mz\?a.o(s[X㕹[EֱѥmHsLs;Kp+zFLG|c%!*8 ž*wQ@ 31Zh+O\cg񍑁23,:;54hrqbh2{xp(XlR/-)eSe X`IlA(EhkH/o{ ɛxOypŴ.Y9UhF6Oah.$NDAb}3pc=琨}6oyF+JR+T}d\:7R<~w!B^ⲳz}ZIH6 تlؒ}>K% VQ LNQ ti[(NM$tz^eXub,µr_pMIW۳%㯮:幼^ ~e XvMagvJABqSL&~Ƽߥ- jϊz)4x")JƊ ~h>OM<4O= <4F0;okH(85&M 6+QTYP|@[z !kҁFDNZ%zJt u `wANQ[qiL:4k!îϤQٯé>qJq PPZz$r: \g&aܓ#a-X%#Ċ 1SFf( 2y (kv g6v;Ƕ` 37}Oڀ [Ilـ,Xg.l O- nۛo.r77U%PvV|/\Fg^%KeP-idj\d%E .B zHh⤝r_߶Sڇ}E?40-<ʧM̊Khel9a%/9!_?]k:# P|EFqIդ7@ۃ qoRQNm:-Oԋk9:*F${rCL9ŭc\/ɓTu.̑\ktQs;ukY]]ϋrq׍4kn3 ƈ"0'|B(h=zN8!O@]Gg0,!&b`$a&Ɩ"#Ay56ֲm} =H86tcbNb"˯ϔӆ0xsLٸ7 Ig#4OU¯ңTKyߣ] K9 8dH6Ɯ!˱gYZ r5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wj{lg[zh*th vdYkoMO3O,. WdXe#,v\)B 7o·, [όv* 8I0Qk,~W2Aoꦋ9h3I GUrD*2{8:Aw!_kr`g7Altb[ݲPڞzj(UZMr"oM^`zBEwg$2R ^Lw"F}&^paA o m//1^UdwpuCw\=uv*FF92jo+ L ;;}]V~djSkM*2m*?zC&ZܗgH:5SVF!ì54mElb 8UЃ?s|$%4ly[BϪ|]H5ɵ3֠J cm6pׯ@m[ vW\CxlɜX}Sr[zm{w[1 \Ȕ: ͵^i7U&ɜ# &"$疩<G •= /Fy⼺AUetzWwbQPPv%G: ^F)Owl2U.bm,W9fLsC‚6#$q/۲pWC|.?@2DϾ_z>?Ir\6%=Lga!1v}אӛNqr{7݊9|#: Y$<#&O:K:]X& N ,3* j@޶"ry+H |vqXww{A臀1 ْn4\ DVU_SW~5Drb-QX6Ę ~%CHO"KHVէ,x-seR:ވvYW  7 x]dXXbiȐ ­p;K>(!zQPU.ڎrDit׷|+$`l)ݧ5ڄj)t[#=XFVE/ʡjv-4IVo! $`\=x, _8؍wSb}Ѫ{w?Pn "5([ߊ/i ˷:#ӳbI l7or%E˛Ɋɥ8bV97VYÅ>ğSOH9Iy0AA} ^TC lG@PCBD 7 RnwNEO*^B#',#V*x5OH;X::!O@*n$`1)v0NU`Yx(ֺ A/ L{ eqi iZSwϙi ·,~ :zb ?9 mip[/ õ+α/hPbS X>L9 L5=9Pgn& ؂\B)U=`#TXVz"1n8]{9'ĵ wcfOi,mޥ_ m_[-z\^q6h|EAx?zZmڟV Yߔx{Q $sd;#u#V܇ICHK| <[prB}v_Lam[~w킄#YCTvg!D a5^UINnRGHN^.x~U=l-l7!?ᖻS^ej UOt7"Z$ҵwm[OY Ļ*!(qg / &{f[NlF8ЇU/Ťqڜ=OҦWhz/ [P?MB-p M 2}J nql%U<̙׏(z1y_vը$~PsXk,K}T>Rr 1mլ)j.#]@v^ Yzf_SN֚ͮjW!FۿCa x2]rSb[g]1}./QǦcdܶ$Дr>LЬR"k8K,GYtԜ\Fgьp74(. k`+⎫8D|c TBAzfn?m2snahWzTUR'p]۲m8W2YLZ, yQFIéTl6$ă^qw"352]Uxsx՞,n&W'T~oM@Xm ,dPR}μF" S$9Wx 9d&cp`!ѺwOY/]`O(|_ 2)nw<JiW?ɉvqZ .͈{M.'v.ڏK8y*?&.EgqP-gߖwbV&EeM1^WәcFzX*n* )_lO L,_`yKWe V1ݷ gl~y.[w6TTV?me| Qb_[lQ$]ux޹Pc6gA+PSEw׶F2yEH'T̟FP]2|QSARas{ן3+ڑ!{2*z;#*?Y8-X/c(^yDH $]SEk ݬ,c H1KE3by~>6[#$zZn2?Rc+|C5l5_v 0'RZB r)\>:#tuƯ/gYZ+ R©w ˹ +`f]zT꧶&0i}˺(ybTY0n` ^ئN8Z!mnNZ薤0˾3`6rL@xxw߲>nKFJ`Y)z|Z6}n vlĉ39f̺>8 kT緦ʩ3rBN j#ovހWu6_7꺫ccϪU>k'&ӯ8vyN ,L[2:秐~TQg\ /'( mJGK()vlt~U`}C{/VȀGfEìNgd%@OE]* jEtצ8f7NK=?A:py1(5*"xXfDf&LWۨt{%~~\/w9vWײz3c*8PL8=a hhxj;YX#fw&l@oWbvU)gC*:5 m9m-[k0|#z]~%P@Mg4 E%H L lAILw$8o;#ZcAs9eڽ>HM;9:h+qOméZvr`%PVaU ym7|z/Aʭ^o>)i2 @\oŠWNG8nPީKf_NdƔNP)KTNOp7(yՔJ7PSx˸SރV_~O$[!"aq6A:O6'9iuL +cgzu~2%cdgX㜠a7o„LCrn`I8E%Re r)\MNr++Ixp}ko,aC\-7I8vzc1v5[ l#\X'+FI6 GlGbvPkR7* |Nq]S{%Z>+ xS6OpLp .y4~ˋ!wĦM$ &+5<ֿW=s]&y1{Zj)9&EΈQIL/pS?z1;KɁ&%ԯV:=+Im] c73"kѯ-*Z D͂EB 2E}wٞ6VU4]?ol2v$C=zjFg082%No)/ז,Hʕ!]ϔܯ\ Zλ7i5Qx xp;Vj4FMtzWJ}3*uUsظC2qoo ΆmtD1;u_ҽQf/NRN#6zl8OJhƄ7+|-6Bn5˕m7̡_E3FeDL3{ /׶˞jvFF׶P%?@K8 UOGɟ?( yDஂM#W;,% ǠtEOq 'M+2aE`|--@vWˤMV8 eFGyϔQI2i t2Rv3#䁺]͙ۍU܄(Olx5WO{lz~uC)8/oO.wh)+ F*iq]~tahMȇ(w)F J9 :e4Wn|-qkb4պpyCU-뷝M +/;S5-g>P\x?_xez)h,&LKf5WFͼqt(0;Ebr7JBSN;oFiZWD Eaɺs vN &^QVBݝ!fD~TH}F K1wQ˛4Q_~n.uʾAlnbz4q2 'QRuywz&P\$Wȕ#Ty7(}%#r5DΈ}BB $Eإj 5 ®VV-j A"ӥdO '[)D)Vܔb?HhS?[Cc3LWї/Z#8'ֽӱ(k\ߞ"7OztӑK aico(g:L{RE{Ao P+B^v0v7LF.u} E őgP,C2v׮AҊNR>k1O?XdU:R~!p˱rYKe Fjb(s!+x:Aƞ!52|.s,a@cO ҈\DJ8% 6XaKXR47.D, 8rv?99GDkz):vTf~Qw)[]rl#ƥaMYjz8DvLY FJ׺)K϶D@oZNK\Z\}/D>?tMg/mBCkf=;+;HH0q5$ݲLa8 <7;I u "nk)b|n9*6(W"L5Mmٕw" x WD@}N?%x[(pxI¹/\^}Ϙ /MށrTZN>˼m ÆyE;ƥ862zI9/.ZuKM>AS9O&Rc#lܥ%rr߿xg,v4>o[VȑYHzZ9ܓ =k_uriӔtך9,,,=҉aQ/)X+Q-e<; ˂k*lY;Ø?h+~N ~᛭ ƭi@[s{hW?-@O9/J:p+D>7xݾgr7J[/8yex1^cbQUm@֞"F0PP45 ]{Ii@3;UCbEM*8]7F2hO\"ZDB_fT2T@(/4\0fuR2Ql`ZL]rȐm"}ZZ e>D(1 7# eI)g>e;Iϲ* z+f yX<<ȍ`"Gږky2x a;*cZNU7HO݇af=jEya(q@$a&#Ӝ/1 l> 4MRGu㦯as =ӆ`Eterb1,Ѕ %۵L G~Py]HJ;{4◙յLʯ\ ݑPqW"C\lDz5pnq#S?ǜRB㜥}рRǰC!*T}+FSF Q]E2 mJR[j* 7|ZB9G T"aR'TZknRdʑGp%:MaGx5boL' {u&]#'hCj WN=FsExm@_DCoB62P;ȹ-)cQDo2.;S} $_m\zڏ$.X_VBRgZCfe&lAvI 96ٰϖn.Է@opLiz~9#.mWo"lu8!|Y/8T-p\|FvJ k@ii8'I|%!Ze$45uA`X<+˒In 6)kcR1T=kHѳr s.*Qŋ,|"MњCTثFi@_ڠB W|bdK5\V~RH|2gl!WSCquIoq= 1 xcA @h2d!~(Ap.wu1.X]gW|GkjC[H,&/wVk t(K?5Y 4 mte^ptn_A`p6ۭA.Oa6xD;H V; E xn0عsU՛8L1֤)B>&XcZDY$^B9aZN%wQ ެllIL(T#(Ma'Pi9bS6J!OZF  @k;$RG!~A&QàVDr?ދY/]WMgNZ_ 6-fU!T 7lfi .%;lzApD};Bi:0bb5?n |2У柘cY(#SB31oYBO$z_p;,M[ 4?nP;5w4°I.yD4CpNjcޮѥVv&-lQ- !!6\@X(( y܊QYWَ:Y( 4+<2^dRjf,J߹$>gb_NbvD}cy㒣QJ(緺M۠0C20şQxi佢DBsOImBG/6i{Q}RY[E4bh,`yc±xP \9l?\p I9f#$j6=7(]&*f|<UybZdL+ݶh\rW$-8ZӞcW&Hq7ʏ ok'j_1.B ꣛w ?_:X-9&|:ӡQa~䉋<p3`!PXǐX1dzrF~|5!`s/=arҊԈOQa`}*-q!A?Ye!֘__"lŻ si}`.=Tfboi aٝ~`(&NOf/7kݨj5 >6e tZR'^5¥ẑkjatag@%l_e劸G0ϻM^c}uS0YݔWhIYS ğʟDgKlL1"ܐ,s8I2vMdZi̓)IUT r"&(^S4n{Ћ8 U2Z<*͖LJQRֵ'׮Ҏ- <|(P3i[a)' `vXѼFŗiYtXUtJ^q\>Z8Ad| \ZJ*]+++HQogfb}711J3]|r{L,ʔkm7Ds*H-'1R/8OZD 3 ch6x޼QH{I*Vns1\);(u06U2Q0Zc㝛WDs*~M!2W #ۋN@2xWAkEQI rӝ&[;R msi5#5GdAq*!\'9?˨P͋X'w@h^X|H ߥuA^:>K[5B8@xTB6S0Ӑ`,+?^/jts&u-7֬%TwLˑ -e`  8hU’->6픠*~l4H9 (a:入>ozXgvlzIMl~ڻZ-ϓ$5aG! ċl=Mm&/'ALSMu~;ELa3 T^GfjipAn*O/X3O6qǸ xW{!"n=,fn~HHZC5d"VAy@6%؍.JV 4@\&%tr.b nV.jޑJZ淚& i_qy 4ciClkPN3 ni: ؚc FLŒPHyjoerS7~!Mba4VcqNA. )[5HMFi}-@ojl?I}j|VGy{AAH raAS/,a 6j=4/\t)ktqFl}-Aqju~Sy91C2MT]awVi `J/N9pWeH}3ju8*xBɏ %2fLe0R''l`RttOb_HX,<+nhk2SHB>sxaE@GCi T),_:3RۿW6m¼NNŜBvG "wWivqMwlW2Z;}ۅ]gӖ/ѷ@@(s:8*.EIzUk-) !̓+gx~ji47"PYl*odR<8?p]h1HO{%OC2+/rF歐'rcvt*V:77L[dYQ9$hknT' , 2i}#57kTԄzJ*k[g+rsgQ%Q`Gᦆ*Ѫ!<ƝIvq? KGӳ$ Hm.TPlA8 )K7x6o*ZWcy.1LeZc vY%Bw uQIyzUWEVf|+=X ӽlaE'2)!(*GxLwgK~8䷸!:bXiᲛL>H"gOG[%T7=R7U?`|x^FTTT E- d@Yj9v:|2hҌV^J]QAyN` 7gvH:sս^ܦ92*@Lz7XkD629r߯ ':E%üUEi~C}|MT V>;^~ )k]VTftI28' PjFo, qYMʰ& (1]ׄ/t)l^ae5oK MUaJ.G-hvOGY$Y0 .~T003zvw&{H`+D4OJ픿Mkuׅgf97m/Ą*%c̽@C :C҅p/Mrܠ`󘘉 ؆Pu[`%j0k2U@$HL@;< pڣ2a ԍpSH +ϙOOBk=Y?Kg$驗mK]WR7絁&9c|T]EƟ1]+\'O^jvz 8 s ^;^^",Q3eTA X[N-f$*OЧ{'mxM*d%Ba,5IC6e Pctq`H)ou>Q ԮgJzvg :af^!Nqy3Nt Th7tcs 6}Op%?$ܔ,F2g`xZ&録dMԻIRm*2`B6l#7034;0xPTb!ΝMt~#x<K2^C i /Pb/6,LPV&tto'IG=\; xx'a7L60QbމURCn@''l6w{ ejݨ3ç x&h)}^kK0wa^D!Pt2783 #ͱgYZ {u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodm 5W# LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wj).[Zn"29+[Ea8|[?@P*t/_M_ Of9Z$k]gJ' axESaEe= v+'M#)}]e2qhź Y#,n+ϩd``:/ B\;~^98"\]_tψ9Ru_ xqρO?6q#d%2£k҇R]ez^Y}naP?ؘd(F;޲̓";̄|\8CC0ovvzw55qT..ژbtԃ7^FM(/)>(!L't%`KƊG{IiF:u "Y[X n7C@dtBX܍+}:rCWIReL,stЀc1.Ĝk収F32'uMz,M#眕nS@jZ "XMf-N)O,h)"E5"*Mu3˲\4|,&bz yCth WF*C`GH,mi+]7Q:j藋Ndb|/ddXha?omH%4oCC0T Cؾ' & +1!T>WˁLbf]J/(&6 %$aO//]Li<ŽRCXІ =,d gG %'Eu }5_]i|TR}\NA0 pL>HҝZr'wֳ=a@ԓ [Xt?Z!j!W]#56lNαm|?GL2 a/n3iaF7KG^.dh?҄ e -yߘBֹwzͩQkFz N>/Yp*kI٬3^O^`W\~P-8.mORdqHzFqpȳfeM1 Zzo x{YE R%{Є׼x\U.ECu4?"`o%,=ig#WTGfIXG*7Ȕ%Iy0wa+`~%w7HB?G8 p}/Nj~k_yin`ݯ^=)Iʳ9F7 kK+C=[x\B+ Sb2IS|PA86W'+Zh>5#^~j>ePer&Yob.%46`|rJrFhCwHt?.4ܟ6aNwaV!T?TLPžҒCI| uCtVӖ>R8:)}b)0Bs3܎=ۡ M4N}EiU&TiYLl}(񒊽exƤ+P~,oww714ϼ{"Y(9NX>q&_SQyX'~oQ"7 <>ޱLtrgzHj{`3da9xcO?$Ϊ҄BOFDD DŽxz cgA+^I(i~X Xo7˓7:<fv~xlUs{ҋPЌ'V*ǎ|6I#_o-,RL))l5C oЭ!_픣>jD%Ni+j`R/|>;k1{lAyBV8$c#Ñƽj7y8as<+84?$@;f Բcs!qc|o(i\B)ɖP>ӥv S^3:w# zHg}=fi}-dy{t ']RvKB#xВ9a{3%6=bKEt l'>GIۏ+f1&[1TQ I>@66ꑭ9S.F(+el&G2H"` 7%(7+gj,"% #֓ؑ(`eK)G8fN7U10Z!H= AmQEY1@sCLc/|!. <.^~MDpij }P2-\uH>=ϡ‹i8,9}q|Ē<ѷ0_RhL'- H pn>~^gXU;/.ej%SNߨZϯu$ՇC?xsQ4,|\@zii.Y;)JДںJ$lxFŽ#1[D[ 27׊T_ Jn mB['*2N)4Q&Zs7%Ԫt^~hʯwYYk>?MkB2oa;fDC9/z}m=a8yHN"=9aHb5cDvmC1L1Z+}J Wd@5Yt3b *'~9j-M )4cy/%| KW^ :a&T|\p5P4}C IR,]9.rLLcJpRG97T%ǜ W?aq!݈KC?3k%;x聺>E TLK9^%.Hͦ`^yQ rv1^0Y-א"iຢ> ~Gh+4!OO\Xy 1mgp1\{|x=λ-OEe|h_"U-m?L7Epq:Ņd?nѧOs85)Fu$~JF3 w LXIRwҚݠ>LV+k15-k `M1N~Jۦ?'sHŪV!s}Ob3 `3Ay_*¦]Y6(qq2aj͜jkn>,Lc(NER>6hi@G[i8֣ke+XN?0{B &X_䓈p 6ޘ&vER=~wP5λ$ ^Vd*:D;z9:'tݏ2eM^9Uu8MW0."[m ,P"|%>9z\J~~T?{ם5> 䏋H_{% sM:7=4*z@ʥ r!8To=#ز"fEZ7nd%Hp\B"/_W4%)JȣâDȣ4]|X4ꙟ$ϸFF1Bb#J5]+>+IFy%M};pI&N%$b3K.JҙόJ*$l+)í܀8q|2b d:CQ r6J;?6 5((ՙCܲ Om Kze?5}!o rOD=MA E a=VLυDRU.z妽_0WYY-J,qyrvN`NQxu;ۋ_8> [+~sʚu/hkZWr|4#8PInWSB fi9ǻF5Zzs1#BwG4o֧Jbv9*?FtZL='M7N 8'lЈ@D܍gj(Toa]޷O6ZY|4DY*Ag:UjoYӭ4,TcU2 ]`ՃǾںf]xa/hM9狀QzqbBN3}QV,bsDcd IeGEg?f`Ma*a,9{`9%z&>5aXA(l \;2lO=biC8"] M0#U5~ ))GM_?YVEhx~mHG !͙%*n}&猀` T1X)g(&6a.~3\`lqjNc$e(-yn.t%'W@"7U~ -A= .a>g4G1PQ$w2'X`Ff2g:P&+- ԃ0ž^w;|3~!М5fNjAL[=/,PtO}|jM XU# nbw]V'8%kSj4{1L_شY:GޒRSN8czW]DK;|0vV  +SgISfS?d{I\iyWiіqJ | U"nROuO /;r58luD] __)oݠU~uQy/0ئ2q$`N9~>_tFzVvx ˄m?N^lQceh2o}@Wmv4 ځpŭŜu1r;ɩ:Z|=Mu^Z*(%YW, [4',|0; V.N4?ƙg }5 J3 FMeKPl2]9>\$!V)i@}wgDXj.RiY`.21MC?B 9X0}KZ u8P,!Qmb jT#!"*wVޝ%-)b/] K]gTv?x+5y[D߸/lAaßHl nf ۽pu = =6w :! Hu,c xIփ8xW[FshU Srn }}P,m4[pP|ebʡBE\ p_bhpQ[4Wˈp þܗLœ_^Fe'8U?cc d)~%Rvw#;juhx_,6Tqܽ9bU!x۬;IUH˂Ͱކ(X |l h-zEW_S$?3ˮSk7(;2,zWR2 Ad&a;6 ' 2.GZ%mJYyLZtxs0@ ,#SԧCܤ5@M)~Z| P 37 }+M7iN{S< M'jDzîMc1pGҞE #*AzTcOG^SrK5Py[8AیW1YY;DxD.ϗ-s.pF ;}0BdV)f;8ϐmr-OFիaX2h ztU2'!8K*uLwОd$ I:mHib)b79T޴S9FZ8Ql+m#a!.QOo4bp[]4])1 *z\^w8+U7wQ t?tA1ޓGpϱ?S-T[Mԛӷw<|NG tpևVJyM  Ԍ:FOĔaZU<8`pFFSVHv)xxdBpZg~ 6KM'[jΠZpaL[2v6&& Nj ꥼf5*-q_[D%WڸU %*? DēG}VBJkΌLNpjLL,(mn r- ,)I?@;!ʊh5oax`\t¹rOr&6GvN* ޙHbt4.+\O8;"Ox7{d`ܷcZ&YSr?/ ջ~U$;\8ʦDmWaMfZ)6lMT&{2ds)|# e E| &!5 +gYZ n 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ex]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oHZ,KWcF+Rq[mwEjˠ(7\3Bh^ҟrw1sOrJ*U"**p´G+QP=u9*lN$dl䬍0SpZ=68ՕX og&F)p%N0 [CAzկUGg=ES |fo (nj{)=Vϩ5M%b\kvFQZY9N,kY5AK2M|P Uh߲3Sе>s;oڳLwlc?+ BlKWa!=!*ڙzUi~.8(C+W7'g`>kٹR(f!*H kCuxXx:ϛi=l-GDt,X)XoҋS(h9wBG3OW%hsqxT4G>۰xZyNO]g2'8cGׂUҳ:EF&EēbD<8qs[# cM˱2=Tqs\)^w!6"'G.̚4sҊrj~)ݡki A2a(q;!Qd&Jd- rKzq[+xyPneai5RߤMBY>B$5l!,NދީsUzli7|F("9Kk"a^<5_%nٟ7%H򝦵YrRSo-ZvQp0[ți0K0M>Bz8mc#Lg*ir\^c+g Jlh(ko7+C+.8raF`=_kKw$c_=Lv_&j}(?rP'$6أ(/b^Ieڦ=+=U*Y1.jSʭ:miE(`X&3$ 9LN<O +Q*ktT%U2H|٪-5L6=y GHϫHJa 3[QJSo.toz%T+׎VBOeixE\/Ge׿E{%ٔIK*(1\<ۏ~0H:+*R(|[; F:PB?ޤ/PKjsbh'NNNlqR<w3"ܦ =naxk~~Ĵ.A֯蔜KUBYfNX/M<*\U 7g3st`EUGr7}pP]9 RMU.4{V!?|^zP A{9fhD D.m*ʤ?W7tޥA/x{M;C)^$EcƄhHyjE9[6O+rUIr zEم㗈̨RD 8'˳͏ ܴRNRlG#?Qބ \ |;&vV 6dS ,ECR:Dg隝$Yaoђgz@A:W 7L"#Z Puܪg&lWad\4pf+} *7!e {Me?&F1[ٰ7*v[U/VGFy;l&֣̉C0Gd|> lFR>NGDX3Sȵ&1i Y$F-|T zdQg-3+:sv ՠT}ɉ8? 4ˎ@dϢ9H9Y1,#"^)Hg⮸?+|]Dvgao#VmKتULZ_܋%B&ɤ+a6z!]㊟Oq1oC4-S~O8 *s=`pbŲ[ A{VN'cVxf:#i><զC`](wHܮ\l]Z$R%k; ){Ai2#*G0՚E\;{A3|C%r^&(gKN4)0ƨtgVG5 9;]j'_1 HPVko2_Z ŠI1` 0e0i8?xQKk:)'!0XXu. qڬ_@o0vU %$>ߪEer* h k(<\2GY~;LL4;LEI& y[x,c]ZGzgPH+Д`H="q}%׻5~Xf!>S}9{L4-jneͯY9l|eâ*"8qjX亦 ރdTuV Փ{U^h_f':gɓP JNsj`~DF"n 鍲mn0mAHDWg K `쬄XKk\]bM`@-dLb~a\Ab:$Օk0/c[ĵ(FCK/,KJvgx)? F"!Z8GnQg@'a*?$>r(o9MՍQ6Sf_w|*no\ h)a4"Aq2{o[!_N2P' I]Sq8y޳>()."V1#[ݘÑ`-$`ֈj$U3' SKGwE@VP>~\DogT2(NdPTf]̏_ai`ia={v՚Zu,^{$Jʬ/0 $^9"xIs oGNWnpJ>cQ;bf+H'<+pK̝J 3vns@6HԜ_0m湀Vhz'kce|lNRq(-Ncܵsܬ*Rգ^PN^#Y(w "ff"Nbqggўb'Gi$= Ł(OztF "a?qϻW`bA%aze"5})c12 ؃0#CF.Ej4x'wVc="s:Ch!YSdH=2Sרh.Wfn_@Tfm!֪NHmr*:DwZ515?9vA\ md.G'gȓW$%fu9-*$2+ڝ拲k?&tfrfƮɀ:xe OᷜF[Y@>e{A[8!>4;ˉ t D^Jon-c* #h"]l$wm+y^D>@Yzʪ _gDXz܍3eZ.0 9{ڤi+<%B\Z(y%aUs9Ad賫l*09/aO.hXtdf`qTd9xrÏm+VJp߈Or/W(5vHи2Gٴ&}t~ZB+|Pk;. JY&NZyhE':܎?iTN$~TU肋HB_<7=[i}^s𓽽sTC~Zr]#b:A <፳'feΕp˚!O?H"rU-iʂwdNXu34Ĉ~t`=AD:S1/1B/`ju?;ʥFϋqm2ȃ̚m=R~Qn51<) h] ͚"TzwAxj(BCdci <϶F,H'M:YCs!  zUXh5֭E:a| R^}v6c"t 4KWb0Qẚ`7-fjGoL sk1Qj4&/" wu %m±"'j JWRȑg8R=uחeĐJZV}Ĩ>Cb'C\-0ҧjLmTg?̍&!ߤ=6ƫW6Yy:X7>j?r N{3v桷Y( jyaN#MYJYк0`/8nO9%D-Qas-* s&nT{Cz0T)D(q:*%+GaQa3oΈ*BҐY!ͧF<]Aaqt'BS;'.?mqy}$yBwVRE%ujJ!(}L`mBu s1@;nHiV9g I{t]L<< 7gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F k]Άxʆ5.f-9 rq=bartx^(ONſ=W.I$YB_']Q Jhq]u`W g(_1ަE`% dZ{~h%sl>Ҕ_[(#}*A}OM>ȶi gk`$(npsA {>ODkivtߤr&!r_݇DY_;OxwMi଴)'kgCnrh3-j;r% N9,{fRrAe../cgjWשj'"N{{cA-#`qeSҴKW& 9=m> i湠RkـR`9p{TI\s6J19^/}о+P%f;DŽ-- 2 P&r1^$R_r9k\Z#EњS\_ w]L<]FPh1IFʁD[NKn pJ`!'DȓNyG5Mw[:T1"^O3- =% #ZabbǛT#4d H+1a="M8dGgOJՊHٖ.JTV@ݘ8)z-;|m[ȅL/Yf1]C_k@ >,:BvǼo=uRn.@E0yOQE}{LR6$26-̗n{TW>iBS^bm1Μ涘(~'ś-#λ; E-(oDh;Fx!OrޘFaNjRAsj 6 (EGW҂K~:3J[~f<)NɏJ!֛I AC;ҥ퓔R{52NT3S_-Sʔ1R|L˗R(JM\4ҍvqs#;fYSZ᦭>턐G\EG6±J蚮(@-1 Dўf*WyE#K->2,9gQv u3؛Bt{d߇Gw8lf1?#Y@&|[1 Ҋጅ|)3d4G}`5+k Nm xWNjN"Q~F= %ҺVzӄozcB̘~E{a0\awu7QI3H{>/=%#(9Q(UM#/J]0gBm` 3]00qH 0= QُOͿ(֕^Oe^'~è`nN}U@NGH*0@y`AaGZK;X6gO;ݣ0t*tDu{ +Ai+.{EjKL@ \#)'>Z x,.f &=pQ U>ĮG9&ޠ_D;<3-⌓O(L-u=fP2ӒD3igT1~1W3Qlb~!wNmcދZY/&2B?UMW"5H@7)aHB<{wTq>HX?,'SrO$r`7+z5'BKջ3FgmDlYaŕkL_XbVǔ2P#gYZIe4{E{+CSEL%=F4gTrޚT/EzgreQ@; o8Ӟ&QO_ Ga{ '>|MmYa+ G~3P3g+]"Y鵐^lL:b?vQٴO LWfJ~+"KhUtt䨫 "mmb؟Jɟ&M3b0`MvY3aW){],y`;Q|4i7^qYLu>F8,]ͬ=BmҜξ&_Θ,# F 80Q,^t3l(Q-'TbtV1 D~rJNi$w8 @wg+&9#K/vpn[ɳ Vt%( C?WXeBH5 "̻Il⁼?QS8H_@t0`+\_)h #1~uiYF*<_2Jz5K,澕\nY.^x/E8:ܞ66/%J:1NQObRPX.9pfwF%X<> K-O^c%4äEK-dyigӭnV0clS:SD|lg–^jdWnr~6s.a5ӹ4>Y*ARvgj/dr-J>ED~%b[*l-]ڵ?/h;>F<۹{wwv~t۝U(\F;[oymuRPC5'.-FMxXk*ٖ{>p']>ܱywE`9rHKƌEC=rE,3]&M{%f$-T-rBaZ ^<͠H1[AVj o$!pT}#QIl(a#> N"31)-8 OxM] $=S˶b$b$a悁/N`*ߧ` \& x!D'o緿^&4UU]UO,! X-EXmw-CR qxmE㹏d~IRn7R;MfPV =a8GHI>EBs.EI+׿T%쾨brmm5G*[Z+S+n|$8-J0zu{8''4Nh,&$~ƲKTnXnTj< dUܱpO׵":3sTw n߂Pg0Xq?ߨ Ԋj|!sO]B/͒gHF:ۍ.?S*I6jHDr>H95ƶBd[.j^̿c{9ws-&kM'O`WJQtW/Kޔ/ܩԻ(TVh.;m }2 '5W Q[8ӌh,P驰%OM'Ƽᒩ" nT[VU,r5?{6e`wȅ3R_P.ݫ3v&Ȍ<;p椞1Ȱ^ٕd`7Yv)ɣNzt& l;Ț^$ B]a6RlWѡL2 )VE Ņ%.qC*O:j'vh2nS*\POhTUT?#)t-iK^,0(:'O5ښ^{ؼ|E@6; -`U ̛4R4l vDM2P@O]k1:Wzsq6PaaY~/~,<6p 62c5G<{ 䒷|{#i•S!};aҰ^_hsS^0LT%Cx]$UX UU\L #pjIo&f:<Ltw$+])mnR!] Mgh 9tա6 أ\::82:Rc3;o|Jy!4s  q {rƐoI+'@ܦlqǥ#y)oR@Cne,Q2w|B0@o7v,[am[@ oɵo|0H.S?| Cwdž:6}$Q\{^flwn]BEUBe4ёsѕ@ Z8T 橜d,9[]c/'hUe[ PYsi1F37<ř:LJnlؐWT 5ڌ_q=."Z̉J)xSc!K."4bZGcNZ 2u8oO֛zfn T_Lw_y);-S{.nTyu}X`+a|}>2]>.(o%mu-F<'KB4s`6xÖgu6wUwK c ,% ێ6. $n }Q3A,˝|7;.@d򶆙&k (6v,!,Fro2/=ܺUq tسA8s5ձ#;,ЋDK>gֹL fwIТ5e#\H26@Nkrm}!%~b%a # nۈٛJBR;R8VT G8 T AN.bgVX k>_טv EA ߦOp,)X`]9EFh Cep/\*F)I`Mh<{gBIG,l]l;*h8**c烅 ]WvF֋u_6Pg/7 36;섈hU\+TN]ř(HD[DŽ(%2HZXeVu!: !cλ˳:csqM5UhKt1VK7W{[s9ȩ6`FtjlZ3|Ȓw~F;ޑ1/Vb_L=)\ 8l^KS1_Q4Ve2՟^keꄬE b \')^y*fJ&`|5vCS,D &c%dX[C  A!"oz "JKS5F81,O⚤%;2z?`@w_njZTL7b~q g{^ f.δh[+E8zzT-@[.X+ۓ#>5uzSbKw@Wї\6y݈pmYA \Pk$lo#qQh, !1S[,x=?kϏԷ_MM  PN`D7r&N[ȫeo ނ\C^3̗ŗSq2%IԻfp}k:6E~vApXD3L{#{h}cƾ]0YzW!=-Ѯ*)P{ܬc F{Lj86o+Jf8ooPj 2?ڍ&dꁋs2(I1 %:oo=3Ե~I&w!!ºscsxĨ9"G~P{EC7g`CiOoEF= EGb:DIv-DkGmW<&9iF](rpn}Q#x*ndw$-^j]0I_|5|5Iiq[]ϳNȆy`@XVjA/lRY\s Az_<egnDٯEpMZLx|]+֥p8\_I L7=$7F9S)\^d0ԸPV)]g,{{r !o!^kELHI W~\ƴ@.#S4Wq+ ˹G'vsRٮb/%9K]"/c G6'~`j,W!3@TϏ{yndr<y80gb+6J9b+7мj{/aEho!4꾃6z|Lc¤L"df϶dhiC+{'lef51=M "d&b^5lZw : 0% Xb8'^.>ILUР6މ0&Iɡi@׹hn?)5^,T]]Q'yHĝT^:g(KqdOu: 5Ugx/%`앑ؙV@Jl@GgmUdKka vҞHT9 H, }$}𺳯43P8Kd8 $0(yBn58 M2mH?,Nе#L<)FMm82$%U}C5Xa/LD $$Iv^ͽpyM"uQM*ji4|78柹a\/s/Gqɚ˴b^n:AO-x!99iLc)tXiq Ncg)␾6۝$X&f;kݯd,ȴ)!ѨD$ǒO?SN~oGX7R Sŵؖ^D}@B*ݼb}~,[&H?4O78EGT[6Ro3NqHS"G0d]*HUzi,<:0pSVSqCB\ đn7U$}cҵV]''CL*w >w$'aQ.~u-wk8+ZTF͟"icq9 ,٦ 5Vvu2&)nؑC!@+05~J6OyMhR{e&A/k̠ݴ1~˄<ƙ0WGpط< LIJgYZ3025be1932070d5532b858ea7ccdcca87f2415e95ab8b6f04af72bb8f6aaa3c57ab27f15c8e3f715 24a4ae7db74115a5a6b3548bc1ce1d8d7a80b073