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 hlt S/ CYK:threads=2elapsed=5.362cpu=9.568gc=0.512factor=1.787zXZִF!  CYK !/]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣʿW\p2_fmPZ C{%i T{[ J^GlQJKg,jNkST3<u~8X°3_%!oc{z6z->%V!\pd8{n1>i $&c{c8TYPaR)q۰=lLMO%B1U=_I.#`NqMh~9 Yq 3"B ށ ZD/<4A{QVӰx:dܒCc ͈Ѱ6,̓q^)$ }feJMDq )҄WjYnm*]5͗ؽM`ܔU OxDapG.*=x^_"˗-_? xB04/z^KbK(cmXt_+:\at]kN䪑%A nCD)p%d3yL =}y>@_ctޤwSnMj|tdhjY7xj[SԷˡЗɎ鯍ϗ\3l-q )gl=tgGl֪>M Oڞ9Y,:5pĶJhp.GlB{:(>]2[A5%GW Y'S %r,蔁fjrTܨqHXRL nd0w6 7JkA*6D8Gt:T=?Be.gYZ7zXZִF! %\]ŗXi%HWc fRu-˲b8Y4qpdn øNMIVckvy _wG|{Q{}2B)twm$/C'r:$X7=ğ[M&E컥,Cqu#25;Ofuѓf}wT:9)TZ*bJ<`EgZ)N\nnWA]qּ\Wr }OH7Jr"-E ܴ2:--bC[!kld1J2$f?7?/nKz32^4"nx~M9 e(<ԃ`k$s'='r5i9n'9!$8֔dhlM+!~uqo]FOhOB|Нga`e~_^XgIH 7J=gYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07