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  ]5zd$, ]/ HOL-Record_Benchmark:threads=6elapsed=148.548cpu=245.339gc=22.0147zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)uޣ')?Yq4l{v賯#@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙ L΃@=/Hzl7&А@hL72=Z:l_}YZ7zXZִF! Sq! ]ŗXi%3so=f_$'O@pʊăfma$O0& _Msb #dYR­aŌ}küUohNͨ\z&ޏ8a\4`!;uN߲;MJQ2ZvU{E{QzNg& ҏZ)r]5ޡiqoڱm$ cCj"πP%69WSm,tgUUͺI"u[nY/'a~"}ʡg;MU+)j uK OH+: p1ӡ8FTycl$7`4$oi3:HItk,ݦ9ha.cdo| wÏXZ@u 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$(]]ӼCrnȽ=>}F0QJʿ=0ȭ=HKޤpvD+< پaddW aT$$4 +xBv=EI/'^!* 29r8wzk@ PhۿpMbvpkgx _ut|]v˸vJB Ƀ_)l 4 /4qltaZfU6#/XDө t h Cxd}N"GT̝cr|I.2I5W4ѥ6-'O5b\gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben     _ 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$(]]ӼCrnȽ=>}F0QJʿ=0ȭ=HKޤpvD+< پaddW aT$$4 +xBv=EI/'^!* 29r8wzk@ PhۿpMbvpkgx _ut|]v˸vJB Ƀ_)l 4 /4qltaZfU6#/XDө t h Cxd}N"GT̝cr|I.2I5W4ѥ6-'O5b\gYZS5W)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=C0U Gwf2P#H6I(#_~ZT¥WbbtR|2$WZ"҃C+I(o ~3GfZO V:h>U+=#0mz .KKQsmaL*EwnHWr#\i+1DNDQ8VNe7x7A7p1t8(‚C? 5K_.8G 人qR/bpkrV#Twoo|ub [%enP4@=YnҀ srk[VȂmv lX0jep}%yGc3KeH,rIez D]ežBll|%odN_0ю;XFE\~_9*ZZ/fu 岙cO7r j>\tݡb w777.Lя k@f0^*pu;&SfASAU ]xox"m=$7n lFX?z^p_/,bF} + v(ы|6lDLJѝZw? Lk6l>c))-?1}BNk_/#G)55)]*KbD:yVKH/%:jeŰK -!Vz\(ȻR4d0(-k24%lz%\u%^>@ufBܶgk {+c]$1S߄\x C_!^_=pr Ϥꇙ##nL0m.r{xצ+rqVQ;<,0bAG65R36g]Bz˳kghJX"CXTĥw\\L|ŀܤPgJ ExTOIn5dC0S ~_*j|lgFā\%Y*&$s㘷߃oކaw0v.ip._`uuRK-Wk[,CC'!i8W+4H$S3mbWS!*o0ѯj`h!po4?:^C 0 [嘜@ +DAA>oc$x^ښԚR݃Q#>LUsvEtDYw=A!όnDnY7|WᐕxIipJ9LM2\eW%L!aoFմj~^>ü[Kę8OH0^~oT-GAeca X?syߟ4k|Y f|GX3?@aE? hm`N_CQ^ *QTA;KȢ]Ub0>U>թV@usXmqITHԿ>Â%J^]V^JPI6' "CGh_`͆+Ӟ{wZJYPכɴpǁDE<"Jl4PHRM_•F4 ʄçJf|Gyɿf**`*[1^& !Ҋs&ĨU2xUb` `wzǐY{Щ"6nsoJP'Aυd>E.n9On˛88i%)ӟ( x4vh*ccV歉:NX% WhHHJ@$E5fmi!R>M 5v=/@Qt4Gp*v6|k $ZѵK]^Ha>acWb%ӷ\H5 =%|"p̑o/b-k’1e'.m|:37 =X+;C?5f1X՜!y#۱˥OxQQz MGAX~|ư\̳U\,-/Dabe,m?WA5xD:F,SXfu 1݊JB͑[xiq;0M;Dxt1M*Z?|;JH_ek.:zIر7~s6Us;x:O޽媏\?̔OM#\a+XPރ[ ǔσ9r<׵Y6\ES45TWI1!ms\$TN5'|KrK<)Gc)=9_._qpv)%}2WXiM6>%h}unP)50kF.ىTTTH*3(+UsJ\FdVGȳ֌ L"I[F%5g&$%Wf*I SgЬ^:,#p:r|zYGr{. : LuvV)iy8Yڐ9tMk@yw@9s}Y8JXp=/Ivʺ75]u6ƩP?]&H_f{Ҵsy[xyq| :6x;}d:ZPb#MRwxb+h`%Re$?i[~Pzqp',ΘW!O "{TZ.y1XYMjZ5o~~˂#vy諴h #6GL_;Qșwy ITgeG=绮_N1,#v\rV k*vLӹ1tm:SsS©qOQx0B mTJÉL:9LNnaS7unߟ }x2M /օAA䧖_XӾ:p*",8K*д p2ӄ-U;A 0&:ǐcܢMNHFp?$ᱠwӠql ~@OGuE&,WZi(@NM]ꖕS>gSL B2(̃_b'|VvX/k*Zksp?sbI˱,X_t]KA1Mi$cm<)#kOXUT#+$Z &?-=&`)T4Ǯ璘w_۹/Hɐ%׷T=*85:Q)r&q8, z--boxr- !|zE[sߧUn1:\T5sd3!OV>T2q-2pzPԈpާ ݱdTanSѴl+ٚdۙY U1KbcH:݊JD"x!bt5͡!!%`hr>]Oc{A=q2.r6!ϴL:SXzyOQnvs?؏NəZ-"AHKRGRM ~ 79^sb(e/L'@UnS&ɥEl.!<JVa1P%{h/ =u.kvFeP4&VHց X_W]M*^oej憽i'XE{*klkqouZ%ӌF!|`E 1HywMw/~U {d@f8N݅ļy 75 76D̓Uw=P2́(v+'HdĞ;DTN{/#/jBV#:]~L8۵%NBpf8v+~*0$HzWJ{o i.lQfYQŜ; oaC8HDEEFX:J#P[_o$vS.߭Z6'}` 6DƐ YҜ>^k:[-y yg qC2`9Gp'Ta"{+Nayp$l;qfq)SWKK ~w(?k_&"q2c{dRnUip% }ObPuVJ^yo' -}rٙ.G|z40  Wsc `"+w| `,4<1U}'D;=UGb84w][zgF@H v& gcOfUjZ1r1/Ss,pkm-TS5{Bb>_$砅|ycz?i޷ުoYy_&umט/4a7W^w~g̠^d86nb_^ *U@z( 3me`G &MӿH_ )T)E{!ntX&pNEdUL)VomLZ9&A !#wK!҈mgYZ J5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8t!]>lu([Ui.cF_$4q+|ALzDͨ;ZUTjVdsSJwǰ<N<#ϗ7JwZvZWƦR&L3XVMTe8õQe$C-Op3,S]NAKT]q&]g1P~oeRˮ]F i7)3K|Vhjc^ɷr҅t˭I xFI\v^֕Ky6SƂBnUCD34s073:!k3{~d4^aV\pavjj2?V @촱}L <D(>aƟg^=o1PDZ;a68'n Ձ6!ۃ৖Np$I~ N{%1!eq&* x=l~QC8}{&'F+taoBTfHOg24d r¤YK0vUOY}1XrF;[ OLj>{<>'4Na&m4w78B7L٠ og E YOz"[^ҎOi pꢘ8 ft4DPgKԁ R4)K3'%S^X(2`*}H5}]iNiy 4OȴKV.9]hVY=)f^Tf*\> BufR~hB V![/Y|%[PZbW>sv& L)phiۏ0I"?Gd8i%_x 8J]!kSOg J#yfQHȻ@g}Ի.,C+k]Y4ape}|Bjt,+8L3Jr}=:ֱ_$#\ w\6"w5eݺ~kT( IO%')ԧt+X i:^`t28Յ_ E7 J?IåAP"~&׏Β,\4ñP+\B[շv2,GW)ilb qF4Xt(RyFPr*c+iH#]={fr.Z -&X0ː]|4I < v7Ďۘ}2{Cbgs!+O XJ^2籥a7S@O ߓ{ YHs0aC=C[VʆnǙ27]GRuVܡc@;Dz&I6~A*>krnЦ,n_I|g?#c?,i/x[?-Sq/u|o},O4HE9c8^2_5Rsu{bx]T{`oMUxbJUİHN`^>U=''c-q"UԂJcEǻp5xU2FMV Yd)TOmΫE+i sG.dyQ "ih I٨ol?eJ?-SmD/Jw|mM%- j&Um'֠(jkXL;'L|ӌzQ2R^" l2iVK7]֜M](C )9R@NR.k0`s՚pukp,Lm<4B;9#&`=1 oŌcdeȅ0d8p7i^ԃ@Md[סR)iB֎քٿR!;)&S^ב"xI^:m1Wޔ+SeYџ]v-,~jc@Q\%RlVogt xbt!KQݔƜiE sAuƆK с@ u$61h3uiKL)Yy 7Y%TQiTNجPJk2m{Ipu%ʸKbNZVۭ1N 6yfd.ɚm5L%j~k41UJ},VL c73T+UZkȐPq_3K.- o9==g̡9[Tg9j\ae:DDDngV;c/u ʡ护IXވgK4EE >7 H!VZv o9;UdF" /Q*/R_%H}A%]wg,[W1ǛE GKA:%63;lP(o,!][yePc=I}G.^2MOO'? Q|3o[pp@_{.uf "gullA,J00҅6gH-옻 *<ikX]Ѡ`Ceymz;CY-#8ZC-u `S酛3ľO@%EB Ek RHIPPal[>P噠G.IxLsl0^3^XmzizMᝁ0(W@byúK~LdZT >Sa4K2TJO4aj@K!Aj^Z2G/m'N'9#g[`Im,m{?G-SY$WAj|!~+^)+Dğ0E2XUFtkBH,]m:I_CX9! 3~'1sgR~(,#ps1X`+B3eh߁UYk[@Rd{ʃu% iڹ:A;i _3ƶp Des{LI}2SXހr2K 1a"Dk[鷓Z<^1'ӛs<t"ʯ_ƦaK+$P,KΓV%PQVSq;P-Q[+■.7mOH\0ј![ʓR޴t}zAfZ[ /5R8n_HH;$ 8 }Cn-ni'XfJ"]zh OgZfHlhk)Fm/:C QIro)yK/ϊž5*Dce}_HLwMj`[ECQl" E[|-:yzH)ML QF53ua5#DR9swgmx5Yw gDZ]@A%/0ݧ)+nSk!6V_^ +JD.9J`M?+}䱕:w]F\ m:(M'DwV]euLWݏ3{&Ey`Wy0ճ@))!TG{gw [!3p b&Ж\)t1Wa']&(R.ޯڍZ !#KvQůC|^ne//hB&N:7=9tU@@"#ʸ8};'{ ZoZ1uyg@KnU+:G2d5N_k}(XP yO P,_ SЩQe#;.rʐ ekg_U[S;OD-#G4,AJ~/kQdI&GRo tMp6`1UYHY"nXhi^ :II)G*RMEXL/SlJzds)|×IşfA{OcOOCeІ@)A>E, |y4 YHwxl5,{>ϧ3v Ge+ΘoԽMkiŏ}c8l^`8J;w"P9%E?fzIPWzAY^?_b ųހi˗@؁apWo|KT;^BXّiCrw4 LG0!ydGjx y}ޏ:TSNGWj®&|aP\9!a$ZW1wә/BB~nq:/}r/~9⚣OI:ILgijldKuD.Yb~9oSiUQ٦t+w?2.2%(G5|өu37 9 9>7ʔuV2Jz${]FpuLp/#g1o+֪_NP ˌeϩvy`.5`DUv= %K8P'! "9.uDLOqD(̬Pț&.8@ݮ8dENoEЖx=8)xK;~H|qO԰Y"d}\k]Q) 5Uk23# @sh+ѲR{# -KQ4TOTEMmի0mJ٘Pɪ{`}EhsmE)C\X=A7ljׂ6i&д #0-C)%`>7gïLhQ.iF_kB,`ԝ}5?^4 ?r{s'_7Nm!y,-<Nu>85 N"`8$x5Pee[W=CB13e!scvC4gئcX4{ÝS.P"Fi:k0KܣE#YܡqqTZ97JxZ5ޚYt :4a$Zj<5^bftݻ:֫oTr]M7*G"֡(^7U[4r! 'jҵ6pDT0 (G`γl>T_tD=Vg Ṿ%?V6.'c,cЪ%= u[ (TeFABb:\ S5k D_6[s_EQFl[˞ U[,!smZ|$|vF)!I8%zj-m֧qFgSyGr_b|A~<D7kttO}DŽprCㆌ܆\SE O)ScEGK_j vh?q&$$NDDC-Mz[}91edA%8`Lv+8xڀFJZt+1`MR]*N[0GPycTw4VHRй,jhO|)k.EfLVQ0}&.0]ۡMobkwa/:N\gUo3dUZs[T =RǭD>pzKy9.GRA7Xeͩ֬׆^RaT/ʦ,g3 `L4݌#wvЗ NRN Qn kg`OJ")0Ψ,鶵]Š'q}@l(+)dv5s{ n_F+j5lNK(aT#û9xXWSJU ՋKNi=TU}վƭZHEU{3߈0@ `gqʚZRV"$'"gBlD)5JND+J5Is4Ӄ_HҵZh32tnߜyNO-;" (LXt,|=˽mIgc zWԟ׃O^AUΪJj~l8o3S s}K=tOid龨~i 1+"I$m۶3jX6;iƠ;B P@}1>kéĵ^ j A&~fxVuq &~{og$၌:V(mDGD;"3Fɤ}sm\SlNV{;-=]fÚoj,P4}w@2DHy8E^R?hJMa@9 L>b/OL/cFSykx/E2۔&m!V/~Zʑ)SgF].7ݩgY^ ~sa(+`T,}yDcE^iEJǭS<#>#ma5qJ8xt420R#aVb G4XsɗYxhC)QQi3OcX{|d%mِ3Zbߗ:tIMB7~<薳@D҆w&,t-8|ИѽFYqgoT;F.;^a Kk&:=>Gt1u^(s^ t|0.^Yy(_zt-nlGatv!e^֥ otʟxd|l ]OJ".+yλ'?; ~d£ 0K4Byn9Xz?rKWͶS(0!ChmfGنh]VȺ)\L%Qs:A-z !Õ:f^!>wR Dm4;[i~Eu.+)e m 9;cY-!xYD.3kWx\OJ(çZ"j jktDʺJX7]ɛ@VLz yڳ:oR fM)#MN m  -y{֙B;m4MhMoI 66Tm;dN#;i|_!TcD(LI i0Wh,39bu%fDGf:E$I\MaBW-[(/T^UQ``pü~EB6Epq|mRG4-%YI׷'4/!fx*L{[^GrbIM,%X^"G'꟨F"%BG\v&XJm -h+3nh*P9^Lh՘;F&蘆y{M &dj?7&ލ'1#}LD3έ1>5`bY=\/FD?|h)N(ti>#l7j(mHB,`]@5 $ A90i*˪F v3?%7F6cv?}OX9yl8UYLqɷKrHw(8 )u=U) SN޴Iub7s͐):B*`3 14qEFS_GCК};vii(.X?LFgm.H= Jor{=%⛓pL2h#|dQ &ϮF-ŜmwO3 NH ~/3zta;e{y[QvfQiV%(@EEsU+Zn *sgԇx-3[+ںgՀߴDq*ώ.MY*˿U2Y[DBfY4&;O1cRUAL qQR9Q@#ݘecnNc%Sƹu奴Bk$*odH5NWxNZj&Q1|twɮk7+A5SzZ cG2>4SN:l{f_'I,3Ԍ6|Y,=:H;{8Ǚϡ6v90˻2QrG3Yٝ"KԲN*<40^pӨCM8?牢?Qݬ8(QhTVgJ1'"ͅOf;aDj}`sҐZy@1; t߮{+dK-`gSp@=*%FVKA8%ppydlhX'@M[-E&S88AaOI6MЬhJѣHV!+Jʚ'-to2<R 4ozR׋ 8b(gAٽO x( }X 1Ajw|9M JAmEdmˏې冩5GH})z C,疮3F7]jlo6XAR I[WfɏpF2,{0!@/ww/z'G9J?vQ<4.F흒Lz;q'fMZ'@iR h˭4zw#mg#|k5-u/.7MZӐ#U(߇BAxr G]ONk]Bҏ;e7i!A+Y/l [T۟: Ht;Cx$)%o3٫WNs/BQOǫ{f`e}`9.je[!iΛy'8)#tH}׫H;|u>#pLZ'Duȹ`t\)=t=}mЊlcx׉:r0wK?",vzuFfߗ.ml3KX&f' 1kQMƮ`ʂmWVI".DN @rۖ%ER99Ư1LTDÙ}Y_N׌&+\Bϗlc!ۏ`)]F=@fbךO@B"G!]4ݯֆ/tqu{,ܞ}qGcDa|B줋Ca&?"K+f 0ZEXTCÜaU2HP65qAsU˨a}6gG>$R\iq;9̔<۴A'F!_FmښA&'G S9*Wzd+rbVR DGes BVKeֳiNe+Ugg47n֊1$,8h/ S?UAT![4"!aϊ1!lKDlk>fk xh0{׈9I\q)(Y&gjⵥoke~ޞX(+YЇB)a}?: OSԙߞ4G ׭<3QzX I^H4hVDѮ`OW{YiɮKrbqCm0SZSs o"-  Eny4V-<#jwWcMNpW"Pӣ+;- R7epM<8S:Qӝ}GxR<ޟ+EA+OILˌ=&?,QWY +`TsZ)1% V{o J8U}drYeY!MЮ$.ON剦B8, `-4=F/MMߔ!5HBlRa !IH'a) Y࿼d=6k0$PL7$/E&m2)F m sd14kk`S}KyD~__7/F89Bf C|)I) 9q. ^LHS +$RtC'G!i2F9.&IvLY7P`%Z/`3_*)J49#|no܏pL{eeSϰDAAh~30};5]&xpND^lf͇%Qe\oy;K& %R2OpY>  7HhlfɝGeB@9$'[ jOȱwW>._ng! +HN=mK#2>(^q| REiZ>)kkRdAI2^j'Wݨ-p_,*u}čk{+ >q0 #0vb `Ym W6ua?wo4ߋ9Jkl[$P('E6ku# s) ģf;MN0N#"X K\0QFV)(\֛"YA]B^ZLU;;!tn'ۢ&¦|Us,EK2D۳NR69-+x"`Ԃ{4#nO %Kj]JZCi*SBFXzy5SE^ܜ ՚,u *w/odGw'@kB  .ێ:{5GA  "P| /Bal^8W,O)1(_0I. GvU/bG><\ɀZfY;a{n}${n%b].v@#pV(6M З4Vڳ@ tfZgųȲZG2m2 ^dz㘄˜v`T`h)W՛ #YCsҕ{Iu]!& nS^!`fypM|FU]E>}y^\;܀x|S-+J~lZٙ!l;8vSe>@Tԙ"&ݒT,.^OVJW!7KaoPlJ|Z ; =QUT,)w$yA, i `M^EH KMI70k{L?<%m!4_=~`쇕?kz2LxFA돍mˤڂQ *oӶuIs c_U"_^jS!3# gD{Q*<+m![(HRkY yĄw*ǩ{6={RSrEQy n7,K9ia ˏ]@6{adZV3$XKOq}!^ ^a4zC'H4Fl)3|4sϽyKc^6D>n VX7o D 7Bn W@])xf93Aߓ 鿝`nQ)Kj(щޚ8؆'}PGDC{PFe'.'1B?⸨c!˲V.CM7QFxl.~Ϩ7)0x•ܖc${>kPwGle>Q 4]_fi_za@ݶYog.ڷ2Na-T*'DqXstA@{U~EIh.~E`]`G#UJҶRlHQ 0>vVT#)gYZ llu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸMw]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8>Qx?r=dP𜙜,k;ZT[Ǩ/d9X}E_?s)[ rhIZ ٱJ@AFO L%"!9 -8P:)CŒP:4UFnAoٜ8? q"=4Tvykul9(V8Uh5O5?+Y>KzZsVꭾJ7Z { ړ4OqqSd>0 |7)Rra&Է9Cx&"y+>ߊY*o7g4_ٝ353O0sæ;أ阨@KP}}@]s0(}1#3}E AIb!pI,iٳYԯ24+W?`^~c7Ȫڽj0Yy,[DSTZ&0^*+ P .$fI˺YUd6g}?MfMڲpgjnllXc& Lp8[GI`ur'va`Zܙ8pL`9]{aP2p%[ࣔ}FNKLn:!"Y6*NcuZ53e];r |Z_eM#F`ĉWKM' ClKRD|m_湁sGEk2#PQ DW }b& ;VETd2[B{D DMx)bc]邂⟔V:l1%/QF%Kq%򯥾'al1ՅƁ<ɗl$F{LoK`(gf5ݷ -3'XQkMD"Lv@', ( MN\ \ԛ.U &ސKl=^g>6ȗ*_P 811:;P~s`t:ɻη5A()g[ul>l7^mjcfa"^Eb &&ÆӋ4ߴL `v{ O!q3`l`dP-aG@pQN:w+(i6 0Zg=6ӊU8u9P#n,KS/f[7Vp4E͊Pr]XfЊfZc¬m0"9jS?b2H#M5(xjcx;Ӛ1V;gumj[MԹ>2.KҊrs[)AgWИ?h/qٕ]g X:7mH&LMhzHXd(C?`>E@`:<3*uuGm Yփr",6J^I8T!p9hb7[0M_W@5{#zA=gd54)dǫQe0ulK ?u6xtgbXO1@o2#rr"f[=j`H:ԟ5EȴŎ8\rE!iܽ~ʐVW+݌VI4!?ek)sאB[M/k:g;}v+-VxPr%ƋDqМBJLɎA_]W vT`;* IyX Z,$=R֒%lD:Z/S EЈ|$Ƽ(*>]x"d.^ N[_z Beqтv1k~M4Jbgfwg+5g }| 2yjen$pG;5LiN^ T%]\PRo,O'Zr+?|Ѱ&76, B>\+]g;S4I(<0WĶE*QOOH*Ww{.\l`g_ށ .G 6&ec=t nU#z`j"Z{ >C+E{aH<?ZO2@#;SbG8~∹@Y<1zDXϱ;pB~!l ׿C >Nlm\1'yjgz}V؝(OMۙSw9딹[N<}$}/@Yòb_4YTs*Sa5+A[u m;0dϫbl*Z|Ei.Sq0!) jҙ0[H]r֥.MSŌga3H0(>1wkPTifK2im:HqF\RY@;mFAsOP̫8/ѹ񌇞O\؁T''iƩ*eOci[SA<!Pyb8M' {XHW?=_!D-F dm^xp"[υy_@Vyg [xd\Cr|p׷:6*՚̫_ ו;0f֗ȱWu$'U'&ܗQNZxr&!zFQ.Zxo|WAjӎJ:1-}lN$b λd ½"rz&m 4ps`M-JHڃ c0܁rPp5s +f~0 7|s-2z0`J!u% *=`pf/ '~Lqx} 5Gp(ߩ8b(CףHwIVKpv K3GKu# T(A KRP:hŀSs!5o UMҔ9<;;xĪfbQ^DLk۝H 11];x='G*ҚeדtaDn^YCxjvϿ*. O&A87יSP~EQGSlYTAAY>U3T=(vK!ML XMFI :Ca 8Y7r??Cg5|.%ډ%`搰6 `DW?٤$~% PUH_IqyEUZu)VTRopع Tː96Ϫ ^JAXd MXsb+2Kq: w,M^ܻѰ.W-Zuì`Y2 ,DlKɜ{Ӄ!:w]2\/z5l6w6, 3ϣDeq[p3i529uo+a1UCpL~' Z3D#g)GQuXZGYsa>_=by4Ԃh"_^ Lg$$ g5Nt /7#Oq1~IgM2tƽ ľF'nD ˳, AM&`O uf,e2pMwLڦ$؍?4G$)?PqPbX`%!r}-B~wh{`92bƷ U +r!/ቸ׭J)5=hH^h//Q{UH0LZ `{ : $͹R V[ >fiR$p#A߽Ѕ|@hY:Egj [Ӆps=[h':j潕c(+)hHm锉j\"`@mF[ Qޗ3`n_| UgՔ7L+vik5ɤB1*ꤿBRm̖drI`^A<{V6rHDHqL̞C&7^RdhDǫDChCDݵZꆉde\RŔL?s޾ƕjΣd]}w'xB^X&*F f w[BAQ2J\{_ b&L.fz.e6Td3z"_ Zklf Qu%*Tp8ŇdII]AԿ?*"LU.ҭ"(W9$TBcjYoԍsyZ '/τC7k̤t]g;aɡ.}Hl vNB1c8YZ.d):@].!ph'n\ڳS"~;2DzerPrt 00jf(?"_ ȨX)@^v|pNMĞJJ븅mJ#FVbY5n/?]%zʝ%i94ݹE^'~”?[; [nhg̪>h@͌x,Uoۅd\bw۸2e)=2@Iyf?&MW<@ooϻ8^=M 4E1KnƣlvဧH7+cV&uH;h9`n"t-[Sa|YU7b <ba_rYD2{OF lv9aq)f*;.罾 5C 8~+9:!t{ĸq"&kAȑ ~yIx~8K4)7B5 S3$KXsba1djp0%%{:Ӧ)z>]t LA3{TVL%e[EPG]v 6­XcD Nop _hÚgŔ D#됲DWLUhT IGE @skh,j\H}4Kx6 0mA1^s7u jHa,S!,szdsC(^#b&DI1 SGHk~`0'&X X-KM<=pݎ&(ѕ8EAVmxXk$#+P,{0b/_ 7?Uj[A//1n~S'iNw67>Ga.BiiZbǺJםj[q w3 WR?= 6 +TYBJBwex=nȉvbu_Rg:,&_QD{"'&!Bqڛ!6wo:2Ґ CK>IU-o_뽠`O+cL45Xu.`|ƬCޓgis($ėR *Do'0n G!܏S"ڻ=bU$wuoZRoY0F[]/P9G z":tEO1锐dhK_]F%asczX%Aù:Ju U'_1d́\Y)N-SU0G}G*7ŗmQug> )\l}3&12Do\Ii[FN cDLk5` uS_bmL'^F؅*jz\M@qP}6S|xI0 USKk$:O2j> ]v0!l\kQAY%#f^%UO$7dL1=Qu~7c!ΡB܆YFl!U]_Pf-;W{+JB\ iKOBq`kM1s>?_$@xLĪrW,~^HU͇"uɕ[F CJm̿JAJkbf#xvFS&v}2S}[n:q`s|mẴq- ZmYѱuHE2~ c9ږ m`%7VY @@L6_=۽@,1KKxrsP贂Xk`x"t"q2d0)sgQf]EX|}LT5O4ydqtTtq3 \+ݻ- ,{HWħ&}ޅ,szjYN`rXI(DRbUsGc7Wؗh˦xë ~CN81% 6 ]OXdh5zp]u'A╏Ka$ eI?T~ pvo?YT-AՎ{sS֦!P'[+}{Cq7?^/d1T!(]ocMbfM3ܼlkbH˄H Ig_۟s)< :=-3MTV-7 U 4$>Ȳ4c~L|y,:w`!A~}f焮 u)LHk +DĦ~v/`m *-Fq~vD4H Ui8Lx=8 1r BWՍ%uqX}簲¬,ȳY\STݠ+X:.. jf2-G) 4js,RgVߡhSs]Q9TmiFB.:駊vhp*(j{]G ixwCx'z1k,yo=P`Aj)oSt5*Oӽ?/W(^BrZ;*9#g])}D}AĮ(]̕lɲ`JUtΨ8xِNlP9u[eͤ*rqlꭚ<+y@=_u{ʬQS}䫋$d\fl5H0uE&G?- ^mqejR%2 i ",R#Gs $T`iqf74/ׅ;&̺ę5f:ź\ݡ 2ԴXtx0W]xZ ⢡D/ٰ8Յvr!Tz Cfͅr0oK?*r~Sd;D{)lVswvv쀺 x솁d/>L o!4/KPv&l].vG[r 7ՠ3œ  L]Yuoڡ,ZE:SfR"Fw8I+[N,*.~?K1!:ODƸqnE N*1?!:e}.'wxwڧiEYaM~lMw!t%]I y2qLgu"E!ʻŮ_m?1U&E|O;p8_:iDC >Nv:heуu7 ݘ-Hx5;5a`C<eG8=P{j0H|bwF`XvpI_#%AgAossul} qeIٔ䧸rUYh#5}ѥ۴{n㩖 !+X4$`8Vcoतn-x l #] 9ݞ;tp:QHun@k%ǦW#Nf  U~nWD/ g:C_n1 YzLOLY96X@KI#.>!+gБIR 2pհH]ܟ7^M,pϬwFJl*hy\_G~ju\`,JӍ8ܝl1P)4CP+MW[]@ y8XH29=dF j0ph|DgJ-RKYʊX(M[ќ\ϓ.5ه @lv+iOMs=ƹKhH$2#47U?ߑ"\? z(IAyi<9^6K k|sV߳DZeL. ޸DdiU$vA5h+3?Řr\ʰ%-܎ hzz7e6.wp/eF>Ѳ/hi g.`h]L@k3gH/hP etrB,p?flz yy>MXŋ7םAl> =2T(7Sq8G>LϯwK)V\~zy#SOme_A-\7׺@Ai47Ax[7 I06۱r"N zi@I2/ue. b#"o@L`O"Z{5bAkZޠ|tmiW-^d,yKe72/LIXӍUMiiuK@SϚF ˜j@wAƑ)6c*fw%vD`byW+7 7F7$:hdxpv{۲L~|kBgb zeZ4oP)#SXo{}olh_:3i.VuUr3;Pf,q:1IsoF9f?~BJ 1'[u19+ c29G~+טx؆((!$qcsߜ=3j//܊Z)Nt O5O:&r%?Q(iRX dܟ㝫wg Jy?#G [Me\WdNxjy˷ 7"_m)qgR:U/"`4 i!uoE5NУ5^S>M.҃ŵO~pXy 6Eew9(5XܵL6rl3B͡k&= &J Fa~QՓZ/i *G7H#cmpuqM; ΊQX@%D4+JCwCꮹ"@m\I#=YXk2 -P#0z-=%AWGwmϗ,> =+ː3LxEK쒱`tķ$tRtҔwn,?c-rwf&1+,90VHFvA_泿Qv\&\:GOdnt2n|@dO9_E#pK5Yp X |+Qb w7/ L/T>55[@ Z䗌*Ar6Ig%&'aAy ·t:{~l!J. 4h+֓0H1a <`cN``^/O^L_0y󹞿bWNx1LT87#;K*n$렴dDg-Oaigw&}i2duHLl3Oý,~=:<,rr {`8} ǡY]Ѽbx[:Ύhc; F,{o\v~)S/S/A8A?,ɡʂ<~p@OIbEN==_}__<-@T\JgxbxE=8˸wBL,v̏z]Pi ۚmn7U E4H!W?^wKbi3`RetѤP(?ae|J~FɊ 7K3o V J;"@sGhu0WBcc\`jp+(NPчoGR-:B%~LBP5Vu@%˦x"Eƀ3qduKfJ3E UW>ZQniWN;A:NZmmZ__sN{B>98g-3o>џ|GR) |ߝ:F~dۛ _!QW d+tbml\/G!N"/Xt^X B>1ѕ&uVrmcbͻwRKlX,(){z<ȓ9 @B]f=s0d5YCnq]UWsn@[K"?=фZ"nE =*ץߢw mb5(?Qj3k^Ζu@V&u, xyMV[z}a-Gf-@/CSXЌ)$(NT/o(5ˍȮYM;Rm|&a oynw67wk3܏#|Ce&hTKr0, z;,I- DxuctQވBq!$%gsZ&G{)ieUlgJ<@V7@KfЌUNA^v.5M^+`!{^@G QrL&l(Ә"buQ 3;A7eq2Hns@ȗbaXi]L?.\ɀqV+TK{W8^ᣡ#}ͅ3ˎ)b/+o+i+#"٘_ 1g0Z6Z=JΠ4PP9&8Lw0ݿڽhLg(qߘJ">;z#e >7hṆk|/3V3B/`} yGciQ%T:{# \} {0LN>d)F}J{:L20*Lc޴4c'OoRk f)ɺƿ֙s& o%-vO:gv90<ꍏX!G1+_ 9vR:ʰl=s-(]Yy"1mU#ް:):oy733Wڒ#h*ۂX,=ﴩKD]sb[P$5 )gv;Oع&Q(pl! U8A -'@wߌV^Ɛ.2DMkN% ɲUAu'Qb9nRĹ@jeP_WI=OW,7^؍_OkkJ_pXY&xP~Bsin p- k#J*Lvnfފ1{UatGV]Иg":7! @'& X0zDYA[3\vhZ>ngsPB G1K ?`ig5,Tp/=Q[%Ee9.k1| $ s^KZ{nrFHc.Y1Dke[n]&>[}UFog@ş hV`Bw# +Ti$:(C)oƎ ~f۞ړ6n4(d@b[A5ljI# m.yHWu _vvd;^ޚS%gײ+W4}/S{@ 4UFå;Gx TxBfVJ W(Y(ӆ8..R^4 4/ aKkwya<~_ ?xf hG$OJh8# 8H|ux LSe]94a|lAXm:OĿD0J _)w;+*i;Wc %S y/ 'ABλ*¡&:eŘ<}uY ٝnieLJoA)8[GX &J {4xXC>!'D1mT5p`nXVr׷lsgib[w|& __G޺7'$1c|U*Ա½Z=,Ho5OD6]K>g5 cp4lgJn뮯FR}؞Q!/]+Ƒ̙4*H"'7`gͿE0I͋WpXxtK`*)2v2jfBFr.溃U@5KHjɥc&u b c\eSKnS"1J;Zb ^K'D)ZKѥ+ՏbLVlp?ۆbϠU+87®P P_&HjKsd <^M@D+S%\L\B̉#_N #0NgJFGWv2o:;rdWDkc@( !!EP,4`ÝԹ8Jx^Xw"](J"y[:Fl Ɠ1H6c%Xf|~TfDԺTO[#QHu_xiX*X)yߵ(b: wUr=]9gWӅ r5+ < ~kc} |y/O_%6ߝwrMe q^#EcݣfŁfe!ٱǪXq> 3YdN=F$mI#͠ГRo*o Ԃ׌1 X?>ɊױQ-h}TNLbFɜ˕g;Ca?M 8B 8-zg[v1y,p,'7 ;S]Ȗ4zo3apB]D*x) 蔏50#=]{V=z#.\;Ⳳ<qd":g𹥳L!2Õ٨=Z\?!( jEngoyuf^ ,{ i5/KzÍ交L/}5ȋYӵvì룘&RHqqQ+ı9iFUx&rç!NY<ݘ,.wa\O1oXaV9 )ل_p[Ub`㫩 xOvEm:㷼ߐʎpU6*lO.K% >ʹ)89IQv % :> :7We=82Ksӛkb?51[E.$z_ ;=mDMAbSs'9 6tXrj.~jcԦ8G:,]*˗5 +F8Kl#D"PICk5{,9;A♌e\Vj(hU236v*CP&:* T~+ [L1"25pٍb1όIs4Wu*sk`YK[xdz\$+yhb|$~ٝf[D,n@ۏ<3{0kw9HjB~_t kepz. 2_$)徻?dO7 9O7VUXl ibϤ?!>;‘9]q@kMN.3ZX_hKJws!܈+l0Dg8)LӁD.^4 {Ԃ-a%S, eA 0zJ#rL=՜Z=,Oʊ2VR_F1.],9}(REz'џT>L ֕tjW.Z:惍&?#N't6.j=Z5iK.t&̽G7_ O#"̾ǯ 4_z2%)jPe.űIRUQ$4IyOwhflJu=.UnY#W#njk|e-K&ꏭ4c:ж{QWhJhz׮(X'L^ PBL `Q Q0lg\߼ȵ-xH"ҙFB+Z%EWl?!M*knJ֢}CsrdTym^zyK:UKj-Љ^V:̽PN7 %hYK-^ɞYu5o~!rXB'˱4c&<'XsuD< z  "mpÜﱛ3]OW~hmpg 5h2R0zyi%b܄]J&TFU0}MICH4sl|/?MՂ%}VU^%)a卒X񎒺.9jdïP+v+HcE bb>V fl{; @Dv̰ۯII-xDxbJkB.&ӳk (H@UIV1򦶳_܏%:ʡ*sE X>y$TiGn;hxB$//b/H~2n}qmKdaK-1$oe2+ C -vFy].H7rAT^ xqPڄ ,-EQA]F==>~A XO#[wy +R!zaw 1?R.$b\}2vgW.0R`[0l >`_r:& Oe n?ϓXS̅u^A5Vi*|{Hq I4Ʉ PQ NΘ7V,iz"X]nz4{IPP1P%a9(4uY;-_CaYq6. UMH Kc^VdșޣW2Ks^aߡ̽Ro^U^XEeƭWFLx2oWeP$HLlV[ c1}c;L'1xEtC:|"\z{(l#5u|"͔@p gK&7!5d`qꧽR u9JO0,d[O" ~:s䞗2\[]H:u'8[z70žrT!mOͅL-;;FuvBhvN(FFN~7ҿ2(װOu$RP+]]qsEz};z~Ztf#12pQ#y"Sh*3 OzCeΓ)熱*9kqnV1E&2_SOyȶPd? ϼ]!`b^V7q&VT ,WrݖD6t4K= ¤Ϭ\7o./ʟ'L4]D3%bbyM_Axz/MMi-/mK9;<]˞0k{-IpkH'\Le+633/+?NIViW~rJ Ze'Tf1HCR=ֈ%xs ` k2VlB, 5 '<ʇp^%5Q4?&@{逶-gj}, G%AT1olӲ&5{9ƛkE'!t^`xrI Bx2RCcVLj2922f?īlua\O KT~Gǝ86GwÆ*p_ mf2{Euglh,Hhp$ #*k[ R\uBqN?/3gt4 UŹkJj2T;\v @/)E6nh k65Zis`'UE:s7rRw)ܦYoɭxQS60s~F$97VdW& d~Xw$x+Oa$_9@^3F-B g9S,L[r½=7"[btew,Wҗžɾx ^k0cqCfٿkUw4vع0cdxI0],?Y 6&Sb;k5Ԧrtvs8(X6fnlY c'P-JA1ޮ K2O5BOts `tO_cЍEw> {'](P@IYgq}"Ri(ItJh !9ao`fѰuP8krAd֘Mґ3AT O? pD9@!CaެϞ|Nr_Di)nW$a2=~v3\;Q;HKBn(ez/",wW@MΝܸ-R:=e0YGC]95%i3ĐFLq:EZ1땕b!iNc,T2;E:#bT3ZfE/É\^W?U-=x45\SPX!sHطY$pjQ^ 4뤕hv'tӂ0vG~1gZtX]bxg 3>{N„t ^RX-٭!ΏSltmEexEV:%B"WoRcsWhv(<K2. Go?ڬN-\[8 вjzmPP%D@ ð+$҇6"ة/FBhwgvod|ժ=ʉŃ7+A~B8הgסGxՔV9a%#ħuuV'2/a*pjRe^wz"ndg/ơjiV-0+qjh[+9_a+䰻B uE>e*R0@× Cjs=aލ^s:T?r}D#LY:Y̯dȸ>:uoOɋK+E՘) \K[!sF ?$‹3L c-)A? N)a]5[J ܦqYDAA+Fwk="Bz&8뱭r[7B}$5Q I M/6W. zq5XM%w%! Isr7}@h<.n ]--mNjNLe}}'X3x(vv@2-n1HZz#Hu$uvqyUM jwL݊O.G։& #<dv;Uƪ\zcM8\aa40Ommz뗂_U4 ~ߝ#_yXbf{#$#{a/H+]S^o2~Ċ2YF.$I3xdӕT|. wdYCy"Z0/?GyJ9d; D/I Q_|Ej󪟇U~ A`+a;hd8]ݶгǵML v Embv?DG)K>|w~NSϬ!=٩0)mbX"͝&y- `k&꙱y1ߦ7$ M4z7H->F26cb=ʣcĽ9-/T% ߹{w](|ͩOgCIFXS ?暠<Ȗxv~ 'g-Kb9WB aAgYZ3cefbbce413105a32195204696b7f052aa33fbda5610ccee8d50c8faa0a1915bbb604219e8b432ad 13a2690af0797a50544cd9caf6a410f62a2c356a