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   v d, ]/]ZF-Induct:threads=6elapsed=3.516cpu=11.692gc=0.452factor=3.337zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NՀ&y&(G},Hѯw0h{a̜TDGؤlwqK6e59sD.CV[#"(d/hp {ӗѸ<.˳#ek.(Үp*Ȏ7{n{' =\Y})&mZ6"V5M:F)|4bRuB(^NI#) 4wb c?6a/lzy:MkCM5gt,1IvgYZ7zXZִF! >]ŗXi%9,xfV bal(jv?Mi TSb%MwR4wW)2-xxAq즠z2fd@c@FlDbחTpw?W[@U,\8tW.F$20V6#ʐ{Ʋ$^^N6GյGA4"viH52pU7N隗eBFo:W.N(Ij7lm^ Qv}KD7KэCSGȘ$qX-'= =A(7IL;4Y R9G3n2n\eTDԘ<* {h!5|&Zƾi-ހ͠dbW)Y`k1%og!/Nz6K̆(j~ sM/