SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_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¶ tt1 g YZ7zXZ ִF ! ] ŗXiɟBv l82XHxz0΄l.!F۴W?zU C|%)8lX[I97$U6U.PP9P{ x[ZLDTdNƸWN 6YsNPg(vZ5Ca^xo; EwGvaGx? /D=X .g YZ7zXZ ִ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~̷cm}G {@ZT^ v5SM$dAHCEiZ:`YNXC}m "F ) o-g YZ8b6720729c56e3ef3e53ce13993d119f8da819d6ec4f72521e1e679fd5cff6fa91e397c5873c6432 Sequents