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 _3 4,$ ]S IEEE_Floating_Point:threads=2elapsed=29.881cpu=57.316gc=1.700factor=1.927zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kݛ_|J4uSPE^ZW Ç)\O@UlkfsAb'{ϋ"f)1 HQ8 87@q;xBzL7{iyB.:+!@inQrsW :|†Hu<:q 龫_ wIcsZƨ3f0-dJ׶d[N*J uG[w$ņ?cA8Xf׻0C2tPPPz_8 pTm3VkDǩ,i4>,d޲a[A;Ds %0zq6-bmwy\l-f(6q!Y&bgq#[ [, #*sDxcÿwTK^YE7!i >dvx7 KNwj:i^$CU0d;٩|37b*n''5F sﮜK`#`FJn'ut#0v|r a;>m@:$[qRi[aUJ)3RLvayvvڞh+6a(ۜF[;OlN|9 6S̷'pWKB\Khtg뮈lGC\r&WFHm5k?^7gYZ7zXZִF! bO]ŗXiɟ1˦rnzx <@0+gML/T>rLX 6xR~/L~' j۝x «JգW.q ӕ樔ˤ8t].Xr_@͠ASPBc̟KEfW^#9 .HGg=|tsj3F Kt%1M1.7Boyyg>dȳf ]S,24Je[;ӯ2$I%}Bk/R%!& nUȾ}m 6cGŤj%5;UN$dBgYZ7zXZִF! q]ŗXi%;ф$n:X<[qo"[-P$IkgE^*az[sпMdS>-X U2L!Yjk Jxf5hmފ9= }t}jٮmoŜj%49!n PuQ)za\C~Ҹ~-ksK]\H쌗6_ MR34SPԘU5n=2ל|_މ^xbcW~i:U.̿40d_hhSQcOCF pPtcn'Byxr^n!)Vp* ؘ4/ݪ[; eb&[XbwFQeU~>31[6۠I vē|+%mpQ8;Z4#Et"Ca>I4"YJCN1jZ[z~%pzUBQ!K1s Ţs-w4ϪPZm7w!dջ׀uU}L=TR0%2Q1F+];W"v[^ų2xK{(J `:$ E]MR3nSU(fEgy ,wo'6vˣlO(xfI.d_1SNN46K%gr(+x<%F^6QчWP#T74ւQ;}<o2A&kaZ4H=9HLȴ1$apɾ#Ajys]s,y'bܙㆿ<c<@xyp'J4uk>cWs227eSi&y'猢e'{ :k3,1OҦYnwSܬ{8{Yh,j'9/+g)zxl(}zQ G3CW|9J^_=o(wM ɏ3tIL9eH! ' ZnwD; *9ߜް~Os#vT ',pۇR=3tpe:ğMDO%lL7 4ܓ&ٍh[RByݮƋ_93cpI+p\6Ʈ> x}dxtQvJuqɅbl BK@šeߝ l.!p̀o)#WE4t9&̒5x \Ȏ2Ī,F-~pɰtjaD9&5$Q7hBHAb@.G`nO%TOcɔ=j/Kd6a"6#.*zPY%RJֳxGY ]h&/DƮug?)%60>+cJ[==vZ;炿ه5vȺ|ѱa͸*ڜLsS*;$67_!Ё`AǔygJ٤娐 %Zg ~pcA"Y`sl|{UYwX}x"ML<W|%ŢsW S{+H൵h+>h'ɎJ+ӊ!6d䯙/Bqj6Y܊@|m\C9L@|PdDnI':OMYe j^gYZbb8146b2bf683c051577abb5f1138dea00fb273779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 04e2628ece6af1d725778cf37e5368e06983deb5 6ec5a074f88e21307c28c2c9241302beb5a00b5c 3 IEEE_Floating_Point