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  =+ \ I/ Binomial-Queues:threads=2elapsed=6.372cpu=11.016gc=0.564factor=1.737zXZִF! ~]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nOyl=јȾ+]ӚZUfБZG{ OZ"*c(WE*){%!UPa;"_Bpf%[۸o~FY>+=>]Q&[Hx&ZH>"ՏgYZ7zXZִF! ']ŗXi%6ב 7-1>G *GHZNg"`]Ə[~7s몵ƿ{|U z఩:7ter~;RFa" wJ4p!XDpJ@W&F݅% եE5txeɲH~w!,-^&P"*˛ ǎ!޳Dk諂h'C0hgE ;4]K;TE k0 u4;_+f-x j9] $5drnQ.)믛"yEkBQK6.u O̧t"iWf>ӮB?hEƥt&zVyr31&ad ${! K`R3_+mEͣt+O[+N(ăoOľ.ދREThE?49筸9lS0E/6#.1*V.Ņx@9)DHּѽ"MQ_B FYWSmqD$F繎7\ECN=操Ķ񴢐!ڃ"|K&0²(Co4y ju2m1EG ~w:9d-Uԫ4.">KvL]ȫH[3U,JHHm Q߶tg/5Q[IKA1aUL/{p+Y5jb~3'?O#hkgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 239f7769b1fc08e3444a1b7a432f0e7b2c41f934 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d bc3369707d39191db75f2ac5b0dfdd45b4732e92 d81829d116c813f0b97f449cc1da7b8637e9a273238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 + Binomial-Queues