SQLite format 3@ .0:  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 ..O DDD ] HOLCF-IMP:threads=4elapsed=5.284cpu=11.596gc=0.200factor=2.197zXZִF! V\]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSu]=[l.t`0VBHFRm`--WЃ u:#^ 0#'1Sn[rd*Il"V,@R>k_keK.0g~ 6Eݸ)0=+ogYZ7zXZִF! ]ŗXiɟ1,plnQBmjsycR{O;gLH;H(y i?].,?n-hC.Ÿ1F4*LrL0c”iܣ|+|uu;ڈ/1 "XS 8grgYZ7zXZִF! .]ŗXi%B۾2b*]i4;}k C<v3hLW&o+H]՗d;pwi 6CKֳ@ٲ6*6ܡ+he4[5(:\%1}>L۹#Pę̌Cs"Jַ`C5r1Ch&LFwo`4}9_Tİ.A^[vk=X5qleqO& ^}x{Y)E"ԕ`JSxk/C_[\UMtOh TiBTE r57"^ YW3t*IoArV~5g=}HKp;/[A|grͅj]oMy~U)DHeEw<xM*\fV9Q +5vYRE@ sGI~PÐ~ f/Dݤĕ+&V4,j34a ͒z\huT]OQ_INlSyQ~Tl1l=NlVV<å;@gS/!rXFط!^c#дmdDXC< Pw_>Ey)qteﰃzʬ,eͶ$ @ta +rDTV _c;R'ϠwA}x&B/.9Q~e_ ͧд}VϐE"t]8L9]浱gYZe62cf1263a147bb690b5c8816dc288bf1cbb57c376b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 63cec139519c70fe290e4085ae41a9e937cfa8e2   HOLCF-IMP