SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F1 4d c Abstract_Soundness:threads=2elapsed=18.535cpu=29.780gc=1.556factor=1.617zXZ 1 Abstract_SoundnessִF! -]ŗXf1-q恈͐7ӺV 1̙ GMji  " ֟kR=9UJ[dvWCUx!!˟l GKpx~Y峨" &:ңk d6@D!2ڨN.TݢY&4CL;HWK.Ŏm:wgkÿ$`.$.deC{s*p !T ~P~oJH !Sȹ.l{{`8T$̠XfX8QyB zlS7RÆrzwDJ:pF(:lBn ֲ=*'y@$gq[k>zUz!ۭ}htˁj.(: N? ^2hQ^:!$dIō44`3IOb #C{/]HG4|s2E.a^QKz0ܦiJ 7#`yFhhq(8 qiGZZkaa -^kDQD0 FGr AN¾'hJ C04Zs>#YhC7=H Ʒ̏U!T7 u9)o')Qe=鱊{Y?,#f`(%Ck5i٠g;|4WV#8uʏ|4)ѩT)᫭yz^=7D.MVF&%VY)L7J2r•wByO>G+&SaaU5j#'lRx^olQ…9M5C4Qk)ܝc[MZ;٫qk) a$0]/X/bMP.~pPak0h<[qP IݧړbMbS܅ ՒFq 6@;7%T`JݘESV^ >XUx-Lk{ޑ)7 WJeef$[{:oPr@wd\go{8&t(iqu<*7Dtpb'rD߲й_Zo48Fk`ak&'w-M!H\1@FZ^b玺=-q*LdNT=׈/x&Ǣ}Fw*`lr@ ٻ4DgYZ345733401f52a910d8dadb57e7e63432afb912ce 513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81 5a8bf46f142fabbc62d8f177806670fdb6d4c2f2 60a4b5c33b59914587cd86950156e1f4dda048de 614ade65f9d7c843f0fa5045c37b00e118348398 b004bec88faa3c7d786fcf116279519116b87a63 c26292328c60c4cd15ecd89b049981321e8ef8b5 cca035523dddb33f6c1096c40433b20f796d9748 d4a7c808b5209d986d7d6f6b5f43b3451099554d d9e310d5411251e4ff41599a279517c493b62d97 e7fb4bd8c7f54232acd6d87a0ca7225756ef7058 fc7344ff3b0e3dfee6086e358daf3f162204296ed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 d49acaa5cbbc01b3fa9e8a339e96e602cbdefd6e