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 ~~' TD ] HOL-Cardinals:threads=6elapsed=6.605cpu=34.732gc=1.412factor=5.267zXZִF! @]ŗXf1-q恈<-¡$johkX2I)']8PIyLףĞ4Wۨ^}(Za] Q9NbN|]%r ʠiFKڢ ,Ӳ֟ h=1̺+\UZtZip;7#tZ8ֻ)+/ t.2eMtfTUOph[+gJl c)%inF,ek_@՘/Xo&>TY$}8Ds =ԧ7?}-Gk%>@1ىp$H9Pɧ}h Q& P4EcMt}c$/O_A4ᨐ3R?˚"( Ü߾3:X{؃Aل2l=O]z2Ю)iSD6,a(YWL֏{&{읿<-_UifH_Waֵ2sHZGVR d %67B! ֥*R+?mQx$ a1ftQ`֍Xuvk0B /aLv8CC_OP<d5z|vv_{fthn8c. r#`;ufy0ωõ($"nBgX+eM¯Ň(8ؗH-%n,Jļb _];ݞ,x2- BCG1H[ LhTHxf`b$0y-ȝ`UV70.)O7 B~>)3'=}pqgYZ0891b7c03239d1e00afbee5c8855726ae2d10fa17f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 7706dffff9d7b1d162e5ba46a21b64062a52b100 ' HOL-Cardinals