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\,T ]/ HOL-Record_Benchmark:threads=6elapsed=138.094cpu=214.461gc=18.8417zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k([Mh-06mcG K=m lB/gYZ7zXZִF! ^Q]ŗXiɟ1_sB2 ( |Kln/h.z¬[YFvl_1Fm_@Sx^,XCm_ }YZ7zXZִF! Ha]ŗXi%3V:`s}^fp$_0&#_@p 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$(]]ӼCr'w8v@͑A6 $adHd`l36Qe^,Ch@|p_f:_[}QѝC,hz+b-NvD记-X%S6ZC'cf 8/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$(]]ӼCr'w8v@͑A6 $adHd`l36Qe^,Ch@|p_f:_[}QѝC,hz+b-NvD记-X%S6ZC'cf 87jo嫖5G>iލϲVdG)>Sx__PbȘq)(D\ M_arh[K4f 7;Ag5ޖo)o"7R#U!Iu/XSU,^7m&_rmPOnK;#8Bey/v8 !zCv|hN&$o<M٪ُb- Gś;!I7ꌧ5aPCFexΆ'#S/"%$PCiRΗ<ɂʍf|I%" d$퉤c꽚ݪͪXCGb=5&/Wnz"{OkrB3(ޭo]*DWpS l{(Z$& Aצ1S;A?`fE4!ISW2z#FQr6D-$9"#J,K?6OH uZJ1ZdB=J\ G$*:7&2S2~]WJ,hn㹁?\m:-IYR7.I|,mSJL늨.oU"S/Ff @pu1|<ѧÕA&x^rnj3dH (Ye}tجv$)~YǕcJ*Csl`QΞ39 e -w/Z}'ÞJ;QmS;8>"bdmM2EoIJKz-S`G]UQ6]8*׾lN^}HDƛ}QiE rb,l!-ug@H--(LՋU(et$w0jeYpWל,$ ԹE2Tܕ ;5y 5j€^-@ys7@-4GlgHr$F,r6_:FnjvnY eqy\Huҷִ;TAC,Yo6gWy5^#V.ݚ:}9$'F""1G-!C f'x)У^S (#_Gm%,{bڱ{ҩ*;pW@-)Rj (& ;xM¸=63xa4;), !ZC|KTa|"VDF!<Ը#grO`c6 v]tEt *.nx1 AJ/aw~}yb#[P_*Qhh]O\x5#T&*і^p |+wJD^V8D9ǰtX}TZ6on!91kmŚGo/;%$'hnd .7dR_Bm֜}y˄"7L+2աџM_hʯD+.ɖH.0v^Xw[Gr92KeNeɬ߀oep`"M7R-7QYFaܛ25]w Xi '#.i93ذ'IwY=8ۈ>R{IVcLON~D _D]*δ96i/|@iBdJAwm̪ڌ2hM!!(53:p>L#12U&IJMk]ҥKk`+Rѿ[ Ε2; |/XJ2D`]uxu`Q]S,V1l2H -1[G6bcX9"k.ɛL\~g`Dp!@չR +ǚF2! :kyYL74`2xHDdd/ރ/l&'VG"=72"sP } I4Nk[|wrR )S:Ř؏ FܑY Nڦ[Х)tˈ\췵~:{Qo|Q*9\H=0,AmT[6_B "/7;׼up1E5OB"7E^nj#Mx]u?{B6]_g p5 Z fП>`[ń1 zH&*S,'ThiiyСFka5fAg_v)TH_EIğmރa)-,4<\8mD9ӌ\ K8u)ԼsA6oӅ^ho0j*1˾U!ݣ ,q -7Ngk_cB꧖*КEWٰ*x\ʍ>,g0/'C/sX2.ϥ_8[8!wkģB: )3Yot4C?|"\y{;3lc9mDID{,7N SDރ!1eI&9@0Jd e, R43ޜ{ingFvl re0Ŭ"=3p/֖X&C%CudMf{ [b;ygDaqo6B{/̟!VGnr\p ٓ'PdYZqX=J')t'7@^Taw% rThHv:&/w5KvG(,״ܦš ژ4 z/\9Q%Rsp吔TMb:Ϙ?A_B<~p)hQ!8÷qhjL"9`hiаLqI^ۖjvbd;4R~/#??|\A0)!df]T?FR8  ͅ&S%E1CGpt8{s MnWJe khd}oU;f?U'bea%uud }\4k)ћՔsAYLL/}Ϸ1o[J^҄i22Cj)OTT4<o߅n{Og}5NL$YX*|qA7z{m3HbNPj?@b.=xJс-mRg&lV<RU&gYZʣj: BzQFMer <=z.#ybRL [zG#gEĚB7+=ge.aHjJjW- |+6Ω> 4x.ohj0.bl?yt'txCz$[]]V\a`EPڨ6I|d{A4גW]tmSgݬ9(x&&Qɥ$Zk)w\F](4^D v!+RU5f#2ܓJ  p&8S$ZA=&Ky` G( ߹Җ DN+eolg'j z;<\24Xfn)%TA4vM?VYo|Z?.nOŋ;רyxt5%Ko_X3 m<:Asab%ΛhgR?H5>ǡ4ވ5A2D߮(W⮘ę鰶|(.Kf J蹎S v'J5V6ޱ2?Rg{Oo;:rt;*:=hp[[0T'm _0Q![.R,V—߳l*욑rlMHP, _٬a؀KJ#FX?1ՠ*Z6]-jI)_71'w'Iv  =.#E#({ّ? cyϿx:"wS()3nĄ-ddHli^!̃sEs$r/X8sgDrFxDP3;ՑTdp:6 :Xe{U׿qͫ? @u,X[-*[pʐ ⪍"[8Pߚ%wswAHݷ_3Zu\W#uzZѯ2$syT?#'5ke+c%A䙠'+(ͥn{7,JvUn5y*OjJ{luGjy&NڶTr?ĥ@SoOcgjA4\`(sPⱥ0%j]YRT~[Zym,\fҺ\6퉇](!a3ݒ|K V]h0m)v2y2yy檐b\KjkA{WFR$oOXR8G\)G1-{ka;uևۖ T,eמz60F2_W*V ǖa\CHQ:v/."qrV.&!/1~tz 6C]NYvޟ< R.%,Ań~Qjw @l1DR7!z&Tوz@_JLHSg Q{0p c-,%z7& {h@e#^4<5wFD^u=m.Rg&kܶmYu\nߢA&.NaE&UTHnMMGl GP8Ek1JmoKN4nF8W|f_v AG'RxhqۦۍJ&WL2(g; 5]QRE2W+!ȖICWNC1>%:#Zw)Q s" C kfbڣhA!f ;v!#~qd*@>؊2ɪ!t;0n~i~Pk;Bp قiM=Сxigۑ+t{U3r 5ӌR(YKL]_0˨?W9|diZ4QFg3AL̅?cDXQ|+~zV j2y=i;gi^NyluCrFS!_C\OϿ4(b]GAm9Xgt-InQRQSV8VQ\c,X:5=޻%SbX.rtLw0xb^Dvs&Bpassګsqv|ޖX6CVP"?њΟ 98溷1o0Cp#n/CT[,&/J`8~6![sgYZ ddu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸK]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8}p{ZSWlrz r. ٥*|yt3C^p\žmE|ioe"A2SaK<.=QsI7>Uk~^9'HʉIuGpLjP.tؓ] 5PsS_яg(tWzR nmU3\!W,J\M|cm\U t] :bn!Z@ KULgqs4D dtBdQz+lNUEJ[& &K-N;L6G  fʓ(hmS?ekt:۵dCSI[c#b0>=x6OovBjgw]%b3f(5id@}uթC-'z-Mw3WC:ꏂ0..rS55p ǰ+iv}EȌߜB bn,7'%elToCԆ^٭ɸf.6DuO]t"§YCx P*s۾bi{]o:2/ద?(7ʒ,>sk&QrEH,]\GIB5$phl'S }yw6ႚ^eL ܋fؗyvNޛFARǑ#,{/6I:i=O{ոy ڄB2e=W@}o]M^|TG gVG[ZYOʊz4tF\jkSZ:XkWBE)*l= |Jw55w^*6o͕ {S%oRq5";FZ\!`) nьԾ"@$MMgR@ ac;o)=cD*z<_*t0/́S^2]ȸoW[R;l6RH 1oVDH4Xx`0?^hcT]>˪^B?|9n}rQFV:ut^/ľ:Oe|z%}CxUT+x!C~aŴ $۴(fZOvjUJ!DgTU?B4Bz+?z1׽hןXJW*uo/ Jr,gV% IsߡR!<8u ~<*ڐ=[T Gc8}j1l3Za55.#yc$AɍG3*#w) {LU׾3j~4K9چ4BuSYHmV[_ٸ0X㛬sW6+u*%(nԪ9z+xQ\ԋ1: >Ŧ{ 1+}ܝ Xm+JM3vkO_=*$;)tvZDe6"hAfh0{ 22$[X% ?ց G(輦\k`7Al鰕$=[:aH, U+M~SlτTة5 ҿ*,=bNWANQ/哲7cu+a,Ia)aYS-b;9h|ξ[ꖀEX9Uxߞtg0`e^\cvL@3\(? )C1 fRuP+@|i ?K'Aby#}]ܡR0X©jýC&iߒ:IrΞPYf۝A#D5}MVͦT-V~[Ε1,X#0p̑wi 2kY*~)QMʻo;u>Ja0uJ2UEFjHKTmcqny]0 {2$R\&!H>Sh(pj( 8r24q' x+)arM<EU^t9ҿyZXov,Pߝm\CjA8fY z~<h:qYsb1t9Wcd`VF*K,R7dzYNZFSU&Qo6-P!G*J45HEubVEPׄcSyfxH@sb6>MDFy<\p],31"K;Xo)~gx?HRKQK@LrzT;Pb'aQǷ9҇At:_\> re2!C Ae!6 iެh5'0a5}EIʀGtIi'j07PM SXEO| ),JSfUs%[`M]pWiT7aȚU,DmőRWb:gXK]2O ɶV"l?֋b 6̲tcΡg}kbχo1DZ*ke_댶(3]fm,#/H6nY-髹,NMҥqOe](=FBu#Aˉ .aHŋiZg^Bԓ kQb,9foQ@tUd&' T$+v蹟Ww\^U?Yб`*ۖJayK>K0F3>Oq)$Pwޅ10˜!W֏H;M M:@Sسچ?nkbzʆ}޾. zԡez܏9Ic5X4#aeđyju"\f 65W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8SS/Qx9r03Sk,nB"S`kL'gar(ȩ$u #˸@IAzL_<{2@&PA)kjfl$S/0Hy$JPwh Y7|E0و>" xm4Daá~el@93^˫3SG Bc?0faqA=p4 c[@}(A@+4}Xh@a8 Gh1) 0R;dcSYWUԟo 779,NϒT՟P@VDLGFzL.z2]?4uBY%,W4&)w\6I r"Ytzax/F[V*4C,Y<*H5 _Q:Y3m9ۂk`-3)J`]0 g$ Ty-fų-e|,$IbFG4LlA(Ź 0犢dK~߰.quM`tz+cTO_!7@-XU S.=XUA`,e\߅nԂ DDdeM?G'聀EB%6$O}%-\xUn+}>9N)mj1|n؅P-g7I0v~}̞@SV'34ɻnFM #4 n1jl>Yn~dҐ-rsy*# `6zF5 G-TI%W ɞTMg\qtV -uZ0f kGzf,3c;,\@ bz,%肍;#a)XxZHD@p̓MX |(K5G?ֳ>Q]mFO z* bnd;qg Q0( TKS(n2kAyyZ_Xw/U(}9N|1w y ,i۫2I2M1-&J{C;fDi;PpjX!~ņ\}akwAYV*P;;;3ĊXіm)B˩3Vsuee>U'Vp$a&F* ˡ+'8!6[zBXz ' Ƿ@ mrڵKzSrK]%/DD&riP Xc_f] 0NQ7q%Ȕ{W ezU{jφ*eGDib7#ȉ5O_O?0Gg6׏~IRr;q^pǡD$tGJ‚V)6gf9 ~ѯ^4[^q[d<ߠ1MbϻJIbj o0[G##">8%fYBJ6MPgbj^21Wt yۅJXSGHī>&F!21VgRPlƼ ; YLoętGd..\Ĉ+L@ m2G3b>W'?U[mS90 eFe TE 0Vb1CĦ {ډtGF=sJxe"Jm~i?xG?Pv=ɇy^Q04 }ƪA[%5\|wmL8p ,q,Vn&6A801WIՊlb''hf$UPzSq!~4HL`gga t_KKr*ɍ 4ݓd^ʛ襤螀<8xu22KҿP@}VTs͒AyOqہdA0RIZ:P smZt_]-cEtw#EY6Uoz kx !=+?ARߛ6/! :,QՐɖ(594'5-o &b^S_^]|)N|¿\;G,(\%!M" GC,bbdfs3n m4[`nUcirP|L|^$Q%v%n[`IfE8…C1,FTk2i߼~FQ2#c/X[fqA<ҀQ^*BRڿ,P4)hQS;B6 dft$+Ȏ=-dwyt|,:O.CM_Hܭ jRzdVLOӾEH(SRRUHSzq&О&b˺T!kPK>T;[:;E"kw?dz6C!Squg9o>luOtìzH$O ϛ÷*Y g j9Du9P|&D|Ye؏6߮{PN7b,5YdIgR%a&jP:e0 9l˟ 9=+B mRo[%7&d! 5]/jur|SIeAecэXչ ޱojs  %s?f *b̡w$1Y~fd\̶G߄(:8\@ Y6#qV^jE!(MM; 6nlXdBͪUdu!f1ȷ?9wLfou>j5?dD-TI8LC+eqsSz ҐfeLm)ZS oO: iJӥ~BNi0(;F" Н|& ^I=V%̺G``3BlNTL>KTEƴ[D8˹Ig@ Fʖ`U-s~Yg1$QߢdX@ѻրCh^dy9w3e6oyi41Cm>to FV@dC?&nӕI !do&R<?wn/;:\4NUzyw ٟ=Tp(\w|vIt^R'< ;b)4yZo X?ǵ,b69VafeﰏG>if.nˠ#TJ,CX ^]2v  )y!*>{0@,tptokWQ7a5!钾 s}(vLyKUKYt?徑ACk1$Xm/) ?-s@j9,C}0ğHRSXɳ<QےvPltn%,+;r?Em2*=\;vG"D'JYX?Eo#K!3ti tx%ROaZ)ŵ.% QobY>6`cpX2D~vuTT1X5EKI ,!Hl,Q_ ն>^ {/n;!fz:7Ӏ@'ŨVF+Y)4YU\14?$~IM=ɩa+Znz~o5.@xzW*d`3: H8^W[ )z r,~a0BG$ 6\pXFcdS+`?C ~n=rw@B3:Jb (RbKN Mb6+xMYgo\=9φww<7?& 1 9ύ: prcA>`* Ld/cuo{OnK҉dȩn{ CSI_Y2@~Ao]VfZwU_oqݸ,krs$,ċ7n0׿ 0V j@lIљӢ!ڊ< &iQ+e}ޙ'k_[j\b(JN,,o3IihN(aDvۉ_@i؜oh݆Y;ُ'ôjX\[Tn F]r$i[vY]S=2եͧ#ߒO!}ȓvs/yCmzOA. ! ~mIl{ٻdr&,)?X<%=7n{FVfd/4SBͷ:N6?/NՀ=$a?Wp4ƃ;$lЂqSx 9QlWΚij&|8--G @e.Ѣ~mPOs7Y٢yn ڢ@=,O#+! U w>Vs6wpS hδFGs[FfňC~mq{C.sN os} u,ɻm ф2WONXphG \;0(K;bOR?:7!@ѼY .6S.&:`0O^p'eZz0R{E23uʟcZoUKFH7#@'$O=1a]S=Ǭ/H:Xp|+S;(81v~-D;UnaLZ (/77;[ _㐵MY^ Xp\@ld?ծ=v^Pח3OK4KvlW[54+s(/^av%~?@q\ۏ= ZlDӝ/k%_9LRϵX僩ycܧ \xSqL+{̥LiaMW խU8"SH0}ɧs6h4hE ZdwXrn9{ӽ^v%b{f}KsZ#zE槩-m~@͉R)3~XG^q}uylC!ϛcyq.(ȕP!F`fTG" nQg]" yGZ$U+UF+fY\nz_tDCZ(`zE-뼪u6!:E,j LMI[`RM!^[o;;^@ϘB-w#(5' ZBuQ'9?LS*94}AH"p4%#T>mQ! dUo .E1/C/=[o04'//!]JĒ9U۱fT]2F#rDT2F6p_>yM\2/P**v7&W]o}qV̈́Q9ҽ0X4G62 c] a {3 #23|PxWND5C5 "a:qqnOnDŽډP^ /@9Mhq{$~FOO2ōoZ(NPM 쑭]&T,wʕnνQ!UO9޷x1<>9`>ޙx·-OӮ$kܽ u?ᅌ3zX m9^rHɉyI}@L3276̍]ʷp=:*7p$[za>^L(u %&jjge^3!}],AF @a$w9}WG06`~zuyk0CSߍ7$.Z+6thK$Ѐx50ju"%Ip76nΙN~V@<uq|6.uj-/ֶ݊fP2DԄpC@6cQBFQJ3P`&ʔ.[)w*Ntыuey+Q!=`\~yPbWEtLTM:Ԑ@5 qPVe{L] ܹv{^Tdj,ojHV/93VtXP A^'W<{vՃ K ]z2E/?S?>hռP"SXKZ91~@OI1^ <;Bmz`e<&[?üaP[ߐU ;eG-!qE7Yc9¤ U#^V8hwrR 8>An/DZ3([g.% sF8AhGXgnpo3&v.Ye!$+Gx+&h;,2FyP+r>G n샭T:)D]}pAL%^ S=]A 2|h`H'7:I i -l *9kD\cx>\"fA9O2HdYa}u5YFyAP,b ]5])%DxsD֊IZ9cO;TKgN2M ~sm~gZ>Q3ə}*9+ "'BU+_2Ւ4E Cz\5AT^|*OQZ`3ö/"_tW &d{c{k'2?q"zIbi!Ǽ{m|ivsFc DqK@4?}q( 盧Q|³#n?2(6BaaQXlGؗHkTa?@2{EÈ8Ec WtZX-o2 ^KaxXTWzFg A =aA@^*krQXxO#)\h$ #["{` ys鎊SRVgc^i/@SZډs01z(>={l!S[`%"]䲾eƢ zh|@Q!֍1KYelsսP;\J⦩n$~&B:Nٺ5ɑH}r* 5YYS/9~\^۰l+GQz+7s{O Mm{{ै?X/Q3ڮʴqXid'AQa.^lf>!{X Q:; +V8&?L' ::;M]:9 ^:./ڗƪ /bVCg Yɖ#%ߘG i,zP+/*;?K)ʍ.̓G; Lj~Oħ[$RԵrRZ~+)pvq.\rMp:h pRYXu#\gc?~у-4f3W3(?r ^c(`̈́_.Si ޞ7\p{ *kW{T2SjgS}:'룴;W["eǛ{ *)F!o x&U_Am+߱zF@BF?Äm(UwTTTTkdrfUo]*N6{1Y/y8X[O[RK/~!pRT t9"ϛb4s<yJr%J;y2B~y팒W{5^7:B䧈Y(uqtw4Ekķ HQ"rq6Ԃ]mV=W"MiJ[L_T{Urk=]>JZtn0M] Vl&<2FL1\*v< (T9l2VvR=A ˽%zjH4 ;8ܥ? 5)d((CC"0-n|'sa$Y7 (\w,؊8 a}b7$%5-K&$e~yPIAiq~NԱA܌e3 Y~C6˼*X[("&p72BjWu:x4"sܥ)6uM3D6vijTyV ͡cHp[v/5%M< ͢\ 3ޘ&kp|Sf~ zٞgcxpYFv#~/ czF¢f1U(S _PU5NwьצosGr+&Bs-6wE ^ϗ>3) M9%+hCȔ6f5;m>4ވs,V\V|h=S(lEЬ{K $Wye6:6e6/Ց9Mg]܌}+B!d0bW{A'=`՗1 bq[~N'g/lU6iBXA&cm_Z SmxAauHфx֋UL|cP֐BA n (BHZy-D\6:!ρr ;@K o/Ĥ2fe*mٛ^хY uP} ga=BșCwV"@_l&s# ;Lt_D=j IXf>{ ۇɕe!3b7_8IEi*Fڲvٱn rȤL.bl܍QsEgqj3$\Qv oXضRk\&> ͜ך WMkئ֥?@Q.D_O\8mpR{N _ ?"{XI >BJ=g~%<^g=m3(k`J6e24_%~* 0XיL;vVQ!qMF}:-pǽb4m $֘Z WsoPh> `Ȫ ]H=X `*h.pez_H,#M+w՝ۧ2bD/{)+HogpkZNOaYpUwȡ3P-͋¸00{7zk/LƺyOzY1+$rb\vUMpC/wIZڮ | oɍHjq&—QkQ~^GqB AO ;rW%<QKUp$2d]Q![0Qd~ g 8ۄ#;حaK_"̋U_ɥX\R$=:NY_t`/#+1X)?ܐ\rG- Ё(o krg.@ɞ?,c9uμMn% |E@gP )K+yʐކ*YN3ShibTmN2UiׁGs.59rVg 3\T;u"P9PxOs$P`R%}'6eTG>/#?DI#l 4*7[`0]cN2K|G;OM5vT(lcH-h}h-懵5sZtfyS{emlVAVsΑ4LuvءiLdZttbJK/`!75qii]U]|NN*sذ͕c?1uj4TυgVT@@~V!cmDq|-@Y J$j%5 P\;6 qawXuI/̰1 6@s{:a lW,|gܯ5@85YNo&RƙH^f =Po,%D8Q(NuM:ۙ':9Kg<gҴ^,jzhMb}/ 4PF.o F:D9}w-g|[-]LX`9E2e`F6ON`Mn(1ڋe=~^S.`>F>dF@'Y]N\;Iѝ Atj"LםPWHX+&ksԏ3)oP-`ӶW9 ZhD09X#)a.n`7)x.߶z|KH# Sy;,~ =@m1PEwݎ2+ I.&R-sLN«;BJlePmTּd"9,gLZ_E|u~Ȩ7Mm2*fElg*7%ՙ A$H+h]S[pcg; -%UIKڽGO7|P ~Zy_$4"67`A!E]od&kbc<5{"-si>^~:+֭! ?.>@IZ}KF|wUiAX׎F5Wx239mg8%ǫB 4(4N62&sg8B'nB w9a9R&%F=n֝z'{!Vpx~/x)" `OsˬԏңV3Z gIW[R *r}Ze}YmQ__83. ;.nmq_#IgYZFt0#zf0ӒTtQ6}diUr8'Hk|.yl0%>6iOYxNkdޗbzVPQøs oZiPR/FHk}tbK %`hB`#v𵘯9yNsӰM,]lbjQſ$Űqn}r#8b X*4FnbQ"3NyQa!9KWPVmkw yx`VHL>W66 Z4A XOsP }߮ vjGdcd ' A)Uv>Wr\]NMMQ TݢG yRёãJdrvA2a mMz8><w[b`{(!gH|N/ߖKќb/2?)Wi ˾a>w[kopC a9#,5 X}ACPbv]c Y>,2 ud}d롢J:џp]eW* j׿r$oʋϵ _7(@eK lzz:(J UOލ>**kxR.~34sBNP `&v<1Vka^,-1;2&wj{P =SIy+]O> W!`s^ޟ/҄n~Xuj *\<9coR&ҷ$sMW|rf40 _*PqY^6w@:"c \<Θs5'U 0-%8 BaA7"܁PiK?{- wtqzi[Mp9\aچܹh0{V{ٴP7&psYl5l\auJ/Ȝ?:tRE){ʓO]"u$;|~'~XŪ%vӭ_@}ps5)Y7A@ߑJLI5`4;ˍ-T4hn WRn"+ͺAv(xϲ]y];U/[U{ϐ-оU&)ӂA@hk- x, VԼZLL- Hy;,foo6=$[DIܩWKiݩ*2j*}/6Izk>>GFU6 7%H}HS<N=R6𤐆큲KD<6;B\|xǭI1Q.PΉ}8! SM_ٸ|YUl /s2K_XѬLM (mhd8eeCL7cv? /ezd(Wy5{)/2 mÖ\n]Sw~o]@/d,,]0)TiQY㹀`A{&m4ROb|b(-Qip>3!qC_'b?`Sm_yLþ7x_YLЫcZ{VZ Ӟn¤շllƿ_ߐBV '̫e5h/?qg Sj[,SE$E.S&Ou*&˙MY*#41Kf/Ȉg\2э`XVKVPO|s x΃ifҹ^ Ue:%p20]<#_MI4 V^):΁|v K~eO8a}5 ,`Z0_fXΩ2-k}E{a5qvl( 3 lXgȫJ\uڗ/ŸWYr 3\N Hz2#Q[,VÙ8L=G ~Nkjѻb0c8P]C'0?udd{qNUt9wRX3 )2;\A=LϏg/kb2u'P!VQlN4:xYA\z]_e=JoebƓzFVT@z < 4\ rv0 9-4 }5D^lc/C%ӛ0YҷIs- h8/(׀[{| \-{k=jBwy6G `ɽ)t%5md+|֊$,nZtl96Wu ``Rkm"N~{#"g_egՁr_\QdÉt   Qbv`CdY'5 =QgYZ j 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ew]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oC^@&O;۩ K& lzr7B'^"vA#6ۣjJH 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}sN/l?u,o\5i2Ո];oӆ>۴A@r a&Nzlt>)4żΡI*VlMõ[qt:$I6vc/1k8iCܨXQ$U>a~=uwnb=T$œ`o=jޛ ˁArH%|s afZlrcVʆ?IP{JNM=Ȥ.XFl\5yNCm*>(&~c$`ur^nc3YHv (Pԫ6MZ̝QkodK~5ˀZ/'aV@>v?XzS^vr?xZ9pKTN$"V^6 h4)ʐ>B>rpry sAG= %ɉ͞* l;wnI5I~hwS 8lNq@ۓde}1X}1F{lW;ɭgXb$h]ⅺgBy1 Wիf)eW]}v #@Wֺm$97ܪK7'9ҏ!udP\)a0l./ Gp%o#0 5{ȊX fiUZYBwunfD4=!a+ئB~1 4^8|w qwh4%4,(J3ihIQ[?V&:;= 0 *ߪxLM&u >bX-oNioX'ۓXx 0?G4{'_"vOlahw'Ik_SM \Qbn+9x`Xo)w !YKD W;t #zB1R{ρw;h@hegʣ8H[>}~w&SCaqJX18ri5ϟ.1A'> #rT|~׼oEۗwp{qlvq-ֆos=OZ V}؂{H9Y<)t/܃Jy;_BBSm^Row2+ +t#-ׄ8o6<syж_8?̃UoR4 m^?WDbcjta}&P=P˕Oq}uSY1SW`eW`l9pjɐHiX[tnI.L;${% IU"֫'o@w $f +r Od~7̴0 M4(_,GidꀁE4S9ս8iW!qmcO;s}.~GGpW5D':Uyy߲Ϟ=_5T6T6YPbޜ=F)vKoZˏ@Neh D]Oԟw rS<^T-c,K^?mL _Ga olkB}P}ݙpj4Fb`}5\KDA(ʤ(!gNC]!nYcIB"ߕciQ#d.to/-z( 1d}'`Ҫ!NyԞA(U6eVӍ\zqC=67 ol^:Q< a8G^M¨qs>~C2Ctm!c+ v=Ԑ :vPM[I FrES@%+HWk]ckΎ9^HOٙ"\ |u~;O$ I<#(lwaoEB`@ NR\Ck? (Dvi>qx繵q KXr:f[mA!7zZߊȼZD;C?fII3TO(a`' b 04_%q`Jܱ"094.y ^=GcR,r_I/>Jڏ:{z|Am$09E᱓cyuq>)PӘ{U-TZ]yYB⍦, >)2!/K (3kix~ ǜu3kjȔM'jƸ8ѩ"!U< 79{ood$HacIز:gP+8J@VGPfG+}EIdt6TH#W3X@MPR;lI;HU DڞZˉU۫ μQ yx i)Ғ[ ;!{"` I*tm*|<4Ufۀᯂ k;ŃM)$ |gUz )IQ#xs8(z^AgeILfV=b&{:DYk{qn~X2N~py9iq[#(ѻjG(,uO>(\d:mo{d2׫OiUZ$^$(L9;qA5=L2 3|^Z]/qf_ɛ\-bF<s2]m2.)2b>`?eݘpl^AGsL< :< 0pjɧ ԮOJ/xJh#/KU\m_9҉E,#=ōɽ׏?7 b+?r<<& Jr<zPe(XACpC OdHvĊ.UǷ@Xky:]Q'oZ'?b* nkKNw{،p8f֕^_OW6ԛ}0RjeץRl\HhZW&-zGTlIPٗVYbrkQ=*Nq)~x'd g8vԬs AF됐*sM`"&Q>})pf!M#8sU6PĨel}',ĮX1rk+NQoze= OZh714]GXPp#jOzu)`= ~RH1tm2cˇwoI` s\¼wwrQ~s$wfhay66]hC3ܚK-T/В Y+US.uP[(B1ˮN6(z lϰ ȱȋ.G益>z.EJ!V@ٽϗl#$,9ZCÜv7 ql}y%1QX͔?cOyXA?BVlʮf9 P-S1{Qy{PLԼ%)^zoumT)ʵ; L/L *%ҙE-;/?:)&Wt63)"N@325$0SbgU<[*>M`/b-'VKX ؤ!P[]Yeu<+߈FoiR~6` |QNСL8ltHdތATUԜڋ00L0sk짡>ݥ)':3=p=Վүg-"Q Hcf>p jeNn5o{Xj SJ[H+=߭Nڴ/FiSɖML=:UJq 9lWar`qՐ} 7C-Kir*5㽊𰈝çNsaF}yuߓfF\8c;"7MvKgĕY*َ~9 .y %FqE:%GC19|IS彽%mƇ?CJA_TVoaFjk6aI2VR'!G!!փ ]Ž9RYP/_* \<:Cxށ*…KW;^$ fQwp\6qX%PH2s,`ϯ޻><ιE+xXQVؖc$CPI% y筈C~<'>|?pu28muKSDVS}ד}zd!h0s%Ww:^EmSWg5yN9㶕x/|.F! d`Zة+['ih8 [ԩK[na Yn1 ~:k0~+? Õ&(w.U_pV!~knڥ&c|!{ெco:yU8Z ?r-2Z~)A^+sre̠#t$YK5ΘY;$L%W9'PQ'VTs~b1ye?g>KPp8kFoMF؈y{&M*$w:>d\Nm˼5><iDv\g+UPdH`}V*h.$u`!:@gdhj9diһ: (G2du *DrR{.wtYeșwxoxx"@6BI})L8 ۾N8^2G$_sliRQh#A[`nA=sMdV1壓l(\g'&H6n x?C sVsEzȞDn1I8KyHF2C'1H'&*BJ)w1-"ݘ5ʢYԀ5ڂ={ۛ-uܘ*Pm-^}Pe0V>} k#PpܘnHWzV.âRXMnB ^/wY)p6RX HO4Á*Z8=5z V,/ a'Dl˦G[)!Ma [~}^ qFetY91<OjO|Iq nX0 CX%І^'b?>,]7D:'Z  gYZ j 5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=cj?=k ,p|ox~&)Q]e{^Wa)-~ %֮nz"u`ӐD>?5@uR |IˣNd֒C-2ii0)Zx1 10>Q‹BbMJe![UBଢ଼?6T" oBmV$Zڕ]L z8{Lܜ5oUyOˣп& 4Iv)X"ttZdм>2,of\[ |n"".u7Vo}qch"Psb[f9H  .χl٬[MUqJY\}Xy`FbQDCz%mmM\i -F~ED$n߯.ęaۺ܀exu|+ab=<&rcqҹ2T(x]A<oͷT,D n`R@a6BfKu!F4gy٠Жz[&::DZѶE_ Nyn&dAeQd6}o<,ܨս"#II}) *Uz٨3$,:zAݍ5T&y!)6+~ .Trİ<35DG3><8e Ddb4ZVYwd;|aF(K:2C6*I2~{xhaȘI9&q\Mq |F \~rEHafYؚ-p< dh)zFqKR԰_`(qKR ʤ :T62|}'WQUI}HMIM6}0ľ˨$ޭ/Gç!VɄێ>mA8 F1=pی gl9?g'!>MjX?G|t?cs5QxQb:F;tE CvuJ=*\Z|`{;r?q[jx^m4q,wcnI2l5a-dqZvlgMhs&9Ti4 N\聨6xU) &˗|ȸ,iR#x SRxmO95JqWŠr9u4h-12·Hcd&_2Z42+cadt $t4b!NebC2o+:!d0W!c k:;a5[~jIW!4S2Ň]jj]\/+1ɑjy4$Z+ަ{dOMЋtZ{r_b,J6Ȕth4Dr>C6DN0/#ΐ32 B Xmz7k﵀ųGRL K*r} ( @>0Fh߲%0V,D"< ӄ3|?;+Lym t͝@;/ޙl[D{B8cdO:ɟyhgjgπЩO`1|$x!M%ـ0 X07k)ggv}[EX nxQ`~T"Yge^ʐ }I)REt?/8f8fZ@>?'a SoJK8LUvnApJycfufMPC;]>#mU1cIG\#9sSE`梪C<Ĩ0>3ȺyzϾd1!oda,DOvŁo~|[vvҕ(85CcM{_ɸb՛-~ F}&5Zk~`.aSDz\x)Vg;.%䌞}"8莦ר4T')cەY\cV{FNV>#IXYhSdem%ftN3~OuXDA7 r%H %q9&a T)'mA%{Tn+뉗P ޘ/i}UhN_ey2JbuF$^(L 3*&W.A!/+ ٕ֚S[a}F}dsdf?80F|&P^ (-Sި z]6)%H^ٞՀ5.fsɑ¼̡_{7:Z6eւ+.0шO^BQZ-{uBAݷRq0'47+26nn㭥+|1C dݱgYZ Řqm Tlw8o0r$W_Me60WҒTw){!1Yk{JnUҮJPp ??[@RRZ+D0sv(@sT$MV-*'j(EXgRZ0u`[Q!q׶ՐvsRJ4B2T b;(;(BBn8yAkr𫃂DYX1xa4}{0li /@q+@Rdm]`1&$Wi( ͎# v8-Ÿu7-:-b? JZR>$ӣg<2Hb$H[(9}%daYtK`'5 I@K5T}{:] ˬ_724/j=Cz Tlκ!*^杙֔%iliOs[=rq T56g=_sd#ly&u  *ݿ4 J6 Y{Ro\Ҩ嫇X3p%ug*Ay W+~ Mܵ^󙹔 ¾ >Z7%Fݝߞ8:?QlgЩHo0fp΁*>w/8uƧO܋>h.=LzǮ_`oWq /Sna:X0#jJi"[=GF(\z}HHAo Panu졘ʽ4N:jIP<)%fkaxyK7&G|ovĚg7P&SKK'kUPKPjpvꎷCpKZmXnf` sR:ua4P"Mf{%]yT!f]ZÔ۶U(zYpYۜʶ>hXQ] > )̞ͦu?˧x^NE^zcKBVǤP(ecW5{"[]#UK3aȵ- '^/cvIsPWrH:DuXqQk%K:q/uV@6ŹL;=DVa>+Y'ISR~rIsb]Q▅ZiE-{򠘍7w-s<ÒLV|.gCe":Z#)M24GI02"XR^ .* ̲ܐU?:o< PW{otXUoZe2DOL9-j(c:ŀ=v`iAkF9'@5 DgB4NHZ g;xd[?8c*fTYPT5>+%N=h;@,x@Sn%n/u%O@*!b [ܒt'qaL8AjF^dR2ו7Uw5y_A#եnˑ- *O?Zf#BNjPVDX9cwzڜ4̮hdEY, j0 Ɂ2-ΔG[}u8 vAâ| 9Iώ n4j7@j䁏e&h+,]ÜG9x:]sAjMD=})hkm?0_*[_ՋL~iI#7W8Ʀ=dur;o_!e_D+n {wh6=M/yBɌM3bD,fc4h ac_ @LP+6[TT Ϣn >an\UUO:2/ M.|Bl% 1ψ68J`Yp~ЙEBӔ힦lU7.6c5N6?,"H Yd-ЩxX1ЃuHIn+Exp~g$\2J6%+Pف7 #mU, C>BrR)C6yW:4kR]D\wYkE,QpRR1Чb 95=xNGRJģ3*/g0ZN4+ZKʊ=f;aI ЇT5g]#49#yKfgرbwI[%@Ԇw¨uc?sg7RfX xB5C:}.Tb3)6?.-c&c}HbPQ@1Ӎн*@^6q~S4w\,giei P,xb ]GGcRaLzf}:l>tT 9@ QՉ|%<s.$&\ۍwNB]`71$V1rFzt'zdиa޻2H/0TMKcN!:Hrpvwr}y*NC?0iNñݟۍW9q#)`D oٷ膨Jz>:5 oh&;G>bESAJF2EHDp:+A;X8jaFKܭwpv՜$m*{Cѕ6ך&F7Ki풂42G94E^Siʼ D 30I rwv} fM =Q[Tzm,R&s"w 9*紆?S fgOrNe]Y:AMz1Zsc8 ݘ%Qr^rP^ƋjOpʸ+9Z`2#I'Xä!HZo*qdH`ZO 6^m+?G̴IjZ A6~1qmKGPI>#dA#jl,_f T29** c\fH 9v-Ud;+%}(+Pʈ`?Ւ ܎]1VT,J=g(,Nn5O/ٜLr}, .ٍL^x>\'Vo3⾎ONc;X 7M)ݧTyoyj&>rhv~2yhc&Je Ve+rR/ 1%4rDyύbin3}6i=2 ~qs{"Hz-W!-aMV;\owd^eH<~ Jxj*dP[ -]OųuuR(/&)̫)1fL_kgk# {<y {Huy| "_װ~1 ~m0,Z) AxOT:}^9#א~1 LgBADTE_%n*|H.niI=o[eG1U}u0;uT$vf/ph@:Ԑ=F *ִX5ޗzD}<}w``ܑ-hQw G(Xe8qtd5 ZycLfŠcW2%.kݶv8ُ^'ŏ!WT-kV wšDQHeig(ӿ6i Ag'ir?.71 lB.+FvV|J IU4DCKkh9Slܕ@ƌ@tn,;obYj̒n[),>8>w|8(iePk<%~sXTxq_.bJuF["W q|rȋ3} Җ3]D z^oc/cNɡ-[}wff7sZMBj=B=+.យ4:.!8TE](o~K,bܛ8Cߤ_,LOGm 'hʚ~^5F3wC|Wٴ>ל YHŠzf46ӇX* C2lq\D꺹c ?3rH,n;HV5fg_Q4i6UM2"I- sx %l^ )t&WOm>> |!XeNuRJ {֖PcZK qnkW#M/ ;GǦ]~{WOrvySV=]9;[:ۭ`XXg7|jλ̅M,-[mUڬނ5#? ,:؇)e@'>`*^;||}IV&6xFEKTIv#dTl!j!H/!ș 2Q`#ׇd_] PtȡfA[R/g,c%ZI"y>~n+Hٮ+mZ Q뽣R0? '#!{+AaI:2/P.z_FzH[JPj(X!jE&=|cUTO&k޸7]XSt9rtL;J,&LEEo:]6fzVؘ`Upu2wK ׿SXSzO+V"Y;*#?R`X'^X= >?5k+` g|O h\iGa| xkզW LAhW}UP_]Өs7Xl栥m`#l|^4C˺6v8cJcA$ NS }ݣ 6'e4`[@0٣")>{t4d/ӊ?FYGă(]AG*n#-wmiϊcjѷa/~ѬZE2kһ'qny{O<ɬ ygYZcd0f9d195558c47cfb69c1ffe690110ee728f540d5a3488ad18ffbaae064d10946542ffd314bf36d 72dc51a447b414238b4717ffb07110fa03d59279