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 ]) L ] HOLCF-Tutorial:threads=4elapsed=13.263cpu=17.624gc=0.228factor=1.337zXZִF! ]ŗXf1-qN0L%.u--W^3M,'_{W&|%h^j}R5Dj>ieڡafzJ*jYwE׬t៛|{=᱋$̋ }mwbMCVch?k c}i)I-_Hy,򞌏m= ɨE޷:K{w`毕Y.g­ ^OӇW2t5pXD[/dzmVA0߂PT%;GgyV\d!'ǝi*0>4X+Q$/(gYZ7zXZִF! ^]ŗXi%Bo9 u}XU>5m/涜HO*#o~ʂ1*2m@'Pu3@۲Mo=4!`a[z;ΏŃ{7Y N|F"ٍ8LHZ7 t :i?w`:׋>+,,??ҤmW~#J!fgfKr@" ]tE#^Cbt@0kж<ޜMCC;nIjh^r' X-ѡ._ 1ekE1.Tbu3:~aqd9=<>m9fgn1 T f8gZbY ;jl|l0zl 'be=%+hloT{@ )e_4!GF"Lh+CYVDW\3zܜAֻ=H;\y (Y؞3!YeWւ(K;LR"lqs|s "tʈ"KE(>NkJ~bT7"E ֹ솺S'J@WZ_p>Vc.Ond+8 `cSSvJ. YFy~6eF$^,ók<"ҍDN?`sX4S" X', KIJ_U6AU}5׼=֏HWTCB"y1y\Ѫ^@d2[0m@]), gFs8Zk>vkyOO2M((H0=->nʬ)UŬIel< "m~]c<fkc߷PcCNѫf' O}I^~d_ 6+uXnfb`1j_8'Cgcɫ^.s]K?djO Uk]iq # {:ӿ(qU[%10Hzy[,C)"fvtYu4 u^VE`?3 ,9qqwxf%=6f0`< m}ߚ/  AɐgYZf497825a3621651c9b57aa0a397b04258e36d6e1ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf ) HOLCF-Tutorial