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 r% $D %S Posix-Lexing:threads=2elapsed=15.616cpu=28.612gc=1.636factor=1.837zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v5͗W?b51tr{'uJ1(Cۊ`5Ujvf|EH׳GvqԤ}g8K!䵅FZZp?#>"@Z̸w70m8,4Tp"q奅 VP BQ&-WXuo̤@PsT҂jե"@QpshV 'N,kQ8Gn?yun6yE1 %\ % Posix-Lexing<ʧJq5@bV!e]At Tfwlm!w/嬾x=I'Q. Mr+񰇇pK/hbD&mS۩ LV*0[QOi{.pzӁ|AfS| *UfH׌ίeS8)=p](ltntDWY2q*!M3;AG&_㣚)eMU#g0&(!='KB|FЩ p6HCx5nw:_%IBxbʆK)PXlQ<9L±gYZ7zXZִF! O]ŗXi%S?]CYj9J4 @U7K,{7Խc.0o2c$rТN $i$*gYfM yr&0+tko4$jum?4A(涚;? :h:|0B5ق KqWY U  %k[С i7$xi_堟IPc,zv1L 4>4+aBٝN:[,fDM{Eա,hg!"Z`c*,b7fpYwzWM`:n#6=Q@!sƓP"U]sp}i1?U[ k>z٣  G󙚿yRҝ5z>5X^﷑>-m7^w%1>E(w*OIF\Ť"neಢfdz.qa ;>0⯥-j$ߔ~ŷ}qk^BXch6t 'pY&XgԴ ;a/lFX18`ֆ.a&M|TĘ.VpP<21paΨq^-IT*lgPp850cxZms>Ip\mgWA&hD=*ۏ(aH&RR2=JvH$i>O!^kQC<2|'f))Dnv~=8;1k} V2T E]}.hŚncڳ!ڡIN ПgYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e4080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 82281c4ac5e66f6d98a57e0cbf8641497b518836