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  l l5z$L ]/ HOL-Record_Benchmark:threads=6elapsed=147.396cpu=242.155gc=20.6807zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)JFܱf,o5j0'>ۺђT̘eۗ/zClsKթ1 5x&JtgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙ ғUu"j$T]t!^l_}YZ7zXZִF! L!]ŗXi%L^Z͇$9ذbA.4}2(.3ΜTG|{B<7@EɷNj:`˂A|gg7 b NoNi|"͹& 6wRȠBU /Q92e!SfxkIs*'曁l&Bdy苶)<ҁ6Y7t[J:==J:6Z- <+oYPB`}W]ˬ@84k.2\{ˏ҃cdGe(~M{PcElL`Ur%G4!7pD|m&v?t d*qcddSr+(7g]"=jOPepVk/+ȡ&'I4t`я=5 ] 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$(]]ӼCrnGPZRp$.7#0B XYP R9cҡ:$[fn{;u._>TD&?+|JJ<|5x~%*ޒwS2su>ar'dR0ĭ.>-D2o=dSvhS$"wԉo7J'%SUTI-]م ZOzDn;.?ҭO)Fcú\͔KPrMͅwB KY2kZ"OvB-P6!H65L\}2ggYZR5W)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$(]]ӼCrnGPZRp$.7#0B XYP R9cҡ:$[fn{;u._>TD&?+|JJ<|5x~%*ޒwS2su>ar'dR0ĭ.>-D2o=dSvhS$"wԉo7J'%SUTI-]م ZOzDn;.?ҭO)Fcú\͔KPrMͅwB KY2kZ"OvB-P6!H65L\}2ggYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=C86ݲ͊E]UZٺjnvVЯN-F#55e~uA;#IRYUz7J&sYho; fP=(Vlv %e᪄CqDǙϨF?1hQ4a1S5<džx0v) ˆEOygwllV,~S iWl* I1n=϶bz& \ZSfZ-{\"7!mt y)G~\!R7PhA5A(}/.A:}j~nfVYfB'ԘE25+Aʝ x;Q%:l=c%}ÇRwgVSLy]yc%ò cˉ4X4cS-onuԔ2@5/̿z>?۲Д6fR37{J0:(O(n )_͘_ i'Tzdl%}q#l%O3wwL ψ<#+Q@dL19-ftS|| qdaF]T2t3iGYWZ8t1m,Gn;KئN1(`F:i.6rij3fm'jqϐ{̼'n% AHIN. /L,}Q8.o%9%Af.o`V?2ӔݘEВO@jÝ ;-X~1NM$ 0[ɵmn_o8"ZlYn-βL0 ‘ M}]Ot.khoԠq\YrZ(iU1Y(]OH&}AGEz,"]k*rǧCD k*)^E:uPJ[ʰ @[ Kw6Zb ԭeP궍ѾM;3Ys7-n] €nǴ(׬ÌLoFfb[HS(*B̞N}YZjp7q4Ց=iÀQB|ocLfK?4=@Lv8xLӼzZ걩+<ퟶ캆LZ5dKđ\ ׺$A)?Df9HsO1Pofd0ρ[SFFi.#dN\]HЃKi@lmJ4f?ğza1e8QHy6nuCjǏf,ēi<zIe\vh^3@Gat&!\C`7(X؄Ooܻ2SSbP”&(+$eklH; gÄ8bq ١|V3Oǖ~5M{-~[xm0(+go5[f,|QTVg͌,qȵHT: ܑ7f/;(8eL wVZݝNr2f0 }6~o-%VEi$b( )R5a._%oRQ̓)S֦Li- D:ͳ>t\IcJTFȾ&j TuGr>f_q0RtD"뼉(l%|58]#x)KOfRR'6H# nݔǥmsJ>ATC1;:c*!% ^q{\\`ڄJ銓NXHv<ɏQrG4&wB|/ũEqh]2l`[vSAd-I[]ωxى=G%Gv[=೉o+9 c]ԄPXI'j̷5g`!{YVDꡄW 4/k ieƼ! W oLLq9"y~OG4Ĩ8[sTLJ_2:9o+ %aM īj+Kn?<1aPYabUb#Bؗ|pϣ4$vhT.0aDnI(29[&8|1r OkUjU\Z}]7 - kޮc3X̭k1IɳZԡmжȱA^vAGQu:V+N3'eMt8mA;cs9*|k1p외4н)¯GJd߫ʥ$gnaTKI:bUY)qUYG c}ˇie~R[?*\ ?t!c|4-9Q.8'9wI s~sTE>݋\XL7S5͗،/xa2k1´wcL(7% P6XU2\fczaʱjI6a@6қ$j--X}Lj"|wp%u^QNSFQNA&UnynvlŻCQ>ICE\"=bsvq%.3il_P  g0knEF 6oV~T*vҶ1M@iCd;! (pQ~zn U{7HFǮ΁:%i*wҸN]{=?3XJ ~@Z\Pߨ<178ʖ?Znks|Vhܳ3JަME"kWeg`$'f,x+v9oRt7ެsu]KiVf"w&ݠ9k_7įZG6T˷Hς{lsOK̤snUtXJrTǍJ.R뇕88JH\l(԰ܾqfX:vwFsCrUoA:({MMXOj7ppIgN:֢ V4l V/cJFww‡`'15.'R6+f^6!/ $jTh]RpgX.u*|h_T)rKY>.7"5_*swwl<OsyeY) k=8Ҭc]/ GSS li0 8Oh0|M>^%*4M}[^JHROLpV?1˽;[zT/S D+bWRd+L(9]μGXN'D^!Ba5Ş?C&~}~'LP,(072-nܕ>Y7= M$ԔV q çպ"_ϟ#!4"+2JrCanן$uaMj4L;ڪwn-c㲝*97 ɇF'sD`WGeG5gMGRCkd:Z[ QHsQ2 p3P8(]Wbja L{n#fM^/8@|"i@d167+aMFsudm YP`! Z3}78Ep$#8k`:Ƃ@L-'U h^``ӛ!`ٶڲBG0wU3@~Ջ*.$e^5\mK+ԉ㭦Eŕʽ׎ꇚ.?-r4$9~V[[{"m^~n 貍Ft=#vQd3ANع+I}~JJEZ|*>T/<.x+h1RZ+:!p'8or嶳FA.@zQNzSdqS/Ā:K:)<߈yڡJ,$P620 !>7g3clt"ItpW-/k`Α~F+C'21aR`@;#k$\KQvϰ6Bo7Ҥ$NXQ.wy:kDPB‡轻Ū )dM@xyhK%Lfz^o$MEX;$c,t-5\P5 6gǼ (o6(r88@&:J}Q*B'՚θ,)/1W;:i:3!>ʜTIpxm蠌_?ua0"|/}BUKENԀ2w p,ڒ2]lj?./anRMO,U*v(cnR$$v0EJLdкh*!2{,Ps@)-n#JЍM˿ _݆{t1 "m0Q;6;Hkr44^[<&LR\\؛:hhQ_( _+0+tN7mC%dˬA?o>uyQLa¯G_F'8[H㒖D !qt @Iwٮ!kfūϝ`oxA;_@/MKID]-<]r+rYioኟ Na'q+!K9„υm,^acxM='pO}~E*h=RuO(scD&Xյ[VjXvw8b> /[N֦y*CiL 8i_=?R-3a ]mW$tJCSl!T_` b׎Á8v dXⳐ J[e13$+m [evyRFuu?> /︇[3[&;>sm'6{=Z @q$9vDdw arv3imFЇ- 7~QaC-bQC8Fd9rqe|pήpХICaTO>wQ0a5btzgjq|B1NlU%γ|' D7r.sg6ÿ5+CZ㜞۫e"MпYl{8PcJ) 6S gߤi?*b{.(rJ3Y`aGЍF񋧱Ft<ؚ**խj ٳBs!G{|jIoJ")MX Ru0v,v&,N,_M/q]!za| ;VZ2伣8ƴ%bN}z0"(1t$E[v mtG3! :@^vU| MŚ@*w"û3n l 5 M5P E>@>U{ t$.azz /ML8vmn̜R &wSNOC@&JaEY_2 A朅Z*:Zbwhd!AϤ>|>v!mjBbܲ%ta &'ÑFr&nYg55;s֕I+PQp1S.D(jR 3`*[V=CݱI®h׏~Za`W_cA^lg`p=*R-[4c*$"&o=ܡW)(G(]P(+ TLa+/ߐWnEH0X u4>k+HoP@Fv0Jx/+n Kc5KU};O+}g50 p9j7hv>C!HxgYZ f5W' @qZ&1,n$PXR$(Ά߅2RFnQhzW&sy!{$>t4_D*[M7,D 5yq>yOv]&mv]tw>mO*SP0#Z^^ QbP?^E\l?VC7]htD]=歀.|5եmyYAz쩫~Ÿ F@4yZy{~IsZϗzg숷mkҽ1}WjGյy¡TY]&3XuaJ*G.)D_%N,"kK6X 8T˼Gλbe<3wdmX+yrcTr˿R_Zo8 ~OűTkTJ -ّRcFdNoz$r m;g^6 [vN1^QmŰ8;T ˬW ^9_^ a2AHZG"ue`6 #6w`12aϛhNk-Xfkwc"䴙ֻ_>گgfta P 8V;sh|j3izHB=igk4 Zgo&t-r<|h|ovb#is6w` VCρ:3%j_^ܣPNIM2İrkun,Њ B)BjgP{[XGy~a֯Gȷ|LP!)4':Hzo)ȴqpSә26h*:}#iʺ4` JgP LMltmXGs@< q<06XeLtO7ikz^j-T[ϖ--嶔WD;A;UA8}Ӗ|e4 )B') Pyar!=eX]O.h_"c)!Zq$Ge3z"hwđG/%n8xyOlXfvXUAM'Yl B0x}kگ+YXnO-|zLBnc#yU]7NF3OxX ʍ-dψU4QtjgF7l W.4gOD?n[I 2ZЕA3b`&-ByFqs_FYc4%G*2QsL+8O jzJ #_]5& ,"s*׳nYxIJ4}]PՄ=`FZ}]w,4d& $0Ȍ)uH>.{G& 'Nv)[ !FGq,k:9+WlQ jW0t@K0'(u/lts! ;2>!}U;Ǯ%;s25JDƑ5`ЪS뭶leȶ:Ñ%ONO\r[Ͽ*6EvHHJtd\؁STWt^~DUe6ӡ2> p %w׷^0/}Hb lu&ny꿌TO8|\kC![\"2?ȿH0Qz5.yBQ,38dX: ,}jko{Fpp*ҡDG  sCwK>rم1/V$v`gG김c\d?)VCmmk85+e;ug=m! x·i7,v\,a+G7PcZDF7{Q3|j?x}q%/y~SôA.7l+YNSZ;w?E *Hvi@}i|5 T1)gwښo.sAsEYsU}v{|va\KἥӘ^(>p/ %} IwGF}-M&De'O$ p~mMx{%ő{5UF>w(`ߐ_-2@rdwijEiĉ2R$Km!w0 >jI=i)>kloSwB"/4&Io׊E*,c9n1s1L#&_LtH1b>UBz_:M⋌[5|W+nU{&8jYL eIoP7*_].n2TV78:kZjL  = ЌW)8GW Ȓ4J[UW,:&P}H2(cП+a.>zZT63#ӰHO-ymVˆk }֙>p[Xdes~`$O9,LÚ,xZKhtoLs@;GЅ18zwFrE{ NbRi? &_*#2: @m/^O9O,vM]ǫ#6d{(>Oo{l?VS'-Ƙu/!u0/.`UCl&V1"kሸG*\xI^}N^}k5f>w^L{^- ]O/JtJ'KF#JզZVg0$ɚfPWOE-ƑtbteNʡh%BwV5Q[yb_ o=iE.n2l[ZD~0h q&?HНgjf$\.-# k(ݒqO5 Cp:z NvCJs9)#Y;H pQ@/{Y!o!3 0#!!PxR *JQepȃ<{ďp@/AwlYc^a=k i_2RHh|rO:]}2!Prg$81eQh$J zW57oޗ 4q˗=f |_lÞe)|B4.jLHc05;^qQ{|؎/lnMHXƝQp)k^[A rO;X aܐ4R_5mjMB(%[OBm4V9gz ?+VD![GJ ێ>#H6A:="`VRCo'iC%Yq <~_.PC]j#c*s":tm`" ;\D,Dx3? ;>ہ|9=hzU i J:sUM9 [jU@T`v|o3\B)Cq¯CNoB\P)#JXb͂|.zC|0ED%FԆDNNQ0b ^Nch{ i {j(=L8 OnS{.'V4KMUOm1OqL2>H= Oبk*xo >@&=]s2"H,X{2| ^eF~10\8xq?Tέhfq_MiiW]uGol_,> '#:! *c}J~Sd;h]WAwVJ0CI"4>&rBM|rG;v-DV_Rco$ǰMޔQCJyW= O5)HB+dd6\ =е S8g$;^_ \Ǡ bXr1K,ɹ4>1A-7:`A}4H )ف ݦ")2oa1?bĬ} 2fTReqpQhBiƠoIS2(~~|o!"aGtc X=L1 >Pf0*.&Pek0ݭj`)@]1=rQgxݻeTL׻ɢu| GE!Y\RgZɜ=}}(Rr ژw?:P2[ƍ$/ާOve^1';ӈӟ|?`ȟi#BE` \4ۺ}%ʭkqn)Ѳd& He³-V*ifo B گYm+&`y}Q ۄ[%9$@_ n6L0/)~? ^g־)f@Bi'Jc@0ppORʉ=JlysB5ϋ`nl(;͡]jQ"B¼eOu6lbS;|Ddx8d>r70a>?sARyM1I-X Cg .Ww"E8}Ϝ]icψ?6e\۫~1/Sv۞v?jvSߔfG*Ł,1l !m4waY`BM!iad`Q2G2]BqHK)`leb =zwM3 뱿5Zzozq  suf-0.9/n>k}/;l~HVڤ5J4&ou%4ׯɋL.ޢ[Ǥ?{l¾7^\>`Jn]~:!G9D,d;USH3d&~-^- `YOҥH\鯺zS@N`[$Ѱ6c"55~Cb[\R-^h5†dyNE0TcxC W/s1eͽ|Ţ}orͦ:†|co3Y n!W-:&b TT9CIz_'d]uh ]x nZ! 7Lj:V n9;'Д Q7 m&L[3{ H.V}aSAlJe=:||(M\R66Cy@a;<1u >`eюI\} Mo݀&)S]OT=K5)]U'Dzq }"J !$\(z;=cU٢5$I{AW5T:+@ɠz_U'LMɻ&rn?k+h["ubn.f?w_^_lm;Q,+BU6џϻ9ƶgGW`݈ʄ>@е噪 Z(р(3BZSLѢxLKk&-WG"ƽ"G:һ׼ԫUsH'Y[章+fiEOurܔ`T1Ϛf=ڄlT& ͕BO&k|pJ(6ܰ|[zS[C* 5qG))M}3gkb'Y,NEt.\:˰YM[_Ķ`0Ԃ],W u pyP$n BWdI @Bp2jWgTo* OpXa%x륄 ٜ#kZw5&]lAVy~-Z`|~uLuU&{Bek32bTXg8!/q蜢<`;$_>-Zx$+T 7>yP?B" YT;7ljAnRSm%k^fa %LL+;g/UDOGut- {kK)mЋY֕{ָ񐿴]!Uc^(Ce~tr5eAT@ ]7_"`oɱˡԆkR=z;Y+unVmJdGU5;OB0l-3DP|jeoоX1T쪈]k!y}&Q5 =@alCfR50 !b PE1_Ca1!.a <"+B&|zUݴچaJzɪFf!<@ R-GV__:]xB }U|wɠ$X`σvļgeFyky ]e()rpi`MuZ:UAj};K@Ceeqsd9&6OZrO/b Fi"V9ږxfFjF]i))zЦ$zUfdƧs~6D.hm#!(G23nEH>cԪgk*gYk+6n|JDܧ5}aX@|(ԛ7`hjKg\#Yr?0 \_tՖ>uh< l%0oiͱ# 7$^5Րi5&y$scs°sQ"g;Ct~,us5'[J2$'}2/$S/|d@RiiEh91xpIQH}' Ou4V˜O2 (n!N؎L` zE-}45m]8\ srVGg?㳵>4ޛo04rkz:"J ]9.*^Fkf3К,DPXRp76/"go`>CTaC̾X Lk V*im<|p\c{^O~~ * ޟҕWiߙp3iǓ9.k  t2{lv,ࣴa!fiK,nǷ ^/7fmTNұcր&p,bPd t[1$5^YmeJs`=jFQQoLF ΄˱:K*%A m2 KU:48J-ДܮTC"c߳xwZ{GZM~L#ZǴn"V?1eC!5(q([% Uya"&W )υ8 Axemc3Ԯ#6 0ݻgL>\6@r&r<.[XZi>C&F9m$o1xBxݬMPI݉#gnr^72R{f )'0⳽~?^ BqmU7ҁtQƼ/ 2[0!!Z0 (W$Xx \V*%ՉF0gҹF 5ga 1h59qbr|n dqpuFXwCL| tX{ ੡bl'">MBK=v`3s,dno$H.jsY!$~s#B;jpgR;hkflYL Z<~?[@ s]PMI0{4}6PG$H%Iux%j- +e~TawM4W4s;k +{SL0իiwV5 .5% 0S 6&wk֣3%+ 4ls?) m 0}' O#FQka"h#DZ؛z9aŚ~bQӢMZn0$ND70P*<]tرdaJ!i&ߩn),̼p {} %PC y__F&ʃ\b́$'z)=֞T6Z-^m(B &*PpG=猨CF (;dOCx?}opP$(EFhRRRZ8.!&3e51}@C1£$z6wT2(F d!^fҾA~KŶC8*6to@l GIj/! h;KeJ\! N1fU!r ФSᡰ6U90]p|n-Pd닡D( 2mh4QGxu k- Ǒc$VwF/XX+wiLCP8Y iȗ:K 4fv2v.8r0e11J`vY)GRa*1o8!ԭsߣ}X2W}qǟx 7Im@'C0" 枨JdM {[/~PeP L= }n,F 5O4͕6Kq8`:8 f#g =%8aR2 rK--ou*<" 'pB_eb,ﺅ8G@Ъmd9AS<;Mt[3/e'zlq6 @5:k3 biI*[#yN7hW,tp9_w{s/Kk!4X"礛4 gpG<WOrTuX#C3e;aH)`}תO'KqOJގ:"}9&ZHtm`gR_n&fIP'_#QMvf{:[q54?= j4ʆ gדr ʵ`R\Y^\F@ɷt =g%-&F /et3^N29LEvԋTȖdg WQP X<06zΓs8H8id|,.7\iY"q G9.KP| ݽɔ۸R6/ݔ.+ېA9 A[0E"CTbM:oU֜FY5BIM4`:l+pQ ;{”τu&˖SžcŨj{=z iƶޕk1;lS-RV}ԑywк|o(k` ]6*NRE {w$DMTB=` OY'ehԠe,' O=isٱ<xv+ĒG#P3K榌Q/%`T7s+TVz*}6PcME*sHMN=ߗ N|V U._EG G8Zi9ʩa7,5tv]$,J(П=Aí7=xߓ|JYt)Hyw  K*G}zN@Q?(t>c/ 7@2 gV/90B)EߨxFBJܮX@v|pii%)D}-q'tQE</Ec҇UBA? j+tXnB' h,i甐XidᲱ.~?G.K|sdί;i XcV[G05 `>~ }O&բ? JOxetDݲE;[p!}#qSU-꧉::}"ʱ$il:gPIi[#N$v `|Np9mלh`ױ$Nwj@/ B c[Q6 tIg?Qwq*rK1Aڈrz(Z~w@ x`w$)ॄ&mc-opꂠcwNz=lWݾ_[ @C$e!4 uc* 1g'ȩAݳ'tS;<,) c:7I:Tmy]geH<}jh OWJF"{f߷E 7Nz>/Y@%&qbcn&C327gdG,̬GNz8Ѩ8H}n]p4BI -ꅔ]0,=Ft:QOb|[vG} t{c.*>I"$bhf qN1 NpeH87i(\|_1gR(yF=+(l&V45[>LZOjʫts#S2s%;$^dg1M-JT>2y vCS5'p>#!l}1GkD !V-㨣 ^^ixb)(k\L*L9C])ST#}bW "o[Osa,UB&MӖ\/ -HlqdWShXIqKKeMHkavvEaþjf4X$Jo B8ϼ2iAbT&Kq:k \H,H6IcYS+~%)fw ^ Ms]%5ȵZZlY,*tIdTuh'}3Q LJ0 yTD'Mu, =f^QRnkz u..vl'\J9PSz׽+ vV֔n0M '4O &s޽6O>MBO7_VrdۼK[.P"S8ɠ#0.d͌EE]rsG$Lj#,Kb#%!ZS_hxV"%cqvLZTЦ$|&!vp\Xޱ W$/U NaeH: |㵼kU mF-hIߠOW,c(ȝTOK-Ur80<_ÖBD>w+ꡧZT156q^5j&v_f˪lM 1#" drʧMYM k0PlBy<~/aدuOu)s5(.gG,NIY1h+)%Qx_ʂn8!ǘe}lEL 11(6nn:I /鐋LȚ*z wfmlgԁLE+)uO#,(v/8nӗp~fgdb܍͐#3+->RQUJ=(}/aa%Y$8[Чnr<J_JzMG7^H[1^"0lM " #:G)o] ? 68=OujVwh NkI;Mbߒ3s*׷RD2IՒ$s,{騢M{l3ZJ'HU~wZPK{{2[ ȚX.buwSzE)ȑb*)sl]O1ɽLebI4_+ tۮKOk1O`"Bpmc# o; icߚp{ؤ=j(Yzh"?.֋ڣ HKb\9 8H8xA {x-Iag7euj)Ax8*Y?bVk ov&` '3 Lq^Ȩ\qtT  ~$: ܾͷ2 6$DT^o3ʼd=gÕ(6r}gTw+"ыRuƭA"By[@Ɗ{7g31zFr3w]@:@.5i9z8cF*x[wFPt@nE8] +2y|G ?76·׹=dtyݏQ >H–& (`H4Ïs!*;g]R6!JssgAX>QO[Й3֜%!PÛqU"gB:_[TiJi%iVvY"jza{FB)'ӜN]&PȄ AmC !y:O&]!'Jzh'E$ `WmpUf ?}IKEuԘhx\抎`^'XFx-9<; ObvE9m wMA3mndL|hV% g (ΑWRA8gO  禘?)qo8Q7=(կz7^| ~S?6H=3k-\Sm{#BsWI Hp]KF i~8x/Ѿh^Bh@̝ej)1/XgX{ [f^ Hc񳊗  N$~#sWE< (̧/Wԓ{G@|t=őtd[#ت~ky-M/8wܸ/@dUZ)/,%jW3κ̪B ZZN*&ﱝѶK&pqwQn# Pļ(XFHG:y,H17mU S<<ët VYYT,snFڒ.vyV`xCB@̻*z:ZE9vY⽝9O#a+fݠU1n2~5?tB"-bq߷;4Q&m(O>'C$Akކoq(uo4IvLAz= yͷpyȔ~ ?}syT v&S/ںS}E|-1dcJ[s*I "f :1S8p(kKLoCAEgl$C!$U|gJ穕RbcdA 7 շ'h ΙX4L .)1joI>O  G!y"#M/}]g9PQ!eaFCO0r뾛l@ ?Gg_%@ۢN42mZ#cn4H]pk+7%՟o[tI3K ܗ#/ARjV5{xf˚[WwԀN9""-llL$*sp h[9-#Lw㚍BCYQVFc<a n(kXMn 3l)L8VJV*4kt&g1zNrΌ!¦W$W_S&.E GCz#=2 A]CVaL+n>Ȩs4GO9]}rm _KМ v?to}|('q5 zzֱgYZ Nt 5W# \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Eh]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o6:vfIS5"}˥EXWިВ<Ղ0kUp0z΢3g-hcXwʢ;tpbs8uΗpTe(5frBlH6qNVG<4N%5ɴ{,M-t}f="v|?#x@C6kc ܿVu)j~}B/$L2xKZ4 X|NguL~Jj%+bTun/P:Th+E.ćBHRd&)kHvtk!b8q+h=k(V߻!v'6X*c(&v7kH 3"ʵ/-^9%HQTlgw~zP~LK}Ǭ8pP?d|n`+kJUv4^ TNw#;@'G86; ާdeSM+)@9T< 榆 8;DJbVQ-c@Pr'o9c8/uT悕oE#^qģk )[7Nhe=Yz>۵?6fa@ S\9x,;.#ܠ1\ͷw/AWG"Q D uj $^.ݞ_Lu>lhaX]FuwB#kܣyKGctbdG:Ģfrzlr ,WCl/+/R)~ftl"lT[y^` c` ?>禞2^KL_v`;0ob/G3Ju:n^Ca;$vk%Ɯ WÙQP+ӽȦTLIW޹ N `!U[fnO3Cw0cip+?&uhʘ@.Hj^FBC8l+ekڠ&]q4=6կiFz#U&۶| jh:H7Yn*2wAUJ n ?Wj㗔Mp$&󪒑G\*[ޒhV3V$SBwRw늊wV3U޵n4|j3gldd,"ĴaDI>/=LNsMy(̇8c"kD$5K!;3CԬ+M!FxGU5$fbH^4۬7d⹧hl^l#h`֑:I*2+:@`PvF}}n &3ԭ ~`+-fT.pF;'ģXqDGljl3"1 u/^K#_S{ޣʷN <5 ~ 7R 0#  \ =xN{(Grpm1Gr_?U:͒ږYPdB@0ԀTXO̠7:ZpMġo"d%R1dZ"KG[bJp*P%Oe7)o\:FCl B r,)EH&JnY] UFIK٦"^Z,WAҧ Pu]g͞534۸ǣY}Nc0&&';W 6'-di:yߨ.Go=W O"qO7%=VNUߞepf 3M^XhJd@]-POrZ g(ぴh(F!7iK:gUFg: {e> X3*+),TI6+ Q_8\-C:+>Pf~o6n{s~?5Z9Oʢ;IDB]G=j=MqkA+h[Q{Lnw_L T/EAkJ]Ԟa-hvrB{n*Xa3/,!u3G)W|KGb2n c3V!"P9}DK:/~o]/W 9d*ssbJq&85!uq^^&2qtpu v;vdJ\A6<+wA3i4U @-6Jd¥XCsx`bUXE w}Ҿ1QrV Urf`֎徊xU[Py:H79Mzy_ȡ **x& qTУb7ۛeX_ Y]kd/]}UȬ FNI(ӶzW!"j +lb߄Pzn)ŸNQ3UIͶ.xqYUgT4y)<J,ƈjMɃnF/UkT$fCrCɢ!  [dL5,mN| vI,ΐߤG`v@e|M[6< .I c[v R2c104f69$C/z˃C`^cHO=a<`q`v<%PQC<z{#{Qwd@m})8VpοRnL[gsWKQ" r2H|#Z9")l?O#Brݚa&yUO3+o׊ec&Z| '%1a?Dju̥LN# ""8Q'hji3)1S: fK_8е;y[e^LD JOgy6\4%WlV44WH)مO̶_wϏMDc#IJ 5#2ըכeV_:eU08Vɷ!b] l7VpCrBͽRdj YٳTBHyg}mA( N'VT%\#h 6~İ4ɝ;wS$#HѺ_IWtZ 3LFɥv}B(hpx BmɯI\Keɛ]Wt5AzH|5/XuUH5MR>B8GۈYu0ˑQNw'00ŸJf*x ҵ!Ֆn68Q^5qՍACл(g9KcB+nYd?wx [x`Q1bCQEd  =t0_-öuKkqϲ-AW_vQV$ux0m1<KFj.3:2=!K}DLHœ.t^pkX͕J*{[x@ /k pOII3U<V\R+/ZK`g_szb6ЕkZiHeXX/* EP02fꆉع_W_m8}L$hڻݜsfyK~WQn\ XEElYǝĎ9%LrWo#Q W5KA˃2.Zdep-Ϝ`4dDSh,Doow5`l܌ޙ} FeGt}c @o_Q t$b9ύ- i9Qk LǗ|(1TkejƆxY/"BIrFw\g|rHŇ%%B''sDߏAr'=a@h$NJWO\/&VxTXUst\FBYT'+x_y?ȩowT3hBZD"Hql[î7&hU@5> MS!I?j p">Ï9G#=_č֐q2 qߘ!x#w>z31=o~7e-B[qK]$O?_^D;n;Aʷkq qXn3*lF1+w#ZѰ =4:/}O!_?rj4#6/g7@JV KJ0Wez7i"bs wXN/I[]G1Ewj5o+T `-lAFz0% !Vx}W]ì MP:8%_0 $k,ej-"u~ \tcy޵ g-uȰ`/3۽ Zh!4h:9Ѩ_&݅тr?,-ʉN'Smux7@g%簈U(ӂ:RHP拳A~F{TH]GB+K35TkiT3bwdʕ妔 ޿ƮthՕ 5Ǜ(zqq-Jg58@_ߡ"͘5fNI]x=>~"~b?!3*$oeRHBE¥eVG#sXpmt^G66;IQ \XRymxoӠ >!$]CIZϼUhZS[ ĤY}mrGkVLZDŽ^%'ӻ^dBAlx_7`{Ԁ7Rs5Ĩ'!K= \WXxB.jM`i ˣV Jnt36 b, Sex J{`t1\G6X|p1m^;-GO|Gȣ*JL?c/؛*8LœuϜ!)گG5koFeH$厹Kw9lFg߉w3#b[wbi?p މlͽ؋ `Q^CKy8P(` gd?J^y;:}6eiٱ'V5ih!Qtnvm5S0{wi_tSC:URVjD@लrkA^^S}"݀fuJ!F Rsû 'dGR+*&6[/Zz(%{$/;f4;2ߣ |w9Tah/*,@vfbzW `(&b}5r,s D 'ysWbUp}_6ETwb #6Zd@n>H'-bfU\=эn{@9@PIӺDvؖ^hldB"041BlUX D ɋiEE0vzH^k𤒑H,xD 4ю5 &)!`Ph.+l(,>*±B:[ݾ,? Ob@\Ksv1~m`Q 7zOXa$Gy!WîY++FFgS)3 hci ؐ2GP&(FE,|¬u I Gv*CgpY8J)0o:s7 Ncd!ڴwc PEXPS崜~c#irYNV*UOqwM ;g 2N{߱2 aFbj{Mz?qDy14$6c]ôzn5[(&e{'P.c 7]Ueb+k_Z :,o$yHuH(#4Uţ@YX]pǔPgYZZU>@AP{*Sf}4l;xqTe|>$/NI-<8+tqE [P8(S-d;qFZc͌%ޜXSšt:f.%tbݚyq@Gx OL?afIXr2ndje%JT4!&; 2w, |Ƶ0h!\P)xDWO YyN.фw&D}:Tj0fk ߋ-ങsmc9)̀M7K7_fEsXgC G2fJ/`žV 46}fo-&ɽh" @4el fjxt|˚o/jv9`BڬNKT.T= qs ߽1QFn6l[5uݒ#1[6` @sI`,"ghjUE1FY˺$AaOůo~ǘE"Ɛh-b3 㪿x1YLk +1{Zؾlt͘uB9 CgTUEwΓRѷÌ>֧;2cJpFO7ˣ ZR}J@V*/[w,,m|(wcxCut#)~:@aB'wLkA $G<^P~8y'u{J$vJ驡 ҅ ].NXT՝0+DpƏ2]? >ݵ ^d4p\OΗN`crDKLMm7FQ"fL}#EwH "ˌAm1neL @||DX-;$7zwi֣оRzӉ:)z¦ޝ/X8OQb%i!KЋBI |aF2QTVaqN,8-IuƍTʪY}F v+C,^QW"uQ+ o)+]eå,"\D*2EqX3{$So%@˩s4OOs(zM쟾׿?gƞ-eo*^q2W~o2k EfE06\j֜ > ^cp+ݙ'XBnqH_o5Tae=&etw9ϝpa1Gތ~/dRĹP+4^yg=)o4(f例W%zkd&-oxLOm? -o#?<.U'SkFFUᚧ9کǃӿ[e7ya rqG.:-7y\8._xZXO .y*UEI[K!dk!f,2&Zh` #:EAP­j`w!HS IENܞY3 ,>g s CU#"?EHaA`Ebs93aY S-0#wZWW<1_[:$k­D`57о"tIHsfc!穠vdnO+,m<]bldȠ>ϓگlO qd2.iqGNucSݍ}1M}]᮸Pe{;K:Vh1IThE$TέYh'6=0MLVɳ6<b%`j.CZ?5('h2Wb-o,%r@8KӍE4 ϰfůU,L1 pn<dQX1,H$,5Bpp-}iO6Ϸ66Ƙ\ TX$# *Ioi}\0ׄR. FS 9«$Jǐt4e=4 q-n~kH8Z RZa$a b^.k5һbK=N!S'9hJ}[۫k]O+0v(,tQ@@R *8!ٿ ]2ٹ K/d,6xY̒AMTɞaGR]fr}sW鸣X f< BSkl~AYvK, T|,GGV@ptC1 F)ɶ|^HqJ_Tƽzv?Uwބ=O- 82ܟ\N7\AEpXsaA3x Ec?GhjB(̤ nmeڳ{Ur]przy.)oo!d qrq~kso"QKek@)`Lnl$uh2Sar5g\QĎppe<ɺBy@1!cU;xmyP2F2.ǙtX(@S~,n:K-^ſp%y(>'G|55N.׎)EMMFަTg,p'." lY`Qd &O&'\3:ĵ-KC_6P> {G"uS fJ, O,ׁ8KICv}!cf/E+4o UՌQX\0s%Ot>eGa u6~v Z:oj6cAns pj8`  , J *Y&FL\/qAD<Ϊ10t;"gl7? jD;TW9O ZnQn*ci8`'hΡ 7 x,fEfSP xaXy7vX>}=Urdbl{Zr_8Vu Zte[*`''VShP5,c@Xv:8Hr,J~Qӎj @CT57) }AXM u ;\ $`įdg cL8يm`Q ++HFƘA)&薀Q0kiIěyTX0D~;l ʯ-!2٤Xki({M6e8&ru$ln ܶ YFϕ SЌ^J6K:"V"ެC: Ib`Gم_ۗdۘguiLWhj]ۚ^R!(Zswz ":AJGoXz ޚ qu~`,EKqׁkz0FNwr.&P#A8˭~ߴc̡xg!pEtɊk$CBWdeB{[Oټ U̗.8+%D1H NS'|u(j{z?8,2g[r!>hs qlt0_c>A&Z^vNUKTygo a3Fϫjb]6K)D'9 yc ^gG-a982SSo/IS/Op $oq^:2idh*Ҿ-%܌ *{X$6r'ڧw4*u Wjfp?37bmka١w*uf-Q}5SV"5/#ڦ@U؀ɴ{ps%+VvPL!}΍Ii}Nw+  vAHP-HvO9hDs&elDA \I+FJo7f$[>@bZ2R#D&bf;!pheQ'm6`n*r;&ӊ-~Xm$8dJ8 p N"oǭ2X${Oā\r\gBy>eMmEؽв֔5hUcv>vVO9liu\xBM}KѢ}גHs- |B{ޫJԆ( lS)DY!_ٱ-@6ǩ(!zujuہ 9Ԧ&"%}%|!x e\Hq;cRUFO^$fu._+a%Īݨ̄ _'Ʒi$m:[2)m s{C5- dNcqaѲQz.𗘺?/u=MF_T }79(D=}h|f%,?ϛXz)BkAӐd4(WJ:I(UN8x*" `vagݘ; չ=`<%a{&}*ۀn?8 h2z65pZ˱VHQ͈l@%M‚wOV Ⴆc!~] ucrzuCѽ&>& Ċ"ޛ$ P,2\t,mSyZ PRxP]m 1cBePM8>^-]pywy7 O PbW8 :?dؕѦ']:}O X;Yw_?F BQZ5ɜ)L=IVv*@g|FmۥT83?ׇKHJ ; `]UVXBBxѭ ,j V,g1$yw #*П6qZcDsW]stj7߷)s"0pt:6.OP!7lW 6(@Y i^a0J%qEU}õ H]nz[͘yg`HH!.+eb4~Q6Tp /hGkw!x xzA ܳߧ~#UlTɗe2& lm&߇N9ОUM28I[ MU˂CJ[JB  ü ¬$ ۣ˩LdѯSGL=к?4/S\xHnzge'h{:k.9-k(_"66w3DWP8s4@)ň hʃc4#R-!E,W| f.\ &jqz6D1A|?2P LǍi,Z Ps `VPqqn,]( \&rp!ĈE`81Å);o,zD@QcsRoK0ŷg}wJ81g)$[Oqȵ#+C̋X"`4 RCkKֽz^',:1 K쉦^nJl[f_ [ػ)d`ѹy1OӪ= u0&sѝ^}i7պmIJ^3n>{֜@뽫o[Վ+FTsLB P`gYZa761f6efbb0dc9d9c2e04f61606e62fa9f5313098312a1ec7af45180b3c2b2d217aa725a2636674a f4822cea02f014661a0060ac932d6045578bcc5a