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  + +R 4qA<ͣ.(nfl_j ^(h]\}b,Bp-qxF+ %qd7ҏ~axD.DZ4N9S.`ڊ/ 0‡"Y|àڒL;ý]:P}t ]V/_.mL&ـJXNdth>:S9-b~<ɢI6)~|G2FxvBPY!B)}e?ek\Aruv^mUC[gWZK[YUFeM?j뾰o-cG QI_0+v "Q=pMU513xW/ֆvDW]Ϲ,H" RO' QdE iǤR ~?Ewz>@+z~\j[$xᄊi|Tp/79p6ӽ0 ɚgYZ875a306439f5eda00875b114089b49f215cad876bdf52547a2d1ec5238d42ba24f34b6bd872981ed de68d04a07f107bc109b402e2840e7a72eb7cf503dcac7ff51be5680a5421d4b3f51871609f139e1   ZF-Induct