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  | ,, )/]HOLCF:threads=6elapsed=15.884cpu=37.732gc=1.996factor=2.387zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxE6{oʹ!N6gr<1=j#9cR>7m\Qc1WwܛiP+P9ZaN̢-+U&216Yhd+C%xKk9#POhsóaf:Q@RBgL\ UxP9 ~Ҏs],*[T_ɡjGU'SsˁRbO?L;7thL K|R%@l($c7ép?=, Aw/l[: D  HOLCFi5z X-Rߦ"a׭.ˀCEYdwYw@=Y$'9h@|XړNd}N j6}`kiwo?"5H&Tr|PbwkoMoiʂ^ &eəU>}\uRR ↝NI^E.i"F FŕdhG=?<'ۨ:|h4lUPIv0n63/#~ 7GU{sS>gezލ~|ؓTX$BiNH}ADs:[DƷNQIw\nEթ Ip||m (H$c{dH5gu9&k mQ:9cf-?Fg7y=uFK`i#jh|.P'R{c1M:p>e_E9zOѣڲn-%r^o[=aTЇr,!@SQ,ǯ}BU;T 2Mk.|X_,/c=huxp{P4rF?-m+X%R4bL0 PjCqkBNd =D}!@_s8\@R3q-م|V_+)kMW J2 . Yx潵+{SjH'JCh9WӟH+2۝l5t4#EJlv*blWk0-'ӏ' 4(”vi*:bSk x ;,LND"2`d͒i2Jwni;&MK焎k*PMQ0 ],0 iBZ'6[Sy7xƢأFLk+Usf@ñݤ{,a>昌 l_@N.z]?U|J¸vS :&XU.LNLUBaXu]Ȳ6ʭt"twAJGAEWQЀeeJN%\>0UmԀ`8Qo/Lk7pu0\+&o7>4