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 ""[ d$ ]S CCS:threads=4elapsed=13.758cpu=40.144gc=0.996factor=2.927zXZִF! D]ŗXf[&:)V<2c_/:`5=^QO1κpj\r|Y8*G/-n8U&_|O0hyxA?[b. (}*=;/[*zr[!P $ OqBvT$x3>XO,>zq$&=AgYZ7zXZִF! *+]ŗXiɟAyԳbɚ->q.cU4R+Ns˜GMBO&Q{1̣Z){ijTAU)gŸ/ǪT論]s E¨;;pS+ש+:HB(h7)?Q>jso3IuIs60~"s聹Uڲ?~R ĵ/JDA96&Slm H|aB6cbkou-U>Aȃ c"gYZ7zXZִF! f]ŗXi%Eb⬞$, 9kQvrW| g''4O ojFrX&ՙx 9*Y'mMz$%~WYټBlMY$:;IݤjXѬ` cmrzK^0\^ rڢ7)2Xj2^dt;u=YR"i}y6.T ^F B5ss)e|[byw70:GΥNi H><.s-`\jKs5Wcϖ l0j*}_Ah[Z-5HHlT `HB*'tT-loIN.OnI4qҕJZ3|b^E4<۱ :H:G MD:/\;lOܭ Chl%Go4 M*?Ju2a>&I0+YnC܌Iޏm1uAAe,O|(wm*@^?Md*ɉ/89gy)Ae(jGzy.tc݅EHPy7"VmGrq}\jYt{mX6yqx^ȑc8£GRHpq O:'fKaHF̔}J]N Չ+zY9I5$\eδRWbGU$/j=";uxL"ŏLyp40G2hd m8g 4Y21: qYr`a{=ȝm4;iUpK⎃?MjV=ZA*JH8H4 7ٜLZzl  "&LKj[>B#ui|8t$<.ql ZQAySNGH9ۡthf+0-+R'U뽗U/̷,WgN ]KLjW=KQb2DE 3@#,9iԀjyǬ/Q;XkR@ZSU :t}%!΢?jQա'4~@ s#21o %4xJI#"}K!43AІroHOBMgmùe|6,g] Ҽ