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  `'dL ]% Lazy-Lists-II:threads=4elapsed=1.801cpu=4.520gc=0.180factor=2.517zXZִF! j]ŗXf[& omv1uڧ|,yw:A3p KVD@ AE SgJ5F~ʓS"dj1 Gv* 4s9yfgYZ7zXZִF! H::name=Lazy-Lists-II.LList2elapsed=1.613cpu=4.272gc=0.180x^R3HaI`S}YZ7zXZִF! ]ŗXi%B 6 "BD-1mE|Qp` Cvp!6Ap&^ ȃR IxثTK82؉ô`Kݷnoݓ g=/z wCsp\;bv"d$*!Cab (i>!];=N*mNxPKX)1JYРN!ҁɑNHGX9>'lo_" oSC6 H F0>"¤ hv/ᎳAQ‰D x ҏYM>(RC̞/,!%=߶pߴ**b(_p"[B|x.0sq`m%++bٳce/#9Uxxmww lc7a^]gs4Q|}y?[%(xl1Ǎ\!z!}ZUPEa6nw=MbatSSg0<%dfa4Hx`)ȿr | nf6G{~ ɝfRUc_t$X sq1o~r;9j.PZ7ssjHx v}-w{şiڒ):7۰gYZab0249f637ede03b0e4d88c1636c2adde3db88d7c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 43cc344025a5b3f9e9a5e56542f5af92850eec11 ' Lazy-Lists-II