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 X5z$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.991cpu=214.164gc=18.6677zXZִF! Rz]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'O8J8#lXNB;`uޅBf޳+R=ߎԟ*ogYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬Euqd[Op&! 2m'=iZl_}YZ7zXZִF! y]ŗXi%wYxzݓ?  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 j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! y]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'w9ԑX\!ur4XSmHDK*6\|H(R(3C-yWKuՏ3nqՂ,vƦ(Sy@3ƶŪq$\̹95Olen3gy8qPgdp22vF`Z)pܕoWo7S}| Bp[*U'&؞)/{PIP MZQQJ!> άVij Pa11X"'0;ZZuVOX((C5d!H@S ]gYZR5W)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 j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! y]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'w9ԑX\!ur4XSmHDK*6\|H(R(3C-yWKuՏ3nqՂ,vƦ(Sy@3ƶŪq$\̹95Olen3gy8qPgdp22vF`Z)pܕoWo7S}| Bp[*U'&؞)/{PIP MZQQJ!> άVij Pa11X"'0;ZZuVOX((C5d!H@S ]gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! nt]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=! P۹P@\kp舖ly`"ơup٬tjR*`A By[!!0V,2Ab'+rERk}X㬫wMLBnw)g,1UbiPl fU5>"0fщF^,ծHa,]T@gFK͉f:6khDk"' ֻXLBЮ ٔm6iTD^F-P +hL8MwB'}Z .\Q@j- OD4܉!]MF _)0 *JA9|VT&`dwͅU+R_BAVT+N/Ȱ*f!q?w2 u9_߇oQYcȳdG8. F4[Ad2 z /ު) I7 {8C@6N,g6f:XE2.g&w Y#t1kQNѭ?|t6 Q}y{72S;>se]]1 ,L2PoYc ^wS&}g_]Zy_QOu#\HWL4|lYQ"tkjF08[&7hbX"11SQf{]* D颟FZ\( Sow=~1IVx8<~ƘE.嗱`~ 16[G8V.ts<H̾O[&xXG\%k#VI-: $30}ys!Eet4$*LxO$팚nF]Nn Eޚ\j 9-qѩ'/dݧz$AuqveXx8!>~gJԒQ 3S䦸&QQ fo3D58B6 CXdwHͯ}[LHVf7m֥hTv%|xdDkj6,(v*F /%civj$#bA8ZMQǍrWxh=eHipεѓۅYc2lİNa; ׽PFŶL@&-Dm2h€nَv|OtˆEk*m#\J%|ruDmDC`*D䉞I%v`>1'=;Ww+~X/|uayC@UuqrRm##[D/HկEG(䞨 rVHFYyYa=,pB𿧵Wqj ӆZ#HۨKM_^HB0_4Fˑa˚v"z~ʏ ?8Cջ*Al ]f+[/BeYlk$nNBޢxh)JWgcQvBkx >yJάRX`d*IGjiv2ZY@ύbaLl$4Q ln0FԱ;} ҾZx>_2Ļg$}6S[| p* A& Hku$J0(T9N[VU gŎ)˽_YHj$=fZ?j[Qp]{ouz_\B}%,J;ŘW„6z)hс\Ӡ Qw8( {^ʎF rleɛkrA)`4b;`eGԣR&"j~L';gOs4VN2} |p&U9x2zL>Od(cK3X;TOJ`ȩ(4u5Bdsgxtk' U\z´8hEn{}Ͳ("b-yTu*ڈb+ӏE$Xv lg1O0߂F[|4nmzP%XmF)o#ӭY.)j?8!!-|ͭ +9a mlt/y\l j~Uo߰ȥHGT6Ic㖂Dž)htPIIXZ&_G"8%q czٺ^zhOjZxF<>U纔]E3AA Πc^+q%$!ųí|77n'Vh{)\s 5%6wfkF4|@&Ʉi9d1S `~3WK_5l`D>3fm#-KJJ$+ZiuPr'h0r?ͷ}rB +? i-z1gYZm/N|%0NbV]M9Vh_%ThQ0IJob>e$' 3 q-iͳ ;0Q;o_׈r~ЄT79ߏ+Lnр ϥu:y@LSB藈YA>m|F n7e_rq(KȌe&0һp”}95.j%3^oWжnHDfGZx 'Fkѧ9_6(si,Mxz/E+^5t:mxHV?j T%Jv5404z֯ɱ^`%OPzD>C9^Ę~2ەR>8MR${vRǿ$Z.=[<:L7@kj@ۨt a,jN޿1:2(,VoZsH|=P5! X |h욑ͬg2`,^M抨D|hyUN(u΋5zM[k{'>N3tWLƑSǣlBL Ng #fm$ikS;z8 ~ VȂk?z5V Bwa3H߹@P#ݲxBD2mO{Aawgflдǥ٠gfP%u ߴOz%3$4zal@)*>WO&׽#ח^ Jp-^AU (__/wd#,web,F *֙qG`;l~rs?I-im3іN\6_5 kɠ*>$z°Pf{>6* NG>2~U0Γڔ*hx\~kMZ(Ld[ ;Iҏ kLpߜs"rV{3Dt- (a5Ѹ1]eZtZm)lNʕ8&j+[óg[/T-uRo?C5L>L)>Z$oddHuh^ Yc̓ e_UbuL$@ly4>T7+Ty@d"WǑ3Ma2 ݙN|J~_ff#y!Xb10?(˲'>C@zM(R*~3\K:HBf貜MdYȯqK.;x&Oegۢ?K~g|Bťо1]Zsrx~/sGA6k6T=ғX7 B&黰s72䁪Ƈ{i7ML,eb 2J,FSЖu8 xUv&=OAlF4׮UCaJٓ<@= 3{GwM)la%{ 6,#*s}e!U$t (=`7#?XceH>#hLm:ǒ˿,PlBIһ@u0wy|!tJ5F߻ޕ[n[Fx H&W"hf8 [Cx{H`$io w-q*r\N[HLv_֣;j #Cx'm})y¸Ot9@/pI 7Ăp`\>pp%\mZ;HU '/[S"9"t~9 8QP Zc)}dSmKV\ նM3Jrp77z])qn=ɽ# ۸uRZNjuzG;&p`[n`kcBE* aO]20q7" {EeohQbi6ms|/T+H'15 =X:?[.mGcVu?wH=urTÍB#5D5{ؑYRz%%Z5;[4MP+;Lp0$=axKO ˩̢QR=+f-Z+v>ŲJnl9+~44T$J4 ej c #pǙ?x(%jH(D _eZxb*})O#Lvpm0ƘP=n zvjKWWwbK#r5#[o6݇$wbU ڋ!ȴpw8&D&,+$! 3 & 1zS{GlND4b:5ݵaQj _pכ2jAϥ 8`3G͈/i@o^Ht svR8>휨:4ZHi#90iZHm{<}&m&}MS(1VJ&ߵn} 2?m7?/2+}mG=V5o񽽷@"STJ KIvReifѫ47x@AnvY1Q^h6Rd҄UrD!xpܰ4rq""8gYZ z5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8']#)YT>|҇$ҁP3d<#]{{/+~90W9̛D݌-35l_8={5ADW5C4"6uMߢc|HLp2$P3ծܸfhܺJXW2:xC( g)Ľ3QK.(r bάjKmNaꩽ$u6XV|년 E>!5DUj{i陼MCKFKD)o ! 3mܫ jrh{썓>+w+x ͠PEmR ھwNt?Ξ\; Xf\調_K9TMo'dBbV=Vz @>>UXǬ3-ѳdum^DX=\qN]D 4ڄĻSaƳox'8iPI<zX&ZZł9-3ףy'xK Y>n-MhD<$tqchm8f c^RV]%r~p'{`Ƚ.6ǂBgh:FGA; :ȉZáZ,b|FtRb`Qya/j= axf蚔e2&.=bDe|A43"b pFG=;p.-= lfJ)|w [U(D㈛j}CKž*zgx~ ԣ@Mlh0ZtTImNG}~6*{@JZɪ m sq5(.z gԶu ;,POzuA S^\ 4Ĝo_+SBU8hQ\/fJ$0L%(wZ XD E,v8(@4EGd9fbq}=R; 'aw馋 ݜDufl18!ٰCXB=j_n(BSGX[zsd.c\t9aM4u7tyrNd,mKQhaP˻(U7HYѲ5nhݠ-4ou&t dh }j{ +I|&Ifb%^ Q)ު,1!֍ֽ;NhdeiI%Au0̾0^Ka"xxUʧ!r鎪UVV#^gTg&Gy~X˹>He,̲ F=Ѷ8 / $T9 *}O ɳ2ht2܎+}o,$tp-fI`bǍәpڨ*WFq_ AmJSF2̮!~|QU(8mO=j̝j+ȥtBd͙JED qƳp Z|uWv8Q"6.JV4`mgǃN!v#}R?Q%`TguI_%}teJLTy?47v+ >WhZkGvͼa@L1fr˫0qy=+C4|T)+q̷Df u[ы4e<0>@tnnD0T[T>\Ql,S,R}Pj<&9's{E~<^/8qV} yG[*I!bmYk(34vm~6[Rc9 }Xr9#Ð.AvF*,}J0Kd/R\Ն&a X1=] [CZ۬ƷM!8Tʫ9Vb^u35s!@ R9o#Kws'3[gx:ԫEXS0i4lh*$%tO[Kɰ&0թǢż"_IN`d 'A BR=}\(JOԲ mO %PkKaDWےc<><~ 3>ߧw{P> *I}Ջ>:u˾e)X.hc"Q"ʞuLL}rjQc ߅Ϯ*[=EWn9_w^q(ļwV̙;Y$Qq=hsxbP/h&x{UFT M܇iHꟳkT,mΔ9E4"zi/뒈2HҪZÛZ k>f5D6)./G~XwL4Hq-u9XVNĝЄT((=UC@O.,Į4 +;΂.9Xm@ ɟ8O EC=.*%c-N.zЄR_;uÂ@,yƨ<2Q|0NՀ`;4{ I u$tvdX:o`アwb+/S~mh v6,!P3\/'NVƭH:GڽhjY7A،}ǧRJ~(|@$9FeFj,^z.aFxӞ%{%M0N]3Qd(5jJGSqp-/<*ow\bEMzl5 ^9/h\q'&_t9Ob㮭}]("x}S.` T;@ 8*)M%'+f<״ìzidAbB20'u*/4LYqs5"fܰV{  觳p!|D9<45O뭞Tsn4Y]Ag1XRtg&g&f"ޔ0Ι`r_^[uj%1teB4AyW9R*-&+JkTc I7Xӱ1J,kGO&Sg/컺-kCuqx *$`8uW O[mCB`-8ԃ! iu\"BP V 4v^V[߭Y6Rl=D|^R;tOȼVm>Jnxs2׀α#g2 M ` Z7leƥݵOR; ko94^ $ՄIثCYԤWQ7;x\! ]#ux.qP< |I3>JlE:DF(Wv.@OuP`l dɹB$\!ݳw 15D,Qц{ЯS>L'lGŬ{3׀KmzxzA}``;ȥԛ[T[θs}P? c7Lrz`@dg06Mah:/[WX\蟕a8'#w R`dmR,< Qz!{h%K&aY*ȏA"ǿ}.b%؉F]}7ǰ) _<b#zK) ~{]ԬEţFUkx㯾%j6}Y9<o5 udLsSyOcPljvr2n?jWlD))V 2Ò,*m2?dQg9"=DqõF:ܟ/rQ hETk )O>7P*)6I[o`/,rQSĐ bi7,${g&@3JAIlwGn.B*3PgWNSMEY9(Q"xb2C0'qҕxJQpP^cz_ݙ9ylj *IOPǣ$\Ћ O3;:c?c6ew |N5X'v Q=Xgb$Z J  i*g<ȿyuL*0G=`$3-{so2 u/g?yDk3`RTCZtŜ{o-A.s!mѳ >qE\(8!46B7[#Ԭ @L_ [RhKОx,?G)#1d\O*R{ κf\svΘ"_q t_J`ŀs4c)'\b :NG7OďvX4YAYig$ b#rim9oe +|NC"::ʯo+.o`yW͵9fIL,x[,#67Qz~EG6^*IgUppdM 6TӪ$˿(RR7cV2ԯTg(HSЁNv9]:P+Wň *_-)ߩ$=Dˌp\H/^@oBň^V(GڊDM|7Tqv"uu]ӏG\oǐù/\ScT|W 8e٬7F֋0) ]Uf޵  "ݪfX Y 0#ۮ!VJ +C͜Kv*S_ 7m0|vƂ4%D+pRO`V0` -M|y,9櫛~_$wn6 uʪk&=#%Pk \#k#}Q/YR"_VDd;MUQ;YP˭ ag@XIm-}$#Npr@hXr˯dY{I]cµG:%c'z , sZc)Q+ZoM[FaԨr2\DZrdsϱ 9_0(cZ;l2n'2W/wsbl>녉N Hh|(Uw g$ 9; tn!j ӘS)YȖnY7}v/{\2΂ķ6պVx:6;O-b#Mg3y'%_^ٶX/UwfӦoA$Eҿs.~.necdNQڇ^қzJs"NJ!vԊyd&y0mP@)LUl+01ɹ=RgYV;r XTe wc$q{=Jm0,p;'t|SX>M͹/h+n΁pQ)^҅/f_=|9E,pB79\{&@ڔH2jFd Յ=[)QFJX\ucVd5|cQr+^Fe:$;ҹT$@@_XΖ,xr(|o[e2ݘm/uJdp;}=|o@t9:;Lz.DGq1dZLkX UںjފZ!I]3cn$-?i+ z`sO$#b*OdЮ7ATQwGH0b˳h¨?_#ƍT>ˬ, hww-fǝ9V2]Pv,VVWW,bČezr'Fsa0Ѭ3Xhnb L;6 tgX!kkp-Fjb: r]mF |^'_MUUU,&=9`ߝ#qn/6R %7ߕu|T5ry_8zwƒ bi?Uq4SƄE)kNx /Tq/&_(J5r~]~F0?n֜ _x Dk(ׁ\ ْ"_XEKc(ߥ-aoib=M"[tMh}aIܫ[D\&Y =KO1_E1ة3DqεNU+Vm囆%'N{=:8`4B.81ZݥN-zdplaS%9y_r;Qofc\XW2S,`WBr++CU7YHK־TEiE`MNHDhT"#o \_1+~4q 5 Uj$ݬ紕Ć[ JVsY)Ϣ]gιzcLޙn+0yog#=b fG0W2aR'-A K1[F=MVC._ R9<ɏG8Hg4j pxuW_ ;)V"v<[]5:ٰ90wȏT%%ϔQ]H[6Ķz#Mʑ@| x;,f*O('-`)M\[N !i/\n%+K`jbo۬䓀\Mx4D ]ja5|ՐRAEE?!傶)gU{@$[b [f[Q^uJ.+A;0~(awf-x4[BlyS)/fku*$5ъ$mGeSX7͊ySP/KxYZ.U"z`+b**\ *a!x9[*ej Ju?zG薼rf?]3C^$g|`lL b02'@n=4\kE<uk- hiwShط/\#dPOKv n|R2γ~DBs)w]ċ#3}@,Xw|7ڭ}v 眲$[UU:pq}+cӖ=^%rb-4)RWsm۟r{{4V`2LSx}C8)\tl)h&6[;]/nohow"wĸe72WN"xF*vv~)wE~T$xxmN n5:|GA#qzsQ$O.21,kpyh5|Q4 R ?,I'Zkˋ24_֣3)&?utb}jd {k'%M y&*N/# ]7[TsIԿ 0ǗEآ\:IE͛,O^z?3VAHmŢYSStf N2]䵛Ts V(k[;F] ʈ Ǝ0I%} .b5fjviʝFN^<\ OQNu?Ҹo +.h8\э\F'{n:Avg=+at/2lY3D8:_{9y, |Y lVvPHwf<_[0'p .c&nST+:&\ğ^VilG**Ȥ8B:>hd8%5(8D#oßr,>CҿO&\FJ QPU^`y}l!@NŸ49u'K$MDgeQԧwHƑb^ sqXlY a~a,}*863+)h{:`BgsХð5>nL>I ث~,VJ׼pVlR%>\Ppz%W+9?]U-J9㇤\5 I3m kh"Q#A A3̥14K7\ƏH?jJO%R롯ROhGb kk k> ti˷B%mQG3dӊ,R+NؒҼDB QC2mLv=ݳT\L}$ 8#gVMn='.K3Aa佺j)&wޘq&8qpWLo ng>8b2Iqc)M ruɨr 'fMJ`{Zy.-k,:|P *uF0G#㷋 S[߈CO[6NFVzhiV (G)﫵:QT8;?!p 17mKy#g"2uԱd/:^v(}I{Ťh2Tבosgzj]+6_u>si)}Nh9nr%Tⓨ(Uv_-=R#eKr@XѷZbAYK"!>Ҏ漿O[U:͠xK!ߪ ]{Rbd X߽욋UJM-f1q#(x|g5VDiLO_KОd+dp"ծt q ^38% dyu/56:=fcYqnmB|sM@6),%\i1A5tbʮ-r.a~.[711~3D!aó+ ʖE;-֠_bwz.E{ZتցO7bNNW"'J?=4^qY+ {B״Ƚk(qlńFLZBcҔ3yac}uClgXR9!+[u%E)7RSurNI~5TP|XgK/ќ{YW{j.A ӟ!1Uk|{|wj8@Si eVQW'QSD 9M7a9(maÏ= t-7\W|ic[#P7__;"s&2(,y)*r c}/@$ղR6hQBn;T@n!4G|lAxmQ4~lIyHc 2 J}eh& L[qUѨYoY8̣K"T2m[boȪъRˬBoI{WS,iK煛G{-WH} &@R Ľ'+o_ ".GY;T*]?"909.GR c_[J,1}̑dN隧BOu @Xytah;(mX'iS{kd[P,q|)5*T-\uNM ̕( `$}AOv/L9ooys [=v^(kuWsLCy3(Q55=s9رYme@S}i뻪A`πSNI; lXU:/{{G*+厵LfTH 2%#X4'8`U KJ$(ߖ-&^5YX\5FT}&>uArH/(R.iZ'MOi ;x|[2 5Jh0l,6Qq5WgK[4|!^|z6[K;7g8c[Bۈ= IWwNOvD66cz |=" F (4쾜kE5wFF>tWǷe??+7?l9'%~I:LF" =z̅b(~3.LT8 B!S ?(S\a%|TK E:8Feaݜ㚱eXSL<8Kae~a|3RuP͒bd TL= Bš3 yh]{` zZ0OR R j>hxE_:'_vt`O\V鄗m5 e*/KnФfV^w )Ib* /iNV#%Ɓ6G=q=.UƜmX&ص~o%[Q<%N,=f\xH8oGW`}|* aEJ56G$n &[L~u%I<5sI*cA nf$NzF1ax̮"D"SW`1%ʪ@Nم mB3w=2f(w&%z4hW59'=\A0Tl~{eZlH*ª"uUW-BU~EƧn"%ӟ!mq?=]rXK8w'R'%r!(nEJiEkKr&_%a#XR<6z8(uRT<w&׽83\s?eQ{e{(LE?*Z^0gz˃R(Yjni p ?6|0PBF y3@ "l]3;'U9T)im o 3Nv9F JF2pOKrf{{' O@Ǵ3Z"eBykZg{OU*w oWu~bEƩUQ+; 5Ch NM-V¿۲%&J#r "ѥMQQ`.E\5#*ص6Ղ" zA&Id~ҴbML9 ާw$FdMˈ5Σ"J*/ƒ9VS85MVrP3xM'p& Y݀@LݥANFHS݈\ fMV6kL&rJc?ݪ,ij̕lzl;1na wPb//`iE~ rօ,:]^ F ln UJngW_5+щXA9+t_0WV>U2IP΂ yY4 dÃa۰JmL{2mL?!p%^4ݡU(G)/m(ihFKFQ,UZz|l":ѥ0؋2T>8wa*.AKUY^X=;w&h$aXԻ=qgxJa*kҟ`SdئJ0|"jH#> ҇zvZQ2L|]$ 3@ICӿwԴzq&ux& i!qC?zTw"`^y@=D(r Zx>Vt _u"QD^g&[4(SI;o;ӽxcVv t|;3+x'Lq cn+UٻhjNhŁLBV1^+gX<'t N-J=G:,v _u9 F&ѸCYi ʎh[gֻ˘ `r\PI{:DbO)i'Ҽ]d Sm=o J7'V#ߪY}X& ": ]$|r' 6}Gٶ%a+foj΄֥toа 5To$V=k=e)!zg# bβze|]#sgYZ xxu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methody 5W# dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸNi]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8o# :Ej|췅Sl$O{&f ~Qp|eLn+B⭥[V+3ޖ@I_0bY 7˸#L| hM_(^ )Y E̟:`|Kj^韁nraf3_h2[@j8q-׏]سgjhVI>!'ja 7 %u6ͽAF弥jn ??6Ku1rjUs^x,GWmW &&+.3@lS0M&eI }Ƨ Ũȳ ?@YԢ{hVdy~Joq黏A%}|!V' 8@ r>kmg,nJEc?b!&)v c(aD;s^` ܑ44V]T!.HOTFM,9Ћ:Sns$%ҽVku'vwgGo݄!0(V@V,uIP@}k2|vʤtdk{ijZo(؉SM)gJs0ߍk<% 8b6Fs$ l xfpV1'"[<-û.R ,S=+ռl׌ !}ipMi] ^u6唺98n԰5r]xgL%JIES.a`g,S,6ֱ,J}%U;gN?,nTJ7!u)?v]$t߁ t`,vせ OYfRWfEuibP[!{]}V yY'c&B?t2YX 18 /D'x ='ަWb{>[NRJz3CKmEb*H>o<s:!? 6xL+#=\+ 1uY)ošRγLZEX  CAv"88UP uL G"-H?XH曬#^^gS KoLQ$Ć+YzC_yvWC$ w>R":W^iNGU?kx ɪA흹 ,b Ʊzq*JJ\JL-H~Kzh CS}|2.A%'\sS #[9 S/ yf|͝\5Qb\)3m0P8K<)0Oa+u&_ӔK,Q~j*a`3 Af9 1>tR )|eGB^?8ivs38!EYAW暓QCDMvn\4a=$ȭP9Qf{($A0~(@mL JsX{ [E!.\Z:Ԑ;2x2TC~E6qC§pƧ(K]7K6_ḨnKA:n>^v7W.>h]vH8y$X᤿$$H c&AĵdtY{y[.T\KxM/Mq,NV hf^)$^U C9MhrM2׎^a^o?j-;JɆ> pw 4XM/}Z${Cg <;z|@=ȠkW]N LjČ{i?3D4ۜ$Y"ΐDEkTn&zyϷ}=6>On~<ʢsvx庲0;pQZAkv'M$q-8+[@s__~ɝtQҀO} f.cq֝j kBa33 TZ+ٔb=12 qXM797(" v.; w搧K,χ*>l{P>8ө?~ P?A2Ƣ1sU`N{%E= XO\FBzVOƍDqECq6lTc'aп"^wa&̊,Эp;C-3,աo ^R:\y{ yZ `}Z jf A7Ēn2>yB:ZoeĄRy U U3yȀ8}v QFi;8T6PuI8B1}`+ȓ+;FÆ!`H:/dD =k눘GJCJJfгd 'YK(y3=s/ХBs8y*yN67|w5qEFp't`G˸ p?.WփrTrOB_ܭguߠϳ!YbA6EP*Mt0Կ1ۄW۵iNo}esPwD]o~1*y9{bN \iLU]"ak⹃?mO&WoZaXB4~MgkH__v(_p JwYNxucp?W0I%kLBG 03fW=a$YNajă40kVsVwHo21IGtcǧ#tC^l򛪮̗0095Wk98&P1H"ՐӺ[=MlgJt)Ce:kmv3$pw@hȑG;e5"ytE&8YfKn(`Z(<ıpwrWd(Ba8Pp0¾O>K,m&e*#Mb<]nR:4bХSEnh-hI[]mW iߺs}9PZJ^ѿfы9`B*D;З4h~l4YlfFdU-4Mv3XV`juGJP+>sPÚzDxc*'% sIv C[|h,rz]+ʝ\8P m^T>m'j|pס=v 7Vc}c+&ò bg-gSoTڼ??jM5M}]w?fxtz>8GB >ܙ8NSwӠ;Du9] 2(dpC̫}rafPwsS'.i0yn G4qG/5B3+j} k]njF+ƛ4p/BH$mPKc`QdH[R>!^8 F8O5Ɉ:nw|D+V/z\!$:>*~Hw浭O;%.?%n" GS$qex.~&f8>2T/ K!ē[--YJTbaߛjE]'#laEhx [ݤHrS)8ivʹf`1znZn b$46dVղa<, G&+ɮ\U)bqs@0`ciZu'9:)Q.u;ɧlQ\߯v?|Y.:: ˦MojcWO%.*E5=6 (H/0bI-īXuu!_s֓7O=.˳,irTz~׸X 錹nZܛ/JG!f Ev"Ǎx&*0M'sI*ŵ_!MF9x/lmz1!*Zk,UӲKhVtK<{vO+{5rт6ṄC u̖hF/cK|c^ Pd޷^G%lY6̣Ž_jըgL ٱ(554"jfF}jWW eB/#>vnUxHf~iS;n3'oQ/ʏpl}2Xz7Jv"Y;0u{/`C iD#_G& [3vW}qkOno&Seu(%R;tα 2"tPT ZIiWZzufwC:ؤ$iL]%v" Y^&-Gٯ dJ?ЩOv-MoWPcf+<=lɂ:ːSdNa$&-ɝ8aĘ"ݢ;\p^,A?%ֶ:g5ݡ$g3Jehw=}-WQο mW@srqqAS#j?<It4Bbfjdʿtvx9g8X(%ʹ}.RR|V)2f۬Q!&l_à|PXCΏ@&ϵ:ϒN\O9ta+ Tw^iqN@pϿύysr] -vVu%݉a]mw]`ҡ5 1gYZ J 5W# ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oC^@&O;۩ K& lzr7BUEZEAr}bȌ=kZ 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_id236V5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8L)mk 罶@ o1ՎVv&t "( ? 0Y}BѐQFGkQ辁w[Ƹ ±e:`+OtILҗSп%'9#C, j7fKw"lcאÄcnN+eUb"P%6X,Rf-xK7'_}5I5v#;C>#ֵicO+ Ǔ1᫾ETy75_y%niqG'mCٳjt0tb͞\8aYr+xjUYւ1D`ZLGw:u2B]6׾t!K>bFÙѪ٫\fShYhL:ԝ؍V&Wa{zt%NSΰP#$2' Qq6Yq+:]j-1>+t KҀ5d. ^nB.`5/ A_Fg=ӧ1 "dAT˵1H(Fh8q- &-rYPLYhwk'ENJ1Ϳ3_3C%`XCV};:pLgKv8VG, \.]DajyT-m[p|LdΣ1EBɠ-7bKL" {}]3FAtN2804T7aN&ܓ1?.q llڤsbDKgz:НB `gyzd$Q6\v9Aiђy(͕ZE]BRtu98eOÝvBr}MV l2IZbږu&q&|A߷yp.`|ݐjjoP~Ld LR5c miMu#jS't2l3l+Hݕ 8", hVs"{PC/dbk$]1W{lyqZ+r֣WFv{+x8_sJNBWgq0:L!EGuY=h8p_rL`Qt\)>Uv4I7ݣZ* T7F#ugOV?r05:Khr7tێX|cM0a!ȨWyG<&21AĒIJ6]sR ;uy xrR7j!eטsص;Oz>h[.`(R HF5C( t`cȫf)̆dYdM2 W|# ⮲Q^ߝ_=9CaLβp!ڀM5xEsRx)F37ZFM{~W,>^ 37wJ2~VK չJ֒f' Rabb': F X:P`(2J$6~Aua$ϴ@e۪7!5 bi8M\HqvG?}0 Lj(m?#J-1%ED. D0vAn;m|.d/h>e)<>?#Eತxܷ0b&M֚Ꮸ ,= M uࠄA~$NoBh~oVD`9R˕/(љ-pk8FDr=K\cz5~2EWv3Ex'  ͧQpdЭެ7#kpO??+bszvh̬Pd6m׫mHdMVobzlft-mdŲ)T{䡻[}dOe.y3-t> e*%1ҧ,mcZdi霳#vM"7V$Íං,K ӺԶ rml5$fB+]\ߦ'H|̸ҾeؔzA-Lk:偼@ăJ2}K|8tx|Ph*z+>3\ؚWy20 U^01lTD }_6.'0 wKW&㮡xfh}A"mZצAFDIp-2p<'Xb6v=IqyOUcPa v!ZMRBwԫ(L|FiÇ'88x`|+ eEQyVP%boB4*' ?y !s_Шkp~ e'# rX2~4WžhobA7*B)~(j&C@NTRAs53 hwt‘moTC.r]IM7Q&s=~Ӂ$=Bsy.o# P`CEyS EE&rftq+W3Yi q (o<%L}SʻeR'd)Yyh~+CEqؒ& cL/r|N9rv]QRtM/R:r2\Uů d>xKw0T A0b䲱mݕ&c,=Y4%4КJǬ,= 6Xz_7F߲NJil5T4& 21‡6ZDkĄU|V@Gvk>h.8͖vkH2Xy' J巩NvRl{ L|w$\5Թ #CGpv8oe1߄fD7kh^PhmWa7e0]r5%]R)$;;~A֗R= RUOh"TErBS2|g 8[P /SvtH@zv2}Gz,5~]E-L,j9!'?M.56ԍSH)urӰpΨTjʒ%v P 0\#~5 >~!+ta=RPS2v73I{@'>&BjfrwF'?ov%m,9*>u,+Gn&5phms-p,Dj0u!KBp$J}(Vz'abV5^ՇLv~Du C<Ԏ# Zwkc(z|o@ݶZ  Y9/pb\yw^ ;AJ]QҦe4 A'p>|V=3\A2+/%3:͍EEjEVYC\gpKjI2 \THtr?fICDYV]4#k!V͋kǟ;'Lg<]T"aƗAsЮo#c0""ڣR)iOrᖷ-At7 ŸS\St"3XV bWШ"z(xS9Tu%rǺ^KM˅$R<;fb @\V\^#_Շ{>0ߚSuWJyQ^jo#]~vw*lz/kUv't3ÕU"+b#HH6f^K2O 2?(>] E^16WQ/7`XRG{4Bb|nFfl9;JR=sO3oUgAk;{dfy^`6-xDl X3m-a-(!ɜtvIRFE)7UJ3HM^xynW4GwMRv*J(jҊor +psɭA}| lbeEK*avcM45_q>M׫dq0ިEys4HlM|2,iVٙ-W97ty_{tqk:%4W]!ؑ 3b-/y|žE Kɀح"A8Cf' RY;+qO5MP' (Vp telv$DqdM=Ͳ~EhQ )9Z-a5ݹV |[auP@rU!meYsVPETP ' :>̎IawrgX7(ƗP_d$],x FJ ]+cJn҉9 ~9pC~i.*eyKór %LY&`apg#7} ,PUD0=;5іGq0ǔ[_˱gYZ޹:I̼U.da19D|m_1Ǽ&dA𥹐o`LH#_yxCabXZp(M07l;˼_0cJ|`}5n/PPk%BZM>X2 n~ĄJ6=Iv%̐܇ ڳo" ;:>Qs}a"=űf4`bH]){H/F gDgl ɭJK$V ` }:3ak+ tӱ֍@1Yo5$ F)](xh&$p幅0_tT)=葒~ Dwcg3~%B&%6dٕ\dAl[[J*A2Wjڟ"t* JDo ut7o=hO|{LBȻCh('_IG`E2PP,(2 kDDIO3_+>.ډ8 źi?z1G !w\f#`au}qeGF+|WnkY.- =I^^Im19a*'XW7%2\`@zS 7&Bq[pČ!A 1 L YxD$ J^6(fVL֍y(sL Z2>9ߎetBi˩-Pqڲ^dx|wFd]K9 Aƶ~*[xf=D-v%k Ykp6GvUG;5n T ]ņT!Z:Ӓ|qJXMKu?w-;%'З~k#aȪ"@ 9n8l5J 2+(vbM:LN.26 I/%#ٳuKMjV{Dȱ)>Y恏XI_>I?"J0ZE6S a"b@Hu}-e RYVjs["d^AӍ.uAmqJc lfܝ_]~ fX#$8aRĨ l'@?3)X[T!\ [4gbRSgy3p%`аN((A xA&wwd5sHOqqljq}Hx݂\!(2}b5Ѱ l[D'),u0tʧ0AMoPCHQҺrd`]W6( S.7l{W;|}QQoɬb%n7񏬧}AA+4`eIE-.B/;vˋT BiVӽ8a(_LvɩL']جIԠڔR 5nI[N,hs e>:!u:6s0QhQ9kD^=OA(xQF)[/ A4Ry(GDg8 Ad厴x4*H~V<.3SYnk-\$r-*gg(2 iVqr3Fs[5CZ㫴"xYnoO*@8ٲ>K&KSI!.y'GQ7e(W>C*;h1 bxOCГFtGxVx8AnK.tQVu06 P[-Adh3VlHD"Z C@o}O5S57+J]KU0Jyb 1o b]#G!C^Ӕ!&ŗ3ӧˏ~)ϢrNBF6*"Yi -Jn\]ޑVsy-wq4LO'3)YE;!HqJ#HQ%zKrzg#!#h@SAm%+|cc4e>$>;0l!ܞk]LUxya֪ʓ\}"] 25B;e의ZdYX _(;kژ>g1#U\:Y*n]\>WRwf/3v[)zO@ԀQ2RJ:jjEn#IPPjL/ܬlj!y"'*bTVBa{5e$E>Wx/*iZOC^%mb-(,ܥЎjͶs>^_ɕ_lU; =bpm/+)Gʮv֞6va4!գPuo8WDjI:|Cz;1to->+6dlJda5kn@G}ۑ݆Rmw]mk{Z I*  Yf^\^eLwReV}arIaS\=o_[?BҷrߤJAGvf}Za"+n)>72.~fͧOlgiqklV8mic*W~d`O~MmiX"]&Y$DHݚa|A]=n"wKB:8d@g~]&r`1|p_^1'-%K .]1ٸgRx}bW`nTM4kvL_w&(Ez1(xcY+"yd5+0?8k짬lCݝ G}J @LyW^-jve|P-R}KM*aZZI<=RLAxbtEc;۴ns h90dײ#ԍ0RHѬduGj1ۻKh}>avqNlbJ7#57לZ8lA~4d = kP\TEN 'n׷Mp!jM[lj j;J{T VEzXLlw/f2sUOl+T/?O^# e4ibXcu _0& ME)8KX C?D77oo]|Pn*f>ꡨ?-M†;X^ ( { iFA8.Ɇ" |^B`iݓ)ٞ=:TR52Oèc"az:Ǜ]*[*8IR ڬȃ\"V5]}Ir$i<=ܵѩBli=Q>.1Zf郴#X\~r(\'HAWYa&UG9}뇴YVřݥdaFu4kFyK/V4VPa$%TuGH8+`Ϟ=zn(L=_DcL&=F&4Hc,-`IN =Gp:`wx 㢉ͮhG8MG9R '[K r gl^g5o+'U9z{,ph}oOQ9VH3=Z4^!AY^j*"/Z]TXř0lue` <#^y)?z!?i`/:JO׏4,^>ϸOhnaQjmz/ ۝ G_uR<{k{bD5ҰyVFؔtK%rwG=ޤa)z9D*4JB\BHőD rBVgc3pHŢ\7OB=])tAz1F|h7zb=ykzr%U̥q 94$'8rLs$!'4{:]{E6/TOqK1ބNCCإ{Y^ȑ[VzݙOd`8ߣ%"D&*!۔c>jҧIj qL:aU|G.'88B&(QhLN%Gucȓ ^ ՁS<"hM}9 q@ 'Y ]Bv%#윲wW$ƟɦTGbG/;cYH7g7q%4TLiQfܫ;EV{nuhfҁ#QQF~>{&:1ʄw5ܓ2NzZ*mT s'eaŒlC,KpEè껶UQWFluUM6С`Dp2eԚ%C9E3!Z?c' V@?TJ׻fzYy'nI~qgnkT>l‘e\w틠NT:O*ڰSO8> K y?wh _TJ(|l ZA.6jG- `u}m9ķ%$& 0>OtuBpH 9EcNo}tٛTWtl!EbUwCD#%1@SNIpxn0j5,09%؄=h{XcfAjk&ȳ_T^d %HtAkJ(uaa|*: 5"9 E8nLwӠJױ>{c,X+."6^R$+rMN|yAgnt'wC?Cuy VnSi\~iL7q:6ͲC(6PLiO]2'xr⒗p9᱃(8KN0AjMˑ͕/!WePƬv{_ K9}D_:OVЭ"Su8>5%c1rE$MMgpñTߘgAGӒ¯(Ƨ7QRG[00q{ʛM{ɤJ=!Ҿ/]UUt`*&EY-:D#(b99H=q kDݠȍt>U;FG!1(7ӧ[AM J0rOXnTweX {=7\0fbKK굔14ƈ6,cbvWǩ%pRNK?-vʚHEcsK KO:>CWw5kYUZ|;eoi"&8%|1#uUʛYX(vƃP5dgUHY 7^|<ɻ vօ)IKj^4_r^"zh(n(zFUoa ;LB>hQ鿹j@E92\Krw+ 3 rH2=/1Y[@׳aZFgNLfڄs  G┞N` dt4`tk+Es%'`tW*o.Bwo|֗&ay^Y8LxlK<*XoMn1=iM.]oņ8]ujU|(^׺}Pk夝YֺvY9Xʶip~FҋI,h43_;n C ˦Bꤸ<\_z74C^u^2O!TuWkS7pɃϸ>kڻɻS7ϛ @da7S6c`:yTq'am'&M|لإ*ʦAi[ahjk%ZFc*C ]{?2x\y*Tt PT|m"A%V\,XR<6{*a+ưDO%eT`OYXzYc65hL Ñ1fAotsmv+BH_MwքHrPk>۔AC|b: ˘ k|d`$Y"ּO.E&6,PK-o NydNaQQ$DŽb!>gGӮӨR~V u 2rå