SQLite format 3@ . BBh77otableisabelle_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  {5 $, ]/ HOL-Record_Benchmark:threads=6elapsed=99.388cpu=168.496gc=9.088factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2괸 ǔsm[{Dc5x~f^|dB_[('zM@JgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/F8`H ˶1}nіg؀`h k]*U}YZ7zXZִF! ]ŗXi%9#kcӲ\QmHx&'g%ZJ-֥ y4؍An%n x (1u_ADdɩqG}HA$t )"iуEN= [;^5hnt:^Lq$,q&;eN6]\Lk6y EȷdL_O{)PLaop-0<(z/E73=![zlҖ[L售~7%U= YWN29#Քt0$u,u 5 HOL-Record_BenchmarkvZfi\[Ɓ&1RKӾ_?dyL LOıH+^ػ f_[z س[X,4|L'FTnND]$~\{)c!4%KMl`.BQo$HRlgO.DkH* C D•R é4Zevј*eY&{;;>6P J.|OnaPóP_<{ 5?WbxU/Y" z28틚<rS`jN El&p] GtAx ${qяl"tU~ܣW@1\EToGYa%[,Öu푳l ӌ& 1X>/]9RlSԟq\I5]d~@ h3W6NZRXTJ)=֊DK̛;@-whZb;PhwEBAUYn%KE'~a0iVŚLts>Ssf.' >`4gl̳[Nͭa4sx C ̡Oo0u_$`FT71`G,#KsXq 5Br[7NTE\܎r)c 7?NIOꋹ'Bi[՚^kX}\9_jǷ-`xuWX8Zm8kʄW2b n^ǝli]$R;(z_~%m>J6Zb{S Opbo9i3Zkf , -ş:aGNhdܹQO?չm-0 z#ksK Ȓ〙lqaŗe_TOWmzAl -'FHcb/8rǼ^L*B6=⍍Y"䈠-)AqZy`Oa $aߴHH]NpԪρ{ǥMܸ=xJ#3}M$OC~J> {M SI^"c='|z2k%< )Y|܀T9PM-DNbu],Z_&l-&9{qv{Rd'~ˡV =x QGk?4ru_ݹYJ -aHӄT0=!K|VH@Y>XG`u+1ŠдC eQ!=FaTh@{{ WI cJMԜKII\ཫnE9 IͽI>$|ڷvW.:ZuQ~`VDN2ΉJ}N Ό[ݾ `F VY;=&vHʇDh< D> g'svVzIfӹز(qHG&q>,aJF=p:l^A 67p F.%#BH:P|ځܡP,|r^JjG~S{NLG Bg'cٿ2]!e/GL,LxGZdSw:Fdv|e16-ߧ $MٽDJ/j ЛI[`g|WjMA Qvn+YH~ɫ<Ŵb}9 ̉iM EYze& r{gQn _b@LZL̍\ KҜ$F;Y$m5[% ^^Kfu8}S@0yGnf-,aAs:*q/p-W2&;JN2O͈88BΓPzk:V(lڴ~'9~O'*Y6E [ufw. N-@WC%żN̤*-!cOgYZ157765018084f0f785b3ce53ce4b1e41d591e82c1dae994d72a426784accfc4f3275f57abe406926 825dae3757483ec2a6fb4864069860afce4ab143