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   d4< ]/]ZF-Induct:threads=6elapsed=3.681cpu=12.232gc=0.500factor=3.327zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N d9z||FLX]vWGɿƽ* L^T^M)(;ƈLOBN(y$ZE ŋQΧ|ٗp* p`54mR@Fsc-}qxw 5 δ+'{ BձgYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz"hPV{%ERE@!&=+XҌb=]0xS)Vr9]M>z h3P$ڵ%$nNa$vwzc8q7o9 >iSoSU09LJve7ښKCtxFhvp^~ِݤVtd$e) u_)Þ26@ ({IBd=zGaZE~gYZ7zXZִF! V]ŗXi%;0mɫ,( A+HrU@-d&ŧ8<SBfDGvo Mpq~bj^ҭD 7Ȓ-#>jߪN{y30:.;dmV@\ĘIuӇRyjeU^v&UEr k˜m(:}s&G@~z {Y}df~YfNMkFBONĐeY5`z,\"DkƠ[<9t{$ȃkF;vwEbO@]~XȣG 2?'j8'r"VDb8-"(bL]hH2"+C.6k1-[a_E ׏9ǃGrcM'^7sҔ܍6wCPŏΏhe8,/|JTGakLE_9M&2xJ8wڛfEړ r^ůK})3>>TdZZ]Fjz̽*%WìgYZedcf9bc09d9cf6cf214d1d8eb14511fc3c9be465ba9703b8d89941ffe014c15e6ddc671ed32d9999 f77b4d7bf364014c514acce3f64ddeb2b5b5ce50216df169598a3a3229ea12b3d7f0d42d93c8a72c   ZF-Induct