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 22K d m/ MiniML:threads=2elapsed=13.380cpu=18.156gc=0.540factor=1.367zXZִF! F]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{We{y~`4JDcYVw&)>1$UgGڑ`!:[V}{MU*D O;;!N?ҐHc#N0Y< .+6 (P2_}.S]=&C|'YM5,Γ_=6GvcickUjCSқa`O%5NjG 5Q]br27Jp9GQYgYZ7zXZִF! F0]ŗXi%6xqdw}oêm^ p⠳/1/q&d:^5d#@e8o ꟃRQzY Kb "ɂ:W`^ 9ΫEpzFXwV9hRevqW/ -ڙN($6*@b}"!'S}~ۨRe2YŇ zr~uriPjnC.>`Bvꥻj.p_Q|Uz*F-ځFS1W