SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ; ; B3L, w Presburger-Automata:threads=2elapsed=33.030cpu=54.208gc=1.952factor=1.647zXZ ִF ! "] ŗXf1-/6vR[3nQ@f0o2췳_C?XMXFcL6 `*>+bLЃBf+ߟ@v ';ѭtӎ{|C qKXzO_0x{._@mB1c^u1s E tvRtu5yzppOY+jUu.s[]Ijzҙx^fGb pt41Ed'u>({ڸ8%A=SC#,\QbyV (tU 3O>P]릗4L@'ވgq4&{*nV(Uʗf5rBvՖJmd&,_Z}Eʀ9kZKAZwFcIǔ:ہkdg4ϱDڱP6iC~ SX&łg>IJ:]> #Y7u.]EC-Ν8r,0ﶞM;w/^-Ii, _=$&T-dbvPE.a5S?vRb v`+HJU3)ܝEIczΚoZ^cqZi'|R@ag:8+kL,) F1*ȎBhD\Yb߯Yqa