var x45 uint64
	var x46 uint64
	x46, x45 = bits.Mul64(x26, 0x1ff)
	var x47 uint64
	var x48 uint64
	x48, x47 = bits.Mul64(x26, 0xffffffffffffffff)
	var x49 uint64
	var x50 uint64
	x50, x49 = bits.Mul64(x26, 0xffffffffffffffff)
	var x51 uint64
	var x52 uint64
	x52, x51 = bits.Mul64(x26, 0xffffffffffffffff)
	var x53 uint64
	var x54 uint64
	x54, x53 = bits.Mul64(x26, 0xffffffffffffffff)
	var x55 uint64
	var x56 uint64