SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 k5d| // HOL-Record_Benchmark:threads=6elapsed=100.557cpu=174.272gc=8.784factor=1.737zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iM 9nD<Qɕ춷ծ{0UlL*C.kfQw*4o ;EgevxxJk+Чd#'/9#&t8GSb> MՖF)~,ڴ!s<QgYZ7zXZִF! Ԉu]ŗXi%b~|5;dePuÌ@]CJ1T!D 咂ihvN w# #ľ ~ Ur"gʆ! gLx_Nf(z:s ٺb6Nx&*Mg~9FoIEDK![3(I%7JtJD@Ԛyl]-^v"[567 #AלKgUk#ȟNט{/cpRw)Һ|u4MwG*ӭ5e|́a6 5 HOL-Record_BenchmarkP `{g_< |lyej5ƹ$;Nzf؊ƆTi#U@%e1`#$c&2;]ؤYw2H'7:&av}p&cz*[RqҷXZjc^ZA sءGթNLyr4~\{hVbSqM+em>˜E2+PwjT`֢?<˽Szyo9Frv.u7Iv=eG~B:HXkjfI3`EGsr\ׇ}.< .|`MVH>r35\M|#{=j1eӯC#AMj>8ٽ o*3rluw4PIL 9 U^hC[d:/J>xIR Sk~nnެm㺀>0uEP΂0d\w5DFٞB߼/p $00k=Γ) (C_]dpI PBo r0]س/=1}ɌJJBjWo9dR34G_93]isϱD^}بۍy_';垆8 DFOfz1:"g濌c⡺'84EtRKh<ؓWJ% =-+uh~_a A!A5JZS q(9Lݵob3YxtInF.Y[Nx9V~%/]PkzZA¥ER-AfAɅ~ZB3i9Pvc5}0,q?WLl/_XvWQ?'c{K_ku~zbV$ᏒQWBi4Q^.;J> FrAźHYl-o궨K}d@Rnu򽨁X^du<Veuc.Be{Sϭ2Mc C*ߍ6&s\I~/~/h B޴ qU'^*3|DUE(oZ "w凕5siU SH 1m.AoN' h-g"/EiJ9%a".@06-¢_2`̳Y__,[ c&V;;j=p&W?2aN64G@bGK9dٺSG w IZX* Ht ҲUBV3dL}!MlXOYi@?Ȁ2\b}!IY*`Ͻ0rY1ϛQF!@fi۵oy0M-j_@t(_0uN (x[={}:| +Ќ=NhOb͏ұdA8L` X-"&Y3|ro)>f5WA߀Z1؉EIqZ}@&܄4U>k8ߨ{ a$ 98f ;^ly'2o+>B آ!6N# ,`dxMS&[+(؊⎾ Cd-ESv(5U\Yqpn!~+|aľFih?vpO<Zt "9E:`дpB(IO-aSk6f40ve#~7C'lWմA]Q#mP|u@YD MpX2e h5R-(&ٍ2FQލv˔Fs& o8k'!L6{Wf<z>7=.N5I瑋g<~! Fh!"CaZ6--Rrȳ-tݙ .-O3mH7[(ˋC yz&{9êRby~pk] 3B؃gK[嵺8Q 5ZŦ@y ,FJD*JڶдmJG/_F/3qX5ʹ=bU 筫V)~Parz<uLWޙCᯒ MEqy$[ʻwa=T׶Kۮζݓfn0=& t1V͡S]H/!#X"tw$&tƗ1*ށ mɅ&ՓdI"]Z66l"Ylܕv^wZi芚;A`;b!Cx[s:|r:ϒ1PЅ);Lǜ!5 <4w[Rqpc'džFvI#$#r8qʫ!Z]P6k¬}G$DbXNYة~i8/^.1҂kcs 9IOD2&z";|51,)fŸЋںJ;/,f)GBd&;wr97>ASv8O0LXG"!=N?ɃJJŨ'dKȿ_4z[;S \匦*sc#f*{@pq93^cVG[͖ mPu N(zukO>H?\l~|QIZ7\J!U0?23vuwsT^ڐSӈaiƽW1[YW(+!C ?[M1TK3 Y[+d.nJdvd+r1$Vv4!V.7Ŷ85bw_Ʃk eoo#^2_|8 8Qc~oJ5M+8 7գ.C'RӕY r}ɍTx `wFpmw;WoIcqiԫbFa