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  g g#TT< ]%]JNF-HOL-Lib:threads=2elapsed=1.762cpu=2.804gc=0.000factor=1.597zXZִF! c]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sBfM#1lI(MdCn)xdgYZ7zXZִF! d]ŗXiɟ1?ߟt;9HK?.>e7"0r8yx΍_!D(SxʛIR{4qإnV70g/F N#gYZ7zXZִF! )]ŗXi%92)h_uCv\O+dkj!iaMMz0Q:҄Ask7r1Pވ|̔X&  IzzQp1㨂Z/Ў,fů{]}.9VSѮg0cX"`elWf.͞<j`2Q>G21f(f+C"4]XOA}rgIQEtUF2O#ωY$eJ~ nwӯeꌪvΣ#}1pU޵DDI-Օ5K|Wݛ Az36nivs _t$a6 q?L~6ҧF`2Sғ|LN~hgYZc31182207bd9c022c89ed3282e41ce684b7af67ff4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 46bf87e128242a537a5f1eca2e017689cee9eaf4 4959ce2a4e830d1f517b9343393eefb35954ddf5739be721b64b47e87f6650473b3687a918b9b691 # JNF-HOL-Lib