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 &&W) , ] Binomial-Heaps:threads=2elapsed=18.835cpu=33.488gc=2.952factor=1.787zXZִF! .]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=UrɹcOJ@ߵ.3Í biԑ\'eÕX`?¦\EQL- ƒ 4$<3_2|j/6@ֱmWF'q0J&0rY ^@Sn741Ʌ.URv[Lɶ!{!:sT(<>hCfb$fAASLJDm9ͥ(=OC! <\d7d9\Ͻ@jH@{*S'~4/wlq=6UqegYZ7zXZִF! `]ŗXi%6QSe-cIp:zW+\Yd* C>'VPr\+<-pUqiex֑nSY'uN"tiT kYcDm[ D(ETGB}[K ޞXXy"сE{¦.vpG nixO1~Sw"qm&Bmܝ%z콬 e*8(j >%yBmv1(9 }*].}XGV#0{w$@nS\zPb:$ 6vgYZ017a188220095e4267fb89ee42514452777e244c0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 ) Binomial-Heaps