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 ) l L ] HOLCF-Tutorial:threads=2elapsed=15.327cpu=19.680gc=0.700factor=1.287zXZִF! .]ŗXf1-qN0L%.u--W^3M,'_{W&|%h2Z M]7^(xW'7J+y6n2N䟠 =mrto:~H K̎Af`inw8U!̀[%̍5˭dOV%c(&V(0?Y&^#U=b8j>DmG I1(_,KK(za:!ODʒ5%Բ 6sE)eMۂSc$ĆӇW2ta'(e9D{?@'! 7PsAtf-H%l_tB~@MnҢ|,Ai *vhM6ScG@Wݚ`]q\|gYZ7zXZִF! X]ŗXi%;>&峮=n|0 kguIZ([z$b{1@}>ɱ\Ts&\NB's'X-,ęoA0Fqm ȐrX[ s,LWloslgpa_R$Q3v,ʝ*)V\H vN`@ c ֮:DG#gڢ|׃/j]^I __ài&$Cau~ULHB*j  ݽU!Jd-,4`dAWKŪ)r+ zNVhʾ%!i^%~0_a s]e_ߌ&e糌ü'Ⱦ:fΗƀq!]w7n˿4w*a.S @vΠxNj->xX-൮"2֭s{k'C[h W4[o|tzZRc{>(zrhC^|8ZvntĤQΝ! ȗW_Xdb2