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 ]- |tD ]% Orbit_Stabiliser:threads=2elapsed=10.787cpu=14.800gc=0.584factor=1.377zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HFpVr#O4z\Yj9Jٍ,7G;e#dQJi;J%-/ пR.H&L2| ۖtAAxg)P7ı*A 5r^t‡7u[oAcL/E{je_|j\~â "cűgYZ7zXZִF! t]ŗXiɟC,|XJQWpnz|9"癫<`DtJ8$jXP_{8˧9@Gγw U;nӑ{e%%E8xKo"/Ofk/TQM޺Z{xU;ƿ]pM/G"眍N;5m{ELAMKCE-r .bD%{sJ_u7GlO/I(W51Gs-f+1讝(Q <'DXKCH.cz]ht܇ԹbkM])d62e(VwuSMPny>[]Es6Kv2lEf.3QGp|S'%*#K