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  T T)4|$ ]/ Logics_ZF:threads=2elapsed=0.301cpu=0.600gc=0.000factor=1.997zXZִF! X::file=~~/src/Doc/Logics_ZF/ZF_Isar.thyoffset=40name=ML_fileelapsed=0.167᱀qY}YZ7zXZִF! gx]ŗXiɟrf^-Վ)!iMu^l;NF>dQU tFljQtKӨJd[zwq`'0 Iw ^'B߱nzhgYZ7zXZִF! K]ŗXi%9*WW=mtK 4w]eŷ))g#{ݥwo Su|1Ca2ΌUVT6j d+N̴C*HS}bNa:8jb^`yLqKYJ/팺{Z]ѯ/ < ɫ0[ِg&xi3Y\** + HdmbܲF ^ $/ݤǴJ^ZCݫO=Lڡ#;3RWnRB_uN[|$Qy= y q!).:ڙ,9ϒUFo3 [L{[[_} e1?gYZ2a6c533d3e98adcc08c2ad0c5ce6568aa6d9c4cb1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c   Logics_ZF