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 WW&- t)֍^X?>FAJ#Po&`PsC w 6Pc7YHSdل0mjNu}2p&4O4ظepYvI\\&lf͏>zVB0GQ3]!;)⧠J!VeĺQ@y&y"z~>+W?۰Th_g8]]V: Ìݯe m'&_qZNZ@e*Nj;fZ K~4kbܔe)$>~RH{ңi okvNA6^2kR;p8Y.󒑻Է|tWH&{ӕ|EewlˍgYZ7zXZִF! l]ŗXiɟ95ZrY!Zg>3gAKr x%{H,36|S"2K3//up{8"dql%S8\O96'urz1Xj"/vl7;\%GĆO)5huEh([f3[l6˂bcf5}d5pḱ"3,c=2;>ZZ3.3$5Z(nz9́]G ƃnmo!y:k= #s^!D-i? 2cn:*0k`pPzAb`dp qlI׸[Yj.qIS 58b@OfܒAE %| Sm֊;?aV1tHmk[pI# Z_Q@6bs 0lm@YrɢSԾ/7@īIw߂_) x h;-b\~