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 'S |T / Noninterference_Inductive_Unwinding:threads=2elapsed=11.395cpu=19.756gc=1.136factor=1.737zXZִF! ?]ŗXf1-/6vR[y(&j-:6V'Ry68 \?T.%p eq.t[%+ȳOfJ+ҥ{Gngm [/=mC9jsX~i_F5i lhaQQxa3sW}%Z4)'Zq=zf:~6RzeJ^ȧe7nQH?NefI3,]#3];c+uEVPP!JJ'FOJ-2+% Էp >ZzD4ϟeܷ7r'{ #HUaRZluuipu,^a!ܠ9N`Ө~6[}j%7T2 @h0 ^j3O /Ut<[zx/Mz֕;4*!xQh1zœ"CId_m^.ZwjBKsKRi8:+WXSxm0rB%Bu|BXY%+4;a5*onW%O2B"