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  K K2 l ] Skew_Heap:threads=2elapsed=1.428cpu=1.688gc=0.000factor=1.187zXZִF! p}]ŗXf1-/6vR[] O.&o ;! D'9?eN O/;2t̆b A Í>t'.Gο2 ŷͻވlJgYZ7zXZִF! n]ŗXiɟ1]" M${np^PS|! '}C}:+wTa5M{/Q琚$HVV~t`rn64+݇ aQgYZ7zXZִF! ]ŗXi%9*]綩uQ;̮2NK}umd:"%0Mc3 uEtbz{sϸr($(e\j9mq{sq+nsSQ[J(`2V$9,_yz^?D, $+-/KIߏ" ]ޭ퉍KA8&/ r~#0nhU\kU!XԪ$'Z"1vkiouz;`Fiױ}39!TW!i_W|ҎL+8ۨ*7Ϋڔn^C,[A"Q?3-xhcw{JNq>f$Qa-pNGݛç)ꈪmrv