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  7tD< ]/ FOLP-ex:threads=2elapsed=3.550cpu=6.264gc=0.116factor=1.767zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^ W&,RYO2ۊ dWD'tNMf ?Dž7,~D@bZH%eo'ʰ} 9I֊"5ͅz͕$;I1RCv`y`@rTpP 9gYZ7zXZִF! ]ŗXi%9+i˷[EZ:0=&VɳI|&mJ2[`φhO/eZ>lv:Я7lJq+Q..4Xӌ<ݦnC!:Ugb4CZ'_-3x(0bv%X:O0as0R rNٵ8 `{ZaTk=99=u% ȩvc+t-#޾Z5J L؆Uh^USWY da4cl3ݓz[.yzemx=֨5Dv# Wq+T._O0L{#]Kʳ/`\#;-ҴQI'&ep&~:@PdrRRZP&Nwe^o0LGM N~LO'9ݯ6͸Ph&