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   w#$t ]/]HOL-Eisbach:threads=2elapsed=4.068cpu=8.140gc=0.248factor=2.007zXZִF! K]ŗXf1-) enȈA XR„M`+p]琳w]AS lLsƩlRYH!F-|;Qخ+ņsvLr)!P\gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko[%q_s{pI}P~lŧFѡdåǧBA &̌&gVǢ{Uߧ 7Tu>ϐjI nnU/kXk3(h`ηg fa'E6Mn=Ͳހ}B) D4h"ͱgYZ7zXZִF! 4]ŗXi%;s$ӯ|tōYi(dH O:G$܈#,['#c紀]nx=?#Z>nLFh3Ϡ2*Jv0m~ d fLWcB3 C"wmv76jD,FAqOrSJ3)8N=̈́ٿ  ǤVy$^- 䘻fϑ`p"B+I5=b<|g+Y=U .?&]Rl qԅlٱcB !iom6 -@#ݹNwZf ^a4˙%=uJc+p|BDU*cTyΖuK7.$r0GER X" $tNG>Q}koܙ"t;B V\Wt%ybtvލ*ʡ7!d^r6wZg_)\c,WyG֩Z8K?+W}7gcψe0=W)gYZdf6871aae4d1b595d71df23156398f92d6f998cf5854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293ff7e5bf139f9d0c09a1e49e24e18f54c9c152726 # HOL-Eisbach