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 BB; $$d ] Tycon:threads=4elapsed=6.619cpu=20.220gc=0.864factor=3.067zXZִF! _ ]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱڃ͞yUF`*~SNEct9p3wxpCi5K=`o> Q𫦰mv##.IU dT}.cO:t Z~M({*UL 42ǣv`ja[;^^XΗ>RR bSbeR y1\wk rP:x#E44=BBFY~g Vt\ZHE.Ypm"փtK@;WM{ZS,NUEY~3Ç87֯)vSLPb7m3*Q08p?&"+OFZ{钭 |K^b\/&,VhIǼT,0Uo}4M\QP<@g9lбgYZ7zXZִF! I]ŗXiɟyڳ&U2FHF~J,?Ty刡qeC1s J .ďv}iY1ԡ#&%A-ZSPz[ݘ\ ~/l?"O3ʗr|6 %Њ`QAڿ^kzcw>Nȝ"34>Jc GEJ;iYx=4L6fyLyLblY0ۼxAHaԮn>Lo &b;|nk7/z^RyV!-I"g=F27W& qbgYZ7zXZִF! ?]ŗXi%GV!$@گ#a}1ŎAjAR7uLԾ.ZrieD<(sDb+ 76u1Lx &IsV4*>Kų]-h;w\sDCw#I WDpƬEçt ,Pv/+lBU Y*;r }NQoCɨ^#=2Ɩ\ ́|[Hl 3ot7J1h#sDˆ4}  ru;̱/޶}DN6_h<  ZgMB&Hb (6N\ʏ$F<ܨ˯ О~8>S6àLzA}kF^cd޳trvV{{:ypfՈ[iJ)-϶|AK˅NĚ7_Fy0)nF]ָ&F:gk=Wx]RXB) 'ֽ@8<ܮY j>ܰB17Myx.ERk%bsߟL]7:كwu> .҉aLN#7ڼ~mVFѵv2 韵|$MOJa!~(=}L08v~0N[ dNWaqDI -PmU% YT[-x"X,t2<(4NL\aZˈrp>EspNv):Q3O3o'#D߽kRI;5!0+&%erYa! d8a}@PK/ci=VEij5Aw.`yV~ZYZ *38x)4.S%ηUAzv5küK8HsN~Z ׬dgYZ43f73311d55d8aa26481e59d86585bcdffdaf2044b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 f3f649306a47784fa6d8a6fec93370899016cdd2  Tycon