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 h5z$$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.621cpu=213.537gc=18.7397zXZִF! Ry]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'6"%Jslb?cu(! Whm؞DՏU!Q#]MgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬'pKy̘Z"3yp`e'CYsl_}YZ7zXZִF!  ]ŗXi%@2c Qv*JOIg]y 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$(]]ӼCalȷ^:Ə7c]VIetV21@p `sOZf5f½qF e4lWŧ"uwL;4?zmCnU5Y<=9^TJr}S6OPJd^wHVa@ņDmZf.S傕w0)MmXggV9zYJ LH8N~=GVUG#xDZLWyٺ._]$@wCWB/:,q\"S/.)-?4$OI0[ ح@lWE(t7gYZR5W)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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCalȷ^:Ə7c]VIetV21@p `sOZf5f½qF e4lWŧ"uwL;4?zmCnU5Y<=9^TJr}S6OPJd^wHVa@ņDmZf.S傕w0)MmXggV9zYJ LH8N~=GVUG#xDZLWyٺ._]$@wCWB/:,q\"S/.)-?4$OI0[ ح@lWE(t7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain F5W' |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mM˨YTBV kbuG&㚵/匬3~P3;tEd'i^5 u7cj:1 jnj$_0Ýp5* -AxT qtw8(I\#62nzlNN>iPݴp>;eY5}CH>D #nKW"P~XМ<#\Rj8ۙ=gJR.L6XQS_u==Bi-3L꓃r fd&0-!Go lQafܢX`+;\/_[{ yM'Om{l|I} Cb 0RA XФsH SGnF_Mlg4Ey g͓8HjNȼ ~u rk}<ΗdJR#D=Dؼ2|Q A"dojm︽u4˿$u95~';MZ gnjwLQN˘iYhL"FEQrS*?R.Y:K;kgCqQ)+F!RJPZcl㗋 o]AO7ǘ;tK/=/A+N?Y$^$4r~v|?8Eo5j1(KXx}kX[g\d8k?ơx5^+ V6VuJy?8p-7F]dSGF!v"ʰMP괄8oO0&p`>oBDo0)Cl# ۷Gv'eF0o,{vOKVjtT C)YWZ5B?.jvs]un,#K|^70_ӇN/₣bx2B_:P`(b4/%KmnG:ryd%Oa)B@YtUvph+U up"GL =So1 Ld6ZjC<!ZRcQint]&rnj[)h91E 9nr065}7.\G-F(jps\nQoi<W[f[>xdORZ8xggB]F @zjWô~g'. BtPk-{E-t# u%x俧mBy% jd+"f8A.Y7̻ Dϋ b(#:I5,*OU+6K-e,bTZ-^4B+GMŚtlԟv7 @KSt=@ ې <CHs3J2xŴB ,<߸rE !P&/"D\*[O9!!ctϫ9> 9|-(0Vgg⌡߽u1Cq 1;?LG|bGNU ql+fxg͟_ 3ïDu #x ǿbb+'6'rȥC(jtPB6T,lFHR"frtX=]Dx=D8Fr7%(XEwf];ٸ2WB}ۈWX!/`$n'?(A|\bf&{*M^uoOȅ8x\H$lq 4dűUF`8[Xra8}bRWÑCo'IS̞?Soh)qe Ex)M83a떅q4'nKP24! +Fl^0V,?a $]gwx!1bf2ؾ_KXp(h7g{p*֟G#HӒ3Tza۵K&\ ʊ,͉j]VG =*7"[} \HQS *U +OU>X]z}dv Xɓ`gRi~e1fɢ#$9&%*F ~h9Uk;aC.ttOM.tf<#~ "m9/{ :a)i݄cŜC9ifQɾ=&" ~dl;3hO\Ѿ:~V/`i}CWpVUBB/绵u013trVRcY'$<Ee{~ݱe 4jeKGt>jS"/rfP0)cF|AFXEX2ΰw'C2-K?t}$ƌ=/͢䄐L\wl嶐b LxvxrĈߏ}\0D\ϸfS!> U=N+;ÅVW04n ބ0pA@{t|@&4iO֜ ABJ";G3.iu2R|*hPN9giEM*Wg4ёFt]ͮMj=o 8sURND06(4! Je#"#pq3ԅM;䚹3jZ+X)KfTɁ tb(z7-myܜ 8:i^*HpƍwatZSk7,VLOLJ>(ޣ,Tn u\fd7~V]׹>oEJH(-1_X|cP ^&=A#|Љ–)ٗ"],7/lVcA0t#B0~ة8VO Piɒ2{#uy*y2#b?S85ǐM`gv&a>4F >u~-ӭ/ؕ‡pa'F-MT{z_@BE/[_v:uM.i!BPU 1ρ4]3lKDm$a`iO7U1m.!Bcx)/ q6.4`Bҍ [,]? dE0V{GUg!HWVMSsN&оcI:`6$)rK~lҁ<5`u Cۣ5\gYZt4W0tyͧoo n3A$~Z*\$(Zcw&"0<퓓9[ACnFtu?'uF. H(b~k]j4˭U`SșDڡ1m&S'[bhi/<P[Lf[8e'KFZ/bFd9-J^8}%2q|0Su+-/@i,2E? ɦj6ݘ ~E~-c~Я f0W/ TWǁte(m!u66́IEtb|UVz&a*?W$ɏ Ø 0i$z@5_ZnJ ,ӆ|$$ 4tjT\@LYyv|afbc;\N=uK9|6lĔ j\;,F٥KfdWe!.Ǩh-*)H.ώJU&مi䥣ap7ijm=e]U./NT ̦\h%$?Ʌz6GoF;VeW;,R_j ``(=EXBȶ@uI4B|ϫ  IU"88m {Y$=tX*2w, =y\ۣ.|;cthQ[e;ō L)2e.Ў/1PL7$~*@faӪaCMSr'cW 8ìu}81q:Exf0E lGMZSD@@҈ByoƉnl>^ĶI  V^] 8w\4[΄`R|P! yx~$^U #f|{&I_MWw HL/.L>'E-~J&`LfRy#7A<)qki9qBL2}ZV8G޴yFFQ*U `5Yz*wNvѤOG;dzgVJL5Y+Zp3Uy,  6čwl۞RkjgM^O2F4n34eOUvP"+eUV t  9cc֩ tg#ܲzwĊH?o !膓c]!5Cq*ێduv'8]awJT[Aҧώ΀wbqU3Jh >CK[5g߭Ȇ<#.;Muzpi'}q^%9vrBy:)bd>6~v ѨTuru^(+)B$wXꇫU_-- ˭v~ x o1.y{(3ET%

