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 d! t, % Splay_Tree:threads=2elapsed=23.547cpu=39.580gc=0.620factor=1.687zXZִF! ]ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%x!rUX2?!&\jNs9 jBDs4ƌ=l3ɝ*?%G]zzǕѓ @D>'pp'evRqN`vv*J,y ~`q(xIOY >GDnB+.y% az<9,[vo8(Hz})"I)ZW[j&wo:E78K'm]\"憉IǣSMxso yE b[bj㭁"+04VjR׽ZԄӶtYmታ]ICx\KǗxcK&U K⻢~ AtزRıgYZ7zXZִF! w]ŗXi%4j&_h"{nZcAqN1]/ASoDio[7.Ye:i*$,_FPCİ[{]M3B1=/nL631Atpវ0r7S)Yp%%]@AnYIvLȹ ʉ ro߭H0~ԔL2 1-2#jP1Ht@v܌s GS:{pq4ex;(V kaڢu.@|i(s4qDibx,bM)TGP*y8xX 6= fsҪen&(V݁W=LmI}iWr6iVȀ=RQM]c5&3?BQ# "xrȉ1KL^vV"ǺdnpQ.#>bK+14*9Qvقm/q=P/[/WG3b\+†CYq낝CX&JsdM濁}R:ImJƀ&ߖ6,c2H"zIDKgKh wgihcq+EHL;)%ٿdha=DtUa2cLQL؄ 7cr G] P9; >+lP!I$\po bBݐ5Y."^Ӽ {ϫBxRvy6Px*sIȼ QW/u\,a]n2#7@G;tbI2j5{PJ+\Xq'D";mS| M"˗$U6JM8r[Pt}/ϯO6At]q"Dt $G,/SuFC8w1: 5 d˛[-UVM&uv q/ՁI→h 0bϔ-9Ww $q7m|$!|.x֣@1^I+hI8w} n>|6[)Q±<T±gYZ2fed56e63e64893cee783edbeb3c8594b2a04eaf 41d32e587e4da97ee0f959ac9fec845bedebdea3 4911514db9319e96806f229551af5299c1698e8c 7661af568cc046b290bf3d73e48e9f58adea5581 80eed581e9827dbf27df0eec911196b92f9e4a07728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d  ! Splay_Tree