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 HH5C | wI Comparison_Sort_Lower_Bound:threads=2elapsed=8.240cpu=14.012gc=0.444factor=1.707zXZִF! @=]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀J?(0_w}{#l?s[d}cYX)GxMJ{җ]+lei,e=$E#wݨ4?T(!`?mrWS.Nqgءp4JDfwטw@7pklHhO]{ TNEؐZQ8llEY9p -9LSh?-iR=!^\R 7 J?o3nHgYZ7zXZִF! 15u]ŗXi%6pܦũJc=ʡ10yң\aRqįZ]L)oR=[ʭ c}m3f-i]UsJoVр?uY*G?+&i|6vݺ&ݱLgjFwW&2YMuYa>bUZ.%~"og6o`"P[LjdЧ:tk~$ңicrC Ouo&܎ǡgÅ4.5mb37$s@> n(?҉^H!Oq .9]NuOK[[9 %3)O%/6~NBbR5i"b A^P#จ;_4$PF9vo!z y{J)ǧ\4@AOWM@{a17Y2vA RDb#ԱgYZ4eefe214acc9f42eaa94b978559c9f400baa288a 68f419cd412071fc1cb358e405581a6757e30acd 79b9a12952b4b038d65323baa7d33a28cd2888df 7ffc5ba9164a5135c8a774215c31f31768f1b221 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 b8d3a5b7b8837bd2db3847e3a0f26b566f587ba5f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 0370b25103025af935263fa23188c7fd7c232378 6e1dfa1e05bc436f1285eeae35d2557d6e390e7d C Comparison_Sort_Lower_Bound