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 a T| } XML:threads=2elapsed=19.436cpu=29.608gc=1.996factor=1.527zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R 9*&x%]]aY}fTdgfN*:3f$V(bEpD\s&7TU.NT׀|ĞqL|+2t'2=smvRrQnlNP ~"IRI'VN ^Z#=d؈p7hS.4 MYt5܌\=DQLaM&nJ}9^_Wыa1QMt# ^(瘴-ױgYZ7zXZִF! b5]ŗXi%6gHi 3X4cy6JLz iXHMF3Bd塕ԃOѯyZFsFJB-؞spA>#{.q($ȹ/FU(;Lr o.]WP|E7zձR OQ2C/(J٭>*[;HQa6AWv\}:V !w.? Hwwab&r:GDl?G" A L-Y蛾.YLng@V,br*Kryf~Q'?QM*GlJuG60p\E:c۔'C@^x@6PZ2~@.yZʪqxP',EkW'Bh epH׬@ }7 wkϨ;̰)eGs=8>ݥ3K*bu-Ulv.c \WQw/wZ2-Q'OxD* TZiE}8R"ͯdlz?vsYbk 8V8tRH/*hJLfK"FRW^ pgZQuĐi E7;q;G9Bҩہqsixta嶘GE$SY@X:B6jvԑRmGe9q;gMs}S:iVchT(%UzxCI0NI=+Hf2~yJ^-ι-_b8qܖK(ɂ +rofUqs{p_PoV6] Դca7D.NV\7! }Ռ"'ϥtz;8,̠d@WB]" ,)L|e m;%:սFPsЪ,7cTp}D$c(E miF~epx$|խJNP nE.QRoީ9UWVml"&z{o{ұ^7S}Wvt\*{n=cxXL*>/:0>)R~S5܌ѯf}Wx-.CT\/ z9 ];fZo^_VFUU*,O ӽL^^#nc)BU5?zN"u5SYl*xNP_e I &WgYZ07fe2884c3463aedca90506275e9f2e53c964a31 09866c17fce5b4a8b36ae582acde7f995bb80ff7 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1be4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f  XML