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  m m|< ]HOL-SPARK:threads=2elapsed=2.532cpu=4.256gc=0.136factor=1.687zXZִF! J]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊ&"~"yeMGdU%jdS(g8фeMq}CfO껅]]PPTkħ)Hdž|SKVßEJP9W=SF&*14<*ňqzW3 j]hY9*ƛ^BA?QB >rr|u{ ;p)&Bs> IjJEՌ'`y7D fvi31$s*.gYZ7zXZִF! ]ŗXi%s+)]ɒpE;&֚^Uxw>30]Gd*TpOaU5rjpg$RR3 `%d˿xo2jO nqvvP, _LsFImhB/w}hѪU\:H^Ȥð~pdzMh./Yb8y_t$/7ЎH}NvHm3DVW0 +1$uw1|ms=323((K;#l)O>RHhe>rqw e2 I8QSGI IEg.[,Xon9%wx@h6`˰C⮛cuN&KQ5n= 4<% VgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a29711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 7f9ea2cd7bb7be132b52334531098cdd85d231a5726f0336c3692cde7be2713a416a7adddcf0c1b4   HOL-SPARK