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 YY$ L$ ]/]HOL-Word:threads=2elapsed=25.372cpu=48.380gc=2.096factor=1.917zXZִF!  ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zA6V^9ڕ#`zEUw6 nXHL15.~->"X4B*)э }M1]js$xq?yRB euOT20J#R&;jS䖂muvU(CtX7k߫GeF߃E|9z2|/W>ö%n6r @"@[W`pjЉt0ɕ"{۾`LZK 5E~*40/Uٮ-G|IxYq=,0Īի7FZVI"_X3ý>/ԴNX(GXMzG|ڤ%P* M؟y-iR$SQ9݌( b _ 1",!\& iF")K "Z,Ec _zNSN&ҋuRJcHy\?HV.~6]nvx(h\G/>&X8< [,%(^M/qʸ)cx32(2Soj8 z8 €e8r.=|$DjY ,|7'WQ^Iś7t q|Ma<$b.<@v:`sTA N{9@SE: ѼL|k_4t2SgYZ7zXZִF! M ]ŗXi%60e+/Y:Cpn/в=^\7-# ?T舻 %QPs=kD PS7S^~W|w0w%DY7=e}zDs̽Ⱦ%Lu&"DgxC\Tt&vud/lVZr՗Cm__CV;bvT@__7BLb!Ez?~se{#i0w >5U?'L'%:f.̒+Y1d; |6iq]m_-pL /nϘosmLQ J抌b}qGgd:w_G3um%BXnA97زC rSYփ2Rvx u"yͨ*7ykaiP ;&g7onك1| "6(y8-!L],߈<-|Lyf]cJY G% A..᛺d۱ver|d}YllǺצn3:LO#m`6‰e=X#+s ɪ1"7#,li4tj? w5kIU]$E=@3 uDŽ2') Ǽ_ߪ( L:&g y+VLDD*]K:x_r=MP]#QѰh,tdm<^kiYYrUfX\&|>`J+V!VCb` 87T ·yJ&D;9)2tv(v$/\&Db+`6CFsüw^h"ڻP;1xi5]`Te؃`RŪ|X+vlhQ_\_!ဲEeƹK56-!8,QwJK\6;Lȹ+N͒0Z2?>~|e|g$X{@'Ο-6eDJ24U0 JJ7]30I?1Rǀ3a s R_llvg܍C;R@%DWfYs7Wi%Sz sYs.0ִqZ|t}>k6H*?Jv[#]~6tDa߷Ug~Ojr$u%faS :vЋ.+5L=Ǯ5.K