SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  S1 ]% Stewart_Apollonius:threads=2elapsed=6.318cpu=7.984gc=0.132factor=1.267zXZִF! ,]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH2k |WXS Ɠklw=6Ox*&}L T,ɡܲS`=.'by0at0SǸ]3͉_ ezS&vy7o?| rSE gYZ7zXZִF! %g]ŗXi%6At=!Լa*qg2/jZglq)>ٍZ ylx;~K<&}˸Q.B 8E^t>E1*Q&=^mqpsCCI(z3=c_ND=TV0ϵ`-pJ^\_!R#ԛwI^]o(}KM2|=7u!ST~55D81sfja06?uV}~5'hJ3WX?kO9GE| ڬ˖5-.GqY*s[YYm<MTi5fZ{3EE]A9(\ f;qƧ3XW)ѷ$40 X b㐃nS'۠)1,l-'zE\oz^劔b z$"e =LPg t1Zr!J֊gYZcb0a28f63841a2a964a99a2932cc86ad027fbc39e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 fec55c93856cba0eb9bef7968d19e70e69c2191d 1 Stewart_Apollonius