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 00M ,| } XML:threads=2elapsed=19.292cpu=29.508gc=2.024factor=1.537zXZִF! t]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R @JrWg=84S؝ZX(TH_~MSy8k.{A^`*o!'Bf*~bx+6+;5[ *qP5(;rJrҊĸzռFL%V~|rgI*LQ=+ۦp[q,WW5nq0P:󅆏Bp쥫'bιHBsvE #]ϼC5އ^y0rFDi*ԇJvU" HqKEῇYړ=5rm.E8cJVD̰"M~,cJMv"j'>ɞ,u8r 15tņVA- >23Sݪ!) \spX|JV\H4vcUQPQ6KXj8ט2!Rg5$+XdyF($]Woq<\}=>O0 g_`} tb= ]eFCl1 y!Mg).h^FQHa,gYZ7zXZִF! `66]ŗXi%6n(n>~sInƑI쎚WJq⎃rqtU(z H≳5#M"$bwu2a"Ay%wBIls##-`G($ bCܳd NsԊjqցHŴAvCگR^L²lPv8њA.bq1gE!L-'QA\%,6FZ%wu}-zRYyoFe?0h<ڊ_2m_},xJQqzRnvgq|wO<O&.Ӛ`܁bkk޾zqnKB8A6"t z&RqG8 U<ʞج oA aR"TC MB$&r1&54NDDWd%l.ky~z*(8s i|VLh$ͺEjA`s *D%}vQpnrnOM/hG47I2N'} &+& ͨKjR`N9DPfXF`wȮ!Kq;һuPkcjCu+6?OX+1j[hZkT˝"-b\H+DOpEᆼ$v7[n)utCZQ$mkO2nAe73]ie.وWؼS zPBG"u/%HOH:H_yGpW?st%*mC/oFI3`R=JOVyd]4,(uoqnyvAUy-H$+T* "_sR25=`v]j>?)H]kk#0K͛T.~Vrjz:7=?@mK!Dnw,b*ǯz<4SGmcxS܃({M3qn9}{ DFlY C[1X!;r,u.h0J$yRmȅm0QB <|+_/6 zޱgYZ07fe2884c3463aedca90506275e9f2e53c964a31 09866c17fce5b4a8b36ae582acde7f995bb80ff7 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1bb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796  XML