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 66G) L\ ] Binomial-Heaps:threads=2elapsed=19.208cpu=34.268gc=2.944factor=1.787zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=UrɹXw; }ڰ 3g^%o|wSnV^d0Kp~٦We' .c,Gmcqo:/˧fyn6]GZ>gЗEL%Z!hʞ)k3cSujXdRsx4%S~uwKr-Ħq@Hĸ6F|zEM7 f>oʇ ػ}}E|ޟLFMN1u4>}K\*0ܥdO"t~~AsGE|W]a*Ho B]J (q []-{UKf`(kW_л-m\ vq@PuA>J&AJOӭiyM-=#Zc\:L\ݱ#W htjw;T&cWU?74-W~Zh~%T?P½JՠmJ8 #.9,w^q)0_ g<QIԇ`