Updated proof output.  All true (module timeout/unparsed claims).