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  v v-Dl %/ Constructor_Funs:threads=2elapsed=8.188cpu=5.660gc=0.264factor=0.697zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}. ׇDe~ Y{;Tw^/v^}~ɿџeck5̀D\^7BElǚ#BCӅ4HO%E&{5t3&b>ێbD{Ԋ%ռ74jH x+4Zٻ_c w;%mPC,}F Les4]XK|m FG!r$̏մu?[[)<ͪSb4m̢2-pJ|_d]"=t# G>O6"LzR¾bN#Y#|M7/[ZrEޜ6 !70JJB;7౨bb !>[ݐW]"tgYZ39f4551db3e655a3b55d113812c2a52addd91c6f 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be 697c5c0e2344d52be79955bfac21eb851db0dd18 a050513c4e99915f1143006e1c9e5fbab0cc5278 ac03b26f96031f21d43bd211fddd0468cad7c192572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb - Constructor_Funs