SQLite format 3@ . BBh77otableisabelle_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 e) l t ] HOLCF-Tutorial:threads=2elapsed=14.566cpu=18.752gc=0.504factor=1.297zXZִF! /]ŗXf1-qN0L%.u--W^3M,'_{W&|%h.1Wd:՝$ SsR~"%c`<* ?Xnƨ|6(6E尔p &%ܝQP@cFy-ꐒFv''sʪ"W,2/CjۈKEvQjP1J2"?c4QeӇW2ta'(e9D{?@'cS9] w X% 5 * ksۮ=퓔2I-o_FYuό2l%0>,gYZ7zXZִF! Qq]ŗXi%96BN[RBe_~[Q|{\  5-̗+kTO;ysZR݉찥Xi5q=TnCWeU'}2| mA3+z@5KVHQf K'4 4P2$\m@vY0$:W'\Q?l/u"UZa5D&kdDf@Nk$t)h#hG[اǔW|K*BS\gʫXJ\Xz-8= 9t5s;MRi>_k].COhjF)d4H,I]jS ]>myTNRKJI3G^Iu-¬t_DeCOU~O=X:ua/# EDlTkuɒcwN7?H!Xc4VC9/Kҹ'|Ƕ]C=;2ڦ<Mܡz7t\+T}XYF~3L!'~=>1:ȁW8XZڝ!m6IVXSp?GER{$^bS;pc#H%Hi+E- bgYZb1235d9dbc68f993321687831c9740ead8b5cdf931bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 b019279a3daae570320d38a60badc595e098c1d0 ) HOLCF-Tutorial