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 OO.' T } HOL-Cardinals:threads=6elapsed=6.686cpu=35.272gc=1.216factor=5.287zXZִF! $]ŗXf1-q恈<-¡$jo&}TCrLR0 EçG?[%~~F37bvYj*Μ#{MOVjb5#P* S6 "tx>fKg?nnPw d@wOiĠjɗIV]9=~O @S~ȫkH_[4jq*MK7!AvCdsH/X/ZJƃ*3ꊗ(B"|X+a3;i{PDNcVaWvړSF*qb,<%y6h;s%OAUj93JrŋMSbJQ{@L/]E$y-,qt",ߢ/Ӻq9/^y9bEqEfϩ.I2xsΥZjAW_]l]4#{zvZ;cfxi..:/\_k"Y1]҅F.EֲȹILDtA#iܾ'~9xSÊi(2J8g1eDΎ8I[,ŴӚɔK|˞xra?CRLﲃE>}zƉ.šWS6lk`Fk@` &̆]s]QGߘAF9&%.kc34kkԃ