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 ++R t\ ] ZF-UNITY:threads=6elapsed=5.809cpu=29.172gc=1.044factor=5.027zXZִF! z]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5+4aΞ`0R)v4y M=y r^MdxY%WbD3/`2]K;Mb9d  Hp'yT24鿤\N+YXǑ2 0%,.+{!#e\LC1+>7gu@X8eٻ}R^@^ EG=~̊6S NVqFd'6&1ukNZy {sô%*7ɅalGscG%Ruőꦖ1&~` T(4FP;b|FR9n.7%@cg-'X6H<GN4ؕޜV@,;xr1ei%ӂ;]NkxU IKi!IRYjƨYє'Uذ- x`TJݰt 6?~| L^'lR ^vӷt&4Hfg7m? A!Dsqb&k~d.LAH2TAyT4#fֱgYZ7zXZִF! hr]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[! $%oyVoF7+cAe10\dY($_ ^/ejMnŌ-B;Gigzp?^ӈ|Rye$`ؿGC9cvw~;qIJO,r۰$;99n/w.@L Ϩa<&eҡ n {o[*a}05"&}U @6"qz}Ajiw[6g%z})A; g9<}h?J6וDB?C}hd.c4hUb䒻;aAXk PgYZ7zXZִF! (]ŗXi%;Mf1PBՔ#>[Za/Upf^x?}ꆄTH2&Yƣ+Gy nEDz u `FuFT3sE7gn8DK\Xޞ쇻WxB9BB{[0Mg>[%w9n7aKTjjW#u%zBGPἒ~;+C|MdcƒQVʶljS+]1+{h<)lݽ }+'a?ưhW6/-4KUN.c,^1uʀj 5OBL`@45|+$98C92c$j2L# B4i_3-@-t'F9!Dٝ@Mx #{ˀʷ*p~m"C+zqcj$… -_JfpCCp ϻ6BFGe"-ӷ:xvAǠGv=%'JK8A [x Yi1jP6 %ij&~%fؐi!]@=MrgYZb653506004e587beb2550ce485aa1dabf6d0e36ec5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb 7e88020fa9bfbf442e282e5f000af0d3ea90b178 209ad866f5b5f283076410d56cb9ca7771f78d8f   ZF-UNITY