SQLite format 3@  - .77{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 }}T| C ]Pure:threads=1elapsed=0.533cpu=0.536gc=0.000factor=1.017zXZִF! ]ŗXf1-ƕɸfn쉟8uĠ|B#g p 7.F˸p(Bp:l@9W6 Q;InjT*"\$s?JIJ