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.673cpu=11.240gc=0.564factor=1.687zXZִF! ]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNeܴjOڛ;S @G@MI5 ⹞ީT2X kAqWNȰ"uloC ،,j ȗuOh nB{Hdg q-)JkDUW11Ҁ&%ܷ{/ʏ" ?0(-Aqa.>&%iM!V6)\  O'O40xM&®eZX/A$|Gqlqvz%Np_4h Ƹ~+lUNAf5VVP[I V/#Du B'Qfj%uPÀ)#p5XUr&!2ċvID}Oh5ėpB4CjaGɆ3y)3ޗ QfbyQ2Qg9ڝ|dU_ڜyIݰ(ŵQ5́2=,TruBsT>iH6.nt%܉Xl">DSeUrMO1PwkZi/ B~@ J$Z@l- &"+Vɜ;G"gْyz1pa&]2+skeȥA![2u~8U':8;-{,l8W2C06uw/$Rޔ sg7ËwZ9ϥ;>#anԨ QJ`UvnNqbK_+窶s6 Y¢GMS, "7m@)-X:Ϲ+8 '*a5*)\ӛY*52ҺUC4q{8 #]CL$I*˔,X&}PXyǒSOgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a2730ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f + Binomial-Queues