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 ^ 4 y Optics:threads=2elapsed=23.246cpu=37.596gc=1.208factor=1.627zXZִF! ]ŗXf1-/6vR[$G~fB)|Y=Mtuke F9/=\G'юn;yAb>%V-tUXe7sHDW:JKxlc.Ү0?njDJ5i,ޏnѤx=X4h0"#KU ^]cq*1g:-yW=%J#:ԑ>4⬇XHVhJ8lGbީUljQ.[]ZuzbiaB Y.сGڕgy^FO@ddG'tùUAE*Yڶ~+WF}: I}J{LsSs0n@|(b'kpŷۼ+]!a9#(TV@Q! 8C!kgB|fA$$4#8%ng*X!99]YDsnMniKA)nZ*/b&26be06m B-R-=wc{BvkE^at#j9./܎y? .亿}ݎzT=  .WU\XHǐ}%KιQdpFg[7w4XP"$hu r~E`hb]1MIBlvT@,W}eMy? i(`0؀$b_%WSѹ/?0ilHvzpt$. d/J'af/!j:)&"}HcMAjŮ{q%9?:XSm6+HS/-[Icd.GUO S[K?Y~<^r&Ω=EtuA[`L:{ez2 ԠBs WVWw n.at!ʜ˵V͍ 7/S^ BBzIALB9oBij2p`deC8mH3@}iiYQl>ܰj%x؊˘ 6˹ONIC5; od"WhVk:xܭ%x`'3~Ugm0 iO&p@}P`f"?K!-*fV֘flzCDex5wQ=2:~uk^`fLOe2IwSܵlw5<}