test/Operators/relops.baseline

a[0] <  a[0] = false
a[0] >  a[0] = false
a[0] <= a[0] = true
a[0] >= a[0] = true
a[0] <  a[1] = true
a[0] >  a[1] = false
a[0] <= a[1] = true
a[0] >= a[1] = false
a[0] <  a[2] = true
a[0] >  a[2] = false
a[0] <= a[2] = true
a[0] >= a[2] = false
a[0] <  a[3] = false
a[0] >  a[3] = true
a[0] <= a[3] = false
a[0] >= a[3] = true
a[0] <  a[4] = true
a[0] >  a[4] = false
a[0] <= a[4] = true
a[0] >= a[4] = false
a[0] <  a[5] = true
a[0] >  a[5] = false
a[0] <= a[5] = true
a[0] >= a[5] = false
a[0] <  a[6] = true
a[0] >  a[6] = false
a[0] <= a[6] = true
a[0] >= a[6] = false
a[0] <  a[7] = false
a[0] >  a[7] = false
a[0] <= a[7] = false
a[0] >= a[7] = false
a[0] <  a[8] = false
a[0] >  a[8] = false
a[0] <= a[8] = false
a[0] >= a[8] = false
a[0] <  a[9] = false
a[0] >  a[9] = false
a[0] <= a[9] = false
a[0] >= a[9] = false
a[0] <  a[10] = false
a[0] >  a[10] = false
a[0] <= a[10] = false
a[0] >= a[10] = false
a[0] <  a[11] = false
a[0] >  a[11] = false
a[0] <= a[11] = false
a[0] >= a[11] = false
a[0] <  a[12] = false
a[0] >  a[12] = false
a[0] <= a[12] = false
a[0] >= a[12] = false
a[0] <  a[13] = false
a[0] >  a[13] = false
a[0] <= a[13] = false
a[0] >= a[13] = false
a[0] <  a[14] = false
a[0] >  a[14] = false
a[0] <= a[14] = true
a[0] >= a[14] = true
a[0] <  a[15] = false
a[0] >  a[15] = false
a[0] <= a[15] = true
a[0] >= a[15] = true
a[0] <  a[16] = true
a[0] >  a[16] = false
a[0] <= a[16] = true
a[0] >= a[16] = false
a[0] <  a[17] = true
a[0] >  a[17] = false
a[0] <= a[17] = true
a[0] >= a[17] = false
a[0] <  a[18] = true
a[0] >  a[18] = false
a[0] <= a[18] = true
a[0] >= a[18] = false
a[0] <  a[19] = true
a[0] >  a[19] = false
a[0] <= a[19] = true
a[0] >= a[19] = false
a[0] <  a[20] = false
a[0] >  a[20] = true
a[0] <= a[20] = false
a[0] >= a[20] = true
a[0] <  a[21] = false
a[0] >  a[21] = false
a[0] <= a[21] = false
a[0] >= a[21] = false
a[1] <  a[0] = false
a[1] >  a[0] = true
a[1] <= a[0] = false
a[1] >= a[0] = true
a[1] <  a[1] = false
a[1] >  a[1] = false
a[1] <= a[1] = true
a[1] >= a[1] = true
a[1] <  a[2] = false
a[1] >  a[2] = true
a[1] <= a[2] = false
a[1] >= a[2] = true
a[1] <  a[3] = false
a[1] >  a[3] = true
a[1] <= a[3] = false
a[1] >= a[3] = true
a[1] <  a[4] = false
a[1] >  a[4] = true
a[1] <= a[4] = false
a[1] >= a[4] = true
a[1] <  a[5] = false
a[1] >  a[5] = true
a[1] <= a[5] = false
a[1] >= a[5] = true
a[1] <  a[6] = false
a[1] >  a[6] = true
a[1] <= a[6] = false
a[1] >= a[6] = true
a[1] <  a[7] = false
a[1] >  a[7] = false
a[1] <= a[7] = false
a[1] >= a[7] = false
a[1] <  a[8] = false
a[1] >  a[8] = false
a[1] <= a[8] = false
a[1] >= a[8] = false
a[1] <  a[9] = false
a[1] >  a[9] = false
a[1] <= a[9] = false
a[1] >= a[9] = false
a[1] <  a[10] = false
a[1] >  a[10] = false
a[1] <= a[10] = false
a[1] >= a[10] = false
a[1] <  a[11] = false
a[1] >  a[11] = false
a[1] <= a[11] = false
a[1] >= a[11] = false
a[1] <  a[12] = false
a[1] >  a[12] = false
a[1] <= a[12] = false
a[1] >= a[12] = false
a[1] <  a[13] = false
a[1] >  a[13] = false
a[1] <= a[13] = false
a[1] >= a[13] = false
a[1] <  a[14] = false
a[1] >  a[14] = true
a[1] <= a[14] = false
a[1] >= a[14] = true
a[1] <  a[15] = false
a[1] >  a[15] = true
a[1] <= a[15] = false
a[1] >= a[15] = true
a[1] <  a[16] = false
a[1] >  a[16] = true
a[1] <= a[16] = false
a[1] >= a[16] = true
a[1] <  a[17] = true
a[1] >  a[17] = false
a[1] <= a[17] = true
a[1] >= a[17] = false
a[1] <  a[18] = false
a[1] >  a[18] = true
a[1] <= a[18] = false
a[1] >= a[18] = true
a[1] <  a[19] = true
a[1] >  a[19] = false
a[1] <= a[19] = true
a[1] >= a[19] = false
a[1] <  a[20] = false
a[1] >  a[20] = true
a[1] <= a[20] = false
a[1] >= a[20] = true
a[1] <  a[21] = false
a[1] >  a[21] = false
a[1] <= a[21] = false
a[1] >= a[21] = false
a[2] <  a[0] = false
a[2] >  a[0] = true
a[2] <= a[0] = false
a[2] >= a[0] = true
a[2] <  a[1] = true
a[2] >  a[1] = false
a[2] <= a[1] = true
a[2] >= a[1] = false
a[2] <  a[2] = false
a[2] >  a[2] = false
a[2] <= a[2] = true
a[2] >= a[2] = true
a[2] <  a[3] = false
a[2] >  a[3] = true
a[2] <= a[3] = false
a[2] >= a[3] = true
a[2] <  a[4] = false
a[2] >  a[4] = false
a[2] <= a[4] = true
a[2] >= a[4] = true
a[2] <  a[5] = true
a[2] >  a[5] = false
a[2] <= a[5] = true
a[2] >= a[5] = false
a[2] <  a[6] = true
a[2] >  a[6] = false
a[2] <= a[6] = true
a[2] >= a[6] = false
a[2] <  a[7] = false
a[2] >  a[7] = false
a[2] <= a[7] = false
a[2] >= a[7] = false
a[2] <  a[8] = false
a[2] >  a[8] = false
a[2] <= a[8] = false
a[2] >= a[8] = false
a[2] <  a[9] = false
a[2] >  a[9] = false
a[2] <= a[9] = false
a[2] >= a[9] = false
a[2] <  a[10] = false
a[2] >  a[10] = false
a[2] <= a[10] = false
a[2] >= a[10] = false
a[2] <  a[11] = false
a[2] >  a[11] = false
a[2] <= a[11] = false
a[2] >= a[11] = false
a[2] <  a[12] = false
a[2] >  a[12] = false
a[2] <= a[12] = false
a[2] >= a[12] = false
a[2] <  a[13] = false
a[2] >  a[13] = false
a[2] <= a[13] = false
a[2] >= a[13] = false
a[2] <  a[14] = false
a[2] >  a[14] = true
a[2] <= a[14] = false
a[2] >= a[14] = true
a[2] <  a[15] = false
a[2] >  a[15] = true
a[2] <= a[15] = false
a[2] >= a[15] = true
a[2] <  a[16] = false
a[2] >  a[16] = false
a[2] <= a[16] = true
a[2] >= a[16] = true
a[2] <  a[17] = true
a[2] >  a[17] = false
a[2] <= a[17] = true
a[2] >= a[17] = false
a[2] <  a[18] = false
a[2] >  a[18] = true
a[2] <= a[18] = false
a[2] >= a[18] = true
a[2] <  a[19] = true
a[2] >  a[19] = false
a[2] <= a[19] = true
a[2] >= a[19] = false
a[2] <  a[20] = false
a[2] >  a[20] = true
a[2] <= a[20] = false
a[2] >= a[20] = true
a[2] <  a[21] = false
a[2] >  a[21] = false
a[2] <= a[21] = false
a[2] >= a[21] = false
a[3] <  a[0] = true
a[3] >  a[0] = false
a[3] <= a[0] = true
a[3] >= a[0] = false
a[3] <  a[1] = true
a[3] >  a[1] = false
a[3] <= a[1] = true
a[3] >= a[1] = false
a[3] <  a[2] = true
a[3] >  a[2] = false
a[3] <= a[2] = true
a[3] >= a[2] = false
a[3] <  a[3] = false
a[3] >  a[3] = false
a[3] <= a[3] = true
a[3] >= a[3] = true
a[3] <  a[4] = true
a[3] >  a[4] = false
a[3] <= a[4] = true
a[3] >= a[4] = false
a[3] <  a[5] = true
a[3] >  a[5] = false
a[3] <= a[5] = true
a[3] >= a[5] = false
a[3] <  a[6] = true
a[3] >  a[6] = false
a[3] <= a[6] = true
a[3] >= a[6] = false
a[3] <  a[7] = false
a[3] >  a[7] = false
a[3] <= a[7] = false
a[3] >= a[7] = false
a[3] <  a[8] = false
a[3] >  a[8] = false
a[3] <= a[8] = false
a[3] >= a[8] = false
a[3] <  a[9] = false
a[3] >  a[9] = false
a[3] <= a[9] = false
a[3] >= a[9] = false
a[3] <  a[10] = false
a[3] >  a[10] = false
a[3] <= a[10] = false
a[3] >= a[10] = false
a[3] <  a[11] = false
a[3] >  a[11] = false
a[3] <= a[11] = false
a[3] >= a[11] = false
a[3] <  a[12] = false
a[3] >  a[12] = false
a[3] <= a[12] = false
a[3] >= a[12] = false
a[3] <  a[13] = false
a[3] >  a[13] = false
a[3] <= a[13] = false
a[3] >= a[13] = false
a[3] <  a[14] = true
a[3] >  a[14] = false
a[3] <= a[14] = true
a[3] >= a[14] = false
a[3] <  a[15] = true
a[3] >  a[15] = false
a[3] <= a[15] = true
a[3] >= a[15] = false
a[3] <  a[16] = true
a[3] >  a[16] = false
a[3] <= a[16] = true
a[3] >= a[16] = false
a[3] <  a[17] = true
a[3] >  a[17] = false
a[3] <= a[17] = true
a[3] >= a[17] = false
a[3] <  a[18] = true
a[3] >  a[18] = false
a[3] <= a[18] = true
a[3] >= a[18] = false
a[3] <  a[19] = true
a[3] >  a[19] = false
a[3] <= a[19] = true
a[3] >= a[19] = false
a[3] <  a[20] = false
a[3] >  a[20] = true
a[3] <= a[20] = false
a[3] >= a[20] = true
a[3] <  a[21] = false
a[3] >  a[21] = false
a[3] <= a[21] = false
a[3] >= a[21] = false
a[4] <  a[0] = false
a[4] >  a[0] = true
a[4] <= a[0] = false
a[4] >= a[0] = true
a[4] <  a[1] = true
a[4] >  a[1] = false
a[4] <= a[1] = true
a[4] >= a[1] = false
a[4] <  a[2] = false
a[4] >  a[2] = false
a[4] <= a[2] = true
a[4] >= a[2] = true
a[4] <  a[3] = false
a[4] >  a[3] = true
a[4] <= a[3] = false
a[4] >= a[3] = true
a[4] <  a[4] = false
a[4] >  a[4] = false
a[4] <= a[4] = true
a[4] >= a[4] = true
a[4] <  a[5] = false
a[4] >  a[5] = true
a[4] <= a[5] = false
a[4] >= a[5] = true
a[4] <  a[6] = false
a[4] >  a[6] = true
a[4] <= a[6] = false
a[4] >= a[6] = true
a[4] <  a[7] = true
a[4] >  a[7] = false
a[4] <= a[7] = true
a[4] >= a[7] = false
a[4] <  a[8] = true
a[4] >  a[8] = false
a[4] <= a[8] = true
a[4] >= a[8] = false
a[4] <  a[9] = true
a[4] >  a[9] = false
a[4] <= a[9] = true
a[4] >= a[9] = false
a[4] <  a[10] = true
a[4] >  a[10] = false
a[4] <= a[10] = true
a[4] >= a[10] = false
a[4] <  a[11] = false
a[4] >  a[11] = true
a[4] <= a[11] = false
a[4] >= a[11] = true
a[4] <  a[12] = true
a[4] >  a[12] = false
a[4] <= a[12] = true
a[4] >= a[12] = false
a[4] <  a[13] = false
a[4] >  a[13] = false
a[4] <= a[13] = false
a[4] >= a[13] = false
a[4] <  a[14] = false
a[4] >  a[14] = true
a[4] <= a[14] = false
a[4] >= a[14] = true
a[4] <  a[15] = false
a[4] >  a[15] = true
a[4] <= a[15] = false
a[4] >= a[15] = true
a[4] <  a[16] = false
a[4] >  a[16] = false
a[4] <= a[16] = true
a[4] >= a[16] = true
a[4] <  a[17] = true
a[4] >  a[17] = false
a[4] <= a[17] = true
a[4] >= a[17] = false
a[4] <  a[18] = false
a[4] >  a[18] = true
a[4] <= a[18] = false
a[4] >= a[18] = true
a[4] <  a[19] = true
a[4] >  a[19] = false
a[4] <= a[19] = true
a[4] >= a[19] = false
a[4] <  a[20] = false
a[4] >  a[20] = true
a[4] <= a[20] = false
a[4] >= a[20] = true
a[4] <  a[21] = false
a[4] >  a[21] = false
a[4] <= a[21] = false
a[4] >= a[21] = false
a[5] <  a[0] = false
a[5] >  a[0] = true
a[5] <= a[0] = false
a[5] >= a[0] = true
a[5] <  a[1] = true
a[5] >  a[1] = false
a[5] <= a[1] = true
a[5] >= a[1] = false
a[5] <  a[2] = false
a[5] >  a[2] = true
a[5] <= a[2] = false
a[5] >= a[2] = true
a[5] <  a[3] = false
a[5] >  a[3] = true
a[5] <= a[3] = false
a[5] >= a[3] = true
a[5] <  a[4] = true
a[5] >  a[4] = false
a[5] <= a[4] = true
a[5] >= a[4] = false
a[5] <  a[5] = false
a[5] >  a[5] = false
a[5] <= a[5] = true
a[5] >= a[5] = true
a[5] <  a[6] = false
a[5] >  a[6] = true
a[5] <= a[6] = false
a[5] >= a[6] = true
a[5] <  a[7] = true
a[5] >  a[7] = false
a[5] <= a[7] = true
a[5] >= a[7] = false
a[5] <  a[8] = true
a[5] >  a[8] = false
a[5] <= a[8] = true
a[5] >= a[8] = false
a[5] <  a[9] = true
a[5] >  a[9] = false
a[5] <= a[9] = true
a[5] >= a[9] = false
a[5] <  a[10] = true
a[5] >  a[10] = false
a[5] <= a[10] = true
a[5] >= a[10] = false
a[5] <  a[11] = false
a[5] >  a[11] = true
a[5] <= a[11] = false
a[5] >= a[11] = true
a[5] <  a[12] = true
a[5] >  a[12] = false
a[5] <= a[12] = true
a[5] >= a[12] = false
a[5] <  a[13] = false
a[5] >  a[13] = false
a[5] <= a[13] = false
a[5] >= a[13] = false
a[5] <  a[14] = false
a[5] >  a[14] = true
a[5] <= a[14] = false
a[5] >= a[14] = true
a[5] <  a[15] = false
a[5] >  a[15] = true
a[5] <= a[15] = false
a[5] >= a[15] = true
a[5] <  a[16] = false
a[5] >  a[16] = true
a[5] <= a[16] = false
a[5] >= a[16] = true
a[5] <  a[17] = true
a[5] >  a[17] = false
a[5] <= a[17] = true
a[5] >= a[17] = false
a[5] <  a[18] = false
a[5] >  a[18] = true
a[5] <= a[18] = false
a[5] >= a[18] = true
a[5] <  a[19] = true
a[5] >  a[19] = false
a[5] <= a[19] = true
a[5] >= a[19] = false
a[5] <  a[20] = false
a[5] >  a[20] = true
a[5] <= a[20] = false
a[5] >= a[20] = true
a[5] <  a[21] = false
a[5] >  a[21] = false
a[5] <= a[21] = false
a[5] >= a[21] = false
a[6] <  a[0] = false
a[6] >  a[0] = true
a[6] <= a[0] = false
a[6] >= a[0] = true
a[6] <  a[1] = true
a[6] >  a[1] = false
a[6] <= a[1] = true
a[6] >= a[1] = false
a[6] <  a[2] = false
a[6] >  a[2] = true
a[6] <= a[2] = false
a[6] >= a[2] = true
a[6] <  a[3] = false
a[6] >  a[3] = true
a[6] <= a[3] = false
a[6] >= a[3] = true
a[6] <  a[4] = true
a[6] >  a[4] = false
a[6] <= a[4] = true
a[6] >= a[4] = false
a[6] <  a[5] = true
a[6] >  a[5] = false
a[6] <= a[5] = true
a[6] >= a[5] = false
a[6] <  a[6] = false
a[6] >  a[6] = false
a[6] <= a[6] = true
a[6] >= a[6] = true
a[6] <  a[7] = true
a[6] >  a[7] = false
a[6] <= a[7] = true
a[6] >= a[7] = false
a[6] <  a[8] = true
a[6] >  a[8] = false
a[6] <= a[8] = true
a[6] >= a[8] = false
a[6] <  a[9] = true
a[6] >  a[9] = false
a[6] <= a[9] = true
a[6] >= a[9] = false
a[6] <  a[10] = true
a[6] >  a[10] = false
a[6] <= a[10] = true
a[6] >= a[10] = false
a[6] <  a[11] = false
a[6] >  a[11] = true
a[6] <= a[11] = false
a[6] >= a[11] = true
a[6] <  a[12] = true
a[6] >  a[12] = false
a[6] <= a[12] = true
a[6] >= a[12] = false
a[6] <  a[13] = false
a[6] >  a[13] = false
a[6] <= a[13] = false
a[6] >= a[13] = false
a[6] <  a[14] = false
a[6] >  a[14] = true
a[6] <= a[14] = false
a[6] >= a[14] = true
a[6] <  a[15] = false
a[6] >  a[15] = true
a[6] <= a[15] = false
a[6] >= a[15] = true
a[6] <  a[16] = false
a[6] >  a[16] = true
a[6] <= a[16] = false
a[6] >= a[16] = true
a[6] <  a[17] = true
a[6] >  a[17] = false
a[6] <= a[17] = true
a[6] >= a[17] = false
a[6] <  a[18] = false
a[6] >  a[18] = true
a[6] <= a[18] = false
a[6] >= a[18] = true
a[6] <  a[19] = true
a[6] >  a[19] = false
a[6] <= a[19] = true
a[6] >= a[19] = false
a[6] <  a[20] = false
a[6] >  a[20] = true
a[6] <= a[20] = false
a[6] >= a[20] = true
a[6] <  a[21] = false
a[6] >  a[21] = false
a[6] <= a[21] = false
a[6] >= a[21] = false
a[7] <  a[0] = false
a[7] >  a[0] = false
a[7] <= a[0] = false
a[7] >= a[0] = false
a[7] <  a[1] = false
a[7] >  a[1] = false
a[7] <= a[1] = false
a[7] >= a[1] = false
a[7] <  a[2] = false
a[7] >  a[2] = false
a[7] <= a[2] = false
a[7] >= a[2] = false
a[7] <  a[3] = false
a[7] >  a[3] = false
a[7] <= a[3] = false
a[7] >= a[3] = false
a[7] <  a[4] = false
a[7] >  a[4] = true
a[7] <= a[4] = false
a[7] >= a[4] = true
a[7] <  a[5] = false
a[7] >  a[5] = true
a[7] <= a[5] = false
a[7] >= a[5] = true
a[7] <  a[6] = false
a[7] >  a[6] = true
a[7] <= a[6] = false
a[7] >= a[6] = true
a[7] <  a[7] = false
a[7] >  a[7] = false
a[7] <= a[7] = true
a[7] >= a[7] = true
a[7] <  a[8] = true
a[7] >  a[8] = false
a[7] <= a[8] = true
a[7] >= a[8] = false
a[7] <  a[9] = false
a[7] >  a[9] = true
a[7] <= a[9] = false
a[7] >= a[9] = true
a[7] <  a[10] = false
a[7] >  a[10] = true
a[7] <= a[10] = false
a[7] >= a[10] = true
a[7] <  a[11] = false
a[7] >  a[11] = true
a[7] <= a[11] = false
a[7] >= a[11] = true
a[7] <  a[12] = false
a[7] >  a[12] = true
a[7] <= a[12] = false
a[7] >= a[12] = true
a[7] <  a[13] = false
a[7] >  a[13] = false
a[7] <= a[13] = false
a[7] >= a[13] = false
a[7] <  a[14] = false
a[7] >  a[14] = false
a[7] <= a[14] = false
a[7] >= a[14] = false
a[7] <  a[15] = false
a[7] >  a[15] = false
a[7] <= a[15] = false
a[7] >= a[15] = false
a[7] <  a[16] = false
a[7] >  a[16] = false
a[7] <= a[16] = false
a[7] >= a[16] = false
a[7] <  a[17] = false
a[7] >  a[17] = false
a[7] <= a[17] = false
a[7] >= a[17] = false
a[7] <  a[18] = false
a[7] >  a[18] = false
a[7] <= a[18] = false
a[7] >= a[18] = false
a[7] <  a[19] = false
a[7] >  a[19] = false
a[7] <= a[19] = false
a[7] >= a[19] = false
a[7] <  a[20] = false
a[7] >  a[20] = false
a[7] <= a[20] = false
a[7] >= a[20] = false
a[7] <  a[21] = false
a[7] >  a[21] = false
a[7] <= a[21] = false
a[7] >= a[21] = false
a[8] <  a[0] = false
a[8] >  a[0] = false
a[8] <= a[0] = false
a[8] >= a[0] = false
a[8] <  a[1] = false
a[8] >  a[1] = false
a[8] <= a[1] = false
a[8] >= a[1] = false
a[8] <  a[2] = false
a[8] >  a[2] = false
a[8] <= a[2] = false
a[8] >= a[2] = false
a[8] <  a[3] = false
a[8] >  a[3] = false
a[8] <= a[3] = false
a[8] >= a[3] = false
a[8] <  a[4] = false
a[8] >  a[4] = true
a[8] <= a[4] = false
a[8] >= a[4] = true
a[8] <  a[5] = false
a[8] >  a[5] = true
a[8] <= a[5] = false
a[8] >= a[5] = true
a[8] <  a[6] = false
a[8] >  a[6] = true
a[8] <= a[6] = false
a[8] >= a[6] = true
a[8] <  a[7] = false
a[8] >  a[7] = true
a[8] <= a[7] = false
a[8] >= a[7] = true
a[8] <  a[8] = false
a[8] >  a[8] = false
a[8] <= a[8] = true
a[8] >= a[8] = true
a[8] <  a[9] = false
a[8] >  a[9] = true
a[8] <= a[9] = false
a[8] >= a[9] = true
a[8] <  a[10] = false
a[8] >  a[10] = true
a[8] <= a[10] = false
a[8] >= a[10] = true
a[8] <  a[11] = false
a[8] >  a[11] = true
a[8] <= a[11] = false
a[8] >= a[11] = true
a[8] <  a[12] = false
a[8] >  a[12] = true
a[8] <= a[12] = false
a[8] >= a[12] = true
a[8] <  a[13] = false
a[8] >  a[13] = false
a[8] <= a[13] = false
a[8] >= a[13] = false
a[8] <  a[14] = false
a[8] >  a[14] = false
a[8] <= a[14] = false
a[8] >= a[14] = false
a[8] <  a[15] = false
a[8] >  a[15] = false
a[8] <= a[15] = false
a[8] >= a[15] = false
a[8] <  a[16] = false
a[8] >  a[16] = false
a[8] <= a[16] = false
a[8] >= a[16] = false
a[8] <  a[17] = false
a[8] >  a[17] = false
a[8] <= a[17] = false
a[8] >= a[17] = false
a[8] <  a[18] = false
a[8] >  a[18] = false
a[8] <= a[18] = false
a[8] >= a[18] = false
a[8] <  a[19] = false
a[8] >  a[19] = false
a[8] <= a[19] = false
a[8] >= a[19] = false
a[8] <  a[20] = false
a[8] >  a[20] = false
a[8] <= a[20] = false
a[8] >= a[20] = false
a[8] <  a[21] = false
a[8] >  a[21] = false
a[8] <= a[21] = false
a[8] >= a[21] = false
a[9] <  a[0] = false
a[9] >  a[0] = false
a[9] <= a[0] = false
a[9] >= a[0] = false
a[9] <  a[1] = false
a[9] >  a[1] = false
a[9] <= a[1] = false
a[9] >= a[1] = false
a[9] <  a[2] = false
a[9] >  a[2] = false
a[9] <= a[2] = false
a[9] >= a[2] = false
a[9] <  a[3] = false
a[9] >  a[3] = false
a[9] <= a[3] = false
a[9] >= a[3] = false
a[9] <  a[4] = false
a[9] >  a[4] = true
a[9] <= a[4] = false
a[9] >= a[4] = true
a[9] <  a[5] = false
a[9] >  a[5] = true
a[9] <= a[5] = false
a[9] >= a[5] = true
a[9] <  a[6] = false
a[9] >  a[6] = true
a[9] <= a[6] = false
a[9] >= a[6] = true
a[9] <  a[7] = true
a[9] >  a[7] = false
a[9] <= a[7] = true
a[9] >= a[7] = false
a[9] <  a[8] = true
a[9] >  a[8] = false
a[9] <= a[8] = true
a[9] >= a[8] = false
a[9] <  a[9] = false
a[9] >  a[9] = false
a[9] <= a[9] = true
a[9] >= a[9] = true
a[9] <  a[10] = false
a[9] >  a[10] = true
a[9] <= a[10] = false
a[9] >= a[10] = true
a[9] <  a[11] = false
a[9] >  a[11] = true
a[9] <= a[11] = false
a[9] >= a[11] = true
a[9] <  a[12] = false
a[9] >  a[12] = true
a[9] <= a[12] = false
a[9] >= a[12] = true
a[9] <  a[13] = false
a[9] >  a[13] = false
a[9] <= a[13] = false
a[9] >= a[13] = false
a[9] <  a[14] = false
a[9] >  a[14] = false
a[9] <= a[14] = false
a[9] >= a[14] = false
a[9] <  a[15] = false
a[9] >  a[15] = false
a[9] <= a[15] = false
a[9] >= a[15] = false
a[9] <  a[16] = false
a[9] >  a[16] = false
a[9] <= a[16] = false
a[9] >= a[16] = false
a[9] <  a[17] = false
a[9] >  a[17] = false
a[9] <= a[17] = false
a[9] >= a[17] = false
a[9] <  a[18] = false
a[9] >  a[18] = false
a[9] <= a[18] = false
a[9] >= a[18] = false
a[9] <  a[19] = false
a[9] >  a[19] = false
a[9] <= a[19] = false
a[9] >= a[19] = false
a[9] <  a[20] = false
a[9] >  a[20] = false
a[9] <= a[20] = false
a[9] >= a[20] = false
a[9] <  a[21] = false
a[9] >  a[21] = false
a[9] <= a[21] = false
a[9] >= a[21] = false
a[10] <  a[0] = false
a[10] >  a[0] = false
a[10] <= a[0] = false
a[10] >= a[0] = false
a[10] <  a[1] = false
a[10] >  a[1] = false
a[10] <= a[1] = false
a[10] >= a[1] = false
a[10] <  a[2] = false
a[10] >  a[2] = false
a[10] <= a[2] = false
a[10] >= a[2] = false
a[10] <  a[3] = false
a[10] >  a[3] = false
a[10] <= a[3] = false
a[10] >= a[3] = false
a[10] <  a[4] = false
a[10] >  a[4] = true
a[10] <= a[4] = false
a[10] >= a[4] = true
a[10] <  a[5] = false
a[10] >  a[5] = true
a[10] <= a[5] = false
a[10] >= a[5] = true
a[10] <  a[6] = false
a[10] >  a[6] = true
a[10] <= a[6] = false
a[10] >= a[6] = true
a[10] <  a[7] = true
a[10] >  a[7] = false
a[10] <= a[7] = true
a[10] >= a[7] = false
a[10] <  a[8] = true
a[10] >  a[8] = false
a[10] <= a[8] = true
a[10] >= a[8] = false
a[10] <  a[9] = true
a[10] >  a[9] = false
a[10] <= a[9] = true
a[10] >= a[9] = false
a[10] <  a[10] = false
a[10] >  a[10] = false
a[10] <= a[10] = true
a[10] >= a[10] = true
a[10] <  a[11] = false
a[10] >  a[11] = true
a[10] <= a[11] = false
a[10] >= a[11] = true
a[10] <  a[12] = true
a[10] >  a[12] = false
a[10] <= a[12] = true
a[10] >= a[12] = false
a[10] <  a[13] = false
a[10] >  a[13] = false
a[10] <= a[13] = false
a[10] >= a[13] = false
a[10] <  a[14] = false
a[10] >  a[14] = false
a[10] <= a[14] = false
a[10] >= a[14] = false
a[10] <  a[15] = false
a[10] >  a[15] = false
a[10] <= a[15] = false
a[10] >= a[15] = false
a[10] <  a[16] = false
a[10] >  a[16] = false
a[10] <= a[16] = false
a[10] >= a[16] = false
a[10] <  a[17] = false
a[10] >  a[17] = false
a[10] <= a[17] = false
a[10] >= a[17] = false
a[10] <  a[18] = false
a[10] >  a[18] = false
a[10] <= a[18] = false
a[10] >= a[18] = false
a[10] <  a[19] = false
a[10] >  a[19] = false
a[10] <= a[19] = false
a[10] >= a[19] = false
a[10] <  a[20] = false
a[10] >  a[20] = false
a[10] <= a[20] = false
a[10] >= a[20] = false
a[10] <  a[21] = false
a[10] >  a[21] = false
a[10] <= a[21] = false
a[10] >= a[21] = false
a[11] <  a[0] = false
a[11] >  a[0] = false
a[11] <= a[0] = false
a[11] >= a[0] = false
a[11] <  a[1] = false
a[11] >  a[1] = false
a[11] <= a[1] = false
a[11] >= a[1] = false
a[11] <  a[2] = false
a[11] >  a[2] = false
a[11] <= a[2] = false
a[11] >= a[2] = false
a[11] <  a[3] = false
a[11] >  a[3] = false
a[11] <= a[3] = false
a[11] >= a[3] = false
a[11] <  a[4] = true
a[11] >  a[4] = false
a[11] <= a[4] = true
a[11] >= a[4] = false
a[11] <  a[5] = true
a[11] >  a[5] = false
a[11] <= a[5] = true
a[11] >= a[5] = false
a[11] <  a[6] = true
a[11] >  a[6] = false
a[11] <= a[6] = true
a[11] >= a[6] = false
a[11] <  a[7] = true
a[11] >  a[7] = false
a[11] <= a[7] = true
a[11] >= a[7] = false
a[11] <  a[8] = true
a[11] >  a[8] = false
a[11] <= a[8] = true
a[11] >= a[8] = false
a[11] <  a[9] = true
a[11] >  a[9] = false
a[11] <= a[9] = true
a[11] >= a[9] = false
a[11] <  a[10] = true
a[11] >  a[10] = false
a[11] <= a[10] = true
a[11] >= a[10] = false
a[11] <  a[11] = false
a[11] >  a[11] = false
a[11] <= a[11] = true
a[11] >= a[11] = true
a[11] <  a[12] = true
a[11] >  a[12] = false
a[11] <= a[12] = true
a[11] >= a[12] = false
a[11] <  a[13] = false
a[11] >  a[13] = false
a[11] <= a[13] = false
a[11] >= a[13] = false
a[11] <  a[14] = false
a[11] >  a[14] = false
a[11] <= a[14] = false
a[11] >= a[14] = false
a[11] <  a[15] = false
a[11] >  a[15] = false
a[11] <= a[15] = false
a[11] >= a[15] = false
a[11] <  a[16] = false
a[11] >  a[16] = false
a[11] <= a[16] = false
a[11] >= a[16] = false
a[11] <  a[17] = false
a[11] >  a[17] = false
a[11] <= a[17] = false
a[11] >= a[17] = false
a[11] <  a[18] = false
a[11] >  a[18] = false
a[11] <= a[18] = false
a[11] >= a[18] = false
a[11] <  a[19] = false
a[11] >  a[19] = false
a[11] <= a[19] = false
a[11] >= a[19] = false
a[11] <  a[20] = false
a[11] >  a[20] = false
a[11] <= a[20] = false
a[11] >= a[20] = false
a[11] <  a[21] = false
a[11] >  a[21] = false
a[11] <= a[21] = false
a[11] >= a[21] = false
a[12] <  a[0] = false
a[12] >  a[0] = false
a[12] <= a[0] = false
a[12] >= a[0] = false
a[12] <  a[1] = false
a[12] >  a[1] = false
a[12] <= a[1] = false
a[12] >= a[1] = false
a[12] <  a[2] = false
a[12] >  a[2] = false
a[12] <= a[2] = false
a[12] >= a[2] = false
a[12] <  a[3] = false
a[12] >  a[3] = false
a[12] <= a[3] = false
a[12] >= a[3] = false
a[12] <  a[4] = false
a[12] >  a[4] = true
a[12] <= a[4] = false
a[12] >= a[4] = true
a[12] <  a[5] = false
a[12] >  a[5] = true
a[12] <= a[5] = false
a[12] >= a[5] = true
a[12] <  a[6] = false
a[12] >  a[6] = true
a[12] <= a[6] = false
a[12] >= a[6] = true
a[12] <  a[7] = true
a[12] >  a[7] = false
a[12] <= a[7] = true
a[12] >= a[7] = false
a[12] <  a[8] = true
a[12] >  a[8] = false
a[12] <= a[8] = true
a[12] >= a[8] = false
a[12] <  a[9] = true
a[12] >  a[9] = false
a[12] <= a[9] = true
a[12] >= a[9] = false
a[12] <  a[10] = false
a[12] >  a[10] = true
a[12] <= a[10] = false
a[12] >= a[10] = true
a[12] <  a[11] = false
a[12] >  a[11] = true
a[12] <= a[11] = false
a[12] >= a[11] = true
a[12] <  a[12] = false
a[12] >  a[12] = false
a[12] <= a[12] = true
a[12] >= a[12] = true
a[12] <  a[13] = false
a[12] >  a[13] = false
a[12] <= a[13] = false
a[12] >= a[13] = false
a[12] <  a[14] = false
a[12] >  a[14] = false
a[12] <= a[14] = false
a[12] >= a[14] = false
a[12] <  a[15] = false
a[12] >  a[15] = false
a[12] <= a[15] = false
a[12] >= a[15] = false
a[12] <  a[16] = false
a[12] >  a[16] = false
a[12] <= a[16] = false
a[12] >= a[16] = false
a[12] <  a[17] = false
a[12] >  a[17] = false
a[12] <= a[17] = false
a[12] >= a[17] = false
a[12] <  a[18] = false
a[12] >  a[18] = false
a[12] <= a[18] = false
a[12] >= a[18] = false
a[12] <  a[19] = false
a[12] >  a[19] = false
a[12] <= a[19] = false
a[12] >= a[19] = false
a[12] <  a[20] = false
a[12] >  a[20] = false
a[12] <= a[20] = false
a[12] >= a[20] = false
a[12] <  a[21] = false
a[12] >  a[21] = false
a[12] <= a[21] = false
a[12] >= a[21] = false
a[13] <  a[0] = false
a[13] >  a[0] = false
a[13] <= a[0] = false
a[13] >= a[0] = false
a[13] <  a[1] = false
a[13] >  a[1] = false
a[13] <= a[1] = false
a[13] >= a[1] = false
a[13] <  a[2] = false
a[13] >  a[2] = false
a[13] <= a[2] = false
a[13] >= a[2] = false
a[13] <  a[3] = false
a[13] >  a[3] = false
a[13] <= a[3] = false
a[13] >= a[3] = false
a[13] <  a[4] = false
a[13] >  a[4] = false
a[13] <= a[4] = false
a[13] >= a[4] = false
a[13] <  a[5] = false
a[13] >  a[5] = false
a[13] <= a[5] = false
a[13] >= a[5] = false
a[13] <  a[6] = false
a[13] >  a[6] = false
a[13] <= a[6] = false
a[13] >= a[6] = false
a[13] <  a[7] = false
a[13] >  a[7] = false
a[13] <= a[7] = false
a[13] >= a[7] = false
a[13] <  a[8] = false
a[13] >  a[8] = false
a[13] <= a[8] = false
a[13] >= a[8] = false
a[13] <  a[9] = false
a[13] >  a[9] = false
a[13] <= a[9] = false
a[13] >= a[9] = false
a[13] <  a[10] = false
a[13] >  a[10] = false
a[13] <= a[10] = false
a[13] >= a[10] = false
a[13] <  a[11] = false
a[13] >  a[11] = false
a[13] <= a[11] = false
a[13] >= a[11] = false
a[13] <  a[12] = false
a[13] >  a[12] = false
a[13] <= a[12] = false
a[13] >= a[12] = false
a[13] <  a[13] = false
a[13] >  a[13] = false
a[13] <= a[13] = false
a[13] >= a[13] = false
a[13] <  a[14] = false
a[13] >  a[14] = false
a[13] <= a[14] = false
a[13] >= a[14] = false
a[13] <  a[15] = false
a[13] >  a[15] = false
a[13] <= a[15] = false
a[13] >= a[15] = false
a[13] <  a[16] = false
a[13] >  a[16] = false
a[13] <= a[16] = false
a[13] >= a[16] = false
a[13] <  a[17] = false
a[13] >  a[17] = false
a[13] <= a[17] = false
a[13] >= a[17] = false
a[13] <  a[18] = false
a[13] >  a[18] = false
a[13] <= a[18] = false
a[13] >= a[18] = false
a[13] <  a[19] = false
a[13] >  a[19] = false
a[13] <= a[19] = false
a[13] >= a[19] = false
a[13] <  a[20] = false
a[13] >  a[20] = false
a[13] <= a[20] = false
a[13] >= a[20] = false
a[13] <  a[21] = false
a[13] >  a[21] = false
a[13] <= a[21] = false
a[13] >= a[21] = false
a[14] <  a[0] = false
a[14] >  a[0] = false
a[14] <= a[0] = true
a[14] >= a[0] = true
a[14] <  a[1] = true
a[14] >  a[1] = false
a[14] <= a[1] = true
a[14] >= a[1] = false
a[14] <  a[2] = true
a[14] >  a[2] = false
a[14] <= a[2] = true
a[14] >= a[2] = false
a[14] <  a[3] = false
a[14] >  a[3] = true
a[14] <= a[3] = false
a[14] >= a[3] = true
a[14] <  a[4] = true
a[14] >  a[4] = false
a[14] <= a[4] = true
a[14] >= a[4] = false
a[14] <  a[5] = true
a[14] >  a[5] = false
a[14] <= a[5] = true
a[14] >= a[5] = false
a[14] <  a[6] = true
a[14] >  a[6] = false
a[14] <= a[6] = true
a[14] >= a[6] = false
a[14] <  a[7] = false
a[14] >  a[7] = false
a[14] <= a[7] = false
a[14] >= a[7] = false
a[14] <  a[8] = false
a[14] >  a[8] = false
a[14] <= a[8] = false
a[14] >= a[8] = false
a[14] <  a[9] = false
a[14] >  a[9] = false
a[14] <= a[9] = false
a[14] >= a[9] = false
a[14] <  a[10] = false
a[14] >  a[10] = false
a[14] <= a[10] = false
a[14] >= a[10] = false
a[14] <  a[11] = false
a[14] >  a[11] = false
a[14] <= a[11] = false
a[14] >= a[11] = false
a[14] <  a[12] = false
a[14] >  a[12] = false
a[14] <= a[12] = false
a[14] >= a[12] = false
a[14] <  a[13] = false
a[14] >  a[13] = false
a[14] <= a[13] = false
a[14] >= a[13] = false
a[14] <  a[14] = false
a[14] >  a[14] = false
a[14] <= a[14] = true
a[14] >= a[14] = true
a[14] <  a[15] = false
a[14] >  a[15] = false
a[14] <= a[15] = true
a[14] >= a[15] = true
a[14] <  a[16] = true
a[14] >  a[16] = false
a[14] <= a[16] = true
a[14] >= a[16] = false
a[14] <  a[17] = true
a[14] >  a[17] = false
a[14] <= a[17] = true
a[14] >= a[17] = false
a[14] <  a[18] = true
a[14] >  a[18] = false
a[14] <= a[18] = true
a[14] >= a[18] = false
a[14] <  a[19] = true
a[14] >  a[19] = false
a[14] <= a[19] = true
a[14] >= a[19] = false
a[14] <  a[20] = false
a[14] >  a[20] = true
a[14] <= a[20] = false
a[14] >= a[20] = true
a[14] <  a[21] = false
a[14] >  a[21] = false
a[14] <= a[21] = false
a[14] >= a[21] = false
a[15] <  a[0] = false
a[15] >  a[0] = false
a[15] <= a[0] = true
a[15] >= a[0] = true
a[15] <  a[1] = true
a[15] >  a[1] = false
a[15] <= a[1] = true
a[15] >= a[1] = false
a[15] <  a[2] = true
a[15] >  a[2] = false
a[15] <= a[2] = true
a[15] >= a[2] = false
a[15] <  a[3] = false
a[15] >  a[3] = true
a[15] <= a[3] = false
a[15] >= a[3] = true
a[15] <  a[4] = true
a[15] >  a[4] = false
a[15] <= a[4] = true
a[15] >= a[4] = false
a[15] <  a[5] = true
a[15] >  a[5] = false
a[15] <= a[5] = true
a[15] >= a[5] = false
a[15] <  a[6] = true
a[15] >  a[6] = false
a[15] <= a[6] = true
a[15] >= a[6] = false
a[15] <  a[7] = false
a[15] >  a[7] = false
a[15] <= a[7] = false
a[15] >= a[7] = false
a[15] <  a[8] = false
a[15] >  a[8] = false
a[15] <= a[8] = false
a[15] >= a[8] = false
a[15] <  a[9] = false
a[15] >  a[9] = false
a[15] <= a[9] = false
a[15] >= a[9] = false
a[15] <  a[10] = false
a[15] >  a[10] = false
a[15] <= a[10] = false
a[15] >= a[10] = false
a[15] <  a[11] = false
a[15] >  a[11] = false
a[15] <= a[11] = false
a[15] >= a[11] = false
a[15] <  a[12] = false
a[15] >  a[12] = false
a[15] <= a[12] = false
a[15] >= a[12] = false
a[15] <  a[13] = false
a[15] >  a[13] = false
a[15] <= a[13] = false
a[15] >= a[13] = false
a[15] <  a[14] = false
a[15] >  a[14] = false
a[15] <= a[14] = true
a[15] >= a[14] = true
a[15] <  a[15] = false
a[15] >  a[15] = false
a[15] <= a[15] = true
a[15] >= a[15] = true
a[15] <  a[16] = true
a[15] >  a[16] = false
a[15] <= a[16] = true
a[15] >= a[16] = false
a[15] <  a[17] = true
a[15] >  a[17] = false
a[15] <= a[17] = true
a[15] >= a[17] = false
a[15] <  a[18] = true
a[15] >  a[18] = false
a[15] <= a[18] = true
a[15] >= a[18] = false
a[15] <  a[19] = true
a[15] >  a[19] = false
a[15] <= a[19] = true
a[15] >= a[19] = false
a[15] <  a[20] = false
a[15] >  a[20] = true
a[15] <= a[20] = false
a[15] >= a[20] = true
a[15] <  a[21] = false
a[15] >  a[21] = false
a[15] <= a[21] = false
a[15] >= a[21] = false
a[16] <  a[0] = false
a[16] >  a[0] = true
a[16] <= a[0] = false
a[16] >= a[0] = true
a[16] <  a[1] = true
a[16] >  a[1] = false
a[16] <= a[1] = true
a[16] >= a[1] = false
a[16] <  a[2] = false
a[16] >  a[2] = false
a[16] <= a[2] = true
a[16] >= a[2] = true
a[16] <  a[3] = false
a[16] >  a[3] = true
a[16] <= a[3] = false
a[16] >= a[3] = true
a[16] <  a[4] = false
a[16] >  a[4] = false
a[16] <= a[4] = true
a[16] >= a[4] = true
a[16] <  a[5] = true
a[16] >  a[5] = false
a[16] <= a[5] = true
a[16] >= a[5] = false
a[16] <  a[6] = true
a[16] >  a[6] = false
a[16] <= a[6] = true
a[16] >= a[6] = false
a[16] <  a[7] = false
a[16] >  a[7] = false
a[16] <= a[7] = false
a[16] >= a[7] = false
a[16] <  a[8] = false
a[16] >  a[8] = false
a[16] <= a[8] = false
a[16] >= a[8] = false
a[16] <  a[9] = false
a[16] >  a[9] = false
a[16] <= a[9] = false
a[16] >= a[9] = false
a[16] <  a[10] = false
a[16] >  a[10] = false
a[16] <= a[10] = false
a[16] >= a[10] = false
a[16] <  a[11] = false
a[16] >  a[11] = false
a[16] <= a[11] = false
a[16] >= a[11] = false
a[16] <  a[12] = false
a[16] >  a[12] = false
a[16] <= a[12] = false
a[16] >= a[12] = false
a[16] <  a[13] = false
a[16] >  a[13] = false
a[16] <= a[13] = false
a[16] >= a[13] = false
a[16] <  a[14] = false
a[16] >  a[14] = true
a[16] <= a[14] = false
a[16] >= a[14] = true
a[16] <  a[15] = false
a[16] >  a[15] = true
a[16] <= a[15] = false
a[16] >= a[15] = true
a[16] <  a[16] = false
a[16] >  a[16] = false
a[16] <= a[16] = true
a[16] >= a[16] = true
a[16] <  a[17] = true
a[16] >  a[17] = false
a[16] <= a[17] = true
a[16] >= a[17] = false
a[16] <  a[18] = false
a[16] >  a[18] = true
a[16] <= a[18] = false
a[16] >= a[18] = true
a[16] <  a[19] = true
a[16] >  a[19] = false
a[16] <= a[19] = true
a[16] >= a[19] = false
a[16] <  a[20] = false
a[16] >  a[20] = true
a[16] <= a[20] = false
a[16] >= a[20] = true
a[16] <  a[21] = false
a[16] >  a[21] = false
a[16] <= a[21] = false
a[16] >= a[21] = false
a[17] <  a[0] = false
a[17] >  a[0] = true
a[17] <= a[0] = false
a[17] >= a[0] = true
a[17] <  a[1] = false
a[17] >  a[1] = true
a[17] <= a[1] = false
a[17] >= a[1] = true
a[17] <  a[2] = false
a[17] >  a[2] = true
a[17] <= a[2] = false
a[17] >= a[2] = true
a[17] <  a[3] = false
a[17] >  a[3] = true
a[17] <= a[3] = false
a[17] >= a[3] = true
a[17] <  a[4] = false
a[17] >  a[4] = true
a[17] <= a[4] = false
a[17] >= a[4] = true
a[17] <  a[5] = false
a[17] >  a[5] = true
a[17] <= a[5] = false
a[17] >= a[5] = true
a[17] <  a[6] = false
a[17] >  a[6] = true
a[17] <= a[6] = false
a[17] >= a[6] = true
a[17] <  a[7] = false
a[17] >  a[7] = false
a[17] <= a[7] = false
a[17] >= a[7] = false
a[17] <  a[8] = false
a[17] >  a[8] = false
a[17] <= a[8] = false
a[17] >= a[8] = false
a[17] <  a[9] = false
a[17] >  a[9] = false
a[17] <= a[9] = false
a[17] >= a[9] = false
a[17] <  a[10] = false
a[17] >  a[10] = false
a[17] <= a[10] = false
a[17] >= a[10] = false
a[17] <  a[11] = false
a[17] >  a[11] = false
a[17] <= a[11] = false
a[17] >= a[11] = false
a[17] <  a[12] = false
a[17] >  a[12] = false
a[17] <= a[12] = false
a[17] >= a[12] = false
a[17] <  a[13] = false
a[17] >  a[13] = false
a[17] <= a[13] = false
a[17] >= a[13] = false
a[17] <  a[14] = false
a[17] >  a[14] = true
a[17] <= a[14] = false
a[17] >= a[14] = true
a[17] <  a[15] = false
a[17] >  a[15] = true
a[17] <= a[15] = false
a[17] >= a[15] = true
a[17] <  a[16] = false
a[17] >  a[16] = true
a[17] <= a[16] = false
a[17] >= a[16] = true
a[17] <  a[17] = false
a[17] >  a[17] = false
a[17] <= a[17] = true
a[17] >= a[17] = true
a[17] <  a[18] = false
a[17] >  a[18] = true
a[17] <= a[18] = false
a[17] >= a[18] = true
a[17] <  a[19] = true
a[17] >  a[19] = false
a[17] <= a[19] = true
a[17] >= a[19] = false
a[17] <  a[20] = false
a[17] >  a[20] = true
a[17] <= a[20] = false
a[17] >= a[20] = true
a[17] <  a[21] = false
a[17] >  a[21] = false
a[17] <= a[21] = false
a[17] >= a[21] = false
a[18] <  a[0] = false
a[18] >  a[0] = true
a[18] <= a[0] = false
a[18] >= a[0] = true
a[18] <  a[1] = true
a[18] >  a[1] = false
a[18] <= a[1] = true
a[18] >= a[1] = false
a[18] <  a[2] = true
a[18] >  a[2] = false
a[18] <= a[2] = true
a[18] >= a[2] = false
a[18] <  a[3] = false
a[18] >  a[3] = true
a[18] <= a[3] = false
a[18] >= a[3] = true
a[18] <  a[4] = true
a[18] >  a[4] = false
a[18] <= a[4] = true
a[18] >= a[4] = false
a[18] <  a[5] = true
a[18] >  a[5] = false
a[18] <= a[5] = true
a[18] >= a[5] = false
a[18] <  a[6] = true
a[18] >  a[6] = false
a[18] <= a[6] = true
a[18] >= a[6] = false
a[18] <  a[7] = false
a[18] >  a[7] = false
a[18] <= a[7] = false
a[18] >= a[7] = false
a[18] <  a[8] = false
a[18] >  a[8] = false
a[18] <= a[8] = false
a[18] >= a[8] = false
a[18] <  a[9] = false
a[18] >  a[9] = false
a[18] <= a[9] = false
a[18] >= a[9] = false
a[18] <  a[10] = false
a[18] >  a[10] = false
a[18] <= a[10] = false
a[18] >= a[10] = false
a[18] <  a[11] = false
a[18] >  a[11] = false
a[18] <= a[11] = false
a[18] >= a[11] = false
a[18] <  a[12] = false
a[18] >  a[12] = false
a[18] <= a[12] = false
a[18] >= a[12] = false
a[18] <  a[13] = false
a[18] >  a[13] = false
a[18] <= a[13] = false
a[18] >= a[13] = false
a[18] <  a[14] = false
a[18] >  a[14] = true
a[18] <= a[14] = false
a[18] >= a[14] = true
a[18] <  a[15] = false
a[18] >  a[15] = true
a[18] <= a[15] = false
a[18] >= a[15] = true
a[18] <  a[16] = true
a[18] >  a[16] = false
a[18] <= a[16] = true
a[18] >= a[16] = false
a[18] <  a[17] = true
a[18] >  a[17] = false
a[18] <= a[17] = true
a[18] >= a[17] = false
a[18] <  a[18] = false
a[18] >  a[18] = false
a[18] <= a[18] = true
a[18] >= a[18] = true
a[18] <  a[19] = true
a[18] >  a[19] = false
a[18] <= a[19] = true
a[18] >= a[19] = false
a[18] <  a[20] = false
a[18] >  a[20] = true
a[18] <= a[20] = false
a[18] >= a[20] = true
a[18] <  a[21] = false
a[18] >  a[21] = false
a[18] <= a[21] = false
a[18] >= a[21] = false
a[19] <  a[0] = false
a[19] >  a[0] = true
a[19] <= a[0] = false
a[19] >= a[0] = true
a[19] <  a[1] = false
a[19] >  a[1] = true
a[19] <= a[1] = false
a[19] >= a[1] = true
a[19] <  a[2] = false
a[19] >  a[2] = true
a[19] <= a[2] = false
a[19] >= a[2] = true
a[19] <  a[3] = false
a[19] >  a[3] = true
a[19] <= a[3] = false
a[19] >= a[3] = true
a[19] <  a[4] = false
a[19] >  a[4] = true
a[19] <= a[4] = false
a[19] >= a[4] = true
a[19] <  a[5] = false
a[19] >  a[5] = true
a[19] <= a[5] = false
a[19] >= a[5] = true
a[19] <  a[6] = false
a[19] >  a[6] = true
a[19] <= a[6] = false
a[19] >= a[6] = true
a[19] <  a[7] = false
a[19] >  a[7] = false
a[19] <= a[7] = false
a[19] >= a[7] = false
a[19] <  a[8] = false
a[19] >  a[8] = false
a[19] <= a[8] = false
a[19] >= a[8] = false
a[19] <  a[9] = false
a[19] >  a[9] = false
a[19] <= a[9] = false
a[19] >= a[9] = false
a[19] <  a[10] = false
a[19] >  a[10] = false
a[19] <= a[10] = false
a[19] >= a[10] = false
a[19] <  a[11] = false
a[19] >  a[11] = false
a[19] <= a[11] = false
a[19] >= a[11] = false
a[19] <  a[12] = false
a[19] >  a[12] = false
a[19] <= a[12] = false
a[19] >= a[12] = false
a[19] <  a[13] = false
a[19] >  a[13] = false
a[19] <= a[13] = false
a[19] >= a[13] = false
a[19] <  a[14] = false
a[19] >  a[14] = true
a[19] <= a[14] = false
a[19] >= a[14] = true
a[19] <  a[15] = false
a[19] >  a[15] = true
a[19] <= a[15] = false
a[19] >= a[15] = true
a[19] <  a[16] = false
a[19] >  a[16] = true
a[19] <= a[16] = false
a[19] >= a[16] = true
a[19] <  a[17] = false
a[19] >  a[17] = true
a[19] <= a[17] = false
a[19] >= a[17] = true
a[19] <  a[18] = false
a[19] >  a[18] = true
a[19] <= a[18] = false
a[19] >= a[18] = true
a[19] <  a[19] = false
a[19] >  a[19] = false
a[19] <= a[19] = true
a[19] >= a[19] = true
a[19] <  a[20] = false
a[19] >  a[20] = true
a[19] <= a[20] = false
a[19] >= a[20] = true
a[19] <  a[21] = false
a[19] >  a[21] = false
a[19] <= a[21] = false
a[19] >= a[21] = false
a[20] <  a[0] = true
a[20] >  a[0] = false
a[20] <= a[0] = true
a[20] >= a[0] = false
a[20] <  a[1] = true
a[20] >  a[1] = false
a[20] <= a[1] = true
a[20] >= a[1] = false
a[20] <  a[2] = true
a[20] >  a[2] = false
a[20] <= a[2] = true
a[20] >= a[2] = false
a[20] <  a[3] = true
a[20] >  a[3] = false
a[20] <= a[3] = true
a[20] >= a[3] = false
a[20] <  a[4] = true
a[20] >  a[4] = false
a[20] <= a[4] = true
a[20] >= a[4] = false
a[20] <  a[5] = true
a[20] >  a[5] = false
a[20] <= a[5] = true
a[20] >= a[5] = false
a[20] <  a[6] = true
a[20] >  a[6] = false
a[20] <= a[6] = true
a[20] >= a[6] = false
a[20] <  a[7] = false
a[20] >  a[7] = false
a[20] <= a[7] = false
a[20] >= a[7] = false
a[20] <  a[8] = false
a[20] >  a[8] = false
a[20] <= a[8] = false
a[20] >= a[8] = false
a[20] <  a[9] = false
a[20] >  a[9] = false
a[20] <= a[9] = false
a[20] >= a[9] = false
a[20] <  a[10] = false
a[20] >  a[10] = false
a[20] <= a[10] = false
a[20] >= a[10] = false
a[20] <  a[11] = false
a[20] >  a[11] = false
a[20] <= a[11] = false
a[20] >= a[11] = false
a[20] <  a[12] = false
a[20] >  a[12] = false
a[20] <= a[12] = false
a[20] >= a[12] = false
a[20] <  a[13] = false
a[20] >  a[13] = false
a[20] <= a[13] = false
a[20] >= a[13] = false
a[20] <  a[14] = true
a[20] >  a[14] = false
a[20] <= a[14] = true
a[20] >= a[14] = false
a[20] <  a[15] = true
a[20] >  a[15] = false
a[20] <= a[15] = true
a[20] >= a[15] = false
a[20] <  a[16] = true
a[20] >  a[16] = false
a[20] <= a[16] = true
a[20] >= a[16] = false
a[20] <  a[17] = true
a[20] >  a[17] = false
a[20] <= a[17] = true
a[20] >= a[17] = false
a[20] <  a[18] = true
a[20] >  a[18] = false
a[20] <= a[18] = true
a[20] >= a[18] = false
a[20] <  a[19] = true
a[20] >  a[19] = false
a[20] <= a[19] = true
a[20] >= a[19] = false
a[20] <  a[20] = false
a[20] >  a[20] = false
a[20] <= a[20] = true
a[20] >= a[20] = true
a[20] <  a[21] = false
a[20] >  a[21] = false
a[20] <= a[21] = false
a[20] >= a[21] = false
a[21] <  a[0] = false
a[21] >  a[0] = false
a[21] <= a[0] = false
a[21] >= a[0] = false
a[21] <  a[1] = false
a[21] >  a[1] = false
a[21] <= a[1] = false
a[21] >= a[1] = false
a[21] <  a[2] = false
a[21] >  a[2] = false
a[21] <= a[2] = false
a[21] >= a[2] = false
a[21] <  a[3] = false
a[21] >  a[3] = false
a[21] <= a[3] = false
a[21] >= a[3] = false
a[21] <  a[4] = false
a[21] >  a[4] = false
a[21] <= a[4] = false
a[21] >= a[4] = false
a[21] <  a[5] = false
a[21] >  a[5] = false
a[21] <= a[5] = false
a[21] >= a[5] = false
a[21] <  a[6] = false
a[21] >  a[6] = false
a[21] <= a[6] = false
a[21] >= a[6] = false
a[21] <  a[7] = false
a[21] >  a[7] = false
a[21] <= a[7] = false
a[21] >= a[7] = false
a[21] <  a[8] = false
a[21] >  a[8] = false
a[21] <= a[8] = false
a[21] >= a[8] = false
a[21] <  a[9] = false
a[21] >  a[9] = false
a[21] <= a[9] = false
a[21] >= a[9] = false
a[21] <  a[10] = false
a[21] >  a[10] = false
a[21] <= a[10] = false
a[21] >= a[10] = false
a[21] <  a[11] = false
a[21] >  a[11] = false
a[21] <= a[11] = false
a[21] >= a[11] = false
a[21] <  a[12] = false
a[21] >  a[12] = false
a[21] <= a[12] = false
a[21] >= a[12] = false
a[21] <  a[13] = false
a[21] >  a[13] = false
a[21] <= a[13] = false
a[21] >= a[13] = false
a[21] <  a[14] = false
a[21] >  a[14] = false
a[21] <= a[14] = false
a[21] >= a[14] = false
a[21] <  a[15] = false
a[21] >  a[15] = false
a[21] <= a[15] = false
a[21] >= a[15] = false
a[21] <  a[16] = false
a[21] >  a[16] = false
a[21] <= a[16] = false
a[21] >= a[16] = false
a[21] <  a[17] = false
a[21] >  a[17] = false
a[21] <= a[17] = false
a[21] >= a[17] = false
a[21] <  a[18] = false
a[21] >  a[18] = false
a[21] <= a[18] = false
a[21] >= a[18] = false
a[21] <  a[19] = false
a[21] >  a[19] = false
a[21] <= a[19] = false
a[21] >= a[19] = false
a[21] <  a[20] = false
a[21] >  a[20] = false
a[21] <= a[20] = false
a[21] >= a[20] = false
a[21] <  a[21] = false
a[21] >  a[21] = false
a[21] <= a[21] = false
a[21] >= a[21] = false