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 5z,$T ]/ HOL-Record_Benchmark:threads=6elapsed=138.320cpu=215.130gc=18.9727zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k(D):)/4;;F$hM(縊+)ּL6~O)&F_b$+{av@hԱgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z­g\@-;! V)̣ @rdPl_}YZ7zXZִF! A"]ŗXi%;  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! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr0W/CLk:ԉ"]LXgqћO} 1hPI{7 *J6l[Ի,4Iw')E+<#g¿6<F<3Rb2 ?u윓1z~z͢)}]%p:\V2~hً ()ޚ ︖[Szy <›P&CMج(6{egڊH#1^:o3 c qK aX1i_ڙ?BLb\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! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr0W/CLk:ԉ"]LXgqћO} 1hPI{7 *J6l[Ի,4Iw')E+<#g¿6<F<3Rb2 ?u윓1z~z͢)}]%p:\V2~hً ()ޚ ︖[Szy <›P&CMج(6{egڊH#1^:o3 c qK aX1i_ڙ?BLb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=_'~ **\I-G9M0"̈́їIOGQc(wsLmٱP?|6k -M7'DM9,S|,~n% ASXoyt܇Mf]~cvV{m]աUsCKC-%JN{M9:@տ&[nO/k>覾X8]BzJшv5Z=NuP9yؾ~%`67FI-W!i9kj{1γag> .5KYOn>i[u"MxtOO,gX~~Y["m{,C{@AvQhYLZF]9D*R {>'ιfK w+ghQopRȏ( B+3CUju$9Ȭh o^moR2s}TMFo|e22(@qV:r_71o /  iI{q(l­."tsC'!떢kJ 0%6>h/9&p#vS=l)]e\q4q(l-rnAGn^`]AHOzV+bԱ돷) ((x:,6Y0,ٝjTn::*ؽPWsIY=0bT"ye=l/ ' o 59s^J 0nxuWɇP=!"W"߲# *hS'CܩkQl76g҃Ewj>J n H&whx/[.zyLc͹>$6ҕFw#_^a*7W5_IJCP۹ou9ь?%? DB 8y ])ڡ|Br#bĮ1ztH>43ބ}yi *ؒe. ЬTP s3dyح c\3 1f,@GLFUR]7mt'n2S65}Tt]\UIM㏁ӞM/}Z6Ea 뫸hU\`h;g,!jsȅz1qN1=Bqr[RGg8mz2F jp "+&:juJ6qq,Tui֡wx|sE1C?M k܉ν5*?eG7: ן> ֹנvx34v5Z,czA&R4iчj F@b>Ba/?xб1[0jC|Lk()O.P'Mj-sSNp;W36ڃ? jţTwQZZUm|+{ͫ߷>ndA 3݉w>A:;x *݇mLKEmw &=Hpv'ܦJ;xK7Mx& Kw>yB O5/% 5 `z6MqUEG%ldcK.2}hQ=l)Ift=Q&RG4Vٹt*Kn?'(Tv\ FBǼ)>n;/Pܙd˶ UWmP#/ѧ `o|jM?QXK Ml1 ΝqQ-ڄ)1PLYc =_Ek9ʘV(&sBOgtV~tr)ǜ3! UT(^UU_ |{lp-oIҘЅ<ywȠڵ#6J۶u&B3r\-@ģݙТD{{8XFY3[y0ȳuC<],Έ4]bRǎ&6q -2 T̈Fqhs0u=T ġoD.jꉇ~u3e:N Yyj3I4˰ȓid6w_Ĉޣ`dQ:++/;x ,+uޠ)3;J|0/3g$ 53Dܡaj Qj8+w&J>.)%`r97|s f[ v"|P{3]o~f#dӅе_ixa%}? zAyg*9$ sޔ=ֽ,oU#or-&3Rg8wTNb6{/ϗrQ[vuº+r7ahؔ-p˼x&KL?JL<x0z\2ҙ<8E ZTy3p޺=*Z5̭ #Js0߱߼uny/k@k̪foc+4R$ ~>J%B@4Kq>1#7>8F|pGM?|!tzd{-?gYZ@20@h7' {;i0LtNc?Zn,BĮ9Nnl=e5N61EFm2J Jy~)8kx} cھ3a|Lq.O\λC<$cU|ʌ_*[Ѩ Bi+,ޞv^v~RjGxcB~$!+^ v>M8#ݫM1aa7C6i .L/xMs 0z;ݧb]FCTYgX[$ J;Gxm湩?_\:ARi'[I'e쿔&舚Iq9\YV}9pU:8f Ʉxа N&MHΏw8^XW^󘛲R'1 ަ%ĹiZ HG6 W6Qv@b>bV7Y2( v'GfVx$w wz lݵn<1g )te2q?M1/!Rbi%/"gN+8HVk +zUJoO|#{An`/kv|(xXQXU?n D~G_E co<Еޑc!@BƤfMIrc_TۈF5d"p0Irv|ª n=M L0Z4znLmmh9q~ۘD;֦GV$QF \G#(эG^.q-.NgyPunl9;ֆǍحVۄ a ߐ?_+N珎 v٫US5Kع(3.>\vw[bIBs8\e@٧Q5삣ؽZlyL%'<v s=q.G feδÏ3Itd⾃ 7.SФ šUh3`vkιD.׉id$kX7Kya1ȩdǿwQ޻jEӞaC*%$6A=*u'Դ73i|A&Ob~_2u|а4qS"v^t/#;\ &ta~K ^Qqg9-[~jlw`I_n2r~->k8ʭ o~ނRLXCZ?wT{)x(nXB/;Z=Z78#5Iϋr;?K2dj0rì_*;#Vvx{Bc T1(FIt[15hg'^N5,FrPA! - &H6#_HfŰT79n=%וOKn=s+u=7w*ΩѾlFjq޼Vjڤ6$ Z0r6`^~BK9D9pxKP@\Ňp}E\SRT c4ER(KK__o0p2:bk# 9&qG=驾W#寈 NDOheB̸`m ? u(-􄿽/`H]0^e[2YNM':]˜PEa>ٹ;m9N-Oi} ˦$kJF cD(>JZ~Fybq,%\?MA=k[D٥?d^.?'׏1 iY1"#|+7i ڙTsV2zR.L;ԅ^xƜTASGsݭ6e=N2F҇6ؚ*O'cgK: ' 4.,"“wd+ap"OEn/TEW+$;^a>Ljv#`}nrWO~퓆>tN-} [ɆY#h8B,?=5mu'Ώ $% ky|DqH,~Coo5Ek !Q=ƦXK.lD v,6> :hȘI"$T oqac;# zH6}u>ƏT͔끞љ|DDYsj(5P'q;;; Jf?$ou++`65j$pA\϶r(*]5y~lXIS4qV)B6U7ҘeM5A!>6kf-0T90YO^_XoL3n0Bl+ƴZg0Җ׉z q-ڕYz~>z\{T p_l#z&LҖ%%1PDp*cSE6E*"=Yq^.lr{S7wn!K$੆܏֮zӫ.~BRC! ^kt|(o9AV.;hK=<0Ԏ2k/Ib">ŝcW'RVB,%ew *ZQaH1$5z,xȺTGe?SIV(GxȆA*b3e2+"rӆhڄQ`#VyFw X|E|ľk=}Fncx8guxjhPbٽtɿiM:c(2N\;&.XD m%@u*oKCIp Ҕ&2(Ti--Ӌb6tzvwݫ^ۊV ]GKՠ()Hpڥ]Vɠu]C7SQۋM5W7 пrEw-HFX`x,$,l1ヒ9͏/fK۶!D?9gYZ a 5W# 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸMT]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8;^tN\nվέ߉0g>ݹ% [1X3 4xUq,A-@s |Tq-=ԃCd?"N{w4 .ޯ_Lw$+jGcD4T,&aX8&jIqc["Fi>N7S ql"ו&9|W.8݃)A Zte+!uդpGVsUW2ӝڦ?bajN2߻6}0c5yAo #H{9⨠:xj= e88KMZTUe4gĬ|\ᵩOq:7Ne/`ȇygtz7SieU =' 2wa4"Qb~ 10xI*{MVB6m-%5 ba0 0]5%g"fYpڗcyjV\U$F#R:pnϹ-V2W5<PX{HXI2X֏DibWt +8r|X*9ae?j`h3W_iRU( %/3Veuw-ߖ1pji7:H`>^4eT ZQ- stì1Q$ƙ[#[ఉ&,r$澸w\ԹW{_qXijPiG=#s֚:Zs& LB&?ǐKh.cI+'' Y"Y(~#y:s |0sF;1W=0pqx-*g؏g4?GSU\<+!;T}v@xWߎLP)Ͽeq.=*u8~IÒoa\*jԷ Έ W  ejQ,Ns~υIw̨k&p狜k*(ZF>.z /AdyCί G@;wI!G[g]G&ǝB%u)I1 r| vcaeb$.kK*q:ێD2.Ɉ"|g#/4H¾}%OUhC`=#]&&tL('`TNI@z|͒6xgk 5.m +Cbi28# G'H'-uZ]` у‡k|}b`Vḙ$Gk/ W^>) FyŤp>]^pH,Ak?ykA!W^c3w-ZK!#\"ϫO/ՒOR3wdv^6ZK< Rѥ0Ɓ`n#bύ1I.e9?C6ъXOW G%&)j$-vgV)mmʺA L/;6$xmjyɦW'tB ܇Z#.CBZR7r@(-ɞ,'v~@H|0EmVEYEfB,VFyXO&a Z{)mB)\ $|F/i"U ~kоf|Ra֢9qEJ+T׍l'0/\b}ϱR f6qr EϫrQ3Siɶ"sDleऊB<RjʊἯ0Iw:Bs7:X+5N$gl5:p*_ˮT7qI?$2l;<WԢRG7LJ`mNc!Zc if ,sjw 8a_e zePR)Ͼc_=PIS.Qq!$rs\+@ zF?1]Ǿ[d؏ CPRJKs-&D 9AZ&)i!ի5PPD ]@o$[[Q{7lVIYPc8ulO+;mz E3OgrO҆f AuR!½~ Yi0QnAM}ѵxBcvo"[ ubOWNbE70Vu`i'j +a+Bf}E0%Mcs 0ȋ:.R66bv6o t,}"!˒f/PBK_h2NRD⢇gWR4e@3Ftݿo[ o  Y. ~ y  L4FxPTb1=#/u ˱ȩiO .m>\-aw GԵ/#|h9翪ѐnvCjʴo 6` o\xdMA^ R(gY9()A2z MӬgLiiܭ kY>{;zQAvZ!խ ziABk!eQ&V,yԲ ȧے5Ҧ0 ID4a`RV̲o($S@Wk@XUZg|і 3T:zRVX&1,os;CTC ќ |h]?5"=Q F}=c9P&z槁crOH 1VvLE GCvQ[.Jsqrq " ;#ͨP)G RO<)5?WUdZ>+R]( :0D}kOiOfWP䯡݆Uρ=m, YV+T{0xygjpS=HCI8;fCco4XWyfcֹ R5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8;CC H"ԉe8upKȪq`PX 2=o%.|P!8;xxC$C-`&ԉâ}LZ@Lc{ V\-lqi}͌f ϙɅt:yfUO9rPQ5կ˽ ri7dBR m \=-//NGߏJ._KR&ѫvBܠ,1djEZԩWeMH ւ9rga,]Ri.ک^wo^;G~+ØqBVRv?o+an/?席gE)r5?,.}ĎO0<#4o) e (} @t#ږ-)#LX5Mļ$)Lno$-2u_?~U@dp&ZK! )R֗Gl֕D ?c o ScxE!!Y=Zظnf’ uY+e˜V`z>zؔ!Ϗe=p-o.`L 0(=!V<|ƣ$KZVjIiA[[Ajv 43mυi y3Ny:aohhVZJ5.sAl} b1S6du#DPvh"l>;mlKq1Gn$->? #`o~6x:=ӊe>VTP܃FN@KGtcuztU.SJf{FQkIH>0>}>8˗_ 483 ]^۷ՁY4[sNO.+zjvBDxV>@'[3bY7? .aQ&IK~cA}Ėv{(|=`ernq]B_\/{ _Uwf⒄[ q{/~tY%:!^\GζT @ ;srs}ؗ#t8Qteg*Wp:<n6l9z4G%^6E=2sMqssԕ71P-UoCƄU FĤog>Yp) uIdRHkEpbI]m6W1 " ΠiA*iF۲ mx``%pj(s\IxL|oM^ L:h,=X~SF@nUq~7me怊-E t>/~fR+O@I@Y섟*U].c8,u22zSˡ4ڧ1_6O[ d+ӵIvG % {{$繾cnod<^,7zЎ1 5*Y 0`JI)w7E+ʭ1fG~^Cho ecuL-n5TJ\;eŨI>]o72F^]:%TYx*YÜPml*шx9`cٲF؛o{`?µTF1"b|yv*>b=/Ip ArYhMhj$_3'SBտ,C !٣iWͅ8»ء[ CfLGط('v-VaGcU ty᷄ERaH) 9>:pAQklgީ6vϒ-mM2%$ӄ4\^'ͷ49`t&ZEUR *=BtP HjuMշ bgJ%GK UFyYT,ѥGAEdd2w3Dqӻtp H |veͷxm]}̡q6l MJ.6/!>KKBf@u'${ vg`O81/34Ʒn5yO| U~;Df7pt20k#m dkވ:/+M#Uձ|F ]KSi[ `W%c`<1Xľig߹k~>N>/tna0&`gI4%")+(fr׾|*kgO*cey 07_ M+X"U'-Y8SB5LHB gBvK~YGYsUHYissU~ԳRVF͡_!Mo5uKd+Oa+A nfK4#Ό 11kj:ܗIrk*:XXg 8!RbĆ1 T4q=Z1vO0 z )FW ތ:\I?m4&l^B\n!e3 ~4?nU?e)U:RI90s-84TۧLQ|w/<3)QwJ 5n4KE&w'ºl[bPP0L]ݜ;=Z2ӵ+Q^Wxto!8tϤ~ZM4)cG!"vDI: B~L})TQ S_ ~{NT:* n  E.B#A*Rb&]Y Us@~Mw͕IbLú~Bqt͜'u e9RKR4MgU?&;Q%T̂l"n2֚SCcSt#@pf-1Bx)OD tE*t=WDj7k-E m}@GaoWɅ=ޗ/AuQ~9Toq} h!g~d_PL}jQt%y9F0b1='5O>7x4( U=AhW`M丐XS4<3n @=S Թ&ZuQ^7!ZKxG^{EMsW OIްvJ 9O|W%'XV!}M c0KߛǶt|x==%Ӄ#\9kx0C(,g;>KB ̐NlMIp0"-`)?YC&֛R<2`bJuyԳt Is.@VsBU6a^m#וz-Zǒ\R< IX7Alv*'E\}QH:{7zfţ`_8cv%;7g#!.IDmޜ_*7;nޏOI/d鈻mpdMzP++?0LEǚjzEQ`p,:v[kȠC[r"}5ƧsNvFP ?u+AH\~ߑ{%(͜w;v_:ػJCbJ~Uz V 0;.T+dI? GZ&pw5-:~rWD pbBBCAyPrƨ0^}|e,\U[erhZ|!N&p)7Hj}m}W[#v~E'\ZuM|D![MBScDқ -:oImfzJQzbǿ;CڙT$7$Xs~d,hΰlc BmZr O{ o4ơFd&k/|v Dwx(!'bFs gCFq2PӖ𑈠CHX[?gAKrG'!~-L*%'Si68$dm!&RT4Ʋ #t Cd1gTq>dN2Ynsbږ̹=R \[Ϥ#[ޟEh\G)9R;*lp%h3"O|ݢ*U3_lD{=OAiB0܈|La3rUayyثtIפXWXgɇm)*X Y%}dB{![#FCկbP[ vR)8x|*p@ظq՜&Fc6Jk:K<6>Ipm ?FfXN版A9ScąfNG7ۙ8Zj4mR{=G6:gb}3$|kjz5a9tR/ZV'HnU.{%&^ /0pkOTa|U<࿕WʢyZ0>W:G/clBҷTog]WleSȨU8-BխTqkLqTSsvSOmx5lO ='}q*~7j K"f%$}TpbAoS ͇t +35$buLل{3UH ~EyMJ J#8+ҧkJj6VP|p& 3QH/@<^ו`wkP49=J\IT-s{ v9Y;/onp-[찈⓷{*X)R+2Pʉ'қm / \")LNM"a@tx0^vYmN*VBمhoUn j̕STe$W sْ-nC{PBvg0䨤9a*?S o:EtW6TӞ^<ň{ݥr>Za7Z"ވ# PxqJvDS+ Lp퉜?:1 Q[/5V+sɴ,w> h:ƫfZ՜$xo0>wfRnY̮RǫH•pDcAMG ػTy,yh%b4ȷ<.dBA1S"]٘AW['IwtOg((D)UZx 6MІAU`NJ|`P`z[wlTUF ҦoR F-ūK8l)kLhfuܘ_D|a_JBR`dvRBKsȍW+=HAE BM" 8V"dCh9rS =⅚uk; lda{ RMDʸim+tʨc6˲>?Jo} >%OM~B1[j$e.uSiERSV ڼy8{]dE,AK6ji$nc~c}`G58VӊVg^h/Lnxɰ 9ȍ s(,ӠwͻZ>>pײvY&#89<؄U~ ^F㕐?ϒ#Zдs0ae K=TKy$֟eH!]7&OCCNRR- R 3 }65i޿gheM3 51'zxn:Cʐp"b)F}fY q Kx-J ۧhϝ@}C< AČ_ z܁9ڬܹq^@`CV"=@\}/ƋخdO#{uw)>:'Ú\ʌ{[LS{]G&blt:xӹC+>E7Y~\کŐˀ0T<}2f`oZT8cs1Kbr,wdL5l%FfmQt0H++ptn-{S;ZM|R+Vk^7Y6:fEx|D}"g ɂdWW 'M[IT{A4LydndA;1h_q ox4is=}!n[F+wZIKnO@b.3ᙟhV{iGS]xd˃IpJmփ܅?Ͽ[`Ǥ#7@V'|tͰV8uޗD_on֭D \$Wఱ=S1rs8T\@wD 8I+-cC& ԣe_ X([i.z$ԽѴXEܐ-YGFD50\m%I P!l"gx:6i_(JP2~>zQ ? pvI;R Wo;MyaOk0wľWzhIl`3F^)ctO5p3naRi gSLQcSKHa?U0/`a?K8*W/"ļ vs#c?b=1 Xf '[o B;w5& "(=톅6]rD3u&obLTWb==7s%՞\W6Dŝ^`eXe"s8}SǛm#n^O zGkG$_RS6 I~I)&s7"X;]_kF Vh/9ٕt[K!K/]lq˰t?ޡ]`[5*z;pC<f^qџ5KgWTwAUMǁR9r1LױIU ]☓v|4$(=hzɆMݟ:~Zٌ;-{`1\9"س2Iߕ &ɱZv>c#% .3'> 3 tsh,=Nz%q}? (Vt(HȄuH~vL;5)ccx05q(hTXLc02j0~H~IUaJ ;b4wF2ux@ňCV_fݕ~߿O^ wo_p쓼bmC,Ȯ!?>m}4jnCHv!vW GA1zQr|(f8 %|4ĢSu(%} M#xyVB3=Jڱ33 bW8*V-\-S, '-vѦD\Bt)%Q"Qsd/f~%stGͲ<;]8& &!$t]Jzs% VUĒ /Pa|؟F-9#JϑP솉^Ű'g3,76CcDԨmjrg?6,x8'ANu" =/ uA-͊h"#Be а$&;ގ4[ lQDwޢrtn\Mػe*G2լ ZĆ"Ö r'ӱOY ѳD 6YMLRx{ߤMH7~Æ|Od|/ (cUٿa, 4*5^zdև~sQM ߳=~(g %ʥ  -]XM]H2].bDRVk+%Iy /<۶y Ja9F_ijFS0ηC @4C^WѦyLAE cfC2^x6* q~vXc;ue_R=G!b%t(jDaup_NrNaX/S8cl·\ @ɶpI)X|aETtBz`I,us0(dȇL/ZܸɆ40ѸRrz? )Y(盅OrjM;̘hB$p2c`NK^@0(ևD3zKSƝpA>$=St(h3 t{+69O`w~O?ڣ]tA_Yz 6vfl.wELq?Mob\'Ddr A#; O)H[ox[+ՆʂXf"#OsW+ոJVn[K,᧊ڥMo(M0a_"Nl@a/T?ui鞵9%UUASE9qv_ti! 9r-L kK_7 SQ3('zYeg:ʀ]~B]\z1<+5>$^mtSAǧIY4H=>5oG0ArJ*N/ő`LɌoA+nHk ,G`ʢ|z-j 3uAqO+ :hkbIޫcYŃ& JpĞ}i.Q1;wĨ]= $Ŝ~mIݷ~b..F!N< ?McE{3 ǒL/VښnhI˝ HTֳYA_T:JdGqtӋ P A>i^#yMpVV'ʧ$W$)s'*|q P"YfL<8) 9K^, 6I\n(8GH[ZZA}eψgD>Ge3[e=N*"^@ފ%d-dar"46vg:iq"y:oAvc6ja+r_РɆg1<5#A)+br\OIt*ۨ~}6Ά~>8} rWH%S0nš*MQY~_XZ9̔gte<.)^KkI5DTŌ= Ut z02XfFV{nµEL.?tJ(0 OH6,5I++`*™] 57ǖSzShTU!jX&!vԼʇ(t+OPMpyןʵȰsZOr]ݼ/cEa5Xjmku>+IJBxv݁:_  I= 8v6M=1hjmA-A|Pj~Ďg߱Sb8šԵ*ж `'$i|F?7iWzyU߰XZo͸Ɲ>|7.IKJ;eAM+h8!s*vH,@:y,]<2b$W n0ݘQ^+*'?@zNҘQ4R(3FZ>̓Jkӗf5-pmwM䏎0ƈ, Ä6ֿO*0via rˌH/53BSiCX~\h1bP(bw7q,7 e&[RuxXD0E8 _g 6,EDa-5V[W}oX|g_\ l/Uq F׳$<}(:%2LBS -1bme}a\Q d˪Y)5G!g!Á)Ъ|o& [ISˋO@;2GZG.IV ^kcLΪhw"}kU70N%zpɗdzW^t-""܋}6J(N|,T-";oK4yG]0$bUd#B53D46gӺy*GW zȌ'!)Y=ј~\s*x=ltu:$x\k+,DN^^Jgh"\48رM֎X:9fiG>8Ki;!&(( I8xw鏲i\w^ʬTڱ8j1Y7TNaQ>i0b?qE-˽-% N~gK[0P%fxE@?Ej[F''%KvTwХ"ObWEq)ر&jSH.[g$ }Mr]9n[ySՉJ8YV;oӂH\HQj2у°?1]-ņU&IEIDB30TԵ tTSCk+r#+L %My(Â,nOrivڈBpe%Lll9d۞/8$I!g˙JΈ){Y|XO2xFZ$rWh?]SFˆ 1U`_qpÅsk?7UڛN41c7k}#LU|ͬ{G23@' %_@4{ȄBWE%G媼iw M(:G2, +JA'mB!$^Ǿga/6R7VY2]ŽL6bg-]@|9:U Z %o,xwM&ZH}4ތ(߽:/7dl{*iEU%in\K;k,AJ0q{3D|sL&v QQʪPԇ#VgYZ Ho 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E~]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]on^ڍ$0p'ºyfu^utUfchsS a gWGdx+)' hXʜtp*`߁9{ӊ>=񣣥_oSt;~ٝ}S1LS=>]J*;-f;{FxtgRmQR^B$Z&e#x<`h!YXdmRW k͙ڔRC\/Ts ;? &$/#yt4M cAWPȳWT  [~~-+GfI W][X.FvIWeڇ}d*aWCo\.M&r0RZ}fO GrJs0ߩ:1C 8PbO.k:)ȟ_0?rFmR4gB`#Ǎi[Rw 2\Szd[w- ģej"J?HNTAE𗟌< YrDWDH/2 1.Q: v/YRS;N[v-דۮcKY,/(݅#:sof̰G_~âg%9Ppm:hG&* , w)&.kXtJ6\l}'館E++`Ă?k4jw~N"3+ܷ1$jg_ȄFkni}3tk= P: l:5Z-Yy s&dI pf蜼G4F*nezUӢ'D$X- eB{04 9|v]a2ɓ]LTGj~Ȑw#_jbpsί$ʫTfr 9+ؐğD mǥTw Sig%U$3~|H:NyYPl* 0.,4:eV64(:%t(Aìޏ˭LNI:}8n&@m ۯ6'Nn WWYWѽe|BMhtFz9|QJjO%I:!bd+z@\%ҔnIS)DhC"˭OH ܝg%P M=D8=yVfxkP©*j8A }1 #N{GsftcÍ\1X'en_1PנdmHkRNk`L|\ȸ2d5[̶D1dfLpwԟ|dQg[:&lNCj 5!$Z=5`R} N܍աD!]TNt/?8.Ѣ"@1(Øt ʊl,U7S9^07+?$hL |ۦŷQ%z/ڭUbׂDClL z6~+),? _6iB\ȐgZdT4Q|SZwVo˿Ó}+p}Hw]rFj0<=H\枅;O6ȓs\]+~>@I_g#O8-`>Dty[{ՆQjgmpdlRʈr8J;+fq(m׊bţvb`([,ycK]{| *~lU[Q ;^l/g"E];]>`\W63ÃJ55G\{{ÆU#tJԛ*a([٩1){uOteq#y |fΧLb͌(!"Ώd|PΩ3]6D/#B ReYf SHsC7suw?CA ac&sV*zDHm+7N@z@2$DRl[ڱ>1`,I7&,Gi$1+,19=t[u{bZL g:>xq BOӮU/1'߻}ezrMq L ~Vg\dQГq ^n!OҀR^Ll9ps¤Jf%P΢0WYTJ?3˘{<N00[,yYI ~V,RXrʧ=RR #2 ( '٠eܿW1xE\q0f6 #2%,^,mI}AoGO-8pQѾ Z]@oYb cNJ9"-,wrSxh2+uzaP4_둴7&Yp(`űەy5.cJGK;s]/ϯi f76 ɭʾєX |tO>.37:fM ި4qGqZ[z_g/G\"(sњ1.?M&!utk}ѫ3zuɑ7dc\eEO)B-DŽt[G# xGV fiͬ/gl .Dg<ì6: (5M`4I vcy^iyJL7Qm$u3F !%Z/]cjzۙmx-״rR(Zf̱aNJ;BqURCc~"k<ڟNS`Fj511ٗ9NGE6W*ZtS':Ebz+ICEtJI mqK&r G&ޕH~Q Nru[rPOZi,z3@W>6vr|+ )x[#X_#Px!@E\{!^=+y{d$9yЍWS7ǣwz>Vv74Ki_b4@VzM_cajKx~w̖6~&Yn-Whwyz T]p #P'L@cyq.4}e^qf'R_O9\:kW$mhy _'gǸ*O]F>,ie5 "@%'t\! /G S#Lu.$C7=̰.:{д}A+gСUlc;bwl$0R_x2S P]h1 ВD#i Zܷ}#]D) oE0cXŕ*A{exh·(n䍬t0.KTLh`q#S)qy /.urE%N5y)XfY+j^+G@1 ~ʘ1;R#p6uM>1;ळHcdOBG#!?}Eod'N "d@tWSXm"X0_8}.+o!*W8 Θ3uhŸ_u<ꪶ8dռV PiWA0sX_uس~P𫔤f 巓PN*T[&S+0XV :dĨ dH ~+: .=q+,O[ؖ <\x<@@'jTx- ٝؒ>bՂ+-'=leLRn~hJSlPDm{J/C1̤[ԋ !ֻRA&Oh1.^3cBlC+FkM 8X;ĸPEP|ԈܸF oUREքKC$;+ ҋj͏IHJxmq;r3y 0RwU !L#OpfF`VwCA[jŲU'\X+M>K6k S)/-YZХub/wj!TXL^:FTQc6Ee㮒[x` E䍂U$Bx&n.k>0]Sr;s2EiM<"Sdmڙ3 VaYxݍ[ }$}T/(Dl4+^>ՎS傁٭Vs#b0N2Q'd%IkiWL$&kW|#\p8 +Lk:'҉zT_̾kp30+D]Uyf6-A:x6ctZ( S!j}!5 ŎgYZzտ0(f=/9*,xd!wUMBq(7y?: $v/p.Ce~l'vn߰)9DŹ/*%4ݵcD_=I#/ʥȴ({ KZ{slj dlXoMԸk&XTy+ť١>S.;ै3T{Z3"cNolevH Y8Ha߫ ! qְ=,{<*+Bֱ=w <=*4QVm|3?]Vkt?7VYE (cZ>DxGZXQ} d|ٍ2vܿlbD@=V{\#Z{E -i Z Ԧ/6d>EF.yձkTvu5'Z׳CXGz5R$_[%CquHߩ!< EMo |ʬH U@Yz։#Pӏ8?-e=h ? ")V[F7e8XG:T?8'@1'8njFflvg?**8aX(1j(.]ܙG-x;Ո8JrJC/TT*Wz+pe|7qeZx _t,^EESDwa[kuξ9\ R qLCokE)I^("M-VIzu;q!%*lEI4( ,d,jՠ2KTI9XK.5 1f]DVZ>|{uq crM?՞p>`^eԂp3T'ílPI{OfaI!L1"0 K\?OrJ2#wY},hhwBWnTS!O 1W)}ږi\[Cթxx " \(59h9_R J/ 6CjxKq;2.p.ĆlnSvjS:iP\=MCs%q?᝭p1{W!7OF |7q߆.jQ?}v-]a|" dEUu*4 ?RI7@92(t62i U5^qmv橔_l}7`]ׯbpFa5R5ryt&LG}NmWZ "Q7Nzpm2ARvX̷ёK>D=~ D WEovl(>k3oAqum#e$ݴfxZUԸԤ}^߭^Etؔl$&iFO[~~] L,@Mm^2vT, PC[.kYj4VIv^uY '$*演!Ye??] # ҵE HdLjS9XJBE9j/y 8* YWck-]INY[s׌s 8ʈ8q%X|S⽃]-Aj3|bk"zqFo`>uA)`v4B{^ !(BYkHr.<yL/N4(5n@P.?L~ϦbKO f5'((r8=鼿 ,mJA;_˴q6_iS|^ǣu+1PL{~֨S#|f1281oGaj}9vwU ;\Hb-kt=Az(-h^GИq'1fNSI .!qRT-ŜmkyU]oe=brqIC8Zh xT3Xkz7]'-ZA5cLp[2dzCnxb}ʮᖯq-,0QUH,~T12uNu 㧉D<:MUw\oV!;UmdZ[OOJ%K&9hG6q<+~T/26+Ng]8먫o8!gjRߨ~˦BU EVa4kΌEi͓)Tj`ŝɩ`<+*¹$%cl|[e+DzF(5HVV [$O @/K?}n AdF|qo*/of_E)%fL@ ^N5[b{#/7Υ𘍻[KCu;@sĦLW ,%nBZB/i9BUayMJ:GES|8{~+%.&acW8%B.:7M(z^LXj \+sP^ )V}_x {Z\N}V1IAz"RFg.fO|F7^L4J@ߙ_dJ;Xw: AS=6Wf9ml5119F_jΈm9oK, OP Mnū-!|#7 刬Vݻh[g !"vgNR(2+hy6[)q'(<"/T}Y%}?f%)wLx+wkPa!$yqha:yZ"J|h}[% -.0nUDMA9WRCd ;Oy> Z3\"Gh7\JfA#YT)/Ak1<etd^ bTa ` gYZ v 5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=c#;xIJ9i֖sVeO| |:6d+St4j%nQn 4ZX\Z/~c^Εc?)m)1xS8Fz_h՜p_й"rqJ,U>+Լ5ؼP;>{LG{U@s26Ph83In/q=|LA߳1Aδ;U#v_4 4gRʔyXiWص TKq~P@ΔrH<ծi6a!r9yT6C L@ı)玑sQ\5dSz /]<b9}0^fR\W.`S6]RWuK brýGAp?L3uQm+Dtsz Yю;j;-fؾxD~ dt0eX ˣ8!,?otc-ѨtT1z}bX7 xORզ/QΨ(׿ Lډ\kkv oԷW:֋NQgMc?Vhyѥ=I 5S]8g3 93^ 5VPnbuXҧSKրOfGf@V˴_NCA>+Ql$ I;SI`05֖FQ./8Nzy5yY0|#]hq)Źv$]GY^3g%4 ;@t '<2(f cQ钀~Gy^yV 1%,sYOݠCoX@~6 UNߌ*fQ m5lɔQ@ nU#\%%2mɏU¤n{ih\^:hg^r!p5w'_wމ$h-JFT\YN(-)ȏmn"*?HW0@n_+geOR~\7\\~ kB-'h]1c)%p_+"9oޞ2&eQn.v`2FY 8+@Xlc踎L_n۲bq9){g:N 5o61#BCOK)++Esmf( קUNNXN8lM^*=-n,~h숀AE|J,O ١u|!VGl4qƋ&p>XB >H(^-E]S[,2d.H\/9rg?l?9W:X ]r-[('gtof˚zb]sAkZsMz6>@.Ҥ- w9^qFwML~Ga4vh|)YhQ"X@X׭"q߳B8n&+PG)ãb=CsϏeFQꨡ0DEl:5ockl_{s?rnȞЮB.C`,eL,~Эؼ6)ƩJCtjԊF 9jmA0N2%LԀgM\ 9! B<;|PI !LPX4@e5[atYe&y 赖-Gi摁L ]T0ZZFOu\9 D-<o{B/R~ f~~NNw;셨шq:An'{_8 B{ ];5@Y58sB1DaE"y>R[ 7nz|ޱĂH !{y @k@L@T5ײ.]z /X;PP0U oY1+mH`(놼rz"lJ.O m%8斤ǪG ?mGAXf׌ۡUo 9IRL+ @3(,LUX0r]Ыv1GYpz,;!q^452õNbKI.]-}[wGE1@jN5E8,0|BOY%|si1[f&N't 1z˹FHn Yk n@1bd!/hOO/O\[⅁rbVG 0iwN;ۮC*r0 Nҳ'1 c8"T|!h9.fEcp_BP~#X%Zʶ_̿Ab}KNYvy,Ր!l6nֺ7TJ]T*#fA}EZ!~2QU8NQE G % >5P$Vɴ4q|82G ƛ[*G=~/sXe) آz&yXَtc oI'єX--ݶJ7kFu1n=L3~~$Ɔ]  m 7 sְ4BiFp w>7WG`-[KNhqnb D/H *4S= SEXn.'Bz z5x { K(Q!rI?'Гr3voD90c} 67؏cfzNݵM{v)l7Hc=!)-!\n ͆@\}pzѺĮ07̉+ Inz$sWkxR!%RuOovAۧ;\)'' h h < g Eӿea7UNLhǯ2~.fDĕ9jI?Sc/ ̸b>sjMk  xUɢdH8.q9xK.ѐ)u@y;D^97/7"{|?q[VQ'p9"xGEp))(':*|b7TuXBhz凂KjCD"W&$ "ь0ؼMn&'B`Y sG ۭoo.Zd[H8_Puc~"۹o=wm>3; ~10wHMs0Ts &}ܸ,Ṟ2/BTD6'%h6 ?&N1-1@xrɟ\9|WGn ~&xa?[c:bׄ޿2ϕוg)/: u#oCGF^/쎃[Ftgv\x\]KLp`eSS,JW.rm5ZtT+')q8n]F29pxaAf. S H%eD6o+}gd}@=6sı#6wߪɔgG&80&34llX!L("5,8?p~B򆮶Al÷lHzO n<,/!.G(QFJgd)@π:ш&飰f0#f-e+ S;.Rji,۶)XN⿑ޏ8ú%q;moKzz~ щh$ҳ%B.wD94yulu'B_)ry#,$mQ_SÕanZҪq9MnI&Ӄe?"^aMa=H&u(ph8!e&=(uLhr$g<[hHWi%YY]2B2[V1)g^ CU f tG=bgc Lg7~#&<ԮMOJE~a2Э+Uxfo9>!e]HK0Z䈻Tl͎ӴAg]GW\u|vɜ0 Ǎ݄qx m` dͿ%"{| v,Wfܗ(*A.QQiB4,YRu_|[,̽%FYǺ]U>xp K>Aj6H 4 #˞7h_j6ilV.UwZjVٱBѯk~\;# 81tzK$9%*U{\ (1I"0vRw0 ye':*w\"0ۑvP0Jk: 4N8qC|) ni''KLIpъB$ҘTw1>;X%_NO0p[NMRFxF?@!X=Ɇsw^Nhrl8J+ܣZyg m?+>q8 OABxb`ye{XG'S f2b3 l}B;jjFMF7fhWҏE^ёa0M[z:D'*H7jKw&uQ;B,DP~V@ >0b߻?õu.ܙb v0O[kc@$ >.CQyjᲥH `}o5~Prښ*d ID' FlW̲zL%lQ҉M7b'y3c ~uI'biHy:ϊ\nu *2%%XQ8BsX*|Dmsk[0^mQOp1 " ("hkzIe2“ZѪ3WЉK%B6x-jv2|:).r#7^`k 8eJѕCY# p|KKBd[/It3 ULSo)FuM3a/]$Ng@F'֠7Yw7e)Mg8:m/qĞoz+|g >cNdٛ›ɬMz 28j<!r :ӈ;FkG\keӈg\ed]uH -R^R>IxBqr$*Mjf : ߀^o%ݼc]\Qk$@a6( vp3~]| uGcкW,8I# 1PKm_:!*Ŏ&OƏ]M9etQ嫮¨J@eSUב) G͠h|rt\r=\7dyc`y'DoSєhvQ8{Kv#`Ew]YB$Z5\ZA}' A#dRJY}ZjkZ!+:IZ&E Q|AԴ1ȦU s{Ǭ6PѪ=kM yɮMh| )+lOAn`Bg`iy:cp\ga-n LbYr U I 59C(9LF g˽^>M1#@?*+;ékiWxv?&մ\?W"ѫ>>ED5a6#i3Hury3H0Ҷs!W_OaH阹}R0c ak07!sl{ݭ_9_{&SEH0F x,h#PLgK֕4aE7/,3YZ xOE3D=XFJyTֱ(yX p D+T# T|CH-p NTgI=I5ֶ߮`"+.wT3& V\:!EDڭe^ f 'gTdk\Ifiۤp %"1 18t37['neD!`lTGz bޤO`:6@GLtJ+j#?:( ٲMw'SCEj0J=U  6?l@B1l@Y MvNQbA`)j#SkĊ*zPVE*#T<´ 5gYZ2b1b0b77c37a839320838d1278c5110450dfe773002da1eaeee52b983075830d79ddcff9707ce7a9 c344d82e960a4baceb99dc7461784008bc1b9b93