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 i) T ] HOLCF-Tutorial:threads=2elapsed=12.058cpu=15.736gc=0.600factor=1.317zXZִF! $]ŗXf1-qN0L%.u--W^3M,'_{W&|%h3QrFy/AJy\,C3HЙ4ȍuj@6[ⵆ/y%; cB=+̧ 507|NK'W Bg ]e 9@&,fR h@~|4y4ՉXfli!>1ʖ/W 5I=t xGvh?Avg8ǖgYZ7zXZִF! |]ŗXiɟ>ӇW2ta'(e9D{?@'t?6kE ڹm`LOG'B> ALrnN}#a6C9[:`_7(gYZ7zXZִF! En]ŗXi%;#݊l'& Z@0Bs8,WCL v,z{D7<tN&?1wr8IB.`)+=AdlzN"<39u*f j@g ܿ_]J>'pȋRw#kPsgio'[A]RbeDC/$[=&rv9 .|rDB^?P2$`|ʕ@ƝW돡׍}珻P]F\BƌCV%@Cҁyy"!i T%&njkb R2`>P eу8w#Db"+N."%Y^"Knja,@;X KG d8?tj($_7. YTܱgYZfb16690ce75859062756a410af37000a63b3b723c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a ) HOLCF-Tutorial