SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _9D wS Stuttering_Equivalence:threads=2elapsed=4.451cpu=7.640gc=0.244factor=1.727zX 9 Stuttering_EquivalenceZִF! #]ŗXf1-/6vR[] 9*%fk^"i -ޭShO`;7#;Za9)fOwj1ƕqN/mhtlA4ifbX3ViTḌ%-4U S]ҮAX 9oځ $cgs ĸ<єG$xg o PRb ޓ_ǒ\c,pIw\qO(!,$Rs?ո _+FxZB+)_yyt;,Ă3L鋈Vh]>MS+{!%a̧ȏ V, [faӐ@r d8z?QYS^BZh?2?=kjkif7J?mOLK7 -}F AE #NC?V\) lTZvki/ UaHD6R ®%USnc@yoյԝ-ߺZt"P+ښITh3/ kyZ@K<m<ǹC?^w!m4c;yC"r;xb,˶YVQAD!Ad1),DȌ]"dh*j~Y7\'hN.ߵi-gƣGyTбgYZ7zXZִF! ]ŗXi%:4h@Z]MhH _$W\FE-Xv י 7JIT3xf}z /:=P.r37"ta衘 ş|'ǑJ&5 c1s%󐯌&AJ&il?e苢kBw*c,YJy,M} .P ^ 6Mg?,%VZgy x&$F}.,Xp2|!?FKOuo0{Mn:oJ:h/LM3ԏzsQ(8o.rAÁUz̗Iwʔwv* ^@&͠F}֖sQo)Lz $Iv܂n*b$eUɑhwhBroimsRW5Sq9E1νQmcP@sw~} O^z3ִ50P0.hd6p}oZq) YhHf7pWZ[}]-Gd/{6׌z9^D7{Rg+&WY\mJj~#pq,Ȯ|Co7g)j2Oۮ|O#qG՝[gIA^]c)vQn% J?op| U甴)9 6p?:IiU{AWAmgYZ3ae1dabc7b8ab36c35cf101b3548665f4e63facd 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 fabb7b9da805c545ae9c3aca2c9e25aaa8dd0312878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 b620adee2838b6eb9a396ba0c97bd9edea68648a