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 <4l ]/]ZF-Induct:threads=6elapsed=3.242cpu=10.860gc=0.360factor=3.357zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N{1;oKC_նh+_TLyӦޏD4u!yl `4^ 9d\} =Յ7؉&aؠY`Gt!rPu&JC+܅τ M%|C7 %ωu7.|gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|?vrد.Sϐ+SI!~̄{}~ =їp]>ve w=B.>>s˨r_ݢ"#zʀk*q[+z F~8q am$:gYZ7zXZִF! 0]ŗXi%9#iV㒾!Ȧ@`bbݾk"ʰڬg[*%6F4G-siZЁ Wk _y*P*.>1mlHgC!yϱw{2sb )I⼔?ۖ\ଜu4 Q(N')*N nh("}Ҝ Ȭ t pҜm9NX_+~2 +~xb..J|aKD$ĤZW,G=}q4X?Q̝Ш9XQaoR>C%iT9u 4^e}}S풣fIڙ=GmųN 4zb S_$K^(GL|9P  "gŘr]*V혤mˋT%vh+gYZ037e7e8150f3db6564323feea2cce43dfb704f0c1dae994d72a426784accfc4f3275f57abe406926 12f3d1cee3628adf46c4dc9235e8a7c09e422b9b6634e1665235da7b9a2de3606a2b8fa68df4c258   ZF-Induct