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 -) T  ] HOLCF-Tutorial:threads=2elapsed=10.885cpu=14.436gc=0.544factor=1.337zXZִF! !]ŗXf1-qN0L%.u--W^3M,'_{W&|%hVEjY$ӤڣE?\)>vb:jO@}y:g >q7إX`PcR*CF<$ӏ` U,ӇW2ta'(e9D{?@'7LJpIoAgg~#V` P_b+ U7hgh=e@ŕCД1gYZ7zXZִF! A]ŗXi%;s3VOL{po7KD~Ls]1\yc_:42ֽXJ~rjIj1:ͩ/Y!RGz,sKI[hMkf@U\8670G-z6hr*@I6O>} E_~]|UK-pQԻ-fXdb/GX a)xM2F~?U!N<`^%Xʁj!T)1vT"4RV~ Zi -k'(U8iQ0}I]3J O? Rˊ Bl\bmmZYq/8Qڋ,V {+@F "a~ ćߜz:FwElڼxǽxP,;_a)y>K!T~bڶ+.XJސj|1vO 0|w&, ߼?"ID )J{p/{{Bo (k%tQrD{6'&ʨ+ple##g3" "zs^eaVMHAs<SvK T-%2D