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 u) l  ] HOLCF-Tutorial:threads=2elapsed=14.299cpu=18.516gc=0.688factor=1.297zXZִF! 0]ŗXf1-qN0L%.u--W^3M,'_{W&|%h_Ү?,$ZٗsR*M͇V^J@-`x2 e4 7/P%+NUvfRg^Ev,=&Befw*-jaP ETmvR\^ӇW2ta'(e9D{?@'tei z&z!TQ L//M W/<j"*d&ڻG16PpO'> ?0D/1Д1gYZ7zXZִF! R]ŗXi%;ULTa 2t#pSb/ӕ6|9^HUЌ4:䧛3)SNwݕ;/m}i .`Nej߇; xM~awX l98"bn%I\ÔCop ;%'pP$&X^QZUQ(+/lEZ܎6V>^x,gj{4G|ăF(cb`"u*;D܃g^t)z+|(vjPG|򓽊GQJ5vrk6;YA7vʽ,emH0c SsE %vR4&C[좛٧ 0,d5hi(I1d 1PrgYZ4b29ca4487fb0ff58c19ebfc43ff8b2a3b8db71ff82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 99ecd7f7cfb43e2f575ac3077627e2c33001f83e ) HOLCF-Tutorial