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 vtL4 ]/ ZF-IMP:threads=4elapsed=1.015cpu=1.216gc=0.000factor=1.207zXZִF! %1]ŗXiɟDYK<;>Fb4d&c^tm':J#k2ļO(M ǰ=4Sz٧R}i#KmWxOsU ~[mR9D JUA(5ߠlh^AXl *ݹx^ы' j2\_o9˚bݹƏ]Ni12.\z)i"FO5N|3ĭl9+Ab9= =gDisG|m8 iSfDW0'qEi0vk6% L=Nf;oP6>>>sُ@5/7dj-sT<"gcMlv|Ԑ*yuUZ@8ž{k&Yc7uQ輤W1jU~}"!!ZQS>j4\ޙ~aNϖτP\+Еب ?rٖ5׊ӿC )#VNt)>Qq؛´es3υ felL!6RqVˮHqƟ/X!yC`#UV{nAtڀӲ0QElɧB3P1w:o^ wX̀wZL Piۓ9OQ6 oFh2) cK &6la՝bf͹ 'Iq6kϬ,j͘$0 W8=wR/%DvĞ}(7pAf - `-73)dz9‷j{9>;#&ʣ*!Pٓbx4GҘ=\u'Y]d>r܍B;y K,3 Ki=ub(uqV|LvŃwN @V[+J s(_R_U''oEBҊNF+}dmKAX_\?mFQ)mȦgDZ~5Ĭl+[=ec1Ϥt(YIh߫sEpS+G;H8~ ȥH@z9hLI{);G˱J̈jBWa i;C@,¨0:)އH܊6P8ÊbV|ݢgk!""s/0[^/,BTg uݕ!leznDU,#F WрTLy܄nh?kD.iIC$J{L6(珋r)%8{0A?gYZfd49a9b371a82e4a085e996a8fa141b5b241f364d3f90704504dab3f9fc94e3d143d1180eb260c4a 9bd9db223d193807b1f68bb73f5537438d614e3c   ZF-IMP