SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
7d ]/
HOL-Proofs-Extraction:threads=6elapsed=84.291cpu=176.960gc=8.440factor=2.107zXZ ִF ! (] ŗXf1-q恈͐7ӺVd>`;Gؽ8nt*q*
.#lwgh,jn%bӊDUlA`*| 1;v@/\Thg 75I_Lt(y$s`[i
LzV5N+"Rkfh[$.:0y^2";fo\~y<%ymA-݁]6r- ![\˿ZL!+,a7GJ=f cM,k/!3ZAgS3v@W،}*ZK]7$7M6ԓviq k~j`3BlsEux@jSO)5Փgܴe,)<7E~&>t6(Nؖ>(h u'$_B"΅ZE 5.On>JJ\ǝDᕲ>*ֵ㛇)*`|A:VLmE8+Dt niPyu7$[Qz70=k_H_ خ̡R3t|5da=;|E9nQ#fTw69ljwGIB<cy-Kˀe-hx.{P|Y8;ᘌUod9\@?n=>
JͤkO /I@EqVP[