SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 B \ ]]]ZF:threads=6elapsed=12.733cpu=38.384gc=2.140factor=3.017zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw*Iv e]3UEQ2,!P4kPyM4z$}CoMΨ0V"WS ~GwgKշa-X޾@Zȹ7h U?2-e\/;\UqʴΩ/زQ~\4:.4)EH&-p[-7ҖpמcaLh̺LSTCɕՠN #`:>ms.Ե/SWlbp0[0)8L˜ 6%XonGt2u3Z WygYZ7zXZִF! G]ŗXiɟ 1FE`穵gGBz~ʹ*ٗ<_ NkwgBu>BB$pDNK{NN{бTo"\!irk'iesCcL ^j{Sd$[ԃ纁9QuVKGi*SD*^n -D)䚁 BBitc*S>hx5"["nqe٥ iM"afT/VwgYZ7zXZִF! =k]ŗXi%;Stƻt*Ä㴹qb}[Pl̓C+{E}V)?P>@:pQx鲌n[s:oNǥTp'Jfi6Ȯ0cF v[;{s?y) wA(V:GA!hcuk>%KCGxd~2g05w"SsGQHy7e'Τ͚?Fir4~6|Mi7Lώ%Vh!NÒ@Dv@IaK4V>:״mWl|o#uT1_ۘӻyƫ)~?ewpxL~7zG.bd *:78c2s?rn0^F}itH-iA0`(x+_n]Kj *PҀXVβ,HWZԈk0hi4gbZn.gdFU@L.(wOSDj5U~R&#wtޓMm-'xAgru(N V'a޿泴“d |,Ҳn ym"e?|4<Φl0/ ?)9l8wGmTv3A"_z4 7pJu؈"d0ȃf 7txxdg.H9F{gf>2irWeJBFtMŢ;