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 5@5$< ]/ HOL-Record_Benchmark:threads=6elapsed=99.102cpu=171.176gc=10.396factor=1.737zXZִF! Qy]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2괳T7(} Ҕ)$_G ]F.V<}iGB'Ԟv}g+> R5&Aa䡷A ;jw[<58vU4GixqC5T*;ESɛ# (Am Քn*اwx$m߈@y "G;X 7_GZ4 `Jxccr7]x&+4P^>[H WŀΑWuirluAk'")M <,\q"llw[e Sk)Ancwj~F.?v[g;GCx+;ѻsxVi|/pfYFQWeXK<:p MSҍvr{D̜zY>x ̴lH:XSm?6' ~ {mcN;-c}\+3!sZvR)>{vMl1O`PzM]u7]CۙՔ]K`a/1?S7 ">LW[!MX++cQEyCѓ|p/N:=Y :Tp Ԓ ysw:z_kFk.kZ]ψ)UN;De1wadv$LB&~2,;wo/EbZA[p&<\>ywNOR㝒ۂKf2b6nooK1tZF&j&QbyVoo]-YUr<L 2{+fu%d~;8g4X^a625)P r c\Qd QZKKVd#^դ5{ԥSӍDb(2$ޕ%}؋*|XWw:9۔YEz9N2s )Io+ +k'}MB ЍJQȇ3헗{Q֤6cwRےN Ny -Ec[LBrJ^j[cl_9jo Uy|k6w>7ps bxG 3ڱH-7 e.csr^hS/C͹†ζzR\c ۗ@3Y* G5Tpf|6x2eiиpg~>8TzG:wG 1-j} ɏC#\! ylbtU9S(#Of_b<~oDuGD|z-8<onməT+Ȧf&p8^ǃ2~Pdٙדƛl ^ Ko<#P:?N@I5vpo=hZEx`3#Eى6ߩpNJHФEW w b$BZ1JfR`m=^$ &t0k M!6)X~`@2n}}`$\33VtЮd {qެJ6L HLtDa6(h?|Un\tVi eg Oe}_yp̼t3"*.K&rU@6:m26HrCSo?A)69|xl[4+@NpSC`lut fNNM F6rtBiUĎJciqX&Ym%ưzd&dH5bhn`Dhx$TC]zm+xc1Wh`8X|!BV!Fғ_]tW?e:,3suz?R۲@M<ѳII"cG0-e<0yȱBk`nYTYk hXFG~@zt[4U5Am%g›ybMua z7gM  S}娙Oʛ'k<P[vv:U0$>*[i `3Ʋxk ɜ,X/}!PW{8 Ym@ A{w_˷bЄxa(m@IiL(5؅^, !qyfǃ]ma`{WQ%t*ʉqeE!貼12BʇY|W'.yP=:Vcg9~{{*U˝u0d<=˛mHeq56U3GB t\DKˡpog7> 4r qZ~)M*_C/Q+q 6ux2ljcz1 C?ɴ(J~R=67 t ݧgYZb49cb61fca338d4d9c5788bf3ec7317b06710204434d2185c8796b1b91c101ab4deb405df77e768f e64afe6e32cef310ef78d64a8a9e9787a782d794