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   $| ]]]ZF:threads=6elapsed=9.985cpu=34.556gc=2.156factor=3.467zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(JIӅiy}D?=Pbg{!RJz z!|Ӱ|_I&=" lX@!GxB/)%%rvI q(/:8r܁aK\K`E#w{lCvYº^V3Fm8m2Q*Rx(8<ʨW Ea.D/gO-}!ZZI5KeL`3蛴Nۉ(uj:>f d.I`X6j2R;k4xN%=ﭦgv}Q7hl8E+o94 Nh 6Z讱gYZ7zXZִF! /7]ŗXi%6MuFWMM=uhWDo|! _[9x{P!3qZҢ_8#^Ob2lgH]5&h)C=5H5]RC3G\ֽ A DF}.-=g8DaH3B[l&Y'&@ %fսduJfP-L$AD݅yMnA`&Nga9ԇr9V@U uʠ=졀ˡd . ?!w uYnV[@'5=q9=9/ pU<.'ru۪>h7įgy k2 Ѭ`S3~6<>XGMix`hhܑZY$ #U.eJ*M sVBLځ" HV&7c01хa Y~zu \m)/9%d4UzᲞ2o_`0>ZՌ;P8HKʿ&w/N;Ĭs tŃ0HF`ř2v ݘ:QaݮܼB=c ;+x(E'mdYSr9a) \p.k2Ꝡat_*qkRP%U)`lP(`18 cWwi-<qPaLH OLm7F, 6x5)q̓r>ah7i.8#.q8Tp99\!;0>ّAiUճVw* uO>fq~T>zNzӷ 1)udq{V%vb( rgoԧ*5scƟ`hz6ȮTwj8)-ȲCg+hЗQNR)MrʶpbGbfmIsT}' 7wNǰ@Wgg LYܼ&oR `d;E<%FkUA9\/kzyb^Ԅ3gYZ90a49e44813577af51803311a41564158b77e981b32ac976cdb9d7611cecd21164b5d37d166a70f21ed13f42eadfe50473d4cae12c3a69ddd7a54e77  ZF