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   ,L  Category2:threads=2elapsed=18.355cpu=34.280gc=2.184factor=1.877zXZִF! V ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gg1Zs[;o! {~*dcR<OM@2'6`Q^o B!'j_]:?$~N ?k"yM+:٪ ?Hځ.f WPePhήd_%3HE9;H|UK OH5l@J'GRAF &ߟ|!x gyeK zr1e@P/t~K 睠\/3o HIUѸP9zjkdϔ)kg}vR),X,ƅ`fQl}̓z, -xޘӣ?G\`m"j }X7 `=.-A_ B9(ԑbEn N{_D7߉S: l)/ʵ$b6'5PCvgM9tQƽ3'يm>/35Gov{|gY-|}Ќ]:XG,@Kjܮ4>KNOz8#B`5ef6%8|NǧB!˯T`-988g΍Hݢ78$b=f8ĉǼ-Eߜ8.V'tʒYi5oɬִcØ<)<)15Ck9u񑻺,/q]JnҸ c6\>R?K- &_ix<# HIG)EpI 6Xx궕|AJxslEIOl<XrE*$L3+{&A*vw"/i8e6 GtɱgYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71fc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e