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   d#dl| ]S]HOL-Algebra:threads=6elapsed=26.989cpu=126.180gc=8.240factor=4.687zXZִF! A)]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5OӅi" AҰQ]EZ/5q q?kP^O]ps.nYKPb;G=Z+O^`SA[Hm*DȆewlc0ϑ3vMߺ o$ΖQx @WL|4Q?u-L+~)^ձ}|T!aOU"ݓ u=85zü A|W d|_S` EvGE}:됥,(-+PMmq-y0b(nwfTx J1ymF I@AzޙiX5 /,,T,׋ \rzɿ\汧UU@yYa.{}|ZxWƺfŖy4OX?zM/ +AܺnI {MB!ѐt'hQMh13r'GotwPD,l_V LCc} ;D ͮ:w&,l%wMU#,JnCK/_$BGWӓX } g;/%{?M.<=` ߗ<]\·+7Gv طC.XMȴɴ]Yt  ~8TК=,F߶f%)TRCf{%Ԓ\Q+5nA>DmdSQŔ`o!^h4= # HOL-Algebra.]r-VHCA;}'9By$F<.2?JЙa^g1-7g_ Z։V1l𲶯`v!($ *5c$^ c?h2 j ̖UcM6x*@ZSr J Zđ'1UrኙF/\4Cj 6Bt#XR}`,75)o)M 5{tN9,s]]bqk>a(!sȽY&xjgIBQ{t݇lO9Sx|wȀpEA8̂~W{Kc/'/ԣ9jݫ[a4.IF?!FuiujCR" 4*ox,VBmۄ IS5tGNu:*YtəcMCą6ޓ~()ݲEoQ P 5h"c;1p긤CJk I z ο$`mY@m4l<;FN o)G%_~8fMuXÅ2]G*`qrIQ˕֭$u֍͘ /V0)Y,-Eq Y;kg28]Q[/~.궓2vTekb"Mz%ՈX;;0t˃$dfgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8f :nkoDw׈w!XvyeM88/ӳXNLQkR~ (ojex&} $%LEӣ'@j M5=9>\k1Gj"ϗWP:R-{O4^a#ӓdRi;ʡ#1{B T c|Y u\X-KTEDS}P!<ϘdxH&H+ n{B=eO[ܿ(Q罯2ٸձȺrp`|TU‰A)#Uh2 HS,ɳ)y< QSm$=@޳ @6R<g6wXq:uM2A97s8$SueIl}.p;'g7,C n]a"X6fdYBoXy +"gYZ7zXZִF! {j ]ŗXi%;P}OSVٙ*[zfȵ[eŒNH'HpЭh3UcP<\.G+9 ԫVt^fE@mh:ѣӇtȭ)c䬳(Nf@Ƙt}]g E#*/k3~uX= B7tVa.G:oJ~Ge)x!&BJd6^P|vEet/ q:|Ŧoڹ "djum6`IM?4r=x~k5:q tbt|>C ܋ս E8eS|b~G@KYi忨"Z~ϫ?x7 2/8F>GO٧> u^s=wO0w=DQXg3cuQSlg7,Gg޹ʾ2Ӂp9^AW⢳X %{WϦ6T'd:v$rio2F؂Vƻ_?oGoBO ݁`aP{u/a:i^fh#nNM]Kq63Ia[# BR,ApCK''▥9~o??}[޳j&X>!5'5yy2ojev2BBloI .OV&M5y w%!ՆM<‚?rz'H|vi'SSbqac`H"àcj^Ur]@"B+i w%C{w׶ht}Lލ!6a=Ya>o0Ժ[ș LC *bޭTkUVE 9~; :ϗuWA٬#zt- eܣvj0gahZ "-xik.HOa[ȋYskzo%ؒp% V e`+:kSӮA[dq"Lhj9˷iL:=E: b&; q} #tw78 ~&[lJp8!QG ,_xJpxsKUĎ[Q 9șg,N\ J7AN7L;5շf gv+Y=ٮfϏS.u3m JzITC Ҷ-g+mtQv*[Kח66;E7ȕD)UK8c]g NՔ:F'|ДfArC;:CIp783õ&w#%@j`z3쒧['3uZjiAvv2ƇsN([ {y-? M€Vs9Sk3d]*"mcE5ߝ d} kƉ@5cJAZy Bytht**UoA<2 0WNS 7{)BI݉*yUODuأ8a@שBlݢ\IOtdm{(27λվ^/[.pɪ$/]=Zl9䏸N"R{њȭTʴ4a! _*@c/JێKrS$8oP`t#.YsNĬV nA1r GPU+ Qa%On kGu_Vr5~`l@0΂X͇BRi'X3!v`/bR.t kwv[&3 $/bU6+7NL(Gք-x@ i茟FzU]('WH$|JYx@8G]j#pvj 4zk O9fAg;Y!OTv`[n) )lq %B'rs3vxzJR鄟M?)AoXFT$.RL#!0c j=:.zB}vj}gX3=|8ALȭl|1 > <~!N20 !E 0"%=rr$z_H$)oo4_ҟ(*'Y ׷OZi3"Q(y2V$EdS,ʲҋnw