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 ) lD ] HOLCF-Tutorial:threads=2elapsed=14.616cpu=18.696gc=0.552factor=1.287zXZִF! /]ŗXf1-qN0L%.u--W^3M,'_{W&|%h^æ;DUPV@:Nו$a5㢊wUV{^e$dWJ!Rj2]_ 2g)iĴ$LGMP8uoic">֘*jiH>b: ZAxg Bv!lNP#FjZU-;|19NԭR]ڗu_yy# }PU,7QʱgYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@'h 7.㵼IMЩHvSZqOlT5~>r72 aXH{㢬jb!^23gYZ7zXZִF! V=]ŗXi%>g 둀Ltu30mf 3tLƎt) m2צ>RONCl\,`&j:8?@a W #ƦTYh'ds2$Gc]m=n/|N!їrf婲2qB2ؽi-Tov+=zV5_qyH E#w-{mݍl7Bڸqn=XtUCKť//Ye9t )H+yL0'!<>ޛP^/~a>Pm26k?(*.f̞MQ]3u|c y7̲kT/_$u,%GNs - 8>ڸ6菁iIa{>ظS 0$)ՑH~bJ=$;yqq? m):n--%CG>y-6E2dGbΗw,D KA>Pm>14%/b2RPKb >[-겊`_b▹=yh&TF|k]e5~\T&g_@:Ͽ]X`x_)*|dDLNjCr/}]* ɧ_'瘗y;Ir_Ni5\0PXkS5ݿTBAt 7|r(<ʘ@AlZGdS9pH2PcnDǠ`".rNv]}JZ&'s\ [B_v݆aN(]F֙.Wk,ne8'|Xy!Go9te3WіC;;Wkk#F?ah0p =j%/I"Ąm@ sk9fl혢 (6gYZe7d9894199a7e6001941354b330b3c2b47ae88a982ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253 f29285890d90514961930a02852b651abc8dc0c5 ) HOLCF-Tutorial