SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 yy) 4T %S Dynamic_Tables:threads=2elapsed=8.722cpu=16.844gc=0.404factor=1.937zXZִF! ^Q]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґ DY=2-ɒQX9phH^?0kA\]$5:0f*޾OO&lm*^J 6EGG=HM&[gZxx,tҊWEt轨&Q7n\?!!/ulKe|]* fH 4|NY#?l/(;FoVHL$1N_OK&vIE!Rzp?{׉(w)@DwΤ^owrakS |,#PF߆ְͯ&Yh"^ *Q j> r{ه+Bb)vO`4JsBj d$!CѕfLu&V9 3 99sLO::\$,D ewho#PTEj̿v7d^!dʁtKR/]\c# ןr`nE ?ڶ,CC-׷0u7g2d a4_hA ™c㙃\00dؒMSf- &0a*ƻvEnvX9'J4 QCD [{^t"ר Ye*xRmU8&fQ7Dhtxó8Gp'ZΤg}$FPxvAwC,̣>bSLGׁxqlimk. jZ43M p#;d?R9ҶA`Lm@]`>kgM#=1vBl"kml1Z)wgX<'OPGD/d9UF*(;r3 7 !nG">7}T,k؛w3:v  8(ץA})|)01*D_Ά(BqM@M`']6Cc (ZMCڬ{g(=ߏL-eښ %6El+o\P ]eH7\XaY{Bṷ昨򉚌ȴ0xⳏ"/0 y=\lB n@C9=ndS[Q%r6c+5ٗPB "-6u9'r@LYmwJWMԲ)d[)|.WHo+qRXɆ'\JlIA?-iR\%^$ 䖦!K<Oxވb݈ͧw5 .psMyE:z"x ExrX!J0 l䶎ޠ[# DPNSsb\DMy^B "ҏi~)3=[ HJCKSL3KտsP:g;N3Y?v27SHoh:Lpg1$gYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 8646a18dd4379a0d3b0d012ad07369399ab5e4c5 ) Dynamic_Tables