SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   j3 4D I MonoBoolTranAlgebra:threads=2elapsed=7.834cpu=12.020gc=0.412factor=1.537zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<g5&S#hNо / 9Q60铚C|33%xv$_ݹ7EאjMv쾀řAӘhuQ wpր7'ᑄ+DNO*G܃ة {_>eiWE Je 6JMӟ >6z5Tb *}&;ݨ±gYZ7zXZִF! 1Y]ŗXi%%`u0(vL's)+SB60Ϸ7 GNҡNFZ³֥#:/TuEZCM?m;stZNg \f/2_?(^#q4}2ReI7DrY^Ę7*3oj(;MAlGz@kUQk3"w;*ދ'\$ĿLr# lhBgCCɲ¼t>.+J) .{*?,@l.e$ٻfebV+ 8RGy@;V9,re6Cc I5{aq4qUK pQM9"a n@ ɾWZCMfޅn+"qdTYEbGb`1H%Gm צ2 ,g,]l@-@v#v (+$PjږWn&|"