SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  >1\ ]/ Discrete_Summation:threads=4elapsed=2.236cpu=8.372gc=0.128factor=3.747zXZִF! U<]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZI?}uI0G]p]Q$ie38<} G>%5djuHqjVU@kr':U%Dz( ]ׄsSJ/0h#rzM(*5DY,%?2V^IE@h>L*>Jۏ5c\;arĿ5gCVD~R-^dpGYNgYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b ꊉ?y}A *.Tj~]5):bRĀ /j[[;{t!ۤ5TJͷѣ0Ot*2 Ƹlc^CILOj+b|d0fB>tQBNQ؞gYZ7zXZִF! ]ŗXi%I o9vVc$wnH@k:Q3ޥ:p4g.ew.0lRЈ u)F5ׇGC8q@.O{()(j$ &Vf쌚7W+>2RJXJhd FZw# dij549pnZ VޗIͱR=^:, )`iae5ߐmՖgl~g;8ؓنJU֤ph݋g _\u|ӱ-Ҳ4Tِh6;\Rzeɂ KcH=-gYZ0f73825533ae7719e7dcbb4aef6b897c152f8c155a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 1 Discrete_Summation