CHECK: 13
CHECK-NEXT: 17
CHECK-NEXT: 12
CHECK-NEXT: 15