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  ^ l ]S IOA-ABP:threads=2elapsed=5.768cpu=10.612gc=0.320factor=1.847zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09&u9#N sgdT*j?ogŖ:,[`%fbA"$*/M;znKByG"7 2iV09^U*p 3ڎGy7%tc !sڸ Ϝpnw3I whLVŴ]Q|PC-`>Oh ]hv bÓgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgZYUgp!1+S07](TO:!`@u9o c9-2kIwtL.V!DѲ:k x3߰k_dU; PRBD@Cj5rq & HM TGNG.gw=0{J6qG)vSGY!5`zmјEÿճ$EWaygYZ7zXZִF! ]ŗXi%;>+HyGgiu"-WS<5WW>:&Aca+0"]xͯd>ۚ _{9\E816IPvn̠5T@ZkGڕGFbzn\'$EeGg6A] Kc 㷱;/>#U^gs+u:|CP=45/c}^?I6vFd_U'u-E[b.7z~"vB'nuJ3Y*fZ6sþ5"jt$:տTv˓sɜ2R%UL+#.|dxx<jqeöIDֱ"͉JHFN BN.5F}k# 5[ui.y"0CWSdR i&+bVtV(UL`AE WЪmAv%TW|ļ;<-.Bf/dTf֯CBH$ծ6KҍR50^V_7C6egYZ14141e84b8fd568f85a8618ac38f7d09e36f036cec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d 81075ddab24800cefd200210e8ba9b3282702a0a 8fcd98e8ea1c140f8ba0284172ba38016b5bb97a   IOA-ABP