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 ((U) d \ ] HOLCF-Tutorial:threads=4elapsed=17.469cpu=22.500gc=0.636factor=1.297zXZִF! ,]ŗXf1-qN0L%.u--W^3M,'_{W&|%h W6pLKG 7ޖ0f/>,˂X)&docp7=@i&»d9[7mPv|ŭlb+Ok"i7Q{l%RoVsdb/崛މOH0^5&`Tj`v9߳QJS' '/: +-{YLGZ"*ՙUr"`8hYJ dh gYZ7zXZִF! ]ŗXiɟ>ӇW2t5pXD[/dzmf0l- bmDcS$8FlstRP&bbVD曙A 2Κ Д1gYZ7zXZִF! te]ŗXi%Bhvs^m`6g@dή99|i#R]%$eG@V0x`#VISV5jPN0}|c/b?Sw d t#Ի3 #^Xm:/9=LNwHz챞ҐFBJ_rs7U~?Og?HE=: Fai_JJF6Ւy[ AZlKۧ.$ҫ+~xM+EVsa@>]\?=t,wq#i耋Z2 y= JH> 3J?[ZA2O6T=k3c!;Is7}~g]4Y /<0 ?G{-]ZCOi޻ G F;z@X@.Xڇm:@b~ýk@ yɰ3?ΞoyX썥_!W?lmط4pڡsŷY,;Iķ6,~㑤'1vY#\V: &I@UԫYr /l3h)!Aad:kTv^S*+1# 탩,1 )}7/>LsKv`xl'SYh!슉q Ǖ?/js7jJ;Q_@i`_ufI;`}f|G&>EF8vըy'.h .׏Z|w|^@Tڣ`gd{$ Yض=GX9 @Z͆20e&qIp1ucIzB2N87`<ęxVt b(p5`^ڪ>Ӷ>jHai@2h=<.yw"M7vW|fxͿLU਋.DX` KTw񐦀&fK[ԈF76Lx'i}c-dv}q3Xv=dm8vsC gpow9_uy8%}&QqF6/Њh޶-|uid[<;/QL;.' O cs ja/Cb>Ng~"G'3(IQ"@`\G 4+gYZ685c7b6c05b7f7ec33e215aebc9391668edab9b03853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 9d45b45b04770ad8f814958e40d780ac8d52e233 ) HOLCF-Tutorial