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 ]/]ZF-Induct:threads=6elapsed=3.420cpu=11.596gc=0.392factor=3.397zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N꫺/{Ib~N`᫏cOHǖ;L6`!AAHiVUI8iƢ0m}&oP!5f"'`O]_UoT;CD^229R BձgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|Ɋ]`ȸ8r&u~e:u]Ͷ{{FPlȻ,1.~Ufjxs?G J^M g/ Xk9f@{yؕ,ڄ<`oߊ-zRK.XZ.=0 6g.=P9$1.72P  )\$嶥U ЗF&> C\ )~ b1ĄW6}]nzFRW!؀屇V :gYZ7zXZִF! H]ŗXi%90&q#NUs8M[~KcGj %3Ň:C%&u.a+>0)F!xh|L;aEf`|֣hH3~!?xy$D$4x^R@I#zC㫝x띢#UTT,\5($ۂRo.dnO 5G7So~. "]PiL+9,HU %hhp˗7L E聣-p˥ROxK`҄%C/EyҦLyqk+ ?LN/ffgYZ50de6b766ea87910fe24e167a2c31dc54ca8bc34a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7 4bc5908fffab726eec1c1e0b50439caa29a1a6e2f9f6700e7021aa5480f4f301e13a96574f7251e3   ZF-Induct