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  ` `||T ]% Lehmer:threads=2elapsed=1.187cpu=2.172gc=0.000factor=1.837zXZִF! u]ŗXf1-/6vRZ=\\ ańǜZL%$wIπ4sG MI쏝ҺXRcGa٩a;?J \ڟ0:Қ O"MeY/k wjϱgYZ7zXZִF! A;]ŗXiɟIPDOB`7"CJ╿^Ԗ%^elWB^M}YZ7zXZִF!  ]ŗXi%9(S$_)qh{䏭Xvl^umhY먻[nK < <9lR.YWTx0e.<|zK>-w~+lwt֎`K0w2UR.rTO|t\=_e *e(s\60˛IAR3  2;u܁dK}cնbY~KzWbM>uBdPlB݀CImlƧ9thκrOi[`VβM`ʇ#T!gWv0*hV^^`)1C@έet6^qgŴGF_c)(;~([@tqm<۫E" U+gѠ|Z|p7\Gb5RE&J9 0nlJ! j| Yt4 gYZ4436687a1f63719bcfd758631754b61a66c15e502722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af fc0f072ef1b0fd224ef751db1a20b5fc57d028b1 5609ce84de4b78ab7c51e3fe61a4cd64480165be   Lehmer