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   p#4T\ ]S]HOL-Algebra:threads=6elapsed=27.174cpu=127.280gc=8.568factor=4.687zXZִF! EaR]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5NVjBUU/b>z~y/yNfȁ AS}_cd-XIvJr ⎅נk в&MB]>'H ry&y"ƌB[䈞b>29LR9A!|is~E_ pM6+ѧX=D{lo;p\feę=ВBQegc#C+6YorJIcہq t'сC?-vh [>5x)@ 8ۑ֟%ϫd*!,2;:i{1ȉR1C7d9N 7z[W ?j8!͢0GOXwC 1 b;poԼc-$W`"f܄|oI<8?4nY|bԔp~gYş᪢:D;V:&3(pS0'[e¿jrg`ˎ{4 _i4.tV8w879нgslOlyt3]톦e#1PVHxQ;w)BKߩŐأ,v䑗Ylnj"ޠ컃:$a)/}>dB@Mn'>>h’]Xig՚=/? *jN4sٖU^ 9׼׺&8'A -w8Fb>WZ `r7nWCsދS.+4%v^K[s]=L'zTޭA/>BvH^ԁ1 f)s 8t6wS '={C^lbF˼lזּw?&&%yU m*\t`H Y7'5{E`O\m*MN'${ e**+Pec7kN.720֫6&p<p47N%Z+ # HOL-AlgebraKQuCҖV#,OG:HwcR%Gb-5tͭ@46Pl? VŏH ƍ )v٩ZLw"Kv.=ƇlBe—ܔwf5D."Wk]H׷Y4[}y ڥmބ,iMVn E_k 8 K3%> U5ۏ 6ՠO *]8H(!eUӁn l?;$ #(ȕ9[T;̦`;2!.RZ(2(ƥ?u(4%>ay!h~eY%>x((OmYo p"!9*iC_oh^z ee'Wи=h^9Qx5ɠ@)gBH^˂MIT:ntht4QIO}n/lMK(##d W *7OO%h Uw5{/O쎒x`%^xi{HtaEJgk/Ş Os7gCtҘK;zĶ?Ĵ9y-\ '9ڧkL_q=T?Lu2i_W˙>~SpkT~Ā^[0$e!<{ jAPy//ep~) oi*J /X|`nM06Y# gYZ7zXZִF! {{ ]ŗXi%;5tqDix֝Sk8/OWkHSrp.(Ix|֒=UO fiyn$Q;Q歸:yҒQf T78 6WcOhxjkf".bqHu/BeS0W̨yLq2/g<}ΐT`$,Ѳ+FJYKKTeg(lƮ(Tʲo],* ->!sEL Q>aÏ$O! "(B>viI۵ɜn]9REON6b8C~-p_%uarrm#$+[A_ߤr&Os2\INpc%\<evt*OóNA."Y*}CqN '+,|ցOuqc|}U3{a'a:s[.R^oF<;\Pxy_Ssqeͭ~8Y10ў|߭HX=C:Z. @Yk<龡#o;N˃8Oa 2x? ~y-pi*`k]/^8nסV&h| :4Bwg݅!sw%&}$?pR pHiݵg; OgO*ߎ0צW(IaXԓ>줔kcru`Jև+r4 ϫ>"`P~-i73T|8=O!#|l׀efxDD93dMuA^l<>n]A@Ʋ:hܗ o i]]+mBCp\}r3o>&GZGT~jH+~0Y-ƴa~6 ce]?I弧d:OlձrGw6׿\3oo9fogY/{9*`*+0x[ΩrBXI'M{/$c9 B'K2_pRqaRֽ[NgRXIZxCI wn%-9LV]-_FgnV>6 Ap---xWӴH=<:_W{j%=_\;s,*LYkCU4h׭\񫮦l[sjU%F=|*+='K=9MxKVѮ+eC/DnNlg- Hh#mwW<+mɃ8]5.[MW#u?%HB%d ztȄ6frjƇϵ[Z߅v;ŀ~= n2WIZ9wde1){৽]3!4qy![o&gEs,;YA=͗ /}ghuYO0tAjfa ;\jꀩUP?=$b`N@#U26fZveE^")3Wᵑሠ+mM7{ėyQ53gb 悱(  `I1Ȑ 'ٞVWarc[0b/|EjD[ҏ}cCL`O0b؆-[Q8§4ux Ya0F$A>"R`Jy6v>L c@ vY/g3vOiBMX6ĭܔl3Es1ߕyw 3a0D^F9{l ܱgYZ189ac46103e0ac8eaf0152473c90a6e62bf11dc010764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffe f35c87b3fbb1057034e9cc403f839901116188817bb6fa23b28e708cbe9dad5c461db24732f00a60