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$ ]/ HOL-Record_Benchmark:threads=6elapsed=138.057cpu=214.243gc=18.7807zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'ObhYedBөǚde= .#-}--zu>`ISu翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬<ܱ]FٽɊn:EL % `]6gOl_}YZ7zXZִF! ;]ŗXi%l{\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$(]]ӼCaU!?vz~yu1ȮnMG OWzoWOZJƺ2MK-o+{%`i=~l xUmJh?Pjc ԋlj =>nOvS;DڒtۀR|sԯzvQGQ{Ҵm1ZYr%rw駫ݾ|z`lo"0}quAm̋E?$|A ߺoޤh.FQE0s̓*gYZR5W)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 j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! }]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCaU!?vz~yu1ȮnMG OWzoWOZJƺ2MK-o+{%`i=~l xUmJh?Pjc ԋlj =>nOvS;DڒtۀR|sԯzvQGQ{Ҵm1ZYr%rw駫ݾ|z`lo"0}quAm̋E?$|A ߺoޤh.FQE0s̓*gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain "5W' 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mN2UdR DZMF?)Q69і,5&k%ߗs "$y}NyQ3_|5o~2ґ2p$I!jQK܄Xn/AYHBQ:x2B њ'P ɛL? mM+G8Ĥ3ҀtH/A6E9"M:~]sՑ֌>%Z&O1 n enaG ⥫=@׊ħu'Da ðZƉ6Wb0ίMJ.u~f\Z'B#bF6i?ܢ{*FV֫k;!- +2,j|Ӄ! o#6ho;ܩhW_=zlG+0 q۪%'Ǘeؘ'B& G:A܇rgQLsvXwS>i8wS``~Ve tj5a%N y_\i8)6S m+?l`X HPC'.7ɎlmðuN݈N*p 9\Β6q4e7Ǵ tdDrQp0u=B 6#Kԡr.tEW&P꠹'-dId];[Qw>}̉ ;̄W2" +鸶00XpDK*#x坂jc}(vBP>zӍή@J7G-Z `]C_Ϯ_W_0z.mms([#6X=iՉRmuiq؟gv^Ex {v-L8B\y?0&L GJ蜩= v,p.WF 8zYsr2,QĵRs;ܸ'~ ]R[&Zm G>iO^Yv˳VER'P{#[&F$;1>qS$ =?DUۣQ7Yt~I/旂iX9fj C9*hd")UU ޤ uۈfUFH\T./ѩˉi&%KŨ- }M;0csbcE㱓^s-X ݖt ޿XڲQCbDMBCV}_*ty(oD̽&1"|>~ GGfv\{%c: -]P*$N|wda&p CNd \Hy(o"c[fNAg\A o:9SnI3N-"W!{8%L@t}aMy=RG*z*Q,@]NjQ<8S9 ?Xf80FeXPF(Dߣ 2@ܱL@O5lض} f;OTV%eo-i hu4V079?h%Q{aL|TS_9.*'t0" yzosރg@*D0.U])5 >qCe)ӟ13r; ôd cCYTG(hY8 CX[Qs'얜 6u/ѝZ=·NEN@&$4Ű CnĞ R8!)؈Ϋ^q9xFx}GuIjNKaìSrh$ zd\:?4s(f~( 7{ \jnS6ȩ|Ra{tA֟p_Ze!d4~ n͍ `mF(j39y0)SDz)ʍ]!v(塌`ʳ)-t'Lw']azjM> h82yv*7eKQ)O^NA~.՞{Nr ˤ$,bХ`Dmo:f_`aec7ƻ!J_DM͏~1Iڀh=f@+GG @6A6/D=G'\iKM`D;@j^f[vKC%l% Vi.Aa[(V~ 7Dh¿R,Zqs/ΧL@;oZg`{*Y;΂`vT4o]FVȟ;}l)b ێ~cO.,0G| 4Pk UiF,:%(ľ'P\D\Dpx#'w_;a꜇'IqlV usm/I~A߽Sb(e:e)?IcJDhFׇG̮o9\b@ cPN͎qs7#M84-h5@O]Zl/wy/cNIϼ|.|eeI\-₰PoA-Pm>7r(&qu}2i&"*%NL~J[[#swymɴѕ ([ '=}YoQ :2ȺIXv0w3ʇ 'ENzn1DƝZv"*ճ܏}^$hsW'"FCi@#0Gc*O!yE@F:P!O˷*z&9v9VuE%b,; :&tL+ kቨI\9< /Op ;ChѴmFS~#Dcx#hq@"\0SvxB QdX?$g(WI0NGWyQ3O(nס›W[R:o0wg%[cn((WQCFzlۄ pH|H\HODӑ aR\ZiA*\W)$3c.ۿq砵%F?dQ\M3dO+B%u<jo *嵶IOfTʬ[c %w~Hc]ћqOrG)ZL3!ݛ^"&| b^GƮ;ПK k=|m*c"Cu(hÊ!|Bb0F}k]fݩzc>` @=cv9F5U}EhېD{^D&R.'2Eߋ +KO?, qtwP݆pfH@qLoN< H[RSC$ [FPi^`I)ȐAw}~j__\t=(`bMUFVNj !D2{u^!Nk.*>PxJbz E"7`ӴzR*14mp0M=Ǡt痰E{?pןFaf0 L#k"IP gȄ>2OnZ{4ʧ(@DPS6媍Tܸ7_tͶq-v-E}-15As}tQ;J7ܸ'ΌF-- ԭ'xK,o7KW!+b8ľ$b]Uʍ?󠽻}v5?Alt3+@@v#7T,{J#P5b/4B]^ԓDeN4xXCx V.J8s믣<0*xOj;Ü^EyM@>}>('{^Ʃ-cO7YY\x:p!n-ƞ(f(loí3>:_G[+*5em_wlss"b=n]R_bP!a4pڢĸT󑮱sd$=Lޝs_hᨇ=/pGIVL[Tȯ%9l\<4~ڂAdi<\Guk_i2TKisNͿ:̭iEz+tHM,c:j#*`DG%o7UA:Оpmb;˲?}XCHbf9l f_ A!-&`K'3I{𢮗u=9S|婭 I6 AKo]p.Ss+Ո1/3ps#3,|;!n9:z>1n)_\SإawR_54ޥ'Z£ycumG]L؜Jሢ2B1OomxGM'X D<4$=38awfʿPF\Za̘O!J37Gb!MegRBYsL`gԩ \[3ڼ_$wB=ߜoNXr_v ʼ^SE3/&Ƕ$yIfVb/_mTkxoα^`$jF mjXVV5T8/W$BsD[ j$q&-a=wbO6 <2ƶQ<Srt-"raP9_ 0ݦnۣ}>_޽@O볠ZTK#8ߛȌ K<*^@DjJx*q^:DNwpg]T͙W@8 TcJR(ޙ,;νIYô}@g3`υ į6[.&ßՃ}m%Uk-`BRKoSKԊg;[D7bCj!YWoMVyf ``8M,M9C3Eoa5ntG~ $Wί@ B{ iobC_V1 /GeQ+-ۤ 1ۙK"ZSِ?5V4I>>aCJr[<79aUI&2ZO0m_Q]Vo>slkF t<9=7$?-51OS9.OAkؖ 3.okGtŨ<.RoO*gG-hT^lWjZo7 \G*ض+zfLB1Xq rv 5jfsKۈ܆V/:hr=.ORH)5]ehQo7o-APF&1VZDa3n0G' ۭG Æ@d5:Khxf'sTKWռu]T5eәVV݌4#<ȤJ]9qڠΎ3 &[-8E{lѣJJ уӿg]oSqsty|$~cx(cp3Mѐ Lz9lnַ8F{/cݝ[E c@pBx9F@D FsqS5)YU\x^EZ]eA"ӤNF+ gݔ;%`c1`g^K<*:d%RS "iкoFe$126}ƌIK>d0%Ą9{?<7[D ugI˞N.'URnQL}-uTcYrHi:З!-Wٖ >cPwخR/kftTx ÇNӋ]pG8.m G (0ߗj X̼ƹO7AiGPi_ o|I[ZrKrdž"n%c˳gW'r'Co:(qIFm5Sk|;H $6%5ܐ<f _xp,WzW0 rӵenQd"N%kN#?flF,H1x&L҇bwcƟdYŜ4ZW2K%|Ҕ+.a:a +WT55#w%wd(_n}۞RY[ߧ# k$Na/ >i p{ڞ&R[Jd]c ŚG#x_)!Tfn~:BΠ &x@Rp %> _@%ݯ}KRY( 5Qj(BJwK"ߖm ő?iPq*"!nB>*r ߼p|7+gJ{5ʼnЦC#$u+=R3h{T5b 4MOYNEhtCA Wenk|Ko˵TV) 8i6 zaF^|g7Fˤ6 lϜuF#'O.<;7^I1M嘛.jr`m:M3gi (Y8؏ȞJ+X|p L1ŮYrjǗ|^_HH4j-mJK}l$Vs9NvHZfG^6̠'CV";i5_/%ALpf %hD1ޗL1zA򨅌9Q(K}$uDZQj:X\}{ Yu8q<tt͇AԶIIhMsבO3P ٤LU΅EzX.y}paEC[nBP*Suάۊ&QH6=6VKHٽ-Ҷ̠g;5V9vv։V*8ZS h(ki$LІ1M#{GeC:& RRD)dl 4gLs==Ј `#(SfnHBIgF$zC(=̫t ZZ([n"!t`k{\̖ؒJbm6-:Nm+{ ez7|'I}7Ku >̏NSԓ899/v[빍H [Oޖ rb3J+܁ nRVޑmxƊpÄ}yq(D Po*~Lrԝ ښ;&Yq Қ cO#ORr 9H&=<#z[ƺ#)A+( 5NN1UDsI.- ed&t|*anW(yHdC1 (?^nwsBI>QȐS}C=mELU}m kT{*w׼cAHMËFNj*UjoK6o)E$)2+}(+*D4$ii+h$w^S=eV[QlqKS:6Ac 5pBAB4TwhHr4c`1Ompm>շul\.;w}eK]vR2 n fi+T bD H|U4??K]H\det`ě1i5 [nSҿ8銀7ӵlTp t?ISS60ѳ۵C#N%dM4Y ӭ&Ue:`IځɎHaTdk̹ԣ]  Y G~%^_iQIf^yQdeG VFq'M6 #HX۬;lƥQ;j#PJFmt z[Ճ_R/-C2dnL:{I sV!1W AӦpkE?d"d(lN`I.2D?AvќY醮ԟ05SQ)PE_=̿)uۢ/UJ ^V'3Σںtȃ#z㟊R ^>oW8oitN_ΤVF/W-uS0XK{ ^O3NxhNy:=Fo[7b#T#9:!˽,2B['ҧ9O݇&U2L@$5{G7pәm~g~t#CdKo0($ĜPJPa崂zH480m)iḪ:[A~.ˋ,ahxa x+L^Ɏ'BoAߤzl Mg n2x&x. /6ԱΏZr&>Fo?3 l0⸩/|hi@P:;,Ė],D}ʚK iyDP18,S!@&"Wl`p-:\$;KCC&LnU{Gm/<Ŏ-<=S =̃yH&Ҙ.6]Ʌ F?%(ZphӮJ~G| &Y\H,24`l_Ӽ-3>?8(!nQc-L :,j E K^Ú^Mou0v~1 O&G$;ߤI?Sw}z Νy$xâeʹ DF9|6)v!EofۄquA/)`6wo/7tQ02#_׺/SX|qa˶ڹ>l~;xlS v>ˌ];3XLJ@S:=3}\ DY`OyS"'(gF͏F`jDĻx\,rB׉E'Y]9 \@J*M @7U&VD40bsV& hw q,H:Q˫kq%nF-D׮k;w^Lg e@+s l#aRS83c4~^SY^lI8TۅF)z`2z]ܼa삏ndFe .v -!Eaڜ =q}UijBkijf F[Jo@? tdטJ!R"^N/F;ڸk_VQVg@b xDEWᑛNs6" W3ʧDo%)EziQQ*2`#D49Ѹ@g/8;r }~*^J T5ƅILBttQFjcSMQf BY$ KX[V6܀) TĚT%Kcdf/v/5oUxH$`[JAc?<['行B{!Run8dew۟6rc's|O`XףGb};•62~G}jݖ( swP26ZڔpNL;Am]z:+RU<)w=K|Jj]<ƯST`̂.aԂ<9BˌG0'Fҧ,<fL߆WAsی;-u?k%,(fþHzh2弪`ג>&w^~N}!>'&-z];d.ezxa (5?!N^[F<`+Ż<Կt~*LI)fvSl<@EԿ`ݛ#k 09s3 D'@&:ղpB/qkvVqN?7j8 u=oGʙfOn:f3V}\u˭VމֈrH 0&H4D{|wr[Yk*+2is .fևς HW>+ G/~ss($Wp4BÕ \iZ8QW r_o:h>P@b١J/`H:-6aJLO#x<9pU`V5:m4`-KY\z(3wLJ)/ZocO3"c.GoE,=f!\ ]xmDDԠy3;m? A _v \d( g[$6Ѩ9qBJ{v J/E7BR"u BսT"(~̥zu0#1 P3Nj#Y2'2NWX`lդЖ"Bcu3+ZI&w3-満nyJ4Ԯf05zY :vdjS%Oƙ>\ <ûZo+od-0^ӛq'yQX R]~GgD+]mZdJUMN;3*zpV'VOhq-fO{^_ 9"theEޣP۠qĊY4` ޾|EE yS*0HX.*5CttY0Aѳ̡ur:CTyT6Gٿaޥ8m7.}n4!ʹiEtV1lzm׶t2׊AM}O]aNB7E:y69PY$>+%%9LrHg--5$UbZv_.~->Z^l⾋4/.n[#؈a|S 6W2˪om;eaPX*l9Vޥz7r 3I_z-Yd7 0XvKʝ6f!+Km)܅s;8oZorVgn g2+9B;:Y"lJh5T!}F$Qpu FwTv}pq6"!$$y2jNU<\'_k1esmow4D"2+#n]:Ӥ {87qRoEY(X1_;xX.R#`=}%b4S` M~{4K4$g("ԸKfAC¦?:zF6^D׻͹?`՟v #y5[(wꙻ7 & &+!r.qHk5Dhཀྵ.3JҾH+GYR&wr@vބcc8Pב=BfXc(iFR+IxDOXD)8k"q?)4 ({Nmh)Oڅ=J6Dm/Il`ead4DV^޸_N.P yEeH܂^1'bІvkc 靌) f,霒 *K4q~l56ߝCw"?f~Ъ=EDgΆ^n]#n-˽ ֑3Z\E+4Eܹ2kiUꃭ^8{t,Ӆjő`̚D"0h:HΎMK7Wbm_"2iPE4 Tw'G ^ITt;#}y/sxWSTU4wk[e^[A縯D[Pthdž5?% J\Ă}oީ~cO d[t#(1FR\'k()C/!^U* 5^ق.v_MCƓoLФSfЌ[:GbŤ2f*'W Яy.( Xekfx;M*vUL廭&v ?j0V%V6J ,c_ \ j=/1|9 cGЍUWM] # We lԢI! iuD24QC.PF10QLՕ(?S".$e8BG>@A՟^bydb41O,E3} 3 tS` 0ώEڅ4:+ :.{#&ɍ?ISP{ W[iǐ(ԯ(a6X W7){pHWyvލH#x>cU`3?5Qg RJ4}NvG+-VݶR/!\Fn,gSZ>!L(\B Ʈ$);/H bu̖Ʒ.Im L!V15|lvC褍ZdCy۳J0VzUp}Bp?6ʽuqmYWڒ]@BewR6Fz^K330Pe.QR]^EHz/D,Cj7! &5 3Rm$iy(s⤥V돩i?=;?3uT4z~-nWG|P'Mrtݑz-+Fbv>iU'@M$wCZ0F_Ah3`1T5_k8Z@h4*N,І /g|cfs~{A6b,ge΃PlWp@xv]}\y ׸/'˵x4,ޅPUKvt( ҳܑb^ W?ݮ%T<4V wHD2 Xf{L mU"u:ކIRg vEKu> |R`?}ߓmSQVbHDɿ5GT􆝶F>>Fn]{@ԉ&*?8PGwfefD3n>`cNڿبT CR:9 Z@'TՃmV0ob@WVa^i)㜾 fjޞgBn~xLnB\y(5:_9 2s`͐{x; a'7CջQfPU<`x\udqF}!Agv92dLFD&Yv]z0! LWײC͋ȲI}{ph=TDqÿ-~`p;4Dp݄H'ȼU*l6~M4l?UK.%vU/>qyx=Gw[6ġis7 |fY|H+L? -pS:!C~b Ryd#3O//LS9cXЎvDٺ8w+F7ͫgZxqe9m `z1[LLy]wZ2٦8E/[6޻wuT'-dG^' feyGIw`B[|kow5=e%Ʉ-rl2{> aSJWi~_  Xv-:e|A&:2jLH}ZT =l@P*`$)HlPpW>N:Uz]絃wON468"T&58{6FӺ4WeIת˩Dx||?J AyzEOi'~&fr,חNժZ(Q%ֳrd`z1IB!(^uf'WNBD=ݠ3hxUn1K342 \HațEWeTȷFiybތ{±Kd[\6O\I{7.cHJ[Lb;;s&|5?.Kl`ЛI+R;Q=E-(K qe FlѪ9#aʪnH(R^DWv\X^bMC|Yq~kT3:$&<Sъk%hӅ FY\g/B6>y)Rޛm7{![ <:֍y12)*sG \A[oPxݼvCz+rI mɢTwzՎdSᬁ@ɌN>B '<06o#>ςPߢ: *ULYOӷb#oRc}&P)r=uvcwbU$7vtLC C^@#vT$}7(/?JkxtjQ2,/P"*d;L!qtJT}oX$9wp{PMVYH%)|*拌N!q}Ãu 6b (>1p9YߟQ{x\%S$PEI}8Qk[F]uE | z.M@0OxvKbP=V>~?˰dg{z ZpSa7b }l5⬣ԁ ‘ó2(%bo{ \^ .8y >P,w}C.{|Tx_3q)H\uv;(yg_0miOI~}C"[gVK| <7R\a <؆ 9)cukXK 7Ah &Iᅪ9!΂"t(|5 ӂU$KMBwk- ߊfcٶ@-|tȏ|ZpZ9:Fy~V^Ck*6 PA&lrԕ]vF& ע]Jx)zZ4dNRFsOTƦP @q òYXp)W24ŚO`$k`٨h?WIfxLGEUf>E%$)(<=n5Lڂq2n[#AhpS_fC&cmca glڙq_-*r9~L9V߶:.[nM2L'a][fjɎ(̢*mKqrrf/E{vCԺ\+$CZPQ+3Mg;M`"HiW2?Z%Y>=թt9Ŀw6lOsC4nmZO'ܖX ~1"MgM44K&FJI{f\+RFenk>_Wfcpi01UTCCSF :/.lNA!} RNEfЩ?TPP= ك<5FvYKSϬ \ʵѴ!(#+`x: hQŦ.˭Ɲ8gt/ Ub^ٴϐMX/]?4`"kB@B]W1J}AAp_? FSJW|~)Y\:I8 9;c?%x١f5cv b+D(l |CM@qQ1Kꪩ)[<,zi>ƁS-(twM]8ZEX%HNquՌ |eb8Le;AJqZNP_7P [tDm+ 35V]2q$yźH`Y?:lrʍ"㹆]C#,v`aiX&Qic[Q.fq4ȗks=c`)V'ύ9*3ތ? ^m bxaެ1ZO%яFMf Q}17z+rCHsVj_cDpJE@iW۴[T<Y*TkBGme)ՊzO$/>5MyQ8'rgocn zy2yē=`q~!MS|^8 2Zm~#yQz(N:>lNs"E&O<J/[އyyZt#;)n;K 3 x/FAYlĭLd=J׻7 Qv\F  O3|pZ3?7o+/񝔱 S't±$.+Ne8>>iN`_MTB3NLF:Wq cDJQ=D6v%{K/&<7Hv)3~m&mf'k6<0qC9k,FtLgc1Q + 9|ʭ s2@ tlqaQشX}ZHU ɆdAW+\Ӿ` r}Ti~k?*GVcBv]1!1%^na{ڟC;㈠8"A@V# v Ѵ#QVo%з &'>7ٜa=SXyHq]B^(-_x\0 L%K BչB;n[A `Zm3Qao:x12x SǤlJpA6$P'앆|׏"݋u8Q̘J+%]^U(ةՎvdLJST´%UVٗS@lQ Qu ɗn#x*T{Zg,o(Z(]OW cdK#)߱gYZ DDu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method- 5W# LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w&g^axJ4'(ݿ},cMW:T TXݻBE/$̫ozor*Ů 1٘Ԑ=|Y^ 5 >wAwk:9"8`? ]魓m߻Ms=ivI~[=;(pb?֌b`\0("nP\W'd@/9[[sUZsm@)ϳJE5_ڟ %W&iSM<3UY>n>]%%"^ӂh5 NU.`ˑ3?~DrvFVtVy])%wi^;8yϠ ]vÕy:_H:W|,K,682jxKh>դL'B,τG+!2i)ֽD ;Rn2q~jb2,s@0e&c3&^e1HѨ6q*% yob( b@k[=1nwZqӉ#H'S)ref${)q \%F3~RƮ*m|o#8%ApвX:-m4gt>!8~O6иsqž ;G5E}umژ 'Z:`(e% U[/]u h@Gfu|1ԓ7*1o[A>~byγf^4>ҿ&[ONG0WbH4 ?mQ UsbMR|8޶[ӗ܋]5(Wim\5Z>CB?[%@ ]4N9EN9v8̏| 6 ͩP %XkQ^$gbk%ܿ #B!$9MxpiaHi*a3iM`^dMhZtdhux5&KּW-fH[yrxÁWAS: ջ9wqoS2P?-Oc|el$| ,'~>.CI^Aq42C<+bNq6 )}!ׂPj)EjFئr|H3ٰSmf(5˜(cQvh蠇[ ߊŤp]¶s:Isť`?#1\3ME3ּCU76fӪ;.Qwyi'yueq-j ¨{m^5NPb}CIc{&E桱M+Hč걠Z"ثC.l'u F8n zV0{\ρknW,tj]EȦVt_'Z-eHj2V8Zt2"=/Psߐ46$tY{nv8ʓ</ȽJ#άmM݈(D3w 9tpmS=Iࢿqtd"9(.NLR5WrʿE]AmR6plǷvM!3An8,J4x/oXLs0e f ]^kߓX/xFfLp2TTvܹ-$=|GĮ%j=-.7Ϳ9om@rF*7˛hܞ_(!kL gE ^1A;7r6(+B Ue[7 @56bXtuH* c~ ͧl+֤'j}XJ`& tl\b] V5ԒH.l ڦmɴ ~|?ob랐1/J=CY|Wl)Y~x"2aH-x/uo ,:dD¯_h4gd)?K{Dnؚ͟H+kvu<5EC'YLq8#V66 O?}=%|Nĺ:g@̋sD'B«uetZQpuHsܱh2gӌ6zo%oJ_d#޳ݑ|u/C=OH8QH ZmdgJߨzc3gЅs5o#a';IÜƴW-:$?}b?\ "~N=L](v;7{l0[6S`Co 9489b60%:=ib'K;& (35Whn;$]r!x#bGxk#W7,"NB3z}K hK$|sh銗vAa}LIţϬw#q[ >eEV@7| 87_LUMۆ(e&_suc=x4VVBvեyƕ}+U!fl"kmhKrww~==xݒdl&JъζšgCSf+NQ'QXB-;Ė6 c.mלp鉽$Gw?#t01{Ka  CvaU9ޛ[v tShNf=l}?BWMaE^9]cWM74ʸF)z.`uyJ~3F!"Űvd( CGzs lӖ>:*:D>nh]P# 3lp}s8bV1СC8F(oyRвSGp0pXeשEƎ˚u!Y𨏤BV?˞@,h/BwqJN$TQsgܜoXm7wӟUb `"<29,K\&I |@m 00 }7zo=󮭔SNzƯkG~ǮD,zܴۂq^pbp'SK9@]1r/H"H}AAR 3.qjF:i̛W-uk yhx1Vt B|nާ&A|ih ĵmwf֏ٵ;c16" Pc `Axw7-3Lb6bd{7$K9tmzs3d('ݝ™"J|2%ӌ8znbjmFCDy[2*}1r/&_i[݄T5h 9DZΠE!Gä Ty;gw+Azl@9fR9AQhPOYSK+<8{xn6սù3A(= |_yuZMf? !7x;uҒJ͹` />AQP4ϱXf)Z ݡH_h:#tZ(0rmF2þ5V^G)GbĨB6; Ćm8vȰG)WbҔ=gA@ z2b$98_O6}gؕ ψNbYn,yi9aDU2LuX+/ģ_sp$%ڢٵc:6çvү{=#~ÊA 8B,Y6OOjH)w?bthEe;FIk!s6}8@nQ$Pp*-Y}q1[W6rPf+WlN;Qz$7 W:2\YN,3}:]&("6"JY.vrE_mE"d'sODG!qJoUNF~NI.t%że*~z{ z<<01MUP4h9^yīNRLjWʁl!ݥ_i 44tv G|OiP %@J}7tKF?~? aMX/լDP?nl+Rِl6 Cc:d )0 Dz!f(z_~4jқ4T@|!<xx~(A(s X:N`;xI装Clqq d=I*RmǠkѐo@v=1x^/i5P̂BEoAy*3*Y<πٌ 0nb;3-S1 ýSLUe\$ ^{ (v{9!WZ+)Q Rk0'F8݂9ʄG(~_NVyWVREwfJ#sC`׭#gXZ4l"_s9>.u7(#F$R sјE[@+5bhYͦ<θ (SG.˒Lj9~2j:̧݄tm7ac\bNYA "'l:>*y@n`Ji}f`~"4҉pY/9ȟ^cO2CNŏu>/!V >-:k,~c,4VXdK&}[_īY{ˉSE] x;x9_0d f[K$$(qN.o7pLaًx"w"w?-3iFwHRZ2ػ#K'ѮMu]9Ԇj uY!M4gMG[rž$&dMS}{D1ui`KuOa$`S!TY< nx(- B)0Ha@ 6 Q҇E)Q2ˤZ(\#޿x  ɮK*dUa֎Ȃ5t2 pl ̏6 ?P] [ 0Z wZ Yvt/AY#7Grx8Fj5- fù vdcBz h$sHRDR b :UO ,SDBXwڋX|&/oUI N(dyցI&G;Fk8QtYLq"ؚfk2XgއQdͬ.*.֙Ro"-iĻhG\jѦ%;izq>B"ᚤE9BN#s2?AMM@xs뜥",v\!`_ҚJjBJFK{} ~@бuU==j8;@zlC L)\NTLb朣w{Ms|B) X. -|KN͇/<\Nf΢^H_T{G{/I| 5p"$('FMjB8<&Ok#S{@F5270-_i:$Meg[o%?T)k߯ L S)6c')Y2yWU)6OX<ꏹGrҴ_GCQzj=0?+Oo)~x=;58Vľ̝\fU7vu:edmו>,)+`lwԒ$]ۋ`{By5 >gYZ F 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Eu]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o+ăCO 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_id236Z5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|w'$FDK!.T衊 D.^Wiv 1ِ1v 俗SpR[oIma3G!@0X$9tt=Li@cp$㡝De~2ۏ|Sҫc"QI|NZ7':2;CZkWiT2Ulfu1JA0QzTZi{زU,{[ jجѷɔ֘-V<W -qD:-) 6Z 3ƃK߹>쟙`w ? E.vvxO[8*s7[ElEԅ&4\1V**qV".➀A҃!yw[C.Ck?E ׂ[g2s%3{^55w{\,w~Dg[A:ڗ}Dx)2z :($BO8zJSĢT/DM<Ўս/Eq &Ղ 6f8v4NlHKn;```{J?)FLnqLJ2a\Z%I:5fc]ͫH+gkAh⟑/r GS#~>d*nI6hObEH~Bv?3:DmY!GVm͇w<_P '} 49p6Jнtُؐ!g ÌC>v-@8ZlxťGE}f#eL!*zX_EG&쪁+GCdDu9 >]!tGJc w%&6ވ>iߣ&rdwXxO.N'1M܏"VG=K!~R \fH>s+VkӃ_-p(ҍ}"!-9PI`Kԥ,sY4-S FӡZJ]hN6ݸo C%_uq)HRU oqxWg\0-=F\v4goeRtU-{Z]49K$E""=Jv1Q~ͪ砎z iDejR8GNc#e{-lmmǁlE+tMcD:YXw7cP)@'n@ߨ*Wv,g})!C0~70{c1}aEDM74^D۱:zkg"r@8mܡLQ!mBM!_8PE-)#mU}bt9|3Pl4*A1Y&-ЫLxmew'Eq==D0(::n:oUaģ54NO۷mS4p9rfȦl&tlnJܵ|`UG>laAq:w,DlZfszkՎ>yz_PTe6 35I[pH"jQUyrsib %M}g{W3-c'Ps?Ͼc{|?j ͞t|v:sxW "6U-; ':A.M 乤o|)4 ii{ܾ$z-26[oAcTd`|ȼgj9H56۶%\/h[d!ȸ}k5\TH, c|nŢہ! =H EA`h&v/jg  -Ah:PlCΞOёOY>U܁*0U}~_6s FU2')]QɴFdT m?Bۊv,a;T q7.t W~tvӖ=]fWjH} P[;=LJ$֥#h<{@![@.XQH| %~y_EzK?>#&5@ߘq8MRGvjx7X3 #&dG~;WWTC/e^LNfߣwV}\dFsX6_i *,]ow[(fc;-W0DR-ʝHR\?í{hq@`*G5;ʠGm>ȸlPB>ClXZ3b\8̇R hh=pv6-# Wb'gՂ{rΠlɆ  wT8x%Muk!Z 0OL5[SBNa-~|"B( ##U{ys Y<1뚑 wE \T+MY%@RFnrX% v0fG.i-ݜ߬ϡoX:Fs M/ig(`RߪM'A:,x1IR#+|)q%%I*aˈXU=:lI3Q3] Vd$*rf[M6pR\O'2.&7Vm8&Kj!榴PѿS3Kԣ)Xb>cAqho]ˁe,Ə#QM=,.LX=faյ9Gdп5e!FGx: L;Iu.@ˋ>bv3R\ l@"@|ᄎ-}3E~[RXY3vJ51GҒt[^p<;:6|w3D }4ǝ}\cRЁM6U bG'R5ʽP'5S7FRIz! P1Yj%L_wpݎz?BiQ%NzQ}(p'@?#( RtpѫeTE$g-:}\zwcsTQǸ`nΡgG._=q+9 hfUgRxfˆUl#kneo6QO9nc Z4%DJc{m3djosћphvչ~WNxqbYGOt9~͔&Zճ"#>}.~::. Gï;SCEQ9J,j JnoIrVЮm ^dH B;Qv "Lc ѵ²,,wgYreAr}21_NsBhWNdċp-]Չ* >D{VU?q۬nd")Q&>ƆnR[8<02M߽Iyvۖl̀ڃ[Pq ALt@b@,wQ` %ǣ:&DȒ'MCi_L;a56+V5+FP*.2!Ugq'7r" )bwLoʹolٽ1Ú mC ղYPh4]HzHcJ*)*Bc }4,$%FVŽcL<+S{Ϭ>0y75.UcYVW?2~T\eFq9zv)p I00%I)q.#ɋx.8/ޠ Al K8qwfPm-pԌa]fX8!I2ە`?eXS>q(f:|o[ l  k :Ir`7Ig#V!Ғt3SuY=ދ@P{ٴ0}u:EU"p8Q9ZH)iԛ#fG$='%WYC:3I@aGKx<b ~q>~W j"{ݻmhb,N4=9[L dSٌWjiπ!pNf&\XU6tόH7Zr"aUߍqx^2fٻ> t݇wxq*K)s*aʿGVNǤd wkŢOW#3 ˥AjC*'uj[91b{޹]6@?_]`X&_g{7ù5ˤ*& R瘓YEr:$Of-jש vGi#~F(P@7XptW7@A+R3قdȼ ͳěj'V,7T NS;y*c~i459jvPbHHde,FL!d˄տ㸦4J1zO5jj[?foS,NhfIy-ܩi-\ %lʲ%l9Y9x= 7%ޛAh=8'?~mM{LgBϥ0?#=̉W^&wx+ ~q{u\yX{o\xZ6_GPo*/p rL^}م `J.[35\A~Gs9.AAjn/^^3.$vO-#-.j[u.=d ےX 9&vSJOﺑ ` mrjV0 H|T:w`ID΂\6ic/6JqF@m%bbk4( "W)uKQB8]f\>_"JsZi\ƒFkJ6e} 7t8 /#,T!j aD)LRAYc'0sjl]UkX/| *\´f{\| -]YB@tQH Cf&ķCɶ?Ttf}T+ 0M 7EO]j_ NgN"& ӧt9b#dnpKhf >\G\l&a 5&a$s#ka;]?ǔ %gYZE)P >5%R)ZڎRI5@w> έN^Fp@) ix_H[XeY6˱V߻,ĥTsyn *@δMv}wŹ+f; 3Pmn>7A1#ho8j(Ejb9X@^"yZWEX🈧`] 5/̋wWYK;C>6n# K ˉ&@]\I'0ՃdƤ 'E2W)=[$KˍF Tr[9XN;Cy`ٺ0eiƊ[R4ł1`aWK,VNPɛ$p\GgiMkߖ`d A2p>(eK=ytgL0^#["p!ܱnXSΌj6F﫽{mP ݖWJW,8wVoǮkxLl _s>If'?1̡&C9wSMBiXF>D ,ūfNU^ߩ39wеo9MN({J 8`; D$#hh?7Wѽ  ѧQgVžA;Lh&3dP^$oZBP^vJ%k—}LX"NZ` seEQ-VʆY-E a ٍhPdz5da: Ĵ}֊9^;G:pv}dcbF8xP4t*FI[nljc9xl^xP}x/r3|,t7zK/.#./SOɯ)s(3^@ru n[se2_F |`h75DYj=vρf*ax{W)@H& V~42!9@IJWS5/+hه)e%Q¹+p7f/=0\Z JQ3i@s {|)`v6 S菝J`;_J~i?lYFZ-#”jnf 4Q}.{2?4T#ZURegQE\nݿZє}֑SeKQ%kbԁBҍe)5-Lf_wwi(^G9E-=',?jngF&:/שN;!syn{ط 5 ⨸kLl; u5>}O<Ika yt8CXk; F`P\ţ̀IԴU*9wXu @ۯGj\Tތ34'.3‡X.܇on}Ee#*31c>,k\p0ves8ɣՊfx{4zKOOރ~:y|0WۛIBh:%c@Mu'}8I ;8wU6 3h4C>Wlu|PC=+A)*Gڠ[y9'~Yrh$i&^ `$3eHiЁ+3U*~QQT>_ny w:4ھqPZP@1qgv\N2DaoCg [HhjE} ^~/pn`dى tS/*Aqo-Wn[ yD~ >B-Vn'^> W&x%+%BV 縛\YV;|)AD1bۍ .Lc-5kesQC'3Ec sOqbl2m8| P#`Ix* Y"*̅ea4&N{=>g5Eis1Ģ&Rzc "$(\!22C]8O𪍠 !y-W)z<@*<>ق;O#գi@Q@`G H|p2YM^!F*p!J`95/OR<=JUDW“-s(gAKAӽ.C#}mi꓿/1Սi :P aռ!Ā<_C6nf\\@yj(\iLW=oVG-HpUcJ#Jy7Ylٖ_,1uM2d ˔2v -u:>llU#^2coruM3$ @MqGr^#><ҦJa7 X޻~ȝ #l\!D_P&3Y󈾓WbXRJdg+%C[{?TnJ SIy k#y&pk$guƶ9i]kfυX|]QqGb 9:<(B{0 J-DtÞ]Ob؃7:ﱩ k{w O=6KVJk^} 1(]][Mю_3WQ=MBLk>>q V.,0 ̀g}/I@N yH&rgU\y\d, 8 kC=I]߼9)㷘4˵(k|޵v11usʅN# k@3KI*yeȐޞ|[GI( Z+K:OqOS HUT/x3Mb˨ljYŞ9D` ʬ4y8иoB+,#68 ZmQ=<Q 0{|1*, )2S"#?12#G'acV Y?ZJcR95ؤuϺ T௓={Q#ȷN#ZUbHb]哊_qԎ2ӞXyNLiM;z]8;A7Tq K q&7[.q:F\/hpi ͖M a-]{uo/SOHs%' jOD,w8385s>WB>Op`/D]Ao4trɚwPUogdE"f_AAµ{^d4r9C~*ӝѸ=kRRbdngBg\I/uuLuV>5Jn3O:{3Ztlkٱ@tbZp˯~ ssie7!kƶfdUX!8+G2#ʛb.GLekCr\-gmf1 DhkwB։Ƞړ@qpUb)ƲE3\pX^B(?1H&^фA$ >4;MpiMC:jؠ~B9W1w1dtP$)" :>MQpF\%G] pRDW]JnT-cۃ-b6H5RJH*:M0Wq-hK -^AG2[ʽpZ{j?i2I*`Oc)nSR<mhKSvQO,0#M*id~c7[5:V8QcLB68A!_.~O MZړ~%hg=:+":p,ԈjGln+Pa~zTGN_@ O<8~3P!a[|`nB̿Sk& ~>ᾡHꩄZ RQ/ӡ># HtaoHi ܗN/:K(42m+Tcdݗ5gDB u`J>ƃr^̀'sxWCOL)otyz(StyӖp1bl]yx> ژ(vYhq mpMx~G,͵QT^ߚmPx!d)_pMPb\V@\ӛ6vY󱛡^Cԯڍ"ҋ,@: `|32ǒ|up!̆=td؋`["4l31Cx8f͘p4&Y m`buJekRW^2M>r#ve'R,X .2_猖JIn&Fc/UwKc=|ti&&7! G3Ӹ; wxVEM= vx5TǎUدupxAfE~C`5ϲ0SKPSf9jlU=gۜ܇vdνG#S2Sggu;.k?tZ)%z/[u0+)uOJ#<ĕA_O{%T;y&6w-p@bH'P 2*٥`#K&l8ZȸcJxWH6f@u#î$i,I-d[N#fUu5\=ƟO5b9aDz%πۄB,r}vhUsSF@]*U`jlOGpThD~}92"꘯1sP>Y?^Bd٢&cC _AtY4Q|c΅R ^Mbүpl-湶Ҡ7w~%x%IB>[F`< ~UӼdבu!.x< b_zgYZb08ad3c0085dad85e2ff7ff16f0590b38f62c8be1300ca59facbaa4481d75d9849d301559eef4c8b 06ad16c3df521f9273b15f7309142f00f66e1808