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=137.499cpu=213.770gc=18.7177zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k$s@q"6Rҡt"ص?Z!n$JKު.&Z9=u翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zFMOc|\W7r4Ϙ"P\4w!al_}YZ7zXZִF! ]ŗXi%RYW&w  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$(]]ӼCa;މ wdzp[L棦Tw:% ׇt+mU`jpxX\U S_T޲UREbZ҇2D]vr# Rrݏ9w]5pXY OZ./QʵDd:7G_ MBGmp8r!XOF$Ʋ\d(%[0†K|P"]dVhre^% F)^L Ŝ)bDVF8b0z;}s湒-=4W\DGg>.?]PM zgYZR5W)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$(]]ӼCa;މ wdzp[L棦Tw:% ׇt+mU`jpxX\U S_T޲UREbZ҇2D]vr# Rrݏ9w]5pXY OZ./QʵDd:7G_ MBGmp8r!XOF$Ʋ\d(%[0†K|P"]dVhre^% F)^L Ŝ)bDVF8b0z;}s湒-=4W\DGg>.?]PM zgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain F5W' |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=l6&όBI̋iݧ{+n_'"?cH V(\͆.ᨈz;`kX@2Ll\., $#;uȸbHIOf/lS%:/p7d~A/ QV*1uXMM6W;*ZZZG:vsu8q^x3uvwcLi3Be`ƥ{b%·(/>R*L$ݽrjV*H$?~5:Bq~ Ķ֜ϫ8 A;HNᇧ79n5r{% U-&L,5 `VI Շ H,0ڕq{FԻmy[ ʆt}r=)󇢘lЊHȓs3TgK)>He/_J;ixr9)$y E^Uۚɟcz#z$IUZPqaY VDy52ݺWA7z1 &#e! rϢq"\Y|M'񯔴Uj=/ɤEŠ $1Ym&a?W3U֨^&1g9Hmm¦rqHWJfM*eX@ >7dzozҙS 6#xݕ`BZo5ş\,;^|z,WR_QxUR#WpHF[EhcB1I.e谎ȝIorOD/lt&Z|~tlVIjGtEf7m(Jlg/HvJga#EYlBaRERpgsb!q247>,ǂκ~]#2$M@׮@Lg_̏3Uޞ'ݛǃ)yCsDe+i`o(1=F9U} bZ%:XQGO^m&.fo[ܳ+0g{SYi=u_~'p^~JF\^0*`/Eg= {X2k/sN`KM# r> .9ap>aRhͰɞJv.V>ܝsJ汿5j@P ƨl4J ?5>ѽĔθ/_3(( ݮ{ I;ƸġXw(Hr6zcԞFM {b/Ê5,W.T%HsfK<2vBNwDʦeNɜ??o fCϖʀ9ȼ0V[:،q =-kS\ǡΆS,ǂ6胊H ̄vdhh󫆳HYQ5O30'br+AbևY qn|\.Fiγ[g mVOL}`9pl8gC:}% ? IX[> 5'$TQep@[b=.o=OpBadM}>R: "붣 q.ƴ_fpFEbUq%iуU{U꫏RԬц3JͰ5-O[Nm!DVWNeN3LS`4 >g}E3H985w5l- Pxp ]#-[¶/Ec-I~X&b?߹Mw]ۃ4ۧZ]_luo-zf_/d}0>[[Q:Jw(.D`=X'uo+g(EIo ƥsx^vD2w@rvcDR~g¼]HKn^lhtxy_gj6$ӧ _c7ui +dߊV!ϻstJrmtxJ' x3t3Lf?:^vDXC1x-_K-/U#} ܇#ס q2v2wgsm!*wCZ ᑉx/jWOS1mg  pEXD ˳ᴘLі+PI'Ģݓ(=(d4e=Y&뇂Ԃ[Icج:Ni U|}XJ@%y~TL&Ny8 TORN~'2@Th=mα5[x$ͼz,{ 1y5 E=0FhAvIv5?{1q.w3BP- J<أP@>#@@^`nlLcHT *XX@X>cq܄ 8,Ii H4GKRxK6jfAT/7A {UY-Z(Wݒv&FXp٘4 (wJr!W}oU-,lRV{/^$`ܠ 40E67҄*5pÙ(GK2r/H+s{odžpj[1ܼ6iU]X%?zwG,RÂi+ 7' `V%㋀eW"5a;W I:?f@}!>֕%EI:&GFiq}&o[X*AT6uf$Ħ1:(\q7CEؠgBhn#!6d`(YҞk ǘ/"X(8MFۣ5\gYZ:5!϶S\.~4F?,hbQFKPnqzlr/@IC5\N:򌚇?#*g$׏BoGB_56nԘ)fB Xvy3V&z|%=}<|8xtlƷR-ð?> %԰u0gNwNI]$jJ97 :[l]ş%X)āƀB.ΊEgfu iKHSؒI-gNYܢUvo"VÍNռONP 'frKT Cu"Ω5.O\#*x`9DZVmSg1J٧qx{LUE?0F2G&x aeˊ e˃;E)[Hivne ;ޏ\dJMSf%DZePb H&jڦd[ '3YW(WwsɱaYO܈AP:VV5d+AS+!f&PušĤbWv.eE5fXt,nf(-5PKcs\6|zCk?bZbh0xUF~w{.(b^_d_X/NP' Q7Kbn|IvfzG`}BpdWVwp`u̪y[CΐURn8 =?@`w(H4R_v)"*4 15P6 .{U'N@|r)  2~ 1Ȇȗ+>w#.^]ҮK+AM >xnJ0`s6< -mJ $+ Ȉ*/fG0o[,vZpUcH)0|fp/{59R02FL'HCN8Rsҵs'pehy"kKI)3L5un%"^v*|,X'gyݖXJ:lYIqѬ;s\4Ybz!rԊN 8 1Xٿ}^nIJYtӆ#ڗ>hHc' thCn0LUu n-BG3z3L5On5z qg`Ha\ AO-YXtwxQD BOit([p%bS_OUiIo1U>,gRl-OLugKz"C^vPV ~Xת:O fгkuj_TL2a_v{)ˣxn[4bMur =3b `` ˵QF"SkG] .t=r‡}?BhLŮou\@֚VK[>&9.&~:p.l:s$NsVn01:"׶.pa=@zl-V׺K]ԑ͍odcn+1PRΞ R /cĻ@p'A\=7~vHxDu29d1-Jyps\I?&Vʾl/,pX7 9ǧ,do-C/&]Mh}ԚW۽4`0uE1 G^0W)7EJkʜ4a8@)W+<;焳vJ~#DhK~0X3%7KO}8˄Ĥ9iw4{k@*e^d v^2[t:Fwր@- ȿW`kg4NގnPoIнL .W;xZecU8uSy&K$Oz5vD/>M7!A3 7_VrtM]mà66`01>5L"0Qsd/CO\:F+TdzlR* 9.}&"Ԋ#훘/vdwB@׊Ģ/7VS&Źi RnB6;v<|N0L /3| yƃ 'w"ٸLLҗZktZ ׭ %";5J8֓պ#ND$]i^څ5iuu^4ls涕ԓEwuS)BS MoscPdvXzPx"-|8yECoc>!@ N9}ɒ]r{GVHf&i{;+jߕ{=5W)8/ H`rĜ֧rsE 3k]~:e6,ޑ*hT5˭fzrv,}+Cij\U\HLe{kLJQ]$%6^ U\% HU[^ͭ%R|\VGE䔙Y|pI#XFCY!?}nYȳ&Z <VO\UL ?. 7uT?gHnL.v.~d۬fvvj~V@'&ꏄ+e*+]DI#nkjՎ=ʨ~R z<`1 t8@LKWaH7A\-bUӳrf<6mn3&}<4'NwLqս$3#|p%|TFŒ0" XgF㝄E/pȑ͖Zh#V0D${3/jg)8zl %E,kYsZet5:("U8O6d)s7>wDC0Axj:d#)}+Q@ݎסs<li' BTa7O#&d s%͈ǹBOrr ^ۿWI c\ЮɇuY\Oid1ʰmqGEb.6 =^R^45# htO9J.bF ƳXh/ y"* *Z5gn? ̆% `LFт+ [fṼ%z t [{$&:tF둻/&h߸PS=*thu,ifi >>-XǗAxb[pDX%tX2U|[a{7{7A1/]}那VcKʾ] 3͹GQ|Ln7gҭZw>?|K-aP܃~|ҜRthп8ؗRgɹ$o]*{ne|TchOxͭA;źe_O\8eFO['P8Zq~D {|O2K/t]`›]&n䜓ҩʌ_X+R ﹓\f3PRVL搭qaSWjUY%Q6{3Γl^1l|+yõlfs&&&4YfH1fxG3l-nȝP+0^ _'ŐNRMbaN,[Ka'X{ տDmWFQ`uIZwjoy p Y1lW@9RVe􂽗|,Wgq ,=Uw"G,kduP!F_av`^FW)MkrW #q l㇃Q1qQ UE8ٴ0K+7y%iպ([Bf*jD%^-;Sӊk<];W8d2VZKb-xR3g{pL]o$@>t֋9Zx(-r!sa6^; #qbJg:xjx -#7}X caR2}"VwN"ZSSnpida)~P^%nX=EST|('KjƺrRzfuoW5m9do*zJix 5KO5ZQ-S R"_6.|(H>S>Ns+RUp1l54*M}d]]2k҈IW:8$GU\c4fsH}uٗVb: jJсu=+Jf4R#0Y chgAgwN[U-+ZԺ'yR{|}pNU!P\6$_U@5p#ueCM5=FV3a uoE2![}*w+dw!ѫXd.c/k|g76pשKnd\e'?S(7@d#͓LYCЖC$2HvDZ=[zбSI*r/ڧIx>[{41A kO%(])!MdЊ2@&8@OpӲE}HhuDX-xލ_/K}hGgG2rZkcpH˥hWu}Tl!qs!? ᱼ70s=xYAVN +H W-$Fa -p>*촳tM? !DlR-Mfïّ85q6~%r!(~ȉ9`@&NznF\d2:@W/R£4ݽ䜲i)j~eU8vcy=8ZOQ3X} ڎW&›^*Gņs,Rg-E|~[7EAE[@WHYarby*x -OGH}J"JO\?.=@@p>R'OSKB$ r}^n@Ǖᤩ[N[yJetbelŀі8IRG].]6'Vkfpf赾Mpi| Ԋl#*SE+z la\?ѐ/ͽ$dޏ?(2܎ZS;(gr0wQ&@c/06p>|ն$n ;OCS|:K_-+VTBRgc܈p7%3`<+/f,"Z ψˠ]I4S?pA/:J^Y̓EYfA!`v"ĐUYۆ onvhx*T!;OHaKy]f1PgeBZ'uQ̉ӺrI*Ht yN(1O\%1#3},bV]G1/о>lhWy؉;Dw>rE 9E%JOy|*n ˷G깍IDS"pIj{AWbQX) G~ڶUĝACna]70khnr+DvW͋UYc;aH!*bpJg;lFC/Nzm}&fQYIa0Ɇ50g?T4'v(>$Q+`HX="ޅWk95XI)s.WCʂ%9)n\BUÆz{Z\iJ F1Y~F4ڎqgԡlمӦ~ cpgua vn`y6js|9 yƑM;Glz+aLߌh4Cַm.O0 !?pA?5?"?p#nQ U1 ʫ8j͘] z$&La..Oy`5%Iu'dK9QXz|00uYkeN^ca=:UשzeL!zQgO!5 9| ![/aAY}#$[ÜxrhkVpk/~)mN2w&w=\Lqhy/ej56h`S #CJжjZLZ*S\'WskwB뉬,;p)yIť#NL+8Y]vYq%\:׿\Z|[ߌk~4G|^;+Z: 愷\9@<'e@azS>ׁ*{Yva4s8)y$ҦISa`;8brꞎ^1\zmx(1f;b$BY=Y.KF`}Ȅ4T ;BAYMK^d$~o-{', ,~ Z6KГcB}%Ul5LXsD "ډ8"6H[YFCʕ"j$fxᡃqilB-- L?<;@\ዜLAl?ףIQ" K 7 P߲nᓫrP}ܹ$mCÜ'j6?*K,J]TDhL9 NJIzи|: f)AgS'o6UmD=9QƇV+ ?4z Tj|K|"${@QTo嬜G"&3X )O˹ruwhpԄ6'HS埭,81{ Wi VuPG#\ < 5 c;о2̜gLsrT )stܔH8s!xK6C‘A&44՜0o#Ol$i^SZȜAwE[7;n@Z<= V$Ij86\ bvOW ؤD 6QWHg(0BUG1>eu6:״^`V]DBJǘ"ɉݏ]jr?qcV^lxU'/PXqϏ+/>lmTU/rU8bˁ2)yrܪ')ճmmEALAI0HG 'ܢow8Z_=wd# KFƱE|~6˳ymI01{E+jM,Σ%P"2R-}7%Z s}4ժܭz4^= } \NtWY%[q_w&cd\ v /:˥t D:Kg;m>Y\/ƌk$3 jSxDMvY&k徿x6YW} ;F.><'p]I(55R?Q+SjS֥уZW8޼\\.M\UmUrD/y bT?MA̵`Zn$!Ӭ*;T3D<x'̨s )/@[6|2?6K2}ptCq zlζ1B ,z]ۚNn1˥ei/;a#\WeDn;ǟY@9-%g[z6b_l6߭ǪIxDN@3]:)qKAocg'7G0L6t櫾桗+k.3&Fh"') ˃N*bmAP 8ϙFA4#: ѳT_,CP,n[ydBP{j|C^Mm ٵ^83 ޛPdڋ*KIQcxV3^Nv9`a7:2_kJq3P<¶|)uuG7G'dM2[4OTWޮ!ZI!AF}zL(`VPJŴᄒND:#+/&[NqV v Kwd7~&Gjf K`/+/lԡBums/1}DB J>U!4­T7HBж`h/(rG߳&;+/[I*H鵯5't|gܘ8N}n6czYCoC7J֏ntA%!w ·G+7=YR!W$0J4t>UTx*ឤn70X:z>} DEvW`4F92`pǦA*CTq ^e?w|al*2kCyk<&) (3p2mYZx:?@.6!1c7u=7h.N8Ocz!=:R0CTg[_KX&!\hҗߣ$륆 k8HP>@[_Fz¿3.' g;\Ä`UVpwWjxq"ЍsĪtf#v:nB"|$g0"F-,iS=4dUVPH'4}9_-m|`'u3o0iK!4i"-dO'_ M{Vwh`6&8s̠rdTRW?f-'mY+xuRl}&F>cwѝU~ɘvgq=AEױ7r,Rj4Jo]q0;3*UÌ0SHЅמb"≘,'ƒ9tH $Qm3tS;+Z UY[Sz;dC&armɨJQeQgD|w> 8EB Jה UWO6IrLL {1˽ZDI~B8=Ε E#֞go/1{K|LiEQüD#JUr9ɨE](4r ?lSWu'g? Э ŢJa <@6jCl.+s~^diAOݿnŨ٩&LO1$Mr\)l"zY;{@e|sNzk_;_/ڭ"Ҩv$̞Do`EN4}0GQn[?)4';! ,z$;;:Y}fDK}C#ZOmv;E sW}ݟ` ¡̜uѫcy F7߮ vex3P S¡ 7LT}zۓ~yI\ K>%ouMƄPbIlbN 7z! 6"h[MΪLY7o pEE>ܖ4'w4,F ]cW"~SF7D>]5 eўUw^T\_wUvOU+h'Aa7)4C 4(zkOHjgdQ.W],ؖ;,+.mf+oz,!%AJ _NX-qr%yR] G.5\jWQ qUQ4Cb/3Mi+_bcYGaK x,< V?CpG 6EL^-َ's>SN'?fو.eq*ɽ]z?J.X&&oѺ o>Iqb3^8q4NsApJu6L~ rOp?ضLZuJ,w_8zB*sqD:SV2B@;Ӿ[&Vk-</ qX9:Wc P՟/%W+Ŗ_ec h 4'E50*WYWp.uI\Ӆc#q""{[|6TEㅟߖ?FjD)G f.횜(pq\]?F9[wKm(Fóʰ8tUɂGU/ʅ2lAzlAϊI pFȵ<:ZMka5+uMZQz2LgRnn-?/Bn͆Nk]Ϟ F%@m7#=^eeQ^H2{IeJLM$p0@O'B{J@m6dFϷU\pJba K'RWgs+ 3aK}MXXoU5}р*jvh.}n9y;JhxP$pC|e7GX z6_ko*Az7G:޲ˀ6R~H=JiŤq%6E:PDKx荾[;_Q?%AV#kFb-n:.G[J["$ V3ljHX)Hʁ*9 m  $UFH^&\e]39ͥKJae}{W=<tp$ym%Ԕ@`ϸ6閖B&B@>ǹ%B3PPSqdZw9!/}LfgYa[++2ˏv$Xaf 8ɏvv^O,t89m~ĶK$ 5Xtu!oޒ\szC)ۻs:A_lSQhv{zf zf̸*8O }Ga{P$DZ4ݲ =At~o&>W26&2E#H|w^gQq:g /ĵ"Q|j^+B'ު5UA2=2^AGs<Wu@u(kCQB"R^/jJ7&ڰQMkp`Wט)(OmE׵U}1b38B:Rnu_ 3-rOmMdj>#H8O\5cɞ>| fek&eV)2:ӗ[2"_8Pfa|?GnMgB|ozN$d ).֣!SlG>QZcѫ\߯rxkMOnFП2Z 6aw4>GXA;E8DTcVh$~R^wB`A<ۨx|cy+Z*4,o7 }d4b9Jx5.ɲ#ejKo'DRd;د;&00_̫Sp^̿$GciW^j*HGXD{]5 HޜE_\Sx;>nPO ݬ .:[=C?0y|]=XuIַsVgc.JK@R~ׅL ?;Fx>.vMv1VŜo/=C\ 7 tg27!;FUWSvgJC: ּO,y_;Oںg6z,_]8Wj&q;Yi:@X=aOP/$#`ej6Ƣ *Jn{L*_Kdchݾn4rBi.<2ПlfdjDOa>_ym0s{7n(ZTeS k}ވ{p]Ok?oA]=`w-<)k.\Inmr'L[U2 F 2,XP& pS,0H]+Z#9&:3 Zaِ=[1TFyC{{mPY?M̀A &Q$åxӛ[_ɷ*dP)(^|Ab7:&T䙨9-)|ZJ},UTCg (SݶvۇH}ʡO - tgR1[Mr-[ٕ M5\Tke`{WӒ,24vE9Vus&K:cH$1%{@Fujj1eu6#dM_ m #q6`JVN AVlv3*-IEEv CVPM|MCz@<&1o}W a[4KڽY@]ᨱOyW p$k9nϲzXohD, !F[=·EB96CL%0#1JPyه-HأxzmVDňśAYZŅ3;;ߋRsu_Ch-?6Z}^>VX˔zNPh-:3 oE@HqH˗b0GGcN6(5^}4\95*| b$0] AOU7(G&QXx5(f<0&d>뒤CfZ?L)/L31O]EWԨ'~ݑQG`.ahOȚ$Y"=μ;\n ˤ00xwtc'<[Jj )xa"s;-qh:fy&yѰbw+]~|Dʸ>-7nm+,a*8E_n_d_ϰB'AYߺhUR sl9cQO$als3)87Y/3VT0BH2N |¹l'E- 'pO"4L%*<&e ze];H]Dh\AV]Kv2=6B.xΰ~x0J:#SdkW<8+5 ,&+H(0/kOP͙-hwqDAhfX,3(zUr蟪bvq+4wlW ;[v'ؘoV V-D>80N{JC|pBq\I_#5ᆅ/+mqHb_mDl )mtj&Q?*"q{U_HQPlxOX]R.mh618i:]3oNu&#iiI:UB "jPR;$ W{J)xF:BISHc-AT9M2ɘjw';ZXUn ۹[芞+bHA gT /F9ѰmT"H5 <5ߣz.xk&D"=2 oAW\-қLlݸ84G&oܳ;17nE7k'1`R6b ?.3x*}xOt逅I>a\>%G}4dwL4nJPZ&Y)3uI%)&$zd')0бt+R#pLk?*E$z9 :1Fȉܵu&| 8#`2'3d;4J&Xb[ ){:5 n4yM+6u`a;L70&OfGh}r-!c4qJ޶el~_z4.:$HVk;9c푨b`:8oro}B܌ŷ"yѹ)[Z"O^:KHS}%CK7EIR`WFs >W,.mʘT&Ek5{L{z Ffwx Rp`u?I=.%'t#xږP_GEMryU\`?u9vc'+2G>| [Gq/kmT1/@6c6OO"Iw1.h*~-yvQ (hһ8ꔊ'7 >6]';?@9v6B/dlJO_i*65vy`a<ڶ 8Cw:SN}?юC 4Ljwϡ-TDPf!2JK߱4%4)@jgo`ϣV6(]g ?d{,Őm(X%tY}h}Z#5\5 xǀ\&,[x^W& 6r%:/$cpߠcπFkZS.+ J?$ajvfp%=$OuR~z)/ $UC9uA Gؗs'bq;<]@Qn}9lWǴ>ZSKag@i0dz~$lPF נvJM.0㈰ĻH̤Ʋ Fv2ıR#Jr' iS+*tUTk%ywk{j*qCu:5Ic@q%zqWcS흾5EGFSDt3O7^Ƹ,!1bmGɿ̔u%P a{_0C]؊3]egl4P*=vO"c tʧ``+~rQ^zRoL8Q)2j5`nu.T-,CYi(⼈/j7:%. #5IWB^ZO.{=bjQ2yG%|h;TmMZbYԲ@DhWd%fFk6d# P˅$$z•!ҔJ:ykxot"UQν""/duږN(^@-3O1ȓxX6}Vm{"N*T8΃ׂlߝ% ep™̀NB2h#Lcl%?شU\c(UZyfK00vT3XpAWMfGYElH>ט3ubv1P ;8fpiHiecWr#[<.y[7j)ΥWh<L^٩Exc_&УYO_h؛wkA_r Os5~nGtf-ZD藤J( K}zOq)K,.TOz웃N֝_ v A㎋eA !W3,lQ f}k CZwIIߨE 'UM:vkQ Q5b= EM=hNմzU$?T?AlEe VbjYdR(Ae$ح*oh0/^GC<`JP/Y XqkozP?c={Qa?͏`cxfOcw-!WSqYT['a1VNƞiRZφp+KZ~ᅢl10R& \|{QCy 7nR)bI$䑆)<LNldl{߱2Q#K$RDQB"GNm1+(AWYt"L`!B;mߓ_qC !"FȥwBYq/[?rTxDT= ϼ*l̜=`\=֮L(͵2faW;Hx;(q$AkΑƮ*aZ&?F[2X:^JQ Q13G&pݔ{!U_!YU?TfdZ 4. E$?oJ?xIxvvUCɘ?8U[_&i`jNN~ߡp$J&J,Pq$&OycEK^6$zҘvN4ğEji 5fWzAq28|tAH0nj Y]ZA@g;b<$n!6gzi.MY ;8lo@դA`K =( X"JOcRmx<8c/P}kP GX#CܭE4FIzs+'j&ZE}}O8|dȏ7t)4ۇ=a@,eZ g\Յ3raM8IΆM&\8 Vh+7<Ҙż70^fP0ze ;תsg7|j\BmIA077n*p4ph2dR2b:7doYG(Xn/\ SDMjnMŸ5e^o!۰UkӴWn9Y4~s85 R煱gYZ Z 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E~]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oukas[L(pא!,\mdFJ2(#3;4}1"N©ex[5([6S 3ﷷ98"s?O$ aPvit'??5O,#M6%#$U٠_3q5L7[BU4.sϓUDZ)?K*sy4f´,քn3jia\gJ2pS]Dʐ`# ߐyյȅھ|7@ƍ2ZB/=vVxU8ǽ@)CQBᝫWơ=:OhLU0foߎ<ЋwP [JP_9" xEx [y;@ V8}x2osPwE7 q AU _I9 ~0V:ju=굅Q@QYz/ܣ_[w8xlf1 ONpQڗK4ۢbhڸ o(S_RG![il Iy^Mjm/$]r m9q[9шZ*G.59(#ZW Ǩ͞<2q8^3$rC!"m`%CrDNWt#ZhOVږÊJ}7?&ZqD=5 -?5V\/deH׻f ?ۻ]A :519B?gkiO"`,j {Se9xߢ<dE4qh9N}3Tfw*i+CvJcN7$3 (Zz$T/)ji&2g$Y \#܄Ln'_np~knzK=[ae7+P0A{*)vw½#IfPCZ~i7gGœTڂ9?gqǞ%;(u{2R4)CtFPTjCGMq#!ToBηRF?vl̟zbź?z^]{fŌ V)zFUԊބX5N8O/؀Kx<;ҰNpKf#wZ>*  ^}8'13nVZvC 5I|5! 0&+84)  ޥgY \߲F!(32q9 +q,;/2*1N]d2NB<}(SG߱Q7"ua68I o| d/̤Z=K̳&y'3PF-|~gڪ /~4Ǐ`_ rL;jAB6&NJb0nmI@8x?Un T9\_Lƪ`ܛ.&}9> $rơg $%G&y p^8cq _q he@MŜGlN*ýeᡊ{i@3sdƊE(˙nb~ڦUvq@ZC@"}D@ פo)H#-L=,!3~K(g{GDB|[(0 L̎/Q%I öLh_ژlVرyG('޴d7(ڎ0, *X%M\s]:3J춟i2 `L^ c'i9O M3MWn*3R4PsD jKÄB?ar6hC`mA'pr38r2zۮ0fY{0u ,vEqϙ}WvrIZQLY۶nSDv?ey.䁔ITNMX2peW[< cY @h34|zMɦ=p |ZmU=%x |$i:|noJ?;EAz?џ\aA$Va.BV,9).q [#|7KC9zl88*dE6}^Ũbiz0T vLaLQnJegJiKQfҹ7*h+&wO'6L؅ i7hǯZ"գnToo&Dn7XEVre[8xpI|,G+j/z VPn&9$`iV*{mH-uݬU|~ #F3ѪfWE@zE?5 zy.5 cq"aQc$Q7 TY 3]hSDd|X|aV:Fܳh_ˏ˷ i&I#gqg\tÜvY/ j̝m1s`YABHǧN]@),Y'cTSyL&5Z Qu53!Ab q#| )2;Ø`;ye+7tσ0.MȯIyTYR|I1kڨ%'<ʦ|k` ,%nN+y KZvk?Srho嶰w̕LњZ%sFY .Bb%ҟǷ!i7(OPǐRvc3`$8-)nT5v ?4@٠D=`K[Cy u| [掲-6­J Ђ)l>$2e;ܭO:T)d!ӠV{Xtuۨ1X:1ҹwpKmdxw܋ (|(wL?]52 /9%j'JZk܂u)h'Xi U >"M◱?IS]tCBJӲOSBBiG&\=6rrv902 BFXQ 19(}%a68<3 D/M)/;彛wCWXB,6]KqB9Zcxa2<ܥAr@Fam \y4qoQm\Wǁ5g{r|LLC;F2bTgLG7lLbX idYhok…o$$Ǻ8ke4QJ˘tFՂz|-ƼޱVڞ? /ci)|XOЋ{z,+ƱkN` 8Q= + +y .8&w.?[eku3U2~s\ Io͆@'*ɃdJꪟز`46f>7Q{jBA7綹( Sͪ#&'l }+= { -5$(І@f["D6am\ݭzON#Upk7&AKUӵzJ@lCIt۴ϠX/"F[7| t1zIH{i5$'H, ޷a`OhѾeJTh.|؈k'> [`¨:4 TɚN#xjgz+(>>/\}״ގQp縇aHRxSsp6Be̼ +3~H6?xhncE # 2,0ٲ-CAu #{4>_1YZiUۤM-Tan+B.\XI4IƋ}+9P+ Ҵ *8C(@iQNݕEV$Xl3DEa6TqOYpjd)xtzxh$,X'EUcI6L_~ s#8YO7!4u-ȝilưS8(mM_BILfsϮ%  G޾Bb)z|<{_11mDly򵾣-l|##:!ɯޅsR{>lk'Q q:0_tيShZgZE|=2LD#)2d bQ#/{ HT`/L82]X5kNHq̄DZ9Z$b1GSNB*mN+CetʻLc=hkv}VHo`R Y6!7[Yւ׺c VX3a@1F΅fGun#d%[G=!ƶ\,jyŎJԡ$P-)[^Jz|~if>s}f pJ\uHâ$G)|y,@{_eYðuu cwy+aGL%Xe&d, Ĩ6a[jp1*wN#Jp~ a9,׭UvsHjz{{ ʻ쮑˅x\\klwR";T%12`3sS\;ߜCT̀U k7{'tȫtXԌIy` o3Q5A ;~D3\5lƈD! b9JhYE P[d&D^vBmdaU^yM*VT2XܰbZ^xvRSjD?g1N+?)j.-:/*OJXN,5TTNC?T"7>fjpx.u:g.W r=˰D=v7\x!^= AM– N2'Q@qȊUUnIrD;eP/D Vnl*_k`QBhld NLFP҅3ƙ'i袆dU0}Ud$ef4Mi O{z13fd,'[F`&C76m5J@_(,D%VĈp?ɟEٔF)]f:"y5CuC|c8^P̻(Z~C"đ_ @%҅s-6QsB},d:${}$_m/.Z 8\[aurpyU鄉n$/2ܴ]Rs6H4Z=F(YQ BImzG^rFv1kY RCY u'*;Ƈ s#N/l=o%eجCSFoh(` \ґ)~2 d7{p:e< Qn5V A^ ˳>N5OPJCdnTo)"n1T~ȝQiZ'QĺYnfR5kx$ޏA; ]b>ɿHX!H0䗹^28nP媍b lЄ_`̫"E #$zUl&š*}cNMзheUXJТp{4{kH9i}"`uDVu$hn:8ggtuɻ %!|:SFP]lR{DCuz[;ηHFm@սG^`'sIUKY2=1SWS3;Քϊ!v\w5S]Ym5ji$^゚֡]׭и&d ҷZnultJ2  ^n"/= JEy=lVl':cXmh$xCL7aߦ5ōUuM`+bZ?{BT}5'>l"OxB`jsQA}ng4-I˲qxqkPmh".}+0}VFJr"L~CpP'"LbPeބA#* 򊎖\9".*Ee fG2eKwKmJr`^7+ۣ|&D5νPi} 0t{?}n[TaϜ%P}7Co;8{'nD]aWߖaUPS3ю_"|JHrbK6[iQ!uW:Ovjk@ҁ_s\8-Q@N k w-ǜ#7NM_!WQz}k[ ]N7y-BGE?s|!@dR]ć9|h |#ENCd U@ %w?7tiΥB W ӎ>ɢlqrouhi1-}G;x.~PzŐ/ݐ7<΁=Lr8|5pD+YgG5uk:oy{τn )ȿ5R'Ek Ft8'G])~)7#V)+c€WY:ΟkXM1Y40KCO78)nxǿv ?>wX&Ѓ?Yt xN)ǔM_PgYZ!=%YyN#ˀc^'W}7'ǃb֚:L! /0裫όN:2aod?ۮ71s8MdJ^w1R7 ^0W>>Np,2̓9-ܑ.7ud[?X) )xfԂΌm(a&o`Vы9: $pHbO "*'Qg$7F-8M nIŏp 6 ؜*ص阹.۝'1$,e4L'F8d3f `? Lk+˷9Ld|N O问:CtC!ƧTTd\j)Y[侃h` 0{Ձp;i 2{X'P?K& pcp9-1i3Zʓi{ ZE) -?\?Gzw(TaWIL,=.m-m0M4!G8IX:Wsٗ A0Vy[+kK'97h'ji6B@7~ҮlOUky?dw"}P &K@}(5Q6ixqce&As7CwhbV0\Ӻ\D5H`| .uIlZǫգgWF6I#(Jݿ/+ tPx,gHcACC*Qi#]3@F6 f8Y#H eH=~6c1Q̫uch_9()mF3y.Zub(55] {ҿP{{@|@:f yj)X&h7ľYqރ F+Xcn6,> 6wG&y]W1Ur*;7 GaxA͂ CO8R} `dz9.oPLG=Qx3-si'#BtSVJܵPfh>gAU]7狴@0}[Nmh\=X'I9ӜT@NBhF;J^>6$4"xV_Le~YQF߽$dq,,F 5o'3lcSnv<3JQ찃6f.k8rfރU"A;<'(zfM/3\llS:]՘]T.+;>+)cP%V*ih'?q,^`'˅D hfrё\a>.gf♢%?P$ۯA~&FcrJy \OcE,""jB[5ejDL=8+W&Ǭ.蝨[ht2=G<& e'c1/>Xi;(F[JyC4w(EgVޚ. KW&%?qM js4i-Pu y^!,ԗ&#QOk]=L3jRza˴ꮓ1l-Ƞ&yy kRUh'or;tA[T81JwI5J| R#ȴd/s(t{/y{Ek+GP:'bÜ.2Ƚ$a#4 @"fk nE1{ VA8-4xݭ_ [Bi~S3"hU9#m?]Zl}7ܙ!jLŽFlꮆKFGaQـȻCv8웜.L(a$>0OV#mCW~]q6,Zxo >K$2ѶI೎} oEp(qu="fȋmծQ E; Wt;y<`0aNEڥ8,ߧjIL*gJ. -l`jL:{y>F1PG4 Df>h.$n\-I!y%hœb#\C1y`?-'}ݾ .}p_aږ:x34pٜ46~#u+m2Uo0q.Of;"`5WXU? 36dO1Pwe#*}A#`QH__0MۖN0=zn2G o 'YOqV]Ox+Bbih- 3GX-?1r, 6i/m#S"h4ot&sƏ;*I*/S"~/Rzl Ҳ؍kY*3 g{qvi Pן1.KjjL{W3XO}-8F9}c?(zkqg2G c?Qf(I;DF;g|6:do-DMb)dJ~Un\ņU|{: }d|ラfdqt;X` TSK:t$\V"(]!qǂ"n(cKQ=7Olmk眫yP"*DEP8Г`RH}lh`vQ[}lVQ"$)\銄I0%a^" Mkj“M**bD ウw J J@{uᚽ3cV\hla]֮wV3H ş=Co@/oȣmK!H(Y%I|.b~0fo,+"]~ r;- Ѻ7[huur\),ފ VrgU"L˷{xˌ%Emd_@IͮtiL_ }_[[O6XPUj55^v4 C3S?PNQ I \<;)}cR3s~{tXL[?6GHOT/#=lkC3^ÂE7}(B(t?j;XccĨ%Px`3ΜЗRswJ4|7 7;fk YuzFu ]bqǮxFXjA7m۪dsAp\,֘vg4M$8\ֆbF478` M,:S!^Jeq&.Rq] լSg[YYO`zΡMƃ{N*b#k/L"aNFZ'Ƹ*0KVlN۞4;QqY`+o7n1-ixV>Us[;n@=0>`Ir1nNĹSc8ڔbcW}e">%n(j6{6wxk&ebuHc1Zix"(xÓ6]R]Q7b- n=Mݸ}{޵s)@+hBGf>Lր3U:aC}yk*Kn4wz.7?2ä*umo%` ͓k H&R$3,Čvmx^:Hvnb ^ 6˗w}¢?*ZhǍgE)m$_r6o2(_1%K-^cq(Xdfr~a՚1I4 $p+lWo'DŽluiuׯcyN *.Ze R{h9.K8ne6P5%[W$G9ȡu5א|2>ܤns-77QXnO3\n9o0"vhܹ& BE.mjJ׶᎘{hK]vA$4AG1D,9T{wyU[/tr@6˭pW VI`!?t()Mo=;Ys{DۘEH< %5;B3{"=* u7U"*Xf])' A55G<'3T,Re$%+FpED} riüqf#a"j>4-ǴQ:&ԛ͕wq`E䅏*LK/v`> G h엑f?eC#*z0%?1Ρ%>E[7o)&=RB-Dd9åݤSz6fDK/C2 uqc '&w^ל U (o.PYg!2ݩ(xz'5N&t>u[>(O<8mfWdܾT =(\%(I?`3Kb<٣T<&f2ʛ[CpMt/G5sE|yejE:m󞉣5~n!Ofu`$J)AY&cV\!]i$w*̭ݽz#ugԔC+j/T~ǀr"iP Cg7]G}ɷϠe>R$J|!ɯtjh"z'~6} tBp6(:X7uK\a6)Fڲh< dG}< : oUEDl#10,; ("zȊPۢ¹ѥ-Mq!MKvv@qAbD a->CHls2AH2 ULSG79"'-)ۃXduM 2[`)ˏְGZ.GD?SŐi|DvAD{2s(]3n԰#^[[[T `zs5݃ү)4H7uw f},}7B-C nC+2!X <[K!T v}'S΢'^ԧ^́'e)<(ȶ~B!wp1.I֟cɣ W-I@w mȻ'tQF!\0 q+u?zwuPSHXS$SM۲!Э3ҧ4]GC| ̰u|ԭ>"b$p g6Kz@?/+eIiF DN;M["8Zu qVWdL-*q 퍗@ȳ3@ =G}]@ TH0$ĩ>݃j(h= ;d w{e,l 6x|r6y,I2!^G=87b{,xF}S'Ch@Emi." ~r_*ONFa*nT?le2E貕I#teNBev44F\9<#3=4FR!fK>#3Ԓxv*|_4ݾl' yԗ繻zomDy+؏iaiGgmCfe8a:oIW*}v1XjͤBvwhJQCP;[O#V=f U{T-\ΥZ*o{w 4%cyP.0qg2a%N{U߬avL)x/ş\'P7߻Wp^Qs :L܎=?%GÊf쏹mFze&o\]`%f,";|1)2 kNJy1ᚹӐ8@ C~[=vh#@e ^b٢+l)_nn G=}яC"Fo\:WF1zssNxb/ 9I U RRrUVevg8L6Yu=f#1Ek-[@k1ۻTwk