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 i ,L S Show:threads=2elapsed=13.106cpu=25.528gc=1.288factor=1.957zXZִF! P]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFI$Re ,.Rq3~7`0b¾|@p| v!ÅyM؜l1`3sr۳aFꬦ1e[-c&ǫzƹblIxpAcee9*&XVגKK%#TX|SԾIxM^}^H?lu v nW6/UbPSKF#H8LlQo+$o| ĂQg-@!FT9vJVhC[<4⊴ n{[A)^K3q`(& 7odmBlH @B&GUR[hĸp+<1Pk7oU _߃u EE=ۅXCaI[|D#[L=$A؋l7)E.fdE!m9JHA|!;j s$2_0Osα%(] 3Z ⲱ{:o7aTz!')`KCKéU(t)CȷJ*KҤ.H8FŎ!NwS13i\ Z%0Eb- d 7}-yXAKA CjC3{Qmkܑ&r6Ƴ uMӅXb>ȱ (cd(}{ FUH%p,SEyd1R2e?f;ŗzNFz%n j/dnXJnfZ%,psTy1LWԑpp*@n7a!fwE+F=j/z@F뙷]D4)ek~L-X8F] ; b;Ɡ^4vYw@\覍+R}wSdplgmjhܭ#%J:JbSf֪B$`{.Z[\ʟq&-{wm!Le/;q^φGCPwFzZA(d PTgYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c f6691e89a9c4f19c79859fe0d6f759a73c1ccf7f  Show