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   q d } XML:threads=2elapsed=19.102cpu=28.976gc=2.004factor=1.527zXZִF! k]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R 2v;`4 [tZ 7*Us;_4(S7R2> MGtfu\"rjW\͟2Ph퟾wGE]FApǀz:7`Tw. gYZ7zXZִF! `*+]ŗXi%ʜJ,'v=; wJ3 ˜ݪçL\$RX-q]|pj@~ !@[]=hƜx kL-xWj*G03kvE<݁G&G G{ "t) PHMk l ,auM\5m]W NFэ4w8b>6nvjM+/suNR!sw̶BbR,x3EɱL06a`lf6SPQIЎ ̄yrɁdV~g)۷%boh<+ERH֧BsR ,(/;P-Lo%(bOČ_Rc/tr~eMƍ6D&U)X 7rmO뵋Ss4Bf[QABV@D%,o8n\<軕8{gn~`6zdCx}kQi4H 9b_-6Y5!T{MD,oN5A 3؇3 ,h{f!p6gAD7]H9N|5fEKt^z}vgto'7RHQ/nOsnW6!etLHB(xެtr)>KfkiM~4?9?W {`zLըt;UnUHь u֗gYZ07fe2884c3463aedca90506275e9f2e53c964a31 09866c17fce5b4a8b36ae582acde7f995bb80ff7 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b03f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 3548de0143411ed5dfd3be9ae84237144e952998  XML