SQLite format 3 @ .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [#rtt ]/]HOL-Nominal:threads=6elapsed=8.798cpu=24.436gc=0.9457zXZ ִF ! !s] ŗXiɟ}g7xxZr'^2F%qB×g)Y`cݨwCwwg\2 x8"(P AFc0JCJH(4g\+|sBH(L.L^tKm7c>Oj^v6ҡ>Z_*fp:h|ÿXʚ\6=wO ;\ߨe(5?}+2ge⋁m6xr%JfʼsS5*p&@#zwdBeM G5.NhRg$=,S~SFgO-})`83x CIXf r*k "^g YZ7zXZ ִF ! ] ŗXiɟ1˦r.Hilc`1X15 'EFHF<\c4^->@0fDt#q8 ǯ-7bV'gT7Lz[PW &c(pҤ |Śg YZ7zXZ ִF ! ] ŗXi%iBa`їaW{)}AIB'Q R!lYZ[ɯ-^H =@}5 o`$L_ y!+1@"I,^\re s]o1qJ|W@|K<ςD^7Oi`*{)s,qvj`N`_Oη8/2wj.䢢$AD'ܽz$=J#qK /x+#͙Y!b1^' Θ|#/jvG&&rzql`)@P<6QBy =~D'*A l5 fq/y~&h7wySשNzG ւ6Rb=БKuv~p(:Ԁ݉w rc~z6 ]ݰ1Dg@{P=⪝ɦ빷 t#?@A5g(wb^, P#:%N5}H=W ABXNċg jc+v7$_{X7dw2yCHJqpYqNYQvKj˚KS\_j{l U!xߞluyUJW!cdY#ՅQq.~Eۊ>NZֈyFN4(7p5ztwK5wxªf'G.3RW9*r#: Ib14~QzMR&*tQ+O>*z;ՍmFQ=' D1[E7w@nҋÁY\J@3AlpHV- @щ.v,ٛjoۺ\! f7 M%ǀ>Tz Z!=N'9