SQLite format 3@ . BBh77otableisabelle_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 ..O= LLt ]S]HOL-Nonstandard_Analysis:threads=2elapsed=9.854cpu=18.432gc=0.988factor=1.877zXZִF! ~]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒo |WVGp^NƏRTi)[g0@oOL!o= u|ۉ؋bn]n%LiAv<@U{"4`n@ʾSTqAwAw{H"/ka+4x,{ftSXmDDgn^S6:]'z:\TLQeKنYO' 'FWgYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>}$&x8mľ,*9NhEmnU޾^n^KW])+ ׬A&g2F].?K]w&H[NhanH8#@KBzҾ^LU^BZtafgTN'(;aH`>&𗽹,@;DI;4Nҁxz,"=g4&TyV0,] n x7_Ew /g/tAqjbC6T%V $\gYZ7zXZִF! H1]ŗXi%;0m|[vF6?H^wQ_yl~a+sPaILd6cA|*oZKun]UҴ;:k?4\>y 1^Y dG.},yK!5LF sMqU)߁lwn_FL}BO~TSXߚK0L?zl(ܹFEo5-W theL˵5NfC26{hmWqHגڷBvo,DSa7.]8ƺ q_Ir9ST˜G*so~c fx៊jrѿ Yvwblqލl/2/t<$:X%7m'Վ tEGR|I֩u [4[`vL ĶU qw V?z8}fD/k6[~>$ C?e-]YR|^`h8h2ɗQ73͒}@ <@?vb'HT~ъO9gkj NYəA"w֟Z"˼Q*noһjۦFHމHї{ou0 W%y}<ԒH݋n>{n>P>nIԳ}d:up&5 8ԭ2>.MłF^`К[i4"Ex>X ]xͷrg*i2[4VEז^& PE*2)e@Nb -le<*(o۔-@w bO_?yI(t8+pFQ Z5PMK9U /dsw?3Nzkv:A 7uJ20d> &NZFi ª1۰3&֢;'ʼYڑ (pgYZdb03f2638204c8183c14b2d373c666dea7c7e560db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c 046b60d9eb2495b6e979ff904dd5c5d27ff8c452e19986e53c16555f79bb3fc443855e9c29285359 = HOL-Nonstandard_Analysis