StrengthReduction.baseline 45 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748
  1. TestMul(OF): 1*-3 = -3
  2. TestMul(OF): -3*-3 = 9
  3. TestMul(OF): 1*-2 = -2
  4. TestMul(OF): -2*-2 = 4
  5. TestMul(OF): 1*-1 = -1
  6. TestMul(OF): -1*-1 = 1
  7. TestMul(OF): 1*0 = 0
  8. TestMul(OF): 0*0 = 0
  9. TestMul(OF): 1*1 = 1
  10. TestMul(OF): 1*1 = 1
  11. TestMul(OF): 1*2 = 2
  12. TestMul(OF): 2*2 = 4
  13. TestMul(OF): 1*3 = 3
  14. TestMul(OF): 3*3= 9
  15. TestMul(OF): 2*-3 = -6
  16. TestMul(OF): -6*-3 = 18
  17. TestMul(OF): 2*-2 = -4
  18. TestMul(OF): -4*-2 = 8
  19. TestMul(OF): 2*-1 = -2
  20. TestMul(OF): -2*-1 = 2
  21. TestMul(OF): 2*0 = 0
  22. TestMul(OF): 0*0 = 0
  23. TestMul(OF): 2*1 = 2
  24. TestMul(OF): 2*1 = 2
  25. TestMul(OF): 2*2 = 4
  26. TestMul(OF): 4*2 = 8
  27. TestMul(OF): 2*3 = 6
  28. TestMul(OF): 6*3= 18
  29. TestMul(OF): 3*-3 = -9
  30. TestMul(OF): -9*-3 = 27
  31. TestMul(OF): 3*-2 = -6
  32. TestMul(OF): -6*-2 = 12
  33. TestMul(OF): 3*-1 = -3
  34. TestMul(OF): -3*-1 = 3
  35. TestMul(OF): 3*0 = 0
  36. TestMul(OF): 0*0 = 0
  37. TestMul(OF): 3*1 = 3
  38. TestMul(OF): 3*1 = 3
  39. TestMul(OF): 3*2 = 6
  40. TestMul(OF): 6*2 = 12
  41. TestMul(OF): 3*3 = 9
  42. TestMul(OF): 9*3= 27
  43. TestMul(OF): 4*-3 = -12
  44. TestMul(OF): -12*-3 = 36
  45. TestMul(OF): 4*-2 = -8
  46. TestMul(OF): -8*-2 = 16
  47. TestMul(OF): 4*-1 = -4
  48. TestMul(OF): -4*-1 = 4
  49. TestMul(OF): 4*0 = 0
  50. TestMul(OF): 0*0 = 0
  51. TestMul(OF): 4*1 = 4
  52. TestMul(OF): 4*1 = 4
  53. TestMul(OF): 4*2 = 8
  54. TestMul(OF): 8*2 = 16
  55. TestMul(OF): 4*3 = 12
  56. TestMul(OF): 12*3= 36
  57. TestMul(OF): 5*-3 = -15
  58. TestMul(OF): -15*-3 = 45
  59. TestMul(OF): 5*-2 = -10
  60. TestMul(OF): -10*-2 = 20
  61. TestMul(OF): 5*-1 = -5
  62. TestMul(OF): -5*-1 = 5
  63. TestMul(OF): 5*0 = 0
  64. TestMul(OF): 0*0 = 0
  65. TestMul(OF): 5*1 = 5
  66. TestMul(OF): 5*1 = 5
  67. TestMul(OF): 5*2 = 10
  68. TestMul(OF): 10*2 = 20
  69. TestMul(OF): 5*3 = 15
  70. TestMul(OF): 15*3= 45
  71. TestMul(OF): 6*-3 = -18
  72. TestMul(OF): -18*-3 = 54
  73. TestMul(OF): 6*-2 = -12
  74. TestMul(OF): -12*-2 = 24
  75. TestMul(OF): 6*-1 = -6
  76. TestMul(OF): -6*-1 = 6
  77. TestMul(OF): 6*0 = 0
  78. TestMul(OF): 0*0 = 0
  79. TestMul(OF): 6*1 = 6
  80. TestMul(OF): 6*1 = 6
  81. TestMul(OF): 6*2 = 12
  82. TestMul(OF): 12*2 = 24
  83. TestMul(OF): 6*3 = 18
  84. TestMul(OF): 18*3= 54
  85. TestMul(OF): 7*-3 = -21
  86. TestMul(OF): -21*-3 = 63
  87. TestMul(OF): 7*-2 = -14
  88. TestMul(OF): -14*-2 = 28
  89. TestMul(OF): 7*-1 = -7
  90. TestMul(OF): -7*-1 = 7
  91. TestMul(OF): 7*0 = 0
  92. TestMul(OF): 0*0 = 0
  93. TestMul(OF): 7*1 = 7
  94. TestMul(OF): 7*1 = 7
  95. TestMul(OF): 7*2 = 14
  96. TestMul(OF): 14*2 = 28
  97. TestMul(OF): 7*3 = 21
  98. TestMul(OF): 21*3= 63
  99. TestMul(OF): 8*-3 = -24
  100. TestMul(OF): -24*-3 = 72
  101. TestMul(OF): 8*-2 = -16
  102. TestMul(OF): -16*-2 = 32
  103. TestMul(OF): 8*-1 = -8
  104. TestMul(OF): -8*-1 = 8
  105. TestMul(OF): 8*0 = 0
  106. TestMul(OF): 0*0 = 0
  107. TestMul(OF): 8*1 = 8
  108. TestMul(OF): 8*1 = 8
  109. TestMul(OF): 8*2 = 16
  110. TestMul(OF): 16*2 = 32
  111. TestMul(OF): 8*3 = 24
  112. TestMul(OF): 24*3= 72
  113. TestMul(OF): 9*-3 = -27
  114. TestMul(OF): -27*-3 = 81
  115. TestMul(OF): 9*-2 = -18
  116. TestMul(OF): -18*-2 = 36
  117. TestMul(OF): 9*-1 = -9
  118. TestMul(OF): -9*-1 = 9
  119. TestMul(OF): 9*0 = 0
  120. TestMul(OF): 0*0 = 0
  121. TestMul(OF): 9*1 = 9
  122. TestMul(OF): 9*1 = 9
  123. TestMul(OF): 9*2 = 18
  124. TestMul(OF): 18*2 = 36
  125. TestMul(OF): 9*3 = 27
  126. TestMul(OF): 27*3= 81
  127. TestMul(OF): 10*-3 = -30
  128. TestMul(OF): -30*-3 = 90
  129. TestMul(OF): 10*-2 = -20
  130. TestMul(OF): -20*-2 = 40
  131. TestMul(OF): 10*-1 = -10
  132. TestMul(OF): -10*-1 = 10
  133. TestMul(OF): 10*0 = 0
  134. TestMul(OF): 0*0 = 0
  135. TestMul(OF): 10*1 = 10
  136. TestMul(OF): 10*1 = 10
  137. TestMul(OF): 10*2 = 20
  138. TestMul(OF): 20*2 = 40
  139. TestMul(OF): 10*3 = 30
  140. TestMul(OF): 30*3= 90
  141. TestMul(NOF): 1*-3 = -3
  142. TestMul(NOF): -3*-3 = 9
  143. TestMul(NOF): 1*-2 = -2
  144. TestMul(NOF): -2*-2 = 4
  145. TestMul(NOF): 1*-1 = -1
  146. TestMul(NOF): -1*-1 = 1
  147. TestMul(NOF): 1*0 = 0
  148. TestMul(NOF): 0*-0 = 0
  149. TestMul(NOF): 1*1 = 1
  150. TestMul(NOF): 1*1 = 1
  151. TestMul(NOF): 1*2 = 2
  152. TestMul(NOF): 2*2 = 4
  153. TestMul(NOF): 1*3 = 3
  154. TestMul(NOF): 3*3 = 9
  155. TestMul(NOF): 2*-3 = -6
  156. TestMul(NOF): -6*-3 = 18
  157. TestMul(NOF): 2*-2 = -4
  158. TestMul(NOF): -4*-2 = 8
  159. TestMul(NOF): 2*-1 = -2
  160. TestMul(NOF): -2*-1 = 2
  161. TestMul(NOF): 2*0 = 0
  162. TestMul(NOF): 0*-0 = 0
  163. TestMul(NOF): 2*1 = 2
  164. TestMul(NOF): 2*1 = 2
  165. TestMul(NOF): 2*2 = 4
  166. TestMul(NOF): 4*2 = 8
  167. TestMul(NOF): 2*3 = 6
  168. TestMul(NOF): 6*3 = 18
  169. TestMul(NOF): 3*-3 = -9
  170. TestMul(NOF): -9*-3 = 27
  171. TestMul(NOF): 3*-2 = -6
  172. TestMul(NOF): -6*-2 = 12
  173. TestMul(NOF): 3*-1 = -3
  174. TestMul(NOF): -3*-1 = 3
  175. TestMul(NOF): 3*0 = 0
  176. TestMul(NOF): 0*-0 = 0
  177. TestMul(NOF): 3*1 = 3
  178. TestMul(NOF): 3*1 = 3
  179. TestMul(NOF): 3*2 = 6
  180. TestMul(NOF): 6*2 = 12
  181. TestMul(NOF): 3*3 = 9
  182. TestMul(NOF): 9*3 = 27
  183. TestMul(NOF): 4*-3 = -12
  184. TestMul(NOF): -12*-3 = 36
  185. TestMul(NOF): 4*-2 = -8
  186. TestMul(NOF): -8*-2 = 16
  187. TestMul(NOF): 4*-1 = -4
  188. TestMul(NOF): -4*-1 = 4
  189. TestMul(NOF): 4*0 = 0
  190. TestMul(NOF): 0*-0 = 0
  191. TestMul(NOF): 4*1 = 4
  192. TestMul(NOF): 4*1 = 4
  193. TestMul(NOF): 4*2 = 8
  194. TestMul(NOF): 8*2 = 16
  195. TestMul(NOF): 4*3 = 12
  196. TestMul(NOF): 12*3 = 36
  197. TestMul(NOF): 5*-3 = -15
  198. TestMul(NOF): -15*-3 = 45
  199. TestMul(NOF): 5*-2 = -10
  200. TestMul(NOF): -10*-2 = 20
  201. TestMul(NOF): 5*-1 = -5
  202. TestMul(NOF): -5*-1 = 5
  203. TestMul(NOF): 5*0 = 0
  204. TestMul(NOF): 0*-0 = 0
  205. TestMul(NOF): 5*1 = 5
  206. TestMul(NOF): 5*1 = 5
  207. TestMul(NOF): 5*2 = 10
  208. TestMul(NOF): 10*2 = 20
  209. TestMul(NOF): 5*3 = 15
  210. TestMul(NOF): 15*3 = 45
  211. TestMul(NOF): 6*-3 = -18
  212. TestMul(NOF): -18*-3 = 54
  213. TestMul(NOF): 6*-2 = -12
  214. TestMul(NOF): -12*-2 = 24
  215. TestMul(NOF): 6*-1 = -6
  216. TestMul(NOF): -6*-1 = 6
  217. TestMul(NOF): 6*0 = 0
  218. TestMul(NOF): 0*-0 = 0
  219. TestMul(NOF): 6*1 = 6
  220. TestMul(NOF): 6*1 = 6
  221. TestMul(NOF): 6*2 = 12
  222. TestMul(NOF): 12*2 = 24
  223. TestMul(NOF): 6*3 = 18
  224. TestMul(NOF): 18*3 = 54
  225. TestMul(NOF): 7*-3 = -21
  226. TestMul(NOF): -21*-3 = 63
  227. TestMul(NOF): 7*-2 = -14
  228. TestMul(NOF): -14*-2 = 28
  229. TestMul(NOF): 7*-1 = -7
  230. TestMul(NOF): -7*-1 = 7
  231. TestMul(NOF): 7*0 = 0
  232. TestMul(NOF): 0*-0 = 0
  233. TestMul(NOF): 7*1 = 7
  234. TestMul(NOF): 7*1 = 7
  235. TestMul(NOF): 7*2 = 14
  236. TestMul(NOF): 14*2 = 28
  237. TestMul(NOF): 7*3 = 21
  238. TestMul(NOF): 21*3 = 63
  239. TestMul(NOF): 8*-3 = -24
  240. TestMul(NOF): -24*-3 = 72
  241. TestMul(NOF): 8*-2 = -16
  242. TestMul(NOF): -16*-2 = 32
  243. TestMul(NOF): 8*-1 = -8
  244. TestMul(NOF): -8*-1 = 8
  245. TestMul(NOF): 8*0 = 0
  246. TestMul(NOF): 0*-0 = 0
  247. TestMul(NOF): 8*1 = 8
  248. TestMul(NOF): 8*1 = 8
  249. TestMul(NOF): 8*2 = 16
  250. TestMul(NOF): 16*2 = 32
  251. TestMul(NOF): 8*3 = 24
  252. TestMul(NOF): 24*3 = 72
  253. TestMul(NOF): 9*-3 = -27
  254. TestMul(NOF): -27*-3 = 81
  255. TestMul(NOF): 9*-2 = -18
  256. TestMul(NOF): -18*-2 = 36
  257. TestMul(NOF): 9*-1 = -9
  258. TestMul(NOF): -9*-1 = 9
  259. TestMul(NOF): 9*0 = 0
  260. TestMul(NOF): 0*-0 = 0
  261. TestMul(NOF): 9*1 = 9
  262. TestMul(NOF): 9*1 = 9
  263. TestMul(NOF): 9*2 = 18
  264. TestMul(NOF): 18*2 = 36
  265. TestMul(NOF): 9*3 = 27
  266. TestMul(NOF): 27*3 = 81
  267. TestMul(OF): 1*-3 = -3
  268. TestMul(OF): -3*-3 = 9
  269. TestMul(OF): 1*-2 = -2
  270. TestMul(OF): -2*-2 = 4
  271. TestMul(OF): 1*-1 = -1
  272. TestMul(OF): -1*-1 = 1
  273. TestMul(OF): 1*0 = 0
  274. TestMul(OF): 0*0 = 0
  275. TestMul(OF): 1*1 = 1
  276. TestMul(OF): 1*1 = 1
  277. TestMul(OF): 1*2 = 2
  278. TestMul(OF): 2*2 = 4
  279. TestMul(OF): 1*3 = 3
  280. TestMul(OF): 3*3= 9
  281. TestMul(OF): 2*-3 = -6
  282. TestMul(OF): -6*-3 = 18
  283. TestMul(OF): 2*-2 = -4
  284. TestMul(OF): -4*-2 = 8
  285. TestMul(OF): 2*-1 = -2
  286. TestMul(OF): -2*-1 = 2
  287. TestMul(OF): 2*0 = 0
  288. TestMul(OF): 0*0 = 0
  289. TestMul(OF): 2*1 = 2
  290. TestMul(OF): 2*1 = 2
  291. TestMul(OF): 2*2 = 4
  292. TestMul(OF): 4*2 = 8
  293. TestMul(OF): 2*3 = 6
  294. TestMul(OF): 6*3= 18
  295. TestMul(OF): 3*-3 = -9
  296. TestMul(OF): -9*-3 = 27
  297. TestMul(OF): 3*-2 = -6
  298. TestMul(OF): -6*-2 = 12
  299. TestMul(OF): 3*-1 = -3
  300. TestMul(OF): -3*-1 = 3
  301. TestMul(OF): 3*0 = 0
  302. TestMul(OF): 0*0 = 0
  303. TestMul(OF): 3*1 = 3
  304. TestMul(OF): 3*1 = 3
  305. TestMul(OF): 3*2 = 6
  306. TestMul(OF): 6*2 = 12
  307. TestMul(OF): 3*3 = 9
  308. TestMul(OF): 9*3= 27
  309. TestMul(OF): 4*-3 = -12
  310. TestMul(OF): -12*-3 = 36
  311. TestMul(OF): 4*-2 = -8
  312. TestMul(OF): -8*-2 = 16
  313. TestMul(OF): 4*-1 = -4
  314. TestMul(OF): -4*-1 = 4
  315. TestMul(OF): 4*0 = 0
  316. TestMul(OF): 0*0 = 0
  317. TestMul(OF): 4*1 = 4
  318. TestMul(OF): 4*1 = 4
  319. TestMul(OF): 4*2 = 8
  320. TestMul(OF): 8*2 = 16
  321. TestMul(OF): 4*3 = 12
  322. TestMul(OF): 12*3= 36
  323. TestMul(OF): 5*-3 = -15
  324. TestMul(OF): -15*-3 = 45
  325. TestMul(OF): 5*-2 = -10
  326. TestMul(OF): -10*-2 = 20
  327. TestMul(OF): 5*-1 = -5
  328. TestMul(OF): -5*-1 = 5
  329. TestMul(OF): 5*0 = 0
  330. TestMul(OF): 0*0 = 0
  331. TestMul(OF): 5*1 = 5
  332. TestMul(OF): 5*1 = 5
  333. TestMul(OF): 5*2 = 10
  334. TestMul(OF): 10*2 = 20
  335. TestMul(OF): 5*3 = 15
  336. TestMul(OF): 15*3= 45
  337. TestMul(OF): 6*-3 = -18
  338. TestMul(OF): -18*-3 = 54
  339. TestMul(OF): 6*-2 = -12
  340. TestMul(OF): -12*-2 = 24
  341. TestMul(OF): 6*-1 = -6
  342. TestMul(OF): -6*-1 = 6
  343. TestMul(OF): 6*0 = 0
  344. TestMul(OF): 0*0 = 0
  345. TestMul(OF): 6*1 = 6
  346. TestMul(OF): 6*1 = 6
  347. TestMul(OF): 6*2 = 12
  348. TestMul(OF): 12*2 = 24
  349. TestMul(OF): 6*3 = 18
  350. TestMul(OF): 18*3= 54
  351. TestMul(OF): 7*-3 = -21
  352. TestMul(OF): -21*-3 = 63
  353. TestMul(OF): 7*-2 = -14
  354. TestMul(OF): -14*-2 = 28
  355. TestMul(OF): 7*-1 = -7
  356. TestMul(OF): -7*-1 = 7
  357. TestMul(OF): 7*0 = 0
  358. TestMul(OF): 0*0 = 0
  359. TestMul(OF): 7*1 = 7
  360. TestMul(OF): 7*1 = 7
  361. TestMul(OF): 7*2 = 14
  362. TestMul(OF): 14*2 = 28
  363. TestMul(OF): 7*3 = 21
  364. TestMul(OF): 21*3= 63
  365. TestMul(OF): 8*-3 = -24
  366. TestMul(OF): -24*-3 = 72
  367. TestMul(OF): 8*-2 = -16
  368. TestMul(OF): -16*-2 = 32
  369. TestMul(OF): 8*-1 = -8
  370. TestMul(OF): -8*-1 = 8
  371. TestMul(OF): 8*0 = 0
  372. TestMul(OF): 0*0 = 0
  373. TestMul(OF): 8*1 = 8
  374. TestMul(OF): 8*1 = 8
  375. TestMul(OF): 8*2 = 16
  376. TestMul(OF): 16*2 = 32
  377. TestMul(OF): 8*3 = 24
  378. TestMul(OF): 24*3= 72
  379. TestMul(OF): 9*-3 = -27
  380. TestMul(OF): -27*-3 = 81
  381. TestMul(OF): 9*-2 = -18
  382. TestMul(OF): -18*-2 = 36
  383. TestMul(OF): 9*-1 = -9
  384. TestMul(OF): -9*-1 = 9
  385. TestMul(OF): 9*0 = 0
  386. TestMul(OF): 0*0 = 0
  387. TestMul(OF): 9*1 = 9
  388. TestMul(OF): 9*1 = 9
  389. TestMul(OF): 9*2 = 18
  390. TestMul(OF): 18*2 = 36
  391. TestMul(OF): 9*3 = 27
  392. TestMul(OF): 27*3= 81
  393. TestMul(OF): 10*-3 = -30
  394. TestMul(OF): -30*-3 = 90
  395. TestMul(OF): 10*-2 = -20
  396. TestMul(OF): -20*-2 = 40
  397. TestMul(OF): 10*-1 = -10
  398. TestMul(OF): -10*-1 = 10
  399. TestMul(OF): 10*0 = 0
  400. TestMul(OF): 0*0 = 0
  401. TestMul(OF): 10*1 = 10
  402. TestMul(OF): 10*1 = 10
  403. TestMul(OF): 10*2 = 20
  404. TestMul(OF): 20*2 = 40
  405. TestMul(OF): 10*3 = 30
  406. TestMul(OF): 30*3= 90
  407. TestMul(NOF): 1*-3 = -3
  408. TestMul(NOF): -3*-3 = 9
  409. TestMul(NOF): 1*-2 = -2
  410. TestMul(NOF): -2*-2 = 4
  411. TestMul(NOF): 1*-1 = -1
  412. TestMul(NOF): -1*-1 = 1
  413. TestMul(NOF): 1*0 = 0
  414. TestMul(NOF): 0*-0 = 0
  415. TestMul(NOF): 1*1 = 1
  416. TestMul(NOF): 1*1 = 1
  417. TestMul(NOF): 1*2 = 2
  418. TestMul(NOF): 2*2 = 4
  419. TestMul(NOF): 1*3 = 3
  420. TestMul(NOF): 3*3 = 9
  421. TestMul(NOF): 2*-3 = -6
  422. TestMul(NOF): -6*-3 = 18
  423. TestMul(NOF): 2*-2 = -4
  424. TestMul(NOF): -4*-2 = 8
  425. TestMul(NOF): 2*-1 = -2
  426. TestMul(NOF): -2*-1 = 2
  427. TestMul(NOF): 2*0 = 0
  428. TestMul(NOF): 0*-0 = 0
  429. TestMul(NOF): 2*1 = 2
  430. TestMul(NOF): 2*1 = 2
  431. TestMul(NOF): 2*2 = 4
  432. TestMul(NOF): 4*2 = 8
  433. TestMul(NOF): 2*3 = 6
  434. TestMul(NOF): 6*3 = 18
  435. TestMul(NOF): 3*-3 = -9
  436. TestMul(NOF): -9*-3 = 27
  437. TestMul(NOF): 3*-2 = -6
  438. TestMul(NOF): -6*-2 = 12
  439. TestMul(NOF): 3*-1 = -3
  440. TestMul(NOF): -3*-1 = 3
  441. TestMul(NOF): 3*0 = 0
  442. TestMul(NOF): 0*-0 = 0
  443. TestMul(NOF): 3*1 = 3
  444. TestMul(NOF): 3*1 = 3
  445. TestMul(NOF): 3*2 = 6
  446. TestMul(NOF): 6*2 = 12
  447. TestMul(NOF): 3*3 = 9
  448. TestMul(NOF): 9*3 = 27
  449. TestMul(NOF): 4*-3 = -12
  450. TestMul(NOF): -12*-3 = 36
  451. TestMul(NOF): 4*-2 = -8
  452. TestMul(NOF): -8*-2 = 16
  453. TestMul(NOF): 4*-1 = -4
  454. TestMul(NOF): -4*-1 = 4
  455. TestMul(NOF): 4*0 = 0
  456. TestMul(NOF): 0*-0 = 0
  457. TestMul(NOF): 4*1 = 4
  458. TestMul(NOF): 4*1 = 4
  459. TestMul(NOF): 4*2 = 8
  460. TestMul(NOF): 8*2 = 16
  461. TestMul(NOF): 4*3 = 12
  462. TestMul(NOF): 12*3 = 36
  463. TestMul(NOF): 5*-3 = -15
  464. TestMul(NOF): -15*-3 = 45
  465. TestMul(NOF): 5*-2 = -10
  466. TestMul(NOF): -10*-2 = 20
  467. TestMul(NOF): 5*-1 = -5
  468. TestMul(NOF): -5*-1 = 5
  469. TestMul(NOF): 5*0 = 0
  470. TestMul(NOF): 0*-0 = 0
  471. TestMul(NOF): 5*1 = 5
  472. TestMul(NOF): 5*1 = 5
  473. TestMul(NOF): 5*2 = 10
  474. TestMul(NOF): 10*2 = 20
  475. TestMul(NOF): 5*3 = 15
  476. TestMul(NOF): 15*3 = 45
  477. TestMul(NOF): 6*-3 = -18
  478. TestMul(NOF): -18*-3 = 54
  479. TestMul(NOF): 6*-2 = -12
  480. TestMul(NOF): -12*-2 = 24
  481. TestMul(NOF): 6*-1 = -6
  482. TestMul(NOF): -6*-1 = 6
  483. TestMul(NOF): 6*0 = 0
  484. TestMul(NOF): 0*-0 = 0
  485. TestMul(NOF): 6*1 = 6
  486. TestMul(NOF): 6*1 = 6
  487. TestMul(NOF): 6*2 = 12
  488. TestMul(NOF): 12*2 = 24
  489. TestMul(NOF): 6*3 = 18
  490. TestMul(NOF): 18*3 = 54
  491. TestMul(NOF): 7*-3 = -21
  492. TestMul(NOF): -21*-3 = 63
  493. TestMul(NOF): 7*-2 = -14
  494. TestMul(NOF): -14*-2 = 28
  495. TestMul(NOF): 7*-1 = -7
  496. TestMul(NOF): -7*-1 = 7
  497. TestMul(NOF): 7*0 = 0
  498. TestMul(NOF): 0*-0 = 0
  499. TestMul(NOF): 7*1 = 7
  500. TestMul(NOF): 7*1 = 7
  501. TestMul(NOF): 7*2 = 14
  502. TestMul(NOF): 14*2 = 28
  503. TestMul(NOF): 7*3 = 21
  504. TestMul(NOF): 21*3 = 63
  505. TestMul(NOF): 8*-3 = -24
  506. TestMul(NOF): -24*-3 = 72
  507. TestMul(NOF): 8*-2 = -16
  508. TestMul(NOF): -16*-2 = 32
  509. TestMul(NOF): 8*-1 = -8
  510. TestMul(NOF): -8*-1 = 8
  511. TestMul(NOF): 8*0 = 0
  512. TestMul(NOF): 0*-0 = 0
  513. TestMul(NOF): 8*1 = 8
  514. TestMul(NOF): 8*1 = 8
  515. TestMul(NOF): 8*2 = 16
  516. TestMul(NOF): 16*2 = 32
  517. TestMul(NOF): 8*3 = 24
  518. TestMul(NOF): 24*3 = 72
  519. TestMul(NOF): 9*-3 = -27
  520. TestMul(NOF): -27*-3 = 81
  521. TestMul(NOF): 9*-2 = -18
  522. TestMul(NOF): -18*-2 = 36
  523. TestMul(NOF): 9*-1 = -9
  524. TestMul(NOF): -9*-1 = 9
  525. TestMul(NOF): 9*0 = 0
  526. TestMul(NOF): 0*-0 = 0
  527. TestMul(NOF): 9*1 = 9
  528. TestMul(NOF): 9*1 = 9
  529. TestMul(NOF): 9*2 = 18
  530. TestMul(NOF): 18*2 = 36
  531. TestMul(NOF): 9*3 = 27
  532. TestMul(NOF): 27*3 = 81
  533. TestMulSmall done
  534. TestMul(NOF): 1*-4 = -4
  535. TestMul(NOF): 1*-8 = -8
  536. TestMul(NOF): 1*-16 = -16
  537. TestMul(NOF): 1*-32 = -32
  538. TestMul(NOF): 1*-64 = -64
  539. TestMul(NOF): 1*-128 = -128
  540. TestMul(NOF): 1*-256 = -256
  541. TestMul(NOF): 1*-512 = -512
  542. TestMul(NOF): 1*-1024 = -1024
  543. TestMul(NOF): 1*-2048 = -2048
  544. TestMul(NOF): 1*-4096 = -4096
  545. TestMul(NOF): 1*-8192 = -8192
  546. TestMul(NOF): 1*-16384 = -16384
  547. TestMul(NOF): 2*-4 = -8
  548. TestMul(NOF): 2*-8 = -16
  549. TestMul(NOF): 2*-16 = -32
  550. TestMul(NOF): 2*-32 = -64
  551. TestMul(NOF): 2*-64 = -128
  552. TestMul(NOF): 2*-128 = -256
  553. TestMul(NOF): 2*-256 = -512
  554. TestMul(NOF): 2*-512 = -1024
  555. TestMul(NOF): 2*-1024 = -2048
  556. TestMul(NOF): 2*-2048 = -4096
  557. TestMul(NOF): 2*-4096 = -8192
  558. TestMul(NOF): 2*-8192 = -16384
  559. TestMul(NOF): 2*-16384 = -32768
  560. TestMul(NOF): 3*-4 = -12
  561. TestMul(NOF): 3*-8 = -24
  562. TestMul(NOF): 3*-16 = -48
  563. TestMul(NOF): 3*-32 = -96
  564. TestMul(NOF): 3*-64 = -192
  565. TestMul(NOF): 3*-128 = -384
  566. TestMul(NOF): 3*-256 = -768
  567. TestMul(NOF): 3*-512 = -1536
  568. TestMul(NOF): 3*-1024 = -3072
  569. TestMul(NOF): 3*-2048 = -6144
  570. TestMul(NOF): 3*-4096 = -12288
  571. TestMul(NOF): 3*-8192 = -24576
  572. TestMul(NOF): 3*-16384 = -49152
  573. TestMul(NOF): 4*-4 = -16
  574. TestMul(NOF): 4*-8 = -32
  575. TestMul(NOF): 4*-16 = -64
  576. TestMul(NOF): 4*-32 = -128
  577. TestMul(NOF): 4*-64 = -256
  578. TestMul(NOF): 4*-128 = -512
  579. TestMul(NOF): 4*-256 = -1024
  580. TestMul(NOF): 4*-512 = -2048
  581. TestMul(NOF): 4*-1024 = -4096
  582. TestMul(NOF): 4*-2048 = -8192
  583. TestMul(NOF): 4*-4096 = -16384
  584. TestMul(NOF): 4*-8192 = -32768
  585. TestMul(NOF): 4*-16384 = -65536
  586. TestMul(NOF): 5*-4 = -20
  587. TestMul(NOF): 5*-8 = -40
  588. TestMul(NOF): 5*-16 = -80
  589. TestMul(NOF): 5*-32 = -160
  590. TestMul(NOF): 5*-64 = -320
  591. TestMul(NOF): 5*-128 = -640
  592. TestMul(NOF): 5*-256 = -1280
  593. TestMul(NOF): 5*-512 = -2560
  594. TestMul(NOF): 5*-1024 = -5120
  595. TestMul(NOF): 5*-2048 = -10240
  596. TestMul(NOF): 5*-4096 = -20480
  597. TestMul(NOF): 5*-8192 = -40960
  598. TestMul(NOF): 5*-16384 = -81920
  599. TestMul(NOF): 6*-4 = -24
  600. TestMul(NOF): 6*-8 = -48
  601. TestMul(NOF): 6*-16 = -96
  602. TestMul(NOF): 6*-32 = -192
  603. TestMul(NOF): 6*-64 = -384
  604. TestMul(NOF): 6*-128 = -768
  605. TestMul(NOF): 6*-256 = -1536
  606. TestMul(NOF): 6*-512 = -3072
  607. TestMul(NOF): 6*-1024 = -6144
  608. TestMul(NOF): 6*-2048 = -12288
  609. TestMul(NOF): 6*-4096 = -24576
  610. TestMul(NOF): 6*-8192 = -49152
  611. TestMul(NOF): 6*-16384 = -98304
  612. TestMul(NOF): 7*-4 = -28
  613. TestMul(NOF): 7*-8 = -56
  614. TestMul(NOF): 7*-16 = -112
  615. TestMul(NOF): 7*-32 = -224
  616. TestMul(NOF): 7*-64 = -448
  617. TestMul(NOF): 7*-128 = -896
  618. TestMul(NOF): 7*-256 = -1792
  619. TestMul(NOF): 7*-512 = -3584
  620. TestMul(NOF): 7*-1024 = -7168
  621. TestMul(NOF): 7*-2048 = -14336
  622. TestMul(NOF): 7*-4096 = -28672
  623. TestMul(NOF): 7*-8192 = -57344
  624. TestMul(NOF): 7*-16384 = -114688
  625. TestMul(NOF): 8*-4 = -32
  626. TestMul(NOF): 8*-8 = -64
  627. TestMul(NOF): 8*-16 = -128
  628. TestMul(NOF): 8*-32 = -256
  629. TestMul(NOF): 8*-64 = -512
  630. TestMul(NOF): 8*-128 = -1024
  631. TestMul(NOF): 8*-256 = -2048
  632. TestMul(NOF): 8*-512 = -4096
  633. TestMul(NOF): 8*-1024 = -8192
  634. TestMul(NOF): 8*-2048 = -16384
  635. TestMul(NOF): 8*-4096 = -32768
  636. TestMul(NOF): 8*-8192 = -65536
  637. TestMul(NOF): 8*-16384 = -131072
  638. TestMul(NOF): 9*-4 = -36
  639. TestMul(NOF): 9*-8 = -72
  640. TestMul(NOF): 9*-16 = -144
  641. TestMul(NOF): 9*-32 = -288
  642. TestMul(NOF): 9*-64 = -576
  643. TestMul(NOF): 9*-128 = -1152
  644. TestMul(NOF): 9*-256 = -2304
  645. TestMul(NOF): 9*-512 = -4608
  646. TestMul(NOF): 9*-1024 = -9216
  647. TestMul(NOF): 9*-2048 = -18432
  648. TestMul(NOF): 9*-4096 = -36864
  649. TestMul(NOF): 9*-8192 = -73728
  650. TestMul(NOF): 9*-16384 = -147456
  651. TestMul(NOF): 1*4 = 4
  652. TestMul(NOF): 1*8 = 8
  653. TestMul(NOF): 1*16 = 16
  654. TestMul(NOF): 1*32 = 32
  655. TestMul(NOF): 1*64 = 64
  656. TestMul(NOF): 1*128 = 128
  657. TestMul(NOF): 1*256 = 256
  658. TestMul(NOF): 1*512 = 512
  659. TestMul(NOF): 1*1024 = 1024
  660. TestMul(NOF): 1*2048 = 2048
  661. TestMul(NOF): 1*4096 = 4096
  662. TestMul(NOF): 1*8192 = 8192
  663. TestMul(NOF): 1*16384 = 16384
  664. TestMul(NOF): 2*4 = 8
  665. TestMul(NOF): 2*8 = 16
  666. TestMul(NOF): 2*16 = 32
  667. TestMul(NOF): 2*32 = 64
  668. TestMul(NOF): 2*64 = 128
  669. TestMul(NOF): 2*128 = 256
  670. TestMul(NOF): 2*256 = 512
  671. TestMul(NOF): 2*512 = 1024
  672. TestMul(NOF): 2*1024 = 2048
  673. TestMul(NOF): 2*2048 = 4096
  674. TestMul(NOF): 2*4096 = 8192
  675. TestMul(NOF): 2*8192 = 16384
  676. TestMul(NOF): 2*16384 = 32768
  677. TestMul(NOF): 3*4 = 12
  678. TestMul(NOF): 3*8 = 24
  679. TestMul(NOF): 3*16 = 48
  680. TestMul(NOF): 3*32 = 96
  681. TestMul(NOF): 3*64 = 192
  682. TestMul(NOF): 3*128 = 384
  683. TestMul(NOF): 3*256 = 768
  684. TestMul(NOF): 3*512 = 1536
  685. TestMul(NOF): 3*1024 = 3072
  686. TestMul(NOF): 3*2048 = 6144
  687. TestMul(NOF): 3*4096 = 12288
  688. TestMul(NOF): 3*8192 = 24576
  689. TestMul(NOF): 3*16384 = 49152
  690. TestMul(NOF): 4*4 = 16
  691. TestMul(NOF): 4*8 = 32
  692. TestMul(NOF): 4*16 = 64
  693. TestMul(NOF): 4*32 = 128
  694. TestMul(NOF): 4*64 = 256
  695. TestMul(NOF): 4*128 = 512
  696. TestMul(NOF): 4*256 = 1024
  697. TestMul(NOF): 4*512 = 2048
  698. TestMul(NOF): 4*1024 = 4096
  699. TestMul(NOF): 4*2048 = 8192
  700. TestMul(NOF): 4*4096 = 16384
  701. TestMul(NOF): 4*8192 = 32768
  702. TestMul(NOF): 4*16384 = 65536
  703. TestMul(NOF): 5*4 = 20
  704. TestMul(NOF): 5*8 = 40
  705. TestMul(NOF): 5*16 = 80
  706. TestMul(NOF): 5*32 = 160
  707. TestMul(NOF): 5*64 = 320
  708. TestMul(NOF): 5*128 = 640
  709. TestMul(NOF): 5*256 = 1280
  710. TestMul(NOF): 5*512 = 2560
  711. TestMul(NOF): 5*1024 = 5120
  712. TestMul(NOF): 5*2048 = 10240
  713. TestMul(NOF): 5*4096 = 20480
  714. TestMul(NOF): 5*8192 = 40960
  715. TestMul(NOF): 5*16384 = 81920
  716. TestMul(NOF): 6*4 = 24
  717. TestMul(NOF): 6*8 = 48
  718. TestMul(NOF): 6*16 = 96
  719. TestMul(NOF): 6*32 = 192
  720. TestMul(NOF): 6*64 = 384
  721. TestMul(NOF): 6*128 = 768
  722. TestMul(NOF): 6*256 = 1536
  723. TestMul(NOF): 6*512 = 3072
  724. TestMul(NOF): 6*1024 = 6144
  725. TestMul(NOF): 6*2048 = 12288
  726. TestMul(NOF): 6*4096 = 24576
  727. TestMul(NOF): 6*8192 = 49152
  728. TestMul(NOF): 6*16384 = 98304
  729. TestMul(NOF): 7*4 = 28
  730. TestMul(NOF): 7*8 = 56
  731. TestMul(NOF): 7*16 = 112
  732. TestMul(NOF): 7*32 = 224
  733. TestMul(NOF): 7*64 = 448
  734. TestMul(NOF): 7*128 = 896
  735. TestMul(NOF): 7*256 = 1792
  736. TestMul(NOF): 7*512 = 3584
  737. TestMul(NOF): 7*1024 = 7168
  738. TestMul(NOF): 7*2048 = 14336
  739. TestMul(NOF): 7*4096 = 28672
  740. TestMul(NOF): 7*8192 = 57344
  741. TestMul(NOF): 7*16384 = 114688
  742. TestMul(NOF): 8*4 = 32
  743. TestMul(NOF): 8*8 = 64
  744. TestMul(NOF): 8*16 = 128
  745. TestMul(NOF): 8*32 = 256
  746. TestMul(NOF): 8*64 = 512
  747. TestMul(NOF): 8*128 = 1024
  748. TestMul(NOF): 8*256 = 2048
  749. TestMul(NOF): 8*512 = 4096
  750. TestMul(NOF): 8*1024 = 8192
  751. TestMul(NOF): 8*2048 = 16384
  752. TestMul(NOF): 8*4096 = 32768
  753. TestMul(NOF): 8*8192 = 65536
  754. TestMul(NOF): 8*16384 = 131072
  755. TestMul(NOF): 9*4 = 36
  756. TestMul(NOF): 9*8 = 72
  757. TestMul(NOF): 9*16 = 144
  758. TestMul(NOF): 9*32 = 288
  759. TestMul(NOF): 9*64 = 576
  760. TestMul(NOF): 9*128 = 1152
  761. TestMul(NOF): 9*256 = 2304
  762. TestMul(NOF): 9*512 = 4608
  763. TestMul(NOF): 9*1024 = 9216
  764. TestMul(NOF): 9*2048 = 18432
  765. TestMul(NOF): 9*4096 = 36864
  766. TestMul(NOF): 9*8192 = 73728
  767. TestMul(NOF): 9*16384 = 147456
  768. TestMul(NOF): 1*5 = 5
  769. TestMul(NOF): 1*9 = 9
  770. TestMul(NOF): 1*17 = 17
  771. TestMul(NOF): 1*33 = 33
  772. TestMul(NOF): 1*65 = 65
  773. TestMul(NOF): 1*129 = 129
  774. TestMul(NOF): 1*257 = 257
  775. TestMul(NOF): 1*513 = 513
  776. TestMul(NOF): 1*1025 = 1025
  777. TestMul(NOF): 1*2049 = 2049
  778. TestMul(NOF): 1*4097 = 4097
  779. TestMul(NOF): 1*8193 = 8193
  780. TestMul(NOF): 1*16385 = 16385
  781. TestMul(NOF): 2*5 = 10
  782. TestMul(NOF): 2*9 = 18
  783. TestMul(NOF): 2*17 = 34
  784. TestMul(NOF): 2*33 = 66
  785. TestMul(NOF): 2*65 = 130
  786. TestMul(NOF): 2*129 = 258
  787. TestMul(NOF): 2*257 = 514
  788. TestMul(NOF): 2*513 = 1026
  789. TestMul(NOF): 2*1025 = 2050
  790. TestMul(NOF): 2*2049 = 4098
  791. TestMul(NOF): 2*4097 = 8194
  792. TestMul(NOF): 2*8193 = 16386
  793. TestMul(NOF): 2*16385 = 32770
  794. TestMul(NOF): 3*5 = 15
  795. TestMul(NOF): 3*9 = 27
  796. TestMul(NOF): 3*17 = 51
  797. TestMul(NOF): 3*33 = 99
  798. TestMul(NOF): 3*65 = 195
  799. TestMul(NOF): 3*129 = 387
  800. TestMul(NOF): 3*257 = 771
  801. TestMul(NOF): 3*513 = 1539
  802. TestMul(NOF): 3*1025 = 3075
  803. TestMul(NOF): 3*2049 = 6147
  804. TestMul(NOF): 3*4097 = 12291
  805. TestMul(NOF): 3*8193 = 24579
  806. TestMul(NOF): 3*16385 = 49155
  807. TestMul(NOF): 4*5 = 20
  808. TestMul(NOF): 4*9 = 36
  809. TestMul(NOF): 4*17 = 68
  810. TestMul(NOF): 4*33 = 132
  811. TestMul(NOF): 4*65 = 260
  812. TestMul(NOF): 4*129 = 516
  813. TestMul(NOF): 4*257 = 1028
  814. TestMul(NOF): 4*513 = 2052
  815. TestMul(NOF): 4*1025 = 4100
  816. TestMul(NOF): 4*2049 = 8196
  817. TestMul(NOF): 4*4097 = 16388
  818. TestMul(NOF): 4*8193 = 32772
  819. TestMul(NOF): 4*16385 = 65540
  820. TestMul(NOF): 5*5 = 25
  821. TestMul(NOF): 5*9 = 45
  822. TestMul(NOF): 5*17 = 85
  823. TestMul(NOF): 5*33 = 165
  824. TestMul(NOF): 5*65 = 325
  825. TestMul(NOF): 5*129 = 645
  826. TestMul(NOF): 5*257 = 1285
  827. TestMul(NOF): 5*513 = 2565
  828. TestMul(NOF): 5*1025 = 5125
  829. TestMul(NOF): 5*2049 = 10245
  830. TestMul(NOF): 5*4097 = 20485
  831. TestMul(NOF): 5*8193 = 40965
  832. TestMul(NOF): 5*16385 = 81925
  833. TestMul(NOF): 6*5 = 30
  834. TestMul(NOF): 6*9 = 54
  835. TestMul(NOF): 6*17 = 102
  836. TestMul(NOF): 6*33 = 198
  837. TestMul(NOF): 6*65 = 390
  838. TestMul(NOF): 6*129 = 774
  839. TestMul(NOF): 6*257 = 1542
  840. TestMul(NOF): 6*513 = 3078
  841. TestMul(NOF): 6*1025 = 6150
  842. TestMul(NOF): 6*2049 = 12294
  843. TestMul(NOF): 6*4097 = 24582
  844. TestMul(NOF): 6*8193 = 49158
  845. TestMul(NOF): 6*16385 = 98310
  846. TestMul(NOF): 7*5 = 35
  847. TestMul(NOF): 7*9 = 63
  848. TestMul(NOF): 7*17 = 119
  849. TestMul(NOF): 7*33 = 231
  850. TestMul(NOF): 7*65 = 455
  851. TestMul(NOF): 7*129 = 903
  852. TestMul(NOF): 7*257 = 1799
  853. TestMul(NOF): 7*513 = 3591
  854. TestMul(NOF): 7*1025 = 7175
  855. TestMul(NOF): 7*2049 = 14343
  856. TestMul(NOF): 7*4097 = 28679
  857. TestMul(NOF): 7*8193 = 57351
  858. TestMul(NOF): 7*16385 = 114695
  859. TestMul(NOF): 8*5 = 40
  860. TestMul(NOF): 8*9 = 72
  861. TestMul(NOF): 8*17 = 136
  862. TestMul(NOF): 8*33 = 264
  863. TestMul(NOF): 8*65 = 520
  864. TestMul(NOF): 8*129 = 1032
  865. TestMul(NOF): 8*257 = 2056
  866. TestMul(NOF): 8*513 = 4104
  867. TestMul(NOF): 8*1025 = 8200
  868. TestMul(NOF): 8*2049 = 16392
  869. TestMul(NOF): 8*4097 = 32776
  870. TestMul(NOF): 8*8193 = 65544
  871. TestMul(NOF): 8*16385 = 131080
  872. TestMul(NOF): 9*5 = 45
  873. TestMul(NOF): 9*9 = 81
  874. TestMul(NOF): 9*17 = 153
  875. TestMul(NOF): 9*33 = 297
  876. TestMul(NOF): 9*65 = 585
  877. TestMul(NOF): 9*129 = 1161
  878. TestMul(NOF): 9*257 = 2313
  879. TestMul(NOF): 9*513 = 4617
  880. TestMul(NOF): 9*1025 = 9225
  881. TestMul(NOF): 9*2049 = 18441
  882. TestMul(NOF): 9*4097 = 36873
  883. TestMul(NOF): 9*8193 = 73737
  884. TestMul(NOF): 9*16385 = 147465
  885. TestMul(NOF): 1*3 = 3
  886. TestMul(NOF): 1*7 = 7
  887. TestMul(NOF): 1*15 = 15
  888. TestMul(NOF): 1*31 = 31
  889. TestMul(NOF): 1*63 = 63
  890. TestMul(NOF): 1*127 = 127
  891. TestMul(NOF): 1*255 = 255
  892. TestMul(NOF): 1*511 = 511
  893. TestMul(NOF): 1*1023 = 1023
  894. TestMul(NOF): 1*2047 = 2047
  895. TestMul(NOF): 1*4095 = 4095
  896. TestMul(NOF): 1*8191 = 8191
  897. TestMul(NOF): 1*16383 = 16383
  898. TestMul(NOF): 2*3 = 6
  899. TestMul(NOF): 2*7 = 14
  900. TestMul(NOF): 2*15 = 30
  901. TestMul(NOF): 2*31 = 62
  902. TestMul(NOF): 2*63 = 126
  903. TestMul(NOF): 2*127 = 254
  904. TestMul(NOF): 2*255 = 510
  905. TestMul(NOF): 2*511 = 1022
  906. TestMul(NOF): 2*1023 = 2046
  907. TestMul(NOF): 2*2047 = 4094
  908. TestMul(NOF): 2*4095 = 8190
  909. TestMul(NOF): 2*8191 = 16382
  910. TestMul(NOF): 2*16383 = 32766
  911. TestMul(NOF): 3*3 = 9
  912. TestMul(NOF): 3*7 = 21
  913. TestMul(NOF): 3*15 = 45
  914. TestMul(NOF): 3*31 = 93
  915. TestMul(NOF): 3*63 = 189
  916. TestMul(NOF): 3*127 = 381
  917. TestMul(NOF): 3*255 = 765
  918. TestMul(NOF): 3*511 = 1533
  919. TestMul(NOF): 3*1023 = 3069
  920. TestMul(NOF): 3*2047 = 6141
  921. TestMul(NOF): 3*4095 = 12285
  922. TestMul(NOF): 3*8191 = 24573
  923. TestMul(NOF): 3*16383 = 49149
  924. TestMul(NOF): 4*3 = 12
  925. TestMul(NOF): 4*7 = 28
  926. TestMul(NOF): 4*15 = 60
  927. TestMul(NOF): 4*31 = 124
  928. TestMul(NOF): 4*63 = 252
  929. TestMul(NOF): 4*127 = 508
  930. TestMul(NOF): 4*255 = 1020
  931. TestMul(NOF): 4*511 = 2044
  932. TestMul(NOF): 4*1023 = 4092
  933. TestMul(NOF): 4*2047 = 8188
  934. TestMul(NOF): 4*4095 = 16380
  935. TestMul(NOF): 4*8191 = 32764
  936. TestMul(NOF): 4*16383 = 65532
  937. TestMul(NOF): 5*3 = 15
  938. TestMul(NOF): 5*7 = 35
  939. TestMul(NOF): 5*15 = 75
  940. TestMul(NOF): 5*31 = 155
  941. TestMul(NOF): 5*63 = 315
  942. TestMul(NOF): 5*127 = 635
  943. TestMul(NOF): 5*255 = 1275
  944. TestMul(NOF): 5*511 = 2555
  945. TestMul(NOF): 5*1023 = 5115
  946. TestMul(NOF): 5*2047 = 10235
  947. TestMul(NOF): 5*4095 = 20475
  948. TestMul(NOF): 5*8191 = 40955
  949. TestMul(NOF): 5*16383 = 81915
  950. TestMul(NOF): 6*3 = 18
  951. TestMul(NOF): 6*7 = 42
  952. TestMul(NOF): 6*15 = 90
  953. TestMul(NOF): 6*31 = 186
  954. TestMul(NOF): 6*63 = 378
  955. TestMul(NOF): 6*127 = 762
  956. TestMul(NOF): 6*255 = 1530
  957. TestMul(NOF): 6*511 = 3066
  958. TestMul(NOF): 6*1023 = 6138
  959. TestMul(NOF): 6*2047 = 12282
  960. TestMul(NOF): 6*4095 = 24570
  961. TestMul(NOF): 6*8191 = 49146
  962. TestMul(NOF): 6*16383 = 98298
  963. TestMul(NOF): 7*3 = 21
  964. TestMul(NOF): 7*7 = 49
  965. TestMul(NOF): 7*15 = 105
  966. TestMul(NOF): 7*31 = 217
  967. TestMul(NOF): 7*63 = 441
  968. TestMul(NOF): 7*127 = 889
  969. TestMul(NOF): 7*255 = 1785
  970. TestMul(NOF): 7*511 = 3577
  971. TestMul(NOF): 7*1023 = 7161
  972. TestMul(NOF): 7*2047 = 14329
  973. TestMul(NOF): 7*4095 = 28665
  974. TestMul(NOF): 7*8191 = 57337
  975. TestMul(NOF): 7*16383 = 114681
  976. TestMul(NOF): 8*3 = 24
  977. TestMul(NOF): 8*7 = 56
  978. TestMul(NOF): 8*15 = 120
  979. TestMul(NOF): 8*31 = 248
  980. TestMul(NOF): 8*63 = 504
  981. TestMul(NOF): 8*127 = 1016
  982. TestMul(NOF): 8*255 = 2040
  983. TestMul(NOF): 8*511 = 4088
  984. TestMul(NOF): 8*1023 = 8184
  985. TestMul(NOF): 8*2047 = 16376
  986. TestMul(NOF): 8*4095 = 32760
  987. TestMul(NOF): 8*8191 = 65528
  988. TestMul(NOF): 8*16383 = 131064
  989. TestMul(NOF): 9*3 = 27
  990. TestMul(NOF): 9*7 = 63
  991. TestMul(NOF): 9*15 = 135
  992. TestMul(NOF): 9*31 = 279
  993. TestMul(NOF): 9*63 = 567
  994. TestMul(NOF): 9*127 = 1143
  995. TestMul(NOF): 9*255 = 2295
  996. TestMul(NOF): 9*511 = 4599
  997. TestMul(NOF): 9*1023 = 9207
  998. TestMul(NOF): 9*2047 = 18423
  999. TestMul(NOF): 9*4095 = 36855
  1000. TestMul(NOF): 9*8191 = 73719
  1001. TestMul(NOF): 9*16383 = 147447
  1002. TestMul(NOF): 1*-4 = -4
  1003. TestMul(NOF): 1*-8 = -8
  1004. TestMul(NOF): 1*-16 = -16
  1005. TestMul(NOF): 1*-32 = -32
  1006. TestMul(NOF): 1*-64 = -64
  1007. TestMul(NOF): 1*-128 = -128
  1008. TestMul(NOF): 1*-256 = -256
  1009. TestMul(NOF): 1*-512 = -512
  1010. TestMul(NOF): 1*-1024 = -1024
  1011. TestMul(NOF): 1*-2048 = -2048
  1012. TestMul(NOF): 1*-4096 = -4096
  1013. TestMul(NOF): 1*-8192 = -8192
  1014. TestMul(NOF): 1*-16384 = -16384
  1015. TestMul(NOF): 2*-4 = -8
  1016. TestMul(NOF): 2*-8 = -16
  1017. TestMul(NOF): 2*-16 = -32
  1018. TestMul(NOF): 2*-32 = -64
  1019. TestMul(NOF): 2*-64 = -128
  1020. TestMul(NOF): 2*-128 = -256
  1021. TestMul(NOF): 2*-256 = -512
  1022. TestMul(NOF): 2*-512 = -1024
  1023. TestMul(NOF): 2*-1024 = -2048
  1024. TestMul(NOF): 2*-2048 = -4096
  1025. TestMul(NOF): 2*-4096 = -8192
  1026. TestMul(NOF): 2*-8192 = -16384
  1027. TestMul(NOF): 2*-16384 = -32768
  1028. TestMul(NOF): 3*-4 = -12
  1029. TestMul(NOF): 3*-8 = -24
  1030. TestMul(NOF): 3*-16 = -48
  1031. TestMul(NOF): 3*-32 = -96
  1032. TestMul(NOF): 3*-64 = -192
  1033. TestMul(NOF): 3*-128 = -384
  1034. TestMul(NOF): 3*-256 = -768
  1035. TestMul(NOF): 3*-512 = -1536
  1036. TestMul(NOF): 3*-1024 = -3072
  1037. TestMul(NOF): 3*-2048 = -6144
  1038. TestMul(NOF): 3*-4096 = -12288
  1039. TestMul(NOF): 3*-8192 = -24576
  1040. TestMul(NOF): 3*-16384 = -49152
  1041. TestMul(NOF): 4*-4 = -16
  1042. TestMul(NOF): 4*-8 = -32
  1043. TestMul(NOF): 4*-16 = -64
  1044. TestMul(NOF): 4*-32 = -128
  1045. TestMul(NOF): 4*-64 = -256
  1046. TestMul(NOF): 4*-128 = -512
  1047. TestMul(NOF): 4*-256 = -1024
  1048. TestMul(NOF): 4*-512 = -2048
  1049. TestMul(NOF): 4*-1024 = -4096
  1050. TestMul(NOF): 4*-2048 = -8192
  1051. TestMul(NOF): 4*-4096 = -16384
  1052. TestMul(NOF): 4*-8192 = -32768
  1053. TestMul(NOF): 4*-16384 = -65536
  1054. TestMul(NOF): 5*-4 = -20
  1055. TestMul(NOF): 5*-8 = -40
  1056. TestMul(NOF): 5*-16 = -80
  1057. TestMul(NOF): 5*-32 = -160
  1058. TestMul(NOF): 5*-64 = -320
  1059. TestMul(NOF): 5*-128 = -640
  1060. TestMul(NOF): 5*-256 = -1280
  1061. TestMul(NOF): 5*-512 = -2560
  1062. TestMul(NOF): 5*-1024 = -5120
  1063. TestMul(NOF): 5*-2048 = -10240
  1064. TestMul(NOF): 5*-4096 = -20480
  1065. TestMul(NOF): 5*-8192 = -40960
  1066. TestMul(NOF): 5*-16384 = -81920
  1067. TestMul(NOF): 6*-4 = -24
  1068. TestMul(NOF): 6*-8 = -48
  1069. TestMul(NOF): 6*-16 = -96
  1070. TestMul(NOF): 6*-32 = -192
  1071. TestMul(NOF): 6*-64 = -384
  1072. TestMul(NOF): 6*-128 = -768
  1073. TestMul(NOF): 6*-256 = -1536
  1074. TestMul(NOF): 6*-512 = -3072
  1075. TestMul(NOF): 6*-1024 = -6144
  1076. TestMul(NOF): 6*-2048 = -12288
  1077. TestMul(NOF): 6*-4096 = -24576
  1078. TestMul(NOF): 6*-8192 = -49152
  1079. TestMul(NOF): 6*-16384 = -98304
  1080. TestMul(NOF): 7*-4 = -28
  1081. TestMul(NOF): 7*-8 = -56
  1082. TestMul(NOF): 7*-16 = -112
  1083. TestMul(NOF): 7*-32 = -224
  1084. TestMul(NOF): 7*-64 = -448
  1085. TestMul(NOF): 7*-128 = -896
  1086. TestMul(NOF): 7*-256 = -1792
  1087. TestMul(NOF): 7*-512 = -3584
  1088. TestMul(NOF): 7*-1024 = -7168
  1089. TestMul(NOF): 7*-2048 = -14336
  1090. TestMul(NOF): 7*-4096 = -28672
  1091. TestMul(NOF): 7*-8192 = -57344
  1092. TestMul(NOF): 7*-16384 = -114688
  1093. TestMul(NOF): 8*-4 = -32
  1094. TestMul(NOF): 8*-8 = -64
  1095. TestMul(NOF): 8*-16 = -128
  1096. TestMul(NOF): 8*-32 = -256
  1097. TestMul(NOF): 8*-64 = -512
  1098. TestMul(NOF): 8*-128 = -1024
  1099. TestMul(NOF): 8*-256 = -2048
  1100. TestMul(NOF): 8*-512 = -4096
  1101. TestMul(NOF): 8*-1024 = -8192
  1102. TestMul(NOF): 8*-2048 = -16384
  1103. TestMul(NOF): 8*-4096 = -32768
  1104. TestMul(NOF): 8*-8192 = -65536
  1105. TestMul(NOF): 8*-16384 = -131072
  1106. TestMul(NOF): 9*-4 = -36
  1107. TestMul(NOF): 9*-8 = -72
  1108. TestMul(NOF): 9*-16 = -144
  1109. TestMul(NOF): 9*-32 = -288
  1110. TestMul(NOF): 9*-64 = -576
  1111. TestMul(NOF): 9*-128 = -1152
  1112. TestMul(NOF): 9*-256 = -2304
  1113. TestMul(NOF): 9*-512 = -4608
  1114. TestMul(NOF): 9*-1024 = -9216
  1115. TestMul(NOF): 9*-2048 = -18432
  1116. TestMul(NOF): 9*-4096 = -36864
  1117. TestMul(NOF): 9*-8192 = -73728
  1118. TestMul(NOF): 9*-16384 = -147456
  1119. TestMul(NOF): 1*4 = 4
  1120. TestMul(NOF): 1*8 = 8
  1121. TestMul(NOF): 1*16 = 16
  1122. TestMul(NOF): 1*32 = 32
  1123. TestMul(NOF): 1*64 = 64
  1124. TestMul(NOF): 1*128 = 128
  1125. TestMul(NOF): 1*256 = 256
  1126. TestMul(NOF): 1*512 = 512
  1127. TestMul(NOF): 1*1024 = 1024
  1128. TestMul(NOF): 1*2048 = 2048
  1129. TestMul(NOF): 1*4096 = 4096
  1130. TestMul(NOF): 1*8192 = 8192
  1131. TestMul(NOF): 1*16384 = 16384
  1132. TestMul(NOF): 2*4 = 8
  1133. TestMul(NOF): 2*8 = 16
  1134. TestMul(NOF): 2*16 = 32
  1135. TestMul(NOF): 2*32 = 64
  1136. TestMul(NOF): 2*64 = 128
  1137. TestMul(NOF): 2*128 = 256
  1138. TestMul(NOF): 2*256 = 512
  1139. TestMul(NOF): 2*512 = 1024
  1140. TestMul(NOF): 2*1024 = 2048
  1141. TestMul(NOF): 2*2048 = 4096
  1142. TestMul(NOF): 2*4096 = 8192
  1143. TestMul(NOF): 2*8192 = 16384
  1144. TestMul(NOF): 2*16384 = 32768
  1145. TestMul(NOF): 3*4 = 12
  1146. TestMul(NOF): 3*8 = 24
  1147. TestMul(NOF): 3*16 = 48
  1148. TestMul(NOF): 3*32 = 96
  1149. TestMul(NOF): 3*64 = 192
  1150. TestMul(NOF): 3*128 = 384
  1151. TestMul(NOF): 3*256 = 768
  1152. TestMul(NOF): 3*512 = 1536
  1153. TestMul(NOF): 3*1024 = 3072
  1154. TestMul(NOF): 3*2048 = 6144
  1155. TestMul(NOF): 3*4096 = 12288
  1156. TestMul(NOF): 3*8192 = 24576
  1157. TestMul(NOF): 3*16384 = 49152
  1158. TestMul(NOF): 4*4 = 16
  1159. TestMul(NOF): 4*8 = 32
  1160. TestMul(NOF): 4*16 = 64
  1161. TestMul(NOF): 4*32 = 128
  1162. TestMul(NOF): 4*64 = 256
  1163. TestMul(NOF): 4*128 = 512
  1164. TestMul(NOF): 4*256 = 1024
  1165. TestMul(NOF): 4*512 = 2048
  1166. TestMul(NOF): 4*1024 = 4096
  1167. TestMul(NOF): 4*2048 = 8192
  1168. TestMul(NOF): 4*4096 = 16384
  1169. TestMul(NOF): 4*8192 = 32768
  1170. TestMul(NOF): 4*16384 = 65536
  1171. TestMul(NOF): 5*4 = 20
  1172. TestMul(NOF): 5*8 = 40
  1173. TestMul(NOF): 5*16 = 80
  1174. TestMul(NOF): 5*32 = 160
  1175. TestMul(NOF): 5*64 = 320
  1176. TestMul(NOF): 5*128 = 640
  1177. TestMul(NOF): 5*256 = 1280
  1178. TestMul(NOF): 5*512 = 2560
  1179. TestMul(NOF): 5*1024 = 5120
  1180. TestMul(NOF): 5*2048 = 10240
  1181. TestMul(NOF): 5*4096 = 20480
  1182. TestMul(NOF): 5*8192 = 40960
  1183. TestMul(NOF): 5*16384 = 81920
  1184. TestMul(NOF): 6*4 = 24
  1185. TestMul(NOF): 6*8 = 48
  1186. TestMul(NOF): 6*16 = 96
  1187. TestMul(NOF): 6*32 = 192
  1188. TestMul(NOF): 6*64 = 384
  1189. TestMul(NOF): 6*128 = 768
  1190. TestMul(NOF): 6*256 = 1536
  1191. TestMul(NOF): 6*512 = 3072
  1192. TestMul(NOF): 6*1024 = 6144
  1193. TestMul(NOF): 6*2048 = 12288
  1194. TestMul(NOF): 6*4096 = 24576
  1195. TestMul(NOF): 6*8192 = 49152
  1196. TestMul(NOF): 6*16384 = 98304
  1197. TestMul(NOF): 7*4 = 28
  1198. TestMul(NOF): 7*8 = 56
  1199. TestMul(NOF): 7*16 = 112
  1200. TestMul(NOF): 7*32 = 224
  1201. TestMul(NOF): 7*64 = 448
  1202. TestMul(NOF): 7*128 = 896
  1203. TestMul(NOF): 7*256 = 1792
  1204. TestMul(NOF): 7*512 = 3584
  1205. TestMul(NOF): 7*1024 = 7168
  1206. TestMul(NOF): 7*2048 = 14336
  1207. TestMul(NOF): 7*4096 = 28672
  1208. TestMul(NOF): 7*8192 = 57344
  1209. TestMul(NOF): 7*16384 = 114688
  1210. TestMul(NOF): 8*4 = 32
  1211. TestMul(NOF): 8*8 = 64
  1212. TestMul(NOF): 8*16 = 128
  1213. TestMul(NOF): 8*32 = 256
  1214. TestMul(NOF): 8*64 = 512
  1215. TestMul(NOF): 8*128 = 1024
  1216. TestMul(NOF): 8*256 = 2048
  1217. TestMul(NOF): 8*512 = 4096
  1218. TestMul(NOF): 8*1024 = 8192
  1219. TestMul(NOF): 8*2048 = 16384
  1220. TestMul(NOF): 8*4096 = 32768
  1221. TestMul(NOF): 8*8192 = 65536
  1222. TestMul(NOF): 8*16384 = 131072
  1223. TestMul(NOF): 9*4 = 36
  1224. TestMul(NOF): 9*8 = 72
  1225. TestMul(NOF): 9*16 = 144
  1226. TestMul(NOF): 9*32 = 288
  1227. TestMul(NOF): 9*64 = 576
  1228. TestMul(NOF): 9*128 = 1152
  1229. TestMul(NOF): 9*256 = 2304
  1230. TestMul(NOF): 9*512 = 4608
  1231. TestMul(NOF): 9*1024 = 9216
  1232. TestMul(NOF): 9*2048 = 18432
  1233. TestMul(NOF): 9*4096 = 36864
  1234. TestMul(NOF): 9*8192 = 73728
  1235. TestMul(NOF): 9*16384 = 147456
  1236. TestMul(NOF): 1*5 = 5
  1237. TestMul(NOF): 1*9 = 9
  1238. TestMul(NOF): 1*17 = 17
  1239. TestMul(NOF): 1*33 = 33
  1240. TestMul(NOF): 1*65 = 65
  1241. TestMul(NOF): 1*129 = 129
  1242. TestMul(NOF): 1*257 = 257
  1243. TestMul(NOF): 1*513 = 513
  1244. TestMul(NOF): 1*1025 = 1025
  1245. TestMul(NOF): 1*2049 = 2049
  1246. TestMul(NOF): 1*4097 = 4097
  1247. TestMul(NOF): 1*8193 = 8193
  1248. TestMul(NOF): 1*16385 = 16385
  1249. TestMul(NOF): 2*5 = 10
  1250. TestMul(NOF): 2*9 = 18
  1251. TestMul(NOF): 2*17 = 34
  1252. TestMul(NOF): 2*33 = 66
  1253. TestMul(NOF): 2*65 = 130
  1254. TestMul(NOF): 2*129 = 258
  1255. TestMul(NOF): 2*257 = 514
  1256. TestMul(NOF): 2*513 = 1026
  1257. TestMul(NOF): 2*1025 = 2050
  1258. TestMul(NOF): 2*2049 = 4098
  1259. TestMul(NOF): 2*4097 = 8194
  1260. TestMul(NOF): 2*8193 = 16386
  1261. TestMul(NOF): 2*16385 = 32770
  1262. TestMul(NOF): 3*5 = 15
  1263. TestMul(NOF): 3*9 = 27
  1264. TestMul(NOF): 3*17 = 51
  1265. TestMul(NOF): 3*33 = 99
  1266. TestMul(NOF): 3*65 = 195
  1267. TestMul(NOF): 3*129 = 387
  1268. TestMul(NOF): 3*257 = 771
  1269. TestMul(NOF): 3*513 = 1539
  1270. TestMul(NOF): 3*1025 = 3075
  1271. TestMul(NOF): 3*2049 = 6147
  1272. TestMul(NOF): 3*4097 = 12291
  1273. TestMul(NOF): 3*8193 = 24579
  1274. TestMul(NOF): 3*16385 = 49155
  1275. TestMul(NOF): 4*5 = 20
  1276. TestMul(NOF): 4*9 = 36
  1277. TestMul(NOF): 4*17 = 68
  1278. TestMul(NOF): 4*33 = 132
  1279. TestMul(NOF): 4*65 = 260
  1280. TestMul(NOF): 4*129 = 516
  1281. TestMul(NOF): 4*257 = 1028
  1282. TestMul(NOF): 4*513 = 2052
  1283. TestMul(NOF): 4*1025 = 4100
  1284. TestMul(NOF): 4*2049 = 8196
  1285. TestMul(NOF): 4*4097 = 16388
  1286. TestMul(NOF): 4*8193 = 32772
  1287. TestMul(NOF): 4*16385 = 65540
  1288. TestMul(NOF): 5*5 = 25
  1289. TestMul(NOF): 5*9 = 45
  1290. TestMul(NOF): 5*17 = 85
  1291. TestMul(NOF): 5*33 = 165
  1292. TestMul(NOF): 5*65 = 325
  1293. TestMul(NOF): 5*129 = 645
  1294. TestMul(NOF): 5*257 = 1285
  1295. TestMul(NOF): 5*513 = 2565
  1296. TestMul(NOF): 5*1025 = 5125
  1297. TestMul(NOF): 5*2049 = 10245
  1298. TestMul(NOF): 5*4097 = 20485
  1299. TestMul(NOF): 5*8193 = 40965
  1300. TestMul(NOF): 5*16385 = 81925
  1301. TestMul(NOF): 6*5 = 30
  1302. TestMul(NOF): 6*9 = 54
  1303. TestMul(NOF): 6*17 = 102
  1304. TestMul(NOF): 6*33 = 198
  1305. TestMul(NOF): 6*65 = 390
  1306. TestMul(NOF): 6*129 = 774
  1307. TestMul(NOF): 6*257 = 1542
  1308. TestMul(NOF): 6*513 = 3078
  1309. TestMul(NOF): 6*1025 = 6150
  1310. TestMul(NOF): 6*2049 = 12294
  1311. TestMul(NOF): 6*4097 = 24582
  1312. TestMul(NOF): 6*8193 = 49158
  1313. TestMul(NOF): 6*16385 = 98310
  1314. TestMul(NOF): 7*5 = 35
  1315. TestMul(NOF): 7*9 = 63
  1316. TestMul(NOF): 7*17 = 119
  1317. TestMul(NOF): 7*33 = 231
  1318. TestMul(NOF): 7*65 = 455
  1319. TestMul(NOF): 7*129 = 903
  1320. TestMul(NOF): 7*257 = 1799
  1321. TestMul(NOF): 7*513 = 3591
  1322. TestMul(NOF): 7*1025 = 7175
  1323. TestMul(NOF): 7*2049 = 14343
  1324. TestMul(NOF): 7*4097 = 28679
  1325. TestMul(NOF): 7*8193 = 57351
  1326. TestMul(NOF): 7*16385 = 114695
  1327. TestMul(NOF): 8*5 = 40
  1328. TestMul(NOF): 8*9 = 72
  1329. TestMul(NOF): 8*17 = 136
  1330. TestMul(NOF): 8*33 = 264
  1331. TestMul(NOF): 8*65 = 520
  1332. TestMul(NOF): 8*129 = 1032
  1333. TestMul(NOF): 8*257 = 2056
  1334. TestMul(NOF): 8*513 = 4104
  1335. TestMul(NOF): 8*1025 = 8200
  1336. TestMul(NOF): 8*2049 = 16392
  1337. TestMul(NOF): 8*4097 = 32776
  1338. TestMul(NOF): 8*8193 = 65544
  1339. TestMul(NOF): 8*16385 = 131080
  1340. TestMul(NOF): 9*5 = 45
  1341. TestMul(NOF): 9*9 = 81
  1342. TestMul(NOF): 9*17 = 153
  1343. TestMul(NOF): 9*33 = 297
  1344. TestMul(NOF): 9*65 = 585
  1345. TestMul(NOF): 9*129 = 1161
  1346. TestMul(NOF): 9*257 = 2313
  1347. TestMul(NOF): 9*513 = 4617
  1348. TestMul(NOF): 9*1025 = 9225
  1349. TestMul(NOF): 9*2049 = 18441
  1350. TestMul(NOF): 9*4097 = 36873
  1351. TestMul(NOF): 9*8193 = 73737
  1352. TestMul(NOF): 9*16385 = 147465
  1353. TestMul(NOF): 1*3 = 3
  1354. TestMul(NOF): 1*7 = 7
  1355. TestMul(NOF): 1*15 = 15
  1356. TestMul(NOF): 1*31 = 31
  1357. TestMul(NOF): 1*63 = 63
  1358. TestMul(NOF): 1*127 = 127
  1359. TestMul(NOF): 1*255 = 255
  1360. TestMul(NOF): 1*511 = 511
  1361. TestMul(NOF): 1*1023 = 1023
  1362. TestMul(NOF): 1*2047 = 2047
  1363. TestMul(NOF): 1*4095 = 4095
  1364. TestMul(NOF): 1*8191 = 8191
  1365. TestMul(NOF): 1*16383 = 16383
  1366. TestMul(NOF): 2*3 = 6
  1367. TestMul(NOF): 2*7 = 14
  1368. TestMul(NOF): 2*15 = 30
  1369. TestMul(NOF): 2*31 = 62
  1370. TestMul(NOF): 2*63 = 126
  1371. TestMul(NOF): 2*127 = 254
  1372. TestMul(NOF): 2*255 = 510
  1373. TestMul(NOF): 2*511 = 1022
  1374. TestMul(NOF): 2*1023 = 2046
  1375. TestMul(NOF): 2*2047 = 4094
  1376. TestMul(NOF): 2*4095 = 8190
  1377. TestMul(NOF): 2*8191 = 16382
  1378. TestMul(NOF): 2*16383 = 32766
  1379. TestMul(NOF): 3*3 = 9
  1380. TestMul(NOF): 3*7 = 21
  1381. TestMul(NOF): 3*15 = 45
  1382. TestMul(NOF): 3*31 = 93
  1383. TestMul(NOF): 3*63 = 189
  1384. TestMul(NOF): 3*127 = 381
  1385. TestMul(NOF): 3*255 = 765
  1386. TestMul(NOF): 3*511 = 1533
  1387. TestMul(NOF): 3*1023 = 3069
  1388. TestMul(NOF): 3*2047 = 6141
  1389. TestMul(NOF): 3*4095 = 12285
  1390. TestMul(NOF): 3*8191 = 24573
  1391. TestMul(NOF): 3*16383 = 49149
  1392. TestMul(NOF): 4*3 = 12
  1393. TestMul(NOF): 4*7 = 28
  1394. TestMul(NOF): 4*15 = 60
  1395. TestMul(NOF): 4*31 = 124
  1396. TestMul(NOF): 4*63 = 252
  1397. TestMul(NOF): 4*127 = 508
  1398. TestMul(NOF): 4*255 = 1020
  1399. TestMul(NOF): 4*511 = 2044
  1400. TestMul(NOF): 4*1023 = 4092
  1401. TestMul(NOF): 4*2047 = 8188
  1402. TestMul(NOF): 4*4095 = 16380
  1403. TestMul(NOF): 4*8191 = 32764
  1404. TestMul(NOF): 4*16383 = 65532
  1405. TestMul(NOF): 5*3 = 15
  1406. TestMul(NOF): 5*7 = 35
  1407. TestMul(NOF): 5*15 = 75
  1408. TestMul(NOF): 5*31 = 155
  1409. TestMul(NOF): 5*63 = 315
  1410. TestMul(NOF): 5*127 = 635
  1411. TestMul(NOF): 5*255 = 1275
  1412. TestMul(NOF): 5*511 = 2555
  1413. TestMul(NOF): 5*1023 = 5115
  1414. TestMul(NOF): 5*2047 = 10235
  1415. TestMul(NOF): 5*4095 = 20475
  1416. TestMul(NOF): 5*8191 = 40955
  1417. TestMul(NOF): 5*16383 = 81915
  1418. TestMul(NOF): 6*3 = 18
  1419. TestMul(NOF): 6*7 = 42
  1420. TestMul(NOF): 6*15 = 90
  1421. TestMul(NOF): 6*31 = 186
  1422. TestMul(NOF): 6*63 = 378
  1423. TestMul(NOF): 6*127 = 762
  1424. TestMul(NOF): 6*255 = 1530
  1425. TestMul(NOF): 6*511 = 3066
  1426. TestMul(NOF): 6*1023 = 6138
  1427. TestMul(NOF): 6*2047 = 12282
  1428. TestMul(NOF): 6*4095 = 24570
  1429. TestMul(NOF): 6*8191 = 49146
  1430. TestMul(NOF): 6*16383 = 98298
  1431. TestMul(NOF): 7*3 = 21
  1432. TestMul(NOF): 7*7 = 49
  1433. TestMul(NOF): 7*15 = 105
  1434. TestMul(NOF): 7*31 = 217
  1435. TestMul(NOF): 7*63 = 441
  1436. TestMul(NOF): 7*127 = 889
  1437. TestMul(NOF): 7*255 = 1785
  1438. TestMul(NOF): 7*511 = 3577
  1439. TestMul(NOF): 7*1023 = 7161
  1440. TestMul(NOF): 7*2047 = 14329
  1441. TestMul(NOF): 7*4095 = 28665
  1442. TestMul(NOF): 7*8191 = 57337
  1443. TestMul(NOF): 7*16383 = 114681
  1444. TestMul(NOF): 8*3 = 24
  1445. TestMul(NOF): 8*7 = 56
  1446. TestMul(NOF): 8*15 = 120
  1447. TestMul(NOF): 8*31 = 248
  1448. TestMul(NOF): 8*63 = 504
  1449. TestMul(NOF): 8*127 = 1016
  1450. TestMul(NOF): 8*255 = 2040
  1451. TestMul(NOF): 8*511 = 4088
  1452. TestMul(NOF): 8*1023 = 8184
  1453. TestMul(NOF): 8*2047 = 16376
  1454. TestMul(NOF): 8*4095 = 32760
  1455. TestMul(NOF): 8*8191 = 65528
  1456. TestMul(NOF): 8*16383 = 131064
  1457. TestMul(NOF): 9*3 = 27
  1458. TestMul(NOF): 9*7 = 63
  1459. TestMul(NOF): 9*15 = 135
  1460. TestMul(NOF): 9*31 = 279
  1461. TestMul(NOF): 9*63 = 567
  1462. TestMul(NOF): 9*127 = 1143
  1463. TestMul(NOF): 9*255 = 2295
  1464. TestMul(NOF): 9*511 = 4599
  1465. TestMul(NOF): 9*1023 = 9207
  1466. TestMul(NOF): 9*2047 = 18423
  1467. TestMul(NOF): 9*4095 = 36855
  1468. TestMul(NOF): 9*8191 = 73719
  1469. TestMul(NOF): 9*16383 = 147447
  1470. TestMulLarge done
  1471. TestRem: 10243%4 = 3
  1472. TestRem: 10243%8 = 3
  1473. TestRem: 10243%16 = 3
  1474. TestRem: 10243%32 = 3
  1475. TestRem: 10243%64 = 3
  1476. TestRem: 10243%128 = 3
  1477. TestRem: 10243%256 = 3
  1478. TestRem: 10243%512 = 3
  1479. TestRem: 10243%1024 = 3
  1480. TestRem: 10243%2048 = 3
  1481. TestRem: 10243%4096 = 2051
  1482. TestRem: 10243%8192 = 2051
  1483. TestRem: 10243%16384 = 10243
  1484. TestRem: -2238%4 = -2
  1485. TestRem: -2238%8 = -6
  1486. TestRem: -2238%16 = -14
  1487. TestRem: -2238%32 = -30
  1488. TestRem: -2238%64 = -62
  1489. TestRem: -2238%128 = -62
  1490. TestRem: -2238%256 = -190
  1491. TestRem: -2238%512 = -190
  1492. TestRem: -2238%1024 = -190
  1493. TestRem: -2238%2048 = -190
  1494. TestRem: -2238%4096 = -2238
  1495. TestRem: -2238%8192 = -2238
  1496. TestRem: -2238%16384 = -2238
  1497. TestRem: 324%4 = 0
  1498. TestRem: 324%8 = 4
  1499. TestRem: 324%16 = 4
  1500. TestRem: 324%32 = 4
  1501. TestRem: 324%64 = 4
  1502. TestRem: 324%128 = 68
  1503. TestRem: 324%256 = 68
  1504. TestRem: 324%512 = 324
  1505. TestRem: 324%1024 = 324
  1506. TestRem: 324%2048 = 324
  1507. TestRem: 324%4096 = 324
  1508. TestRem: 324%8192 = 324
  1509. TestRem: 324%16384 = 324
  1510. TestRem: -153%4 = -1
  1511. TestRem: -153%8 = -1
  1512. TestRem: -153%16 = -9
  1513. TestRem: -153%32 = -25
  1514. TestRem: -153%64 = -25
  1515. TestRem: -153%128 = -25
  1516. TestRem: -153%256 = -153
  1517. TestRem: -153%512 = -153
  1518. TestRem: -153%1024 = -153
  1519. TestRem: -153%2048 = -153
  1520. TestRem: -153%4096 = -153
  1521. TestRem: -153%8192 = -153
  1522. TestRem: -153%16384 = -153
  1523. TestRem: 449%4 = 1
  1524. TestRem: 449%8 = 1
  1525. TestRem: 449%16 = 1
  1526. TestRem: 449%32 = 1
  1527. TestRem: 449%64 = 1
  1528. TestRem: 449%128 = 65
  1529. TestRem: 449%256 = 193
  1530. TestRem: 449%512 = 449
  1531. TestRem: 449%1024 = 449
  1532. TestRem: 449%2048 = 449
  1533. TestRem: 449%4096 = 449
  1534. TestRem: 449%8192 = 449
  1535. TestRem: 449%16384 = 449
  1536. TestRem: -1042%4 = -2
  1537. TestRem: -1042%8 = -2
  1538. TestRem: -1042%16 = -2
  1539. TestRem: -1042%32 = -18
  1540. TestRem: -1042%64 = -18
  1541. TestRem: -1042%128 = -18
  1542. TestRem: -1042%256 = -18
  1543. TestRem: -1042%512 = -18
  1544. TestRem: -1042%1024 = -18
  1545. TestRem: -1042%2048 = -1042
  1546. TestRem: -1042%4096 = -1042
  1547. TestRem: -1042%8192 = -1042
  1548. TestRem: -1042%16384 = -1042
  1549. TestRem: 999%4 = 3
  1550. TestRem: 999%8 = 7
  1551. TestRem: 999%16 = 7
  1552. TestRem: 999%32 = 7
  1553. TestRem: 999%64 = 39
  1554. TestRem: 999%128 = 103
  1555. TestRem: 999%256 = 231
  1556. TestRem: 999%512 = 487
  1557. TestRem: 999%1024 = 999
  1558. TestRem: 999%2048 = 999
  1559. TestRem: 999%4096 = 999
  1560. TestRem: 999%8192 = 999
  1561. TestRem: 999%16384 = 999
  1562. TestRem: -4408%4 = 0
  1563. TestRem: -4408%8 = 0
  1564. TestRem: -4408%16 = -8
  1565. TestRem: -4408%32 = -24
  1566. TestRem: -4408%64 = -56
  1567. TestRem: -4408%128 = -56
  1568. TestRem: -4408%256 = -56
  1569. TestRem: -4408%512 = -312
  1570. TestRem: -4408%1024 = -312
  1571. TestRem: -4408%2048 = -312
  1572. TestRem: -4408%4096 = -312
  1573. TestRem: -4408%8192 = -4408
  1574. TestRem: -4408%16384 = -4408
  1575. TestRem: 1022%4 = 2
  1576. TestRem: 1022%8 = 6
  1577. TestRem: 1022%16 = 14
  1578. TestRem: 1022%32 = 30
  1579. TestRem: 1022%64 = 62
  1580. TestRem: 1022%128 = 126
  1581. TestRem: 1022%256 = 254
  1582. TestRem: 1022%512 = 510
  1583. TestRem: 1022%1024 = 1022
  1584. TestRem: 1022%2048 = 1022
  1585. TestRem: 1022%4096 = 1022
  1586. TestRem: 1022%8192 = 1022
  1587. TestRem: 1022%16384 = 1022
  1588. TestRem: -112%4 = 0
  1589. TestRem: -112%8 = 0
  1590. TestRem: -112%16 = 0
  1591. TestRem: -112%32 = -16
  1592. TestRem: -112%64 = -48
  1593. TestRem: -112%128 = -112
  1594. TestRem: -112%256 = -112
  1595. TestRem: -112%512 = -112
  1596. TestRem: -112%1024 = -112
  1597. TestRem: -112%2048 = -112
  1598. TestRem: -112%4096 = -112
  1599. TestRem: -112%8192 = -112
  1600. TestRem: -112%16384 = -112
  1601. TestRem: 10243%4 = 3
  1602. TestRem: 10243%8 = 3
  1603. TestRem: 10243%16 = 3
  1604. TestRem: 10243%32 = 3
  1605. TestRem: 10243%64 = 3
  1606. TestRem: 10243%128 = 3
  1607. TestRem: 10243%256 = 3
  1608. TestRem: 10243%512 = 3
  1609. TestRem: 10243%1024 = 3
  1610. TestRem: 10243%2048 = 3
  1611. TestRem: 10243%4096 = 2051
  1612. TestRem: 10243%8192 = 2051
  1613. TestRem: 10243%16384 = 10243
  1614. TestRem: -2238%4 = -2
  1615. TestRem: -2238%8 = -6
  1616. TestRem: -2238%16 = -14
  1617. TestRem: -2238%32 = -30
  1618. TestRem: -2238%64 = -62
  1619. TestRem: -2238%128 = -62
  1620. TestRem: -2238%256 = -190
  1621. TestRem: -2238%512 = -190
  1622. TestRem: -2238%1024 = -190
  1623. TestRem: -2238%2048 = -190
  1624. TestRem: -2238%4096 = -2238
  1625. TestRem: -2238%8192 = -2238
  1626. TestRem: -2238%16384 = -2238
  1627. TestRem: 324%4 = 0
  1628. TestRem: 324%8 = 4
  1629. TestRem: 324%16 = 4
  1630. TestRem: 324%32 = 4
  1631. TestRem: 324%64 = 4
  1632. TestRem: 324%128 = 68
  1633. TestRem: 324%256 = 68
  1634. TestRem: 324%512 = 324
  1635. TestRem: 324%1024 = 324
  1636. TestRem: 324%2048 = 324
  1637. TestRem: 324%4096 = 324
  1638. TestRem: 324%8192 = 324
  1639. TestRem: 324%16384 = 324
  1640. TestRem: -153%4 = -1
  1641. TestRem: -153%8 = -1
  1642. TestRem: -153%16 = -9
  1643. TestRem: -153%32 = -25
  1644. TestRem: -153%64 = -25
  1645. TestRem: -153%128 = -25
  1646. TestRem: -153%256 = -153
  1647. TestRem: -153%512 = -153
  1648. TestRem: -153%1024 = -153
  1649. TestRem: -153%2048 = -153
  1650. TestRem: -153%4096 = -153
  1651. TestRem: -153%8192 = -153
  1652. TestRem: -153%16384 = -153
  1653. TestRem: 449%4 = 1
  1654. TestRem: 449%8 = 1
  1655. TestRem: 449%16 = 1
  1656. TestRem: 449%32 = 1
  1657. TestRem: 449%64 = 1
  1658. TestRem: 449%128 = 65
  1659. TestRem: 449%256 = 193
  1660. TestRem: 449%512 = 449
  1661. TestRem: 449%1024 = 449
  1662. TestRem: 449%2048 = 449
  1663. TestRem: 449%4096 = 449
  1664. TestRem: 449%8192 = 449
  1665. TestRem: 449%16384 = 449
  1666. TestRem: -1042%4 = -2
  1667. TestRem: -1042%8 = -2
  1668. TestRem: -1042%16 = -2
  1669. TestRem: -1042%32 = -18
  1670. TestRem: -1042%64 = -18
  1671. TestRem: -1042%128 = -18
  1672. TestRem: -1042%256 = -18
  1673. TestRem: -1042%512 = -18
  1674. TestRem: -1042%1024 = -18
  1675. TestRem: -1042%2048 = -1042
  1676. TestRem: -1042%4096 = -1042
  1677. TestRem: -1042%8192 = -1042
  1678. TestRem: -1042%16384 = -1042
  1679. TestRem: 999%4 = 3
  1680. TestRem: 999%8 = 7
  1681. TestRem: 999%16 = 7
  1682. TestRem: 999%32 = 7
  1683. TestRem: 999%64 = 39
  1684. TestRem: 999%128 = 103
  1685. TestRem: 999%256 = 231
  1686. TestRem: 999%512 = 487
  1687. TestRem: 999%1024 = 999
  1688. TestRem: 999%2048 = 999
  1689. TestRem: 999%4096 = 999
  1690. TestRem: 999%8192 = 999
  1691. TestRem: 999%16384 = 999
  1692. TestRem: -4408%4 = 0
  1693. TestRem: -4408%8 = 0
  1694. TestRem: -4408%16 = -8
  1695. TestRem: -4408%32 = -24
  1696. TestRem: -4408%64 = -56
  1697. TestRem: -4408%128 = -56
  1698. TestRem: -4408%256 = -56
  1699. TestRem: -4408%512 = -312
  1700. TestRem: -4408%1024 = -312
  1701. TestRem: -4408%2048 = -312
  1702. TestRem: -4408%4096 = -312
  1703. TestRem: -4408%8192 = -4408
  1704. TestRem: -4408%16384 = -4408
  1705. TestRem: 1022%4 = 2
  1706. TestRem: 1022%8 = 6
  1707. TestRem: 1022%16 = 14
  1708. TestRem: 1022%32 = 30
  1709. TestRem: 1022%64 = 62
  1710. TestRem: 1022%128 = 126
  1711. TestRem: 1022%256 = 254
  1712. TestRem: 1022%512 = 510
  1713. TestRem: 1022%1024 = 1022
  1714. TestRem: 1022%2048 = 1022
  1715. TestRem: 1022%4096 = 1022
  1716. TestRem: 1022%8192 = 1022
  1717. TestRem: 1022%16384 = 1022
  1718. TestRem: -112%4 = 0
  1719. TestRem: -112%8 = 0
  1720. TestRem: -112%16 = 0
  1721. TestRem: -112%32 = -16
  1722. TestRem: -112%64 = -48
  1723. TestRem: -112%128 = -112
  1724. TestRem: -112%256 = -112
  1725. TestRem: -112%512 = -112
  1726. TestRem: -112%1024 = -112
  1727. TestRem: -112%2048 = -112
  1728. TestRem: -112%4096 = -112
  1729. TestRem: -112%8192 = -112
  1730. TestRem: -112%16384 = -112
  1731. TestRem done
  1732. e = 269517123
  1733. e = -269517123
  1734. e = 112298800
  1735. e = -112298800
  1736. e = 9826145
  1737. e = -9826145
  1738. e = 5965861
  1739. e = -5965861
  1740. e = 269517123
  1741. e = -269517123
  1742. e = 112298800
  1743. e = -112298800
  1744. e = 9826145
  1745. e = -9826145
  1746. e = 5965861
  1747. e = -5965861
  1748. Bug 326533 Test done