SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^#d4 w/ HOL-Lattice:threads=2elapsed=2.221cpu=3.564gc=0.000factor=1.607zXZִF! *]ŗXf1-q恈zt`7MDc(e%hNǙ8}9>*k`1obn}(m_no^Y| ՞1х"73VU4,tL5-O%FjE:7'8^[LP^s%-`kasC19HO4r7QNb2(сr z?-ܼ\pbzcS<3*gGq # HOL-Latticeo%DLve5g{.殼yoZ}5g'dY_oRk`dž 7ԧR%gYZ7zXZִF! ]ŗXi%#f7Bǒ!jPoPU|YM28>*n1 6:u4jK @d-6'f"Vز7:;bԲ\DH;nLJ#jn-b59p"0@-,kx&ʤŔZEnX]Eح]=iO <+<Ȫ(5Ї(7V-Łg~وӨOrtD$r4z͊ۏy$Hސ::C(ZZi:ݒ,SE;E{D-J]?/*d/k ֖L-;n?uGĦwjm TbaX2=vHR%$n tWg|eoľFg{IRY8 yK