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  ] ] t S/]Cauchy:threads=2elapsed=2.931cpu=5.260gc=0.136factor=1.797zXZִF! |]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tA.rbeoru5FQ@$/~ 谦sx) T8٪)<0d,gYZ7zXZִF! 3]ŗXi%6בT1 Kz>($[ ]B? d1CtW*ZlfIٲ['TTբn#';F4t` 0h4zX?Mlyҟ e>A`,"E jנJS*?f2r'_, eiNyDN|mmqS~fvWT`17{PuV ^Cyy'<1-ʜMo+~XEMx X͗+Hq9;@Z]ͳwq{^E=W3[PZ1?q(W*)nʅW*gus3Jcw MOu:Ln{y*dv=1x)dbl!ڣwr< `c_dHۥV+؜RCK ;"Xg'J5 F^,˦NL.Wr`r۰wr:4.> s҂pڼQ^ 6chY3,jgYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db0238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d2280b725abec58eed00a409d12a3a78106616ef493f   Cauchy