SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 Q' 4|D ]S UpDown_Scheme:threads=2elapsed=50.725cpu=96.364gc=4.068factor=1.907zXZִF! ?EQ]ŗXf1-q恉<]d %S TzA=0 e"?Z~=l5Axᶩ.}ؓ& .$`lmT?1F%Y3͎PxVFv' =%*n$Qf[3̄Z8|`'t@~-n)o 9(tYvXAtA{7U端6΃:9X'Y)'+N*Oe"?-4x:h 2h&褛PwJ@"u*a6I4s."^dwV a_ތ@-Rb{lԭqjG_SLWI/0[#!eß5Y\1nb8E "IJ}هOhQ9ݳ-bF(JOw)ͮjQq[Xb;uѻB ?ϖYR=pDKH [vݼmPML!AD$AFO}@^%UgXh5I3^?I,#QTg CBiJH1oX7b`}_D j~;|]HOƇ* ƥ2WmG-m4Y o9C+Ю[(/3,a)eIfisisz)N]G9,bam#vVmu+&Ӿ#"1møPe9`(=RKuM\g^sYGSHGshvQCk_spNީ40:fǠ?l^Y EԂs4Epv ]Zy5/ZϔHSbR O7kdXu9! ²mU /w z)Uxv@#uք`It*{ȄK5hsΤeue-xU[w0>V Kw@55 lI59E;ʅ[(CxJ٨ۍl_NZ\m_64W"<'ɽ6 /&IqHP|>g-^uh]WFd6}2@8MYߵv ]Zp$yw_J1%2/_=FN!ی {" | ճ*PCm9ϴCb`,$iUa50jLP-9^R]%tzʗҤK0=s LUʓBUoH/y3T.h%3Ҫ hED6xԁO7>Bp R4ЉQ9@w+קTvQ&"|8Mf`S>`LP1sW* Pk6xx3w\\ٙcAF[{/N#`0) M>=8ÕHʄ L- <]eg(N+-f&2 A|6igS%j׭\; J-df_^#AA\HnBe$H_m}Nી3@QUaK%gAoIiݪ+͌nfD\"I;b츢kϢM8TgXC" ˋY5֦)F{hc}1+uT#3֏np# b5d:`^#5SCt19n{5ՁUvh#!Kk8"i:;x-8^K Zy졢!Lm{*]} x P~.3=c/>;Xs{jx裀,dOG|)Wb???rw:2E,'* /*p3cVw$L©Ԣ@A]kfGYc䆿 f4.Ӌ+ /X,ٴ-Fz t_i(0_ >~ћ1ԶVvuT!w+(YpG0Ew/ilIӏ)B^^K)1qLSmtc4̍սS 2midHOޥv./9xKF)gLl&é#@/RȠ aq#ì![HwuVkul#7jֹkʜWou\ Oc)`o69?"ҭ,ul2V"kZIGՔ?1sRh:ǣ3&(D#hpMgD jxD5?37VG့/*:uZoCF:аhdІխHwXK}2DzlõH*` Nƒ/BҖh&[^k`e bS&M#sq'89bI2@kKֵ;xM/7]w^˰|cjqQ=Bb w 6*<( xhMBCcx1b̝:u]ղ}ww)cp|f3nh-^(mÒ?2Ng0 D٠ }jP:lcX:6!de۽/Cr:FCX>OqttpzZ8s@`x؇wCHD҆[S#Y!ލ@'rsg)rKh^'h*]%OW|i(B,6,!c_2fPw|]%Td< 6j/kD@ riM ryU DP$݊<@on S/g16 )]{c6$#xnڬ ;~Cp<7r@ۧtz^iMfސŮ1S}4ޱ;p4Ʊ_