canonical triples = 74; asserted == 74
template 1: higher-label cases = 36; asserted == 36; completions = 0; asserted == 0
template 2: higher-label cases = 36; asserted == 36; completions = 0; asserted == 0
total higher-label cases = 72; asserted == 72; completions = 0; asserted == 0
