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 ? <, ]/ MiniML:threads=4elapsed=9.612cpu=19.912gc=0.568factor=2.077zXZִF! ]ŗXf[&M_4.F$ܙ:(a āšB~e ؆n])e2*<+#ذi[lK@9aҒ<]u" 0aV8Um FWeVX?D͂܇k16nJ_먒ɶIgYZ7zXZִF! J]ŗXi%B N.Su A5進$Cn._+sla7N?Q㠖u ȕ('@sU'蕮f3/"fG3H`5Ho,aL0'¡㊩~{؅ z6x䗲*~^oċ/ڈ<!PܻeD.PbWuVȐ5X~F@Aܬꩵ!#zMkjr.4@}|tʤ;"d1mk 9МDπ 9ެ8h'QZ #1 L5$1|\@8t]d#.lұJ|̠ g?ڊf1diҢ1޵OV֖m[n/4i[ZͥwO`y1,_PB`  ''+_1l{9 WP+n \7s mLC r3U X7AdZ`e}'bzXGK)y[mkC=.͉$pL疄jTiX8m|fCXÒvhVḒiVbNiZpf*6pUN˟} fftl6+l'3aAӾ.(n1Eߕ8?oJj 1-L}T^\NX~6jL%6!i((gZf0~in6F1+\%l[pf"7J>$a'8kʺ>=cM.$W> hfئH m\nlOy?Ǩ8C9%v@nKJ(qqɠ9>*Gn2!OV* [D!ѵUk)lTsS3MցՆ5@cp uɥgYZed37347d67af34e52990d4ee71888160cff9653dc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a   MiniML