SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  q1 4 ]/ Example-Submission:threads=4elapsed=0.050cpu=0.084gc=0.000factor=1.687zXZִF! QE]ŗXiɟȕhD<֚{ m9'35Scʈ^\{,@+aR}YZ7zXZִF! ]ŗXi%I o;%@SU)~"]Kk4ʺ~B& ,> !3#$MoޒL7_5,|;-׍&yt56NaVNZ{s )ܪ>J`FL_0R;'6xlc D=q> rE;-_;qf3F' /&k^6ɶ+hr28qgٰF[X#⁃tmڀC7:|f)33R@Q3|» L/0vk.>^Cd^- ,C_}7#huC3XÅb;XrH`e"w:5<-{V( -k 6D>3c{DCkA#*[㧉> %o<2zsB* 3j4sZE[\*&{ I7igYZfd34c95f3f0dc21e26d205dcadbae9b675f9d4695a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 1 Example-Submission