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  ,F&+.cD_áB-0Z섂"X1 hNH)Y߄y5 4qzLkG'8֠ ޕl뤯*QJ;P4#huOlغ%Y fհ ,:<Z/2 ˶9FE)dU pu["?h_T:j90\:3G@haAO}(/&tiпO;W@VΓPv1 s\NA" x]^gng i75ߟ[nKPJ]GO~Sl;cͮbN81*%nAibc"&۾VГ8}]Z7G'ܩzb#e3v^Oʙ^+LM쿊8>!N EF=S i\iQk%P+TRH5X32>4!::8CќV::i2ߞՉ N`kQzB1D] q@I^o^o|l4vLP鬁iɗ6ϻv+3chnYcWUd5/s}I@IB񢪠6}42Sn IeޞO<+>p9"j$2TORZPmě5lF7lylxdzd/cc$Ru& UgYZ1915a702d7aa01aee056ed74a3e6ad1dfe052e158ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a  TLA