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  BDTt ]/ ZF-IMP:threads=2elapsed=1.134cpu=1.304gc=0.000factor=1.157zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYPԻIELPt1`xgYZ7zXZִF! a]ŗXiɟ9)Sy6\Y.*T1yQoOiE#!S9™fA>rl?]C ⴧMZ$Ƭ~}ܰgYZ7zXZִF! ]ŗXi%96UE wz!E^Il)ЩPf";Fnľ<O)?exBdәs;2 ݁ȊXAr&djՆs :)/Mԏ3iƛT7핁I6iFvZV\fцp,a |xa2(v)Ҵ ~beeuѻ&cRfi_ D c5}'l]{:#ѬۃºÉ"&U5K]R& Gd T&׎N>%Ä&Ie8JKWt]1hvf5N.AӡRkc֍l!E°82m<N[#~1zȫ@>-Wʼ+ߘ1QX̃ ZB(CSD1&b2l/b$ʳ-C4!gYZ6bf00dc245597179c5ecb966525a30d5b54c1b5fe42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc ddc254d247935e692b26be3a557b1d1ce79887c6   ZF-IMP