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 ::/5l| // HOL-Record_Benchmark:threads=6elapsed=104.607cpu=177.036gc=8.828factor=1.697zXZִF! N]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iMkh,ZW{@Db?bz1i*~,_vwB <}T㫒_0>rzziIoM_',,JFLjz6;1)Cr&maM[ V *`iHC"gYZ7zXZִF! 5]ŗXi%Kۇ;k:gdҼ,ڜY:~k aSe"ih%]R cP%;%KUONKPȣB:9vYC8j\Fq//'kX}m}^v4zÆoVp{^ڨ,d]rGhNG7#z=m9dc\}G#]=fzgJ'| Rl׈@j\k`4< %3zYAL=l?9lc*sFqQk`\IG`VI+ t\2B7 #@>`wbc~ ^=nliϤcStt:%{\yzzd.e;hO7%˕;j)T-Kpi`?ԗ5cey@DEgH32k꒙sG0t0f{@<儁 5 HOL-Record_Benchmarkq.֧'8B|FhRH- Y7J9kl^Jޖ5Un.$,%8>")xgL&)T9-U*h P6WD) ?×&'[38m?%-GmJ$Ģ̖͉BaIh=[0 i_?㤽ŷd JlyI8Y,`%#)=&QS!H1As$!BUHi.wV7KmXx˗STU*lt+%ߦpR(.gnS"к'Of?;3-v%~;džej< =sW$֭5C%449𻇼 (F-Hj̛ge@LԞB%1K5d}nNc;WZ,sGpVLJT`2c!N0Et0wHmm-t˥ 8au1H4`مp97O@H&AEH|= rq71cBXr T(E*HaU&SiIp.s Lȃ.XTRv:IYDspad0Ѕ[#L_ԕA.sLy+8nzV?N4Iipj]˓T.9YLb )(*ciYBqsB3j+9>WWO+_ Dse!@$2Hs;@ҊRBwK\տHA\ռ`TE>vA]]=ɚݿ;Wq$V?wh?;q?u/ j6Y|*-r0h񩽰<"xf܌"+d-=d&OA(BII:r>ڕJoF^(' ןveX6FD ߾IcK j0TƐODu s#=*zoe:RX687U]cRq5͵R%k M&6 VAtCEr.V=m'7Ě`Gt|Z9W~xW=MMX&s:4dFտ5txQ/gYs7t,p6婕{4d4g6F2:q[Us%A76K 7=XLOz}e-BbDLAcUtZU^9Lw6>E4@ g.g>r?s)2nDE eE7LʵzOl0}8[LoDO$_Yĺ uuk"ު# PY2U'+̳݂.]97H4b-O;\)b]2x[6+L6K&آV~,3+B$ML2X̗5/.Sm#ng%,)sBxrm܇wPd-1uf & 06z޶7+ m__d~ 8CYyMzBKzmƕ:KD]:Ҧu[O'u(4;g# C2"6WIkm3̒sZm#d֖Z_ϟj|,j:ڕ4e} HT!&R}qW cMO549}.lڞ ױT);B 9;GSaubaK;]~|NLG3S,̕ VD$bܲf(z{vyN4A!SdAR5.8-;A]O5 L߿eIRIT7/+QiLI;L,d?UdjbEa 4t+Ë󤣽Zd Fa0EQH3Yi6?iE0טVGm#o f{G^DSfg2\;iWL P%ݑTgᯓ:5MkqGu,Neg)5 6pii_|KG,\1AǸ9a%Dcd % ‰v> 2tN71!OT2[4ew̵):9[{oܕ(A.'GW鈻!€*];| r`_ ]n7üa¾ѫ\wMe2@JN( ~ I#}E.9L b3Zѐ] Ǝ$"{){jPx&*nS\E>Q-LXJfQц9~ P>\2K]wquAMLO2vM0=x'%/u&e  K(?)oBי/7J 5=+hjpbz cMn-BqH7IË*t5X!_p[ְsmCKZ&ci%{Հy9WqM^ص_Ҋ%OW2Z0|j[P7o.7d};IX#.reT(}R;[P7S\t!5V#v>, *.J'Wxϊ@5ML04'3Zę^`/t:oqI<}VQ7mXݟK;pr@e$}B3@u]ry짠Ż uj24lNldϯE0`~(Whm|\@kl m9xN`h7^քn_4O-_kfؖ" gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8c367f42b288d7566b73a876ed41fff0a0246a83f c86c3026a7fb52d1da0c71879dea806b0326d834