// batcher.go - Constant time polynomial sampler.
//
// To the extent possible under law, Yawning Angel has waived all copyright
// and related or neighboring rights to newhope, using the Creative
// Commons "CC0" public domain dedication. See LICENSE or
// <http://creativecommons.org/publicdomain/zero/1.0/> for full details.

package newhope

func batcher84(x []uint16) {
	// In theory this should probably be inlined.
	compareAndSwap := func(x []uint16, i, j int) {
		const _5q = 5 * paramQ
		var c int32
		var t uint16

		c = _5q - 1 - int32(x[16*i])
		c >>= 31
		t = x[16*i] ^ x[16*j]
		t &= uint16(c)
		x[16*i] ^= t
		x[16*j] ^= t
	}

	compareAndSwap(x, 0, 1)
	compareAndSwap(x, 2, 3)
	compareAndSwap(x, 0, 2)
	compareAndSwap(x, 1, 3)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 4, 5)
	compareAndSwap(x, 6, 7)
	compareAndSwap(x, 4, 6)
	compareAndSwap(x, 5, 7)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 0, 4)
	compareAndSwap(x, 2, 6)
	compareAndSwap(x, 2, 4)
	compareAndSwap(x, 1, 5)
	compareAndSwap(x, 3, 7)
	compareAndSwap(x, 3, 5)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 3, 4)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 8, 9)
	compareAndSwap(x, 10, 11)
	compareAndSwap(x, 8, 10)
	compareAndSwap(x, 9, 11)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 12, 13)
	compareAndSwap(x, 14, 15)
	compareAndSwap(x, 12, 14)
	compareAndSwap(x, 13, 15)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 8, 12)
	compareAndSwap(x, 10, 14)
	compareAndSwap(x, 10, 12)
	compareAndSwap(x, 9, 13)
	compareAndSwap(x, 11, 15)
	compareAndSwap(x, 11, 13)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 11, 12)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 0, 8)
	compareAndSwap(x, 4, 12)
	compareAndSwap(x, 4, 8)
	compareAndSwap(x, 2, 10)
	compareAndSwap(x, 6, 14)
	compareAndSwap(x, 6, 10)
	compareAndSwap(x, 2, 4)
	compareAndSwap(x, 6, 8)
	compareAndSwap(x, 10, 12)
	compareAndSwap(x, 1, 9)
	compareAndSwap(x, 5, 13)
	compareAndSwap(x, 5, 9)
	compareAndSwap(x, 3, 11)
	compareAndSwap(x, 7, 15)
	compareAndSwap(x, 7, 11)
	compareAndSwap(x, 3, 5)
	compareAndSwap(x, 7, 9)
	compareAndSwap(x, 11, 13)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 3, 4)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 7, 8)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 11, 12)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 16, 17)
	compareAndSwap(x, 18, 19)
	compareAndSwap(x, 16, 18)
	compareAndSwap(x, 17, 19)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 20, 21)
	compareAndSwap(x, 22, 23)
	compareAndSwap(x, 20, 22)
	compareAndSwap(x, 21, 23)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 16, 20)
	compareAndSwap(x, 18, 22)
	compareAndSwap(x, 18, 20)
	compareAndSwap(x, 17, 21)
	compareAndSwap(x, 19, 23)
	compareAndSwap(x, 19, 21)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 19, 20)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 24, 25)
	compareAndSwap(x, 26, 27)
	compareAndSwap(x, 24, 26)
	compareAndSwap(x, 25, 27)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 28, 29)
	compareAndSwap(x, 30, 31)
	compareAndSwap(x, 28, 30)
	compareAndSwap(x, 29, 31)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 24, 28)
	compareAndSwap(x, 26, 30)
	compareAndSwap(x, 26, 28)
	compareAndSwap(x, 25, 29)
	compareAndSwap(x, 27, 31)
	compareAndSwap(x, 27, 29)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 27, 28)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 16, 24)
	compareAndSwap(x, 20, 28)
	compareAndSwap(x, 20, 24)
	compareAndSwap(x, 18, 26)
	compareAndSwap(x, 22, 30)
	compareAndSwap(x, 22, 26)
	compareAndSwap(x, 18, 20)
	compareAndSwap(x, 22, 24)
	compareAndSwap(x, 26, 28)
	compareAndSwap(x, 17, 25)
	compareAndSwap(x, 21, 29)
	compareAndSwap(x, 21, 25)
	compareAndSwap(x, 19, 27)
	compareAndSwap(x, 23, 31)
	compareAndSwap(x, 23, 27)
	compareAndSwap(x, 19, 21)
	compareAndSwap(x, 23, 25)
	compareAndSwap(x, 27, 29)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 19, 20)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 23, 24)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 27, 28)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 0, 16)
	compareAndSwap(x, 8, 24)
	compareAndSwap(x, 8, 16)
	compareAndSwap(x, 4, 20)
	compareAndSwap(x, 12, 28)
	compareAndSwap(x, 12, 20)
	compareAndSwap(x, 4, 8)
	compareAndSwap(x, 12, 16)
	compareAndSwap(x, 20, 24)
	compareAndSwap(x, 2, 18)
	compareAndSwap(x, 10, 26)
	compareAndSwap(x, 10, 18)
	compareAndSwap(x, 6, 22)
	compareAndSwap(x, 14, 30)
	compareAndSwap(x, 14, 22)
	compareAndSwap(x, 6, 10)
	compareAndSwap(x, 14, 18)
	compareAndSwap(x, 22, 26)
	compareAndSwap(x, 2, 4)
	compareAndSwap(x, 6, 8)
	compareAndSwap(x, 10, 12)
	compareAndSwap(x, 14, 16)
	compareAndSwap(x, 18, 20)
	compareAndSwap(x, 22, 24)
	compareAndSwap(x, 26, 28)
	compareAndSwap(x, 1, 17)
	compareAndSwap(x, 9, 25)
	compareAndSwap(x, 9, 17)
	compareAndSwap(x, 5, 21)
	compareAndSwap(x, 13, 29)
	compareAndSwap(x, 13, 21)
	compareAndSwap(x, 5, 9)
	compareAndSwap(x, 13, 17)
	compareAndSwap(x, 21, 25)
	compareAndSwap(x, 3, 19)
	compareAndSwap(x, 11, 27)
	compareAndSwap(x, 11, 19)
	compareAndSwap(x, 7, 23)
	compareAndSwap(x, 15, 31)
	compareAndSwap(x, 15, 23)
	compareAndSwap(x, 7, 11)
	compareAndSwap(x, 15, 19)
	compareAndSwap(x, 23, 27)
	compareAndSwap(x, 3, 5)
	compareAndSwap(x, 7, 9)
	compareAndSwap(x, 11, 13)
	compareAndSwap(x, 15, 17)
	compareAndSwap(x, 19, 21)
	compareAndSwap(x, 23, 25)
	compareAndSwap(x, 27, 29)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 3, 4)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 7, 8)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 11, 12)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 15, 16)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 19, 20)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 23, 24)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 27, 28)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 32, 33)
	compareAndSwap(x, 34, 35)
	compareAndSwap(x, 32, 34)
	compareAndSwap(x, 33, 35)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 36, 37)
	compareAndSwap(x, 38, 39)
	compareAndSwap(x, 36, 38)
	compareAndSwap(x, 37, 39)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 32, 36)
	compareAndSwap(x, 34, 38)
	compareAndSwap(x, 34, 36)
	compareAndSwap(x, 33, 37)
	compareAndSwap(x, 35, 39)
	compareAndSwap(x, 35, 37)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 35, 36)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 40, 41)
	compareAndSwap(x, 42, 43)
	compareAndSwap(x, 40, 42)
	compareAndSwap(x, 41, 43)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 44, 45)
	compareAndSwap(x, 46, 47)
	compareAndSwap(x, 44, 46)
	compareAndSwap(x, 45, 47)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 40, 44)
	compareAndSwap(x, 42, 46)
	compareAndSwap(x, 42, 44)
	compareAndSwap(x, 41, 45)
	compareAndSwap(x, 43, 47)
	compareAndSwap(x, 43, 45)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 43, 44)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 32, 40)
	compareAndSwap(x, 36, 44)
	compareAndSwap(x, 36, 40)
	compareAndSwap(x, 34, 42)
	compareAndSwap(x, 38, 46)
	compareAndSwap(x, 38, 42)
	compareAndSwap(x, 34, 36)
	compareAndSwap(x, 38, 40)
	compareAndSwap(x, 42, 44)
	compareAndSwap(x, 33, 41)
	compareAndSwap(x, 37, 45)
	compareAndSwap(x, 37, 41)
	compareAndSwap(x, 35, 43)
	compareAndSwap(x, 39, 47)
	compareAndSwap(x, 39, 43)
	compareAndSwap(x, 35, 37)
	compareAndSwap(x, 39, 41)
	compareAndSwap(x, 43, 45)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 35, 36)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 39, 40)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 43, 44)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 48, 49)
	compareAndSwap(x, 50, 51)
	compareAndSwap(x, 48, 50)
	compareAndSwap(x, 49, 51)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 52, 53)
	compareAndSwap(x, 54, 55)
	compareAndSwap(x, 52, 54)
	compareAndSwap(x, 53, 55)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 48, 52)
	compareAndSwap(x, 50, 54)
	compareAndSwap(x, 50, 52)
	compareAndSwap(x, 49, 53)
	compareAndSwap(x, 51, 55)
	compareAndSwap(x, 51, 53)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 51, 52)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 56, 57)
	compareAndSwap(x, 58, 59)
	compareAndSwap(x, 56, 58)
	compareAndSwap(x, 57, 59)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 60, 61)
	compareAndSwap(x, 62, 63)
	compareAndSwap(x, 60, 62)
	compareAndSwap(x, 61, 63)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 56, 60)
	compareAndSwap(x, 58, 62)
	compareAndSwap(x, 58, 60)
	compareAndSwap(x, 57, 61)
	compareAndSwap(x, 59, 63)
	compareAndSwap(x, 59, 61)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 59, 60)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 48, 56)
	compareAndSwap(x, 52, 60)
	compareAndSwap(x, 52, 56)
	compareAndSwap(x, 50, 58)
	compareAndSwap(x, 54, 62)
	compareAndSwap(x, 54, 58)
	compareAndSwap(x, 50, 52)
	compareAndSwap(x, 54, 56)
	compareAndSwap(x, 58, 60)
	compareAndSwap(x, 49, 57)
	compareAndSwap(x, 53, 61)
	compareAndSwap(x, 53, 57)
	compareAndSwap(x, 51, 59)
	compareAndSwap(x, 55, 63)
	compareAndSwap(x, 55, 59)
	compareAndSwap(x, 51, 53)
	compareAndSwap(x, 55, 57)
	compareAndSwap(x, 59, 61)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 51, 52)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 55, 56)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 59, 60)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 32, 48)
	compareAndSwap(x, 40, 56)
	compareAndSwap(x, 40, 48)
	compareAndSwap(x, 36, 52)
	compareAndSwap(x, 44, 60)
	compareAndSwap(x, 44, 52)
	compareAndSwap(x, 36, 40)
	compareAndSwap(x, 44, 48)
	compareAndSwap(x, 52, 56)
	compareAndSwap(x, 34, 50)
	compareAndSwap(x, 42, 58)
	compareAndSwap(x, 42, 50)
	compareAndSwap(x, 38, 54)
	compareAndSwap(x, 46, 62)
	compareAndSwap(x, 46, 54)
	compareAndSwap(x, 38, 42)
	compareAndSwap(x, 46, 50)
	compareAndSwap(x, 54, 58)
	compareAndSwap(x, 34, 36)
	compareAndSwap(x, 38, 40)
	compareAndSwap(x, 42, 44)
	compareAndSwap(x, 46, 48)
	compareAndSwap(x, 50, 52)
	compareAndSwap(x, 54, 56)
	compareAndSwap(x, 58, 60)
	compareAndSwap(x, 33, 49)
	compareAndSwap(x, 41, 57)
	compareAndSwap(x, 41, 49)
	compareAndSwap(x, 37, 53)
	compareAndSwap(x, 45, 61)
	compareAndSwap(x, 45, 53)
	compareAndSwap(x, 37, 41)
	compareAndSwap(x, 45, 49)
	compareAndSwap(x, 53, 57)
	compareAndSwap(x, 35, 51)
	compareAndSwap(x, 43, 59)
	compareAndSwap(x, 43, 51)
	compareAndSwap(x, 39, 55)
	compareAndSwap(x, 47, 63)
	compareAndSwap(x, 47, 55)
	compareAndSwap(x, 39, 43)
	compareAndSwap(x, 47, 51)
	compareAndSwap(x, 55, 59)
	compareAndSwap(x, 35, 37)
	compareAndSwap(x, 39, 41)
	compareAndSwap(x, 43, 45)
	compareAndSwap(x, 47, 49)
	compareAndSwap(x, 51, 53)
	compareAndSwap(x, 55, 57)
	compareAndSwap(x, 59, 61)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 35, 36)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 39, 40)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 43, 44)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 47, 48)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 51, 52)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 55, 56)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 59, 60)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 0, 32)
	compareAndSwap(x, 16, 48)
	compareAndSwap(x, 16, 32)
	compareAndSwap(x, 8, 40)
	compareAndSwap(x, 24, 56)
	compareAndSwap(x, 24, 40)
	compareAndSwap(x, 8, 16)
	compareAndSwap(x, 24, 32)
	compareAndSwap(x, 40, 48)
	compareAndSwap(x, 4, 36)
	compareAndSwap(x, 20, 52)
	compareAndSwap(x, 20, 36)
	compareAndSwap(x, 12, 44)
	compareAndSwap(x, 28, 60)
	compareAndSwap(x, 28, 44)
	compareAndSwap(x, 12, 20)
	compareAndSwap(x, 28, 36)
	compareAndSwap(x, 44, 52)
	compareAndSwap(x, 4, 8)
	compareAndSwap(x, 12, 16)
	compareAndSwap(x, 20, 24)
	compareAndSwap(x, 28, 32)
	compareAndSwap(x, 36, 40)
	compareAndSwap(x, 44, 48)
	compareAndSwap(x, 52, 56)
	compareAndSwap(x, 2, 34)
	compareAndSwap(x, 18, 50)
	compareAndSwap(x, 18, 34)
	compareAndSwap(x, 10, 42)
	compareAndSwap(x, 26, 58)
	compareAndSwap(x, 26, 42)
	compareAndSwap(x, 10, 18)
	compareAndSwap(x, 26, 34)
	compareAndSwap(x, 42, 50)
	compareAndSwap(x, 6, 38)
	compareAndSwap(x, 22, 54)
	compareAndSwap(x, 22, 38)
	compareAndSwap(x, 14, 46)
	compareAndSwap(x, 30, 62)
	compareAndSwap(x, 30, 46)
	compareAndSwap(x, 14, 22)
	compareAndSwap(x, 30, 38)
	compareAndSwap(x, 46, 54)
	compareAndSwap(x, 6, 10)
	compareAndSwap(x, 14, 18)
	compareAndSwap(x, 22, 26)
	compareAndSwap(x, 30, 34)
	compareAndSwap(x, 38, 42)
	compareAndSwap(x, 46, 50)
	compareAndSwap(x, 54, 58)
	compareAndSwap(x, 2, 4)
	compareAndSwap(x, 6, 8)
	compareAndSwap(x, 10, 12)
	compareAndSwap(x, 14, 16)
	compareAndSwap(x, 18, 20)
	compareAndSwap(x, 22, 24)
	compareAndSwap(x, 26, 28)
	compareAndSwap(x, 30, 32)
	compareAndSwap(x, 34, 36)
	compareAndSwap(x, 38, 40)
	compareAndSwap(x, 42, 44)
	compareAndSwap(x, 46, 48)
	compareAndSwap(x, 50, 52)
	compareAndSwap(x, 54, 56)
	compareAndSwap(x, 58, 60)
	compareAndSwap(x, 1, 33)
	compareAndSwap(x, 17, 49)
	compareAndSwap(x, 17, 33)
	compareAndSwap(x, 9, 41)
	compareAndSwap(x, 25, 57)
	compareAndSwap(x, 25, 41)
	compareAndSwap(x, 9, 17)
	compareAndSwap(x, 25, 33)
	compareAndSwap(x, 41, 49)
	compareAndSwap(x, 5, 37)
	compareAndSwap(x, 21, 53)
	compareAndSwap(x, 21, 37)
	compareAndSwap(x, 13, 45)
	compareAndSwap(x, 29, 61)
	compareAndSwap(x, 29, 45)
	compareAndSwap(x, 13, 21)
	compareAndSwap(x, 29, 37)
	compareAndSwap(x, 45, 53)
	compareAndSwap(x, 5, 9)
	compareAndSwap(x, 13, 17)
	compareAndSwap(x, 21, 25)
	compareAndSwap(x, 29, 33)
	compareAndSwap(x, 37, 41)
	compareAndSwap(x, 45, 49)
	compareAndSwap(x, 53, 57)
	compareAndSwap(x, 3, 35)
	compareAndSwap(x, 19, 51)
	compareAndSwap(x, 19, 35)
	compareAndSwap(x, 11, 43)
	compareAndSwap(x, 27, 59)
	compareAndSwap(x, 27, 43)
	compareAndSwap(x, 11, 19)
	compareAndSwap(x, 27, 35)
	compareAndSwap(x, 43, 51)
	compareAndSwap(x, 7, 39)
	compareAndSwap(x, 23, 55)
	compareAndSwap(x, 23, 39)
	compareAndSwap(x, 15, 47)
	compareAndSwap(x, 31, 63)
	compareAndSwap(x, 31, 47)
	compareAndSwap(x, 15, 23)
	compareAndSwap(x, 31, 39)
	compareAndSwap(x, 47, 55)
	compareAndSwap(x, 7, 11)
	compareAndSwap(x, 15, 19)
	compareAndSwap(x, 23, 27)
	compareAndSwap(x, 31, 35)
	compareAndSwap(x, 39, 43)
	compareAndSwap(x, 47, 51)
	compareAndSwap(x, 55, 59)
	compareAndSwap(x, 3, 5)
	compareAndSwap(x, 7, 9)
	compareAndSwap(x, 11, 13)
	compareAndSwap(x, 15, 17)
	compareAndSwap(x, 19, 21)
	compareAndSwap(x, 23, 25)
	compareAndSwap(x, 27, 29)
	compareAndSwap(x, 31, 33)
	compareAndSwap(x, 35, 37)
	compareAndSwap(x, 39, 41)
	compareAndSwap(x, 43, 45)
	compareAndSwap(x, 47, 49)
	compareAndSwap(x, 51, 53)
	compareAndSwap(x, 55, 57)
	compareAndSwap(x, 59, 61)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 3, 4)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 7, 8)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 11, 12)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 15, 16)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 19, 20)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 23, 24)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 27, 28)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 31, 32)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 35, 36)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 39, 40)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 43, 44)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 47, 48)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 51, 52)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 55, 56)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 59, 60)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 64, 65)
	compareAndSwap(x, 66, 67)
	compareAndSwap(x, 64, 66)
	compareAndSwap(x, 65, 67)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 68, 69)
	compareAndSwap(x, 70, 71)
	compareAndSwap(x, 68, 70)
	compareAndSwap(x, 69, 71)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 64, 68)
	compareAndSwap(x, 66, 70)
	compareAndSwap(x, 66, 68)
	compareAndSwap(x, 65, 69)
	compareAndSwap(x, 67, 71)
	compareAndSwap(x, 67, 69)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 67, 68)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 72, 73)
	compareAndSwap(x, 74, 75)
	compareAndSwap(x, 72, 74)
	compareAndSwap(x, 73, 75)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 76, 77)
	compareAndSwap(x, 78, 79)
	compareAndSwap(x, 76, 78)
	compareAndSwap(x, 77, 79)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 72, 76)
	compareAndSwap(x, 74, 78)
	compareAndSwap(x, 74, 76)
	compareAndSwap(x, 73, 77)
	compareAndSwap(x, 75, 79)
	compareAndSwap(x, 75, 77)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 75, 76)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 64, 72)
	compareAndSwap(x, 68, 76)
	compareAndSwap(x, 68, 72)
	compareAndSwap(x, 66, 74)
	compareAndSwap(x, 70, 78)
	compareAndSwap(x, 70, 74)
	compareAndSwap(x, 66, 68)
	compareAndSwap(x, 70, 72)
	compareAndSwap(x, 74, 76)
	compareAndSwap(x, 65, 73)
	compareAndSwap(x, 69, 77)
	compareAndSwap(x, 69, 73)
	compareAndSwap(x, 67, 75)
	compareAndSwap(x, 71, 79)
	compareAndSwap(x, 71, 75)
	compareAndSwap(x, 67, 69)
	compareAndSwap(x, 71, 73)
	compareAndSwap(x, 75, 77)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 67, 68)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 71, 72)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 75, 76)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 80, 81)
	compareAndSwap(x, 82, 83)
	compareAndSwap(x, 80, 82)
	compareAndSwap(x, 81, 83)
	compareAndSwap(x, 81, 82)
	compareAndSwap(x, 81, 82)
	compareAndSwap(x, 81, 82)
	compareAndSwap(x, 64, 80)
	compareAndSwap(x, 72, 80)
	compareAndSwap(x, 68, 72)
	compareAndSwap(x, 76, 80)
	compareAndSwap(x, 66, 82)
	compareAndSwap(x, 74, 82)
	compareAndSwap(x, 70, 74)
	compareAndSwap(x, 78, 82)
	compareAndSwap(x, 66, 68)
	compareAndSwap(x, 70, 72)
	compareAndSwap(x, 74, 76)
	compareAndSwap(x, 78, 80)
	compareAndSwap(x, 65, 81)
	compareAndSwap(x, 73, 81)
	compareAndSwap(x, 69, 73)
	compareAndSwap(x, 77, 81)
	compareAndSwap(x, 67, 83)
	compareAndSwap(x, 75, 83)
	compareAndSwap(x, 71, 75)
	compareAndSwap(x, 79, 83)
	compareAndSwap(x, 67, 69)
	compareAndSwap(x, 71, 73)
	compareAndSwap(x, 75, 77)
	compareAndSwap(x, 79, 81)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 67, 68)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 71, 72)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 75, 76)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 79, 80)
	compareAndSwap(x, 81, 82)
	compareAndSwap(x, 72, 80)
	compareAndSwap(x, 68, 72)
	compareAndSwap(x, 76, 80)
	compareAndSwap(x, 74, 82)
	compareAndSwap(x, 70, 74)
	compareAndSwap(x, 78, 82)
	compareAndSwap(x, 66, 68)
	compareAndSwap(x, 70, 72)
	compareAndSwap(x, 74, 76)
	compareAndSwap(x, 78, 80)
	compareAndSwap(x, 73, 81)
	compareAndSwap(x, 69, 73)
	compareAndSwap(x, 77, 81)
	compareAndSwap(x, 75, 83)
	compareAndSwap(x, 71, 75)
	compareAndSwap(x, 79, 83)
	compareAndSwap(x, 67, 69)
	compareAndSwap(x, 71, 73)
	compareAndSwap(x, 75, 77)
	compareAndSwap(x, 79, 81)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 67, 68)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 71, 72)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 75, 76)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 79, 80)
	compareAndSwap(x, 81, 82)
	compareAndSwap(x, 0, 64)
	compareAndSwap(x, 32, 64)
	compareAndSwap(x, 16, 80)
	compareAndSwap(x, 48, 80)
	compareAndSwap(x, 16, 32)
	compareAndSwap(x, 48, 64)
	compareAndSwap(x, 8, 72)
	compareAndSwap(x, 40, 72)
	compareAndSwap(x, 24, 40)
	compareAndSwap(x, 56, 72)
	compareAndSwap(x, 8, 16)
	compareAndSwap(x, 24, 32)
	compareAndSwap(x, 40, 48)
	compareAndSwap(x, 56, 64)
	compareAndSwap(x, 72, 80)
	compareAndSwap(x, 4, 68)
	compareAndSwap(x, 36, 68)
	compareAndSwap(x, 20, 36)
	compareAndSwap(x, 52, 68)
	compareAndSwap(x, 12, 76)
	compareAndSwap(x, 44, 76)
	compareAndSwap(x, 28, 44)
	compareAndSwap(x, 60, 76)
	compareAndSwap(x, 12, 20)
	compareAndSwap(x, 28, 36)
	compareAndSwap(x, 44, 52)
	compareAndSwap(x, 60, 68)
	compareAndSwap(x, 4, 8)
	compareAndSwap(x, 12, 16)
	compareAndSwap(x, 20, 24)
	compareAndSwap(x, 28, 32)
	compareAndSwap(x, 36, 40)
	compareAndSwap(x, 44, 48)
	compareAndSwap(x, 52, 56)
	compareAndSwap(x, 60, 64)
	compareAndSwap(x, 68, 72)
	compareAndSwap(x, 76, 80)
	compareAndSwap(x, 2, 66)
	compareAndSwap(x, 34, 66)
	compareAndSwap(x, 18, 82)
	compareAndSwap(x, 50, 82)
	compareAndSwap(x, 18, 34)
	compareAndSwap(x, 50, 66)
	compareAndSwap(x, 10, 74)
	compareAndSwap(x, 42, 74)
	compareAndSwap(x, 26, 42)
	compareAndSwap(x, 58, 74)
	compareAndSwap(x, 10, 18)
	compareAndSwap(x, 26, 34)
	compareAndSwap(x, 42, 50)
	compareAndSwap(x, 58, 66)
	compareAndSwap(x, 74, 82)
	compareAndSwap(x, 6, 70)
	compareAndSwap(x, 38, 70)
	compareAndSwap(x, 22, 38)
	compareAndSwap(x, 54, 70)
	compareAndSwap(x, 14, 78)
	compareAndSwap(x, 46, 78)
	compareAndSwap(x, 30, 46)
	compareAndSwap(x, 62, 78)
	compareAndSwap(x, 14, 22)
	compareAndSwap(x, 30, 38)
	compareAndSwap(x, 46, 54)
	compareAndSwap(x, 62, 70)
	compareAndSwap(x, 6, 10)
	compareAndSwap(x, 14, 18)
	compareAndSwap(x, 22, 26)
	compareAndSwap(x, 30, 34)
	compareAndSwap(x, 38, 42)
	compareAndSwap(x, 46, 50)
	compareAndSwap(x, 54, 58)
	compareAndSwap(x, 62, 66)
	compareAndSwap(x, 70, 74)
	compareAndSwap(x, 78, 82)
	compareAndSwap(x, 2, 4)
	compareAndSwap(x, 6, 8)
	compareAndSwap(x, 10, 12)
	compareAndSwap(x, 14, 16)
	compareAndSwap(x, 18, 20)
	compareAndSwap(x, 22, 24)
	compareAndSwap(x, 26, 28)
	compareAndSwap(x, 30, 32)
	compareAndSwap(x, 34, 36)
	compareAndSwap(x, 38, 40)
	compareAndSwap(x, 42, 44)
	compareAndSwap(x, 46, 48)
	compareAndSwap(x, 50, 52)
	compareAndSwap(x, 54, 56)
	compareAndSwap(x, 58, 60)
	compareAndSwap(x, 62, 64)
	compareAndSwap(x, 66, 68)
	compareAndSwap(x, 70, 72)
	compareAndSwap(x, 74, 76)
	compareAndSwap(x, 78, 80)
	compareAndSwap(x, 1, 65)
	compareAndSwap(x, 33, 65)
	compareAndSwap(x, 17, 81)
	compareAndSwap(x, 49, 81)
	compareAndSwap(x, 17, 33)
	compareAndSwap(x, 49, 65)
	compareAndSwap(x, 9, 73)
	compareAndSwap(x, 41, 73)
	compareAndSwap(x, 25, 41)
	compareAndSwap(x, 57, 73)
	compareAndSwap(x, 9, 17)
	compareAndSwap(x, 25, 33)
	compareAndSwap(x, 41, 49)
	compareAndSwap(x, 57, 65)
	compareAndSwap(x, 73, 81)
	compareAndSwap(x, 5, 69)
	compareAndSwap(x, 37, 69)
	compareAndSwap(x, 21, 37)
	compareAndSwap(x, 53, 69)
	compareAndSwap(x, 13, 77)
	compareAndSwap(x, 45, 77)
	compareAndSwap(x, 29, 45)
	compareAndSwap(x, 61, 77)
	compareAndSwap(x, 13, 21)
	compareAndSwap(x, 29, 37)
	compareAndSwap(x, 45, 53)
	compareAndSwap(x, 61, 69)
	compareAndSwap(x, 5, 9)
	compareAndSwap(x, 13, 17)
	compareAndSwap(x, 21, 25)
	compareAndSwap(x, 29, 33)
	compareAndSwap(x, 37, 41)
	compareAndSwap(x, 45, 49)
	compareAndSwap(x, 53, 57)
	compareAndSwap(x, 61, 65)
	compareAndSwap(x, 69, 73)
	compareAndSwap(x, 77, 81)
	compareAndSwap(x, 3, 67)
	compareAndSwap(x, 35, 67)
	compareAndSwap(x, 19, 83)
	compareAndSwap(x, 51, 83)
	compareAndSwap(x, 19, 35)
	compareAndSwap(x, 51, 67)
	compareAndSwap(x, 11, 75)
	compareAndSwap(x, 43, 75)
	compareAndSwap(x, 27, 43)
	compareAndSwap(x, 59, 75)
	compareAndSwap(x, 11, 19)
	compareAndSwap(x, 27, 35)
	compareAndSwap(x, 43, 51)
	compareAndSwap(x, 59, 67)
	compareAndSwap(x, 75, 83)
	compareAndSwap(x, 7, 71)
	compareAndSwap(x, 39, 71)
	compareAndSwap(x, 23, 39)
	compareAndSwap(x, 55, 71)
	compareAndSwap(x, 15, 79)
	compareAndSwap(x, 47, 79)
	compareAndSwap(x, 31, 47)
	compareAndSwap(x, 63, 79)
	compareAndSwap(x, 15, 23)
	compareAndSwap(x, 31, 39)
	compareAndSwap(x, 47, 55)
	compareAndSwap(x, 63, 71)
	compareAndSwap(x, 7, 11)
	compareAndSwap(x, 15, 19)
	compareAndSwap(x, 23, 27)
	compareAndSwap(x, 31, 35)
	compareAndSwap(x, 39, 43)
	compareAndSwap(x, 47, 51)
	compareAndSwap(x, 55, 59)
	compareAndSwap(x, 63, 67)
	compareAndSwap(x, 71, 75)
	compareAndSwap(x, 79, 83)
	compareAndSwap(x, 3, 5)
	compareAndSwap(x, 7, 9)
	compareAndSwap(x, 11, 13)
	compareAndSwap(x, 15, 17)
	compareAndSwap(x, 19, 21)
	compareAndSwap(x, 23, 25)
	compareAndSwap(x, 27, 29)
	compareAndSwap(x, 31, 33)
	compareAndSwap(x, 35, 37)
	compareAndSwap(x, 39, 41)
	compareAndSwap(x, 43, 45)
	compareAndSwap(x, 47, 49)
	compareAndSwap(x, 51, 53)
	compareAndSwap(x, 55, 57)
	compareAndSwap(x, 59, 61)
	compareAndSwap(x, 63, 65)
	compareAndSwap(x, 67, 69)
	compareAndSwap(x, 71, 73)
	compareAndSwap(x, 75, 77)
	compareAndSwap(x, 79, 81)
	compareAndSwap(x, 1, 2)
	compareAndSwap(x, 3, 4)
	compareAndSwap(x, 5, 6)
	compareAndSwap(x, 7, 8)
	compareAndSwap(x, 9, 10)
	compareAndSwap(x, 11, 12)
	compareAndSwap(x, 13, 14)
	compareAndSwap(x, 15, 16)
	compareAndSwap(x, 17, 18)
	compareAndSwap(x, 19, 20)
	compareAndSwap(x, 21, 22)
	compareAndSwap(x, 23, 24)
	compareAndSwap(x, 25, 26)
	compareAndSwap(x, 27, 28)
	compareAndSwap(x, 29, 30)
	compareAndSwap(x, 31, 32)
	compareAndSwap(x, 33, 34)
	compareAndSwap(x, 35, 36)
	compareAndSwap(x, 37, 38)
	compareAndSwap(x, 39, 40)
	compareAndSwap(x, 41, 42)
	compareAndSwap(x, 43, 44)
	compareAndSwap(x, 45, 46)
	compareAndSwap(x, 47, 48)
	compareAndSwap(x, 49, 50)
	compareAndSwap(x, 51, 52)
	compareAndSwap(x, 53, 54)
	compareAndSwap(x, 55, 56)
	compareAndSwap(x, 57, 58)
	compareAndSwap(x, 59, 60)
	compareAndSwap(x, 61, 62)
	compareAndSwap(x, 63, 64)
	compareAndSwap(x, 65, 66)
	compareAndSwap(x, 67, 68)
	compareAndSwap(x, 69, 70)
	compareAndSwap(x, 71, 72)
	compareAndSwap(x, 73, 74)
	compareAndSwap(x, 75, 76)
	compareAndSwap(x, 77, 78)
	compareAndSwap(x, 79, 80)
	compareAndSwap(x, 81, 82)
}