u˔Auͩo^f,eS;S>tH޳I%c4bưlSvXFunGx3OeߌEٔefL$o[Mhm/Sy=o:lb(7aI?\a,=mK*r0ƁeDqV;짉d66a`r\K5b,4l2W1dBMd|,ºq]BHSt'n`UNֳ mO roWbC]FW?P`KTݶ@摃jOd'}g&}AdN̛^ ^׈@ NYƨ Kɞ@"F~AD*3a od7ֈs'kKuwoʼnmbo7~L* ۔>l0e$ rPGrq6le jpKUEvO0zxP'fϊ[GTd\g1#c6,84gcq$ q w(!1^†+X~<EJs:([ֺb<܆> 6k4zyT'0V zx?4?HG;lukX݂Tά(?E(Qcux?kE  iY߅W˛L qHҌ2t(vs|Ϫ vG;ыݷ< :[C ůAw "Ϯ16%;6E r0(mcxBХ@!Cs!Goǫn⨇uJ y88?O% (lLF0 !L( HdG(̏Bnop6xV]#aYQ&edoט=c:lq!Ofp{g`ʁyB6'֌j(Tҏc99Tw黙~s1B3%c:(͂"CgYZ 33E 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM8]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|Xr q#-n=yMjޒsI]F4^AW yTeƫKB'.o/իB*f܀XY9nyP^S҃+R(iabxg9,xYH9+wPslpBdu]ŌcrQeV j޹0z6\Um-/jjyh [9%9r`5vQrK>FFMZmo rM )s=F]O [@ls޾CRucUӞ'd Ѩ#~QM|\*0Y<%h5ĭGiRBP^Dx+ʍKE䁴=\H&tĖ+Y!ǚC>AX OvSx *[(3:,.mQ_ wiJdKvO<m}=#ʐJ ^^i˰%gja2jT'3zivQP]r2{1й釯N 1_jCӥ[ucK^%㐚$񮼲Ƚq7/%K< H/֐m3:g&.7ͽO[flԳQ%GHjR0hqp`xP4tc+Mهh/s:dY9 ck="mxCGiaH$5w^@TӪ|m'Lϝ;Xj:uc}83Y@U2}C.2`V=^qck#%Z>AHD;7o ;{}"y2%56ہRDWkIJyIabtςq=$.HuP@M5WAǑ  !V0c4?y:=X^DvEw-#Rr"=d* h,nfv!Z3.tjV9xЂlUܜ]K;/O4E`e)Z2Kg`Z)*ҋ?44Kz}-]!qI121ZD Yd%+T#K--9P n>鐽wq`{\ weݓb ;xƻp%|Η1[w~{n4 HڂQ&dz:Q(#p sy۱Jt""~ݪKh {CxEKQI;9c0 >¦+Q??6pVdV*_N\ h3H'/뚮e5aJ`Q&r@ R0ιTtv3m1{LK[paDC,G:sñ5ޡmj#dI*>L59_oˋ_U"FxL31p|pg"`L>us:؋LVLRBO{Viq74KBKIɶP3cOe.:ML;DW»EJy:϶0$C?|84Wwײ)1t uL禐-0..Q˛~Pr ?wj:+wKS#8w.əi`5l5&7Y]]'jK=\Zdem#̉{|!26ba~l9DsF${5m8$T $$}&5a(M[^GܩoJև9a>đM0/O*KЌ$ap*sMiGZS[LЉG<>#SSgzs0 W^xNY(]s|W} %~IGh=b$`춾 ' +k~ }  vf`sVî9vFlrTKrx\P1`FwV͘P#ϱѭ@A^=$`$E~7X!Xl|}2O\.z'Уr).cc+Օ8ǃ'l̒p:ݎ9Bm񪦠cr nړ{#'lb13 Q)n.Cc̦wՒ{m*+ ! L)V 1W8SJ90hUKq zn?X1nHіvN+ڏR:__pb]Eдbؑ_"eSj)cւ91 top$>p!OWiFhb1a%\[Ǫ6~4Ű6X#\7)u;]6SޯwdPh!Kp.!Uwz+W3a~4:,hyhmPgaJh ٓ/$ST/;~7)9EO͐AY~ [ZA5 Rkf 2aܔz)QMV>imawc~=KO*L%[a58 pl4 Hk@af#K%љDS#/O?#=w(νpgD@wzr\I:DK(^g5ohz)N3;jNw -Z">T6P*Rg|KMVL1tZz,MFڻ9 2}YunG%t UyprV٭(sACi0g< (EOvOϴ?%g-z!'Ux ҋmاEv{IYFOŮTQxdN_Fpzڕ[RH/_ 4QȬ2O]a-T~rEyXpk9N\W dc;հ=@y{Iv3g3*UH|C̥&HMy]-97}"sąrCDS FML O2frIAwrA:n’J+j߇)D#Q2Edn,abGUבHd`*,fCdlR`'`kg4(4ZvI؜"g]?SgY4 h%B ${W)7v]LJ=J8pLE@I_^g wqri2#΋Uc_yMlיZ&hԐݸyHLp QBX\QU {HEYxqd)` /H@Q'ff7)% Pj[N#[|Ռۡc͐+{>ٺ œ~rhCgssJ[wN,0_kA)gQsO~Yc;qU+lƗ=`^2zsPa!iK \8cv[=I-*}]ST ٥V9y Q ~q|Sj<AfӢu+! cK1T1H XR7nQ3x63m $ܸ)1=6E/u,i\@h0}fg~wU b{G!D|6F~d~y1J_C'vF:9}z; rx;TH7zl!F0<( GfʂPh.D}9Pg suqlxpg?2qxchWUjhtk!&֘D;_JlnVv Q 4O'pJFWQ#9tn$ Tz]]G\IwЛufCu  XI IY;QʏçR*IQ} k(NFq"0(o22k/G]V3_TJ]O3dZhK.=\-]gAp'3==D9㜉1ꌊl'6;>;,X,%sЂ)6;WM1MuY?+Ḛ\N;S(J(0<qb'TS9&mMxY X~̄+vSmߥfrи.f6w=l v?*{nS !aNP?VAN3u'A"(rN_|qꔆ}B<^UE9[kB@uc[c#`gг rD`4l'FKUD[`I6ҐY;O&]1,cn366Ћ{D5)8X(qA/tQ@%cI }YvK)Z^^ZTm "' Deka "6W()6~<"t~}0&;N2,riMp{e#!Wvd=4tAP\ ŨiG?D#+B6vǘN[O:8=Z5-)R>7+DO6>7^1' 5 K /<҈|:1 fQa`@}^?3(& p_Kd%Q*cs`;mJnF3e>C(Ȍ[/%+e #d3T$B.fcww[".Քc-(2Ԍp!" n(Kz* *7 WYx~0Xxs Է0 2؁[d1K|;_I1}g2N{5Ċ g=8ϑ nB>s8<]vI)xRϷE)LbNāP^xXfj[,s#= ~}HZc7MN[m̵Jg{0l{Ԑl= gUv2:BED&x1+Wjsk zIwc/֧lVyoxyVSf*{w>cIGxNltHחKj{h(K̇yjNEnz0!U!&$& WpoV\cq z2M$i?'^=^pp=3aww]i"go3W."B>+^zZoSbb"ZBhoi!aVrf"8Z~ C|Tw_e$Szv*zp ø&Om[㫗'"H/OG]qo0D5'۽hOxV[Yt[^Ommh䴐;&W>AУ؏rX^&$ϚE$6IiG>؝uʆԪ ^ThM eT^bϣo\ఒipB}. Gc'WI֞x@ KQ :&|>MC0̯עJ$]OmGp.n/t%;!Uzh/Ҡ-%9Jo6' 3( o5OJf`~H;fm_.|h*z7k@ :P,%xb!!&CU\HF!OWU|xNgGgJ+Vwƿ]KsjQ3o+) \]B""S c% pbu>+ G|Y)ظJ|A&uMvr*-" a ؎bK^ ~IXbNc&SjL"L)T9ӎ~^ukWmWKډ3wŀa {w 8hP+bϐxE*aυ0aRj~'7W+ TRm8*÷3f[ H vg?HZ◃WK,N`)튎慖~n_ I!AA:zA}jiQ4aEhDuOw)!| #}y)#aKu.'ƽ_ M+6H,xW&;>~ˣJa]G~ݦ>:ws#~gFF1~ bv iҮw3-*ϞM mpy;?ܗ~#R"Ժ;L]X¬e͝Ϸ8oZp=@F~CBjU9wRWy5/N4>Ji#nw2.uF%D90P-֧-Px]);}bSz;68Z 1>eD.$uFƐrtWfʾjxX XM0 䚨@3%8a'8 Z AO!Nth*OoOX@k1r&܊z2c\t=Onۋt99ʟU-0qFK(1e͓l*?$N\(PUZSԏ/ 6)Q6h*0G ]4D$'stWgmz//>1.#?'IH꩓p5%y⫪:z+oQ]7Js$vNΑt!$kq0}D%#sH Iak>0Y FNH"|zܹG=%=P!7 7- .Ն\AMoV*Ra-f)hmy_i&Kߝs\&qKWyl7d'Ui( ;ѿwE$ǚ]2{~ L3˜wg#Ië-Q*q`? HenZJw3̖G7AuzaVsdzӾYBP'<]U%]75(nd9c/|2DsqqD]Џp vw4`p~؛Rj.rHNl-QugdQ dM;k zAZ*?RƁD04hEow0` Nn c9 ay29>iC~pFp@9[c[DPIsZ g#z8 s@ $u6R?Hk/ |JX H~9d 38`NQPݵmӃp-)De*-@5^t͐քTv4GD[M dEwfǪ(]B?׮l8EdҬ74>wD9HKJlvQ[m*[v8q鞙™ΟSPQ3e#+ O/ [ :8~ vGGښRkݻUa 2",mQvTmpm%%jcM;2}FwN'Rz%boYn_at .Jb|tFLS~n=J͆nw[ cpkCY ::|4hHtŲǾC܇f˩e~u,Tj9Ƈ@S'gv:GEx5oρ`7hsR-zٳ!PM/|pBO!eeRcΝ"\$kr{@bKwMV̧ :I|mjH񯼨*Xb@8wt?J ?.mhCܱpj6‘Ӌ vtt`Pz)/b,pJ))#a%b:F`ӹUܛkAZ|oVd i|6$~,~:WF]"oFm;ǖq(`rKI ) p+5b4C> ?oVV5 eq6ph:.ňumtߙM]OGRű4b7|{% rώľR[@dp6Ҏ,XLL FrA'Z/X{p,IShZjJk}X'ߵ]3ZC?6J i9 㴓/=^bQ !6FoBȊp|8ʁ{yU?>UQ U Goӎ,Ԣh6u((aՂp/%͐Ȭ@MX>CIBd: נLS Kd"zV'OpbܖqVTw>Eu :̆8B?KSʔ,x׾PxU޷ݺVϿ8*rU 83"7fx*ΆHC@ŘBPi IRUfNTߑ֝1"19VJ7KE)"KH! ]}D=Jer*,#1PyYM ADW2PgcJEa~b':גXB5 _>TpF$E$k3;;WqvP T/3xP P7E#Caz6 KDź_y>Iswܾzn,փoNb|~V,䦦HyģzA 7a 0tٽ X/eѫ-[_k.)Z4OPSQzmP);HOSoN[ GAmf[6 3*0w<$*'7f1Hu Fr3 b%MX0(N/AJ>Xĵyëٱ,nmӥ[y\m5Q5b~o W|^hL}^2U,+P?,RpאPfp!$?hOlwOjq8Ux]3B(-rZ[tgblj2(Ƙc z+a(!X=!Gnṷf.FxEH/ԕ4NH<atwr'YK%(s}( [j*[&En*>{d J ݥ^?t<\$IJm^*6wcQZZtNhzyk"(q f|sdJt=,6>Y_Y`6C\½͎l?ZKYo,Y t+a%[E/ \Lkj0T w]\'-sOSRUˠRm3| Nu  QL}z0[WM&X;2[/YЖ #l=TTb[cK !,G@ʈj=ѭ ǧYD)/1rb6r,h.) ]j.~ +#Av\N\65n4Jࡔ0 @qj 4~jzIaFdq>UE?;%7w} ~a0gߟ,)iBUfZSa!ڋxS}^Ƣ$U J/ObytdČ6L&J ((Dqph$(ząc1A3R,"ΛΪ3 o?W st.Uw)ˌ67Vaz\. C2% 7Hr+0jOǽuOVL4yIf'>u6ˢmnqOD*xkCc<|k'߯;B 4:b4veb8G彳̢TeʏtQ#}\K'~azwo|O@;;8[hÿ&/RmE/uͽBMlӨH3BXh |GLa|HAb!echLjj~(@/1$A2xݚxCybIM8Ë u`'QUmg^JTL@|ln0Q-C["-*(YEA͉MF0LrI8Ւv!W*!~TuKZ,Xq|$9 L4Pu E†BRJ"Vo kϭRۅš H6וѢq=X1dZET{Ȍ]Kge\HkV_DY2@35oBaKm7"z(zoohla%VJ5g[ (*l,e ;n #E!]u:xŇ<'^jj^:rl apHY"n/:5AC <>,]T=kf4C Qk$;pn/.36l14:jCRq<_g{*;4++ 6Sݔוj#zwUf)cӭuRF)1u]ڲݐ/Jt,|zDfYLwNs* ᑫ_P5No:U5[|Í*̬U4Cm(N?pJ}F GhC+}+˞ ѿ;ۍ2dX/ҫn\8^H3.?RAD=7dG?; 9}@q@;^H-_"p^TN2ޏ>9\q?[8}b !"*ZCoK826&R|;п H7UҔWaf+K<7鈬%6ܴ,pl~{;gѱg^@Zi µ*fWd+?0`t3KU6F o;nʺB Zҥn} hѹSܔX"BL[}ݵgyw;,,4x5D '`S{7V546Fh<g,FcƖ^Mqf-<ġ-zs X`PGXա!x^ Y=aQՖ tŏ$=-T}?kb W$ +=Ŭ^97T,:@*^EWi/%t# YEzF}iW T.ZA^;l)V6,@:a:Jq !v~,56qJsnj"8v> Y";"MIa#LI(!E ,2h2c:L![j{:C_E`'AvֹB8qˬ"]-A5 7&#$ůNTg}a/¸Nһc ldeu |V8qi]wQKjEU?}KY >_wv:y$s"ܟPJ~"ד̑Y 1#J>Iœ?ZxG$8Q sl~[A>HWc EXƓRg6g{_= hȁ@o9^2Fw kS~zc-ZEqiV^#,άLU@`hm)U<b%T-@)}|)PFˆjN0M K]8uL}ύ?_4520i[ |DNeс }0}3J!F/HQhx^ϩt{a=5CN !$+_!iSAN3k2d;P8+:J ɶ7IFM궔m^ >hǾ2ziZJ) ~fN Ը>):Ώ#Gʸ~_׎ҟZz  tj'21]|]:壥VqZ"$F+m~R㰽y|`oS#S|=ƻ@s:C[̾/Af8U 562/-76ss߂EKp)nt][z쒓7q1E3ㅘ]XȷO@Ia!]H4?ƀ^Of!_Ts9~({eߺ :fƊ UA'̆>5P4߃DZVdbH2am%(:NƔHٰZft&Rj&H؜XQeFHW3+v*9C> eZ+bo =a.lCrӘ~|xQΪ$ ^'[̓ cP'Z$+j H'gK0QdS> nwTHܴ{&0a?X-N|*}̞_OO[ǀt bSEX0!JXkjFѤ o*͌0 1iE@5Xl#zp i*%!hD}U ƺly,ߏN3PNO!; 72ES+dD˦ߟN6-Na)J&\V0m8yҌj#kk^CKcT滞-}"icwb+x`+k=O?݈Q")VWʘrYVdL ]| lKvT/ޏcl~\/Ip|ڻkZBK̎B5 gFǣ,1 2VjkݺjN5Z'-4g30^QQz7>'A)LFBWwHo`T9.f+$_;X  'E<W yUqeT1hG4Sg$1ǁtaZ6FJKy'ns|F麻+(*~ TrW*7~ xE ?]㉜.Gӟ87ҕ!D1b! ]T@0΢Җg+Vm9:Ԛ#)gYZ k4[k 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o/qr; ]ƅ`FyU0IMQDƖ7atE0Β,B;9=-2; }P%Izd5$G7_PŻ,?M hɹE¾j%KXN%V"x\ЃС,tfq0% Ot{y?VuU^%MCXsbHB]/.%i~?f)Ν`7g$+!(+bŵ8*xŢuʱm! [K>#/*!뺕eAs*)YA wF;pI0םdԓ\ڧTY&W(RoO_RTW-c25ߩ{im3Z °cc4ӟ1_E %IuYPpMo~ѣk?VSiq8cIvhЂN BT]'d ,_n{>TqX|uPQ ,f7Avӛgn@`6ApW`fAajpCe\LMOH.O $r$eUd=o}9Nx_\^ӈ<B4۪*2<`X4 _ $v.:p.vL יgE^#^*Eu2=AYs_*)F'S?MQ _֟BCh9bê@s:fC(1 %LFa<.iB AL&; Wp_`z0uSFd% n'"ak ՐkG}j.,H>Qݏqa׏_m(*)';ZF~Y.֭q6 bXd=3ǵX`sJ1"#& m|*b&FEa+޶ E<2Lâi:JL~0#_\u~ &hU"ͼ`&bg N\1,g`ľ͉3R}r@]|DELA]mK0]mg;o^6y}qڂ6_uT&O>H p@9/@RdY33N" 7+FJbJ(P <~l]a><NgEI^ 0xvq_ԯM#aUƏS0$̃)#\=3c)RKl[ Lr~4bfH.W7^(sz 5/0Oqe7gX~0A҅e: ,]t2_ Ÿ a[L^ B1opRUN*nKyn=k&ͩ 9qlz@CAe0 6j,@:dȖd( YkzK5n! ->ңB-r?]}oP70}@hT,ieq'BĊ*y(6}͉~Žch[J n_nLL($+_ y4*EXX;ɘE݃|Lcl:\ua:pQՑvHG^Xx5rɚ\6"D.%>LzIٱ;>ӹKlڊfb`|SGs+UM^\_\v.+GvEKu #+-5w^E>΂<V]%ɘSSp>ㅹYR`uqo'A no32U=>9>#]'j\,l9YÖO) H&cƓ=, )ؼ5J`gh/4Uq9/Jm{a('Ò>k{$Z/. 5x?^&싑p7qF:f4#uX f*b_zIK#+p~]qjT^쑌 n֊|S`.>u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method>W׀ eSwDȞp>Uek`|Xo|lԮ6 cLtL=($}8\?cS⋥}rtUm5hUz>WSPjX3;4H@o IuWR/ZSSw~/\:-0J#0HyZ%9F[,5"Ku%eX V΋pͼL-JV4e,$7]ưv> |K] 0n3Le87I h셀P/` a.H(<+A@oˇ}c5 pV1yE4ITw[(: s @vx[°-E!Fyc|M# 1fUy m"N|]ȤRW:Er{8pNPDcdlκژQG%޼D]W}"-椰V%r2ӺjSJtQuK6@hn3ݭ78~ pp[kͧۼN5wƹ᝙;Oy!dUo'v|hN -6*>ȍo{8䧂XqDZ4( Y!2-UE6NU:YK`D w>a}@secWrd]_7;Zôts icI@%  5|C@Rso=M7]<$xAܖ[V3z85"{\&aE_w\("Fyp`Ġp}́HCisfEґ+ha581ъƷ3veC?t׏$Tf.E-f6D_ϟTŀSsǓc}oÓ2T9R!hS~ hgZH88PBe[4(mj,Ӯm*, i#eNTXVZf7E8hd#Pt2QEQ gSb•I0Atb%0~ʡqT'4><\ wW=2_Vx3 p%4"}tCJxq6mkEB{.9@|^1P9C)"I.2n){u9d'>EJњّ6< =Y;U7Ccma:7Ռ R'I6֎ S5d膬Y=`Mk+XÑ (B8DAv{N=DZ͇22.{aLa񨋪?v_'řyI>!SexglGmD~B2U?oĀ)KwEp'4_QFMx}9P>iN * 8 H(-DK]gءH3VL~mMH>Q줜;l) Ŝ5<2 E䀧]Xm#Լ=蕤?jʑ,m͈O7Ϡzel1%tɌ=r)n ͔&k sO  I}f`xϪ`#JTHt0BT!fFq[}o̽&f5 ?vb߫VMYA FCҷ= eUtx{2 hcE6<<BhX "J뎢|#͈qfc+#isI ]k%cC4rj :=X d.)*aQ~Rځę;LU2'OJzhi c VNe-dfے+M& g"|1\ә_rȚJe:A$acb"#$?,<iM >APCS'F9m+\Ҽ%eq KY돃wz/H~WIY?J")h"k-3_ڗMFV}pV#]r<[GIAlTt8`Crv[$qN‚n~+ZOY@Z3e/y H%ߏ7 tȠCW4V=QNuteu3:ߵ.95!IL=~j:k#Uh-7Wg[V?V[ ǍJveDr HHgHyC:8昼 g$78[}Te#}tKDx&}Zt!Jt(11S]j+;"!ݐaPmb5.V/\8w"B8dݟ*zaKX t܊y\|}N?޴42'(h_ əwwЋ^SX@]Ȼ̠ A]7e )sq?vxY?aW/"NVOTг)cF&Qj w(%(vߧbo8/!\N{^G8Z=ԠO'i?f֭ Bz> TK"ɀ!W+p|(5>?=MϠ,btr?ʷou\ ބ_{- ? $lz؎~c˧~\ |7Ho1dc"i4Y@gmBLKYLA1ܾ&n#MW6rG &`p!6&c~J[^vgHpQU6e45֨)PQqF2f&.'T G-֩bdZ+3RDPid?7E /-˖o.OFS ^g8Y]|43$ 5EӞA{);GT_[2#f%omC5%;rMdO'N].2Dvb @EaQUl>˴Zқq yjU%老 jzJ^Zd{[y?sbhPH}3ؗv4]߄̡峊߹ic, 1=#(J(5YVT k`.A`n$"3#wIۓm5<d$;)W+*hr_MQ[jĐ~$e9+;qdqrҩb;ƴq8(!}D"KV #H5$p8uMU[ )S( j$UĀTɼ@!#rzd\Z$,rU/pv<5 8mOeXł9yU@y&fu8#Kذ1ūrGFha6If2\ x.i+˽FF#"Ÿs,wdﴊ| _mFo8aBlhmslQcz]8J"<:HmQ.(~5 +gYZ'`:1c.2mɻ3|A?L~ $^uggF[b_E!cYVݍ"@zat¨4UĐZ~i:]t,}nm1v\%hmV*@8vFĆ ˇFUS@!o:og[\cDd.\-({Օ ?SxP0Ve=99N+w :vPW0pk@kaD/mʳeUӽD.9xӸӎgoRNDaP@9 yŐ#Y<JrLM E_F$|ʘrW[C0E9$,CL~h5ERE=FɁE}<@uVaFE} ֤r0M~whv?W7#&}SrfCr^W.VnuqA3D&/xjhSQh.׋EnAA>m_W v՞ >Oa^ bf4x_r YW]M1C!2 Qϐs'}^I8MTSm8]nOXl8s KDzϗ&?xN݃i 隚_7_Wsk6DXDlSZcVN n$峠o3 R{p$g3s6 i9R! -ep̍ś"G%jJnvF*ЯpJ: >¬6}EV|ڔtDiׅT\i;NQ16p"|y3Uu+d]nsEע9; KBG%gvJf<x(n 8@7S77w0Q}X׼7RݮtCэZJ8Yz=am#%Sd,dMQ̝äcZaG*Zج;=>3p;t(zl4an62\AHcf/lQB1`D0ofai5n9^>dU,$H+X-/y;ÿE= ɠN;Լk` G@1*Ntjg'hTٗXy3'q|o(t"tuU?ZdP!bMtb:bV%l;IP@}&Dj){(&Q_,P$y:H>R]i1qSv! ވbqEEdΐQbprt ƥ[DtE[wfϛN`?6v5PynB&O1o}6,3<\OiGY)Ō^2!0r(I˨V~1Dr Qs=]nf:nA8x LU9x{n#I!fvcƱhb}!?`$r~6ovS*0d8^&Qy0K"lkY XǨ8I*5bI-Ɗ6Zs֓u̵͍ t,_}RlplO]0';jEOADzAU'H2IRi `q&7Ϛ^qmeΤ)?|32ݶu(e H4nذa}4 1-O| =Fmx'آ@)3RvypƇsR5z h`^5'ᆵ#e+~₁P|.NXb[p!t f.P5ʭuq`u_Y(W(%)Q9),Ȋq5 /nfafZ_ƋA$~^ *{ijZDdǛ}#ٞ߹^͎)iM=î Ul+;'(7IO\uŗ T#fz'^q}-X+cslТ *_=zΙstcf{x| TZ CwfO'K$YENMw ObA޿dB]*=x-kQ)-/ JA/ߌRڤx@yH9HN4ݔ "HΞB#O_wDVybͩ)bY(ʉic\&x֚=IމQ _BU&OL/wpRhm|&zZdhAAvrY_c/8.kL!\ni$F>XKgV棟/Fd8$1roOtf5مc| 4M?nS3o`ip~1,zfO1.RKoO} rOL%Tth?\.oB:\U`g9[}ߋ~WWJ _س7Ƭ2?YRv4rm lbԶS69"4R+oV9sۈ<|p`~RXbeR {d'ց$[2ojk"nV, ssؿ=yޙ'ZSЎ{O<(U/Y `b'Fo:M;)#ni_΢|NFngS=IX%ӷgM1OzU^Br5^03plGjhdN{r竈mO|‘}2;8c.3(g~NN@ѾxаWm ,@}Eo&nz!)\rw$4 n[ XClXheQ yN2M$N/iF~%3rϣBP^Q/дڬ)O@wiv! r< |$?p 詋X.+O,DP1U(Z3h`D_C ,=5BZ./ƻq什nz]|T=+_g쩘L̯O>%XpMFY0˛f1Nۊe&[H_Ia4<:^Qx[s?Ze@ͳ߶sQ5CI^p @Fۂ+C?.`1Rigc}g&ز[GTI#k[CCDe( rTl^#uǝøW=,pQ9HyIp2қ!l#*4cٺ}Fdk#+GۑLܨ I!.4JwגA m0H+ŊדTD5|8ځ>a*-]3pe | \rcaduq&%Z!GÒ]0x~eÌ:aHF}Xy 5~aX/SmU,{TxJ =G3q`osRSqQU; Ґ.NK'kZQwڜpyH4;)I5ȝTp%%|@1ʈq b pW}`ndU goOY8WzyM"ռc-|$Ţ{` @a bu4 Ht;AeQz:I&T۩7TUxʴEku̳S,` &N G|U%yyϏKPu;K2DᓑCx]ùAӪFȭR@dY Мtu NN\*#oԪ%Am_mH^<}cDC,w a6uȤowa.[9}YѐXg#;bD%rKNF #3K{# t) =Fm7v8]sG#Cׂ'^XD*}p`rwxBCFBKL`UYKG5,P(ʘog#K<t< *WltMÇ(.87?ES%F2:Eoe`2\ ;ejUu Ƴ0Ql% 7ɷ얲w-:PB]WZ[>Ii@O d< CYZxMl?7|.el7>[Rd% f_/AF#gy9\F&XhjpNcmZ\[cxU?,?s~XhĜ6@aUϻS+p~|a' &Ld d">T?hȑ?J@+oCʒ =h3Gy>Ͱte G^2#[5 U$ 0e[h0LR%wI[Flh0N Nh@Qqsm7>s >ښRp)wJEl$fտ4彗yd;Egm b3OLpqz:{`:[vU#|'D>e5!RS?]C(n }D 9d'X׌D,l

E=w(-Ks)]Ś)u4ښS8bFWQ_NiZ;JS`d/,GUX*/R&`~BDV; '11H`f=%8' $ͭ'S ۉANoӳ">Rz^qP٪ NOQMdzY+s--IfxRq*IХ:lMaEɢ5Z${ө!@QKNgנ`G;.uˑ95dꏺIiW0_^zW4&\u)!R qMDD9ӾwOh( (Q߼ f F O/b^|),%@ʕ8.zFu\t06$oޤ.@^BkVXe2WY<^(;EZ[]}saCdO* t}L_9}]jlqZo?La]T˒M^·/pOw>h?ss7DP\`N()ʈWs<> oJ@QZ\"'5+U[GHMHh['2Hjc$\4rGӱ^#%ZOQxB*}IO(ڍ1"Lꏟз0z9HF7*yqpT\azYc]]yY/~-$ {j9N(iRIz USn\dLsHS˪9ed`Ӽ"ƛp6 C/0KҨuiQ>#PbY*`t0Yj~)8YFQ΂^P6HqN席zg-k+{kҒ[> VSjwDS U&{|e{T*,HFۀ O~ Ywci&nmOO Į*iqai@r\$01q uԌ nhCNh&!PF2$(Xs +IJYYJ/__4 swiuyW) *7Hn":IÒ>aYL?PK|OxPQHtͰ\p5))nv2Oht[ bGf{y&SqOW.82p<Dr/hıgr[L5y-*1s\![ճN<$i1dT"kUEZ Oݔ!87Έ7dd0AsvK5 cZc_nN _ӄ־MBiZ1َ~bG CӣbwB6oQL7;riMjhX-p?䗤t¬ 9GTn"߿u\>~V>=Kp< VXǫ>I B[Vĸ3K?, PJ 9ec֫*QъQ,wX)ZtRAq;3}N\iR҄xȋ@A{LzҘ.*Szn\{T&(^1y$~@PZb_XjjV^S`ip?FQAɒB8;$vK`f#̟ i+¥g0,8 k=jYJǮA*{O^<Ronﰝ TBk#4.awyBɒ++ 6|sRh6{`ZdS K[ʆ}ll.&PRc!/֡ KP@'i{Y3ℏVrO CX &,1Xmv *1?:EV.d%Xd/ϗ17b[Kk9w%g ̋N!s{_H,T'Vh \#k:,G \@%oeOKD5*8v:2 OUj0WA*.ށO^J΅ˎ텕T.Vd ,=Z[rƲme z{xDFr)ڌY8\7 d[S(kw9$to@3DCuM MwIL-jf(]~ uYZtH|AiBIjvT7 |[nw*ڡ*I"6CR/rѳX;jL .ƼP ܢ^|އG6u6V2i1 K` '.viY\gr*CYzu ~`j$Cc:^Z< ח 9I$7:X<Z ;j8>7#myViKjx"ح3 aPPt,TÅD"l\hM_{ϭU-tepF!C8n:]H+}JvݲbqM$\ϙcA86_"&\V~LӻRerދmii)v{sIplHk ^1M{m{ N]w Z'N4Վs}#%LsB_ȅpNb]wfOscoHXdWH[ 6au:(Yл ̥DІU t( JV9|dnXӂK#1'~s`84O mii/Qt jYUѲ}Ҏ#EvzתEh%6u'NO͹8ꦐ^,uJx[KE͊}IasTg+žr]Dl;*&}q~*CO[E3Xq9zϬ0rCt/?* DPid/лóq?s[(qnwx~k# ,b._/}{$_GA1dU+=`hm<G-~+[+]1IG8Ӭ<(oў*(šzBÀԠ% YM KRհ8dIH;Їu\FaxV?B8huD" ٤@&u|vlX(\;D5xi)@1Hd#qA}bj O0%q~kEW$Sozx[]47!zR>uFnfl,$e ،EV]! "bYfz! M-D&xOS҆sWKAK4T#3ճ)7\;PwX[̛dmWFC(H]Q{`xPwM}fq߼@7NLd1Ow揂 ԰y4}r`$@ɕ,)&VSg#c ũ Bt?<6]a lŝɮENlŽHA8D)luKRhqb]*8m4oCvR?5;rle*4/ ]f^v C}>1}SDwDNF69|ݻ06nw⌊' ;'[(pQN[ ! `$}aAF(f4&X7Jϫ^U&NXӿՈDKnNLhvTҊx Hv*|QF8)uCcrn AJL;{8G8 7tm%@ zg7𰃊1{fUk]D᎑B !<0BA䮂yvg7[Yi6F]WL,3%u?Q8JUj[U!RHGq~W1R4˦ Y Myd<2æ Ceь2K0b.W}hZrѹ}b@@F0[ #;s:pAѰLSK@fU4wy^2pez/outOxSA aAޠ%f77ثK |:MΜOy߾'%]+S~a\ w=w%0ۼmff$S<=LakjWa+ nHFp>̊s#N%Hm=OCDm/55I/Z@9ʜ8eRg5a. Y\!|R}ܑCo4|r٨DܠŅ?We|E&b6}ExĿ." sq}H<ɣ .g=Wkz6ޥr$VuX nDca:(4J&{NFs1J@̨z3; ߯!75"M&r;j'KH xmbVPBBLuBg{9?r!EE2r;|؆rۤT˽HH^F/Y]#jos6M&hdEԧr*5XQj~p\ o_)T|تI`):p{w  J^0)$wpO!`o5H8jR SW"LFBH_|#7rn%lWOwC`I{~fQ( #O #,s9[SZKZj3 gծ&l1!jXY&:Te)Krz@$Ihdw稓4FO)sIvGn|Qw2 kLep'6 |wY&i~!vS`+E[fGW&UlL>s~~dR gc6$#RKYMrF[{[Rݏ ھ)۠c9rcS YP,HYt۬ԙ,̰t?%H(wgzXV>,_I7:z IF+R|~`%\a;;Ovp%{/eFk#<`L; d_lehwϰJy13Ύ`CӮM'N7(xXew5xpl}-kl/:/ٳ(he!^{/vq1EPژϢ1E֘Tؔc!ouo2ą^vAk0uZAy95(q7|ɉM5;ab}g.>;l'Z l*XX1IIZ]X`yDLxK!;*{?A ƶ ))t;*8;5ʞY 橌[$;' QU]988$88Cr3LZhtɸ2BB۔ǁ!2n! .##Ðe ͜$ o$#Wl b@hlޞc#_|RB8Ŏ<#"]}ԧLk}A ?f6=۴X>h~j7ʤcvVhP}=Ad3/%UW+"5@٥9%j<ا FgYZc1a42439cee5313091854831f2a98cc6972635088e5ed195ee2cdbe15f77b520f593f76d8130fb54 64c8f031891189ca79985911abef2bbef37c0626