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 i) L$ ] HOLCF-Tutorial:threads=4elapsed=13.287cpu=17.484gc=0.288factor=1.327zXZִF!  ]ŗXf1-qN0L%.u--W^3M,'_{W&|%hPq`K&yTQfxI36vP]ag|v_!!OlZS lgYZ7zXZִF! z]ŗXiɟ>ӇW2t5pXD[/dzmE.B|v0|~{@g0OQ^ [zINKMLķ+_hbY D(X gYZ7zXZִF! ^ ]ŗXi%GV3n.}Tˍ4 gKHpOl!% j]\"qf1^K%{|֐VeGQ`|LDR?ԪpJ5g߾9fƮع>w|wZBHB$% +i׋;t_xOgoWXf[ < m0$@+>qj1ͤ՗ڂ+&Nh~O^OڌN/}:6^V05n.}Rü2$ *AWHa$661&,MO>Ԧ邷}~ꕲT=zu&cMuO"Bg㢹-<5?UV-GeMUd~ Kz󣺅BB&|nluR2((XdjXrfq ZE+ɄKDWG-5f"B?EKhx\aQnsn!fM!aNz(P-Ǵ+nAZuz=8S }P dԏ Lȿ"kYto̖J,}ФE6{yE;!_z=)90O |a#9jR5&Ӏr&+yAt-uϪ5VHYj7oʛ Ӆ7:W~Y/.bV͙c|`7QcKfz _B )?BM7J]W8P"+bP3j\M9!wa PW'@]|}4;mo9/6<"sP9V711*2pMrmE{ϣVRػ`/>4RMO76Ma ئ8|@ $JB:?_Y78HKE*FLxj;z  R!+$;s0:>\@0 ~ Ϳ_8NnRW.rQ=rfiLh(H  ngYZf401882e4473390f01e000e3752ce7bc3ef06d994b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 f3f649306a47784fa6d8a6fec93370899016cdd2 ) HOLCF-Tutorial