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  C C: T< ]/]ZF-Induct:threads=6elapsed=3.332cpu=11.168gc=0.412factor=3.357zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NpG]8D|6g}wⳂ$xBߞdĽ+ڣn KU#s`-m;LG1*qOgYZ7zXZִF! ]ŗXi%;ާQLndMj:vgIY@&Rnlo0 o4F?F;`A86N BON_Axy'.k_p)šl+ƳO^v?xm5qνq)\Mwz1'9~cTp7'a_B3 y VYns&!;Y Դ枝X46TyK[s1MU7GNcqyb$$(_IR}H1y 'V6!'v_Nqr'ɜ;/Y׳(6\!E FiWEFC^M*Ep0=lBE7J8FZ#1:?Kro1o}O>4BuCڴɾyE??5]<!:gYZab92c6a794cfcb411be0480443e320f6d7fe4106ed6caa966bb75077c120e012673453f69d500802 c91f62e0be9381cb3a4c91a0639d8553d1b886e04293d1a02b409742a0e93807ab1c754010246075   ZF-Induct