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   d4 ]% Cartan_FP:threads=2elapsed=2.438cpu=3.772gc=0.092factor=1.557zXZִF! a]ŗXf1-/6vRZy_Î:|7^qˋkÞ&.Xʃͫ073$s3;\N//;H ‘h4ښ ;Q`>puNod, ]9$:=2 gYZ7zXZִF! D>]ŗXiɟy<mYSPl[y\1ESk =y\:l`?~?tZEdf}YZ7zXZִF! ]ŗXi%6 xSjCOn2RO`| QFQ;kqI\Vǂ`v ˹o҅R_O5 ٙ"":򷳛Z! $s70YvkW>Z =}Qm G~dv"zSݗκXsx p)SǪrBXxwt߽HKՌe1 % JAFCt{ yȴk;b]+o>Jh/hFcPx׊bPn4ϕщH~ޕ2їowN+`LR&3uʚ=6=Ъ?Yt_e :{9> 5+8X+BM}=xcx21홫 6E{K7nlwod&M>yjNOQ(#z'k"bͦuP x*YT}; >`;N@}li~ 1*)韱gYZ2fd41561985557cd8b0d121514139d136c4e21b1e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810   Cartan_FP