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 d5z\$D ]/ HOL-Record_Benchmark:threads=6elapsed=135.743cpu=207.267gc=14.1337zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)7ӧcVl=ǝo x?y<y- IB/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zjC%Y{dZ}}R̘ԙel_}YZ7zXZִF! ]ŗXi%DkhGfYdkvsQ- }; )rUHDŽE"ta> %!^Ы ^f-CUVAPМ+[v芜L`IZ7+޷HO~aUn~e˄&~!0spN?Ȉ"h=zz~B]XRts\g;r /9ƒC8/:lfÌX/jgזOcuLQoL?lhf:(EH.RĠE xd(GKYkӖ9l]e`jl6(qĖC fID EmV*}O{/ NYyjn+GnDvm N>1\]D|[(X4|!o]-V$e-|Y{&r܅qDYMVZ?+M3jD&.=&- 0}Hg/+{;>M{Ds(e\~E[3 j=u u6gag6ҹ7wqatge?SSx]Q >HblimXMZJ4I Y]6#Ye L)n{=ReJ% Qƴjd#Cs7ttw/ ])aNl^ c[W(hߡx#| ldjo%{P8?n&2?;m={y@=u9%S*?/}0Wã/ẤOg.xrA1Ƙ=J:?^_P hk$a6O/LO)c߁im Нtjqg[nM"jTU'<&){5xtA E^Пzz>Hٺ,ZMHЗ;ʌJ"l슂G &whn$ `ಭ܉~k4dfd5cbL#RTP`"m*Ƅn?8Ң[M(3%R Cۙ< 8 nA^ V{o; <Fkrgה[UΣ9)6xf' ۑ*zt5W-F"0G=*fL0t@H c>j.m+B;QI ?1ߢxMp5)- y4~cGFއT #T@ʥ@؝2*Ĥߕ6G|0ȐUct-=m\6_wtxsYx 7q2}(6!0Tm\+rE2`mY&wa$m}M@D.lT4Ǩ^MT"gWp\cUߡr=_^ɉFі0uMe?޲C" 9%c)W DPR 5 HOL-Record_Benchmark 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! {]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamx/Q~y)g.o/[MM$DK^B6T C*i]TD9΃d $X]mD-A{^fZW +'\) +~؞<0 :bRc MFi{6̾Є;E9seٯԏ|q= $#;Nxgח6 +]d鑫l]5 &0FnD R;(*~G4# >w=-8=g[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/axiomsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents     5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! {]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCamx/Q~y)g.o/[MM$DK^B6T C*i]TD9΃d $X]mD-A{^fZW +'\) +~؞<0 :bRc MFi{6̾Є;E9seٯԏ|q= $#;Nxgח6 +]d鑫l]5 &0FnD R;(*~G4# >w=-8=g[gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=mO@zho~s>-b]`qc MG _9'{FrT:qT ބV㬗IF|;Rr%};4K3xE4&,4.Pᲃ(Blc[thvDeUWHhrfy3Om.K,md<|+5Bh,MLgz2/KOB<|(dngNw6ˠ'F/hU@+ydeS. NmMiښ2HsW|` krΉo7]*?3oZ]nec4r;Vhӗ6JU,dC:3S=0a|p%]SM {z[~YcPE͑l ?fH!pE0PӺUjKlZҞMjZD}80+8LۙF-Mu"!ɠg ևUelM2Z@uWk1N (®-ԊH-u_Z;C BLAnp6 X9$XsCLh&.Ǣ 3zf$xW/QF~@+i]pX6i8{'Z(#omVjO^ߴ3 B%|U2UMU-c93Swt@y^zMv<!5WTvQrR*+b}!fҺe0$ul%(b` s֎ a"H$DsAl +oeEWSϑD=p/ʉyzѶ޷%NL<زpKPlYA-@%0wČP+fOCA`BV!(^7:;f.g͓/Yv+ I?5tY{&5g?W}PNoYoX.aVkC525/jq'CҼxaZR s2H,&.Ъ0wBZ}D7^ڴ3"wYZ>ԔXm@}R2$:$E팁\}<F$_1 !b:9}C,ўS; W b˙qD}SJXӂsF]B7(V!3g'\#}ZIQx(o4 _!#D 9&H@yD@'T G d4+~5U]ڋb`T}S Mˠh]31r%8V'GT=n4?Vgt*!d7ɑoW(P+CJٌD_0C[: 䄩/l[,_vΨBЏ͓ELy4!*ɫ"AKhK,)N|c,۹B7 \ ?&^g0p%PA6ĔLFujWcqV4"`r%-=osٱՙL`,ic3&D%'o3*`ztR4͋6w-niF{lvd(hy|AWdj^]}9cО=RiK`W4 ¿!"[l!\7mʃpSۺ%)FhEj "};ʟ導}Hϗs8٧ڄ vK:[؏@2xwZR;sdDy_dՁʙUE`iqW|Xܾ`\]a|>ؗ\=0]?8 ׽V\߿ FtD@:"a,{9 ->*Xif9I 5gIXC3Cߵ tNFwa z>[:/LϸW zߕ̗-|K2mTN8- 9>2_tlBjY #Wh)]ӻ.1 ЋU%]Vw"R^{#$Fm>I-llQ_5;m' ǎN:DՕOp̃^><_w`@v3(y ?8Fivr !}BfwN%R-Wz_C/s/wc5Yb ͩNTZ}}gĠGvzd2VMbTC|͠59;+Gs59klS *BWP0Ƞn̦~j ]p0 IK48!ReTa]~1|BR"py>LO')sT>MQz5-D!L’] M p*ʢ'NlIkgnj L\!숉9V6d/U4/%A'LPuX0eHLLIIATð/yB`SN^HywـT Ƶ#þR&P˭ukm{D\(~^ ;?K bu$t˫\.yNMj=&Y -(S&af\K =ڄ fD{qW BxO'^UDC?HgYZU١Ԓ<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 "u|ڐdn[,ymuYjEym̔0ʍr&a_Je_-nm K,VJFS aYkRD0PH\'ǹ^ĸ!&d(A]1YtτxLѻ(y Hp"n˥ I+\g[:|?sǓ4qܣ'9-Oˊ {0Re4{1$|}Dk-sÎ']kC/4/ݦ/dNRz 9o>|dwVf4Y avĨׁ_~دn49h[\O,o`+ oJl]{@U Th|M9M1ۦGNùKg]*xp#+F,Gko==rblT=@N70ck Z&$gA Xk^>!"M۠) Il{t{#ЛM,COunQ0K }1_3_KřjB,1騭FJK`E) naw oo =Ae|h3v/EӖ0JOe1}g 2F)y+ћsN'd G'25!޲d֍hd;jioҁ91 R`c\ ?DvILǼ'e$\{$C'(a7/7^1Ό,#Vܖ-X0a+GQi.ҳN:ϖiݕk]VԔGAQD`Ƭ=LOJ#_yiׇ#4c]ƫ EB<ĵ Yx<;jR 2\YCt9݊7#ukv\ks%aUu !.U](Ɣaorߗ?s[O@U,Kز aas3Ӳ9e-Ü2tUtNDՒu蛍}߁0jF'\ȜS?r$5mseX5Ֆ3nWȓGu&uۗ47xE6)݀D^&z^OUȯ R+wNhEd)wUtco^j!L@]*JҴYY(^Bfld0k~i_}_ XunBC>3žq?haM%G=ֻ/Tao: Bn@]}T;Z4'EV:Z&dQjS<Ц8O?_+yB:p R0 ^Ŵ0PxVi2?Jy˜QB)ih-%"HsZٕ˫ {! aPaP]>vYU Dk4˔eO LsFMTz:%Y+VD 89˼AKn˱ +ww;.zͶ}Ue~B-k Ibk gQtnD27*c҇ 5kE)tEmzvI>ٱUN'% ?"4SxJ/haZʣ RAEo88wSA;_}.B"iǂR0iC+>DIG9w"o3 "+5Vr/nñ{åcYh֙aAi# ?nG}9ޑd I,cmH+ɚDCEzbÏncnM)=؎XI!K{ mC -@jqh? $[+Յ)B@=v*BfLJIoO l'h5'!uUp݊2:Ziu:bj.@w<ެjW`Aۻ`Қi}gy^Tk=gn ]HL#)sQodn{J׆a"1JL ?<YTG"B-|OLej#)ɣ}AيS 0\j(BސC, m0weN{go1Z`\WB\=59l*ly NyΤ;;DޘlF 8h,dG*HϟW2 F0 xx_=*OJ2febQ9t 2IK[ss>I2/7@&m8#6)"CW6H)gf-2z䥠 D^ٹV+y')Xb9;ZCOȔ Zp->f(c ` tW8 ޷L.±9"п-0khcm?Pe,fзD9ːH觭zFՂI +ţ \Kv 'F4(v@#}eZ}f' wFJ12 X%}!%rQÖ2dXmft+͎CF][bר̩-C "fOѥR@1s?܏]Z1N D)ڒ J5jX=HY|QNwS1d.E'hv <c'۸.*d k:%teIuu@W J=a 'ԽOceY.vnxhW0!\Jtc TAH\)UԖ\PX ,aX[˘ rdW_;U1EpuOQJ{|'5m&k9S ;BVk[w$:De]e(gbm9s+e"A*^e9u"7*f 'L&1-*[ quw֞}4*]Y߿"l;Ľ\iM&FEV"lH@~nr9 yn =4hoB-ۧp`@2;>TCd#s$56gC6 ~cdN G%~0 ⳸0og7MWJQ݅^fغx.(ixN a/6' $qJ&;m,$lXˊmwH@^M~;AQ⍄o(5,T{R6>%> Po l9ROۯԟO'[džv`>CC?Y5E yfS}`ƲZpݸ # #=aʱD o_[zu;B ,2Ѷ0@Ve9{|+-([1w˕QGySla~ӂYr^O}. >Z\HV2K y>p`=a\"XO>Z *;ܕ9(쮷ۢP1L5LFI7NZpi ݿ&!8ergYZGt ˝K yҍE;&_`Ad5"-.kMKŵq9B#[ yzF2oR}oN`qa/6OQPxVmGn.Uj<5D#lj5a1Vf]I..~1 KINauυ5Ek*["\ NuC0zdO!:͍8F9o[|k#'# lOlV$Ru}dw90ϝ(vgHvHLca/ ].~5_)m/&Q!wh<;0z#>&!ߟL>B1m;@8ᚻC;,IA:qh FW&Ж7+$|"ή>PMB=0gZlRUjj{N fGJJlnb,cUP_n [5 0ygO1W;W]q+*̼/rCE}t{/SQy2>:\"рnW/<, R& Ի-\K[ϷoDK&ڕ6axzHcc:h9m*@bmЭ[8%ޓB~]Lj;MSG"2m K{44/Q&iEIʜM6>gҴt;x칹8k/*ha (d[>*_l$M2`2RF=(\,uT^}ČyvH]駻9-X!#;lBuJm#*>j7oO`wcb2-:X\atM}x&/TgmϽr[ȇ7kl-XiеEw- De%ڑ⡽u:1 duktI~DX?] MXCl1#o9=Ğ?7-|J&!N C '4@EAb-.;Թ\}CbNG2ơ +7eg{/ SlZ;vfٓ{5#0_/,j=, nF5A-`pd2ʠXRR Z9 c}'n{#VfGvL6F{IL-qw%#r A ]%(um@0^(üSpfį2@]{ ꮹR8 N> *}to+Tk%b=\6h6떤 ='haϬĆ<"t%F6nADa ݢxEEcɞ]RVο~e>IE^Zַʂ{a_G%0??@箪Dy{Y弖m\ti,Q|+86tn_fӝBKu<0%RkOP@o*P6]_."H\kugVJL @6wy}jPh 6E>D*:qaCw *DW%ݵm$a'r`>վM;h϶$R!wG.JpI#*10c4찾C#{ E߁*/㭁ѳb5!)}ri9Vq@yR<+mh j X1aS2RdV6W]W A 3M\ߌz FpɈ~v0e#.o{}T,ޟ&}̻9 Guqt%Pʓ70 Nm^jy0@YUQ^$^afh*JN :g;ˡ/o9Ke#7Fr5?3\c+1I`h gvHzSP f>>o+RlkjU|M" ֟!Dj'&"B@ӥʹUpa, gT"_AK5W͈ik&3:?]`iw ck7,[VX~EC\pD,yCdŒ $,CRNMM2Ȩ=3|ll :]ں%*~AckQh' ^qfz_;gaUA e@sѧad0)H>^+;u!0 Iq 8?_ޝ&׺Q܃R^D.Jl!`xLY.>II{ sn.C/QuOJp6j_USB2ڥRXՍ*z|b)X'|MR>˩ hϝg,b?ڮ }햌Ϗ3sZ#KGO\z-7;V_D\(&=$Y^7m[V˜?0Pl(6`Iɗn03j%T~oy%P=T$wvW%؊.,f`n!!γ]( n`[YFq&mci˙ʧU(8;x,l־7Ng]Gxv#t6ZN>W ~eRÌֆ[P)ʒo7@T"2[wnx#fz bd}[/qA/#wdb;ɓ4{ؘ|Su$kƊhBX^"Iп=13[)$B vhN/85W54;* a4CZUV{7fw^ "@ڤhCj |kNL DYo ))Y._;pl +7HYءPRB";#P>7]~-I N%3V qSXdzXaNxe}Hv\g !fs τ͘ ,ɆTTYmcڥ7~PgNE`GfzP5Y`ݲm wW8bNk,8;(؛o|]Dlz &GfwԽ̽*3KWpslm64aȻ5cf%iiBRd0\~ö#F69B7WtLC!ƄXͽs0[{y}DY<|gc> Swte!R**9*=8—Qkt'.Z\+)|BEAMaEx>D"ߴ^ʶ΢?WӚqZ⃑"6o ))slFݮaA}hA<5Xo@3OLiuxAWsj'o4ye䬾ķL 6|.9F,=:IQa\1΂#O9q U!39!s꧶ cc!ޙ ŗBX[xNr~}|#u0ng].ː F3Owk1%V QN)r*dQfev56zK}i}x BSĤT6C7͔wF]2ډ !lBg8oX)n5Bg% /1EGen>`d3DU, $5#ub4\~kRz{?|iΜ8Yq0SUFMkk`xfYp/bDXltjQʿ3 moǗri΂=鴃@QU?p?g?$ 2sVdhZShhwxo-iEAU^Bdh_\ a1v}~7A4F8}VygOBw7mq w35\kߪdsT;c6B6gTnc0e>qյO{ eSFacG݄'ii~vm+ݫCuq&y8}epGd\>J1)@si:F1ݓʞ3٥\tnqKH;}?̵/Fj>,b'Ojmk|Ldv"r3($qn+"OCGMb~+T2EDDMG\_6,FQ)'s %JxF[$. W( T΅kIwFfo庻$s%(82OӴX\ϻĤ[DAx|_,߮j}ɐ 㚾O r-<-&JB-l5J +g WnLgd$u/2M Ͻ\轚q\:oKyAtvQwAW-/$c5_U#nEYDXXRoy%J]o xd{":[[IZʁfd ԅ'y 2$g2s6T_߉g!{\ ?aPc9=Jl꧈-Jnj{ծQ)7,Xj9@]ii-|62/7-D`g^ >2'1 `Uge(1]yREf9n|)ZQa+ȥO)+/b 5ȬR*CZ?ܔp\k@oq2P)F kz=HX۳ΉJAyD $o#Q ]?|rl9UG@PapQHH\oqB9 l iWh|q]BWX(>GomlNdX iUX@Q.=޹g[ZAj*@?h!<]?PTۆXA_Q 1ErK5R.\?\UT96@6TBP V^[=u*28qBn|M!{T5 X j^IAG"om1poh:>*H2Y؁ ׋DJ;MA,c82&:x]ui]+ƪ[ w/K6亪 QOV b/`>3숟[e,EI)=0pfyAD|4{#.WIk6? $u6>b@v(/c$αyn0է)[M ^8Ip_s=\!Mz8^FG,Vq!ms`:!֋aHB!+s@e,'n2MjC GIDVBNlƠ` @UUUZq4Ј:fƧ.гdϔA l }MkcՐ{'!|Fl\yyeV>r̽PZ5I)huz.f@Hv50jvEa??T|~ "`nU`*LT`٭YSqAq,)oO6V0ʾ\̄U9Z B''}B1K`g7cd?G 𠪥dV@+KsN [fIsrRoþkD>?)! _jJAA=pW.M$ffsgl #fɱ~49Bq,Hh3x\9 hAA_={]rS~a`KjJT4/}3i%m1w+͹ wɌ(PSNunp|ta9øor %i&~-bCYH!7w"3aT?g)K &xQWUAMvcDN.Ly[;O]Y?qa*{|gF67nDRI;bA%DP_f)e;u 8foF @7O ف}lRGnje\j[GEzT | EHb?uxKVy㑪^~19㔼we'M%45":* оmpSǷާGW,`tNLV}S#q$o,NJ݃[m2u~+M;D/ƿ;F'Sgot ʓ#˸?=ora=5!BL[hЎzY7-WCSƠ7Ix΁** f!s!Wse}SŝlV9_/kɥ*(!cI8(6;!H!Zu@=M}~(3QY7Moď} Ұ%Nrkg*Wv%kC /@TyJ ;+zRo=] BA9"xyK vhWO^x OfEk{c_j4f"Z-ۻպŰ݄ fV0/R;0@Xa~XpswqBdF0(Ҟl!U 0&>6Y'c{>02&ˊlÏ'UL$7qy5uHKi7EnR2SBjf~av,7xrORB*ؙAm%y9-ḲK϶5zFc#s7"7Mr{,}~`[bjyN' I+S$[*t3=L=Ȓ9n IݥC)V>@"-=w7UVyP \?cY*Ej-L!)QyyLR:'en}֮꽀[EW)R6Pw)&1 qe7vZCI&ާT۞Y>%<|kFY@A %'&~ ك6o+ ϝ}[z]:KvaX>VS5(#??>;IaTL6k~"8]Pb_.28Ĩr(2k} HֶWlYK[FciC$#* ! mB̝Wd{ kX|Vz!mwuNBV;w ڸ6 ue}M֬sٹumcc L?q( jmPz-ry>`]S-?o~r cv( R܉Ƀ%S#CN2ݗt}P6uz"P"=*e[w`!x___V.i;P+I4/V)f6f}y&> K[_.eyN_s/TOs9!:j&G1ӹa+DdHm %Q,,Ta؉5I@!^dEOPE-WlHt&u"FnBd+Ǭo(h\ }o4w7fF<˂v 67VCv@RxWT#όe5V1+qMq8cS^I߂SKF{-&bY#%.jYf}LInl@ltk(*h~@1ԗ"Ez [AlL8e|7k6$"!ˈ#zyєR3Sj2u]L=OQ&'0܀+8UyOPq}&G@?{*bT/W\c y&'VaJD`'t.*hƸK.5l-n׻7W9'9uqӌa'/)B5Cz)˥ =|QaRx(u]NB;F?Q$brĸ֮o};sOuS;R;]H(TqutdYʹVUX1 xRKKv_% tX̑p)ynb5g  lIO"+HK@~-bJyA(CEUC6tU{qK)Ng.'I`.R"֊|}!dt۬[\|~M7-tif w}63/{M pB@#Xh C0̃Ŏ}/ws=b_zL^q _bp{ {RÛa>CuVyc "\9uƥ='eƯW\Bֽ:"tXεanGaؿ2eÕ2)K/4r{nUct(= / Ct 4,;!/r4([pUȘ=,̔JxI²*!{@&ފvBln"icp5ˎ꣪>;F-)>f)jWOuS䌛;_F?onK_hhۅ&E  ^YI_?rqd~7@A$ 1-Ŭ/^k iFȷaبEc˲][rnƟהȩb4DC%Jz`#}aZF0ߴqٻ77|=,fz?ò38b޻exi̠ 3exE`CBvFȦZs{ T%L[3OOCof f.w3 K|]0ܾ]W@_*diif''ώաwI(3RZ~>Q9mr]\Kߵ'm]0fqCvx U/4]ai2FV oq4!,@' Fu4`(rciYߥQ/hOI\V댨˥MrBz9YP] wEh$EΰRUl9[v\w+ j3dsP)ӂm)>',}c^?.ƴQMǷ-U'8ponW&FB"NLg92>n),B-kzpIICɊACUo kp)R~0K&:ej<9(g}Τrö{EPb*MwT#s#q*xK7BTd ZD;a~IaӤOml)$iJU+?vK^ - E\"эF,MɦO**47gXW .5 8na*ƴ5 /yGcxܝGLpM dsbja|Pґ&^")}eN2Fhjr|(_9C6P ;' v3VI~>鴘*X+$}Q-Uqpu5U#V,)RZRf  By|ƅi=Gɿ@3=vB0#Q 0!W#8Ç P|}5%#S?ݪ!?OB`(X%o#'Vɀ|`@"Y h'86B>WPL"a.nPޅ}l6%:7)3%M#IbJt4\Ӏn IG!uW>b» aBfZ #*V eV`C@;M49,N_(4%J6Y|]zWAOV2w{٣ .kk&6)d]A~% j$ =AXω)}.ܾ|eZGB|z0!{j/ =LxzhhB/X ɛ KW't]&K'巤cGWT+fs,7I<9ewN⨷T̎\89ZGoM"MslZ| Bʿ@L#8r7f+pa 7X96*'< SkzħvjE$qUF D}ڢ( &N KIRzXгclM0 r"PkjpOO`5%zoH&t "0Pdr|L{1M-pb؉59ۢ G.:vNKxvUʲH"CaMS֭S%;;$ԫI0O=P?ъ eta*q3ɭV#ḍtHW7c>)` s*ӂ }`?*Y{ςG  qu<@s񋗖S%/oD's-o_G'TL$8R=-f75Հ̰"tXCKʷlIBX(1,x)>UXM3(䡯kpkv3`}#k@)2J=ණ7*14oǎ,,Th;ã bv.*ap2@ F ['r2r/\YrKI]Au*֏g8XDZPREhBpՔ pC&q=HOmn])MLv<_.cDsBlс=lQ]VtKo4TlmÌ)̢sM n\"$kUJ L|Њ!^@oFbo.+#:Qa}i%t Ip%.FdY!VN^,φ ̃V.AYgY& .  0*zzsH^f4f3{umHWsc@_vV<ϣ;caQǿ B.0$;!{ ܒΣ2ڦݣ/mEHe8jiCCNhw>)$-V;as7jƨ@Q9o(kΨ5635'FϤju?p fWDhA)p v$Diat3| 5#cDQHYm-}B0)0Eteؽf֜-Z2NW8E\OFX4C˓"W6ܜ}acxnI52&v/! ˌȸTY8z yU}n*&.m{}mTrg<$,ia3F|^{9G(ۭx2}u ilV"%#DM:,BN*E'g~J~Mks8MkIbe>̵Lc!|Oaϐ ,"?Z (v~ ͫso0A$/: H [ 6%y]PLl*vq~q>B`] YΦ̽a JIK1%xF`!kA! #w^/]!ވ_5 ^.N̨& r j'&LHp\LBPI??۽$ҧ,o5R`)w[p%%``hB0 *PKt:YILuIZHC>m L*<(7v@~F`T^\@Co^ؿJK/yOmNDXMw-gñ^Kr y U&ȦJ^Ļyp =(OC^15ԩhH#5XvJd>0)s_t@,'W#p!$lv) I+~!2rt"Qiy2sTo00P/ٚ͂8C7o#puhpOaXm_m;]}BjmNLZWqPCL,H:8id! \c"67#FyH']u|d!o8siJKX`R2aC4e9ɢ~4ĩ"wSLWi0_RUK}lcF;U".?QGAc =jcUzEMEJF,o৽ 0llD0.O l5(߸wwŐU3Ocʤh+}GQђYe'!9} <6 Wy螵:5--Wͳa9)k&LlFݮ$x$qN/6b!3~e .}jP1=M&;m@2Y*mk#vٺA'SV^}pĎQįy*3gF:o1"-?T:ù᪗_.4ܴ}K_Я{{iz.K0Ƣ l4$^v7/*&4j,U.*Yn# [&.t92.&,]=ox'`4@ ^agP,׫8 ڈ=j@JcX_D8M 8Ooi4]b9(eA4^uOPo 40*:kq4x?v 7oyT*"hT_x)/.uTb K{ )%Z~H6IFEtʲ+QYIAUiz0iu2?Wѽbg)#6u0v[vZqP TT" shYc:o?ۿM磣"Ѣ0)(.'I"U`cY`FEsUc6M74e'eqO11j%i8 N龶dw0PUmaXFׄ^\d8r }7sv*Ȕn"yP 9ldIyqBP/ IBKHNCf BMD-o^'00g:F"עb#Klj^^5H_l ȩ=7)QLռwÌ>-9˚`")Pmcjd-١BB"+H퓊`ܐv{uscYo ܵݱ $JSp9o%jbh4VwSut|c| F;m=1bi hԩ˺|r156 - J }fZv,wP I՘Ss|AG|VpHWF0͝$: (9V:ƞx[7^C:-}Q@dqr~AFƊ3֐m(lGjW35N`?I(c)Iȿvʌxei][hy;R=AQ?>)K_e]sN$2@dc Wv Ax dYup B*VF5Uu9+Өz MӭMBz- IIH%Lz,ne\sK-vr"ky+j7YWm?-l*/J=.?*R֔-@1-A8Tԣg^>*=]#Ɔzջ\}=ߡD~ޠTŐ}ar5(Lsȳ~}̭ܲhe@Ýg3Y{!_sXr})'iVDijXO.*CVL?|nW/Lnv(ak(o\j׃"R(pjy' NLW Q1Y樮Ynx =m&0TCּd~vmI;^ ˙}`U`߿𶻡L叒r7#~%9M;fx6PRqQa^@WU}^JY\mM' :Z ogdGXJϸ; ͰdupC@ M/nn׈ms]9jiCt}kW{юdypNdJv혯h=6Z#-!N^q\֍^ph*bi=~M*1c Lt)joxmfǰCm֖m+}{Cq7?^/d1T!(]okq "'+$~婵,36mWY*N]9r]cKZr8DȢ09)4]΃-s̖c MEGI$JTk~ފTHO_, #|.7@ -6llj2>NyZ#DD)X Ě`2)f'`>.3m5èLVHpA(I|&{s3A$#(yQAЫe"I%H >z%N|rDm l[n񏙋;qejF H]($wFvZ[U(JM+2'VFœVsd79qA;7Sݬ)H^Fa!w MC1%kVDk+&3}B_7Z] VOUS{Ok~:`=>Jyk->]˭ 3k6)NI7*~;{oIwƀK͋3'׺6#okAnw#.ɏ-e$CuFv焚 GO=ɤ(vJM'dzn6eo㽅@=!CLCk41faW$ӋZOb0eH(k2£sYaǽmUUL]`1Cͥ fɢE!\sKňx6X^˪Цj_!I'V햫Ԏ/[53Lv_m!تge% {Xsw4ܑ{?[9n[B'8.Ӝ#\e@,/Ųb q$׿Jkcvܯ &K(C[bgy9QF,6@4eFW4#GnyQFD7X_}yнzq-մ,1j+2߬,;PdZ<.&g ]rUL_+Zuvw  a9h*\n7Qcy;L'u=Oz[y B}4lg3ƷmQ7d~u9t{kx@KWp2GE_7_q`GT xyNƜyi2~21~Q7zF+Axn^v'ׄ]"#Y1-)InTu4Lj׳Y'G͔8RJŭsBUǛ s` q M>K?ѕjˤUN`Ls`PЩ 2DL̤a?k_ȇ3[Pt?5+XڱT5ij:!{{6 l3kYط-Q>"H :Hį' J@m築P&oWpo[IsI| nZo hwJEӞ-v&+Bq"] .qfAq`#B7B.nrH!3CPH}Tmi2\7WJsNͩDB}LY[-JŪi>3i4>y-8H.sޡ!*-֞6>g٢wO8:mí0 VAroQE*]q +)׮' J"&Ր&^Ko1G5 > A7sQ2F^ W0գ2̚Qmtq"״B,AFJOޒJ%1Tqs{j% ^lhѱz {;*@F 3qˌ3o:#\xt1ˀO+bŎoES=ûxki}GHQ.fmM 8P,h6MWVGүN4:-[yV=^N`Jާ>t89S$"C2XE#`. Y8ަ4X~ch5f>YA\Nl_E)NI`LKHTXAeSunEZͧ b¢5KѹζbICb`_جlqb`Ko)/K^;'=_74Ra!DqEeZe#|)rY8oaV /H$4oXfI%XBqq$geC~ Ym1Qn9( lѼcȺ c"}pc(*D'( OZav7Ee"Ql3en[W{L8- }TL=]PIxt:C5${):kh`1eG\lzƝ }jdI_} ߊ'xpH:A:c:Y,nk#o>sAXhH.*+no5+~Mr\S[[K»+W.>//:FSo2T*6滣}?6h6jaT S{Aqekoq]2_bY4cK'$M;A)gvS<|$=zF֖4zl|LBD y>v,+}PH9M=(Hް'e\M 4ݮ"vrb9}dD% .نt<)h0NcSLQd˽+h9ʀNi9ԑ Hܲ%wIhd,)襭`.Htdq3rV?n7lt-iV]UE9yjEb970{&[;~Jt:̕r&\R/klvF;} 5rn9͉Oj@9 _܀ά'3zYXtOg?E4gOßO^3| "fh4ׯ(]᏿ƾ#߾er/B%}9!c ajt ٣]eV[7Lppgޥ!D% ^j}̷j,3 )Dm/Iꣿ5t4An1YQ>!s]Rg_ W5SeSv,-2'0Cb첥RRI_ Mf#S)Sl^@rx8q5wk,CEGJ cǢPjpѺ@HxVR+FGyi%^VrIM\Ct0<mQABA:C*F#9H>00Uႝ{ZLzA) ABUZPsa_Wxk&,VGG Gҁ3Bb}4d8#ə2Db8Ԟ]dywxɬB| uGc 'R_k:g\IB "g9֫0ng$vbo=*Gz#1{kRG~\UUhKi[a5w$# .{H p1N8JVpX!?կGxcծ2޳y +Ւׅ'%ؕ_C^"5dI-U;,\6+ep5m5^F(v1Z o/gYZ {{ 5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=bB+<5Po޽IJciF#ɶ,Gi. Yn"E+b>)H!%P.q*D`o|VKoN;*ΥWߪ87LB-hDtjcG;%>'4N ť`z`FDG)}.es̥zॾ:_ϥ낍]ݗ_.rNM:ϟ b C!#ʺH0zfɑ5/<`'*`y`݅cfaذ;t|PIK5חij1]cIԳSߤ_]+KL9yT68k\K=nIl:.+Njw:eUJ$b S<II*KVmnxЩmi*f苌KG3T)?Oe.WVFΫA,#eo.*mNK%{5Ft*7ELDa |}x#J֥"T0ΰfgS7&Q4@7bur]A+fgӥaOZ,7[eĨ.)Bt,4dl+71DrPҵDM3 &ˮ?JH--k?4Qfmf^=E(Y=l?́ڄZ,ҁ%hY>oǯ&SQ%^ IWNշwT D IpԶɿJbq #^ жP]kB>[Y P$:T2s{.Fx#4१oٯ~k5c\R3e%MLZlhX_ LN4xl$r0XhO40M 5j@L[|T=٫}~ >C Ks T&cl5Q[*Y>k$ ϣҺY<o[S^ "(l gd#']&9rB fM2qJ/WccM2R=BN!ƹieptZ:7tʕm+·0b?!tFBa&xF9 =}˚lL h.*Vw ^w̳va>M ZPH. ,=Z1BA}^)wxX9RԄҙ%Uѭ9 h$\AF %'+ۡfOmL;ι'I§Hx3]}q~Vt'${;AR[]ɮ7'CwgTA=6yM]V8usa` p8Q܁ ͉{ ߰{}Ex)s)޹l|H2s&[c0"WΊ,,@H[  s0dqh Ud8KY#,.U*")̖Ri&A&d" -uOѠM7ΌmsAH6A>O4tNoQƪyadK0&Ij8mĮ HCdn*FW> 3"qM~bTw7Evs^qƳ>ۦhnxQw/>hHPLF 9 MvP:aU(K _6:Ȅj*UN|kfLIZQpX7[]RJ~ΣZ f8[F(,DZg@G+MD(D}͖e-])H@- $ygv{ߐ Ftv7 F;c"o~b]\Ki JS4ĥPǨ[k72L"H'Q+ քs6IV۾򶐋P^n}eAԵeX?{ Jy#$Y`.nw"Ul)&&y_#ӹJlx;SExYngʛ+FL^AL sV+dhDMW4fe>K߾/*.*W*;ռ$ٰgj6{- z9fHVF[ =X6ɮ)~n6]1DဌX@"~7XneUB&YIgߤa\ħ:go5Dв9ڇ@"ll@^] %Tg㌱gYZ" SP<=ȝ~Daa'kԫ>oQa8 t< \GΒԡ[ %%e2nmJ[2s[E nc͘.E ?^^VkT64 ꪡ$==> BbҞ99٤ƌud`aL4 y!x$댘4^bty7E@3w/)e``Zd5!vㆤ K PUy ȣ n81A_pAGJ!&Hf{ǻSZ9"Xak4}}N"?d4 4!NC[.ilFK8z&]`S:PdzKiAÙ/;oYH(! 0TZ2XoNMBR6%xj5hn]ʪ^ds.Ct_bLrq!^K c[6-K m_`?n) :A HVt$BN{ #dmמi""g;^okŚY(N( i"7@I%>C8FKϲX`o}JCYվ:}efpI9.ɃE՛I^ #v &-w N-B2ʮ2^jNѫ !eXI{R]ASF[kٚ)E(>3j߄i"J5fx_9$"7?XP #w+ژRz%S=XmR<χ@Pj wk8ht;7^xQ$bjʅY3_BJgɂѥEvU}Z0R֫ǢrJ}}! kA?6:S'b)௵gx?9k7>JG.ݰq_ƃ%_~3nw.G7Ê_pA&%]}Ӕa7z]J2 >˘QޥŀA;q,&1cRG'OLw2>d*l]q7NX+bɹ"fBHݹ RNBx.$ٞ7g+O1G0;VFFD(9J&#GI5w|َD@ ~QMo7R28&i 7ZO`BH &iiCu(Q aY^=*pZѠ ŎTYq/xAwYoĥnP3lLȣt"{1 ֋DЩ>bD 0[w7q@fs峀ޚj0ezP:^|J,޸bv%'ր(M`f.:FB19Ԗ]<(٥Wg~|yD%O^bf(kbAM.ӫ(k@37 벐pܲZ)%Z$qR]깋:w j-T@GwM713QmUG:WegXPpQ+92r!aBM·zfET>!n]|ox X[TuK|&3 :>GyNcnW+ Ɯ%~,Rm/;Լ#B|1ŢZC3fD3,fq6Ǽh@Q@¯AɨA>,j۱ŒY_Gh*ku*+ 'G2"eS#vc+ H㜗b澴GV2saA9{~)`G_p4ό>;v4I6Ŏ bmr=xqdxru0\ܰ M`5HQ0w5ج p-Bܒ^xQ> 8E&Yw&6l-QD˟;hNȚ)sX9v8%RubzT;pg/}o@<~^NleTjj4;.#Ѽw :#3893TPӺ ;VtW4Os2o=fV NߩKB׎ tL5_>.$>D@ 6`x[ CY\o#I3s; ^`n!3{\eOP,y*6m/1|+P*h;W7޻YŅ5=B6:ᕹ(N3~r%/v5@7vǺJT<ҡ=Perl+ҫ0s\NXv_7acʔB= WO1V"Fn)YbfVnkVUGeA8. y +(5>+,'h 漮 oMax|50%2^ԭ^7׬{e쾐vb!<:i8qis6\ysa:10.g½fxJS$ /;]DR4i %챽C:?d u d+ ihs3Ƞ?NWg O VI:vN f΄/t< =Dz@h}yyA 6h!W/VֆVHf!}t;H>euo S"+;xol^L>LaUJn&+orjàؼ Q{K ĆFnĀ VjʞiS|A%hwUHunS<0nKNlP;ֆ;:$eF΍de @PC|CR۫UU= lu%!͚נsGA FH{2 / ߂J.9kaD]&zLHΪ' x#jM>})Q0[%_6vKZO\%p=2:bVv-f}1մ{혾v3d%aNu?(E JC'OTLɜ-0hz3#9<ˡ:e5 XsNf`(5t]@03,Y|+wf`c H󕰶|<4;aUzbs֞A1>8_Mw42j,.\w l]|"z9}.y,EnI5_Sݗ/lj^g;Om@W+M Lu8:^}2 !'9(3X]Yx ?T&qC :Sɖ[+=vzx+kDk^vXy / Nzqy : vgYZ8e1993d200ab400cf4c80f312a4cce72f44e04d4825f157ccf104eaf68947b05559181bff314ebf0 eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f