SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  | ]]]ZF:threads=6elapsed=9.920cpu=34.216gc=2.172factor=3.457zXZִF! v]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3yIזu X+>Q䞖Gd/%l#a#=rxmQɆ ߧ&ph hH VuGC7pu搗9?@7(3s 54sE8$uH7!2C< y&!0[S#ptV&ȜZ^οx3cR8pCFG ! .Vفf&VG{ђ4q.!*O! \ڼ6tyǁjWQ|3%-%-ศCrﻅw< RC^2gYZ7zXZִF! / F]ŗXi%6ņ*mҠxՄ=c^>Mԋi+}#\o <mǐUqR8m鈥ϋ@G7L*TI|\A@Lj& n@BC 8 Tvxn‚ٛL`oWfc8U~jr 6`R?;!SM!ЕSwK3ˁ9E817ġ@T}Ús:IBZג*,eڭAu^ŀ-DSaZzn"?-QpeACue~u2V *[TI}|jA \&NL^qq-rKB OLCZұ +~]~fj\<+ 5 6k0>E eRr3C.7lxѾ籪Ch>5^&h̐7,6\c[u8|hUXXUiV L^mmT{f`])^H:mAm.6QjK3<ϋ4c+7b^E(TM>7bqPI~bH:]I N*"*#I4ҍ1`Բ+&(߲rKʐOd;D9(]b΀9mOQ?ɍGЌ-{&x8?tRڂ^HѱgYZ90a49e44813577af51803311a41564158b77e98153f1d67548a50d94a90baccfd7c8ce511a3e1b4a8f56ad99153258798fcfaf97ecebd6c79dec4af6  ZF