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 %C 16KgAP9iV wyjo͇o= R{ 0%$(ajxz16CVnq|c [^vW$[6YlbQgW%X4<Iz%ÁD8Rr). Ͱ&eXD8@%Q49DS Ȉj3^$9gի9^EW7#L@xiK@s<I7oXa1("LgYZ7zXZִF! R]ŗXi%!W: xm bq?U-^ [ۆSȉT9sQ1-[!uOUӵ#fge6רl]AA +J@d!Bgz -cS_7˸cC]\%M2OR |66 zyN6Yxτlehh4mR>=:˙ LA"JqpSoB_bHs38қu@%K6 knj k#v&VfiA]PѬH}1`! -: 0j*o{0;$<~Dݙκ.A}%1ddjgxTW5 < B$08rD&-(ymg#q+< ֿj~+@σ Pۍɹ rr0]ȯ(chdxlrr")zѥ|*oLunhLW^d; Ae[wR>3EU_(ml⥐ch/1aOйCă=v Z%~oC+wbYȋKxgtpۏSʦ |qTdK-H̻(}/Tz%nQE}JHVN H& 9j=@}!KKW3;