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  / /N 44d ]/]ZF-Induct:threads=6elapsed=2.810cpu=10.288gc=0.376factor=3.667zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N ׌$#s,Q2Q4H5Ѓ 2T]?ņ11BފHC*Դuʏ-zjt5I^;8UCq } .'pQ@|bۂηalO88>s;a aoEgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzً}nȐ yXaTsk`6]G%ӂaz), eӁ+9kLoQ?*OsC\~b ʜys鍔KeUL?ۭuN>4a23-_Go)\{#Zwls=_-i?gSErӒf_o@Eq@.DǸRqIi`cHb&&='ji{ᭆt;9gYZ7zXZִF! *]ŗXi%9*a1֛ ` d z oIwJ/w6r7k v;0 OF @6u~ i!~M`g}OlJ,OثS /{+\dk0<+śtg ::F!e$r!jlgYZ4d929fdf3383dd348397be123a6f3692300f1b2a5edcd5c29947c92ff6acaada6d85dff99035d300 42b61fb985279b86e696b10406dbb577eefb61faca9b574650e2c42a00b51daa39c0f317d8498fa7   ZF-Induct