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  t? t ]]HOL-Computational_Algebra:threads=2elapsed=56.624cpu=99.524gc=5.652factor=1.767zXZִF! 34]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ʉ8qeӢ{3(b`{:]4UYZy/DMl4KjK8M:L+C6 ^ ( n'j@CtFN.~;u  .qh"{%sFW8(3U8TY-&V /4Se〜LWEh^Vz}n+mo԰$a&~;VҪ<敪/65u޾Gӵ']jT$33+a!2q&Pq>@9ˬBq~wz`?+<-dAtg[/lzФPy`bQ{-7G F?̺4~$a!П6!-P݁]k☼)GeX~o(/3&.:OGsR+kťsB"z+FC` Mקg[f8џȂgCY>)raBغk7XI2MU" -ijk-^r(.hS""PUkLa5}b_MSo`(cDVmSXN= *%LEaf*ppmz C#~=%_șU6UKu>#D1/ɔca J4`Hl4VҸI%ŧfÐ2aenQf`_\@EycVWOlT)~jr$`ɻՁXe :toXvu{s[4R5x8%X=5 ϠnO\61{^  Z} ? HOL-Computational_AlgebraDr4%ƀs] $;Dg[V|@U83bp:fގ/;vq. &=\UF2, g!dűgYZ7zXZִF! ]ŗXiɟ1|HV|)oVaR&U5yI~Я_|m^?z  @^gYZ7zXZִF! ]ŗXi%;P":Cu߷)$D,оyd l@p`.IBd*Ռ+r@Wu2`)S>K[Ŗ}`Y+ ɲ "܄ R f]l:NzBZK藱؊N-h[4 9tqίKR&_-Lu2Gq&TFa6, Vy,=ö/쒎,$u6coBzr{m`+:;H= D h',ޠhN7w "gU[LE9 {D) _>9bbKj>@\6x~|)BzJn. JYcHV1[tm+``q1!k\oF LtM{T AǠwAP|vHM9Ɍ!3mGI4:ks\o8~`(bWI1H6H3בf +?/;ZEZ:Z1>@mY onw:B/6pl?@,YAjBÎ_+G\$oizJ[HS))} sbd R[\U#UAS8u[] /mOLA19E"6 q3I/y $@Fϡ0UM|Sj7n ,Y] kE]PZ>x8Qrtr&9ikNh }O,:733&{_%b -3^sK؝z˂%F?uHX뵑97n"P ĤtU"[wK:`;PS>'Kw${ֳ]gR7y8%qy3vA5(\88_Čg0wC5x}0 PS9yrd`*t0HE-Avc`@*-JÄG=UA1PE?WE#ܩ#5ܐIaurU-1.;w~Ai{LWf+7STg[ 0ύ[/ps1' DIj1% [+*zI#OQr1!, A_UGH-Y=/|ϙс"QrvJ_:#/6wr7a rP&^ BqY0%ChSD@~q#cr``eP 8|*q90 9։k*&Ðp vi'L?W0ܨl@KhkE¤Ϫ1ڳxfy٤|v0BpL% Ń+<w17k+bKx\5mKhB!ʩ?XrG2?`tVt"'pxي +3F`<ñ0ben2ef*ͳ>Q8T'qk@s GKʂ̍Ceܝ?S^kGI[<.o_#RXcIRX#W19R<'A@zE႞w5**jQ EK.1a҉b4+C-w`▫ex{xpOT&WjQM֩ԋ\52>oB .'.sVϒZM/wڲB?#>uvҝEnG nl>?Ay,uxW]\dn\رaܫ&U "4JVM &}[~%ےde\ EؿOO+8g& 7]7E P/&m):6=ep'>f/a&d`9'n>yzZjYST8trsNz-.mF{T&}hg\ưD t4rWGn5Iqp&QY$ߛH<4%-?0516{\fמ Cq=P.@_j:zt"Q!͟[!I͈ V {( NL#4*9̩ 9.P tL$tPx|zV1H?"7dŨ)Q3/[&z]`>\?PR%EO¹lz ]^nzEpC($}䮒ב<$Z4$ͷ0u>X6Y FLwq:Mchݜ@,`;ιHeQNc (YT( :!D/*ĬXSV ǚ{xϘu5h2IϥX)E~em[vd:2=ceHi8Ul~nPVMRʄd C1hbm1.+eKix UWXٟV)YXPi/-1Mzo2"N~S=J9qX |].؂ rId ь&:!L