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 y) T< ] HOLCF-Tutorial:threads=4elapsed=13.224cpu=17.904gc=0.196factor=1.357zXZִF! $]ŗXf1-qN0L%.u--W^3M,'_{W&|%h~Ʃ/L04&C)#?=`bg<&r7龺fgv?͈8?-M ap|P/rީ*?mZnΒ=g%^ӇW2t5pXD[/dzm̩9=z`e ‡S_j> 5d6"`L;!ҰuYEhw4f"~VFgYZ7zXZִF! ^]ŗXi%ES3Hf fi<`ā;zTv`gtI:#J1FizX5ud0| H[n/LUWүucU1_F:+vhl&O1-&FwNlyY)H.MGH2@= XFWD} *W+*(pT[8 syrK>>so>s}_/Ͼ:Fpb۬mD${pHrq*7v:lM) -P]3A`9m?f\c= (='NWG$V.EtlxЬ{W#z9{í&5z^@315st`kI :|D|:kU(m"G?.{tЍ񷎅P4aD$el$F"4^aGp {>F֚ev<$? #ݸ @ AI:y8ݔ:+*DG|.hI/ޮ VYMrduـ Vm7 y&`p#(#6TS ԕht\b;)P-7[! aDe *ڰqD'4?@߼@0 )wTOekjsLTvdS5b"ZS.&D Slbuܠ* eӂfZܞEbkxe&xZ"g<KwD*R~/;L"qS(}%H^tg@Ֆeqk{'Kœbk-Qͦξ,~*Mn2P[ozO1ba(#wZD]qO"]TgJD]=A-q9 6V3Kwf_#45X+%=3rVHߞlGr|hG"r'3 y:tه{vPsVJ$wgꓠ2HD- lp^?BO Z4b&,Y, Oͣ|>Ix/ӥl[z, !*= C{͖Adls;u1ƕ}*Vz\z\5[JKK2Y9ƅ?=`?I񁘔ʰTTٯORt=(@$Bp'*aju+ǃ}Ho+`lE}y䱆hf!Z5}sd G hgYZ79328e00a6c921dbf88fa6ab417ca3b21540a1b476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6 ) HOLCF-Tutorial