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 J Ll ] ZF-UNITY:threads=6elapsed=4.975cpu=25.188gc=0.904factor=5.067zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď'@2VBlSC}#.ǻJrI)5 :w@RQ C?i;O%m{J? 2]zʥ1zEw &pjQ*NmٲLd4?cP+kPm;3DF;RSJ9ULdZ#;$*7%~ Mc=TYg_׎Z7Xqfv +VK<{K><95))pD7>i7YZ-T:x%5+ ' ~O !ZVCx)Ll$74ުLVH|Y~ 2.Q+Z"7bxpjGv9O];U7H},?BMͿ $mJS2=%$ \7Uv؇[BZCZ`ܾK/5Q8<3 gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP7&a=d !4Xp?{Qw-vd8I:zs2u08L#A+`RgjѺp'd]8g,{Eir7§.Ki 8cUC,l%:Jq[!A24κ!L&z]q *c =E\ٻZвjT -eo 6H3g hY<^jjFhPd@< | A݋DJN\P6(p6JJNmTY9;ysܮ@| y`gYZ7zXZִF! ]ŗXi%9#J9ů'} 7C AwtgA x3;SwsWIāoF5K|wɿ+M~XIAعpoCwŶ6{V˴ JY9RM~PY94'D >jTϚ pi+t