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  I I, T c]]ZF:threads=6elapsed=11.770cpu=39.468gc=2.608factor=3.357zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T6oM}{/I龒+ipGeܪ xjIh j/s.e]) ®cZ$Qa2))xVuG]B;Z|LWS~YgE߇'5f].vuީJh lD2@$;Oa'clfJCAw2i@L1P 9s%lIo䉬:ɐ%NE=2zc­ ;P@]kߞ6}jka+S @#kYOcC·ˮ%x4J6ض]<]HP c,炱gYZ7zXZִF! 8y]ŗXi%6zBqa1V>:|*iôkk@Ղ#Wx2LoR,Ne9=W CנP-WYv)8}U漀2՞ za!-ȓ'.RI:{X}벩27}F򂌔-dbz9+1ڊ\$+ӝP&Ȃèg{ܬ,TˉB(d7TRԯ GD*@ DW!," ()>GEQ!aЏ@I Uf W  ZF )ęc5U^!uF^g _m@ѿp \1E`Xr+5xӸѹ6XHj䗚W[yNH.[A>}*{w)aJ#7oinҭq #izTfb8)(6c:U9:bm ߂ED5*7Pmf}e 0 ( Na"#[`Ke ^FHfh)Y:Rnxm7 (zU-i ivj ;b euLgwꯋj?Ѽ> KcHɆ{>2d ~qӛ[;$`dp\u%PzCAL3x.]w R>#(Z@.-FkP0O:LHRog9>JFb+ 9s X凱94\"^ˏ@Ә<',r(Afb~7M^ N^ W)qZDY4w19LFysUnC,~Q:N\9žt `}NaoT