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  a a$ ]/ Main:threads=2elapsed=1.383cpu=1.480gc=0.000factor=1.077zXZִF! RO]ŗXf1-߉k3TԤM2G%fPVSv`H1Ug VoIy[r~+rkS T}YZ7zXZִF! A>]ŗXiɟD|%)yw&)5$u6 )X9Z '|'ehZBI }YZ7zXZִF! !]ŗXi%;>*xqDžlJBuT,o"-Y8+_4B`b8±>.G0Hvݱ't7MaLvP*T6Dʲ TZkĦ [nVc=,{wmnթsQO i Պe@.Y=K: "Edann 5="l_bҡ:qgpQ S7;wSgialOx @fsڹkgYZ5a1417b2913806f50bfd293c3ca6f565304d5f68ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d  Main