SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   l'tT ]% Lazy-Lists-II:threads=2elapsed=2.453cpu=4.432gc=0.264factor=1.817zXZִF! jt]ŗXf1-/6vRZǽlK[ *{twLa:scazл)y ΀TzŒҸxFg,%ٹlL[u\~0em]%=ط 0@XG:hԀ ujpo&*Ҁ*|89*?-Ú=p>rj ]j.´=mT֟fUG7iyL$.|z ܊}܀~|@x7f w5" v:yG,!tqln&nAڀE)7ՖUVi]Ӻv?ŪЂ'mZ&Wbw{C33a'ɒ..ӱgYZc870aaebc78aafe163934adc47e556b845be65418ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 5ccbf70c8bd01fe25f33a8f64fa29c599d91cc02 ' Lazy-Lists-II