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 85z ,4 ]/ HOL-Record_Benchmark:threads=6elapsed=137.306cpu=213.004gc=18.5997zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&P]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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV1춛Ps#+gǝd7g!M*t<6~b$t+4LV?=ڶ;jwJZy5:sŨm˩qRW(dFЮbSY ꕅސ ЎTCMߊ?: 81cӜ/F.[O(r꘎&/,_]ȁm!ܶ԰fm^/)= 's6Fְ>Ŕ}Ōyg 7ᒴ`U]܏Rvf-oޣڨϏ̮ڰh~_6+\_Oc{lklVW+c%|9@YgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ 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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaV1춛Ps#+gǝd7g!M*t<6~b$t+4LV?=ڶ;jwJZy5:sŨm˩qRW(dFЮbSY ꕅސ ЎTCMߊ?: 81cӜ/F.[O(r꘎&/,_]ȁm!ܶ԰fm^/)= 's6Fְ>Ŕ}Ōyg 7ᒴ`U]܏Rvf-oޣڨϏ̮ڰh~_6+\_Oc{lklVW+c%|9@YgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain B5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mY3)L K Ԕ;gd3eǁ +]Ϗ\Ir!o-q(,͟L_ w]9qOmGM?V-ܷL0vK|j?OWVaCi`A {I͖_bo?#%,>J~遖>DW|H wچK(8nQb,+߁SŌ\ XW4H \\q;so JbQMVo>eq&[5f81'Jf`ZZ3 u 7[ohFZȂS2Ef#+Ze"4I5* hv6VQ.|VzWC|ljoa4\䲆IW!3 9,qyڌAWWRҡUsowְfE}7'Vj՗nf;fʳWLfC.$}PAb=-Sg;y!ly J+9PBufYNu8mI08BUg)Ă.u p0_D6ց1yB n X6A|J׶Cp~`&Yy:9e8лGG(4 mnxqse=} "?\p=-Ҩb ;f=Z`v7WUd fO",0olU~Bj>}B7#&S## 2o;<܏&Z8.Eul٢KP:;fo`.*2KO &]>Qo(=V{I: PB;@(ƙ]sh1| xa2aGua%$a+x6HIw-䇢,0mlk-ٺ=gw/<y uaOJǧ]zwIG[OP|3|-_Sg'ak8?!:w6 LNqZ}FE(Rc(B메b۝)ܢy=;GoA}x3<QYԵ7ݓLAhޚS2+myOQE:d#_ΩHu O=l/T17$#l@՘D>0{fb4;i)/ϿEy3|" *?CUeº9\饧cx4U jOn/R9{Z!'z2I{Ҿkƥ(]aAn@@c]/H(dZ]`)Bv8jjmw .).v2خd6Wm\Eߡ,;V%E$n y|6l/9hHkRj.?ƒ%\myY ev, x1g^([IĪUu #j"TZ_lGe2Lo!D/":S ":]mX)`n:JjǟϛV/Uwێ`zn(t7VwWL<(_VX8EdhLYr:. rsvӹ49mBL8XFՄ.ECݿ'kn/|\ڤ ~ u@;G*"=R2/ehGXsnc sM" ygg2 0{E$k>i:5q!w7$>G%h(=_"p.@tB (OD'c1: AZLyuiDǑ2aFhFk߶턔Ȗkxxb[3-R܈\$v)Q)rEAm~pigYZ9] DUVUv߮b@u8O[6] `5iC\3zyM|Nm]oX|%[3~ͳX#'QZ؂V6osY%˵M3ХeM P0tڄ 3y#QUuY}ql6BfڝXm+-RёZ̎FZZԷv1K/gi5IEu[CٴDi˿RWvotŭB']w9ZR}rQղ,2<-Dҁ3eɾ#YL2'NԵM{E='@0σxC>[)Hkw ٪7VÕ 7ٽ"Zc$֏bv9+JTΗD88 z|$NrJ$,@j%A2x?HBmHrTXbY=oԅG<ۛ:}f K:i߿ԃͅ <#yM |I^|<x%a2,=Rr^m$f6L2U.k43sW(`F~YF4f`;9@B)'wmPP5 vKC#* ى{-bg*Mn%t G@,U A& ׯ\ Y$F=ab ?FvSQ -A#bej(z@OGTe\RuD21_74fK Cς]ɚeYt-y(vcոaإb(Mi`Ō2kGI1NY߫;- ~uGAhqW A5fj#>ލ_zO-nLU4M>NB=!`~a<3$ur*gVA(bNIPW+ =sP2޶?1^%ߧI4ܫ$%tF <׈_}vQuU@ ,G2$dR>Op~(E$ήgZ 6T#clRUY3V۲{D ؋ =L@IoC{nlOQSP#Q#.Fztapt*}ԤGZ>O`[s?foi7ʡ,\ITO0lVQ/Xڟu |$QG;&)\An:VRN@ziX:G:W BKZRpNvM` 9 Zz0%k5y\1gI~`Jdg{w4[P_[3iAds^ݝȉM+܃O>E6iOnyscŽ:^j=[3ܢg/l/C3w%}w}pg4$[kPRԷ9"C\X=@Vh0ُ,~y?'5El(29X2U9u.{5I^%'sX^˨n,lB&|v w:)q`&mNz^T!P8ZNgm^5Sjup@U5'BbJyuS<M/b}FӋ`j!)#\Q ?DW*Pj6Z~ b$G,(QK0f.# [5ٹt|SS$I.ӟwZ:b1*Bg^ٞH4bYoOϬN|sZ{ʨ)R8W/XX-yt.z->NqG>T t*L!ȿq =?CZeϪ2R%XMsO#Ap eT ^t5isHsX=W@z^v ՋNPrn3  o=ŋا\]6Ќop.AU5㵚d,,@fS':"-v,8t*}X[{.E*"};~k;Ij+ж[D֜O! zp[%9k^C!4j^@4Xxp*,BTQȲ P7 Y Ud&O+2'XS>EY+W}r'9SM4:8k[HVw/'5gb<ra3DK D!"~a8NJA$EP>@|ņKިnZI2^j-#(tA5B16u]d*fe|\຤O N8K*ЯMR:#h04Y-WDQ)@6?7LQ9oIlb-]~̒ɣ9֒[ߨV$i1YE;Srzs[߻q+KͅKW]{D^-w̛^=x&s[ʻi}Y\gsn*m6YYA3S'SLͣbf#I0*żpy-ThP<ٚ;J  >d19ݟp؂89;Ǧk(=uMGKfz=DkNja{ #wp&V=#2,QroViAFVr 1fWS6+n,ȯ="3|Tw!fR?uw=G?kdWޣ0C^~soq .C^⃱ݠZnz* g.wu%D|DY>իp*5k[;e*id܊g-cLGԲ_~&żnlx?[lƹ'aWƪG:C3hZW[Vt*byƚB_C`g6:%4(ޔ&?4*"YZ-p`(*-rk`<873E5(;3ӻćv 7pA0G˲Ю =B¾袮J,ljm*D- 軧%:xg["JN*Y.hwRP lh9Ddpo x GV6R'sPeGI3n"HCǮhsxKe)j&_@-ާ^oV&mxF hǺ^2L@/a!wf_(yJnoA%f?-Q}GG-zA|;?m߈G9zJdܪ(`?P[ݭX~?`)\FL4+ ҟ̅@Lǻ;ڊi^JPHnSGoZ5!₨\+WP`26s1:N'гiw؂\9Q( Y2yzL?+'mZj}RYk! i vl_EO>6SP;&;\8>dw'l>t.x ;޵wbrUaŭ+LeW*O)LBqq 2W5wl]SҎOl]Wn{ !X<Κ`FP 8eNT;;N2%Wg#Oc}):ץ8gE=Uu,3aFN~zuEg~thHUٟī(c9hkM'DjhKɹJ>O99`_Tn|` |0%UǐQ˶9#A'~I|z m徉bJerQO:."nw[AfL#2A|jVג0c|*6a݁+^ av"`dQgYZ ~5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wjXFFZ[Ԫ q)G2$! sO:X C:ѲCV_J=\䝽[؊[f/=TaYƷJC]NaƍKDm"¤Lђ>Sb׺<{.Rr8Mj.[8tת4apa??Dzi^7L?Nyctڴ:" c.> `cY/"O#[Wpkek%m^e-n 6sM!:%Ll."1Ms4 x+QqWF %,3uč?o۫P}Ӵ\`$4& LAgk ˜ Wf \okLaqυ%zG.F@aeFoD:"i>{BrLv>+7Gӄsj&i?Ys/K{[RK[l\F [60r(JT#(L e+?lk; b!%-BK4`ŲIݓmz >Yiwz|bn1l*7l+ Ta0ii_,C7A>5Zgm pk=H~x1-KD߭RpqSwX/`]5VkkFzo;{Yr]..pld&]s?VPAËbMlIK࠮ {&)xrܡ1sc [SkSՕ66e6C,x]JmM2fO+t˪87QmhܳN5RϽzс%wW#Zݴޜ ./ұǴl"_]//Hk0#As0|ba5Pn!xweg/02lBX@RaTi_e&pMjDᲔmma1 ?ŪVʦ:6'5')%.WB}sD9[rwZq5ZG RN ;H-ixn8%"^A¦qa; @sIIr<䌸 k3֥CFA[ PrCVfžFeH7|m(6")i4!վPEG#xKM}RM8{K&qYjE;S$~:O'I[Ic:֠ %Gxq,Y³{$MX@0S} }ٚKLvZ06}ms~01~ =f Z|PPcǖfqNi/w׎WVP -S60蕉ZbSd[(3BֹܱQU@CqX^+haq|J!׷n /¬yLkw,ߐRs;YKuj/v:ayP7=M )ޝe@<>~\pe|7_i1@` ׻$`̱ Y=׸%:Z _5Mw=/Qlpn B$@ Rō|&Ky:˦$s1ڜ[/h [h> 7W]E8>Es ƙd lyc@)\IsRݮ+V DY/49 SiZf</` b@V@Idiך{P$˻ ?i`V8*۳}y>wlg1h <`9d.t985,<,1-CFN,`M=`Z`x?Գ+n4UA82H܆@ʗLyFPw?x#uzV/kh~kJxlնWбI|u,  oJ`4Ay]lW4f1sNZ^|8dKRܘ޴\DNrMoj M4Ng$)!`v&G=/8k}R/K0$0 U t ~x= بOvO@=b w!Jc:L :qJ"bz:rHy(2 7B)o+#h30CyO_@?AZ/2E1=A*jhh ?E<RK0d] 4S֠Q9igV e;3$WY:2*"$݉~ #I_GfBߓ%p~<Z@!_tYŖA!)jTΤJdݮ5dbrHއ4[P]aR33.5ՍK/t|5zٰmTM՛߭2Xb*tlapi)zm9/3;F$pӵ*5$&ȕZ'w9?;vxd@b؍{GQҶ+;aTs.\W=StwWk<'=7Ta,es3y\SNEJoņn8UϑGT0c|l=KYJ,pWY񽊳0D@-, DԻm !0 ـnywfs/MǟB[/Ps"m&^L0"(%3,r']i-h}ҁ7A* !kܹZuG([:g03]F;-Nb Ttgw42}j@:ȢeLzCTHRGօXLKi Fj qV/?}$zP?9eNESGf[0,Ro[xj7QOd_3̋FM埏6Sz5-莫Sa {&(v:jGjZKb]z 5ЍW~wϽ{ =vUǾd v8>oOŤ8IȂ!u:tj#0fɘX2:S{mMӀ"F %Lڷt-!zw; Ѐ3~ө ͨkŸK!ж7.̛$3ܔm ]1RERjNN@hc`%_ZC}[PratkA1AuW"0:4|ծO锣#j\xvY:☀suRPQp+K/<&a|͵F#rv6KTKiJp 0ӈI1uHϺ PcZОǤd3h_=;})EBlP.?@o/$Jo%@ 93ig,'z M_y^DBvX1=2g5u»L%b1"??df#-շ/coi'X㢋 q b 7ojSj߈Q0<;?2[s aV@SNF(jxwr\#6E5D߉F׸wS#s{x>#z ,6SKI< SiWrz. '5!M+U$#"M_orİ  Ёʲ%v WLf$KɞмSύ!ho>nL 8o{A.Twg?Ǡ?Zhעd8H a'!KCK BiFY<2|a[F"d2Rj}&)H5B yd[rZA t˛f hKG`8t ]m_SHSdlaa\d>\M7ݝvI!Zr{m(@uJo b̌#"5>,!qTS[p î4XEOD):ST)JZ Z}!)l*ʝJ>N  *]WJc۩r 9 RxTx{:ya4ɈGcꝐP`ErXg/$E(`Q z*U{%1LnQtX{2)-O<+D"/_x0*è!9q]矰}iFo575w޽2 uww;Rc]#P6H-ʥa!yUo 0S7'R&d'hQ\|P(,›xZu8 1(9@!toB>Eth _d:?OV!ԎLfj:*EҺoKC JFKK@ Ltᩭ/P-dfĴA%CazpLX5m-PkKD rnX=i0!_"!jiB]$^EsW=Ɗľ~fo>v^Xj+Ȫ*0-6"^ ƃ-:Ga`UR~֦)@3;lcjϔV-vyb֥f/NΦS'N2S9JDOtqS1n" On^ͤO`uMY[Sc!F7$vi{ " O]"e5S8.2f|np—'Qxy ˈ&kjdF|v+] 1?v;̑4Wwr ܉4ՀF$P: P!RQoâ6 -}cXv Z :tLea-'A$e%p_?׏ ]pJӞ eMQ̭o36ULVEvr%golpFo"xc+h)CE|0;`O^ a׷u1m%(h0Tcs|l ]r8˂l#=]ϭw 43Kh R?A̤ynBIN* K<L8Daok-ZY&¬Wּt9$+CyCG|N!@*-:kc1}abDV QuÊ/ ]_e4@"<ϋwa]MexKTQvR QN>7dtEk:P-듀ug@R#3BO_T9F̹@qЋ1}jRӠP0d|ZSIAsAGf( &^ 3i5{t+ K2rzv\Z\ېϣ /8#ܶ'eu2"Ti1p)}*CzlA:Z{ ,3Qir>sTm {#7,Zķ~S-b>;{ %GFھ[F!A᫯ bϜL73賀-TTMsfmk54Yg*[q5XT=q;e s 3u oi\>OZ|~"9'?Vda]=dW7aTYO%:it՜r4R-ZBRDWɻxw vDK&rϳ^@cƒ],% &@EZ!EsYDNzoX(nv1 xYȔ@P,d+64ZΙ7/DH Kl(/ܚ" +ʆ$" ,*6+I@̤f預vdr혥Iwm,/j*Z&m^e]2><"tl#9mkbapQyvk5a"(FB| dC6č-W=ׅE[*a#b`z V֥,u+SV kTeVƆQǀ!usZ.?, \[1*(h ͐`#1؏%`TJV//ҷﺅŜ< .6KKj^aJNE[c8'?pMzvg[iBMQ^lF_粚æM_:͘V X·}Ry Ŀ1h:Rz[ (%б=8xW+o<B^ڽ~ Y7ˁw" HA{6m E)PHy{VEհKhQwS#J GBAn?T`IeկG /Fr2o"pqvy-UTe@>h|^ wNe }4ŵ&f= Æ;aGz7kE9_DttqTAA`"Ȯ5 hcZH]*kT}Gy;CAɢʩ=lJvWzP -Ґ+=B߮%Y%cq֎0=Wb:Ҥ ̰?rH9w>!B'>e }-lkDy !ݑD.i`MHC}VuFv j @omF_\B8/L܍8٘L!}H+? ;m=Qsw-H[߈[c('8g-2zLI{w]RQW,o6spvS^Xi^[/[d]TBFWP8YB\-l.~|bW2qKQs̸xƏ|  Oh_'DD|b{lk&7ԲLtW/.I^V(2⥏P:s|Į%) ˜-N2|]&h~> lqav0Z14 _EW4"hn8܉uZÅGZTݍy=M?ubEeedAi#*VJ\`1 rkQ1<vh<ФU8>oQ\"uZ@qB w(G$u~Qq>^0]„SI;|L/; _͵l75;8mV/+g'p8Ii=g$w70aԄ.;s_$xh* +$%!hrOC!聂;-nlx,#8gyaH|ϮJ u~=)ƾH!v!BTk37Yטp*/N-S^wwo4,|g6"+{)Y3vgcJ7Phߥy&h&+N?ؗx<v `M3 Y>LqBv|33 ۘX|E  2wl]j8? 㲿`_\ȱUa +HIoQt%:pV%PA }nĦ+fwCGvbjcdw{cj" * GE*fCWN EAE:2wBݞe8pg9ÂZ)0bq}W^iu3Ŧ\\biq1ؘ9.!EC{*xyfzB^I mTWh FYVX#s샳ED=.-El= 0,"? rɴ)Jz.CešwgI|*2 \%c"@cd֪w"WZM|چB;gQ_0| xgr+ `emP7H>FGZ6{SN|.aٙ)Ag;+F ~^bcNMb;ВECϕ,b&+ AeWI}!Ē8W!1&7ӒX55#uDF9\A? f fh`؆~olkpa'4bQz vJ"d E=.32B j l <[a"tpgi51 {4o~:րbFVc2֌3߽3MG*Aj2/ 5N=^9s'HBy5A19{h;K?=i SJqRb3/`eAt,0zp~\Rn=DqB똬`v~M 7{D< LB 4#&LKy| CkDh_8cl+b|Hqp`:̡ Qzf?~O4p  bmEH@7ǞH#r|Mí Y23àΤl_l 刞gx3YYQO\eE{[Q,2UD>_"9Zɭ Լ΀8Et) m50t$զB;lZ1+nJ<\ xrm)7t9 O׌HD^g ,4*rcc` S-> / !;|EM4Ok ! ]b9 pmCΧ#y۷ O3rpհ&_jD-٫Ջ1Η:"- nSHsP/_7;%؇/KVWƭ;bae2 G%}hu!9 @I?J٪TQp!'/E 2c@V:O^q̟b؟qC3H*8GoVcyr3Wa=#brA& 8q8ie-!+CՅXj𬐌yѿ_Q/!z!E`rz'}8YE8\8C8q`nH l4WH <{QPon3ҽIRAov H.[ |cqkar\Hi!rZ&SH>m LB/CL ;",[mbu; K:zPKYnmby_EFNsf\L9nG@OhN(gμ ,+QxbwzGm8j=>ɬiS0)OS(nD-ˠ*pr1 a6oDBx"+hn[}̟9) ɽ:^tRPy޵5ϟybEe@1CLiCXn4C.#ͳe&6>;~]xAePUiY5xߛatg#VBOɸNcgzH,:6?rMyl?DgLͼƺgǧ7={ p|J.ê_r҆$ZQ3[~ &o>}u(nՠ{tI\$twso)6aPE1%6UUP iGs4zMz}fƶ%]G'b9 \w0QS郒qSa}N]?x·(gb2@,>eU1(ZBCNOQ_?ٱy݊<=Sc۩߳DZ[UF(,@U3V]<ؙ~ӷ\sbs= =ж7׫gT?7ֲ/G>Q FaM$^7A 3=ZdҍTG4rWnNe܋ho]$uGAAS):VSt;l}Ư祸џiiۮ8CX{dW'e`l{[ൗ)H֍~؍f'#7 "Mm2 ( n p(Gf"gҔBjSeoxhIe: a#ϻËc(xS NuA؎;K ' '0xΓug˵m;$Btp+ڨ*G曰 tM)^PD1H/">,ߏ`Z6_?Э1BcrxЃ)l2:P"ZyʀOe҈Ԇ3;BV"g/E"ݴ+ۄ<% %9?S*H;sRZ O`)'ݮ֫6Wj0DdOU. k#Bn`RX8*ۉ詡EL,H"Kq-?I  QA^|ӵ,VWt _mP+fVTr!8.M*5j}fr7:'"baḢv܆t>@L }M\{~·mc:Ҋent%6m C9F2`. ؂VGuƩukƥX}!pa' E:/]vuG(蟩..o@Ar'*l~klR֡W]8j"H6OPU#yo?ƭũ]9s' e^Sp:7`$kH0Iĸx#Mᕙ 8!ff *OGls,y34$z>,'W$}',E1\^d]WJ_,Lſז9#}Բ<.M=Е~]z^] <[Ve:MW]J8Lc0IKrhRC1NUP>BlptUNr-RJFҋAn"`@E߼a[.G4 5VO/8k(I %vGmfC\5đW$|a~Ѧ_i^P-503w6>XpZpR$27Gv,^I5-(\< txJK:6T#aau.LmrLޮXi_] ~Ը}<`}R/5bmY*(dfP74I }rUK ӷH٠c#p#czpŜO,Rp%50thJ:bwԘQg9tIԢdt2fLAE5 I>x) sBxr%Zp~2=lp #zs48hˆDBج^TP29vߊ6hX"/\iLduBUŌ/Z "Nh 1ul"<Pt]Lm[_ģr350i";* "yЪzRR/73Z֡J82@pxXR?e"t'7٬z~wjcBIJZqCB+;9['ƍZrp9x+Rl "*iHY2p\smԹ),ïZ+6ŭ8&s`ڬ9]O5M=ǟ5S}}&VjI6s:Wœ#\gYZ 3u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method5 5W# \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸN&]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wjUi̊NԈ43~ˤ]>lz$iIc>;a(Pe\x&w sP<0 k3уe}zH|d3*OKo6*.ms}3n9ou֮A!PYUi6KzW7wl D1"z+ ^ZȬ$f7wXCQnb54đ(tNR*1K>4y^y˫D޸|U~9aB;IwvR0HK{|?t0o :QEEObQ9l.0g3[4:Zl'6^=YEH-il%͏o G;>T+$ѶQ kieu+1:~֬q _KĜÍ*}`v_[Ď VH! ;Al_˃W=Gϯvw"j\ӌ 8+5b [#6^R&;9n0%}h#1A!Q>M$,T[ OBUD~t.8_4+.{ߌUNCU{_[ g̼݂RcȐ mv=--^l#-?sse ˙+fD,!d[Dv/?8vAѥ48G6AFN?ptD7gɵvGm0ȶ^wk_Inn~ü yA 0_`x`=Q^jB`^c$m2 4r343P١rJX$(}@qh %=t˨ݪ^e:`erM|Sã}Kæl_J,OR#SQ+eUON [ `"{kb5hfb^=4[cZBqS 6aqyfYkC@mVV ĠITn9Cbh (xT&n1<TOo2sz&l8ʁ~]atx/ќWc d43,h]i"61I-ZXӋ ūMh!Aj\ *Df>̹7T{Czcmi&Dz"NXar޺|oB2rbd$ )$\f*0{VR<;j~+(d-@`_1.'k9…󒞣F֓xƌ*(kNg%Cvtrگ \Ș.jEeQ+R,K]{l2M=aȟ. ?(1jj^_-_Ku]eaW; \0}}*#]t14W9Ff?);0sX*F ؔ6^3 3r`p~IQK[UAK#ᙁΔ +Iyz{D-h`E@nar|<D9# P#1GE6,vu [>fV;1UA DGs*&` VT.oj9StlZA-#)* # knڭ:2`DMÙGFYsbg綉^%SMw N*l?a>#]MZĮU_Z m=sp)h#I⊑/3ߤW|ݬVҰ7Gо|$I4vM mb\~3Ke p㧔BoPZzu׵0Wj8bOS1DEBoOnzѝY؋p4(mƔK2Kb!a-@2̀uK.PiW kM~)b̑Me+(7|O WvNt̼1fYYijVfà M'E``f@+`vެGntGI<) t@O퟼,XU3l{TSnbYk*,jވEؔQ|ux~)Lr3_T`AqŖQe0UCށxA{5a˕k $Ũ%VNI! /n_!NtkAɡրI ytEM;[xbl%dgf>z2̫Cb+aw6S"zW;f(-ę"x("evIi?yς]\>La* s]Q-@yKG{ i3R)‡!ƞ΅h H| bw¥j1C_?gjڡ0&R\`2^㻧 9*"VB ?]ٷd. 6Ձ9kט_^Ċ1^ܐ2(,5)q}~4tQ˻e͡hueaf llLTMרp)ϩFysK[P(cpʫpZ?~YŸե=rCO`ӂ(gjDDһLR`/EӻX3[\O=^'ܺuQP !@^T|2e+$\6"&OVj? gyeEVd7D*}YѤ4) MN֬h6%{S|/ݔjc:Mg ySk6!sT6$TYm@d%/AGTIS:ߧCqɺ;uWpgM۹]RYQ6=o`!k7~PL3XJ0È QG)98hh.uP 5t!3.-uz}V~lʆ PcV]us(hĕmWGXhGApfc6<@j-k\/ ԚNmLW*'골γ (6Q'R-7P< S:ggهoIZZ8 ' >2KԾbۨcX~q1ӑsmĘiv@Oxؖ,Ul%wvPQS ڽ$2C&lTMae#YtI4^[8f"7 bd<$u w# %ew. n6;MaMHN[5KR\b1ԅ6Yx>'[?o~Y+ADLZjGnn<6q?+y%Q B]aG>y.MiOhe+XBaH"*:߽@7h **lBRð_Ԩ0ŇCfhd4̓{D"k"X{1c?q !5"&E2r*Uρ㠠hw]k>#۶T6,!6oUW;9260lk~t),B-k `mcM K' K`aDNvq׊-('l lv[=x! =mQtWG'sn:r!GҢ{DВQvi}`N'/w&/:pĭ!Wn I w,#q$`xPfoɀrjGGR9! bA t6oL:1mBk8&JK32b#UPigaa\ ;(B`'F_ eyusVnuGtmt2^Ba;j,D"Հs&0( NnK^a+f>Y~y Κ}R۾l>!qߠw?Zno?K'՜emD|m\[t|GZyi !::iUvB40 u('TP a(%ewB @76E5O+o#Xք0@ʤZn-$b^EL3Mܤ?f/AtiqK{k?;/F\Ȍ}刬T|`ZN&kFVjf|!TxƆe'9Sv: ?\9ӈ;g^:Ey0a']p7q,fK eEtuk6:K7Fc77PY ^͸'Fd[;'jIM`TceMWNÖ[s̆b'Ჩ4 `,Y,6'R/͙5*;ҍ[? 9wZR39Cp`Q5P޼C%堟"uĂL]c fZb9)=zi~nબx$/ys^8(6:>F7D{j?c6`t-ޛ!TB/Ֆ\k,:ǡ=si+p$ +} Ng} )||:qBΰqitd4iL˥Kf@t\p6R@CkGNdvXAU]Bڎq9&hM5sƣ4$b_]Kr?h d K?MYPN!Bb'^J/A/*@S Cy_4Kb%k8 l ~T2eJmz-!X?UIVmo˙ُmYюuj$xZ#3^#w!@?=&VC+}{Cq7?^/d1T!(]oejʞU<?@W}Q;kBb+ YBcˤAtf+XtHå>T&zl&2>L>03L 7] Pp={ ˼EE b9kDWۑ9哐ۗE"?y_):]` O0^k\CR@[l ^~eѽ%كR_]rdiTr%U꫋𵄞SU_+ŃYY42B:?\G* " }6;#'4'}Cݢ- Mn-@DNWoPдoEr@kuˡ ۸ZadK! LeKj ]ԉ$S{q=Xz e6~s0ANQD2swYuth@v䁱V׃`mT#!SLo0F|$Se\%Np +-8ocogd[˄h۶\Nn=4W"ؙߴ (m@xݡ[a1K!#QJ7 5`疔R[wJ_3R]v9)(Ǽj7G7ح)t#b2{sӸ߆ #^;aM;SۢlǣXej浘l0FGP{[MRsWW`|qhN}vT/!*^gsR/J[DQq w+Ll-l*"!(&s3HA(Ь}wu>Webp_H}/Hn >2^+`z ~~FKpP+Nei3S<)>YCbM+ؙ[ć:oR艥P*(S@SG,kcX! -ZFq@"Tf]tS2^{Gz |Eɽ=?7{ ZRK`IiD<2gĵ `.9wAS%{1thdp74l L3ٖT@j ,Ӷ@( f&#:ٮ" }{@Jz58cHFxlR!m`;=;OIgD8ޚvpQޝ~]5=X$6+-2Ƀ\!V[]3 :YL\VVݽFrUsw%p)gТGbAvoD\/ei7LaPp#W9[ޯsSoT<+`qX)Q 8LmK>X+3G!ޒ(fo?NWkIiYt9̅r$s#1_|S*ЀV|ͯV!hWv<'& t筲U80 ^p/%պc},>j3T"ɾ ATNs7ϓrbyMOrB`2ż^6)4> չvNWŘ~WգH/ǜXeԷx K0ZnPxeKKQgO ʯ$jwJP{o RFDKS%Y)x/e'%k,F{&ANJ]QKrFF: "մoPMqcrs2藉e.}ub̂}٘RoY^R&vM=ׁpoJ+\uRQ!7Վ";xRXDDE#S,y>=h}?s?i&?N+sUΐ%eo!ߝ:,&5j)Jz4}.h#@xCa3?0"F!Z7hP+$XNoOkZQ}A9{+[v12}/ˠ^bHjIRs<4p\t';_ TRXqMcsr&> SM"u6U<_u[h63\EF92{]!nX!_"W!B@7.  :ZdY$'Ӝ}p[} _Sⵓvq*cb# QN􇬤ðE=iA%tG?߱̂n(|pk3?FWڵth:.;ٝ1SA50Z8$qk ] 2"hhQ~]TZP? 5_&,p(db2a?L_jױmJ.l9@]͑`ʄATmb{pt /r8ȼɪcyG.Ӡ#K4P؟E5j' G-,ktKhF(%a~L`jbbGn*>ؗIaܦw9?@_OlĪ  |RA Y@P'wSoR{e5@V t"?w=] T -X7p;x|]F٢]9\</EoILY5;NE"Qolw$5ҩF <Α1Fr$ ?SDڟ#bXTvtb5iLmZ0V`(Rsu ,wgi_^齿T-Eao5ܙ@ 8!L *n!X-/}0Ұ= Z83G}`;̍Wo9o[k(Hg0}bja\Hv!\)jInh< S!C&y:+{,$ҥ<1k|˓Ng7/94ܟP ZL)_mR%lyβz_*[,gp֞[<+YToy~ȥ)_y(i-(6 `bFj?F#bz?oHrRsZxjfO v1`qS.UsޞokTATj˝Ljc'e?rLJ 0Z*%8LBoS vkLX>w/U |E!J0|L~ dKb7KȖH# &+ )'Ǐ϶,Gcv/~ZX7kǨgwJw,^ք6a`B,D`=raq6(B'98b~`901~mw)Jͷ@D5 %N:*gcQ֡Sg?j.x:TEK)(sJv \퓖zih?3NX&hZTL4LT0Ex8)#nU1`{CծAjJ1NA;\h)#qzss1BaXYLje<Zh8Ze1Kq1OLj5i)IXsxNWWqsJ(*Ombb}t_{g+׼$G 3EA{~;f}IVƳp2Sw1x|AMa*>4 YLWQ5T~'lk=WŬHV-&GιҪA#y?2DO\Ʈs˙Gc/Y]RSVtؔ+3f~{Q&M+0f}"NZQdQK M`3[8JAGDplKB u7$r5$XϤlnS(XmMe8WAA"^(4ǞM|u'1\ ,&>Edko`ć6&* ;4s<H(Z}]x]V gmV.Xj*Z5Qy=1sH0.f͎?Zs#2"] Ob$ueN˳=&CH97|9Y2N!iaQ~.gs:hL Bp :K >y )wP_T!†Ro]ĖPI]rQ'@`>a?ďD>U;B{ϰ+%3s1=y6~7Oo<ɓSmD@%LyƕKu r$sֻ? Xmt<&v+?pluั4W9#6x:0ZU[|  !%mJBC`>KĮYpT! ]D.(D]8qQ)| CLinwR|nWAZ@=B'vfa]BVnۆT٨Xaf]aBVxޭv6##!żvR 9MNѬ,=SLYfuKE?gܙ~ dV%[H5ܤSR}.$uMes M "%d@W?*hXZl!8MX;{K B"KNBXV`CUpDOPI+)"` G8. _Ph -[t&8JPχ,*'H=1] l]j)GG B&zgYZ ww 5W' |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=b4{IG5:?j!V<D ylH8x~tρ۝R.cyYh{HZ_Zr樻J'-J0>Wm=: A &]~V=Q]SS:C U̩+_ 80q/X ruL]0 9+~%`}ΐbPC*Y%yG9Q Abv $;k ˫G/1 aJr}sq}K7قǀ{=o.HBS~amcZi4=^$vo!0 WSuPV[ AXHs\D79AkhNHG~e-O%zԥkkk~أ[|hͼYMZ.AkzHځ& iA.Z^oF>2LYPv t.JBaz{ۇԴ8kbuOLn[j$xEЏP(O*SodΐwG }:?Y %~|λu 1UxQ=fWҿ =،e5(A='#i6X$ x iɒ&4 ]w5P_.Jtf=x;~8u7iU]7i.#ZU)UBh涽-VY܋1\ シHir,`WJdSJ ٨'[lRŽçs{N5^Lw\U] [WܩO-q`MԏRd߻\+Ud.UldEl~u_y\]LNJq1\Ř i:-퉣WLcQ ޴GxS  $@鲖 ("`vcv\;LFixj 5|DPSdOv2ک7کIΕsߤ=DQ\;.I"Y7rqR||7,Ks4{ZG~d2 H(5H fX1poX,hxl7^或/rܵRP.>,j[ ;Lw%wm"$gTjSkGvKo|rN_ё``A'#!QҦϗ+{U di7HL&n2s:wFRS1k<|d-4lH6q9.g{_K7' g ۾Ĭ>I*nԧ毱)`~5ԩbRXjDXO0muHq0V;f[h-!f[2g'GA9㲚 OʜR:U (پ,}r3ѓ|үlxoYEnn^d'5yF,r.|Ad=b/9M3)yk7&DWDn$}YD*]M@dP8(6ŏ2~DeL6ۜ V?BUge5QA j7PBA qH"'ϥyRpWP}>k]Lg4&e껣!ahci/o) [%L7$rʑx>`9VPb ,~g2pҋ `.SԀ|s| R" H:Pdt≟NjKX`@F:N8Ȼ\ JvD.Z.H#j+hJ&@T;yV>DtV#t^Q N>"kCӞ6իU2|el~Xrul̸N,# CdVQ't:p$^A PEV[lV͝Q S3~t!7A֟C [FD;;fp;Gvt}% traV¤1J/[k-[5-zYN'}HYBցJώօ{p7EaVf!?Eh.^_+:D(DkDWOߩ?}93Jg7 !~H8D0ў)beZ|0)`Ke,},%ZWD \Ӱ˰ϫSU|3~`kxz]:Y?=lv/nYV!u_F⨲NW2vhыʁ |n}!e+l(V/!BțhP!ӱsxcN8RN,c+c/Rt:0~YA0v ۳U_Xn>ѷGXֳ]!+mB@ZDPl}g ʡWnDJ7׺s~^aO2fa#rܧDP?:ڢsk^%dCVj$TrY874qYgV i 1[Aɵ_קsf=F-nQLlw_ƒx4|?^f{7ǀ X:=,(H`$!CwcS.!Ow31Ԝriܯ"CNYY@|W$θ@7 A!{2ǔugYZG maiomW2ꨠ:ȕ3GJ +S䠁[ޝsK r:~ȆFlN#TE&#uI^&YSb@Ѥ$Cm2]ϨGu\J0K;:0!Mj `D(}7 OVR!nVPIu^X$%k|}m~$ɬ=qWHLBԫ ¤{p9R *C~G$r\RaW&@j)y$>qH-͞Otr]&CT¥c5 \Fk2iqYH>xı蘿m܀8FI1`+q+݈7I0ok,J/h9$!_\aWr@Řr?&+ܪSh/5nRf VHyj#̧Sz#? XJn"u S y.= Ge.jF}qj=c$WGY뚊xS\ndEڰL1CT_Cy⫒q=-˻%QOe]վ {&۷] 0Ƥa龪/B>Q!nfĎhOڝvLrjf2( 31͖ŝwޑ7 m7yMJw~,D|®,vHv$ ܜ2o(7^Y#FdtCtq)%(7<fz6(!.ۼC4#rA `9Qcdif0"L/xbc,F@OҚ-c)A,0#[Aa(wˈC BڙHo Odl|>ŬlG8נoxzAR:zǵp]ק`2}#Edd});eR,$w{=!߄)?t`[,(7D-$R?W4Q j)͋R)^ed hH$L|t.IJ)kZۓ ϔJMюRVӓ+(cbp`~}l"TKSł0ءb8 OiBf]AXje ?Yϰ5T&^gn蹋5Ao2ݵSy3AqY,in֋#qlVäKqٌbVp'E*ʛm.nUh(:*UC;d@x9+ xm T0 a{Z;//w8Ж~u`?dFÿklѸ1r>3秪Qw8~via_ogۭq*(%lBĬL\'l&^Zkr[WZ/揇.)Yq|܏Ӡθ2@;a533f]i&E6 .{1 uL) ^~-8a_wSh6/lq/id.Rbpή >ET]ͲZM1ᄭv xx\ :̙7O_qD?Mv%5a(z6ѕxE~R $qQRWw2wMOb.P!n`F%'/6%5UKPEkӕWh;,:^(RXhYl ']~wC72G-T89Lfws=WkՅ ߒreieqC,zBZޠW'6}a*.f,bz>Im)]=-忖ݯi,OǜXCDsrYI'\?lAqKrZ+m\dGPRd8; m&>UBD4Mc/7BĮ8AVn,eA45}N@ e jGHV)˽͗$^vf$H& &7T`_CRV)j&?1[Yf wy!E:v RjLW z{ P.W'xCk6_h صS]gdY;.dTw;,iG=Yԡf[SF_<+)<).巴)9PD4LdܨyO'2kp+ l|4 $FJQf{T*qR}Uao=~P â'_L2`  `f& #9z6`b-,S@$X((%l|S HV\Ac.&őbk P*XKx$Əl9˰)~lj r&D$*LZȯ_(gU~&[UQuU-hUg3Pz5w}weFNe}7ߦWxQ[Z sDrs0ɿM}\_bXT͊$cgBk| QRQ] /Do;lO9"ڃVT+_3ba"r gF)-P4U`7ޯ#V+q d/lIՇ%4RiwD5kN|pau^0+!Ӗedg;7H_,Dlxp6zafom#p 8.@GCLjzԤm~H; }Wm.MaXg0Ýrz}P*EAkO&'^q1:"1 P1 >/̻nG,3sd^}1^E§AjTY44 T6ߵU>; Zuq[qRRN4ʢ-In6 `2{Ƀ|ݲn|!oWވц#QQlvr# N]p:#-ī({g#sBUi ~QN:ym#&DEuTptV[ϕ EJ76yva"Xd %.-nf/3FpLj1*DsgxFmˉ_C$PM (XFru~Q"XZu(lVM&|3%夑vHߊ2w7}30Pqw+<a^HVvbVywӪGCKm!h2s޾ 2@|PH{W$99+O,GRi^cYyQ,+8׉5%s`"%W NTkOo!˯>Hb k Sޜ$z!a `E/0vZγG{^2>hؾS1P@cW&Gw| 6e[|ڶ-arJ/K͜8,R{V6\UϚoM !6ؔFEߊ:9riih\ F5cx[*)} RCkєӍˆ8֚S ~ 7#bB4B쮡Djd94BpܦC(X$Xoq{A!1F1-r~u҇Jԥ$6"J[;&qyQwY^"j6}F5e{*K[x9ee0dFJu_rݺO0[AOTɰ cm3@)DPt0kDCTI0S.a= ~aan]ST1hW@cbHJ Ѫ٫)f m4wb#0=D\}5=o'wp!D@BqD<,qxcmBɰ 6o2=$p;=1LE٭j7"$ʡsYN&hvj$& _͍r_2紱pH`NR;tW4L};|O# -g~̠!׵_Z=f,[X*JR" =Y_& ~㄂5,U`w7{iqTA,8}JmՠFƆ{GَY< LBeiYKڽX/Nah(s,4L \6pJn1&iR#ǰm\`jPc; tPyh;Eۚ- Ӑ|5 =K*z}0@I(~JxUc-{N[`#(/`~8z ʩO=E ? 0H? ūLMԢu 085M ,q֧KWw+Mل8~9͞#I6̫lk0rhx(<1*{|OD圻SM 5y5S&ƭg{VT1c!p猏=G>_~:/3 |PڥFX}>5"-Vu~ .d?p}a[Uдcb=ߓq,yHdu lauMj;"`xY$߁:G~Yqf`kഴ81noI N7ibeDH6G=zT(U/FbC8KQW~r`aKݫ6TG(.%#;,̪rlH H< ,ߚn S+%k5IXqd_.g"6_E~N=!dRQp{Scd\9tsR]8 MhTXy ܜ{_|gvn!##Мgja,{3 r'(APfs깂*)L4[ϲo?o2]o _o&%V#V8X֡nâ 7rFM〜a)1j@KɑjنFשp̀+QwLJ,e{2)7Ȩ}x sCįDiJxVX!_{؃^|-10CHTZ?ny5kyaUpKGVW4Ro630 Te9r7 ?kPې*T,e%[;}c+4 >K@/qǰ8\N.Sq-iw nH > *08%Qcv9ܔ'!m0 IF!ΥFHY܎ ؾ*s9@K=n䵠bA0W[>!#X)9Gļ<  LQ_KI\geԕ&gJ;p2~?:`/2|7OFzr524%U)V %Gs\<-8s-}{+M|e9iqx[G$euCtzw1y99ۮoae{Ggp%&m1}S)~4Y`v&3dfj闥Du_Լ)`ԃ.G?Ex?YޘYC= i;BP6_z\F`G~c'qlog_>0ݞ'1YWY_‡ *[8vv߄(?1î j5q =Py86;Xx 7]zvl?SO= ]A+{= sj͂(5q{?HxFNBhة8|zޱ֭xw ub?־(aNt,xY2־KX0tݐB2[<赋HA-Qaa324F^V|7Yk_*@LKSfŤ1JE٥l:0qtyBvb+Hz&7eT,N'h A+TeYC2wA^nQ9|7m-ȇ7Dʪ%6yQՇ ֽ'HW$j޶ =!k9'\|[zNo#@Fܾ >-UF])әcG 9lYu H9FTWlM.܀TEX-2QM$90%auH31 J 5p6J\A2zTAhԈ"n"=!Zy]fI-eBZ A%,UgMO "Nsy5^oܨEwɟ: e\ی [P#[$VG elwFQ,w=JLvX;kI5I4IjVhˁ6;1OzM{ġTS5%rۇC%8Jf[{8Quf+ B ݧPmI70'FgY/f4J<ޡ gYZe90fc97a2bf978c2882e29422fa578d95031bb6fb6cea6df0192bc503fe986b33274a8145ff9ecd8 586af23001be017adfac22458b502ccc183a7aa6