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  O O. \9J=%^ʗ-c48zzcJ@<ӈ9?LU-C O4'wKN-35^0ʫ2&+R |}K;g$i g$þw= r1:)\VF. QP@3o",(gYZ7zXZִF! ]ŗXi%9#,9>:G(b W^ђ ryW!vVg4ze5%0=9lpWDwmu<ҊdvG: a+X;RC ӌ>!o\]ʙ7LCE^$^uYg);{SݛC*"*  ZgZ״2:}Hsm ~l(J4doVlXdU/Z/[0Vϸ%6JЅ"7ErN{ʳhM RV V@ڗv1hxT-M߮ Z(R+k8mk.˒Ql>AkEGg>CtN(oCQ U @Yr2wf&K,֎Yl;7h!ic/HǣxT 0ަaivtARQK[>!VmK27N\X_Ԛ' dgYZc3c9b6eb0a538462b7d28125875edf124290047f357008b0b2682019b352f15558029e5fdc78e3cf f375aceef3da2a381225d6f96c38ed959b4800bfad3c251cb0c0e88fa879416e46022b1b9067ed47   ZF-Induct