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  *DTD ]/ ZF-IMP:threads=2elapsed=1.048cpu=1.200gc=0.000factor=1.147zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwY6B:֒D->®j{zgxgYZ7zXZִF! b]ŗXiɟ9)Sy6\Y.ewrl" ԯpqtwRZ3;:GA^nyL]ԥl#O~r”,gYZ7zXZִF! ]ŗXi%;a-|4VN*_ijm#K Q:xeOqyZB RlܖD<Ɖ g97p OR=Wc@8uƥc}ot꠺&Ǫ!FR㳻S?4q?nRT!w@C3 ?yvH/ȭX}A-[ 98)Ͼ`  OȉDQ̲LmB`:dClx{Vc'5A]TΜeH73',$Ay1Zz8PiWbIZoIE JWIwZ¥{b ˪piqM>c7h;Aw,sq6b?nTF(-90?!$#.:&X_P _KooiDB)n$}gYZd48a714b0deb34e12a9da61c5b064fe4920f4917634a34b0a78430c8365c904b4a02a2bae50a7baa 540be2dc8f649a2e1e452760ad238681aef8b1c0   ZF-IMP