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 g T, ]/]HOLCF:threads=6elapsed=12.782cpu=40.480gc=2.588factor=3.177zXZִF! d]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Sx?=9!=d R3f~Vd0FYF|Β˃IoOm5<㻾%/k;`N\j1 5dC+&edpTp2>;:pu .KeT@Ih8dtnFEE.'aXo'I@dA{ڜStӇɇ9S2]kHnb[w@"TK-xU13N9N&jqNΞ^HѸ NȄb3C(ʵPФvssiZv} ,W6_E7lRjڊ/,wcxi.ꆘk&y›}MM%Ff4*q-?YR z$U-A^ۙ6_;,đ_hL0 6-Je41>eG1p 4z8髼Hjm|'Z4㾣!/Woԩ3uj1\Uߊq=BG ߰v::^e!`W}ᚰ>l)@!5|u-xN3D'}YnZZ6|@GcGOE/d% +֢_Xh ̳2Tn3d̃bPPTGK#To[4>ocA^ajm<|CB ?s *T+siÊ8%CżI ħX$oa9=2Oy&ꂌ9XZKiFѵN|U<gT`0H:gUsKRAxsoDl0%tßJ*P M,mu i|gYZ2ec58d9cf52c6f6c65f5cd4dfe0b41b2591fc6eeb71b2aa485767f91425b025d2acb6b14a80f48dd fe032c99cb4dd9300104ffa318b3d3be808bc47b3f5a5caad03597a15847ecce2fda88e307e822fe  HOLCF