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    ] HOL-ZF:threads=2elapsed=4.564cpu=8.268gc=0.264factor=1.817zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~>cޑyŅw\ډ(iH:7(I Az[aŠ 05)+:!2Z0NXDS{zTK׵<gzKhJR€=?1G~vٌgYZ7zXZִF! C]ŗXiɟ1qnAcP꺣3TAa J :;pcy HuGGvmPX͚%-s?G\3Ċ "oƷa)~ѕ3tX5Zůj:ngYZ7zXZִF! ']ŗXi%;X ~av8apq#8%ǎ Uo}G;M$$0m@^sLtNǍRLRa`200,v搸WmqH>y0it!J Sd >1Rhw6>} cȧROdcs*W&*]Slr_t-cf4^̓>zB] bE uI7}ऽ @coRΜ|}@1/Șÿ]!MQ-U C}U<08:f^V*4v[T%t3ȋ8$y3R֡1٧f*slw=sP;VC1Wt?QIKwװ1)u'ѵCwGRe~mtLE9([Q؃ý{3> >\:t%ok(#!2@@m$lxS"ÔɂgUȡ`&v-&Z"ݎ]%Mr5I?q15+x yRWІ~6 6t@|!HM=|ҹiт}lAgBR %y P#fH|quJ[L#AQx/QHVDIYR <[_sq>%{k}ީ^NG& qpJc>>QU"]<ִ=󰘎Lyܵ7dh->O gYZ886c3cdd454eee6d1aafbaaf02bdd308dec4df2a848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486   HOL-ZF