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  R R+1l w]Discrete_Summation:threads=2elapsed=2.755cpu=5.360gc=0.104factor=1.957zXZִF! ]ŗXf1-/6vRZa*Au&wX᡹W.ο NYD$X&l1TRR6D۟ kLES+QIuƀN`{NiU YL/HUJd@) +LDT=KS[>wxB A&lMѼuZmqKn ?7/EcRܿ(;t}uK l i6/ޥ@W /ѱgYZ7zXZִF! G/]ŗXi%3d(s!s⤙~(q_-n9 d*+zv9 Xm.S!r败U|h ߏ^eO3RZ +O;(q|F Y=iNli*5 TOU`:U7%$ָ6i'čqwaV/U!R'U.c/Z6A( sP*,@GbCr(OPXRx?\zޥP󖢙{܎WvdOk`qs8D0Qog&4e1C,n!׋<پO_҂ޣkr\&i2u"6gQ_$TL$*!VY$OPkD4 eDRJc,k~\/!NPZgqؾrT&7,]2F2ςcwਕd[`@|qCSL!#n-JØkxS`4nΟT3aVbofT'zq=)0mBjUJ54z[kAt;.i1̱gYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c4820987728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0dfa43f00ddf30bd5d4b17386fc5b7cd18e3c032a7 1 Discrete_Summation