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$4 ]/ HOL-Record_Benchmark:threads=6elapsed=137.872cpu=214.209gc=18.6947zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k' zKLMFg H ٘Mdc(P9~*Eyx+g.a%As9gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬MBNLׄ"^_XaaWXjl_}YZ7zXZִF! ]ŗXi%Do:w m 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! z]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamĵ'8(= (;qB|L(|`v~Ů,@,"QQrҡ]rO -+beߊ@B:OjreqlͯiGtqGNR2(RP0cqȜxQA_U~F_XBShީKԎ%(E~D{B\y0 B?fDYVe!+ِ#CLӻ[7ح *8fN@ uvkY!۱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! z]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamĵ'8(= (;qB|L(|`v~Ů,@,"QQrҡ]rO -+beߊ@B:OjreqlͯiGtqGNR2(RP0cqȜxQA_U~F_XBShީKԎ%(E~D{B\y0 B?fDYVe!+ِ#CLӻ[7ح *8fN@ uvkY!۱gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain J5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mPF i%N- k6o8Zhf u'0g(4V :)|=(G(neX0UwR] R ߴNll&>-ijdz}K(6ЩO1BBLRx*ʘ}拦DO΀ ) ~h?hy׽%^ϲIRM]EgY,LEG= gb" ڜg!ploɗ!L*(,Q]?$ ޼h.)o[wՐŁ=dx9rnb=r<pz ;Lc~9v@׷R@kb()IfY!8ʍͬ,NOub'μI4NJE58\Cd֍Ppu^ BXWJLlM!h6R򷶬 !jGٟ+ŠrI{O |]*Vɋ(}J !)0EA|&nM.QC,Š &tphy=@XGwa}iKFԒ^'ߨ+el'j,D,vlGN<A)eT7#ƤK<2B -C<;ƼU/c:SfU9¡(^CʆX 7А5'gaYFvcЫl=riTWJDx @ @zUtւ2D[؟nf1]0 CE?L2{U9ASIlb_DC6W_Z]ya^1i H%0lxUf*n;엑/i}~w8{{B\!^9+_D7=6kb(1ԜYi3=cdQjIu#KvvGoDj`ݜ~d$Q'f󤶊bh`>_BD0 WzGAn ?>w˜=:Ը;3ɼ!\.@]tCJ[ MoCmⅧ|$.YWEgi# fџ:c1No|m"-znakwJCPԻasցq+Mf\ Hڳ9t{SQkDJ5G6J ~#+w Q+N+W2*J~~>wiۦH[ ЮU]|+Z-F)\_CMh}2lƺx1|;tATTa2Wgo^2X6rcmcFBXs7RpRzW H[f`j$zIUvӎ.ȍu1rLWH#OҴSWdmTT[PMȏ}Y,}}}/[gHG^t0>>k1~)cr 84|Hj_80{p2ծS} ;oB< 9|ESƠ܉:{ܸӘ=_hV1N)b4hOTsi4Ct+|rШ\hn7XDq6ǡח/dN |C+9BYu|DlEINb܄#6N,HT~=l?WzzVʯ(U%!հ(iI&la~7rjpIBHuiB=W*F7TSk1W2*/K|D-kʉH M/ٰ<,">HRLc_AU{}4??Ū.oiT:NȓKhix%g ]uMŇ:q*9=\OZzHDOǣ j'C{؜ \ ]>؝5V2|8AN<s Gbu#\OL^Wlw)K`~-Fqڄ9(F~PXrX`8-/JDz3u/oqU0͎~qzN+X_-f{gޥ* 9 c՚@H\y9~!E^ !?S3z|qƖ*AOfb٠ij5iW\ˬ A%<ʛ;>6ә년I\2dn"nxmXv} 7At8@ A`o VNaMuŧzD= ,Sд/A][3a K.` ],K˳5q' $2\?\l "N =4,:R4*ȩܧ̆=25{ܼ֕!-w˔C">%yh{?LiXUSKn4e;3V0}LfRǃ勄]|#ؼhK.K#@h&Aִ('fw(MѢ9qZS`kF+=[8ҥf^!"^.&SxA!Ej3;ǵWx&^s,@[;/+L΄ב2I,!p'Q(*v} $ OæBuh%kк* dz(v-i}O>蓧X e~fH0ensr#+Fj -v pX*MoW.~xC]>zs ? m[Sq,s& Kom_z9AcKfU Զ:^RBtA4|ZUx0 &/FF@J{/aw0@֟EN圢NZ_acgI $\UJfuJسeק38$-~E} `4萬w@˞XOND[N ʔ`>Plb@p1/Y?Cޣ!;1emλ*P~TZ۲TI/RtOe{*1C=m猪<:MY0['=f۔e59DZgYZn?ƋY}/Χi>+aZgkiIt7l+}+*Vk?Tm~qLjt.2D~mE K1iXjAݘTȢ#){5ݦXgnmłV? rC|Z8DŐA(U+g1L ߂ǽ^M;W.i@?;7ʹZaV2[Q&jN˷uS[֫9j[x~u& X#GW/; V_H9"b/>7_[ sjEƭqp7u'ӇTۅcΥ{d]MWxS˄ݤQ7u Y9ݏ7U Y yjzW Zy6ӐOnܰ5pW-uȻnQ4ƫ7o9L%+X#OMEoH9/yp!Si47~BژyH0;<Ę"DTSb0:lr;@FR<Xp:~mi,H倱<#h:3VGɚlD],1\%Q.XpuP}q*9S =ǫ.)Ɣ^~l64eRYr %]6{8ǟĮysv?9џ#yr\P"4"nZ*`juƌ{ cR"{bEۼ?p+c#΄iG`58<88:Kr]_uǠ3_/?mn>`N_rkyH3k\ڵ+$)'|cRk MĚES Fv3$'O0.ɷRF0M򿙊I)|E%_^ 2|1b~ɐrϰ'g=mRD*\ަ+FaM:jc!<'-L{swKNA¯g`km$vb~Hi6ENaߦN!8-ߔbd8Hed #kB+ vy=-k2%7˨FqE_B:⺧ZhTFX_e3<*DKp{iXrvy:{Sp, }vJbr爔~9'b_ Ȯrt#<'RH\V0=]Kn]8{i{X)PaڜhLF"1KUw]|٪я9*ƿ] R5<*Epg_&C \J6ݐ[[]O$L\l&1xͦLubjb̈́}t_zAXz>x L re<޽IԲBo/5Ln=RtDy1XUn/R p:ʩ=`"[(ֳڴَ&';5\ -20-1M7"r;R ٖ&.;Q\FӉHkɤ\ S.`r]SJ<0n5:'mTcD]9`LQʼnv# s8;1|ԡDZ zMi@8Gc7zIMkJؼ'@'ɝFRJlMh{)R+$wx@OUTC=ueK_}8 0P=SjIF9F7 iR"eQc^*Bf"x YG5(*jPH?wg_q&ng(2k+V,u#Mí9ѿc֍Qق,14,%K2hp*Mq_!-L1P_e~MmY1Dsr: uFld IXnYI͎Wy% :2c^P2;(Y8&cqC կ_>w* %+]|$>QD}|W-p>j0jtyY5#߷{2R1F-mwV3J Z8;Koޅ:_Mɔ⤲q$bT"xH."E ೛,aۄeo/^CSv`6ċ_w~Q aY, e?2tH)9D:ȣ %Ւ|FQKH.Kq) ˅0Rg;JB3`z57EF yM|W=# h]󦙨u%RjK?A>]eO$}w%cS6-js߸?I;pUIW^y;S+^!7ULsrx h Ud-@d@+l5r=nvg|]<+ia㌬˨@ mb+_5R66V|aXjҩRټKk3HQ )bƩdF6 4efr.L^#Q=$j/QN:f>TqI6oJH6&Ey |(C1~4Ba7@\&"Q++z6rF߷E>Wַ^7Bm=pkuVG2e: Q'TIԂGRҪM-oqJ_2Ř [uӝtL!t1LP{BmQޢ{d?Ya1| 0s籜9卿]Lg7.tJ&փX(JD%J7<юQp*8AhQM̺W9P7}\$s{] O PȲ! Pku] 10[=i=H 6'1[]cNO,Bf$R9.a`'Xo20]\WJdGI:-ybEcUD;$;P\V>/Ǫ2ܪ͍ `zNxTGtDް(^G$Lt=D$E 5pt+kFnIzW]S{IQ~A75RAC7Vf^L0Û)ld'z**f'.ߜk&2)a_o 85mr}OF@C YiAg*D̄wm+xغSPa61BY<nKа Y}Ǹy\0;*9:}b}NfE|~O@W3i.H ǵV8Yh7wf "&P"hw .˹l-sKGgf۷.uFVޱghdq/OaW%鷻c~>%=\.{7+` f[M # F5 `ֹ9uՃ̎$5 j]ŵ>p 4;ZuSip~cƙ ۠MZ߉m;  7KE^{${"McQm:Qر w^7:m˩s"":̯)'y+ύK̃vCQnp%=aS{&@خo).Ĝ:N~K.\"S} ԒΙ^U҉g+@Rb5q]'kW5P&RpkZ01ZFm=x)[@R v F>Npʩ`^8d f3RE\˭WzRhZ{5^-:ϼĠ83`Cs 3oBE@1R&8r&{_%[rscU53Zޣ!7Z?@伔 !| 휮|wb/Q-ӯ˝ -F剓n`O3$.cRLmYed1 [k CWXRq͌ kROәDr҈|w:w] G  : LZ|SOzIrz~;IIx!D}Z)z=K^:Тմ6o~ Aʏtw)`15J<4Kc7{dM(wBsD}.7@ z "f EԁfWdH<aJQ,8UG}uL~NJaSR=h̫ҷރ. epCx4U۰ZԽh#> V$$&2}X Zɧ=^Jh)Β;"H'q? IT_a)+~^NNy5GS?0w%oU7sXr@t2,&Аt^z*qW;g}7P5 $F`EuQ>Ⱦ0@q 쩲z%cL@-?K}ث] ceq~? k5-߈u5(_RsdDp*6k]nmol{1 VB1 xNהvH;1j7/K:F.APIJIͯP4$pp2Y6AxPf䚝:- υҖhXZ0&3kDU byEg <( 2 q Z5W' $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|߹q=:I((xrFsAL”:g9ZVP7ޅDNDS//!7 V g϶|J.2cִҝ{Vq)xtY%-Cu=rW,+u_HwHǭ eMz*-L-}?TZAnF$Aߔ5βB+-=^Ԁ  T\dz3V+\qh1\2b9D GJqhwIB."EK$:e@`/12,p.a]< !3|:䥼xTs}ǔK^kp'% a Ytvvd:!vW[an1P/zSe%9<;Σ,Q6I0| K۪L{)yܨy ʶ.Nj+6Q$N D;?tXBy,~[2ל:΄ Hq9uNOJJsKC/S=^-f36URE;Ej TP_`9A;gvh8w"^7م PUQW̅> 5uc%(lyr_ޡs㔂$GQ7:a=|dE(n X&n~ߓLAZ {O>72Ҧ,M.0ͳ_!! O )FT%<sh!ۧ|Aj'4-U8>DP"Q3`@8l'!R+Tu|?MR*;fspw?yi˩ l*e"$L8Ch.{'?s {)UQ[@slm6@N;r6MrϕH9#fA$0j]3~l|.MEսfEzoih;fز2-J(,IZT{f-2F,o[o Co٤ˇM܀6?0v%ʍ<8ˀ-L<)^49 -8ȹeS-r`_`K:2Rt,M>k6UMh#Jx3߾̽7i-N=$O`@%B_:wU$^sY*72*֊gytQ0wB {|ԅ5"dUCyw֖3ZDcLpIoE36eZr5_ݎg\gh4OU=2 Xb%\n v7A'*j_ 6{|qicXxǚlfa>lX Gʤ[=:\_%םP^{cN`?Aյa9Nm*=P%z^VS4ܤSj;E6so CΪ$WtUy_y3}'TYƀ#T} Fs7'+(3Z[6xa*K?4R=F\B"fA\!i|MJOȫHd'DcU=n[z`|5Xb$Gd* daS 0:{O-F}вxIL7w`r ǾLf[1qK]\)hU@s@̠<  FۆN%JUuyߟy<φ hF$6 6o,pN|D4Xl^ \~L4v=d6Nɪ1B`PE@A?BI {WcJzS%x,k1)$@Gi⩑(U.G4Pu*A9,i42QMOʝy bJ3uTڣoqigܭ\ #٘J{yaDY$fVw EYIm7ͩxC熗[`~?O3(-ZPsi|cl!q 6>!Cʟvkxiʒ} (|ˆ@z}OjpIR`BD/n'0Wî7|ջH^҆aYaeh:Gh#%qQ2ܩJ'Lv٭_GT^-y0k/|*Fs?jÃMF]~醷Q؅}uD馪wp+w=E*6[s;}Q_ 㹪QyP+Q$s*e#юS/(mq[} SmQg륞ۭ\wF} W]*ƀ'Qu;8D qU˃Ed l /@/>53 F*H. yqpӳ+! b%+9QLZ>~;"9%QO7H$,?%. M4sCtH6JSe{[3K6*l4_W;3FhJ?3bQ!fF&(-x?/~F` Snӳvl(y0kE_V?weTkʆ;Ooթ̫`'}kmTK6dlo6, mQ =ߟ$6`AWA!LE\zs\q\')>A\(g}*yj}>$Ʉ9CHMG?aʼn8kfӨ$\([ E.}ZˈC79? z r$]J_-]0St@?~X, EVo$E11bElH#'RIZ(>l?vƳ!a% 'jc)5ܗ&iH;r0Q,1v# %#\&i#CyHKzZtd*׋]s3k$|o@7?Y&x-iTҚX60sJj +jkF,avtx~K}>x n#dfOd ڡT LJjw@_0a0h5)G g׏q-G  >I]+iEϾwuq=0Fc:8~޳7*_ }?g][q/KV]hgO GTW-rwo6(oW{Q3k8 8¾z8{6eu]WqVskqu.A d z=%k&evca!AFoǹ0)fet7`g\.mZi] 1;Mk<7+a!`*9!&?}({]Q4Z|K;7#[}+:(݉yV"x G<=kD;IJ7//,2o0ChyiBz7x Cyy0L")cK~t7d0 |8G: ' ce޿bbyv~wt0x^Wғ4Cӧ.7a4v5[UQ}@7zWKW%ϯ+[s_,hpB[O1 G&rm.;gYuRn*`w9=qJ0PoTdh%M놈`aQ\{w4tdCZ.CD80z" !bJa0cs<).A(9L|U"lH]iQ9׳o>FT_eg;Q22kG8s0%۠輬 +r+156}4:,Uz^8}8O rwz5 ЁiiX̓o%36!8trdٵj+ SK_4Gz,(Q5Ԋ@{u]d9j2NH1Yu1Dgrq.3d_]Nv8+ "=uAldpRmه`wxNy,kfE69sAJZf>r%b;C=]C*q>k|!O-l0WLA< O͡¸!H4i>]CKIxWsϠavoxS3e/TY41Vk3w U3M ɣ>A zjF %g94 DW%,HQsU]/ ,ñRŊ/;.B((xH _Q~| ',[wF2M#~!'~Jk-IS%h,^Sd"y|9wdSp3}"Im&upn/\rH|yiIWeckeU&5*0M?:SA.;$T`5ؒ;^).P-kwf}8H|4Qj[ܔ kyR`_l)hRK7|As{ūiDN]=5BwmGd%m03=j,;&/PA(H<<w<E 8O[Eea,҉Wn (M֎{GٱSdmnchbBSڠP چ&B*t8Gc_l2 /m+e/!G*V (ӄN%-#wzyVfBS B0\hj#[f 0w6cֺ[ kqY֛\4݈~}CLѮz^ެ}`БwoJ</;,S;Beg*+u.2qs>qҿ.=$U8*868FϮk,OQ(֟C eՓKPΟ fRv=;63ehqE铸c҃qaB4qCH|&%rHF"WAs$;]|"()w!Ցl9io~znqp_؂Fz ?d".\*0u{ZI0;Ix!";X0pH t~MR*.\0BEho|Vz10 7I[b w%18i ;uqck iq)'±s ͍JTPmv)b-ϫ o/[U6WF)qE@ӀGnGB'\} 6 &4Ө?($>,飥t -i1Ta/b@fX/Vר#*f=$ ;5i\ c[&ԛ}#yɞ5Ԃ]1®C.v+@NL]*DW)'mfF W0/ipikx,D! w]e;'\㏜$Ҕԥ6G կN)i)%=1qNH9@ۛumI;N=j9ͅڂHg޷LG_́(_ c]Χ7-)c|1vR>M&kQh/l8Q8Ȍ+&m#bmiP/XY%dX]RFv⹉wl;Z`o!-Ha%֐G ͫΘgae;5rA݃ Y'=k@9QOZR9 ..*w5 {.9葨zCXzkV],xY0ܳ'p},.5{qᄉ=]8\atU=gКɠ)h̖D!{a {vŅ[j%(i=+|X?UbmCSK:pd85ƥ!ؑWtx[ŁKAȻ # [rסPx5I^RB'-:mdWN`)A#? b^Ϫ\,p`ľrSmrD,/K\TEꮠ%>V 'յbDPNR^^H F]4 Q2S9EKr_U<#ګ/Uj%tEv q*˱ w܈w̞摢NV/;g/3j%7)na*HAz(;4B@d48F2$^c\T?q̉@OLfgB[ lh#&F׊<ܭ@=.„m}Tm-;`slrC@a^d:YD/.I0P!+bt[Cʠ+dZǞ6TobN\5c@䜓FG3p*cu}Yc] 5 ګJsx+7ME5" MJCGٰgP׼eS0|K5x /~BJKQDfB4XttvƉa[)Nȫ(6d ~_qmsmcC)C"0a7+v?}xrqG( LiO޲3o. 0 p0_ vsЙHH_ f"\y"ahDoӦ(e o6Uyb6V{U/`PKw̝Qi_rSx{QZ N"u,񣑍IVk1WBK`a (^9RҫzD  1Nb3ccB{|>IG=W!λj/I$М< Wp[l|,^ f'4-}޶7 h\+~= u$`AGC#Sqng1jiɢ`B|q;ۙh:WLvBBtƗ)@jfbQV{\;2)iOAoN1dXhvܫ]~Զ[n!}bd׋[fD!]bN7`*c}hGeQv<6HoD م0ڮ@2tg*:]*@&lLdah._geR,<ӹ*sS~%*4m%R`g[ʏ! $9pyl^h3$1+)]U]Q\?+G>brfpy^2DeM∯A\4Q^\f俣{++ڦ=htT?)< k\F]ݦ)0!F߽**?_&{Qp>qEopʩ[t[3|ETU#gh@<*^ʌHBԀgr$h 6%鮞1.9{c0A􎦅%f [; $(Y>3?d7[ g+\|629xF(<S\O\`'jk,~YmO 0-"~v=-5eçJk7hX~k$$"*8Ԩ pm!6թeRG:M"Yà݉j*RR q&cc-:$ƹְ6;"'V΅t| fD5uy*T%r_G1tb9Qܑeʠ{ qtI qA{e kM#6Ldh;,gX$#]@<|--2sOچu%pTE5sӭ!BQ:#! g+=IЦf\Oɠoz ,2,ݎ t\p¨+ng+He2p+U cha" GJ_[7BG=6H0]B̏l lopʵ4h-mJG?pԈUmˈtX.CUKΌ+)Ɇd.f{m}Izi7tVA>t5]_‡Ii&etXW1r$B3RMlf`1YtRa>L$ÉPYGerS2 ;iTh;j/o%u`_)nQ+/ ?=)POQas]m 昶\; 6O5ZEz4U2Կv$ \9Z^wPZfO楩Zb9{V ~Km+X3~T5"M,pjLnѨ)Wsow`ca\o+4KۉFc|Hڣ!tq~}-(RaNN|_"[k˦:,` ʎ(0s>05m|*D'<xk2:ecśf5 j߆eJ| ]&WkK6VkԹsªTAӧ΍'E$ HzQSh_T4,Gu|h^B_xB9JokP糜 zn00MYK޾_<C!QXpf.Pªi[(qDx%ĶF;]nZ|>tD#}0 ILTEizv eU*d9+57 R{3zןERVR_=Vd[:iaPyc= L}-U<W~o[ٔUTAUaԷLdڃBC9(mSt^!UwcIOZi3p+d:F>MRnQ3GZ\"iXeǿ2rWDNjHBk}mZ\{$`G\P pEm![9|e2^dKo5Q,@U)AwXrez7?@fͣ)LH3Mz/gL6ٳT<$4FCj~Յf|^~\u PanT%ӆwjq9@(f! ւ9~T y 37A;ᠱc_ !/ZջWrB0B$Qp2>N(`>) Af[.k}i^ mԵ:s~f<3x0蠁r'yKf:>G3;5E:Ĝ?@ CDaSl3ؗǓp9<3`Cؤ*ݞXIYsdx <61̅??s(-kY^c\l{|ݏ' dp;"x7dye*bc%#zwG;',+0䵈 /{3 5 q*$E'd鸰^:y[ʑA*rP8H |3e;jL)?kNU LepsBN-p}ďLjHNQCV/ &AxYHfv 5K?ӄ"Gĥ0)nnS H^b,_bh?: lR%1 A t`NqB.fT"{CWEI2[+ 6HݗDg~{ Zؑhp>Z\1gִ>u9'\Ӱ*lv Z#j@e"2.6K~/k>+; sD`-?%Q59Kx XwO)ubnz<|? Dr 0`Ҿ#,)f 3K ( w6֏JW+$|͘/ipkA3L\ BO3 qEjQ Gu ;JΞ4h.2oLl_6gTa&/,并9"lRlX^04S-ˑҼl~z?JX6\.,3J[0 Ԉfe&k&a Rεx;8yDs;_G)ؔAA/59[[A\>pb,L0\>XiGl"SH^ֿI`j0zAʲF.`u0̡g'%Ef,cZBb(J`؄`†,TJNoIl5J3g.!˃L7{Cx @ y`vO f=8YQ飨'|#(UECfq:=VpHw)MЌ8`e~̓0DZC(y4.m(x($gZZykQAv)82yRR'o*D!( dwIսZd,c䋎Xu[. =weºkU UYڌ^{B%cgW:-=b~zӓe%)`RbƩ+ #tp9 {L'6_n֒_B[r <$޳hhZ>lTU*&@e;6%L+]La"6 ;JjJ7!&^F5o2i}6C@O/(=n7BTJ]pN(aFoj [KRQ(KoHBQdeqz)`(Ob78ک΁4mSi1c=`Dbwz@xƇš6& EɋNNlјu(|q,̣Yb"S^R|u-B@svK` I 'F~ TkѨla[ʋw@Ij G"R~O}ToՍ9VbNG#Ak?WFJ ֒ԂPEV,.D` ]=Vqxk1#%<G*⺣DCbm$PJrV- 8e ͔7T xE ĩWlRŞaȫwIKc_$__U?S|Nʶ:^З7I9iཿSgLQRI;HQMڡFʬQx18'j){S(rVj'fچ4aT;t93/O> XqkfT!P*7H8T}&x,qUIҾӌT/MLzLQOɓhB ^mk2VNj{i#{Ny4 蹈R=af{Zoyڻ(Jq`cNMaEdge@n%j˗.LyT c=6Qń\5ZFt Tll+c7t`8q(){ل0}@E 3›|ILbfv \xɝV/pƎ '-?|Ӊ^ȗG?v܆%[~Oԉ/9R1 J]̫_IFKTk!Q|нGP=ޠ; 6{ csvU.I CZ0*g G2 S.J m JxV}3QL).ӑ+eລ> rtGeӃeHCOm&3`3РL ! {` JMQ J@k[neV N)NMiU-'Rkc+Ϝ֮6tɈv^@1̠c)+B7'aKyfZPPeb C?o0ɗ3.5Mfb;{3AXB wrlR,LŵE?y)M7,ܴіkF:(̢Ø1 mzrw6ǶD<\ W=| sV oHXb#w *j5~ٲuI_VSS*R'nuW7Bq# K KE1e_M-ၘRlvYaY{$n`DwXUsaܫwZ @)tWp> w>?Fe\<4UqzVt%$4s^6sA0sĴ3uK 3b&b\=f`H걧 ZYd}tJ ՐTgW_M>7b'fqfJ?<~ѐ(UU`pUye4 3 n{^)(WP7ڽ?<+3?vK5gힷ@j+]5Eؑ r\ rɽQ󍍜KE2).'Z~}ZYj$μ}\r]gZΚ=PLQIR⿫ic:BN(3Е+\Qx۶jqa;y QSG'P, "#ת{eٕKѣT3F0oҫgiZD-YA¡XQ`K̑ߴͶجm?_H8Y/iVWKk+3Da-bNodsϨJ(xC7[( /j}`,WDO;:1 ի\D0ݍ,-O͡ %o]zSeTj~}̶9l2Lo*d|ߙDe S-"cy8RKØ"YihF(58+~i5vyjƣ/olwm*1@)v&(p$\/5~knB-2<@GŽm\$i-yCӜ-Aʡj/!*`t1CC>czOMXק+0ui37CQ@6 `,6FHM>GLY%GGx ]vT#jzP{2}vuWmOC$G{AMlL:#lEgYZ ! {6=v.AH|QI9.ճ/Ѽ6tBV@*fXY;{vh&\/ ɟf0g #BSYK|4Ѵ v2dTK9uߤF2G}Dv(E%8ͱ ˽&\Zcbg^NF ;"FYp@7q畒^QJuE5(ONXd UOc9l0ܡ2RGRE @($utg?zX +նyj?kqCp˸0U w, 2nH+ ucj5ęvX9o?ȻB3/_{GOyFNU :ڀzƘ3*nw͏oYs spKZp֔!^P MHc^eEA+{:w?/M^W:S:X6t_k2=?,٣+ۿj{n'Jsh!'Uӳ+IJ-,62ck}Rc+A$cʨF]x i#$r[x im;0SGP1nswf=l"ߒF_6~<IklJMD'`sh2&0vuu\gRH-XfIHE #XfV\j~nIge6-=sF8UCNa͏jX!BU"d3%<]^WC3WR!xIw57wI<=*[Cll]]`_F]bȁP?~B)#o}얎ǐHEXU "W;fYrTyM/=\B%4㢸mmFLa%uc'>2&˺*QoOev]Z54Sl?Oٳqw=<Zc#7#cgOasGf!=O$\&6@[֘ !HNFM[Tjz:,՞˛RKo܇QψUL=6$j6EV*4,E^suS ֹ盽ұVe3twmTi+5(ZGIOB޶m 3vŶOyL3wڸ^GFȟw J.KK:Hi~,Owht.5tT؋"7l,3Em'ZMBX(G|ٯBFn/.G c,/ )l.wjEŹ2 _@ أboE0(*u⋧'xc"$l(O5z}^!+QhcN{FStVeqHΔZ2p'C.} lM%-*y QjHnjǗuRinNa\Z/^ͥƯj>ujJC6 Gp]T\k\qqB_WcNF=~Y7L +z]Q9avFYY2@z=e"~%4+,eSQ-LDfp&sM͗S,Gq#d7T9p~&3N;r I:'C߷KQ:H/\k%2m ;x* t6arNilȫ=/]ErkGD3n$}kny$B0l䜣ի+@RKÓFJۀ ㇯zs]Xtad3K.vDMtg#IO'7ǀ:.ۯc5FdӆG|߅hW{3b4CɷbE 6ƏOSK6X(UC,}|t;wR }:70? w HSil A|GTHO8;ba  `L E `kGn\+@K1_,7;9Ņ 8 eF臔vN.G1g6HYwp NݏQS%.淪H\&&H2>'1SЗL<LҀK;rN L7Bnl{v5ֱdH1XBhB=6:.ƶX=%qvO*X(pG^26xRVpQ2Jo~ch}VZۦϗua kpu:g(l_"źWfަAϣ/ *]w&.]?^|&Z y@HaOӣy%[lh!%uЌ5a>7&2Kd7/"JQ`]6z{Xi8Tm+-v+*_vr:] >9Eh(e1E@O*;0^j605],d̺8Y{i.=iV1v'Cb|G%L.W Wп_%XQ~?A+LY4E)( | 6(NGO,eoWjÂHze v#mC\V+8;9GEЪ2>ڰ)&{}t<6 P K;%'Љ; x7.{z}݃y S'9;_a>D;-w%Srm1щ >oګecc0`PBQmhAnA>yea*qbלͬkuseJ6ZeU:@j="C ƯP†1T/(- Zƀ4pI m)sTzׅoŭ^v{G4d-v|ǃ1#}#r\#f`(U h;F/HS@xl<-ΐxBVd ;EzFH:^#|&w5 [tgYZ f 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E|]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oNz.'u@: (h̸r}*JEQp8ˆi̥`hTD˖UM9y pB_ ٵK/rO BqCM8QۓOr?~4gh F,̰d 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_id236:5W/ \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|ߺ@t=UԠr(ips=|;%G#.@1aoE3,d1xݓİǶ`# ޿ؑWExCHc^zR5I]( {)n!Ӽ J0$ N2hE[A}d !&P\é^Iˆ3Գ TD !HӒǗgynEfesv;#^c@t@ # DCwF%74w! kV.֎6;0cNlvlD9m1ZwqViFJ:Nͮ2ݠֶ_2` Y?fPVf9}^#Uo>H8s/ziWkK tVWZXiqO@7eh}o,p':/u&W2I{В@HlU?35f0PlZ zAK:}sBZ4vX.J=mV\*g/Esr8\b nmC4gJ j %?).*Ne΍o+~ju[Ùl}[Tus w}U9_zW+ >|ƩbΏ˰!(\rA4_nLΟHnM,ͱȫ7 yKM_m=;)y]V.( Qg[l5s^9W' k}`7EQWx:*XFP",M SJ>" *kT怉6!=.Mg՚qa v omm K*yoR(_TPnPwYV+- E զo?\u+{caXяsS&0>5;Լzytk֠Yt9Qr$Xs% T,S?A Z1' R(e_٭u2? P д2{faJDJZf.-s E)NLx4go),A6^kUM`Ƴ_&D;;bZ|]Qz5s>[eX=PV梁 } _c&]}V%~Qk1>=-<6́i ̺'}xb*9܈vl=h4({ܡ?L&ŋpgF=3 )vP_׊2.ͅ9&dKI̊E"ZXW`v .37EL>d8.60x˨^lh I&!d`;!'.^|du7yӁ=WFmoPl/緋L<~ !uýjh&R<ƃ?xx{mH 8Z* +nxͶ_`#}S; KeJp#1X$-|;pUWx_1*E&K mKvH9gT`; -^|'Zl{B&J\c P{|P-зJg9aubad? ȁP]yFXZk% Қio^|㉹lvѿd.ȳW.fw+EvRpN*/;H-?n 3͍Z\rי;X}b KN: jMͩ(kjǧ?ΓfZ@7I<8'&=xݒtž _7խРc^X@b)*49̄ߩKf2{5Us/mjia]P Eղn7v}n!2 Aȼ\9n*R-)3c_/Aw3je!ղԙxRQ? bC'x/d9_]RCl4ժ{)OIi&).0`u`+7H 2k[> <Էםՠ8{$6z><{kKO;B+ Xq0tRv̕%]Yx'ݓm41`3ﻥGDR }ctW>f >&vR{jCMV ԟG D7pݡ!څ 6 KI=(f&pJ[< &Z~!n3Jr9NvxԽuGCŎg=E`Cx&\ròbXzҝ.^8g$X/#RҠ\9)Z"O7\yn+l@C₩DǏϬ0b2ۼ:[Dn'}J`l?<'W.EX?+] [XAHB‡;鐄{/IF/Ė1 R6f7NTqOaxKך 4% -S9BG1H◙ qqnjPMycLœ&@uMZ[Q$=kՀKq͋sWYezYP E62VDq ia2 BC9K&ͷ.YylE3:!&g;ʥB"}7vs Nd@5[ЛSBghDp3.Gq H:Vt2{l>v& l}/5|_i)0`Cx/EY*$'KeDQ KJ, 92tN(pVt\o.y Y4 J5/H0RUD&XAw&GiـLQdZt¡vI,}8`" fVL>,pV޻֦d.o 7*'" ȕa~Ugp3o!j@2f'4í!?3u)RH_Ÿ@"hA}r<1U ( F\#N4n8ɸ[t[Kห+: 0e?+|6TnT-ԇm㔅D blr1 n*uA[+ѴԞa8RWκ,*_.:ReVaOmnJe'N^^(ic^(e 6z4_n=x/jsOd—htx T5K{<ě8ǕCHn( APq@r؄t{;W>8e9ӿ=)iV)6S:LsTجp$s Cj=Kf_Xd[wM|~88 iy'vS/כ?64RsʘFLX+J`\Yʱ[4ۈɴIIo_FL!< 7Cs$pRDϓۤm>zep\ž A|CWF8#Z`p٬qrlc@nP?+={7&y; ˅I_]fd~ɦ..m =HqLiͬd.bjR͎m|9p=h9Iݲsy曋wH}=}. Pj$ ʭk\X*j!rsnPC@[ wɢmk(Lu'D5i#O!3Z+E, ߚ'֬i%zs ~f8vl?DSUuu|,Xp'8 h>!zǚ[+Q a_d 22$wgN*Z+sn5֞!L3'נpAaR\ `XOt\5sN--;`{W'^CD3q AJkK(!?ʿk% "g,cmߓrEv: *8JLJ!,S4 FViʄq3Xb+Xc"rB_΋Qjglleߦ*adwO]|p~;$Ւ7ki \BZ0)D1_3}NB<$,hrgnPhվ5s[l;hcO: +]BC1/qZЫwcn-ΑvBcq.!R@ʭ2 NJY UkcW{>O}ťB!v BTJ"cza]anyᯋeBXt-]D ʡW"p,(6kUt)M^ 9D̈*=GT]t}`ٷ'R|D#ޔSܟX4j([Zq"" EJXp@vTعUx^uć,ieDR;Y˿V)>Rˠ =Z<Ϸ8D_wh,E`d\hћy*C:xFaw/`#i+ r>s{2"V^|BdEUA5KꓞtQܱQ}J0g ª6+E竦 yB(C9S-i/uK1l3e,pSšʵ{z ^Q.};,4=.Ukf~e8]K+-aٰS)L2xZՀ.C`HĊk?;'Ei2MS6ڷa2^A2=榁+v޺LQ55ۿl w4y cPɚb"٬;^vMȨȲzjڎWI|ȋ^"Eh^!q4j%c+I-yT63jCk%D^jp'' b42j)CG%cطFȱ(9p]cHtH?(_XIDBCA@QXAOo FiVQw70m罀 t;0Hxuv@ˢ◛hy7~)y 3z*uLYjρi%R"a-@Bs35ovwq=)̴nn&tLCT R)(tvJ*O$<{VtyrQL~c GHAϦU %C"mq{XW~^k| uxNLF-ȗGzw- >t22#^^ݪL1i 9<6]!LqJj)`13l+%20|vhWEV; uC/GJå%\Gd)! BĦL${VtcdRϦ65WΤY␖sѶʅ En> 21)('R'@FDrt8YqEk 6o%62q8X\k#\Mnj%op'J5|+\?P<ە GJO0{ނfOb |lrZJ43@&<%~A2 WG0"\6f|`&(ˁ?T6h"IOBU`7"aa(᫩1ڜN`@*v,FCv8I\!(lժ$j׆`cÜz*&VBgƪy:X>tժ _n7:[m(]NyVBcd9wy]69' dc mβKbbyTG k6Ӷ?蜕8}T\g6{Qډʣ1k) Gʕ6r^rUu1Ϣx)Llwk*\RuĘ]}~Uk\ko$|PB8Qp8(qڭı;hwFf(_М hc@4/l[0Ң!!:,>] - կ*&K'D!k&n|bvftN~lkWּ?(hevb]Ǘ*9V3).pߧl :a;$ZTwJ>yXdwUұU(]TA!RUSU-]=?;" 5ݖ.ؘ;RmdYr[xB&jIϑ޶Eפ@njl7[KȻ7*:Td'͑te+tg7dI7b)(uvsdWu׽<ì>̑,S*gWEubY)YSc~gYZ3sP=]Hu{1|)VIE|3%K&Lp`DRrE*]wb[6Zg~AeYɦk։9>J0iCY6Q{V8N ^J>Z(ny6d-،gd˫؅o2~dTTAC)`-7dXawdY3?Njͧ˛C@'WRlMW2F{G9@eXQWʈm>@>_I\G{ӓ!p(Was1L "Ƌ{ ܳ^[cebpU諤7Q7OMc!&2fw>H =M(9&9D´(k1D2&Jfc tɆ-.W]lmgcbH>q'8ƃ)B yAw'}HQR"sJ${iU,S>+ iUџyq*X@YvVb-@` *UmUQ/gXxDc5/UQ=#$i(\QkSٿ!1 e~bo#S|H` "ds}9 p*/t"#rl;H͝vݒSL6 V :] 9"K Y/KtQnBsLL#ܙKX̃>~S/PW*mmq 7>3?m/G!m6k1E,F\{x97Y%!!Y<.!vkpKj9صWؿVb:~YNi( ӈu_h9*:LR^v^!fJ#=qO{/ǐe͂O\ZύIDtri9jTH&Ouh]{A/[UIoka,&ϲD v?Q1&a/ 1ޡ?I9I+,ek,`1&S 3" dIXX(_.0z#u7Tsls En~7OR sKHiA:qT%څ{`[K%ldv]hR5Y&s Y{廵wK躾Mdžz9_Ip[kAQ R'S:g?nیfc Qk\3OC!'GLAՊQD}rS#5dؤѼwq ܁Ko }v}rQ/۽ Ϝe-^I6Rq|Ypy-[& A;-NU! `7l8XT`Æȕ!E&\kѸ^~u3P1xŨT='ʦ.@ʲJӨO]Tx#CJ~{R;.Q̚ |p-#Ni/B'^bT^5#6i۱L DQƖeFff<ũuM0M,|c)F\6QF7\[Q[k1"G=ÌOYl,EQV z21:r{$W4IxVj5 M>5O,ϢYz&퍧 POo~4L :7g ]\rފֹrϴޛHhɦ&C +M'H #*biϨ@O>s{DlWCr))zuCaK{זÏmr8d };ۀ|{$_bAirtlTQ* *a +Zܽ'*<;txC"?+%h^^C["h+QFdF8`qBշMM*}o*خL13ҥTu4x fX[L !љ(«UM Ȅds379ۏTS! Ӈgh|]"(Hofdf tU8i+jenmL_OD.=oJXsMX1IL^qrUXe(;p3=ץbV? R&T;Hf߫; Ej=#ѫkͮCy^Yr4lR'<0I%oK4}-SlX.ґ_e=8qҙ#4ƙ`ʒ_ɱN\)8Tn=}/ܼYͦUqX MTJ8PQ&+Ğ js29~{NL1U[ېVgBۼǠ6wܬ.EfwYMiMV2yጧ9-trRхqCab"vC׏wLG:%(91#_O)% VzȭR< Xt Rk=%t#ϕ3sus=˶:RJ Yd[FM3)z  { 'Kv~LsQ#sOV] q~hf1X^3|\Xq: t ^\b MUA!*t@Eq(N,(.Si1XĮu29}h^t! üc(@@ D)-.gX--LEд ygB?OHWeRk{AxW4p_Cm߻XhU(XQ]j3'Xﲳšu`Jw1۾b aHw!%:+'ɰK?)Z {?+aŔ tEs _q!dCgrK"C&mw-Vg.֑@{Snv|eB,-A =k$j 5d1H5`*aܻI48(XK.*_i)QZ nm;wPjI+ut̉_0}77UZaGl+Hq4K>AзnGɝRIy3E?Q/UֻT!) wg%ZI!ØKv{z;[x&p(Y`Ж//r9B[4p"gTߎzsDw@SWz҅k%(}l7DSďk?ҳ?:u螴<~blvTl>¾p02"=+=笋xcƵnD,njnz==*ſ;r"DS|4whNFUd-fH>r1+(rq<.VU Mk=ϨMaҡ$iZb_ ]-oËv "I< *n#&];Fٖ _cv@tc1Iٞ(U d!{Hv7T(m[0ඦC%gL+\s{ہqOֲ^=|z?%7^HrrK%=xaO<{`CҋȝqF$yb `]Cp9dS6{D rqHFpdEZ|0bp۶aRNw FZM4#aPG!HV"3QMyM<GƦ+Q} , z}H,$F8q&Mu˷X7!|y&I(G% "2*[X2n8/ p+@aۙ:툯mesTҁ+#0 C i^6t?5^2)?n g)PIM}?j;N5d| Vߟ􍌪GMGJ4?h\,Teb _|x < :gYZceb6842dd3ff65ffc9343a424c104b7e78369b43c76929b29fb501c0707c014cb283a2ded47b4e36 17c70744705ab67f304331b243d3ae7a45b8980f