| 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 |