SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 Z% ,l ]/ FOL_Harrison:threads=4elapsed=13.421cpu=27.076gc=0.584factor=2.027zXZִF! ]ŗXf[&$'%TV1TZyrEbYd((qd(߭MI DfLF_NJf`%&mB }a)/NT4 ?2jjw`ѪBSs78H&.0<֖h'Zq G7y}u1c!#d{LmM6}v4/苝2-:&vo&@n'ҙbEp/j3cycU楏l Q*jZ3e`pH `VY7S? I`}(ڹL-B\sb ތcYN DM@i8Fؕ-p~ ,P"{yt,ٜgYZ7zXZִF! NE]ŗXiɟRxCpp'*5&Hõ}r[ִ`ΛsV!B4aO̳}YZ7zXZִF! T]ŗXi%B4!Wq 4P(ev>…/FhM/J5|(|3FHl('7ʃ{')L˓$R)akj'; 5Ÿέs(iF 8w1Dʩ2kn|l;^6AuQeਖN@C2!1X؄ uH#Yᤵ"85!CByZM{!8.k3I۽`,Vv4ۻ5*>bDzT$ghX;-9-d=j nI8ĀF+UsUXԇ\X6W},*oJOr%{[vQ%3Dww[ 䧿ځ\qWK~€ne:9tB#zǜ.. @HlNŝ