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   `'|4 ]% Lazy-Lists-II:threads=2elapsed=2.327cpu=3.656gc=0.156factor=1.577zXZִF! ju]ŗXf1-/6vRZǽlK[[{]Y^\F{UPc,ydv _u3- Tv*4|UL;gyo +2iTIo.=YyHOIaYM/IE4U|F9ɋJPSPY0yqct~5,2]e~زjϑgIt(ZW`hA*Y!`x.GjgV.KtP>pS3j֢w]J󯑾$$FywQ,:ߧRROFQUX$3zPs$^zHX5 ঒r6ahoYKn~d{r %3jnXxA.Җxc%ީD\V,L5Zf]wSvEQ"jw.HʟSi`NVKxgFvJlԑ,<':}#}6{Fw)3_xgYZfeb42801fa41b403d35775cf876e5043e4184c59f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 46bf87e128242a537a5f1eca2e017689cee9eaf4 bd62c69e6b8e6d113b0de0c12922a916d2f5ff1a ' Lazy-Lists-II