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  B1\\< ]/ Discrete_Summation:threads=2elapsed=3.713cpu=7.164gc=0.136factor=1.937zXZִF! D(]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& \[:OZ< ⵱d&{+3]O zr扬ƕ|d1m%U[?WTJo9ʯĀ /%0JͥMtD+No!Ë\qOZĕǝ{ m\kAtUm%(M'̭z9-\ޠ. 4 @LE.3%nc6PLE_70] O9҅['4-]"=CUPfx[ k*$Oo{yK:FڬM{W|EӱgYZ7zXZִF! #]ŗXi%;+V&C&i|ҁ,gR9=qHmY%Y&ΑG)R @RvӑOv$&i*5 K:!| \1mS16l9R$Yr,vuG%G̠п ١AJL3?/Jaz]}۩; Jqh&lBY+ KV}e7dA$ʭ1@b*4ʽ ԛZධTVi 5;6Lǰcҭܻ޳m6.*2xLo0Kؠ?ӕi5#;OH/r $/UC=IR<ڻ)_ԗ BHĪoXqfD FQ®f[G`aN$YuNwL0es{w]L3MqۼV;?FCCj~gf(RkCɵym)mn<@r$Եs0>z3X- J6F CaE>