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 gT, %/ Lazy_Case:threads=2elapsed=2.638cpu=4.192gc=0.236factor=1.597zXZִF! ]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%.Dt "anGEc uJ   Lazy_Case*A?oR%|-g =`ʶЙ}q Қ`Z[/mΪu5_ea@H hDf!8>Ʊ ZH ggYZ7zXZִF! ]ŗXi% 4HXy.ů70&n0RqZVpc8߰I"pך02%Z^ؽ3>ƫ;F0Z<',$|lZ蓦ڍ+] J9G˿5eȢ@ b9z?:IH+C)SYq>  ͔H#slkd`7oVnp%g]pjDNW銏}+%!Q?h6 "{!>I>1ddwکpiYagt7h{қ]-4.wNԍgY0ҝ@=輅a^R9g*svSxB ΀ d]Q0G25`حj