CHECK: [ 0 0 2 3 3 0 2 1 1 2 0 2 2 3 2 2 ] = 25 CHECK-NEXT: [ 3 3 2 3 1 1 3 2 3 3 0 3 3 1 3 1 ] = 35 CHECK-NEXT: [ 1 2 1 3 2 2 2 0 2 1 2 3 1 3 0 0 ] = 25 CHECK-NEXT: [ 0 3 0 0 2 2 2 1 1 1 3 3 2 0 2 1 ] = 23 CHECK-NEXT: [ 1 0 0 0 1 0 2 1 2 2 0 0 3 1 0 0 ] = 13 CHECK-NEXT: [ 3 3 0 3 2 2 2 2 0 1 3 2 3 1 0 1 ] = 28 CHECK-NEXT: [ 1 0 2 2 0 0 0 3 2 0 2 2 1 1 0 0 ] = 16 CHECK-NEXT: [ 0 2 0 2 0 2 0 2 0 0 1 3 1 3 2 3 ] = 21 CHECK-NEXT: [ 2 1 3 2 3 0 2 3 3 3 3 3 2 0 0 2 ] = 32 CHECK-NEXT: [ 3 1 2 2 3 2 3 1 3 3 0 3 0 1 2 1 ] = 30 CHECK-NEXT: [ 3 0 0 3 1 3 2 0 3 0 2 0 3 2 0 2 ] = 24 CHECK-NEXT: [ 3 1 1 1 2 3 0 2 1 3 0 0 3 2 3 0 ] = 25 CHECK-NEXT: [ 0 3 0 3 1 0 3 1 3 2 3 3 0 3 2 0 ] = 27 CHECK-NEXT: [ 2 3 2 3 2 0 1 2 0 1 2 1 1 1 1 0 ] = 22 CHECK-NEXT: [ 2 1 3 2 3 0 1 0 1 2 3 3 1 0 0 1 ] = 23 CHECK-NEXT: [ 1 1 1 3 1 2 3 3 1 0 0 0 2 0 0 1 ] = 19 CHECK-NEXT: [ 1 1 0 0 1 0 2 1 3 2 3 0 0 0 3 1 ] = 18 CHECK-NEXT: [ 2 0 3 2 0 1 3 1 2 0 3 3 2 0 1 2 ] = 25 CHECK-NEXT: [ 2 3 1 2 3 3 0 1 1 1 1 2 0 1 2 1 ] = 24 CHECK-NEXT: [ 1 2 0 2 0 0 1 2 3 0 1 2 1 3 2 1 ] = 21 CHECK-NEXT: [ 2 1 1 2 0 3 2 3 3 2 2 1 3 0 2 0 ] = 27 CHECK-NEXT: [ 0 0 2 0 2 2 0 3 0 3 1 0 0 1 3 1 ] = 18 CHECK-NEXT: [ 2 1 2 2 0 3 1 3 3 2 1 0 1 2 0 2 ] = 25 CHECK-NEXT: [ 2 2 2 2 1 1 2 0 0 1 0 3 1 2 0 2 ] = 21 CHECK-NEXT: [ 1 2 1 2 3 3 0 2 0 1 1 2 0 0 0 0 ] = 18 CHECK-NEXT: [ 1 3 3 0 2 1 1 1 0 2 2 0 1 0 3 0 ] = 20 CHECK-NEXT: [ 2 3 3 3 1 0 1 1 3 1 1 0 0 1 3 2 ] = 25 CHECK-NEXT: [ 1 2 3 1 2 0 0 2 0 3 1 0 0 0 3 2 ] = 20 CHECK-NEXT: [ 1 1 2 1 0 3 1 0 2 0 1 2 2 2 3 3 ] = 24 CHECK-NEXT: [ 1 1 0 2 0 0 0 0 0 0 0 3 2 3 0 3 ] = 15 CHECK-NEXT: [ 1 0 3 2 2 2 3 1 0 2 1 2 1 3 3 3 ] = 29 CHECK-NEXT: [ 0 3 3 3 1 1 3 1 3 3 3 0 3 0 1 3 ] = 31