TestMul(OF): 1*-3 = -3
TestMul(OF): -3*-3 = 9
TestMul(OF): 1*-2 = -2
TestMul(OF): -2*-2 = 4
TestMul(OF): 1*-1 = -1
TestMul(OF): -1*-1 = 1
TestMul(OF): 1*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 1*1 = 1
TestMul(OF): 1*1 = 1
TestMul(OF): 1*2 = 2
TestMul(OF): 2*2 = 4
TestMul(OF): 1*3 = 3
TestMul(OF): 3*3= 9
TestMul(OF): 2*-3 = -6
TestMul(OF): -6*-3 = 18
TestMul(OF): 2*-2 = -4
TestMul(OF): -4*-2 = 8
TestMul(OF): 2*-1 = -2
TestMul(OF): -2*-1 = 2
TestMul(OF): 2*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 2*1 = 2
TestMul(OF): 2*1 = 2
TestMul(OF): 2*2 = 4
TestMul(OF): 4*2 = 8
TestMul(OF): 2*3 = 6
TestMul(OF): 6*3= 18
TestMul(OF): 3*-3 = -9
TestMul(OF): -9*-3 = 27
TestMul(OF): 3*-2 = -6
TestMul(OF): -6*-2 = 12
TestMul(OF): 3*-1 = -3
TestMul(OF): -3*-1 = 3
TestMul(OF): 3*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 3*1 = 3
TestMul(OF): 3*1 = 3
TestMul(OF): 3*2 = 6
TestMul(OF): 6*2 = 12
TestMul(OF): 3*3 = 9
TestMul(OF): 9*3= 27
TestMul(OF): 4*-3 = -12
TestMul(OF): -12*-3 = 36
TestMul(OF): 4*-2 = -8
TestMul(OF): -8*-2 = 16
TestMul(OF): 4*-1 = -4
TestMul(OF): -4*-1 = 4
TestMul(OF): 4*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 4*1 = 4
TestMul(OF): 4*1 = 4
TestMul(OF): 4*2 = 8
TestMul(OF): 8*2 = 16
TestMul(OF): 4*3 = 12
TestMul(OF): 12*3= 36
TestMul(OF): 5*-3 = -15
TestMul(OF): -15*-3 = 45
TestMul(OF): 5*-2 = -10
TestMul(OF): -10*-2 = 20
TestMul(OF): 5*-1 = -5
TestMul(OF): -5*-1 = 5
TestMul(OF): 5*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 5*1 = 5
TestMul(OF): 5*1 = 5
TestMul(OF): 5*2 = 10
TestMul(OF): 10*2 = 20
TestMul(OF): 5*3 = 15
TestMul(OF): 15*3= 45
TestMul(OF): 6*-3 = -18
TestMul(OF): -18*-3 = 54
TestMul(OF): 6*-2 = -12
TestMul(OF): -12*-2 = 24
TestMul(OF): 6*-1 = -6
TestMul(OF): -6*-1 = 6
TestMul(OF): 6*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 6*1 = 6
TestMul(OF): 6*1 = 6
TestMul(OF): 6*2 = 12
TestMul(OF): 12*2 = 24
TestMul(OF): 6*3 = 18
TestMul(OF): 18*3= 54
TestMul(OF): 7*-3 = -21
TestMul(OF): -21*-3 = 63
TestMul(OF): 7*-2 = -14
TestMul(OF): -14*-2 = 28
TestMul(OF): 7*-1 = -7
TestMul(OF): -7*-1 = 7
TestMul(OF): 7*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 7*1 = 7
TestMul(OF): 7*1 = 7
TestMul(OF): 7*2 = 14
TestMul(OF): 14*2 = 28
TestMul(OF): 7*3 = 21
TestMul(OF): 21*3= 63
TestMul(OF): 8*-3 = -24
TestMul(OF): -24*-3 = 72
TestMul(OF): 8*-2 = -16
TestMul(OF): -16*-2 = 32
TestMul(OF): 8*-1 = -8
TestMul(OF): -8*-1 = 8
TestMul(OF): 8*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 8*1 = 8
TestMul(OF): 8*1 = 8
TestMul(OF): 8*2 = 16
TestMul(OF): 16*2 = 32
TestMul(OF): 8*3 = 24
TestMul(OF): 24*3= 72
TestMul(OF): 9*-3 = -27
TestMul(OF): -27*-3 = 81
TestMul(OF): 9*-2 = -18
TestMul(OF): -18*-2 = 36
TestMul(OF): 9*-1 = -9
TestMul(OF): -9*-1 = 9
TestMul(OF): 9*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 9*1 = 9
TestMul(OF): 9*1 = 9
TestMul(OF): 9*2 = 18
TestMul(OF): 18*2 = 36
TestMul(OF): 9*3 = 27
TestMul(OF): 27*3= 81
TestMul(OF): 10*-3 = -30
TestMul(OF): -30*-3 = 90
TestMul(OF): 10*-2 = -20
TestMul(OF): -20*-2 = 40
TestMul(OF): 10*-1 = -10
TestMul(OF): -10*-1 = 10
TestMul(OF): 10*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 10*1 = 10
TestMul(OF): 10*1 = 10
TestMul(OF): 10*2 = 20
TestMul(OF): 20*2 = 40
TestMul(OF): 10*3 = 30
TestMul(OF): 30*3= 90
TestMul(NOF): 1*-3 = -3
TestMul(NOF): -3*-3 = 9
TestMul(NOF): 1*-2 = -2
TestMul(NOF): -2*-2 = 4
TestMul(NOF): 1*-1 = -1
TestMul(NOF): -1*-1 = 1
TestMul(NOF): 1*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 1*1 = 1
TestMul(NOF): 1*1 = 1
TestMul(NOF): 1*2 = 2
TestMul(NOF): 2*2 = 4
TestMul(NOF): 1*3 = 3
TestMul(NOF): 3*3 = 9
TestMul(NOF): 2*-3 = -6
TestMul(NOF): -6*-3 = 18
TestMul(NOF): 2*-2 = -4
TestMul(NOF): -4*-2 = 8
TestMul(NOF): 2*-1 = -2
TestMul(NOF): -2*-1 = 2
TestMul(NOF): 2*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 2*1 = 2
TestMul(NOF): 2*1 = 2
TestMul(NOF): 2*2 = 4
TestMul(NOF): 4*2 = 8
TestMul(NOF): 2*3 = 6
TestMul(NOF): 6*3 = 18
TestMul(NOF): 3*-3 = -9
TestMul(NOF): -9*-3 = 27
TestMul(NOF): 3*-2 = -6
TestMul(NOF): -6*-2 = 12
TestMul(NOF): 3*-1 = -3
TestMul(NOF): -3*-1 = 3
TestMul(NOF): 3*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 3*1 = 3
TestMul(NOF): 3*1 = 3
TestMul(NOF): 3*2 = 6
TestMul(NOF): 6*2 = 12
TestMul(NOF): 3*3 = 9
TestMul(NOF): 9*3 = 27
TestMul(NOF): 4*-3 = -12
TestMul(NOF): -12*-3 = 36
TestMul(NOF): 4*-2 = -8
TestMul(NOF): -8*-2 = 16
TestMul(NOF): 4*-1 = -4
TestMul(NOF): -4*-1 = 4
TestMul(NOF): 4*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 4*1 = 4
TestMul(NOF): 4*1 = 4
TestMul(NOF): 4*2 = 8
TestMul(NOF): 8*2 = 16
TestMul(NOF): 4*3 = 12
TestMul(NOF): 12*3 = 36
TestMul(NOF): 5*-3 = -15
TestMul(NOF): -15*-3 = 45
TestMul(NOF): 5*-2 = -10
TestMul(NOF): -10*-2 = 20
TestMul(NOF): 5*-1 = -5
TestMul(NOF): -5*-1 = 5
TestMul(NOF): 5*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 5*1 = 5
TestMul(NOF): 5*1 = 5
TestMul(NOF): 5*2 = 10
TestMul(NOF): 10*2 = 20
TestMul(NOF): 5*3 = 15
TestMul(NOF): 15*3 = 45
TestMul(NOF): 6*-3 = -18
TestMul(NOF): -18*-3 = 54
TestMul(NOF): 6*-2 = -12
TestMul(NOF): -12*-2 = 24
TestMul(NOF): 6*-1 = -6
TestMul(NOF): -6*-1 = 6
TestMul(NOF): 6*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 6*1 = 6
TestMul(NOF): 6*1 = 6
TestMul(NOF): 6*2 = 12
TestMul(NOF): 12*2 = 24
TestMul(NOF): 6*3 = 18
TestMul(NOF): 18*3 = 54
TestMul(NOF): 7*-3 = -21
TestMul(NOF): -21*-3 = 63
TestMul(NOF): 7*-2 = -14
TestMul(NOF): -14*-2 = 28
TestMul(NOF): 7*-1 = -7
TestMul(NOF): -7*-1 = 7
TestMul(NOF): 7*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 7*1 = 7
TestMul(NOF): 7*1 = 7
TestMul(NOF): 7*2 = 14
TestMul(NOF): 14*2 = 28
TestMul(NOF): 7*3 = 21
TestMul(NOF): 21*3 = 63
TestMul(NOF): 8*-3 = -24
TestMul(NOF): -24*-3 = 72
TestMul(NOF): 8*-2 = -16
TestMul(NOF): -16*-2 = 32
TestMul(NOF): 8*-1 = -8
TestMul(NOF): -8*-1 = 8
TestMul(NOF): 8*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 8*1 = 8
TestMul(NOF): 8*1 = 8
TestMul(NOF): 8*2 = 16
TestMul(NOF): 16*2 = 32
TestMul(NOF): 8*3 = 24
TestMul(NOF): 24*3 = 72
TestMul(NOF): 9*-3 = -27
TestMul(NOF): -27*-3 = 81
TestMul(NOF): 9*-2 = -18
TestMul(NOF): -18*-2 = 36
TestMul(NOF): 9*-1 = -9
TestMul(NOF): -9*-1 = 9
TestMul(NOF): 9*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 9*1 = 9
TestMul(NOF): 9*1 = 9
TestMul(NOF): 9*2 = 18
TestMul(NOF): 18*2 = 36
TestMul(NOF): 9*3 = 27
TestMul(NOF): 27*3 = 81
TestMul(OF): 1*-3 = -3
TestMul(OF): -3*-3 = 9
TestMul(OF): 1*-2 = -2
TestMul(OF): -2*-2 = 4
TestMul(OF): 1*-1 = -1
TestMul(OF): -1*-1 = 1
TestMul(OF): 1*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 1*1 = 1
TestMul(OF): 1*1 = 1
TestMul(OF): 1*2 = 2
TestMul(OF): 2*2 = 4
TestMul(OF): 1*3 = 3
TestMul(OF): 3*3= 9
TestMul(OF): 2*-3 = -6
TestMul(OF): -6*-3 = 18
TestMul(OF): 2*-2 = -4
TestMul(OF): -4*-2 = 8
TestMul(OF): 2*-1 = -2
TestMul(OF): -2*-1 = 2
TestMul(OF): 2*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 2*1 = 2
TestMul(OF): 2*1 = 2
TestMul(OF): 2*2 = 4
TestMul(OF): 4*2 = 8
TestMul(OF): 2*3 = 6
TestMul(OF): 6*3= 18
TestMul(OF): 3*-3 = -9
TestMul(OF): -9*-3 = 27
TestMul(OF): 3*-2 = -6
TestMul(OF): -6*-2 = 12
TestMul(OF): 3*-1 = -3
TestMul(OF): -3*-1 = 3
TestMul(OF): 3*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 3*1 = 3
TestMul(OF): 3*1 = 3
TestMul(OF): 3*2 = 6
TestMul(OF): 6*2 = 12
TestMul(OF): 3*3 = 9
TestMul(OF): 9*3= 27
TestMul(OF): 4*-3 = -12
TestMul(OF): -12*-3 = 36
TestMul(OF): 4*-2 = -8
TestMul(OF): -8*-2 = 16
TestMul(OF): 4*-1 = -4
TestMul(OF): -4*-1 = 4
TestMul(OF): 4*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 4*1 = 4
TestMul(OF): 4*1 = 4
TestMul(OF): 4*2 = 8
TestMul(OF): 8*2 = 16
TestMul(OF): 4*3 = 12
TestMul(OF): 12*3= 36
TestMul(OF): 5*-3 = -15
TestMul(OF): -15*-3 = 45
TestMul(OF): 5*-2 = -10
TestMul(OF): -10*-2 = 20
TestMul(OF): 5*-1 = -5
TestMul(OF): -5*-1 = 5
TestMul(OF): 5*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 5*1 = 5
TestMul(OF): 5*1 = 5
TestMul(OF): 5*2 = 10
TestMul(OF): 10*2 = 20
TestMul(OF): 5*3 = 15
TestMul(OF): 15*3= 45
TestMul(OF): 6*-3 = -18
TestMul(OF): -18*-3 = 54
TestMul(OF): 6*-2 = -12
TestMul(OF): -12*-2 = 24
TestMul(OF): 6*-1 = -6
TestMul(OF): -6*-1 = 6
TestMul(OF): 6*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 6*1 = 6
TestMul(OF): 6*1 = 6
TestMul(OF): 6*2 = 12
TestMul(OF): 12*2 = 24
TestMul(OF): 6*3 = 18
TestMul(OF): 18*3= 54
TestMul(OF): 7*-3 = -21
TestMul(OF): -21*-3 = 63
TestMul(OF): 7*-2 = -14
TestMul(OF): -14*-2 = 28
TestMul(OF): 7*-1 = -7
TestMul(OF): -7*-1 = 7
TestMul(OF): 7*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 7*1 = 7
TestMul(OF): 7*1 = 7
TestMul(OF): 7*2 = 14
TestMul(OF): 14*2 = 28
TestMul(OF): 7*3 = 21
TestMul(OF): 21*3= 63
TestMul(OF): 8*-3 = -24
TestMul(OF): -24*-3 = 72
TestMul(OF): 8*-2 = -16
TestMul(OF): -16*-2 = 32
TestMul(OF): 8*-1 = -8
TestMul(OF): -8*-1 = 8
TestMul(OF): 8*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 8*1 = 8
TestMul(OF): 8*1 = 8
TestMul(OF): 8*2 = 16
TestMul(OF): 16*2 = 32
TestMul(OF): 8*3 = 24
TestMul(OF): 24*3= 72
TestMul(OF): 9*-3 = -27
TestMul(OF): -27*-3 = 81
TestMul(OF): 9*-2 = -18
TestMul(OF): -18*-2 = 36
TestMul(OF): 9*-1 = -9
TestMul(OF): -9*-1 = 9
TestMul(OF): 9*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 9*1 = 9
TestMul(OF): 9*1 = 9
TestMul(OF): 9*2 = 18
TestMul(OF): 18*2 = 36
TestMul(OF): 9*3 = 27
TestMul(OF): 27*3= 81
TestMul(OF): 10*-3 = -30
TestMul(OF): -30*-3 = 90
TestMul(OF): 10*-2 = -20
TestMul(OF): -20*-2 = 40
TestMul(OF): 10*-1 = -10
TestMul(OF): -10*-1 = 10
TestMul(OF): 10*0 = 0
TestMul(OF): 0*0 = 0
TestMul(OF): 10*1 = 10
TestMul(OF): 10*1 = 10
TestMul(OF): 10*2 = 20
TestMul(OF): 20*2 = 40
TestMul(OF): 10*3 = 30
TestMul(OF): 30*3= 90
TestMul(NOF): 1*-3 = -3
TestMul(NOF): -3*-3 = 9
TestMul(NOF): 1*-2 = -2
TestMul(NOF): -2*-2 = 4
TestMul(NOF): 1*-1 = -1
TestMul(NOF): -1*-1 = 1
TestMul(NOF): 1*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 1*1 = 1
TestMul(NOF): 1*1 = 1
TestMul(NOF): 1*2 = 2
TestMul(NOF): 2*2 = 4
TestMul(NOF): 1*3 = 3
TestMul(NOF): 3*3 = 9
TestMul(NOF): 2*-3 = -6
TestMul(NOF): -6*-3 = 18
TestMul(NOF): 2*-2 = -4
TestMul(NOF): -4*-2 = 8
TestMul(NOF): 2*-1 = -2
TestMul(NOF): -2*-1 = 2
TestMul(NOF): 2*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 2*1 = 2
TestMul(NOF): 2*1 = 2
TestMul(NOF): 2*2 = 4
TestMul(NOF): 4*2 = 8
TestMul(NOF): 2*3 = 6
TestMul(NOF): 6*3 = 18
TestMul(NOF): 3*-3 = -9
TestMul(NOF): -9*-3 = 27
TestMul(NOF): 3*-2 = -6
TestMul(NOF): -6*-2 = 12
TestMul(NOF): 3*-1 = -3
TestMul(NOF): -3*-1 = 3
TestMul(NOF): 3*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 3*1 = 3
TestMul(NOF): 3*1 = 3
TestMul(NOF): 3*2 = 6
TestMul(NOF): 6*2 = 12
TestMul(NOF): 3*3 = 9
TestMul(NOF): 9*3 = 27
TestMul(NOF): 4*-3 = -12
TestMul(NOF): -12*-3 = 36
TestMul(NOF): 4*-2 = -8
TestMul(NOF): -8*-2 = 16
TestMul(NOF): 4*-1 = -4
TestMul(NOF): -4*-1 = 4
TestMul(NOF): 4*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 4*1 = 4
TestMul(NOF): 4*1 = 4
TestMul(NOF): 4*2 = 8
TestMul(NOF): 8*2 = 16
TestMul(NOF): 4*3 = 12
TestMul(NOF): 12*3 = 36
TestMul(NOF): 5*-3 = -15
TestMul(NOF): -15*-3 = 45
TestMul(NOF): 5*-2 = -10
TestMul(NOF): -10*-2 = 20
TestMul(NOF): 5*-1 = -5
TestMul(NOF): -5*-1 = 5
TestMul(NOF): 5*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 5*1 = 5
TestMul(NOF): 5*1 = 5
TestMul(NOF): 5*2 = 10
TestMul(NOF): 10*2 = 20
TestMul(NOF): 5*3 = 15
TestMul(NOF): 15*3 = 45
TestMul(NOF): 6*-3 = -18
TestMul(NOF): -18*-3 = 54
TestMul(NOF): 6*-2 = -12
TestMul(NOF): -12*-2 = 24
TestMul(NOF): 6*-1 = -6
TestMul(NOF): -6*-1 = 6
TestMul(NOF): 6*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 6*1 = 6
TestMul(NOF): 6*1 = 6
TestMul(NOF): 6*2 = 12
TestMul(NOF): 12*2 = 24
TestMul(NOF): 6*3 = 18
TestMul(NOF): 18*3 = 54
TestMul(NOF): 7*-3 = -21
TestMul(NOF): -21*-3 = 63
TestMul(NOF): 7*-2 = -14
TestMul(NOF): -14*-2 = 28
TestMul(NOF): 7*-1 = -7
TestMul(NOF): -7*-1 = 7
TestMul(NOF): 7*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 7*1 = 7
TestMul(NOF): 7*1 = 7
TestMul(NOF): 7*2 = 14
TestMul(NOF): 14*2 = 28
TestMul(NOF): 7*3 = 21
TestMul(NOF): 21*3 = 63
TestMul(NOF): 8*-3 = -24
TestMul(NOF): -24*-3 = 72
TestMul(NOF): 8*-2 = -16
TestMul(NOF): -16*-2 = 32
TestMul(NOF): 8*-1 = -8
TestMul(NOF): -8*-1 = 8
TestMul(NOF): 8*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 8*1 = 8
TestMul(NOF): 8*1 = 8
TestMul(NOF): 8*2 = 16
TestMul(NOF): 16*2 = 32
TestMul(NOF): 8*3 = 24
TestMul(NOF): 24*3 = 72
TestMul(NOF): 9*-3 = -27
TestMul(NOF): -27*-3 = 81
TestMul(NOF): 9*-2 = -18
TestMul(NOF): -18*-2 = 36
TestMul(NOF): 9*-1 = -9
TestMul(NOF): -9*-1 = 9
TestMul(NOF): 9*0 = 0
TestMul(NOF): 0*-0 = 0
TestMul(NOF): 9*1 = 9
TestMul(NOF): 9*1 = 9
TestMul(NOF): 9*2 = 18
TestMul(NOF): 18*2 = 36
TestMul(NOF): 9*3 = 27
TestMul(NOF): 27*3 = 81
TestMulSmall done
TestMul(NOF): 1*-4 = -4
TestMul(NOF): 1*-8 = -8
TestMul(NOF): 1*-16 = -16
TestMul(NOF): 1*-32 = -32
TestMul(NOF): 1*-64 = -64
TestMul(NOF): 1*-128 = -128
TestMul(NOF): 1*-256 = -256
TestMul(NOF): 1*-512 = -512
TestMul(NOF): 1*-1024 = -1024
TestMul(NOF): 1*-2048 = -2048
TestMul(NOF): 1*-4096 = -4096
TestMul(NOF): 1*-8192 = -8192
TestMul(NOF): 1*-16384 = -16384
TestMul(NOF): 2*-4 = -8
TestMul(NOF): 2*-8 = -16
TestMul(NOF): 2*-16 = -32
TestMul(NOF): 2*-32 = -64
TestMul(NOF): 2*-64 = -128
TestMul(NOF): 2*-128 = -256
TestMul(NOF): 2*-256 = -512
TestMul(NOF): 2*-512 = -1024
TestMul(NOF): 2*-1024 = -2048
TestMul(NOF): 2*-2048 = -4096
TestMul(NOF): 2*-4096 = -8192
TestMul(NOF): 2*-8192 = -16384
TestMul(NOF): 2*-16384 = -32768
TestMul(NOF): 3*-4 = -12
TestMul(NOF): 3*-8 = -24
TestMul(NOF): 3*-16 = -48
TestMul(NOF): 3*-32 = -96
TestMul(NOF): 3*-64 = -192
TestMul(NOF): 3*-128 = -384
TestMul(NOF): 3*-256 = -768
TestMul(NOF): 3*-512 = -1536
TestMul(NOF): 3*-1024 = -3072
TestMul(NOF): 3*-2048 = -6144
TestMul(NOF): 3*-4096 = -12288
TestMul(NOF): 3*-8192 = -24576
TestMul(NOF): 3*-16384 = -49152
TestMul(NOF): 4*-4 = -16
TestMul(NOF): 4*-8 = -32
TestMul(NOF): 4*-16 = -64
TestMul(NOF): 4*-32 = -128
TestMul(NOF): 4*-64 = -256
TestMul(NOF): 4*-128 = -512
TestMul(NOF): 4*-256 = -1024
TestMul(NOF): 4*-512 = -2048
TestMul(NOF): 4*-1024 = -4096
TestMul(NOF): 4*-2048 = -8192
TestMul(NOF): 4*-4096 = -16384
TestMul(NOF): 4*-8192 = -32768
TestMul(NOF): 4*-16384 = -65536
TestMul(NOF): 5*-4 = -20
TestMul(NOF): 5*-8 = -40
TestMul(NOF): 5*-16 = -80
TestMul(NOF): 5*-32 = -160
TestMul(NOF): 5*-64 = -320
TestMul(NOF): 5*-128 = -640
TestMul(NOF): 5*-256 = -1280
TestMul(NOF): 5*-512 = -2560
TestMul(NOF): 5*-1024 = -5120
TestMul(NOF): 5*-2048 = -10240
TestMul(NOF): 5*-4096 = -20480
TestMul(NOF): 5*-8192 = -40960
TestMul(NOF): 5*-16384 = -81920
TestMul(NOF): 6*-4 = -24
TestMul(NOF): 6*-8 = -48
TestMul(NOF): 6*-16 = -96
TestMul(NOF): 6*-32 = -192
TestMul(NOF): 6*-64 = -384
TestMul(NOF): 6*-128 = -768
TestMul(NOF): 6*-256 = -1536
TestMul(NOF): 6*-512 = -3072
TestMul(NOF): 6*-1024 = -6144
TestMul(NOF): 6*-2048 = -12288
TestMul(NOF): 6*-4096 = -24576
TestMul(NOF): 6*-8192 = -49152
TestMul(NOF): 6*-16384 = -98304
TestMul(NOF): 7*-4 = -28
TestMul(NOF): 7*-8 = -56
TestMul(NOF): 7*-16 = -112
TestMul(NOF): 7*-32 = -224
TestMul(NOF): 7*-64 = -448
TestMul(NOF): 7*-128 = -896
TestMul(NOF): 7*-256 = -1792
TestMul(NOF): 7*-512 = -3584
TestMul(NOF): 7*-1024 = -7168
TestMul(NOF): 7*-2048 = -14336
TestMul(NOF): 7*-4096 = -28672
TestMul(NOF): 7*-8192 = -57344
TestMul(NOF): 7*-16384 = -114688
TestMul(NOF): 8*-4 = -32
TestMul(NOF): 8*-8 = -64
TestMul(NOF): 8*-16 = -128
TestMul(NOF): 8*-32 = -256
TestMul(NOF): 8*-64 = -512
TestMul(NOF): 8*-128 = -1024
TestMul(NOF): 8*-256 = -2048
TestMul(NOF): 8*-512 = -4096
TestMul(NOF): 8*-1024 = -8192
TestMul(NOF): 8*-2048 = -16384
TestMul(NOF): 8*-4096 = -32768
TestMul(NOF): 8*-8192 = -65536
TestMul(NOF): 8*-16384 = -131072
TestMul(NOF): 9*-4 = -36
TestMul(NOF): 9*-8 = -72
TestMul(NOF): 9*-16 = -144
TestMul(NOF): 9*-32 = -288
TestMul(NOF): 9*-64 = -576
TestMul(NOF): 9*-128 = -1152
TestMul(NOF): 9*-256 = -2304
TestMul(NOF): 9*-512 = -4608
TestMul(NOF): 9*-1024 = -9216
TestMul(NOF): 9*-2048 = -18432
TestMul(NOF): 9*-4096 = -36864
TestMul(NOF): 9*-8192 = -73728
TestMul(NOF): 9*-16384 = -147456
TestMul(NOF): 1*4 = 4
TestMul(NOF): 1*8 = 8
TestMul(NOF): 1*16 = 16
TestMul(NOF): 1*32 = 32
TestMul(NOF): 1*64 = 64
TestMul(NOF): 1*128 = 128
TestMul(NOF): 1*256 = 256
TestMul(NOF): 1*512 = 512
TestMul(NOF): 1*1024 = 1024
TestMul(NOF): 1*2048 = 2048
TestMul(NOF): 1*4096 = 4096
TestMul(NOF): 1*8192 = 8192
TestMul(NOF): 1*16384 = 16384
TestMul(NOF): 2*4 = 8
TestMul(NOF): 2*8 = 16
TestMul(NOF): 2*16 = 32
TestMul(NOF): 2*32 = 64
TestMul(NOF): 2*64 = 128
TestMul(NOF): 2*128 = 256
TestMul(NOF): 2*256 = 512
TestMul(NOF): 2*512 = 1024
TestMul(NOF): 2*1024 = 2048
TestMul(NOF): 2*2048 = 4096
TestMul(NOF): 2*4096 = 8192
TestMul(NOF): 2*8192 = 16384
TestMul(NOF): 2*16384 = 32768
TestMul(NOF): 3*4 = 12
TestMul(NOF): 3*8 = 24
TestMul(NOF): 3*16 = 48
TestMul(NOF): 3*32 = 96
TestMul(NOF): 3*64 = 192
TestMul(NOF): 3*128 = 384
TestMul(NOF): 3*256 = 768
TestMul(NOF): 3*512 = 1536
TestMul(NOF): 3*1024 = 3072
TestMul(NOF): 3*2048 = 6144
TestMul(NOF): 3*4096 = 12288
TestMul(NOF): 3*8192 = 24576
TestMul(NOF): 3*16384 = 49152
TestMul(NOF): 4*4 = 16
TestMul(NOF): 4*8 = 32
TestMul(NOF): 4*16 = 64
TestMul(NOF): 4*32 = 128
TestMul(NOF): 4*64 = 256
TestMul(NOF): 4*128 = 512
TestMul(NOF): 4*256 = 1024
TestMul(NOF): 4*512 = 2048
TestMul(NOF): 4*1024 = 4096
TestMul(NOF): 4*2048 = 8192
TestMul(NOF): 4*4096 = 16384
TestMul(NOF): 4*8192 = 32768
TestMul(NOF): 4*16384 = 65536
TestMul(NOF): 5*4 = 20
TestMul(NOF): 5*8 = 40
TestMul(NOF): 5*16 = 80
TestMul(NOF): 5*32 = 160
TestMul(NOF): 5*64 = 320
TestMul(NOF): 5*128 = 640
TestMul(NOF): 5*256 = 1280
TestMul(NOF): 5*512 = 2560
TestMul(NOF): 5*1024 = 5120
TestMul(NOF): 5*2048 = 10240
TestMul(NOF): 5*4096 = 20480
TestMul(NOF): 5*8192 = 40960
TestMul(NOF): 5*16384 = 81920
TestMul(NOF): 6*4 = 24
TestMul(NOF): 6*8 = 48
TestMul(NOF): 6*16 = 96
TestMul(NOF): 6*32 = 192
TestMul(NOF): 6*64 = 384
TestMul(NOF): 6*128 = 768
TestMul(NOF): 6*256 = 1536
TestMul(NOF): 6*512 = 3072
TestMul(NOF): 6*1024 = 6144
TestMul(NOF): 6*2048 = 12288
TestMul(NOF): 6*4096 = 24576
TestMul(NOF): 6*8192 = 49152
TestMul(NOF): 6*16384 = 98304
TestMul(NOF): 7*4 = 28
TestMul(NOF): 7*8 = 56
TestMul(NOF): 7*16 = 112
TestMul(NOF): 7*32 = 224
TestMul(NOF): 7*64 = 448
TestMul(NOF): 7*128 = 896
TestMul(NOF): 7*256 = 1792
TestMul(NOF): 7*512 = 3584
TestMul(NOF): 7*1024 = 7168
TestMul(NOF): 7*2048 = 14336
TestMul(NOF): 7*4096 = 28672
TestMul(NOF): 7*8192 = 57344
TestMul(NOF): 7*16384 = 114688
TestMul(NOF): 8*4 = 32
TestMul(NOF): 8*8 = 64
TestMul(NOF): 8*16 = 128
TestMul(NOF): 8*32 = 256
TestMul(NOF): 8*64 = 512
TestMul(NOF): 8*128 = 1024
TestMul(NOF): 8*256 = 2048
TestMul(NOF): 8*512 = 4096
TestMul(NOF): 8*1024 = 8192
TestMul(NOF): 8*2048 = 16384
TestMul(NOF): 8*4096 = 32768
TestMul(NOF): 8*8192 = 65536
TestMul(NOF): 8*16384 = 131072
TestMul(NOF): 9*4 = 36
TestMul(NOF): 9*8 = 72
TestMul(NOF): 9*16 = 144
TestMul(NOF): 9*32 = 288
TestMul(NOF): 9*64 = 576
TestMul(NOF): 9*128 = 1152
TestMul(NOF): 9*256 = 2304
TestMul(NOF): 9*512 = 4608
TestMul(NOF): 9*1024 = 9216
TestMul(NOF): 9*2048 = 18432
TestMul(NOF): 9*4096 = 36864
TestMul(NOF): 9*8192 = 73728
TestMul(NOF): 9*16384 = 147456
TestMul(NOF): 1*5 = 5
TestMul(NOF): 1*9 = 9
TestMul(NOF): 1*17 = 17
TestMul(NOF): 1*33 = 33
TestMul(NOF): 1*65 = 65
TestMul(NOF): 1*129 = 129
TestMul(NOF): 1*257 = 257
TestMul(NOF): 1*513 = 513
TestMul(NOF): 1*1025 = 1025
TestMul(NOF): 1*2049 = 2049
TestMul(NOF): 1*4097 = 4097
TestMul(NOF): 1*8193 = 8193
TestMul(NOF): 1*16385 = 16385
TestMul(NOF): 2*5 = 10
TestMul(NOF): 2*9 = 18
TestMul(NOF): 2*17 = 34
TestMul(NOF): 2*33 = 66
TestMul(NOF): 2*65 = 130
TestMul(NOF): 2*129 = 258
TestMul(NOF): 2*257 = 514
TestMul(NOF): 2*513 = 1026
TestMul(NOF): 2*1025 = 2050
TestMul(NOF): 2*2049 = 4098
TestMul(NOF): 2*4097 = 8194
TestMul(NOF): 2*8193 = 16386
TestMul(NOF): 2*16385 = 32770
TestMul(NOF): 3*5 = 15
TestMul(NOF): 3*9 = 27
TestMul(NOF): 3*17 = 51
TestMul(NOF): 3*33 = 99
TestMul(NOF): 3*65 = 195
TestMul(NOF): 3*129 = 387
TestMul(NOF): 3*257 = 771
TestMul(NOF): 3*513 = 1539
TestMul(NOF): 3*1025 = 3075
TestMul(NOF): 3*2049 = 6147
TestMul(NOF): 3*4097 = 12291
TestMul(NOF): 3*8193 = 24579
TestMul(NOF): 3*16385 = 49155
TestMul(NOF): 4*5 = 20
TestMul(NOF): 4*9 = 36
TestMul(NOF): 4*17 = 68
TestMul(NOF): 4*33 = 132
TestMul(NOF): 4*65 = 260
TestMul(NOF): 4*129 = 516
TestMul(NOF): 4*257 = 1028
TestMul(NOF): 4*513 = 2052
TestMul(NOF): 4*1025 = 4100
TestMul(NOF): 4*2049 = 8196
TestMul(NOF): 4*4097 = 16388
TestMul(NOF): 4*8193 = 32772
TestMul(NOF): 4*16385 = 65540
TestMul(NOF): 5*5 = 25
TestMul(NOF): 5*9 = 45
TestMul(NOF): 5*17 = 85
TestMul(NOF): 5*33 = 165
TestMul(NOF): 5*65 = 325
TestMul(NOF): 5*129 = 645
TestMul(NOF): 5*257 = 1285
TestMul(NOF): 5*513 = 2565
TestMul(NOF): 5*1025 = 5125
TestMul(NOF): 5*2049 = 10245
TestMul(NOF): 5*4097 = 20485
TestMul(NOF): 5*8193 = 40965
TestMul(NOF): 5*16385 = 81925
TestMul(NOF): 6*5 = 30
TestMul(NOF): 6*9 = 54
TestMul(NOF): 6*17 = 102
TestMul(NOF): 6*33 = 198
TestMul(NOF): 6*65 = 390
TestMul(NOF): 6*129 = 774
TestMul(NOF): 6*257 = 1542
TestMul(NOF): 6*513 = 3078
TestMul(NOF): 6*1025 = 6150
TestMul(NOF): 6*2049 = 12294
TestMul(NOF): 6*4097 = 24582
TestMul(NOF): 6*8193 = 49158
TestMul(NOF): 6*16385 = 98310
TestMul(NOF): 7*5 = 35
TestMul(NOF): 7*9 = 63
TestMul(NOF): 7*17 = 119
TestMul(NOF): 7*33 = 231
TestMul(NOF): 7*65 = 455
TestMul(NOF): 7*129 = 903
TestMul(NOF): 7*257 = 1799
TestMul(NOF): 7*513 = 3591
TestMul(NOF): 7*1025 = 7175
TestMul(NOF): 7*2049 = 14343
TestMul(NOF): 7*4097 = 28679
TestMul(NOF): 7*8193 = 57351
TestMul(NOF): 7*16385 = 114695
TestMul(NOF): 8*5 = 40
TestMul(NOF): 8*9 = 72
TestMul(NOF): 8*17 = 136
TestMul(NOF): 8*33 = 264
TestMul(NOF): 8*65 = 520
TestMul(NOF): 8*129 = 1032
TestMul(NOF): 8*257 = 2056
TestMul(NOF): 8*513 = 4104
TestMul(NOF): 8*1025 = 8200
TestMul(NOF): 8*2049 = 16392
TestMul(NOF): 8*4097 = 32776
TestMul(NOF): 8*8193 = 65544
TestMul(NOF): 8*16385 = 131080
TestMul(NOF): 9*5 = 45
TestMul(NOF): 9*9 = 81
TestMul(NOF): 9*17 = 153
TestMul(NOF): 9*33 = 297
TestMul(NOF): 9*65 = 585
TestMul(NOF): 9*129 = 1161
TestMul(NOF): 9*257 = 2313
TestMul(NOF): 9*513 = 4617
TestMul(NOF): 9*1025 = 9225
TestMul(NOF): 9*2049 = 18441
TestMul(NOF): 9*4097 = 36873
TestMul(NOF): 9*8193 = 73737
TestMul(NOF): 9*16385 = 147465
TestMul(NOF): 1*3 = 3
TestMul(NOF): 1*7 = 7
TestMul(NOF): 1*15 = 15
TestMul(NOF): 1*31 = 31
TestMul(NOF): 1*63 = 63
TestMul(NOF): 1*127 = 127
TestMul(NOF): 1*255 = 255
TestMul(NOF): 1*511 = 511
TestMul(NOF): 1*1023 = 1023
TestMul(NOF): 1*2047 = 2047
TestMul(NOF): 1*4095 = 4095
TestMul(NOF): 1*8191 = 8191
TestMul(NOF): 1*16383 = 16383
TestMul(NOF): 2*3 = 6
TestMul(NOF): 2*7 = 14
TestMul(NOF): 2*15 = 30
TestMul(NOF): 2*31 = 62
TestMul(NOF): 2*63 = 126
TestMul(NOF): 2*127 = 254
TestMul(NOF): 2*255 = 510
TestMul(NOF): 2*511 = 1022
TestMul(NOF): 2*1023 = 2046
TestMul(NOF): 2*2047 = 4094
TestMul(NOF): 2*4095 = 8190
TestMul(NOF): 2*8191 = 16382
TestMul(NOF): 2*16383 = 32766
TestMul(NOF): 3*3 = 9
TestMul(NOF): 3*7 = 21
TestMul(NOF): 3*15 = 45
TestMul(NOF): 3*31 = 93
TestMul(NOF): 3*63 = 189
TestMul(NOF): 3*127 = 381
TestMul(NOF): 3*255 = 765
TestMul(NOF): 3*511 = 1533
TestMul(NOF): 3*1023 = 3069
TestMul(NOF): 3*2047 = 6141
TestMul(NOF): 3*4095 = 12285
TestMul(NOF): 3*8191 = 24573
TestMul(NOF): 3*16383 = 49149
TestMul(NOF): 4*3 = 12
TestMul(NOF): 4*7 = 28
TestMul(NOF): 4*15 = 60
TestMul(NOF): 4*31 = 124
TestMul(NOF): 4*63 = 252
TestMul(NOF): 4*127 = 508
TestMul(NOF): 4*255 = 1020
TestMul(NOF): 4*511 = 2044
TestMul(NOF): 4*1023 = 4092
TestMul(NOF): 4*2047 = 8188
TestMul(NOF): 4*4095 = 16380
TestMul(NOF): 4*8191 = 32764
TestMul(NOF): 4*16383 = 65532
TestMul(NOF): 5*3 = 15
TestMul(NOF): 5*7 = 35
TestMul(NOF): 5*15 = 75
TestMul(NOF): 5*31 = 155
TestMul(NOF): 5*63 = 315
TestMul(NOF): 5*127 = 635
TestMul(NOF): 5*255 = 1275
TestMul(NOF): 5*511 = 2555
TestMul(NOF): 5*1023 = 5115
TestMul(NOF): 5*2047 = 10235
TestMul(NOF): 5*4095 = 20475
TestMul(NOF): 5*8191 = 40955
TestMul(NOF): 5*16383 = 81915
TestMul(NOF): 6*3 = 18
TestMul(NOF): 6*7 = 42
TestMul(NOF): 6*15 = 90
TestMul(NOF): 6*31 = 186
TestMul(NOF): 6*63 = 378
TestMul(NOF): 6*127 = 762
TestMul(NOF): 6*255 = 1530
TestMul(NOF): 6*511 = 3066
TestMul(NOF): 6*1023 = 6138
TestMul(NOF): 6*2047 = 12282
TestMul(NOF): 6*4095 = 24570
TestMul(NOF): 6*8191 = 49146
TestMul(NOF): 6*16383 = 98298
TestMul(NOF): 7*3 = 21
TestMul(NOF): 7*7 = 49
TestMul(NOF): 7*15 = 105
TestMul(NOF): 7*31 = 217
TestMul(NOF): 7*63 = 441
TestMul(NOF): 7*127 = 889
TestMul(NOF): 7*255 = 1785
TestMul(NOF): 7*511 = 3577
TestMul(NOF): 7*1023 = 7161
TestMul(NOF): 7*2047 = 14329
TestMul(NOF): 7*4095 = 28665
TestMul(NOF): 7*8191 = 57337
TestMul(NOF): 7*16383 = 114681
TestMul(NOF): 8*3 = 24
TestMul(NOF): 8*7 = 56
TestMul(NOF): 8*15 = 120
TestMul(NOF): 8*31 = 248
TestMul(NOF): 8*63 = 504
TestMul(NOF): 8*127 = 1016
TestMul(NOF): 8*255 = 2040
TestMul(NOF): 8*511 = 4088
TestMul(NOF): 8*1023 = 8184
TestMul(NOF): 8*2047 = 16376
TestMul(NOF): 8*4095 = 32760
TestMul(NOF): 8*8191 = 65528
TestMul(NOF): 8*16383 = 131064
TestMul(NOF): 9*3 = 27
TestMul(NOF): 9*7 = 63
TestMul(NOF): 9*15 = 135
TestMul(NOF): 9*31 = 279
TestMul(NOF): 9*63 = 567
TestMul(NOF): 9*127 = 1143
TestMul(NOF): 9*255 = 2295
TestMul(NOF): 9*511 = 4599
TestMul(NOF): 9*1023 = 9207
TestMul(NOF): 9*2047 = 18423
TestMul(NOF): 9*4095 = 36855
TestMul(NOF): 9*8191 = 73719
TestMul(NOF): 9*16383 = 147447
TestMul(NOF): 1*-4 = -4
TestMul(NOF): 1*-8 = -8
TestMul(NOF): 1*-16 = -16
TestMul(NOF): 1*-32 = -32
TestMul(NOF): 1*-64 = -64
TestMul(NOF): 1*-128 = -128
TestMul(NOF): 1*-256 = -256
TestMul(NOF): 1*-512 = -512
TestMul(NOF): 1*-1024 = -1024
TestMul(NOF): 1*-2048 = -2048
TestMul(NOF): 1*-4096 = -4096
TestMul(NOF): 1*-8192 = -8192
TestMul(NOF): 1*-16384 = -16384
TestMul(NOF): 2*-4 = -8
TestMul(NOF): 2*-8 = -16
TestMul(NOF): 2*-16 = -32
TestMul(NOF): 2*-32 = -64
TestMul(NOF): 2*-64 = -128
TestMul(NOF): 2*-128 = -256
TestMul(NOF): 2*-256 = -512
TestMul(NOF): 2*-512 = -1024
TestMul(NOF): 2*-1024 = -2048
TestMul(NOF): 2*-2048 = -4096
TestMul(NOF): 2*-4096 = -8192
TestMul(NOF): 2*-8192 = -16384
TestMul(NOF): 2*-16384 = -32768
TestMul(NOF): 3*-4 = -12
TestMul(NOF): 3*-8 = -24
TestMul(NOF): 3*-16 = -48
TestMul(NOF): 3*-32 = -96
TestMul(NOF): 3*-64 = -192
TestMul(NOF): 3*-128 = -384
TestMul(NOF): 3*-256 = -768
TestMul(NOF): 3*-512 = -1536
TestMul(NOF): 3*-1024 = -3072
TestMul(NOF): 3*-2048 = -6144
TestMul(NOF): 3*-4096 = -12288
TestMul(NOF): 3*-8192 = -24576
TestMul(NOF): 3*-16384 = -49152
TestMul(NOF): 4*-4 = -16
TestMul(NOF): 4*-8 = -32
TestMul(NOF): 4*-16 = -64
TestMul(NOF): 4*-32 = -128
TestMul(NOF): 4*-64 = -256
TestMul(NOF): 4*-128 = -512
TestMul(NOF): 4*-256 = -1024
TestMul(NOF): 4*-512 = -2048
TestMul(NOF): 4*-1024 = -4096
TestMul(NOF): 4*-2048 = -8192
TestMul(NOF): 4*-4096 = -16384
TestMul(NOF): 4*-8192 = -32768
TestMul(NOF): 4*-16384 = -65536
TestMul(NOF): 5*-4 = -20
TestMul(NOF): 5*-8 = -40
TestMul(NOF): 5*-16 = -80
TestMul(NOF): 5*-32 = -160
TestMul(NOF): 5*-64 = -320
TestMul(NOF): 5*-128 = -640
TestMul(NOF): 5*-256 = -1280
TestMul(NOF): 5*-512 = -2560
TestMul(NOF): 5*-1024 = -5120
TestMul(NOF): 5*-2048 = -10240
TestMul(NOF): 5*-4096 = -20480
TestMul(NOF): 5*-8192 = -40960
TestMul(NOF): 5*-16384 = -81920
TestMul(NOF): 6*-4 = -24
TestMul(NOF): 6*-8 = -48
TestMul(NOF): 6*-16 = -96
TestMul(NOF): 6*-32 = -192
TestMul(NOF): 6*-64 = -384
TestMul(NOF): 6*-128 = -768
TestMul(NOF): 6*-256 = -1536
TestMul(NOF): 6*-512 = -3072
TestMul(NOF): 6*-1024 = -6144
TestMul(NOF): 6*-2048 = -12288
TestMul(NOF): 6*-4096 = -24576
TestMul(NOF): 6*-8192 = -49152
TestMul(NOF): 6*-16384 = -98304
TestMul(NOF): 7*-4 = -28
TestMul(NOF): 7*-8 = -56
TestMul(NOF): 7*-16 = -112
TestMul(NOF): 7*-32 = -224
TestMul(NOF): 7*-64 = -448
TestMul(NOF): 7*-128 = -896
TestMul(NOF): 7*-256 = -1792
TestMul(NOF): 7*-512 = -3584
TestMul(NOF): 7*-1024 = -7168
TestMul(NOF): 7*-2048 = -14336
TestMul(NOF): 7*-4096 = -28672
TestMul(NOF): 7*-8192 = -57344
TestMul(NOF): 7*-16384 = -114688
TestMul(NOF): 8*-4 = -32
TestMul(NOF): 8*-8 = -64
TestMul(NOF): 8*-16 = -128
TestMul(NOF): 8*-32 = -256
TestMul(NOF): 8*-64 = -512
TestMul(NOF): 8*-128 = -1024
TestMul(NOF): 8*-256 = -2048
TestMul(NOF): 8*-512 = -4096
TestMul(NOF): 8*-1024 = -8192
TestMul(NOF): 8*-2048 = -16384
TestMul(NOF): 8*-4096 = -32768
TestMul(NOF): 8*-8192 = -65536
TestMul(NOF): 8*-16384 = -131072
TestMul(NOF): 9*-4 = -36
TestMul(NOF): 9*-8 = -72
TestMul(NOF): 9*-16 = -144
TestMul(NOF): 9*-32 = -288
TestMul(NOF): 9*-64 = -576
TestMul(NOF): 9*-128 = -1152
TestMul(NOF): 9*-256 = -2304
TestMul(NOF): 9*-512 = -4608
TestMul(NOF): 9*-1024 = -9216
TestMul(NOF): 9*-2048 = -18432
TestMul(NOF): 9*-4096 = -36864
TestMul(NOF): 9*-8192 = -73728
TestMul(NOF): 9*-16384 = -147456
TestMul(NOF): 1*4 = 4
TestMul(NOF): 1*8 = 8
TestMul(NOF): 1*16 = 16
TestMul(NOF): 1*32 = 32
TestMul(NOF): 1*64 = 64
TestMul(NOF): 1*128 = 128
TestMul(NOF): 1*256 = 256
TestMul(NOF): 1*512 = 512
TestMul(NOF): 1*1024 = 1024
TestMul(NOF): 1*2048 = 2048
TestMul(NOF): 1*4096 = 4096
TestMul(NOF): 1*8192 = 8192
TestMul(NOF): 1*16384 = 16384
TestMul(NOF): 2*4 = 8
TestMul(NOF): 2*8 = 16
TestMul(NOF): 2*16 = 32
TestMul(NOF): 2*32 = 64
TestMul(NOF): 2*64 = 128
TestMul(NOF): 2*128 = 256
TestMul(NOF): 2*256 = 512
TestMul(NOF): 2*512 = 1024
TestMul(NOF): 2*1024 = 2048
TestMul(NOF): 2*2048 = 4096
TestMul(NOF): 2*4096 = 8192
TestMul(NOF): 2*8192 = 16384
TestMul(NOF): 2*16384 = 32768
TestMul(NOF): 3*4 = 12
TestMul(NOF): 3*8 = 24
TestMul(NOF): 3*16 = 48
TestMul(NOF): 3*32 = 96
TestMul(NOF): 3*64 = 192
TestMul(NOF): 3*128 = 384
TestMul(NOF): 3*256 = 768
TestMul(NOF): 3*512 = 1536
TestMul(NOF): 3*1024 = 3072
TestMul(NOF): 3*2048 = 6144
TestMul(NOF): 3*4096 = 12288
TestMul(NOF): 3*8192 = 24576
TestMul(NOF): 3*16384 = 49152
TestMul(NOF): 4*4 = 16
TestMul(NOF): 4*8 = 32
TestMul(NOF): 4*16 = 64
TestMul(NOF): 4*32 = 128
TestMul(NOF): 4*64 = 256
TestMul(NOF): 4*128 = 512
TestMul(NOF): 4*256 = 1024
TestMul(NOF): 4*512 = 2048
TestMul(NOF): 4*1024 = 4096
TestMul(NOF): 4*2048 = 8192
TestMul(NOF): 4*4096 = 16384
TestMul(NOF): 4*8192 = 32768
TestMul(NOF): 4*16384 = 65536
TestMul(NOF): 5*4 = 20
TestMul(NOF): 5*8 = 40
TestMul(NOF): 5*16 = 80
TestMul(NOF): 5*32 = 160
TestMul(NOF): 5*64 = 320
TestMul(NOF): 5*128 = 640
TestMul(NOF): 5*256 = 1280
TestMul(NOF): 5*512 = 2560
TestMul(NOF): 5*1024 = 5120
TestMul(NOF): 5*2048 = 10240
TestMul(NOF): 5*4096 = 20480
TestMul(NOF): 5*8192 = 40960
TestMul(NOF): 5*16384 = 81920
TestMul(NOF): 6*4 = 24
TestMul(NOF): 6*8 = 48
TestMul(NOF): 6*16 = 96
TestMul(NOF): 6*32 = 192
TestMul(NOF): 6*64 = 384
TestMul(NOF): 6*128 = 768
TestMul(NOF): 6*256 = 1536
TestMul(NOF): 6*512 = 3072
TestMul(NOF): 6*1024 = 6144
TestMul(NOF): 6*2048 = 12288
TestMul(NOF): 6*4096 = 24576
TestMul(NOF): 6*8192 = 49152
TestMul(NOF): 6*16384 = 98304
TestMul(NOF): 7*4 = 28
TestMul(NOF): 7*8 = 56
TestMul(NOF): 7*16 = 112
TestMul(NOF): 7*32 = 224
TestMul(NOF): 7*64 = 448
TestMul(NOF): 7*128 = 896
TestMul(NOF): 7*256 = 1792
TestMul(NOF): 7*512 = 3584
TestMul(NOF): 7*1024 = 7168
TestMul(NOF): 7*2048 = 14336
TestMul(NOF): 7*4096 = 28672
TestMul(NOF): 7*8192 = 57344
TestMul(NOF): 7*16384 = 114688
TestMul(NOF): 8*4 = 32
TestMul(NOF): 8*8 = 64
TestMul(NOF): 8*16 = 128
TestMul(NOF): 8*32 = 256
TestMul(NOF): 8*64 = 512
TestMul(NOF): 8*128 = 1024
TestMul(NOF): 8*256 = 2048
TestMul(NOF): 8*512 = 4096
TestMul(NOF): 8*1024 = 8192
TestMul(NOF): 8*2048 = 16384
TestMul(NOF): 8*4096 = 32768
TestMul(NOF): 8*8192 = 65536
TestMul(NOF): 8*16384 = 131072
TestMul(NOF): 9*4 = 36
TestMul(NOF): 9*8 = 72
TestMul(NOF): 9*16 = 144
TestMul(NOF): 9*32 = 288
TestMul(NOF): 9*64 = 576
TestMul(NOF): 9*128 = 1152
TestMul(NOF): 9*256 = 2304
TestMul(NOF): 9*512 = 4608
TestMul(NOF): 9*1024 = 9216
TestMul(NOF): 9*2048 = 18432
TestMul(NOF): 9*4096 = 36864
TestMul(NOF): 9*8192 = 73728
TestMul(NOF): 9*16384 = 147456
TestMul(NOF): 1*5 = 5
TestMul(NOF): 1*9 = 9
TestMul(NOF): 1*17 = 17
TestMul(NOF): 1*33 = 33
TestMul(NOF): 1*65 = 65
TestMul(NOF): 1*129 = 129
TestMul(NOF): 1*257 = 257
TestMul(NOF): 1*513 = 513
TestMul(NOF): 1*1025 = 1025
TestMul(NOF): 1*2049 = 2049
TestMul(NOF): 1*4097 = 4097
TestMul(NOF): 1*8193 = 8193
TestMul(NOF): 1*16385 = 16385
TestMul(NOF): 2*5 = 10
TestMul(NOF): 2*9 = 18
TestMul(NOF): 2*17 = 34
TestMul(NOF): 2*33 = 66
TestMul(NOF): 2*65 = 130
TestMul(NOF): 2*129 = 258
TestMul(NOF): 2*257 = 514
TestMul(NOF): 2*513 = 1026
TestMul(NOF): 2*1025 = 2050
TestMul(NOF): 2*2049 = 4098
TestMul(NOF): 2*4097 = 8194
TestMul(NOF): 2*8193 = 16386
TestMul(NOF): 2*16385 = 32770
TestMul(NOF): 3*5 = 15
TestMul(NOF): 3*9 = 27
TestMul(NOF): 3*17 = 51
TestMul(NOF): 3*33 = 99
TestMul(NOF): 3*65 = 195
TestMul(NOF): 3*129 = 387
TestMul(NOF): 3*257 = 771
TestMul(NOF): 3*513 = 1539
TestMul(NOF): 3*1025 = 3075
TestMul(NOF): 3*2049 = 6147
TestMul(NOF): 3*4097 = 12291
TestMul(NOF): 3*8193 = 24579
TestMul(NOF): 3*16385 = 49155
TestMul(NOF): 4*5 = 20
TestMul(NOF): 4*9 = 36
TestMul(NOF): 4*17 = 68
TestMul(NOF): 4*33 = 132
TestMul(NOF): 4*65 = 260
TestMul(NOF): 4*129 = 516
TestMul(NOF): 4*257 = 1028
TestMul(NOF): 4*513 = 2052
TestMul(NOF): 4*1025 = 4100
TestMul(NOF): 4*2049 = 8196
TestMul(NOF): 4*4097 = 16388
TestMul(NOF): 4*8193 = 32772
TestMul(NOF): 4*16385 = 65540
TestMul(NOF): 5*5 = 25
TestMul(NOF): 5*9 = 45
TestMul(NOF): 5*17 = 85
TestMul(NOF): 5*33 = 165
TestMul(NOF): 5*65 = 325
TestMul(NOF): 5*129 = 645
TestMul(NOF): 5*257 = 1285
TestMul(NOF): 5*513 = 2565
TestMul(NOF): 5*1025 = 5125
TestMul(NOF): 5*2049 = 10245
TestMul(NOF): 5*4097 = 20485
TestMul(NOF): 5*8193 = 40965
TestMul(NOF): 5*16385 = 81925
TestMul(NOF): 6*5 = 30
TestMul(NOF): 6*9 = 54
TestMul(NOF): 6*17 = 102
TestMul(NOF): 6*33 = 198
TestMul(NOF): 6*65 = 390
TestMul(NOF): 6*129 = 774
TestMul(NOF): 6*257 = 1542
TestMul(NOF): 6*513 = 3078
TestMul(NOF): 6*1025 = 6150
TestMul(NOF): 6*2049 = 12294
TestMul(NOF): 6*4097 = 24582
TestMul(NOF): 6*8193 = 49158
TestMul(NOF): 6*16385 = 98310
TestMul(NOF): 7*5 = 35
TestMul(NOF): 7*9 = 63
TestMul(NOF): 7*17 = 119
TestMul(NOF): 7*33 = 231
TestMul(NOF): 7*65 = 455
TestMul(NOF): 7*129 = 903
TestMul(NOF): 7*257 = 1799
TestMul(NOF): 7*513 = 3591
TestMul(NOF): 7*1025 = 7175
TestMul(NOF): 7*2049 = 14343
TestMul(NOF): 7*4097 = 28679
TestMul(NOF): 7*8193 = 57351
TestMul(NOF): 7*16385 = 114695
TestMul(NOF): 8*5 = 40
TestMul(NOF): 8*9 = 72
TestMul(NOF): 8*17 = 136
TestMul(NOF): 8*33 = 264
TestMul(NOF): 8*65 = 520
TestMul(NOF): 8*129 = 1032
TestMul(NOF): 8*257 = 2056
TestMul(NOF): 8*513 = 4104
TestMul(NOF): 8*1025 = 8200
TestMul(NOF): 8*2049 = 16392
TestMul(NOF): 8*4097 = 32776
TestMul(NOF): 8*8193 = 65544
TestMul(NOF): 8*16385 = 131080
TestMul(NOF): 9*5 = 45
TestMul(NOF): 9*9 = 81
TestMul(NOF): 9*17 = 153
TestMul(NOF): 9*33 = 297
TestMul(NOF): 9*65 = 585
TestMul(NOF): 9*129 = 1161
TestMul(NOF): 9*257 = 2313
TestMul(NOF): 9*513 = 4617
TestMul(NOF): 9*1025 = 9225
TestMul(NOF): 9*2049 = 18441
TestMul(NOF): 9*4097 = 36873
TestMul(NOF): 9*8193 = 73737
TestMul(NOF): 9*16385 = 147465
TestMul(NOF): 1*3 = 3
TestMul(NOF): 1*7 = 7
TestMul(NOF): 1*15 = 15
TestMul(NOF): 1*31 = 31
TestMul(NOF): 1*63 = 63
TestMul(NOF): 1*127 = 127
TestMul(NOF): 1*255 = 255
TestMul(NOF): 1*511 = 511
TestMul(NOF): 1*1023 = 1023
TestMul(NOF): 1*2047 = 2047
TestMul(NOF): 1*4095 = 4095
TestMul(NOF): 1*8191 = 8191
TestMul(NOF): 1*16383 = 16383
TestMul(NOF): 2*3 = 6
TestMul(NOF): 2*7 = 14
TestMul(NOF): 2*15 = 30
TestMul(NOF): 2*31 = 62
TestMul(NOF): 2*63 = 126
TestMul(NOF): 2*127 = 254
TestMul(NOF): 2*255 = 510
TestMul(NOF): 2*511 = 1022
TestMul(NOF): 2*1023 = 2046
TestMul(NOF): 2*2047 = 4094
TestMul(NOF): 2*4095 = 8190
TestMul(NOF): 2*8191 = 16382
TestMul(NOF): 2*16383 = 32766
TestMul(NOF): 3*3 = 9
TestMul(NOF): 3*7 = 21
TestMul(NOF): 3*15 = 45
TestMul(NOF): 3*31 = 93
TestMul(NOF): 3*63 = 189
TestMul(NOF): 3*127 = 381
TestMul(NOF): 3*255 = 765
TestMul(NOF): 3*511 = 1533
TestMul(NOF): 3*1023 = 3069
TestMul(NOF): 3*2047 = 6141
TestMul(NOF): 3*4095 = 12285
TestMul(NOF): 3*8191 = 24573
TestMul(NOF): 3*16383 = 49149
TestMul(NOF): 4*3 = 12
TestMul(NOF): 4*7 = 28
TestMul(NOF): 4*15 = 60
TestMul(NOF): 4*31 = 124
TestMul(NOF): 4*63 = 252
TestMul(NOF): 4*127 = 508
TestMul(NOF): 4*255 = 1020
TestMul(NOF): 4*511 = 2044
TestMul(NOF): 4*1023 = 4092
TestMul(NOF): 4*2047 = 8188
TestMul(NOF): 4*4095 = 16380
TestMul(NOF): 4*8191 = 32764
TestMul(NOF): 4*16383 = 65532
TestMul(NOF): 5*3 = 15
TestMul(NOF): 5*7 = 35
TestMul(NOF): 5*15 = 75
TestMul(NOF): 5*31 = 155
TestMul(NOF): 5*63 = 315
TestMul(NOF): 5*127 = 635
TestMul(NOF): 5*255 = 1275
TestMul(NOF): 5*511 = 2555
TestMul(NOF): 5*1023 = 5115
TestMul(NOF): 5*2047 = 10235
TestMul(NOF): 5*4095 = 20475
TestMul(NOF): 5*8191 = 40955
TestMul(NOF): 5*16383 = 81915
TestMul(NOF): 6*3 = 18
TestMul(NOF): 6*7 = 42
TestMul(NOF): 6*15 = 90
TestMul(NOF): 6*31 = 186
TestMul(NOF): 6*63 = 378
TestMul(NOF): 6*127 = 762
TestMul(NOF): 6*255 = 1530
TestMul(NOF): 6*511 = 3066
TestMul(NOF): 6*1023 = 6138
TestMul(NOF): 6*2047 = 12282
TestMul(NOF): 6*4095 = 24570
TestMul(NOF): 6*8191 = 49146
TestMul(NOF): 6*16383 = 98298
TestMul(NOF): 7*3 = 21
TestMul(NOF): 7*7 = 49
TestMul(NOF): 7*15 = 105
TestMul(NOF): 7*31 = 217
TestMul(NOF): 7*63 = 441
TestMul(NOF): 7*127 = 889
TestMul(NOF): 7*255 = 1785
TestMul(NOF): 7*511 = 3577
TestMul(NOF): 7*1023 = 7161
TestMul(NOF): 7*2047 = 14329
TestMul(NOF): 7*4095 = 28665
TestMul(NOF): 7*8191 = 57337
TestMul(NOF): 7*16383 = 114681
TestMul(NOF): 8*3 = 24
TestMul(NOF): 8*7 = 56
TestMul(NOF): 8*15 = 120
TestMul(NOF): 8*31 = 248
TestMul(NOF): 8*63 = 504
TestMul(NOF): 8*127 = 1016
TestMul(NOF): 8*255 = 2040
TestMul(NOF): 8*511 = 4088
TestMul(NOF): 8*1023 = 8184
TestMul(NOF): 8*2047 = 16376
TestMul(NOF): 8*4095 = 32760
TestMul(NOF): 8*8191 = 65528
TestMul(NOF): 8*16383 = 131064
TestMul(NOF): 9*3 = 27
TestMul(NOF): 9*7 = 63
TestMul(NOF): 9*15 = 135
TestMul(NOF): 9*31 = 279
TestMul(NOF): 9*63 = 567
TestMul(NOF): 9*127 = 1143
TestMul(NOF): 9*255 = 2295
TestMul(NOF): 9*511 = 4599
TestMul(NOF): 9*1023 = 9207
TestMul(NOF): 9*2047 = 18423
TestMul(NOF): 9*4095 = 36855
TestMul(NOF): 9*8191 = 73719
TestMul(NOF): 9*16383 = 147447
TestMulLarge done
TestRem: 10243%4 = 3
TestRem: 10243%8 = 3
TestRem: 10243%16 = 3
TestRem: 10243%32 = 3
TestRem: 10243%64 = 3
TestRem: 10243%128 = 3
TestRem: 10243%256 = 3
TestRem: 10243%512 = 3
TestRem: 10243%1024 = 3
TestRem: 10243%2048 = 3
TestRem: 10243%4096 = 2051
TestRem: 10243%8192 = 2051
TestRem: 10243%16384 = 10243
TestRem: -2238%4 = -2
TestRem: -2238%8 = -6
TestRem: -2238%16 = -14
TestRem: -2238%32 = -30
TestRem: -2238%64 = -62
TestRem: -2238%128 = -62
TestRem: -2238%256 = -190
TestRem: -2238%512 = -190
TestRem: -2238%1024 = -190
TestRem: -2238%2048 = -190
TestRem: -2238%4096 = -2238
TestRem: -2238%8192 = -2238
TestRem: -2238%16384 = -2238
TestRem: 324%4 = 0
TestRem: 324%8 = 4
TestRem: 324%16 = 4
TestRem: 324%32 = 4
TestRem: 324%64 = 4
TestRem: 324%128 = 68
TestRem: 324%256 = 68
TestRem: 324%512 = 324
TestRem: 324%1024 = 324
TestRem: 324%2048 = 324
TestRem: 324%4096 = 324
TestRem: 324%8192 = 324
TestRem: 324%16384 = 324
TestRem: -153%4 = -1
TestRem: -153%8 = -1
TestRem: -153%16 = -9
TestRem: -153%32 = -25
TestRem: -153%64 = -25
TestRem: -153%128 = -25
TestRem: -153%256 = -153
TestRem: -153%512 = -153
TestRem: -153%1024 = -153
TestRem: -153%2048 = -153
TestRem: -153%4096 = -153
TestRem: -153%8192 = -153
TestRem: -153%16384 = -153
TestRem: 449%4 = 1
TestRem: 449%8 = 1
TestRem: 449%16 = 1
TestRem: 449%32 = 1
TestRem: 449%64 = 1
TestRem: 449%128 = 65
TestRem: 449%256 = 193
TestRem: 449%512 = 449
TestRem: 449%1024 = 449
TestRem: 449%2048 = 449
TestRem: 449%4096 = 449
TestRem: 449%8192 = 449
TestRem: 449%16384 = 449
TestRem: -1042%4 = -2
TestRem: -1042%8 = -2
TestRem: -1042%16 = -2
TestRem: -1042%32 = -18
TestRem: -1042%64 = -18
TestRem: -1042%128 = -18
TestRem: -1042%256 = -18
TestRem: -1042%512 = -18
TestRem: -1042%1024 = -18
TestRem: -1042%2048 = -1042
TestRem: -1042%4096 = -1042
TestRem: -1042%8192 = -1042
TestRem: -1042%16384 = -1042
TestRem: 999%4 = 3
TestRem: 999%8 = 7
TestRem: 999%16 = 7
TestRem: 999%32 = 7
TestRem: 999%64 = 39
TestRem: 999%128 = 103
TestRem: 999%256 = 231
TestRem: 999%512 = 487
TestRem: 999%1024 = 999
TestRem: 999%2048 = 999
TestRem: 999%4096 = 999
TestRem: 999%8192 = 999
TestRem: 999%16384 = 999
TestRem: -4408%4 = 0
TestRem: -4408%8 = 0
TestRem: -4408%16 = -8
TestRem: -4408%32 = -24
TestRem: -4408%64 = -56
TestRem: -4408%128 = -56
TestRem: -4408%256 = -56
TestRem: -4408%512 = -312
TestRem: -4408%1024 = -312
TestRem: -4408%2048 = -312
TestRem: -4408%4096 = -312
TestRem: -4408%8192 = -4408
TestRem: -4408%16384 = -4408
TestRem: 1022%4 = 2
TestRem: 1022%8 = 6
TestRem: 1022%16 = 14
TestRem: 1022%32 = 30
TestRem: 1022%64 = 62
TestRem: 1022%128 = 126
TestRem: 1022%256 = 254
TestRem: 1022%512 = 510
TestRem: 1022%1024 = 1022
TestRem: 1022%2048 = 1022
TestRem: 1022%4096 = 1022
TestRem: 1022%8192 = 1022
TestRem: 1022%16384 = 1022
TestRem: -112%4 = 0
TestRem: -112%8 = 0
TestRem: -112%16 = 0
TestRem: -112%32 = -16
TestRem: -112%64 = -48
TestRem: -112%128 = -112
TestRem: -112%256 = -112
TestRem: -112%512 = -112
TestRem: -112%1024 = -112
TestRem: -112%2048 = -112
TestRem: -112%4096 = -112
TestRem: -112%8192 = -112
TestRem: -112%16384 = -112
TestRem: 10243%4 = 3
TestRem: 10243%8 = 3
TestRem: 10243%16 = 3
TestRem: 10243%32 = 3
TestRem: 10243%64 = 3
TestRem: 10243%128 = 3
TestRem: 10243%256 = 3
TestRem: 10243%512 = 3
TestRem: 10243%1024 = 3
TestRem: 10243%2048 = 3
TestRem: 10243%4096 = 2051
TestRem: 10243%8192 = 2051
TestRem: 10243%16384 = 10243
TestRem: -2238%4 = -2
TestRem: -2238%8 = -6
TestRem: -2238%16 = -14
TestRem: -2238%32 = -30
TestRem: -2238%64 = -62
TestRem: -2238%128 = -62
TestRem: -2238%256 = -190
TestRem: -2238%512 = -190
TestRem: -2238%1024 = -190
TestRem: -2238%2048 = -190
TestRem: -2238%4096 = -2238
TestRem: -2238%8192 = -2238
TestRem: -2238%16384 = -2238
TestRem: 324%4 = 0
TestRem: 324%8 = 4
TestRem: 324%16 = 4
TestRem: 324%32 = 4
TestRem: 324%64 = 4
TestRem: 324%128 = 68
TestRem: 324%256 = 68
TestRem: 324%512 = 324
TestRem: 324%1024 = 324
TestRem: 324%2048 = 324
TestRem: 324%4096 = 324
TestRem: 324%8192 = 324
TestRem: 324%16384 = 324
TestRem: -153%4 = -1
TestRem: -153%8 = -1
TestRem: -153%16 = -9
TestRem: -153%32 = -25
TestRem: -153%64 = -25
TestRem: -153%128 = -25
TestRem: -153%256 = -153
TestRem: -153%512 = -153
TestRem: -153%1024 = -153
TestRem: -153%2048 = -153
TestRem: -153%4096 = -153
TestRem: -153%8192 = -153
TestRem: -153%16384 = -153
TestRem: 449%4 = 1
TestRem: 449%8 = 1
TestRem: 449%16 = 1
TestRem: 449%32 = 1
TestRem: 449%64 = 1
TestRem: 449%128 = 65
TestRem: 449%256 = 193
TestRem: 449%512 = 449
TestRem: 449%1024 = 449
TestRem: 449%2048 = 449
TestRem: 449%4096 = 449
TestRem: 449%8192 = 449
TestRem: 449%16384 = 449
TestRem: -1042%4 = -2
TestRem: -1042%8 = -2
TestRem: -1042%16 = -2
TestRem: -1042%32 = -18
TestRem: -1042%64 = -18
TestRem: -1042%128 = -18
TestRem: -1042%256 = -18
TestRem: -1042%512 = -18
TestRem: -1042%1024 = -18
TestRem: -1042%2048 = -1042
TestRem: -1042%4096 = -1042
TestRem: -1042%8192 = -1042
TestRem: -1042%16384 = -1042
TestRem: 999%4 = 3
TestRem: 999%8 = 7
TestRem: 999%16 = 7
TestRem: 999%32 = 7
TestRem: 999%64 = 39
TestRem: 999%128 = 103
TestRem: 999%256 = 231
TestRem: 999%512 = 487
TestRem: 999%1024 = 999
TestRem: 999%2048 = 999
TestRem: 999%4096 = 999
TestRem: 999%8192 = 999
TestRem: 999%16384 = 999
TestRem: -4408%4 = 0
TestRem: -4408%8 = 0
TestRem: -4408%16 = -8
TestRem: -4408%32 = -24
TestRem: -4408%64 = -56
TestRem: -4408%128 = -56
TestRem: -4408%256 = -56
TestRem: -4408%512 = -312
TestRem: -4408%1024 = -312
TestRem: -4408%2048 = -312
TestRem: -4408%4096 = -312
TestRem: -4408%8192 = -4408
TestRem: -4408%16384 = -4408
TestRem: 1022%4 = 2
TestRem: 1022%8 = 6
TestRem: 1022%16 = 14
TestRem: 1022%32 = 30
TestRem: 1022%64 = 62
TestRem: 1022%128 = 126
TestRem: 1022%256 = 254
TestRem: 1022%512 = 510
TestRem: 1022%1024 = 1022
TestRem: 1022%2048 = 1022
TestRem: 1022%4096 = 1022
TestRem: 1022%8192 = 1022
TestRem: 1022%16384 = 1022
TestRem: -112%4 = 0
TestRem: -112%8 = 0
TestRem: -112%16 = 0
TestRem: -112%32 = -16
TestRem: -112%64 = -48
TestRem: -112%128 = -112
TestRem: -112%256 = -112
TestRem: -112%512 = -112
TestRem: -112%1024 = -112
TestRem: -112%2048 = -112
TestRem: -112%4096 = -112
TestRem: -112%8192 = -112
TestRem: -112%16384 = -112
TestRem done
e = 269517123
e = -269517123
e = 112298800
e = -112298800
e = 9826145
e = -9826145
e = 5965861
e = -5965861
e = 269517123
e = -269517123
e = 112298800
e = -112298800
e = 9826145
e = -9826145
e = 5965861
e = -5965861
Bug 326533 Test done