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 i l| ]/]HOL-Word:threads=6elapsed=8.938cpu=39.992gc=1.548factor=4.477zXZִF! Ep]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y̜)]yf7z< "KSRuXryJjb 08-7aqfu6A81ֶZ Y\[a#xxJAt݋3^FZ1րF+b13͛Ee+}kZx@gi2x^4UW,tbTۚsH/(+5#m!@HUIYJRϙEkLekSEӲ "#;]4fBxّ0G-3 3@`ޯljop^_nx 8}>/ݕ$ֈR vRb 4,T~H:˧%]QYa.@‚-S vMD 3<|y7yBf%D|mG&`KʳKLdxq~A >#<& RԻg죈:O<\FagI_TSA14A+ ';{Sm@Z x$?D9,Rq9'hsNp`W(ٗ02[ <_2}O@tdR.^^l_r]-C&/ Q;՗bUzggYZ112b8db9500110b9e988f0f9c90d9f362620b1cc10764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf22a34f5b222afc6a5ae4cdb818a2818a87887d96   HOL-Word