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  = =8 <,  Category2:threads=2elapsed=18.558cpu=34.380gc=2.156factor=1.857zXZִF! }^ W]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gńɥ((ƵʍjA7bW*9P /js x+OItS.vm@i&31 QL=oES:Q lx+S| 6kჰx%-%,Yi@lC ZPh.k Or@X~ #Hm;Pu}<-F%Bq ):sмge6x)12cν^cFTZRR Wf~Mbt9kdzy}#;ȳ42\2gK?j J$u bHї hg2S8A0L9;+tL?l^2u&wI"*~ovPܨd-gGJl'Hhjm|m&  b-(Ֆ :#.nqlA@OKrNcR³xvhJ   Category2.CB^cώ~Yw4#I0]VɒQC-t7x@'a=IO$<dbz!nڴu:sh{lxi&M $'dJ% 9 Fna/e 98Oa9Ǒ,@ J/ukAdE˯0g\gԴ/NېdR(zF89ңit@҂&B`] EI$AG*T6=ϤP ;?-'¢l_F)ӊpX-ܤ 1Rl8(W!CL7L]\M,@':6dF :!gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71ffd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c