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 II ) Tl w Binomial-Heaps:threads=2elapsed=19.534cpu=35.512gc=3.100factor=1.827zXZִF! wc]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~ ) Binomial-HeapsdpFyrm M8,҉`_L%!}:2&:r1*+Lq(;ԒoGFc^_F[%wNS+6Ptg##|nA*SG_cAqaypEfkKX/ropR7i܁V G]MĄ6`|7>&M ׼^r*`;ęP/t5vlX2a&wf+]כD|F =ߒMgLFŎb5M~7)3@l!qMcwd~cǍ#PQD9ۚlA>T)2"#)Lgpw`&|/-y ?9ZV%2A@8GNwdr!2lLLM{+Bvչ2"^Aτk5 |z k,7"W*]a=&E6ؤ[쓴O{#gkrދq"aY5mdD )a<&ݯ]φ-^*@u =K?Xr _`wB{E(:WJG]ȟ.0uk8dn$:"r!hb?S >\h姣 #Ԁev9'Bp/$.K;t؇ ?kӓgWdu hǧl9MbnXO/0GDi ^ =Nv&9$}'+ؙS0qq,_jgċ8QbK|TZ I(Ӣß'QL#!9ڞ:Epϗ_nC;bLY nʁ=z՞i$",*!.PY'fB/Hpy!K`-朏U[~l{/薰"(r>JݓR8a7D@fhV3|4̔RT5,+؍ 2mhvkUԼAz`rY N !hGQ͡+UUH_=jߣ8H6m2AC-,2@ ] `a?ҾuQ F0_7+V]B3AF1PD!)a~\oieÐ5$4f%[&Qg7?]Ȼ"PlՎal8:!ky9UA2[mLBh|k< O9-<ڠ(w5%ygKXՐ&:G`UVD:8mi:qLﯯ#npLfTتYC(tݎEj7l5T>=ntS KS AI0rA hV;OzN*?"d)N*])8wֆUG,궶[Wq]e?{[Tu};