SQLite format 3@ .0:  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 hh1 d\ ] Separation_Algebra:threads=4elapsed=12.172cpu=36.196gc=1.752factor=2.977zXZִF! S]ŗXf[&Q) Һ|q1i˅3ѓAmXo6-Є\bZ&xKw,Xmr]68 ieRu?>azFV?X&3N ~&R!*%V~FdTl^ݒ)$l=@Q:ᱟB֡˱wU[wB;{νJZI@vz!- >W+n!uh ŐE3g·_ߏkM-R6cO2ZSݑ -7˜|nOgh.]QwmGB 4t?n͐CDAg2]Dy{G ds\^*T\]·s3Dע7V /|'lag J䕑!Ld ~.-S9 V~$W-,'Ơd4E(>0z^":<%)̓^sГпlG@uuA[ &zXF@ijc_N['R0쿂6Ek~?oH K'SY}7QyH+CpiýJi^ā ]#q9u.rn/DV9>W8'Q@\ kfBWe2#DTf%#cs$zyKRJ̖ r 4T4D72\qVLﰠN4qU,ONe^ǫvulFQ?l?9hFUͺHnkAWjhv-He舿퓲%Q\,is*oUFt9D٨K!5PG7w9!_`h-n{".Z +|'lr(hݡ%RwTϚ1*ht'M !?G>0>·q^EE\\uzm57c#qp't> dTFYϙ=_蕢B 7j\6o] b$Jk^Lپ>Oz-^*:{@]a0 6XUvkB2 /mr[U)I##n CU5`I>#b̈u-R(X /&VIR%onh3"v;zޢzUzvAuQXcɨ`Yh:rNv6J#Z /xT-wлidk̦taWE =4q% =