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 tt ) T< w Binomial-Heaps:threads=2elapsed=19.380cpu=34.436gc=2.768factor=1.787zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ^_@ ynu:ٮDPI^Op+iQJ0 ==F#T4lXL{5I>λ30wǿҶ/4i|8Q6^17X=3LgYZ7zXZִF! b]ŗXi%6{BJ d\,[IkrWg>05?ȴ]T%e] 6ZL>@&Ǽ}DeIjc[_[MF`cs#K `]BUkQ/.*]v-ǨUH'5S6\*E,=ʌp)'}B;7g`6-L-Y["<(6#8 wr˹9.SxuDn6ItJ&>ǎR{麺TQy@"YlUyRpAh6[nuT[XG 4|^2"i3kBZ;y7SG&%Q^g6R@TPF{ f8V V'L,C!=G ; 9^h);Mƣ.T}ו(ʏbٯSě*_k` Hm Fܞ EX̔{YU6S,Mpu_Ryx."$:-X- #cL bh=x>4d3Sp )N(Fd"꬧|)R|Qwl%@z.R8FEkRC<,?#$| iЪ/jTM2Cyg(5rjN,(B^lrYξ!\;OFklo.rDg8GI҈R u%Df *!sң 4Y(ǃ:DY1Y0ٗ/0%f轜R&'Ky>%;6@Wi=:$7YG lFu8A$?Դ/UUB=S<3s:Z#}Y˴Qnݥ$* h&ɐ>8Ǽ^ %=Po$ Xh51> SgYZ040280a786ff45515bea2ef9ad64e761d2d31820 1e9dd46ec93862c07bc18d1357af9f2186650fda 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 86b12e3ccdb30276260b785166ad95ca61adc709 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 ) Binomial-Heaps