SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   4, ]S HOLCF-ex:threads=4elapsed=3.290cpu=11.744gc=0.200factor=3.577zXZִF! ]ŗXf1-qNePwb]m;w툓f`9'mpGEY@uhd߮?>WNʋ }\IN}ƍRDBTdUfpHo+w`hsrY> QZS܈N5 0ʝtmbB[cEVKszN˦V kgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4%H> }q%o&w@גL,S=Ifz26:]'s[ԫbagǐ ̻vLEL[ySEI \WxH~<=6J 5É $+>:*CO5= ɃӒIڼ8edYP鷇(NPjݐr|Cc*w6=P~9αgYZ7zXZִF! M]ŗXi%B4I"3 T .dU&R%ՃkԀ^c=S? ^*O.n٭1e Z6d "?¾Cڏ0gFm}9\&ƕ/2 DgvR3TwEr iۘf^4>@@"˜g L0ƚƟ"2TG`-vKD~*ƛ!az78_T |;p+(ptmǍSmqȮȧ9:OD*6S$@fy*6ٷKG *JwD3/ 5:o+&fcֽ*+;=+w .Us>|Wˬ¯nGizz،ge^?,ld %fO Toͬ45}uȮ5}QP㠦G>1Ԝr?2s9 90q i\҃/Mj؈elRa5 ֩bI!C6Jʤn)f7B5l!]U&gYZ46af5fa9ef417d04e145a83ef680a4d3a032cbc09cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 4caf2fccefc3b804b10ff27c4f21acebe9292727 3f3fa7bb55b136d24eeb08a4536ca615507087b9   HOLCF-ex