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   z1DTL ]/ Discrete_Summation:threads=2elapsed=3.240cpu=6.136gc=0.100factor=1.897zXZִF! y]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:"{], ~+L#?W 8{>Th&Xўx_^҃Y:VYa)ҾI0'fd /wD_@aF0jʋQl'PԢX^I&K5벳# [T<3$y-|‚e}3Zf p2R_Rt.OS[->:N#qF* eZgYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b lTIT38}˦a_:Ax8H.ٕύUS#úRES`.$ԲI-k\ɞ`jww⧤)1 PU%)2C>şuFu48u<<#LgYZ7zXZִF! 3]ŗXi%ή++ɟt8h0?%۬aRBjq \: /1 I~s Z+>rmkR4S h v$+ݫ⓭<4ZcBŮfI K\#L!wpktqV@ ->ˌ7ų7'U = m*t3/i oVFN*b@zw#&xdL)Jd(SY\,ȦIyNYDus ZtegSHI<)gYZ40dd2ca0e0b1f0f7cfd89a1292586e314601863e00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 Discrete_Summation