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  F F7 ] HOL-ZF:threads=2elapsed=3.945cpu=7.328gc=0.256factor=1.867zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~k~g=hddB Q 2iACq =_\,:i^gNA ,%jñTuJ\P%(N?ğj]iۥGgYZ7zXZִF! C]ŗXiɟ1qnAcP꺣3TAa񏎢AC~Ū(5rLaɗȚ ruŰDL) ehydMG& v fYN{̇qZ^'wdj:ngYZ7zXZִF! #]ŗXi%;c$hM硅fi$N%-NPXS $zZ"F w11#l9O}'N6die컇'DcT^$<[8\Z@!n\j=vr0%ƕ|3FCx`ƿlh r }5L`- ɲ_zrunlcq@c'QD!؁U9k\l%~=ЂV۴!`iG{ftS/.D Fvz #Hу]KyjoRe6Օ0/Ac&nS23ֲ&:xOrPNL' 6*,~:iu-&\l#.bMXzV\瑬_CТ gn׃wh{ XZN]sa9}RgLnHH5C)砡1X46V 2?_DZmϲ'Y2N~j1ey9T9$6P^ %5 vTYyT.Hf5it:<葁G^+cz*CK̹sebQ[FvHn/)Cę! zœ #%b4bq͚kW~.[P^[VY3t FJgYZ24cbe5a04122c2879157fb875142bdd0d1f215cc62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02   HOL-ZF