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 O1 lD\ ]/ Concurrent_Ref_Alg:threads=2elapsed=9.841cpu=17.044gc=0.352factor=1.737zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DqvG-diSC0lgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu $^Jd+R/ :!Nzx+jR}"zb(Ҙt*ku: BM!+9'T`< 9u}6IE.= 0T?&Acf #ӟL-)/fךG.QgYZ7zXZִF! ?K]ŗXi%ή++@ů JLq_M'(⤀{E0r;%k8B>GT>_.L@O" JƵfo}KCp]rH)ϼuHM^)8"ʐiQsjD䰢WyPFfgzo`I2Dv^ȁڷ@uLiѵI 1K8v>m;U.W .vu7 UZt$j|?χW>- Sûm^Y4ڛ#i {x冀5 o 6yY{)zƌ;Qv4[_/[\5 %7Dcyk J[5NAXrL]QWAfxVEX ]5x3hyaWӶq7 A'l3b臸JxQOAG8"EhM>̽$/EPM馕Ҹ #HmN +v׷NK_uQi)@!Xzȣݭ|!y,eb"Lc߼ 4!ف ;ǡ'o+N4!@s6q.(COh\4a8/):B- +uaM *&;:ՍZ`曉 [&^k±gYZbcf7582816b0efeccad8c60e96b107dc71b58d5600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 Concurrent_Ref_Alg