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  V V'  ]S HOLCF-ex:threads=4elapsed=3.296cpu=11.428gc=0.324factor=3.477zXZִF! ]ŗXf1-qNePwb]m;w툓f`9'mpGEY@uhd߮q S7>XOaŊ*q;0 ϖ;mn渒誊qᐨE(Q-G3má]Hz/H`PB'Ml ~?!ye-#(_]hypgqeX# 2H14C5e-'wNgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4s)Wa{" \3O@ő)ctTA-JOOZòRk/r`az8أʚɬM|E.!$`;ح- %]v{|@x7>AVG)6pvpm4I朕P,Vcp#i4ן՚h h.u,,z@ugYZ7zXZִF! ]ŗXi%L lki'nkiH+'OStRzi-3e(F׷A&IEՓZ(E]H0o bVcqa!KX׀鄖Y7ԞjP6gcNrD8AL0Cֳ9%|Sy4>>fh`mQ9xG2${oɁD5 W=;+5Cx?l}K8AX,ߖ!ϗXj ʲ qQ6PO<áv)”i wݥ/|2wv]pa j3 7ʿw9 3> fX`hj!qeΙ&;{.s!ԓl4п5|IlsK`z;iÖ7ͫAsц#\lάZc X3 A4OuyZ& [ 9g!{R]_;k #ڔnok|f)P'Gn^Q&7! +&gN,BULt^OP皺B UH\j >'`46PhҤQWN1lV-wX3҆4g6` HcQo[ Be,hҹY}&<Ŗ$"ִ- ço|,PgYZ1a86e03c17daa226ee07fb4598ad9ee9d19f2ab3d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 56bd5552f8467ebbd94d95742909e24016784de6 a44a0e1a4be4a85e00b1ee5936f1b76c9c55c794   HOLCF-ex