SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   f1 \T ]/ Discrete_Summation:threads=4elapsed=2.066cpu=7.712gc=0.068factor=3.737zXZִF! ?]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZI`6'na.nnh0q; 4{` x(! /CK"@)ݩn⼴HK,/矕2ǣ`T+y\R,?*8;TGeH& `8{5 ?4YD~FѶec mV:?mFk" α1o:CMac(Vy"eQ!S9bJ%+' ^d+NQ؞gYZ7zXZִF! Nc]ŗXi%B4kPyKڗ2T>M,F|ɴ\ȡz5]ȥ =li e @$7MNHF2+"l)入:t)ͥZ .jUo{%C8!Y>Zoui||DA T=~̷rL2[?*N<~r_ `ⲠKoRe2lՓxJ YdNf{' ,:Q/6L?~f7a+0<kGS{ޣud*2Ng(/-yi֨yӧxc,$m0$'TY^7q~JڂU^l9yA;{:Tj(P4G!Px+U`iZ@"ܛ60U'.[Al5k89 ^x46|H[yM7pQ4j]߱gYZ7041c9f76a2cfed66bc83c09a8cf4774d0353ba29cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 1 Discrete_Summation