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   ]) dt ] HOLCF-Tutorial:threads=4elapsed=15.304cpu=20.124gc=0.196factor=1.317zXZִF! )]ŗXf1-qN0L%.u--W^3M,'_{W&|%hn*/_ |  j=W\qJj:BlYp:=K lL" TO0/bMmqp%q\"'^Q,dpa21=';7srs2A4:XIy  ! =Ӯɾ0XESٹ_Yԋ_R.;V[gYZ7zXZִF! {]ŗXiɟ>ӇW2t5pXD[/dzm>{`'n?< JJ7gPlF?y6SDJrS` VFgYZ7zXZִF! i"t]ŗXi%B۾2PL3I"&HLX^EڎseShD;HvƓn1Vx()O,K.Nt)k"Á1M@GVUY~Tf4PI4_0gZ2=S&$,d`8 ¢L3Eŋuea-Lʂ-D Qj ~b1iީeK122in-=TcW5~~04Z"C01Ngt%!:F7$ځ;ֆkJ d*(- ÙL.-%vdi}kY϶me;TsE?@ӼdNT Q\pAG"ax|^{mQ(xBF/Jmn{BG.!:^꤁9I! RF:,'Z>LV`_żw?uXlҤ-R`Nz[[S@&/*.MT; g; )~<0nv7#|@~c&$= DܑReq*,~Jt$5W0lg"ǭ}J“3oJ\2tQĒ ln49.3 ֭M35'˿껝{@ha3o@ 8'Q9> dS&Ly-m%xd[JV3se5 Ƕv"J9רfX8k4M^U)LV/NU~ ;n @tM=ܻPd]1Ǻ|T#:n祝lI=Bmx 1E'l^C;(7iXT6dnuJ_=-P#DdE9 cO v< js&qZ'|4?p *uP<˕n7uR#ܨ*gݦI/h9^c ELj%09ril)`gfjNJ˴/t!TKΰ0Y N&^Ⱥ:nhcs=aXĕfD^"#\I6!3ж k)yԾ֙޳g|޿S+d3 {+agYZed10b16798e9ef17be0ed271115ecc53d335723576b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 63cec139519c70fe290e4085ae41a9e937cfa8e2 ) HOLCF-Tutorial