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  r r  d ]S HOLCF-ex:threads=4elapsed=3.004cpu=10.360gc=0.260factor=3.457zXZִF! S]ŗXf1-qNePwb]m;w툓f`9'mv# ]}ebv":=6S+_?s^1@QO R,;+`*O8^ȶU Hȱ4*>Q0? E+25 "3&0NX r=̗}W4JMP 1zBǩX=L9Kz2Q^1P"ܱgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4P\0-JY1w>eSHQo"DA#! GN!Vf i}+G8ͣ5v1 21WNls7n +7aѓstU6\+X 0-MNIb^ q[!;it^QLuQHF4.H rtY[哆2^ RaQ7 +!gYZ8352c84a9df3023254c3bb4ca65c3c3aa306a40d76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 63cec139519c70fe290e4085ae41a9e937cfa8e2 13f02763357a2395d2c44be5524428d86fb55163   HOLCF-ex