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  M+ \< I/ Binomial-Queues:threads=2elapsed=6.491cpu=11.140gc=0.512factor=1.727zXZִF! }]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nO(}VÃTdl3/刺lBN=o*AX~P>!)+,$-q^F$'9n:$1QW"̔z8d+Rt <ܶjes*\E[F ޚyz`_UlT.YK|_TgYZ7zXZִF! ']ŗXi%6uTpr"B~8 rUrbzS4"'(``UZ+]@Ob{K Hr0}5Sn^&r2[JG¤4$*2TTe-)81]xWL_0?{s+^ϿZ&D!6^Tտ`:Cj9 bfBl@Ԍk8@zr?q.L,J5هb D[{zC7?֧aЬ  %eCH8yqU;"z,N#ב`ͳܥZ;0PP5h9rV!ݱ('zu<$?[.Iw6V>@=,>O6|}]/xd2BQfQy<)K~!><hmEK[%"_+Y7f˄PLs:29lz 1X#v35䟇.jSƵݔwY&$2=3 ?;p,}GʱF~ӁAE/ј:>|\A/0hy,kT t[3Lt'2p+evTCQ(5K,D7q=sLN#?NL= ]xF džIRޜ,"NMg={*|j=\ю F2j7t< Ez/u' gvYdK9Lp0+:PP+|7Wj% m2{Rw-#ORjgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a273e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d + Binomial-Queues