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  \ ? Separata:threads=2elapsed=14.081cpu=27.244gc=0.752factor=1.937zXZִF! 5C]ŗXf1-q恈NucvAݪ4 c?[2C IfW6aJtHcFٵRvjR}Bi5ӎ5-.m`tf&T*C3QF:tD{Bx ߊP=K&%UZI**_aN:ٰ^|BLH?`M&wG/]Po,֖ !So5!ٝr4{D/h?tW ɘ.T$ăҕT>81̓064=YMucHtHkN`l.P^`$8tѽug&D G,o?İ`q A!]3Gh(Nd9A =0ނ`$T8;6aO(`<ώ_yIhZTV}Şjv`JGa>8tV9)7+qn}yN{%-{/SӔZ8: 6WD@ւm~"FqC> \mZUdϠoK#)}IeY"&\mҳ2 #|Uw"6K(}tBͱ悯eZ\ٺ-IwVyQnzյ!g1Um<+S|Q8gh)TmBDiԁi\yRFZ쏿]bݹ>_ؕtŌfdn(yGYAZ%(:([r/-Z'ʽYck@ltn!ʔ/\]y^ObO@CX2P#ZŒubaB⊙oQ4TR|kLZ"~ӆKkQr߼$6w'wJ-<,Co1 | Q 1^O``i%ri4p g-f%W-( b!`Ѣz!XpObMz-QpݟP͢#ٽM]H~a=~$OK`EZw<. \xRBԧNqqNQ,PG& +\ {)mտ g  {KjY~Wa=誃"{t踧 n>el76"U/bTV:e~ôGwt=Y0H b1 895ywG`]\kI|\ h&H_B-T4wա7"m)\9 Uk.9Ӌz]j IJn, P~O ?*TSm TM8:@߾b DT MQfr$(=hJ>V9LV 9uR*WW=XV EV_+AN"D{̤D0QhWn#T='VTnR6ӷfXZ0TQ΃CkE)^e L.ggTޖ2|RbؽJ}2JsBoהLQ:34 r CgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 805f1ef2c11dc5e38add929aaf5564d01e324df7 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d99711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef   Separata