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 05z $, ]/ HOL-Record_Benchmark:threads=6elapsed=137.560cpu=213.469gc=18.5607zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&(/XGO#7&bnHq[|U@]dNrkQhO/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬Ü feboFh 潘zL gvmMl_}YZ7zXZִF! ]ŗXi%PE@ SRukL2  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$(]]ӼCaV;PFHgMhS ȫoͬ2f!is_r4mlZ{?N!OmL}:,!C`sƏ*gC)

Քĝ#<`1DTDYgYZR5W)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$(]]ӼCaV;PFHgMhS ȫoͬ2f!is_r4mlZ{?N!OmL}:,!C`sƏ*gC)

Քĝ#<`1DTDYgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=m~CװckBemś^> ?_72l nv7 /Mc&L?l+X_n!6"3Q2cnNo!na3ۚ%ZX[U^F}qWo>xCѰ2oZP7_NH4b<Ɖ-u*_bvF6@I5 {gN"7u-p0#]q OU@]chE3;W{ڀzY?㤤&A: ~5 &%0 ˼9U0/Ni)HM6oX=5=ֿ(m/؝ӟӣ,{9_F H.G~qohFR5ԦefyLiE>z^O+o{h&=gIUR5SyhrSD+w)Rgd,Nz(58<ըH]gw2j'I_N3s =B͗urM1+ H,XJc\ǪRn"mw#"an\Wz'@5aL{T9m";jڐknH>+9FF݊$aah?rK3`jB+W! eu '!I٪? $do `9o ]%IU(PHQjd+ݫ{&g4oBrR$+&jIZh`L#ՙWC#lcAyͿYgbbH+(1xyJH&YT,kϗ;G >zY&*r"3C@M>)Aidfϥ9Z7CC1$`L2 1r,ͳ![DlާEQ`3g4w+uAzR1 V&D~`uCs2B|*1ek 1<"PNtהQ95kІ#BGjRxCu2%<0[\twM2dsz0ˡP0/[w%4+ڱ3 zJiCv+΍F[,cj 9D%fKF-NYJ`8Wz7I#S<\Ȍ:Nf>/F&0_~V_|ypBH# ՋM䞺{&Q:;Yd{rkV)H/G^oK&X, B/F_3 )Eޗ^=gl}]!Av,Ŝ .,CLo /'Ne#5#J_|w#wwYTY6L+G+^R}dK x'`$p"(KzNwre K\zLN`2Y8?mo5~04'l{:pT8k#'l1@_B _; |v*S~@ ۄz6!D(dN(CmgӰ$\['ey2b/a<*#i]R ]NE!ZbkJXAāL2@&r˾>hhHT+jpb}7ЗEB`h-o֥/f.V_/ځmȀL($t{<&M6\k 9<m<%a Vut6ص×[ D:/a KFY@fҒn :1bh׾wa%yCv|j h_$+?\: <ݡh2L92LAQY&nطޥ(.Ygf*-0$a"Ijp"s"g :0U4J!2IoW=ӗB=Ǡg_/3?̗#5F.Swٶ4+>b,e4%b4-PHi}cJ>KZŬu.<~Kjuch%hƃ{ac\$뙥k]~=ZfnmkAO6;nFjD4>i)2$m^%e1-,\q:p<"V?<=, yv_ghA_ %x mHŸX@,8HL4) vCU:& q7VI=; ,Zn`9|1Qusn\3B飽BKLBRTsFl$7?LIcOױg8/59t`{Kz"8w˗+ihi+78Jr9Z I d)C،w#(RVrd X_V7?:iT5 IKWx9GU}zzY흎 wkFj4>].' ̖kZإ٪nQkC`i:B3IWk"6D/ ?ǖqcp] ^Lq[ e{x\Vͦ[%A (O.qbW(y: H̓ z+YS>Vިw3SfA#wZmC(BND@2$cocQiip_נTkC8ΨTy?#^K Ev_+ 6(6Hc^З-8RNvO;& #\,77QɈYǕF4st"EzdMCRiJuM7 X&'!\aL8Ҳ2^^ǚ  @C`03%RHbBi6~f99-y \Peh_z7 NMSt @GIm% \g_^o&*QpZNJ_:M1=w_.1;8ּBro&&{^wUZBwI]vsơ5kтj#5`K#/tsK{h~~tN<|^ Mia6t]% Sqd8 _.7`d{/ߎu X,vu*#vc\vխ:LIvvdw6+$O7#T-ASItDlkn 88ƌ#$OVIYT@V[ }5Q/YP2j9*ۉw<=1?UPUOB_L}\0%{GnrU^G, [BY}9@s8"JY;Y2>cs)uh +JfUOR/+Sb ڊP91C~B(M)M j{4rP>N03qz{/EOwYK"}Ƚ$͠F4PȭCcF,ᤲ+o*jLyr U->N?%rR k%X<4M)Qsa߻pq5*D 9AhLdK1/$`֌$-.| 6EH 4mIi˾ 6]Soq,UgT Omr[Ae-Vqdd9p\ :s|i˭ډF"[N&}M uЫ׸(:fc^7ۡ P! , ITͳKgX IˬC{PztaSL9l^\rKK3،)i|1u|ڝwUh/(tkiYN:5+5^y uoR+(;fvr͆au GDtB,EK-|:L,ņ8H02ȊTw@EzVbuxDUv=J(X(uq>`VĎ(Ԭw߶3v! 닺 xؑ[ Ix@^nZ0?ݝ_g2Gn p}Lk!btTdP2{hҫSy@u ?_ƖJl3Ab 7f Ԛ+Htܤp rD5]ħvdxnX p胍kbOO5ӗ^p٤)f(kf'9T8Yanbik֙~,(ȷa4י=$N` 2p<8V, ?4j޿uh|ӱ)Y!\7ԍ (͡tJ[V6bc,-տ:M:8w:mi*-̝d)>sZ\ʮhQ:oYeax+:&/HmR_%j^QVST=b$ShB*1w#(w ,Kn * _+}&E恘w:['(t{ PFRaB2f2ͮz")F/ ׍G;(& Fb3 jZ'͂cØ=G8OeCjAy㠲v,l3EU)9욂2V ;J6L*rPo^>wh me 9JO&,Z9=AlPɓ36 S]; 7^ViEMbDQ}.6Խ[![w{}+W3}Z)5y]WsO췄s.[ ܼ8@OЦRzeٸ'lP&+D E[:Z1Civ;c^C 6(WҲkzd7g>dR\˿n~M,\u 2NAu8P {w^@ XAɣ͓[ /H@ݍ@]IRvZS4[MZ_E?Q?HK̗Huo֊wKC @z@a> */YM#=_?'|> lbrmG)tVG~tN&Z/k^ NSkTnwqU9l 2䕶φTNٮ!gq61.\!QscM$1A&|`ॶ}ӮP!fđMGzdSQvGPiwuQ񧎒#8WO⑄v`;)fJ5(.iB8;K[7oޗGufKX>jt3V#Hȥ[amJ|"]EϗrXU*Ǽ_"$X{ #=o+ݶZ teC֑ _h:yhb(Rv7/79b~O3Ł-Nyz 89b;/ GPm+6Cdo ¢ wc|>4QSXKӘu t( sm~P/ݶV@`NXXk:/?fq52]՛{KikkI6}x}RW;f|k"E ە8ꮽx@G(`!d.$emB3RA5!3ĺֱgYZ ``u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method! 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸL]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wj{Z{P^>we.@Y:ISP2wpuACD-U/csٳ㞆) = @=9~ -.GzUn{rDq0_KON/t4ynCi =2a-$6zyWS8.a5AEGmQ:́V8`5̑8,4$H:cEv G|fSW#_ѓ@ğsM@{>Lw7" UWKQQa1/KT6f?LޣNݐ d@gV;N 2 Wf >ѯDȂ` ̱aKDjNᮂmg&dӛ*?>?L X%ġt6S=]ͥFQfaiԧ㈗ k%K۴/&6e ;uO"Y9 n>wR6`$K`cN$Kռd-V `:Wݮ[lx ΆOS9C={uzG=rh1 =;~!l`'D~a>4Is -js6rI TaAorht7Xzdz}+Tނ#"O{.s%h_O \QϾ݌`}Ƹ ;&Nd5T#:$? 5B4K /n,$c :SMCU\ 4:=Lvon嵢zW'|̇-TxNb7D!`ư"$J'j'eMk}hDSWlp;tڸ~f^SM԰@351B#M3/oo!euF~JCHpzv&jsxRo(oh߸']'r)&< ٷw[a_ z_8 gr.|̮ {e$xK)r l5W6$_dqd^"ڼ:u+\PV[FCNzR1=zLpnwHtbs>DUV E5/0y5)ﯛZx U`K.A13SNa$nXy0\y;6d5p/ 6qCwf96F&wstl ;zTUbI**͉E}5r[[OŘx=٪)'YyW!)s6#Ny%y/( icN;u1I@bp3&$W,0At*K*,Ż$ T?1B(bӘgsu8}Q렛xrs/]+qa9`5RbӠ mbxK &, 84o ̒g4&!*?EMB(8\@+sэ[3':d1ZX̭ ,餧x.kSX)呔WgsT-xFpyldߵ,OPE]G ,F 5,Sșg=ՙ'/_G1|hDo*Q=kke'36@>@hRA:mTt]>@QXuYw_RwDx ZY<{݉svwoE,7м֩dV}A +`Ny:x\FN . j5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wj{͎*19f jSSCF.V*ْU Ih*?g?]{ Kp0\eAE7=XI[\JB>F$OrYzJDe&CrGkp֜tO$ T>+a#_O_du 48< }SW}\<.Ȯq8؞;JO(1^d5Von3Ĩe9EZVT./;6J-j13,X I9 "JJU!g'  :hҟnY)CMgŭ;X1AY{#:{`R.RowNp!P?DTb Τ=JS/D?]TZ:TyqEWj:.co/DN@ЯBq{1&ߓe‘gqWC%R⁕4tJK,G6 #[ C.B}#;/e\.mF4Zk;ŲmpQ&L4qe*mGHݬ։ڽ-PɹP$t^?.˽X2O! m b2\G򁬠T\j-^Jb{E< Rr 3o;뫈Җzm%n헧tmϣG!ݟFV (LL7HQmpNK3fV1kH sCUm\Mb<)Boh 6PP=aGCBFǼМ$VLwHwNE`|{&[wr B ^$8M"z%C+#UG 9NIZby&V"}vN,B<>!p(/Z@-) o!~naky%ZC{Uʥ>oo$H+P: pxUKkؠ<̛NgNm aEN˫GW;]gwgbw_M[CBXVR󙅮u&߰@ Rl* *J$r2H cBzxpi7-]XFC C&3Y܄<mV3u:v׸O Xn s#)p{/v Eʅ`R.1SM3R7ꅆ1K 7KfScoR/a}'c#|vJT qڞ} (|]AHZVvT$eC_GK0δS{du,c'U?`кC"~3 wl%,4 6"nF7dŬCuR9P 3'SIr~LӗƸǬBf3z'=>eA{{. hxmHG(qd# PE T_}m |uՌc,* F[E\ڦEr@r_e„agɌFh{EZ6FZܺo*킯S"Лװ"ûrr;k%T-'1T_W3Jտu58eR)[`ī kӽl6@Q--͔ /IX'[O}ٓ uU!FpLa\tP` @L9r:/Fq<'1z&U)dA'a{/;[ЀwfLQ㐥1گidaE*|S[M_y_y7I Qgc( /?Z{ˇiZj^n5 Z殟34gBU&0 S)ws9Tϫ1Dҗb\ ,pdz۶ӄ l*Ñ!?s"Q5I{Afn]z-˧/eyBj⒥Ph?EXPjX!-S;ȰmϿ7u8`c2n@l@ɲlip6˗A^bOW@-rVӓl"=DuQf֣h)D&CK0{v}ʑ6u{$̉I2jٞmV Z3 Ae@BeX!E4a3]oT(Lڏ%zf_Q69 G_hQ:_Xm9ٺwnQHTᦿvy&션|'8 !lZ(}"'rmu݆`iL#K'b6/ε%O[,-Պa(zՔC" AqSFvmHAEq͑UVmF 8a' cg<9OȂ9)Jץ?TLmh3L췼rKPKqøվy IGN͈86&J9]l9O~AhԌ؝`;U-6Ҟo\ @0NI.ȚV֞ [3wkj$+`y acuҲU guynhY\NN; |4EZ a1^v]pzT>/|EqU'޲+ՇO_|rh_,ճ[ FUjQEo_bl]*fˇGoR6Bi%mZӄ0KeysC*-/!ɉ¥vWΫZ)N1XAJ#$-gXpxzH2vLy3 1_ ¿pPS'OORD+Q%s–bo)z-bIG{d:ڛe!ߤSAɩ|ȑw$OE!4 !I7veT4}΅R75$r]#:%&xb@:n(1;zׂr\l\iqT{96Tj6Jrz}XyL>moGco ONYƑre$,>H-ٶ4}&^%L%W!t#xHb4&oCI] ؒd^)Q&ĉaEtEGC.>Qc%4`S1a܈;ão?)ҋ:_Nz*$ؒn5 KNe֮^Uvl "9t "x_BHMgsu.Br4 KWI"1ձ݌f*eA@诸sKr^o- (J_3H0䗓."ND} w\ l+IeH4xBX&֗uς;$6K5G{Дc6͙D\[r#p/~\am5$+VI~+2otP!B8cyU ԼOW4r\EIv@T CH-A|!1- 2|>PhN$YI"[L=8Qɯjzt ];9#2~ [Hī v/3\}ĺLQ>jJG]^ewJv4G92Gs(q]=xxii[Ci# aKͳu[ =aH'?Z2vct;Ig>[j_,!euɁ7Z>(3ZWU{ yu: VÐ3-}=2M׾8U5I60P)Y;N_vSRyR9Ӈ.-)AhE,+VqXB\Ed 6uqJޣI:wOSk(1HOx}%V' ?}O12GA0T[7>,p۬+-`o~BJW-#5B |g +g|RS02MO:aj"%co(ur T7o:=T4Jp^m2{V3$Qf>c8oڟ%nKy_IƟ˛4q=)_g=ȩ2Qш%$;눥Wr @6Ŵ2 CDjюPXo JCQ lvdQC6h&Mq6rk7dGz.ƒm\#Vi47A_utK-AIgM u#^m D?/j ~)OK=*{6DupYZmm~c t|;yνSCR FUtW!Sp#M,M?(KA_ATF/ak97 YvMxe NV|Hщ4 cS.KSNd xCAX]HIQJ̋ys_Gt >}Nחk|lU&gxTGRrm{ujBj0|">#fc݋2*z& Tm9| $. R!Vږ*"SahJlQm#+]2߰lxf=9\ B1d^G}r,sKr3eFK8PX1 ArI5^hukۢ|>čFD&2#QP[25t%,.Ig5Lj(=+$/,yp#sJϞyk&:P s+Q$ ӵY %[XzU*?:}Y ~~+dk-?5~wEu;5[+ +VE}0;6>î֋ҲֵI^>jΈq!>VϧefKR:ud=RrsG1djףqPnK6s|KC5rEQTuW>^ھ,x5f7"/༘{nIn~)I\pfjhԣ~"fGo3w(׍RL4sP6g aS<1DuZϵZ=p(*:1#K) @(.cCⶫvTRPogN/+P!u׋46x،*\g:p8ڔ'J 'w S ,_W"Fojb M[ƓS7]y1Zq p$NV2ܛ-+3r_Tr {3$u%d)/Vmui_0gXz\AxDX:c;oܱAaLʭWơ%{f X^guN-=j9͒Zc=yI,bo8| #g;{C^^miAlo D~"ou %lOu/vxjmMU5_+^R-Lyi>zl3R~}fx;mX9[a'D٥}(v^)^(hPrk5RgS;r/,,~ݶ5Oq1 c/UԘ g\`tpE!]RJ!n`. +Z c#f:?D0|v WEzd{g(WL,{R59Ș>]TNN,c@-).!k#r/39,tקm1-% GID'ޯ,%X<ĽZٮT ~LV.C'714T3qI<-duc~ߣȵkdzT4l* ȃggGn޺Zc_+dg YIeJ*Q5~ZMۈ;>f@B],(a [Y, :Ƕm.3)5ٯ$+V $l %b~0 3PZty0soDvAcucq@g–KڻΥGᣬf \Wlc3*,伅,3N^5)ٴ ت#-:%SnsOs>6%|URBCE `6,NDW;VMk1)ď4 w0үRn89.gFbE,=,rv[t!$|k\}{2G3A3+PBsƫrJmw^¶S _K:;`;[K]{FM$=d3ퟏ 錤/mU'Nv?* } ~:c\5ISX*mWw iEu NFۣD"MxlݥҶ6u$d'.]Oij/"j]iiA;nbNB.L/GwHI(!+oWKԶ3oAu @/Y0FT3.J15nMίה{Ѣ?IWQb;EkH㿊e$uMyYLMcrzn;vÎK잠Ųu-}0uiCnk6jwJ;&y/-P8/:ncHIRi1pS0$f_ʣ X$ ch$8rٻ`d)d:d2KX6=66*z[ +2Sm1 `ҧ]h+TF^]o_ʘl~X 0NOzi~Z8*(-Q^) ` FR ouva5"=n۹nT%ЬD 䳾]$!vMI."n`a|ӆtrX÷)S vx)sW茽z^ٕ" "B .x},=՗; ]HO FwE#v,QKq”MO> DZ34͍IwG@nX"6ˎaJ A3.A3u. aw6Wܶa4łf $I 2l(:.u5`Sxr^YOQ H_2aR x8 *R+DD*# q3N娢so;Ž_Fr F5l}ۑfW+RP^ݻgŀQ<~TTT3jq#?o.ŘQRmV͍(NQ Oz%7&K",RiPe _҉ 4.56@0C9-ժCU:S%-) hp[ RoSx!20"DʄaĔ@*/zU<0kgh)pIi x]ft*1I,bߒ4,zTE۟fF=PIE4"+ #3&-^|U`%Mj*lvܠVn 6[dksc\JFvL6q;&zKmkR-|*׫~:们3O/ [a>~ t2q!fE|P_̣R(ԅ&8NrK;UBmN; isnW"!`0VId>q5xfֺiqX5].ԏۥ3FPW O/"ukC 쫔;#ڴR2qinc&N9I-@ 5&'+Hخq .`'|&'C wp>t,PF 4ōlo3.M4,Zb9?!SdRO HTO2AYViS-ɘQ&l@bSlz>y91*h i&ˎ,'Db mp((M%/FCǜi)8Ew!YOOE"B+ jqM S# ӡMK,2\wҫs+ VE/C/Y \f(b7Q1>sCo[M@w2(9FJU_!HYV>1\\L'uؚl̎ǘRr+oעYZR BbN͂_&+̇1ZvOh rw-L1|Q$4ѣAo<0h-5,ռ:om<5ˁb'4@ %7-K5 ʂߌ}1hӰ :YH{m> |~VEш.>=#QASp6Q&3^'&|>tiMUıl^›㊽E>at.5Qsԋ,5u|8ϐk Amg8 ^<)~2oryCKK"\G*;4 .}m ℗zbNBFUND2Vv&av}\'fk>K 솧qa*4=Sv.GeMl`5h n+$^_.7$k ^4vXIwr.4DyhdgƢ۹5ERu@{]yѴ3\/+{{@u}vʹM>W0arX8cgJX 64r1 ^@V1U1#4ƴi!1P| a ZD9E Wlh3thF6u pGA}\עc|z QQs7.2D\y8vKMSm>&i## WZB!erRiWqi7X~^RX>)JfjP '%Eo)~>LjrPtPVL s $r"OSQ\zaX57|j'%m#}8P.G|EOMi6@{s ~E{1~X<01D ?3GdErF]?(YjV7 - Ls)gNx_yX*IJ|":]#ԡ&LtZNIWtT.(h-E  p\+_{nJJ|]*]?jsƆMQ{ʣ] 򑣇T%)u_RM@49kgh>C Jv9Nr^IomꂵQmfTR [ͨj(AI730ߵMhSHH#cV@@mL%:!~nr}XL뺢Dؐ8l}c9Ԅkuiwk3/a@cϕ@ǓÖHELRO2ɏu2ŰZ`tնS*ǶwY)x B6ZZyJ%L}]P4cntV -c`^mN7, / F,Aog|k%W?QCÌqsS\6OeNd)`i(>`_- җ %"SN.hXR- 5 ɋG=}qI<((@ ؋rb߲ӯ ׋ӝVs#"(vJ]fE7!`+e%zx>&4Oa#qSoTϰqTiGFO8Up" #GgY& %kRАV~챯+\zqbk /Kv^ `{<.Q ,W ݤp>c+,P,օ-;ڏ&=x6 |`wkKyJb뿌QbyFZ? 2jS6?)a^*Lap+ng9)"r/N}!߾Tu-B㖷[_IP@͓?]F׫stJXr:bS/홀ƭٚ@_ĺf4h%[:i+pT EÝ @8 J>J֜نXB~ S\hDA>*;˙a氯gE+ g0}gRf&6j툤`,//?#:Jk~m<紝.#7_k $$ 'I)L۬JBJISn\bi#n( $4oA#̶𬧫&R@v;^Lp;s/͢d.E1 ޚdn%'i궍z7H-ڧYM` SÍJ,'ħϚkndRZA r<~%0!؍]Sc v>k4D+r\HB ku1d >LGr'_%/$DڸWؽ1Wz)Uyw^Keζ@O]]CiQ S /՘RKQZ2 Nx0E3,nԂad}\)o `k/& o^.Ml`"(V ]3,% "V'L? W2/;6f,eR5&kiC_IGФ̝dؕf4(O >_Ed/. rKl͵"BK/)BK<3֥n"@1b]*2  u,ݿ;#p[(tlH Tء#ŀ߹iΈUضV1Pu= Whr<5;c;mމr:_aeJ:{ _f{v%H=taИe\4WaY$xz=z0ЪR\9%n6!?cB1IL&/euWٵ1\_߅NdhᬋTU}ɡBlSoJTkDCE刂o]; SJKV<)1%m(ލ^l|Mp٩j῱r Aalbe>3ɦMKI07ƷD>%N (ɲZTN/gHdb~7 o_kh0!j=@DÂu 9SA܅6<CMOPicϾX񁇐u{EIL)w^3\׮!JluO;j3Me(z֠curvY>j]s?/T83k[%F IQ )5PV MFLbZr玥xۧ&*S )s_(} .9xoVE~&ƛI8*T \GGL>5W8SjIv*ZU)9:jYUyG+ iAk :?EX{ f^U+Q| L\H|gEEAI/7=4V|\XHs td"YH(q ?hIV[;`} ,MmSR%F*#(.Rql'ӈ>%G]e[QZeOq_lԝ[.]J5vYgFvACF;:|~J"?D1COxǀ﹮sڿtdJnx7`0c,+zqklFf* vە05XQpBۂH:Zv[p$-<2se{]o+f56p0i-b&R}#5xdx5=sSKwDmQ2*[AŮlNM \Pdݭk SK g dˋYdlO h.![T_ ׷J n_9wQkH[)]cG^hWKf6aߐ]2#5Bw ]-wzڴߊ#F,ex;N4R!U|y<&rP'8R!H'`@ݾ ӼZt/w{ D4+ &vOBx @x"O28VâbcU,*GoГ@sWKhIe̶UAr1% "nej9ZÊ[GD'/'ޠq½s)ˊA7㗉hbJjlhjhҰ*F5xddڗ. !a mAd5V1 ԗG?>Q1c =WE]5^>7&CyYmC1fk{f2uuT#E4HFL>݃a}w`T߼#юU&BZTVh IyL|ԜKV>+Ygnbp({&\&{^@*(y= /+}{Cq7?^/d1T!(]od ƨ<'ZX6AUMnqmB^O10nr 4t'Bmb6:jğA(O/bDfcy cIX'BGY=IsLdּ^f?ߠR*zyBFެ3H4It/A y_*%\^S51ӱ`dLyN6gUa1Y.}ݻ<% 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thyS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id23665W/ THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wjuY>VhFv?fMaT%M2X1T[ R>T&ﶍ@ PB7EQ~]fd4N!? e"ݍɔ+-~\ޗqіDBWFCml(tf{ [%fb'JzEx}א*ڎ7ow9m+xpmyqY XjoXrŭQ`s ALi+`N2X% 2wMGM.g@ǔı"R){SW晿`,[,O2[iWqVj(^za-4EW\@t+u_X0" |J Ъ4cfRW3 ࠴EYF 6(IQ3w%Ş!p>n uZMBpr(' 朷 X>W`}Qmw*}7s:g&KI:.'j5{|5{Tj i޸E_D{cvM$NqZ_Oym*Fی&*k򊥾䈬\kmEWU)%c".ʨHV(9YҞՐ‘nqeJ:\{Sd -,;#Fij}^R ՟a@ըf2>8/‴b;A d?˜dŔGG s%6:Kc"kiY0(J~w;Cwp-т z(=sNJi[Alc>Lk;%h"N /K9Sv>$+Tݯ$@Q_ևLY teoI'FO&dP}X>M]}OH +r5*'FwjNυGhzcz< 4/?n<;dZb}V9 qr)kM;1e0\ĠBFy,y>Užc:tW;8h!ri|ع*f,lw9EpO VhZr\G~Ϋ\W|A5U@q>̫Wk?JsB#Yl~U&0Q)/`52 $ w&kpjk945 z- X$lZH沈9(x ~ _j>Ep -5y5JB^wi\ s05 `4;>$s/zM Ŝ : +]S`P[S|9IrB]S;6^h#`kOY Ѯvdm72Jd7`z Cn'5"8\ 6IaW lۓD)Ub'_&sQSV8A֐o=FȖ}w4g l)*uW̎B'g_Mq19)\O+v੎r2 lPbCO f-Hk7F{(TK=c]|#ƽNש(o *zVWow?d 6KJ7%ުku7O-q:w~|H}X{0eaeD9 "mM6eb~cϘ/c(-!Gh|?`'e:gj>O.o7~r h~[6i9T"2{sWX٩zSi^і,UXò TVwC>$sQnjYsp+El;u)P\z^Lj\&VE?Qa"F`KK]4?~qnD_AZHw݌J_/oEHmfY'}gGòCb ռ) 3[_pJG;Sxę3-<゙\4Ȁ_ vK6C{/y+M0&6yWZ)G~$f,) 8zUS* 1JWiPA卙WD~ny*ǬG-b9A[F{VMƸM 5OʸDGҘ9- ^.f0g:{?WD]}ҝg3/' w ہԜ-xߏQa%qdK\kMgҶ7PVZiFƭiBQdz_VhL$tuLB]Cb1fHjm{B?h/w]ብ-)R55VNު7nӲM+~m}sp#~Z˝SPlW_(OloMZB19D%80jRB-g/*-FU% 6+Nre1 {VH(ҋGu a&"dI30b<1MGA!JB_aL_e\{z :=8/wC1's Nh=n sc26<)]B:_ӟU XY]֎=$rdzQCXN魍H P])4'y!;2~M#;j0+IFHbfOw:k: 1d sv4N2a4ip;&#k@Qv49~^,(x5> 76>To*דozF(%LCzwJMY9re*_I˟h́th3V.;Tթ.=5~oT\ HL~Hx 4g㵕&H}QXCOpT$qt6z!lExݢ\|z1O0!*w~>vp!)VSro/u׮,P9D+[NÇ~;DPwY^t6wS*W=Vqϋ-Zr@8ܚ1tDU/+!#@k~&}IK qszف\.'ȲZ#*-O*'T3W5SP\)div괮bǁ`fM7qVIiel/#+ۼMT5/cJխ Ug1VT ~P6QRD"÷fO0FAN69Z_Sֵ3KfZv'mqQm~Gƪ1WXPVN*Aܢ#rƇN*E:TM.('RF`!fogMh EQ~6&R 9̏wOYP.q7j>}߲Bڬ`#/ۜj:4#woyZ j噶mP^u#D.mѩFqaeڹkR)3hb_Nʴmh; Zh<2ll#ZNܘWѭX)r4' L*y1RQ 2pE4sDtfCm m;&ziP< ,ʷR{h.W-'6i3S!ې +(ǜCڤs_uXA6 Fkf*&K_ /'vg8*$tl=6h# f;u&ЗX5)GV+Csz&Axʔ9?MWM# 6(݆SMs 2e$ *?C!|rLݱ$L4 @)]HRg ~^8QsvJ,}=H f{L5{%օE4MG+I4l,3WoN8_CQVET@4(1Y-JLaĖw;'Ft.Ag-$^ r#)ֆi a{t4z]QP۴VZ}OHZ/K5H 3ԕrN7q Uo au kyunwRcj {cgj6>/dC~kX vmlWa:LǜI-BlN;(?@|Jj:3ݡI2i@O#u1֕RRr킚Y=p5whj>c+p?o]ku֔DB!u\'+ۀd6S;_[})h{:  ϸQ j] *yī"PZ混pJN\Ip]l4kcY@m=߰q:7@^-A3vǞA]lxbO=G2xҠڱqA?vy* *gYZ  5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F z]Άxʆ5.f-9 rq=bb/k#0mM9QgЃ^4Eo0sqg*&Nv3pM"-GWbF:skpNciͩF}1O<*x MSGL(4f jX&g!SKgq/#[S ^ fzCxsO Mi#H%Ѥ0h'> L{K4S+:F1[oFMjjK;i>``v -D;h` +3LqMwd%dz+wW4I#e) S*+@.eܞKĄa .E#TPd6qb n/ʣۓNVVL-F:ݺFlN^$0YJ|ftIpx<>q!oǴQǀ@ QU?L+ﶱ^iT'ܨqYDs\8B-}F8SLS +6,MP@1PmU'B|x&Uf3{d%,\Uh#YIXZn/bK 3D N FBAa҇EiM+C~*mi&o2ئdaJ,5e&גA'3y3"QrMS}|K ^vmj5֛ M`ӲAp^e޵<}b6XtװK"QP E‚' ~.ln鲲,;O]n4BȦrMyv GEZxn~R}~sY}.ӽ;`OUGfV[Y^mln䩟>>B6<=q5m xŷ`wELܯZYR^J?lyZPO"YU tҿʭAB5z\N2@'/e9G>`v 3q*qg}%&/i=҅EyU;ו-bۈbW+b32԰O9pU|Ҟ939+9*ucm.BT!\@poT=Yk2q~ܲ7\v%!iVxjD"@C;"r`䘰=CI4ه/R҉uT{2 )&-}?XZjg sꈔKM*~A\D9SJylnۥDaVBE~.9'Y+#iB47.3-#v{2)V\khf͔螋t,ˌ F!\W="F(?" u`ュڥf #]n5#J' hjB)bkJ gh6t)]5u h@xkqR^84Ć^ikoO֚lLih3by08%L!+$iߩ&t_E\?Y 0R|4r?gX*Vu>+ɶ&,1Xx1?8Qiv$~>ɹv&BuM;5hLĞT2֩/_"3@)_XϹ7``m fRRcj'ؼIe߫:zKop=T2^I F); N 5FxCW .1 H%:k ebS̡ۊvNϏi)D8ة)̈p'/eYpNNG'U1>)*->2hWH.x ZI꬟A Nmisv:\g8O+4wS Wj.at)1McޫܓM,@i- #~$1 .!M'$_pU o ?Ⱥb(]Hǔ UgYZ#/.nbX9hF6ozO +^0s0)SJ?b݈T%L/vc\TfvUdt'wK"{DoH~ x3؊!9׼qx;N8p7I {eFY>G^`_ ;Y-jA-t%xt=33%o/&(6{ȸ-OBAqybZ%)QhyE^T.=c۫{f1xֻT %s~YS 1*EkKHYF,s5ߐZ\V9cd/'l &˃B2}pT޸GoR Q3ܟq%e[9ebc|>/UyR}?Nys{kMF}ͨ$g!þyC?.\Y׍&'px$笘.(1Y[NeGܧF99WA&O:s.&4dؙze447=Gk;_ )f8"$j&K"%1km+'ndmLrSIv:8^ .i8Q)i2\-WP߷=+tI єV5: K~f˄z*$2.?| m41^7W7tO7`eLUbLo 47Wӡ%3REt,j=]<GΉ[]MZ"Pd <D,Nxl(:ߢg܌.z*6yDev^pc"YI'd,=+Q /8DcζOor6{O;I!t_ ^< NyEj"Rc s 2SUwN^L%9'g#uAl<3VU7a'+N)#(E49D;5u:wCJO [JeLcPC՘OL*6D̮0=!6|{!KT}O6iO[ݐmeB5SgEqY׈M~Π]=:0L7s* 0HWT$0 8"wxaphdt hrkD9v+,{qLpF/7y4 devfCCHjrO&ubEhYt~{ Sx@`ʵ $Wr/b!t7ي-R̘pOEwtвg ;BsGB!kSu^t| @ZNG߂7K}K I l(1X QsJ-yz4> a%*]2{>࡚Jt#IP-<|`XR|> 4 z&:՞%f FW;s~#CH=1q6[1#Uzjx ٹ]愎3}1Aòwl|Gȋ G<XH]qlR`rbS̛y$ ;8ɠ =᠁R/ ߷)n@[\s~a {wEƌ9{H.c-Uws+yWߣ8S.`: M}l>EEM:ǟ ۱CM?hxD%B 8+h@$+0*? m| Ȋp[2LĊ4~q#t})l-.-J J4u~p  <۬HA(Sw:RiwQyܟ1ԱthWM2,Ba?%gk[M W%_%ʚSn ;C8mȥq5 o֌V5t5ݯòO^E[C0qHT?n0GksI,H4vjIz'0xRd-W{ d7Fۮ ϳ9j<\IۺXpLLmwqc)D-и%S ,\@Id T/Lji#</K+6R^E|ׅy=ZrICMgi}nz4{ʮ5Vh &*nTNDM^iM}ߥx=!GuV&k&}wq%;?DHc[C36x#6S6x!vL1"47qfD Upx3:xLfLj\QvI1 0BCp)+, qz5}˗)<6xX=LMw! i=ͭF"Y;-B92iO8nx6o$%,K$U1\J}wZo'7}i67: Cgc;_JC>Q I#9h3A5~ <μ(~H$%4P_95ֱ{ฦXW=fI[<]S;Bd, `?9|~ɽ4fȾ4WޯJhӏ[\l4o(K T [7j4,B8ݑC+z&zPtòT<+3>Lf=q ԍLx.4\=yKFMbr>f,sד~qFS>+R~hz@4^J8P蟇Gn% j3n:`xD0`MY"g E V˴ḇ:^A5jnp ǕJIMTs`k3"&3K{A,y(G Ҫ-ʌa9 k%ͳ4+ WptByvg`!]<9j%\bV0~r/\HO|OI$suh&VkB2`:C*v;wmjYʮ!sAÚ9}[ɗ>bu3 .GgX"i #hnZmy)5WRI{ސVfEpo#+ 3|zPGg5 x 0)>_Oӿ{' Sѹ|*((skHޖ}z3S$iMͼ ˳܂\ETi"Cdڑ;-&z(Wp1F.Z1fVNq*Q\.}U xm>Q ~27Mt _</~-QBN96\X*,[^; "۬RP͍yjU[)ϸ할(4ANXZ|3b[@ 4XKM.ꯐغg¢ū2[R-a*#qiNگ_~bK{ I Q|Q[N^'x\J, 4As^=wI$J 0wZtFhavX A%1yh8G~jqhRRͪϑ9E5 oWsunQ{c %ƺVLOq< j{= [ n2rFxo^8ugb(͆鍌jI!ڲw$k=jo[ogӅiK|n$1[,/KQ~̀ayWy\^%}ׂArΡ ~k'ZoYb \lJ [YT& H~&$pIC(&oFmJY jwj¦)h6I_˼DJOs-D7Jz*_yH=JzOC@LٯR{\e+&a4S̠EN|jW&[*¸ٌT\;hME t\(N4.OOY@%;XM`Jd vJKGѮXJj}H~R.R!>p|{)e+<4?U?D$j(f`)vJ\Nj@n"8XC5T܆T,%ThTPeN2[gնټTF86V4y2s}R 84soN禃a jw |ϒba|LPE:9lWv #y  5t}^\?;.O TOW7E~{j\1L1"b_)]=pM<^ M5@OonKsS(v/&H hjOZ0 Ε6TbM6R]G\o]]/ tOR>B)G>ۚ`խܱT^=1)RS&_V;5E1ЛqwF]h$?^Wh٭Z~svnOٶ3S7>ڛgrwLEςX8Ko # Ե%¥;]L5O aŞ:4}_ |t͝Ow2?iINZք6d ?i2Rǯrܞ-;9%KU2?kP'#[JRwu'ű *p[ZX> ݤT+ĩ1⪶Efy)W|KˈE-}ҦfLz lGE9@d@o@inG,-/6aO^Ac01ʵڝsBt7h6C pYMڮR$[9cKlJO}Z|nTf<\Ef "B3w<"W[-7A H]ZK?4.^XI ]EŢS݋w7{#|tAL0*uaI2Po5| 5B8їj3t h>D270y1WXrg!Ťs^8ƺZUW(W%ʸ^]Q)Uub"[imk؞V 0N~uȧ ҰL1[Z':CK$ 老ZJ :(k$dod.qp>#t+NNA- iKMKƧgr\e!|-vP1&Ko,F{\1Shk岝@.p # \clzb*!&? ]7ZO !H =ҏTVi8ײ4qlW7r(7⺔ѣU:<  WV!,AS&} z_rsXJR2asUF: .M}K0؞ mFXFC*50?UQ[Mkݐ8bf.qlIjB9Ik*GA,gTL3<}{eYO-Wy,Vy`JȽhP ;{곧n ^aoIky`aP]Dkzr4QoPGSg+P6Ky տ nܔA"Bpj]4.-Ɨ#L/a74ӟaM!Q7[i<+빍7~#껳}Lnzϻzq3?3U隵 ]"4{$;;/w˜~y"Wm'S(k=y[ME%\Vy*Vy3n%d[kkYiCBǴ,g2yoA<ԙWD</ `LBjKX"P̈uB1#tL-k[Y 7JDק+|IqxںpZWI4Hu{np H~[=|4g24=/&낛lonFvӔZP:f{ l[1jFLf_{kXI茤׋x -<1m*lп@_ɏh"CoDGt%Yb&XCVCT=M87wffDjS; U&۸#rcf UHyL%⩭^ hbz*o`"y-0Vd i >tPmל͞oeE0k>SBv@ Fyt 毂>Ul WL`ױ҉K˗?7Nsb)X$zwUo+|ߛ+V;ާ C撱gYZ0fc856e1cf10db67512fab3a05f9c16b1dc1bfee93e482badafb7e639b29de5ac13725d8a7ec9381 5707bd92e1887d676c5a1ca2756136fededea779