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 jj $ ] Tycon:threads=4elapsed=6.890cpu=20.200gc=0.832factor=2.937zXZִF! X ]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱڃ{JZX˙PueAcf7%?-XI2Eue}# TcLkaŧJ%d+}? _8*tV/ϵTC&STW#۩yٕ*M`%/Kgِy3asuԗ \?þS_DY+ 'S%k: jY4δO5j2ޓxU@IG;䢰In7hm8m;ǡm m d %Dz8StZ®xB cLtLiF.Z7h>)\1ԁoT? !*1dr6Q|r QݕaStDǫ*}Y|ῗp98Q{Z2* HO=[NfGB-E Tzm$tBg9)'uDzJXhmo8 ԣgɺNLk JU }C@^мaJ)UiC4(&wQ{)\~7/̋kIkQTFH7Jhg6}RUf&)ҕsp0t3V59@cVbQZt:y,4ie~+Y4Dll+_pʋ5Ɔ\Sp N@K'uOJ06شaN.GԦʆuSYXG@3/@"mla2 yR- #~z$hxϡ)oD/ @@ѭ{I*}VҼȉywAgTR.I-#s {έRu6ˁshH@UxxkssowZr)g@MԀSXUiŃ@s} E2Nh:Fj|6paȕE멓iڲB8`FAR uGO%4ZtZ$#98ND TJPS< zogYZb60ec74f945b03dd02cbc7bba4bc87afbaafc4af78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b21247  Tycon