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  f4\ ]] Sequents:threads=2elapsed=3.929cpu=7.664gc=0.204factor=1.957zXZִF! g]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\\ "tadYNcfl{V,<!4v!^yRa,Zn.&Z)7/x,l1C{03e1J؀_OUA7 ?۫ ,i¶tt1gYZ7zXZִF! ]ŗXiɟBv l82XHxz0΄l.!F۴W?zU C|%)8lX[I97$U6U.PP9P{ x[ZLDTdNƸWN 6YsNPg(vZ5Ca^xo;EwGvaGx?/D=X.gYZ7zXZִF! C]ŗXi%;>w"M^(oG xX\uVգo驜њЀ. 3CA`5E*X[FY\ً Xz29xg}ηrf+bm,U.JYu5u[I>qXdC$[DQc nMCçFxvւgܨe)#1I>EjUTE}9JELnjtjjESW^JU Ǯ[3y,;dM/9ãd)A?p Q~U8JzK Qjڍ16*yIpRLHeH4jѧ[܎i_´ť B J~m~̷c m}G {@ZT^ v5SM$dAHCEiZ:`YNXC}m"F)o-gYZ8b6720729c56e3ef3e53ce13993d119f8da819d6ec4f72521e1e679fd5cff6fa91e397c5873c6432   Sequents