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  |#$\| ]S]HOL-Algebra:threads=6elapsed=27.101cpu=127.164gc=8.160factor=4.697zXZִF! CJ]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5)7U?kqEA$ֵ9lyw`9O)w@WTʂ{OzE[V%?0TL^@ުYqY䯅*x="ҒmaHׄv,3v  %<.lP}93=z + i'Y>Tn6on t Ui,{P>@ț.iA̞bʣ_x4fW!yR0#Ə9* GlaeW$yw"ZAp|_93)Du6FqԸ]yWL+OHG>:Gmefb{/33Xo<.3SbJkwLe-o-SU]uڔ !2<%:Ze5!1i!ZAhn҈ۂ/lv$͍9!8gn@Ip,M}AuU` (-|@%12b;񮒒sB%Ļ(ý>Oj()e@*ij)o)t4ȽQWbST^ 'vd >.!brׄ;(&:lUWXl#H륟/U(x K-r2^XxJeM~Sn [ih}o zvgYZ7zXZִF! {r ]ŗXi%;ާw w( A+[T27~XɌnJ!#l!0&|ϷZf<\~&~%5(uVeu4\) '쥯2hK;4aoG ecM}`E|mbqI<2fsH!ei)Kט1S}a|'<|]q\yE7x5`»aN;k|F~õݮF ץEt,!:]-rFx-gjf}҂yXLT $|-}&깬q;9#?0/0o%CVO AFw0t=XZSjLOupd1V>^x8qƎzwS ?+9)z{Ă{ՍkMC~9"-苍>p$xbトݦoJr`@$$zHӍ:}\N7a[7#b+ݧG _(x+L1[-!6'Ρtn[oP(h'&"SH(H9'\y/2 5BIo{.uQ.Nlѭۃ7 dĠBoy lZL|aQXcdG$K\DA<|^th; >`VC7/a\KO{CIosHP}ޟ4YK|זV@46#rFVC0ki/@*V )$y|T&MH;I,ș{GgLv_SƎeR5ɜ'b6[&'M0&2mu TH$T?-+E>cvd4\mSb_{6aUjHsMx,=ypduDGxhǫ(%&_@ ,WBoo9r L! |&X̏XX7;Kix8IHѭW1%†4= w7I WetO {;]xܥehf~;CR^ƴ!d1u܎ٴŢ'F>&%$YbTZhb\Ӈ={ ;=Ǔ i[I Zl[VL{ YBN ?14uۿɢ'6Xe#]m)rS FInF:c꓋Z6C{My~A Bp$4`[;L7g*aRJTM=0[lf5Vwob9Wq?96ڜn?|+AJ}sק)Y qȹ[f쀆p٫E^zp1N^ Q Gg(+֬{`/twvs 4 _t3kh6a<#&c;Q^mHr(l\N'eqrSs{IWs|J +l夢Ux=(U7Hsr+Fړ^EƵ2d mmYZs ݠq%wtN#WEЇҺ|ĿX7 bu[94E/#FAk}Vp\#״ juDT1 Rf~UL7XDɄm:EX RRݺsM\~c9 e0fyI9~:ou?u?pʔa9bB5[ďAz@1\ZU!{t)wyN|M P:kZ1@b`8Hڃ v.`&a_ s.Z93*5v.@U=g !0тV>ո{bh2gxez:/# 2qg{qpz-`->؋w6J2C/h{E5hŏ 1wk@ `kTz z 3r` OX^m;è fV>R"8h]huB} g?.U"W $}Hц%USRzlc8,&F{UG+>/W%g/Kpڡ.'(<թ$|̍uVjS" frCosSY@}u2}ZSS&lg&@Ǽn˯ڭFH`\J 1>~(e]픷qRx