SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 B  l ]]]ZF:threads=6elapsed=12.586cpu=37.988gc=2.032factor=3.027zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(*JP ↶&@"8Uvaz :=_L;oȦ}!'"wϢ|Q~C]xn=xr4r,Ez.@gm&F(I]{`> ~wbz8X:$Sڼ{ըC\K]^oϯ_4fA 釵ZL7m30A`?}jI-rw~Ku}:5r?Ӂk`W`gapzD?'QPP@DP 엸onWTD7&t& K]Gϐ+H[}. jnCVo[H&MѾS3Cܼq[eڱgYZ7zXZִF! ?]ŗXiɟ 1FE`穵$t_.#) :4s%.k,aɞ#wRS>L"{œͮo!I\HD<6 ԵC2E-@6ZHFG!qCʗ$bQpw"'˕Ķ :8Uׇ2ҒW^t8j-xv| 5.wv%9Vk$|@}*jRBL6 i tS771\4=^q"QiQZf &SajJ?#}%C4FNy{W0 7aɐb+/ɡ.8/mt A[Sɐ=Pe!IGrXpD< ~`cg{{GL/BYn~C7}^d(($X9uW=dPs(65h))Mꆽ=0 <7;t#0p yw#eX*M`ޡ wczt!=q^0GUS;y|VQ٪@ ܜYq Q侈l\*P GB/<α9g }z*y!M.QZEm{Ll? G`vlsם1Ϲ"r>ϻ#٦ϰT+-3"{.2Ve܍w,.n+GzOc#7R%R.3G$AÙ&U{(,kpU?ņFN. @0P۵21U4B<_?F>zʺWt[ETHnt>Rͬp՟NVEP09 z v vU*6?)B˕Ԁq<ĎU0]w"(И+5+q?HJCzC(۩n`ʖX̲w(цvJ#.qwx T.U|bu8r cTHK;9䈊h X#OaS%/|)¯J Us%k6r~GHչ {W@^"X0KVSq \wQ_9.SmKCύ_׆ g1h*qaC^/T\hJ C3EPJRۄ(@GakXC!A)Le,QJ&fibO!-j9Na O@76T!'Z"78)fj! ݷ2]R8im%#B]n&Emj5 6N|/j zuugYZdd4a76cbeaf59a9fa1e398059c1fcca96748151154cd32f4919d850faca17e94e357093dc43a48d9f1073a2ca22d6f778211bf039c75ba5e41276e35  ZF