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 1) \  ] HOLCF-Tutorial:threads=2elapsed=11.300cpu=14.952gc=0.608factor=1.327zXZִF! (]ŗXf1-qN0L%.u--W^3M,'_{W&|%hvp T_lKzj?rZf>N}?Xy2&њ3R72!+ԝ7"8yQSݜ}|EXuBrAM\aD`S;&*@LF4,DI5)5 ?줛Zbn%B9Pyu s;Jk/в2熜wil:L.;gYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@'&h$*nF ]ō֚p,gYZ7zXZִF! A]ŗXi%;c$f0ʇj2i(2UJ+,^a(yWtH*  ˚\[a G/A/kbxW ȫ@hK 7@S~cļKf uwrG/{ ^@=Ho;|2wJ|Zh&Saw@;ɂ,mmF̚eLH,-\ى/!I$/]ޡ,I.dJֱCYf8\nIˬoɫZ:6X}ho7&iAA/`KMxXM̔g'1# V_cs"+Ϗ u`]M5ml ܮa@ilW;ڢhmձgYZ765715c9f52bbf8e3ab8135ffb714b592f3aa84662b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 b4a9ebf2767f749f29e91b2100573c5beb56e6a9 ) HOLCF-Tutorial