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  v+<|4 ]% Secondary_Sylow:threads=2elapsed=5.783cpu=9.220gc=0.328factor=1.597zXZִF! ~]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃i_@ڊz:AH_|HBb!õt]Ϫ Ls:\ XnڒԕB6wiڒH(&?xQ9}5#"5!ܾgYZ7zXZִF! w]ŗXiɟy|1J(*BhJp4N=f/vj69/o 6?P }ڕ]tDFh}yjNXNOrX>'*S/"ձgYZ7zXZִF! *]ŗXi%90ù%fd>tQi sW jO/''gt,#x/HO>:$vĵ'x0B*HT<|3'g)L4;F[2φAvNB>1O\vfE٘QR}]9Fd@T5|>uQwʐ"~o]{l؇ Ik2{%`/3qX703Esl>NgU_#R669U$oFKnO-?ܟW&̣41!Ƌ%0|,qcOVENRp}etIkOH6v6ct_31DډyZkz/zTnt ÒɍD}:wR<&$F>ipFwFZ˰hy^{3 _Hr