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  3 3J D$\ ]/]ZF-Induct:threads=6elapsed=2.815cpu=10.400gc=0.404factor=3.697zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NpG]8D|6g}wⳂ$wpҭHJT\'G}袞O; c*X`)ֵlGsea-{pt1=o(40k5iqɜڙSb}Q^ҫϲ&&Ób ,gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەzvrتI y $fwՖѱ(Aۖ L7!n< D?yap~-L[Et u! @.mÇ 7} HDMυx669*v?)&]j0P96*(Q}1EqMO^F^5LU)AUvoNq=̀BԞWD~l`ԡnku_, ׏jgYZ7zXZִF! }&]ŗXi%92vНT{kR^o)ŸIɊ9iKf xk>+)l\~Wd,f::;!R`gT-;՞)gv 'DsKG̅x HaǬ_th;Q wߝĈӿ^~:K}r8MUr8\i]G܄mZq>3X@ ?YUMX#ƋW5O_JL'S/ ,Ge CXeϣ#F6 c C雎HϽJ#ۣՉ$%ru [ލde>8*'!rhNB!u6:M`c*gNY1Ϲ1@~"j]ZЍRcsI"\@-b$ O43%+`TRe h;=*;aG6c70 hBƆH