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 H5zd$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.795cpu=213.848gc=18.5837zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'5nYQ!E5_HD|Izv B@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬&Wy+]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'wUQXSkp3Tf:$E$: u.UR}&yKώZjIV7NLi2ݱׇT7C)lTb+olc`mJ;lj:&5qȨu /})PsYMe< 7T&۴+iڋ\O(F&Xgt“qOA0GN$"VVUxz) ":4Sxf؉cS17bA/e y`J ? OL X9{̓*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$(]]ӼCr'wUQXSkp3Tf:$E$: u.UR}&yKώZjIV7NLi2ݱׇT7C)lTb+olc`mJ;lj:&5qȨu /})PsYMe< 7T&۴+iڋ\O(F&Xgt“qOA0GN$"VVUxz) ":4Sxf؉cS17bA/e y`J ? OL X9{̓*gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain r5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=uV<~-& kA P,wh2Qeb0 :iޗt fᕬ%_ƛQS)+UwSx!ރٔҍ(VZ"ESa6H?ܳU/5ƥ}P NnWnAX%@6|&`mbY8؃᳨' ZYPAONweFm'֘}yDSrrM4j从z ԧ-^HA&Wy{щ6K-GZzjK:1cr۱eȌ= D$,,0sćaN*[53f^iuʝP bXA3 Fܭ>4>n G [Y+s!S*x1Lu#@Ywbפrplцv@(ǯneFV9]"^mH,8qGVr0D* p cGDi]p-[;Y &9v²7A_;WhJ]K_(55́2:߽/\56I|9/;+dPh`c;)~` }8e1[yK\ ߮&1^jlK:bVYl^k.c˔hV؍m³RS]|9r9ȋtה7o +KT@"W.-b0 Ug%(+F!Ik)1D Ӧά/iYo3K1e^4{͖KľG҂7mWCDYwyiCW\F}vEmv#NCP&r,HTL ?(A`67a†zs[~ESw)3 UE*JW8OqG&tYOT`]|w8/s[2~Q%dҪZĔff| 0$}>=*G1A2t0۽Z^}wڵֻZM4<`*y #)rɈ+ijb[gKȱ͈,6O3-B99+5;Bzz[0B&Nx)hdvi3x!~ϱcSG0rCQr֤*d%Hb~+SXn+{B]|fX||, Q/W.64Ow*yL:BϥRQ>5dZ,_))+JgVw/%Vf̎f;'E\:5ܷ_SoAfOGM.8WK/I.ZwygMW =NY8#i䰥LT%S{hTR0|xŰ<렚"+~fk Q`ʡ.VT&lZy{]‡#6?B˗SI>{blq 8a>Gʍ50\Z VKk!skvts/CXQVDLO+QmSNsO 5y 7 \&oni*HadWZyRVQk7ljv嬫C`pKY|0p)4M@!*i.NH/+{'*ģ(|rpe'6(iZ3D*(yZ $Rs%z81{Z?| UaBo J1 ̴.#oH֠>j-t@65t.NBΙFdX{}!.x_W/ \MC!<4ldQ, >TZԴ-nDfcyWmW h2F %)][arS瞐3g{&Oukp/vFOjh@LK^#K=OG._bXo<~`%mmI!.,JuzE Pa ֝Qn-ݧae6kp&2Svu=Pv|f vz{ddXG bAXP˱ײ1]#!%i,F0F0 /Er_ ;O\=? ܉֭.݈YwI!/o;,8{co\astLՀ0ӉZSL@0Tś\QQj2xkzͶrFԯg#5ly;^A4dޮYI.Ѹ;/ŦLX/@6ǓagYZyq_&ٕܝcC@[AL__b-@ R)3s6zc(,QDw'?& 16q5 F|k*xcyuj^Zu2Jf@-a5Cy@:nJ*˘@O3ķbib'2ec؊+axd ُi./u aαr~Zv&8N9L ]pe2m ǭftMJhD["S%H<>АUj p Dxѳh;R2/i5-0wȝ *0h8.] `t': Mv@Z^Csoմ~in4q?hZϼDizW ybތ8+ZY@!07ˬgi>_0sEF ? x#MU`s2"AqLe33W(?/nix Tg{'L v>uz6H#{ fb{ЩKnlqaN`+dsdP+XuP6n'N,\ghC*\oa_i9\\5ׂ)*MRh aa8)F|/< <-G4b,ז [ ᾕ3 73ٽLs'O|nAX2[kQ]ɌXZްV` [I"am.JccIDty$bHYr I&XOSHjEgq_MbոqS%ŋ@zT]Zo L{W`((kD{{"ʇ}zDgܳąGQ̯Nnw}n).h1Jc;Eyɇ"%3+ȨI5UpU# mugǟeEŹ/9HN(=fHG$nN=3 QvAww=eb'c3•L֑KEeui0}왻櫙pҚGZ*3gp*ՙw;Q7ӇciDbL@9kf[wSS `[%C  jjI .!C8mk >)\j; x]ӉW42P]󄳄aγ6e ҥc}dT \9ﳋr MPJQܻ'r*"ƺmFbFunBǒˁntv?Zvl9ZKuK"r}sp`qJr?\ѯ{L L'#̵Eޜiáß^3U׭X3kF茣XN`8غz'Xo Gt} ۩%!Px!ϭ֭@Y ;'p鏧+2$DY# r93o!fVBy.7V.Sj#R0Π[pF`tQ>o(HX(Uvqb˶9ueX9&ޒ8[\ G'Ota/v`\2nJ>gH Вm(p 5ďMhqPseaE+Qq+p;eޭ!ܩ+a|H*f-hx﷐ՠ/@mKe Q[E\*xeWWN>W4Tv^kzu(H:vv順hZUH )x(zu|{BsV:{9@eRGÑ*+T/lCojUnEb^g>H$ȍO&17&'H&2 fή>|`U!f<co*~qID܀zp?>zzT bMI9e-IWOw7#:ٽ;I''#sruurX+z`' d.C=.'y `2zY2xxgSƲKZvK/ X]Nhjs<}%“!OdNWD'wȯu^|39ǾmȽ "`yJ_)JSpy]ˮe̓Bc.ID0C̣N]Bu<D|[>Y.Mg&M,hs` #.הz |ϗHK ӶJ? x1Eɉ\_tkkf[,Dn}-,St܆dg*cIYكf\S;; }IKGО|ŤOy|\l<=GSje愚\5uViϞ]'(} 7 lP T n/91Ê!LԇKwq$y8FL S^5ÇDNV|06_)34<쌓L]|@(D~SvLh -{CDlv鮕{2,"h!ŝ2U]Z:f:df_M\UU}+HZS/ @2#\|u'tVYlO@+:Ric_ZG\{Dۈ9Ǒ Kc!{`Tֻ)ߺHFX7( ch$KQ7&a c*BP-"SNTt2I}ϼEV"ѽ22C˚Q"iDN07MY# eHWDxOͿ, 7%FfK+ C,5poBHK^ۚӷ ¨b-BmB ́$͠ y0 WpeG#iMuZ}$/Y`ꌊzql.֔7XQA "\бgYZ 77A 5W# tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM4]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8"}-(Ro·j6?MR瘺 U31B9/>a07S]tJwh 3@<,~4S$^,FPvxϩح\En-5wD_'&uQ{+uq $bgFkpaQ* \!D꯹i`haɥsCQ /v<2V. R>2kk* [mˉIokQ2 4wiX Pe_ gkElѣba?@s 3p~EI5W5y%Q s]c9fgci|vN=XG Ȩ+9QszHe L(;f_n,3QGIS@.V}kJ#מ9LPo .Eܓ OQt[YNo˝Ѫo{k޼k̓}ħ r߶w(ReKcMh`=>LOwu՗OR呡XT2(ldj )q˧]:_UTϢi <{N$ 9 Hw}<кuyBw^b d iϬ`_E?|魡;)6!φ.)1-jM^$&,I Y?FXh8; J`񄱺 9,wn!ػ,! f)#f#7M,9L4YlMd&K3VjNy_4@0LfHZ{IzskpN-7, av6K]/應g:x#Eou雤^w ƎEˇ{!Wrb:yy A:Qtt3h 35￴`.} +XdFm4+GRVF|91I[ qIWYV՘I]$' OK~vG|Lw NyW^8\ϘMGJ[h@Oϔ-8R t66/3hwF$ FȑɎNj"LQW'C^#&{CʑB8GY`/+[IEc)_,Rʏ8cY_1"W*mpoh&X۰ȥ 0eHX?eQW8<{F{ ]R=: j{dJ5Jf$=MAJJ/Jc%fe>]w{-w󢳪)MЬknˎtn* ]L$I'[K9!Pg{Ӊh%hs5Raabwg86ӡ=j֙%FuA`wFɤH^;g֭#ʅrYHxa'Fū|F[90+5ԢU;&.6Ζ4YQ]']ЇV\FgJu M&vp{Qa\]_lU3qXB0_ C|yYC,Ր;LQ4'~Ihin:"׀` VZw33bKd5q]Ayܦ!`{=Ýo6/. ;ݳ}g_ǁUK?ST:ORhʰfCZbG)ŕ=NVzf]RS'*"Z$M %p.IPWdkqzLV2rv?=f ލ8#xi^j "纖I_Q9b| u#t-UrꝓA' 5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8~1NJɿD;(Bj<UladIVK]꽀c@uA!7/2^2̱bfc8,ussf:ohӫG-v,*k4jD~ΆgEÒ ZԫFОpx`z>+g\mNYx 8xXnrWY>nƫ^r'Edw_Y]nҟOW`զᯥ㽩swz&xEx?u,5V7%h^Ƹ{GzeX;YO l,8y7vvU*SQWbrJ\S$\;"^*Z$ ֘׻MH]( 3캵49k Od;jS!yn 5뫱i&a[q mcæen?7 XK]c4u&i:N/%Xmϼ3^#c<.@(`eO*~cO]@LQ]`qӕ" Ò`u* ~AW~,e5xN*?_ E4{o4.=UO0DЁ0E;IJMBij}_]4~&ΖQUִH"_ץPDE{m9w0W=y|#nbkH`=(H|2QJHJOLEHrR{~BH#W;ʃ}DzǑ7rm>v?yŴ> s9VVudU"7lFfoy\[6PKr)!B>žtB'W\4vOva||7Ll:-C?r\(t"}_>}ziI(2ZVy,@rj<}ZqBKxE ?)`y>CQ߄#f%׌ːzeyX M6;ao3:7pvᴡ췲a9btgtVFyxɘlw|a8Wޮ4.." 3]ZF yy 9:>lRwfLPiƼ{{Dj2hik"' 6T4-+ .L'Dl=&Ai(z|R;ig!#^0B)y4[k6`o`LؖNHlɠ}˭06[|S[OVH*vœfI),o!tiߥa5U, 9}oCM#Y($2zcI%-1JzaғS]}2@8=P7pu ͖cJ.%#]7n+O):GԘH D XM -5zUƋW)a4ުь(^'J5Tި<6QI4%`hVhu'#B7a&|c[,[4:"uXecYaYg,Gai~=l#9-h#H|v, Bab{S`l$/n>JPQ-?F<{^|!>> YѭxX4Ic @XaX%?Ζ]'h*Z -7)+}82թf+0-1E(X(:5C96֌&3k7}+Gѷ?*!J;{Uym#8ݞvl*iR=*Wd_ ]PʞG+7Ῐ2[F e8 ^+Yj\>?q6ԬE<NZH$Imy 5iΞ/`0}E04}/Dh^` "J[c@sQزP@1:EjtTM+OYQT.í}ǹo3] Oc `yy+U \VǶMjlb]O~P1I7!zW$ ?b8ԯ7jHx$ƒ-cw҇o@8!@mȯ*LaW຋|>&oY8s7uxc,M8N-71%u֏W)[8b&9pMC$~:y#2F!b٭-|%4#p樂Z*˜B>; N"(s @ eo< ȮiOMBt{m p1h5G&=gTh5avmKziiumzDI%)EY@b&F7dꬊ&pyIf$穄(Bx=S;xF:It2@6g1fLn[xD֘Xf1 |Y.@aK2n廻.߃ښͲGٶsE+a-(Ÿj;;;+p{r^[lQ+~e< 6}GIuk:9&j 2j4曛 7&EXlÉt#zn$Ԕ[.Z>&)rI Dt ^9&,7E]`Q&dVm*𑵕CGTb5POPglX0شqnbBN~ ?h8fyHkM1$_޽W #*lV:'<: $C2GAB_C,qw6,y2yoG{B.7n* /U^g>ݰ@ 2,(1D[ @JF=#/{L'Q@=.a-.OaZ^,\ht+^ץW0 > b g#ܚCCm-qs(rW-nzÄ ʠ"P>pHjeM}x5eG^_ιL)ᵧ9:siPzظq1WN` [%UEѤIIs+jV.P:-[Qd>K`cnc?U,͐٨ lҒBQKIcXexZBR؍K)".BSK_.N\v..bGg{bRqRZm(S>Zג=\vpˆͤ` |`~*(Gu`ܾlC&,=٫2"px͓&ĉC@” xLr6H;Qz u% $&2 JRoOcOE_2ʳZ*eDi 謹Y$Jn3\57a4)O??X/ B$p!股KK銅Ӱr :38lt: j}uWj$chBL_Y}\^ soZK4* I}'?UU qH:emA鿋D@\Ԟe @l+.*63:\=[k.Q cRAǚsy  |' Ǩ3ZԭtT5wa@/Qm'"q{;aެReO*c(29%@;Um';B "MUc(G{DZ&ʞ6gUFZ'b.t_oI-Boo![ЌrtP.mMES?G &:c3`V|Ny!*']<C4@Wt唘HnDBfG!?;p|xDƲ_ *UWE=w6]=^yBX]T]!?+rOx8 g~UR7V-SqovTJ{FM% BY g A73~*O/cj/J1&f̗2M"[* IŨx/k*% ٤`Q. Uʻ3,ZuJhSii_HKo;Z RѰ ܷdei*S::s>hĐ_SmB%|v~F`{a\^Ҋ\css6BP,h)٘wP@2-sljxPK-F$(l| 0 L Z6M(.MzFkUqWUOJKOѽkr Ľ bHSr4fd}>@']u#OG[m(!wS:pӐoVU(ktȞ}m&JoD"uaMSf?hL=w~vBv\۝!N VI_s1 I]N.z>nD`-Ke:|@ȋI([ƴA*CF53A.h QM+!miKpsJ+X2:ܮ^?m=T>)ӂ5B"ʛ-ŻvWݟ ֫{MXװ6Uw p_Ug;{/6ٌ2yEo#?seZexWZ)W/\QJ*i6עAӫۭ]C"˳ 1m$2W y=CMZj{ed]V1oZzm5iWYa=Bt"%R]KnJf-5bU2FEҮ!Y<Ӣ1#h9u/^}'n xf {Xza=yLum`=F*B2>?EMD,֡;>qs!g,?cC. Tǜ+bvX3nj2 x 01)T-'g{/Ec'e,J Kr_8#VGJZ]l#y&ٷ+̂$ B-?σAA9L:Y`W0!9hCϿXSv zVDBJͭ#9x1u)!vPD* sUp/jph$t< ruOE 3B?J+-z\*znSz"ZNd/ X- 6'4. i+6zaHs`G_vY466y 6_`(o#I>[u;ckj_Tg6 \-RB_B1*8-k_N,ݹ߬ KUy8FWGpER`IPtu='AGr+QQæ@x'!Ӄr1&+38o@`e|$~SkBxCQLu{OˢkF=a#xe+qզ%"uxyEp>o |naG~{" ;QLOh_ lL8{ ]ɻ8SiPڋmq _"=nG[ˡ[ " ع|6.bl:C0-⧑7UH݇~Ry[׵ , .& Z})ґ>)^t%s^سFTyĬHl.iuPoКpЂa̋ͼ#Aѝ;nU}/*uRs$<,o_`'PJ*Ҍ!#k9{D]:Q> 2 )+P hI t1{O F;.(Mq9 'gATʶRW=^$uHѬH4 {42}zݾ2ssw-p #9/j4q8XtsOr51M= D=5 k̊~=JF09.`+w7`+ܵ^YQx^-xJ .Zx1gLMOcͲ$񅈜-%MwwtO5n| W[czvӄ+v:@4x${lMn`D+#s*+)HPeGYk!;? m(~0%A?tuDkI*|t*[ch!b^XlQ(fl#G6uX&E\.pٍ[q:]Cڥxѵ5"'IX{]_:{ A miƳ -I9t@MwSi2eRɮ1:'^"`*Dlv?֩:4X9aeyyT;n]'nYo+tzH%_ Ra4 4&V< : *٫+oґc3y=gm}Tcy7 R6Fa\L2˞L ?-XDv >S=bO|'ZsտvPj+MeP٩ᬐ_mo>2]OՌt,ĻiCHu]Ou`g`~!v2[UW Je} e7}K2:~|'/Zt.3fu72;$NoN_Z$Ҟ7F y!`\Mԓ|hRC0-١`:L4$Eyь2{L/hdvIvk 7VzE?exh&DGdpzy>n 7b\9-sw6t LEAo3A^^)nNT[t LW5)V@|E4}zK25zL_1-yl'׺&g, Q0>Jq:Wsmۧd{0T6{XzTפS5@ȣ9Iw@aF>Wo6s==}*#UY*Ra>"W)ڇ F֢foa'a,`k:PQ|PЏ %;2DpCDiq`\2~)װ;ϐz jt ŒS$0NҌwn;! lgY0` /uL. aE_It6Ľxa[SoqPX}pSґvR)aw5Q@AC-mvk ͝6z7 JzA(iV ]tڅCu>e<)ooTC-0qh!q{ZC_X{J%8\Պ]-;%L:Nl(esEЉ!*'j UIx̠D:d ɍR(?ykZR}o.`1%],i~ =PT2IjB(&2dJHhM)QBoqoҖW<k2܇+*5c! u30F ʲ\  u@4!HԖj:\A8,~"WO0.BI3 !01724җۄYK`>bXb'O($9z[*]gf~XW* @@+!N &Q[`4l`9OR-H8t_ O0Ȅ46J+tC>D"/KĹ0EI/@L~[%:Qi8٥0դcsW)Sfod0 N6I M97XMce@A8]6ހG* J]mv N?Q"ŨsbkY!LFIʱ#}e$M)P~.|(t؉R }nʓxZW#͂iLik˦5u{A'v9b>8|$V0uN|]K8H/BΒBgd'`9F]械ۋ%B?`el.nJXH}KD1o%nO޿-F̕g0Qy>>-Hb~JO JeI訸vh8/8X͚ Dn9%}sNPtB}Y]ȠuӾH0|@8WOӶOfǿ+4:j~X0^ $Y\i`[xMC>l t_,]{4sDPϧOVLQmbNtX糁9DɴT dOQ9g5\I#jl<<5Ř8x@pBzFZv~ l ܋),+a~Lt NҳuzO+\SF ul4 :T;;2chVgϻ.Eܡh;m͵Q&Xg5.45tyZiS>\M7E)ol5ᐼ k x^j]/VkCb dL4VwUd]dY& R]Ϯ0C~Ip$YyAj`#Z &]Vf!^zNKyN|:}N'b$3:~QMqNk9>$#⧸*wHDsB A]Rы8{+^FkB ;U I@e/yI]):;A^K< +hƬ yZ ZOm6I;xC/bs`EӍZfq:ݪb+U>ԵikUdL1 a-ÝdE][?;&M:zX5nmW}7s-|v'Ey ,}aBҿPjUoMM6zM\!qo':eq5bL-&[#b1?{r[2CvZux|Y ̪nrbHK#XKF`Wq]X|oŋT;cEſ#&E]+9+j w'TVpQDDJ3]3 <|0aMh~W^݈'P\]}%k4;O3_e8d] ÿaqzFٽx'Mfķ*R,ES;B?NkfY[S(Ccԗ0"UDuB[m-GѠR, %O]fNfZ">z| S pҦ[Q( =_xO:7M/6c-qPE// U["8E"N){LDjYqAZmJZ~|777Nܣ IՍE)HyN>KarzŔ<tmO9FXl `,~Q~4 UzD|} aYeJbôW6q3j NCFaa 44XιJlMkvEM"E1xZE[*G>W!DLk&d^}3l_R0&bx|âsQ"!oaݭ8xT^^]- ՗H-Up/@U1J L Y#z(v*ޜ{gO?Y `7hqڵTv 6anށ蠃c-`2js"Y(a.,lcRxǁꐜگލg e6rDO3);P(Փ٫Zƒܡ5!̆,dKR.A8R㓰3LCX2=Ʉ6B5F0o .`a5|c@WNNk7,8YYȳ%3DQ fѷƫQ3Xҫ2q*v5-1*g8"`(?Wy85QZRϾG"h/UAdÌ%]ozv/dR|G:x@"7z4XviN_hћ 'TmU 3;\!'! Cc ʙ3gr iWR飿B{L=D.oPM7bQ<+缐Mj'29۩xl=%]C_fˬ#hl }}CO߳*y( e r[e|/ݰ͠uuJ$W(}dqwCV {fz}I_jlM/X#ً@K[ݵ` d_؍:ȇ:Ж[BŒ2ܒTg ٞ[3ك-{Ѽ0J#y7RKy;?X}/dvl] f)x肈% bw%croAC'_ fl+3 4=n1w:/UYw.S]1'$uV< !"WXM) F>MB_C}b{TZQ5ύ;RI ]ċCu PLVzIi9j-4]ւB+YI[[K\5c rLJw]alFÎ'O` 4NWi~g7vO2-L*-kDG6f]8oeo(B%JI ɼtԂ,&e/~!y?I+ ##`Ir ,P/y")qsuBcjɔV;lTwKQu|= =B0f w,J#9dY 쵞#z^.@s]qFK⭢=hTǸ뾿v{<é'Gi88z{R,L!'9rqQn_iW0^K}(\%`?.(77T w3okiaPvu S/L,gX9~4ĉ tǏ>|FKǟ3)Ԍ/]YCmF,CcIǧBzOG9;Ck7 `[x8*֐Nqlآ D+|:fjeJ!|\3`yC0{o:9}bvT8W~?kAOߎ`m{P9F!sYfI@#A6Zz%i!|,Fy|[m̻W_m(,CL#7 04C(g+9~$< Zz^Hy| vy ._d_p.Cĥjyesh}a]/{ ގF3#{x1 .(󐎙`x>XzWo˪$z A-U0MS qQz[eWY (h_`,RfX[P ]}1cBoFuΙmTQ@q=mz"_,ΙIPYa|{&B]/8޼!V>Qvms67vj+}{Cq7?^/d1T!(]oC^@&O;۩ K& lzr7BΠV C,GW``o벫 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_id236R5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/81AL4'&wY~TR3c>C||#ӹiQ׳8 rejxtC'ȯuS:D{2.BA}:bԶų6kZw' Wޯ[NM鯓~peKlGlHkt2Ǎ u?1Z#fJ@+Hd=,ۍ3z% i>{3: go/ߢlEntKxs'#=' Z";#b]JqPWdI Ck{e{~XdÎw3A, Ǔӷ6̀.0=PIRno us#0W_Zcy] %O;0z>Rlo_bn7T(Nm2,Ӑ+*^*J.ĕNŚu)uHa$9ڽO7UFߘr[bC*Ƈ &@k#w>+B:%<H)BՈ9"y\Y77v3`gnF`0>Y"b-ct%t2{Ѣ!$;Ӝ@0He.k5F"d5joI_kt<eGi;)#Ec6J(9S@ D^a]r3GqY`~{3wX(URDP_x*086Z[TFk5WAܛ}5Y\ٕ!tTVTdx'«;+achbe=QveDwH; +GCIYon{)e$)ۍI$ Kiy+=lV1S~tbOag5?;_eSrA?,ښ۪ż `2*BTmW˻=*|>Hn=~>t] rgzW0O\o=hFbͤ?bOm)iw,C]tGgT-l2+%JjBٛs{Qm4h w2JL%&@GηKD= eVc2*vdm}C5,[jn|_vAjOuLL#$MQSdI'5 9|+>3d}. ؏`p4S? !ӊG9lUlBGq=@|&$\ӻ2N9N'f1kfL8@$4רI%mܪZ= Ppky cA"m݊ &x=a b3[a]mRq!2K=*crui9vbcRn;CZ)C}wN!AcώF;':Qn* sƀ+R!*(c pB㾱H¥ZLFDэa0.Oef!ϭfcg} j&?%8 |tIF½VRIR _ЙoA^J5uu$-,R@B F :WWKm:=פR`> P殹X_n#{u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodCԛrMl3@~/Rar ޾*֜ߊf곟9pa* \v.~Z?Bg <¢ytCOt;Ql)g&7E+QIb.gSZn|k|$pi,!TQ(Df<L_lCL~ }!Eįw5H({ڎ'-CGN/ i/l-&jEJQp "G'/6q%\sFG,:N=Yaȿ1P=6"AF-;'nJ6._O k1zA^}JZqw!XLgS_Oa4:-:9eaȇW&27@dL|[7sפYJФF8s=zXq.݃S PKnRhM#3m/6g>ZhwEUh*CNts(J%5x|+r$ϊ\D#h[@]+C?ZEbt`X<0,T>tQR%4@d¿ayuڥ Ta-_xis9ޛq 4P$EiGE 'kDk :s' |xWvɱ>ҽW 7D p!l2,#Og:K|@u00t$8E[<%Gʯ̐[A4</L `gH=`DG3Z)pStK9j9v F ;!zw~>f_? f?зPwCk{s ht'Voz'EDkcSg_WB&VG\a&ɼH7.c(!'?jBp,S6"@m|9#.@ވS7T:]%jf'ǷCyųX:u}_SXU|f{*x1TokCZdJB_<+=lZYr#(p4A~~*N 0W~ۿ&!C?0 !D,KDT FPui]3` yB[=n۲Q "]`t{ j)epDj۪(e| $=9I)'EX:R9Μ*[ϫ8Lذmw2^UX}:Dۂ>S(>E4%? :0\ jêu2ԊXBӚ5HD^cqi|^Y#2ؑ>^h&4q-0 YIC`,P9wD+U:)р_ӫubDrZP\ȶ>7UVd,Bߒ"؂bqp~&$y.-}NN:(um!"X]2BR D]AP/0 :sw7R p6ՑGcmMsW *Qo%/ on$Vy-Әcty=7{ _~#bն-%LtA(: H9[6"'_vIW.HҘooFxE=wu4[xba/['>-5Gzz 讐#֔\&QK9`}r>= Z#>Ce:j%z$)a/d!G? PX#`B rKSǵS!ORT R1&H\K ނ_YˀU;d?2{7}'Ź%>N 蟄f'it  Bh @)C[=bZ7D˵u_&>&ݜ nb0- 9.,VV+IJ' MOϰ>P"CۘPJK7y~Jjw|MB"I<HdwpJ i&()_((M#֛b2f(#S6R+. r=Ǫ' 1$l(Wkc`# j._؃@atiK#{4?=I^weBG8ؕӒ3!cľp$D(i66F/0 ߭v/a\#A8&)޵i6{8p!qM6notZ漡[07[7~A}tDNR%Ѝ#}OC̆e\ޫqnn}j-Mxd \;O%$zWrfŜ."O;-Ńf*X`[rqwAWWC4$k˭Hr(lRXALOQb=ť$ԇ- hR'O\ a=8fA #wd!HkHw0ɡ)G>V.X:Z4CgYwcZ3fCCl< uMzI5@L c7q(ZKNu=fhsK,Obk.~k$a V.⬵z6+"9)QWD@,hECYU Nc4!|rp`{f zwaKDTS1R|sPԾ6^9.WOsFeTE GN8{VЖcXLu)f՜EĴLWpw>Qa^J ЍƄ,#:φ`0a.l;=W,jMeQTJsU ^e!<0cKn^L.NuM;W;V+:r8;j Lu Z鉼u.,r&is! ~i3ooѽ'AR'#6JL8e-X?NtRMX #J͎% g%-DŽOfMWwDaq:Jb=;`TEH{L:hAz!n Dzigt >_qd>IB_R]0M^n(@C+pSشhB:,լ?u$gAa٩~w5XLW,dl6{z|6唲  -ĜG=iPRIq~H"fhoOX!4(6Ͽ$f nQ~ \ݧ<Ѓ|5*WilV9X'ΫYp ;@f]j5IQv"BU죚Af Th"& ؂=|\p_~C`^U ͐%|{ZVT (S+;[~aCijݐ? an.<ؗڅ>H\V#Ayb]o-lho @~gievE佭o63AC6aB".Sԗ+-INvEʏxa}m"!t4{WtO[%Wf=`eU}|٫4OfQΈSSS^525_RrJ;ӻּ>1,nRi@BV172բUsa '|7N2w '=@6wNwѐubiPq†GJ{yEG: [b㶫Nʃ5\o#FNd4I'-:BSՋw;`| :GM$r!fX#-kAH[ʦ8N}V]o!Bً.Х5<jˋqt]z7Zw= $V]Ln9_TEf~$$f&i\ ֦ &ϘI7LY+}ii6I/87|VhTJaBg?(̏ݧ6Rp'cA 9c5|bm>DYC Mx pzI@@fP"/_<,_*5h9c=k/r|mdl+9/AeTEB u.| o_̥oqN/+AiØ~\j?UǗ0ɗ ^Uٕڢ5/bg* 4|ˡ҈fsp\9֘1Նȫ>'ߋث4hA ߐ Y$hKapc-"@oUexƯ,܇?@f7TЕMpsNJ+\5o$ ެS%Dh[ޝlk\FXmKӍbT}IŒϻ"tVm^< 0O.y4 8C 3& -<NJ/ RثM+AD"[?ćo s?Z͏VjW^&>hX%!Isاsƍ#SQo&&xx (~fc JAQQ8{A˺N#ї:e?H[dXU A1烔hAcAʙiB_\T݇1x]i0ۻ >%C uoZ,W\z:CD5IaIJhe"c{Y ݰ,+l6~\-ggm$]C;},-N12u@D$&{tJN.n ;#FTogkzg'Daៀ A !I_t[wxImN_BdK=E543qDg:SGq T a-MxBգPuT A![2Ǟ[읛0AЀ/mdr]lWQ;[NL Kir!Tc;dTb ~xjk$Ug͛T5Kجj{WV2T+ʌ7Łhb蓒7(BC+ %2)4бiоr#Ķ)),OF"Rm,'RPE;5ء}(#st" w^s%! f>94z^^x㊉1CY غ(^K6f$TҘI~)U$*sUz;1̫5 ݛ~3N LR1rcVeQ5y?ġ/gFq2}~bt8ۯ^=`c3Ax =1naxoڸ }`&18kխ*{`ڍvI1,%H. lD"=D­$r֗uE0 Ump !NJD 9#"7G .2dgYZ N 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=cj@b3f3nYnA.i~y׈hpPxLj_ d6B#HP|tȢ{t#*1w#LV&4 ϼ4/F} ۳Jh5ϓm. K. =1`U]VG`^(s,zf?fQ=1HSf0ɤ9W_nXoL+\>+m(N"M!MB(M6XmsHIɇz9 )^o w/+iždՅdE#$ W~DVlN- {ۺߗT=wszusL(jX5[> X͙di`z00dàjERtMeUU(|:nwN z5U>}] SoΉUn'HM28ǘyrqv`.aAN?KpH:/@?<, LG&pt|K͗42DYDi N`ii_Q#VsTm\ ,bLeLEg0GxL  7rJܺWqn=Lw;%k0xD[X-!˩ NY ¸ώ!9̩*ZB֭8G Bq*dM""nbZi1P],AA`MS}k~yx"zWB4Gyj۩O:t5Yn-o`"KT+8< p0艞5֓syg'gpȘͱ`n5ޤa!LJ7" -Ar.`K&r b^=a&Q7Tzn˫#l~79"_TYr1gGƾ*q*j  LAXƴop${rr_~-`n@GP( {k3F˰I˵t& (n[PD Nռ# t?=v-5}yhG\+.H?P=x:g;ht]$Q×c!~:sH24"&z~~Da<+vqAhu|y ߪ̓}!9E_Nuḭ *^M03a/sԞ3ۇ33B?rq,u;J\TEE8ʶ0lΡVmE >C:%_T^+ޟ=&&I7 $,FV UiRPJ߬x;H x`=_J˖9*Sr@wc0n0ۼƭ24O'GGnm4.t7c'g^~,7vq]V-տ{E.PWğ,8, Ζ`B-Iq;5 b ;6}|WSK5O!A y!C,K;n+$bLnf;(_,MSl0B3@ߺiy{  c*-krZYő /mL2EY^bmT`dYH^'w0r s<. ebs".$5\ sHNgv'Yyw#69+| Lяu{z)+B'7Ұ=[-*B) K! S^tp 'W]!¬٦_m.w"Ȥ.~q/5ٿsU-MWkZ|K 3wRp&31!َyuip.%erQ^`6'ۆa0N_k?4(pўDЕKd\Iڷc!ݨU@.Y><wJV%IcvgS27%bzow4 d~6@۳ }b0ݡcܕ>'gI,_& 3Ӿ0gsq;g?Ggv*PX~Gw$wXm4ƙ(>;m1 /B3_.ATϙ.5O:F$5ڳ9ؕwɊf!nA/硱X8 >h\d&ybVsag:C ^"o eWVyk^SJΒWL n\]IqLrA!PjVP>Vщަ?&& ޅZgdqa6ǔ{WgYZخf}.N<[%0^:wahG]X>2݊J*^ƬTY=>9 &ly!ZJGRKkчIdҷFpz)7Yʌ'+Rr`ko^jӱ祆$7Ō;v0Kpp{'šLѬT> PD▴xqU A30Yxa"Qp "M2{5go**dcΔ*NԉQes*>wCBKc_B#K>ǬGU|(}\-ZhsCPI|4!wA !JݵN>"!d(𬔳jAqg*)vdJ=Nf*%/ &l,0~I3)!x~1Bng”[:1} pVTl/$OQ=FӆˀΝ"K^W;%eNzˤ#lT|l՜Bؗ;#N"%Ǐk0qrTS!C1Yrbq>S?I&S2e@ z<c$\wCB?׽2ł̃fڢ^حGٳӿ;h>3Mu+ޔyR\!hk%`Jcg|8\Q}WZ\_#;1.wfq(wΫLA =C!Y}$+#Q"-5ߣN CLqvTs­\P DÄa4ɕ>_/P;Kv\ (JbIZÑxz<*[qtĐ\`ǒ6Q9+@umY;J+Z&; c)P8 + >-vP<xW0[..Cg_&hl솃Вmk\wtsȝlpÌ+TzSڒPVhpef269M<,;ECQēavg՗yڢJȥf9evI';5\6G~jz^~H}y:tg_J,_ 4/윢Ck◜FD1X&< >ח)EΏbP SeS$X)E:r*I/٨uS9D+c8wLF8CsƒZ"dlry]`jwOKvn)wA1B瀸Y=:ZOh|g+jZO+ LVoGF`}A4C6h'$GGę\EP]K7uP_U}[vκZ$ u,WG̢{4N*,`g'Ob*a8D\c8 !֡[_㐣c68X1qvg 8.Md%zCNΧԄ&Z/arv s>W Di'Wr=iWUFY󣘉: {)7N}JئmA 5'+w=I&^ZQ;V#}ǫ!y0)NH4S%Pc8CUt'4Eq? |?I9m:l0A?Du{w1bgIF#-V&>.씰SY8$&}MyXWY<ߩd~YكWPqܿ$rU'|h)I8>GWaX&QX)N;Gm;gF| K`r Tlk$7OޕQ_ VpFlx 5l+4oyΫؽWI!ē4Va_ 0W#o<Ԥ/+Gy;Ai;5|?j\obNmكIrsj. LܪФ` #\0mL+uQ0ʝAbSy mLks\kCdB=gbϲub|x_2oeNXK}tgLNƤlz!ΓO'Yz i8saa"ʥQDotifis\~Kq2 ܢL>k i~Y6nFrwI`!ks04.w4QBU<e7t}Ҥ_Rj$J{4Pԣ@/yz] 4üMh hku<54`7P_Vv>[:v$%ߣʑ!_Lڣ~o:jlz2qWk~шώ6d@jSS-4u- 8q7@f`hM(?eQB<-ftS-%T9۸ }>XgPt]|B#jiBwN II'̀d(-Ecdz+It߹wFsjzMZ,2P{|1F|:Ob^s$2Zr JNDտ@\p`#;/=k ͸ sC aiu@^kXB;˚6׎םH" u0O$MD t純ϩNw S ;=u,F[D2 I T{SsgRJ*p*KS;2OgHCƲsVʖ_I(*.)K&&t[mIm@4YX>0M36r?S\JŁ*qvS1;3C:,Pxqa.KSb݈dcLi pȠÁUS#_7v*w֚t^<&m](xF;=M~~e[_F}'XwbԞ)JqX/DQA*-{-`@*GᓀR nX JTd U@ ^1.T pqIj:G51.I18FE5>iX`Z43 `ede%`G [mY8hWmј}L㨣tٜͫ M=4;ٮ\ePw$f̀[o{JkvrQpTpRV:~g#hF+" l3~GTmC#'J7V& @|Lޅ%A&KzH:u gCϳ-??Mۉqxoju+V,O)+-gZ&U|NT^~.{e9ۭJ$ >oS=߮XF:Rx㥀Dfcuq1,۳O"Zɽ'v6 ᗼ3 02C2 ¼DFpp!y#:7o. CRF2- mp>| 1 eԖZ&U4uymqop0۸^1έ\rO)ZE(ӆj`rS3G X\nLgYSA+8|by58=V/J+t..ZauJlAm >w!8DdXLfC4Ց֠5P~c:?~*ʄf! ~YÅ]y{0пn}Ys1k`E{ /!Cd9I+wàHr ىǻ,/)~w@;v$@ǂ8[vŴ/Lϲq{X, GLD$ DF OQ_;x$i`U)UU<ijLѫ݆y>CsYQS|ld uafrAI.tQcQʀ_=*цqO\#Vz]x#~OrKN^O[K)W .(Rhjaoyb0DՀ`,P$M 0aă-\K Nl;wArҧDz~XGꁺ {xZ+^j!6e1-?'~~?4A`O}UkIOje#6 &r {!D$X5WJ~sΌPtb^*ۭPAwhKCI,00eNޢ: vQ z@qQq'k*[K@=eҿd#G^iZ€om샒K1Y6ßEW>X' o[q0Y՘ξ+=4y<˼mC'b fݯ6c_v{w"d ǠXɏ 5Yfgy!,C A Ty,j5unPtƫY C zGLBUnv q{ oOş]]iQ\Q>jcUrArIZ*`5P%ArXPȌFd6˃)/"> ukit5+4't׬{'%sՍJ"})pՍUxM{× dؐfs >ߝf4{zh5lt!wf=`=nV>yyT@o97Rc gmgty`DIVXnrEHUf !ȸ'6-+ 0pgD)(`>~ZZ&6qJ Eq#q{ϋVv1^0Qb7k-dFyiKrܴuC*Β [@ SZE+E(cZ54 B55~+2^T펌p9d!;tY )?*:.á=K\NDJ 'rlLѧ'^ޔ,AP3R~,JF#cJZ0sh:_)5oQznYRx 7>GWQ\NA'[y?Uv6QKoXhC;G 0lHܧawtWGÂ.2T:b 7 9q7G]c4d!SrNe~`xB$)7LY^2so{4qy[/Ki,T ~J߹G|hJO7AJ30M,6齕*=%Gy"T r܀b3Xٲ {c (+QKB 8q.Lν0qmufXhڧVN{}ђTs"G6" sOWo zApĕ8.zGB,p*LDRFٰp[Ըt[:2ya X4(Z\`ZuUmNF .ꦗ dA' f6Vsن>rcH栞iR6 GXvE^A];1*hW' wkȵLSSe HU `T/T8z,͸N2bd7MA,Lu-^?e=4NH+Dؑ.*C.8fnh,]əcMQ[&mq[xe+ p[ Jv1 $ UN١vh/^%7\< bdhgYZac1600401f75e500ab3387e2026b73c4744e0d185aebde8d579a4faf3e50e1d4b283942cc112c6e0 5a9b453a33230a4e204d7939f4cab09dbfbbd852