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  4 4A5\$d ]/ HOL-Record_Benchmark:threads=6elapsed=122.446cpu=205.228gc=10.792factor=1.687zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2mub(G~$+>mROV{xgYZ7zXZִF! ^N]ŗXiɟ1_sB2 ( |Kln/h.:##M61Rl3uT*S˭j_cz@D}YZ7zXZִF! ;`i]ŗXi%KJaluMp.0-6,Od}j :1Y<MA3Pv0HˬKyT=SOF[տ!W"3>KwowO4@تI%QN! t*HFj l $|҂'+b#0[<ԇulIQD~p 5D4S!@?e]_j#f/Ɨ+5\Ӭ~l K| ?`~tշoEK&K9ߓMeo4 £.E#.5!eWB(Z]{ë#oGN u`tSקBtvl`I[LZqφ/!VS" P}v[-kD=#'pBխsrqj># 7D@)vf ?>{Lo;?YY !8kW:Fn#wGfW%9cL 5Z\@21ϗ0 osY'p; :Gp #n#rں?TJ1,I}YQ"i+UO=.EE pd$1 ?SkMt{ᨚ `|?d1Y~A2tMhNxΕ$6DHr{RЛY?XbúƝp^.*^Ԁ' b 5 HOL-Record_Benchmark*ݱAe>dIU!lVN[ !vMt` bɝ\W s\zGL͍KANIwAnmɆ U#";fߡ^a؎8o8i" ,K5vY *wb R+ }0r.k˿`gʏ] yl'`vK+XO{Y̡MiQi3e@! ~:l!M #Smv0fۯpn*QQp\s3c/n/Egf 9wK mgT}ְ_k+d_J=U~3ܩvJ{zo {_]$ כJ^? l>Z4>c7瀆:PIV#Wl,w̬d/Ou.jiY|'xof骅oQK5aAR0YagM|0^ϿGrծcS5Ů%@ {ؼ+H_m+玕G׎ȳeg8\r`(e:dAۻ*ݬ_/Y*v1}dWimؚ9-i̿׳us"b ԡX6eXne\5ǽ9:j?1:©Z5viDJܯ ${Wgya0?#b6_Bᾦ-c w>x+)6n!' kS>*T@62LZЇ=o?D2r(A.)mT v2O]_%I)9* "qezs/z\osOAt(kl⾈u؁ݯԼ(U;mt]`aI2rAPz}7S c^6I n#z%SM59m2 (56_i9j|Q%"q {텥ʔāÝv*\ƸU0ߝ^|I'sxK"Z9_&rb,A1r\>"DؕXǍqMɷOzDoI {)m6Zw66 ;l1B_)Qx gv00~XcƁSfj~!.JE(@"o 54J~P:1CidZ܃Ce'<Ş*CV4(a{k g솳G;qqr;tO:z:D_\ P> t/Q^]Q/_f*+=f>?6gu$N4Ѿ WU_hjTǛ5޽,kb~sKy>I: Hªp>_06<vJAK-__LExu"e~MnjVωKf[lG^V"UC#+[YeGcN-ܨ-%7]NY]z'aA+Q:!vĖ3qlo#YwE%*|82 scΠHN{z#^?N12aZw3S>.PGHgٗJ6E秧~Qm>֨fڏ,Em4Zzm-lϴмK"y˒h;nBd H< JS89zޒ[%SCDx9ͱonVlnp{&JOoI&:oNPKt 2Š]~|mfwlG:`p> *npbfF~Uj8Hyz0Xy>ߥ#Ji'd}?v=ȶH_"k'ZBRd {4Md2k>g6dS^qC+: s6u+*b tZ8HwV"X9B(c۝g% `gHt:sU&hSR 4Fׇ+tsޕ!mzmb OPGPkّ,Ѻ8ј›/LlrAO Igqo<۵մPCp 9*7ޫ##kFkֿx )ЌU sA~*)|vx)6YMNRRdׯ>N$ӊe1 6"*s.:va4!6DX'.h-i_ogGִk̩%w;CڕKY}( `dn. @eMM)eM!ƫ$jU> 3 R1vk<[ǃIEۅNh~tV,>*A*xF5?ćpkF7Q4x莦͘0DrQ-7BӬT7E+d=I Yz"