SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  } } TT ]/]ZF-Induct:threads=6elapsed=3.001cpu=10.556gc=0.404factor=3.527zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nj(%@|z܋ b,s>zX@o8FVbnJJ!3~K\0Í8s~6P]Pw sDqxZzGIuR^iɦtK.s qabgYZ7zXZִF! u!]ŗXi%6ņ*y e] N/awmT !渵߅YiRڕ!SjcE˕ݒ6FtHCN"$FOv_(@}uџ`Du?g"y91+ax/`x! u +>zBK~EAC|^Ph-=DNO7_ OYpimلZ oB2 s,^' DWt'!aRBQ&]1I"FP?Ef X_3z!EK·BQ4gdWUx؄Wnf6e鞩8M..Gi -} gYZea54ee5b68be1a41963ccb5e6c5b134e1b063f0f53f1d67548a50d94a90baccfd7c8ce511a3e1b4a 8f56ad99153258798fcfaf97ecebd6c79dec4af659a76b2764c0c664010fd0b1cd3b969df7b18202   ZF-Induct