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 GG6 d| ]]]ZF:threads=6elapsed=12.299cpu=45.732gc=2.980factor=3.727zXZִF! l]ŗXf1-) enȈA XR„jlD v { 6d!`RVš<`q,-( O NӨ[֎qQ̻⧐>ԇ'., & 0ERj "u< aa OWC%~9Myo xIޘ{l@`ƐWDyh\*;"J6woR3w$7xIOV)m4V~lfT&xj׍Mm[q vf#+FIu53/Tm\|}kWî;"Gw3; \Tw1lmY{zi\*b\ב I"@KnH- UFznD߫l'_zHj n #4GwmUרv; 3wjIʦIopzw{ȱ)}Av'-Q6~w7EW|gYZ7zXZִF! 6]ŗXiɟ 1FE`uU eC5+"J7&?s";$/3[}qa-FĄճkPp@{0f{Y/qGoE$&~gӻ )e^6+ySVӶ!Fk(lCyBCiyo'G>wsǚ+j2q6iE ƵVzKptB8U{7kWФrCsmX/w匴yȍ,1}YC2b\l0)APH6[?g̀ Qƣڗʛ )& / AO h MrLM$u QǼS;_!-sEh[ UW,ҋDv(HꀗD3 kiR=^25ny< i5_`P8-P 9 .\rÔa,Z*?Q5%\?p-FiE+ T.F`sɺ?7MR8?2_[I9ʁ {t gYZ7zXZִF! F]ŗXi%G>ʏӊ'ǎr}W--Ȼ0d9p#jw7r(ޟqpxpx4牳UYQQA_9{@%\|ȂB#~Z?j!<5׍_B5DdFY:+n]z!ݼH@o }<5w `VKR]H >Bh=~(e8RN^9PUȭWt26T&&GݳCh#LA ;c{)`M9&-&0ɉ>o۬)WNxҩJex8NX lN} i~ OsYΗ({ژQ.9= Qx`ΧfRUmD_nI-@[63]v=r޿Ph2&33wƞIr)+dj}o=q q6_Ԩ+lv!NI'4<:3"70j"ܚjBh#G 5&`oDiO8SyU@ȁ8gZ &74rHm C"+OQkN@M_yX~)R I4F18>xy[ju+b9%*J^&}(!C|?R C]2a`Mƀn4;J2Ž|%Xrq25{V9{QeWv)0-|՘)q~={OZUuj!wK_(>iֈG[jsy-M?%\D@H(aDt=)'uTaèP,Uh]yW˥8E F'5(]ͅ2F9;XVUC`wqq/+TTc[=uBVt>:x^ߘ;PM”Rk ho~>?.}6WE>:2-U&* e5U|hq DG5 x]b hاuWMdT>sWP!RXUq3z(O=/bG_)cq~1ߕ1o@ Lba@JlIUtZE1Ӝ͍={/{#Esʣ3 !V/2;Iaj(FW/e'ST;J?ea<0*5 ?mB鱦u]MMlh:HF R\L%S/ys(".dE!]I}ܕGIu5hްzkC5 A{⡘<ȈH˫rY+/RǼ)žlN}T•㳞(KC6vFLŠ˴ܿO?^tA_k,M~(U&O:炆bNN) \6FgYZc6dd2df49e6d4d6d071449773790ea88f45fe1a3b3638f229a7c654f6777ad6f1e506f774cc49604e322af0ff8a9ab9aab03f829c19c8026c50ff451  ZF