home *** CD-ROM | disk | FTP | other *** search
/ Freelog Special Freeware 31 / FreelogHS31.iso / Texte / scribus / scribus-1.3.3.9-win32-install.exe / lib / test / decimaltestdata / decimal64.decTest < prev    next >
Text File  |  2004-08-23  |  23KB  |  445 lines

  1. ------------------------------------------------------------------------
  2. -- decimal64.decTest -- decimal eight-byte format testcases           --
  3. -- Copyright (c) IBM Corporation, 2000, 2003.  All rights reserved.   --
  4. ------------------------------------------------------------------------
  5. -- Please see the document "General Decimal Arithmetic Testcases"     --
  6. -- at http://www2.hursley.ibm.com/decimal for the description of      --
  7. -- these testcases.                                                   --
  8. --                                                                    --
  9. -- These testcases are experimental ('beta' versions), and they       --
  10. -- may contain errors.  They are offered on an as-is basis.  In       --
  11. -- particular, achieving the same results as the tests here is not    --
  12. -- a guarantee that an implementation complies with any Standard      --
  13. -- or specification.  The tests are not exhaustive.                   --
  14. --                                                                    --
  15. -- Please send comments, suggestions, and corrections to the author:  --
  16. --   Mike Cowlishaw, IBM Fellow                                       --
  17. --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
  18. --   mfc@uk.ibm.com                                                   --
  19. ------------------------------------------------------------------------
  20. version: 2.39
  21.  
  22. -- This set of tests is for the eight-byte concrete representation.
  23. -- Its characteristics are:
  24. --
  25. --  1 bit  sign
  26. --  5 bits combination field
  27. --  8 bits exponent continuation
  28. -- 50 bits coefficient continuation
  29. --
  30. -- Total exponent length 10 bits
  31. -- Total coefficient length 54 bits (16 digits)
  32. --
  33. -- Elimit =  767 (maximum encoded exponent)
  34. -- Emax   =  384 (largest exponent value)
  35. -- Emin   = -383 (smallest exponent value)
  36. -- bias   =  398 (subtracted from encoded exponent) = -Etiny
  37.  
  38. extended:    1
  39. precision:   16
  40. rounding:    half_up
  41. maxExponent: 384
  42. minExponent: -383
  43.  
  44. -- General testcases
  45. -- (mostly derived from the Strawman 4 document and examples)
  46. dece001 apply   #A2300000000003D0 -> -7.50
  47. dece002 apply   -7.50             -> #A2300000000003D0
  48.  
  49. -- Normality
  50. dece010 apply   1234567890123456   -> #263934b9c1e28e56
  51. dece011 apply   1234567890123456.0 -> #263934b9c1e28e56 Rounded
  52. dece012 apply   1234567890123456.1 -> #263934b9c1e28e56 Rounded Inexact
  53. dece013 apply  -1234567890123456   -> #a63934b9c1e28e56
  54. dece014 apply  -1234567890123456.0 -> #a63934b9c1e28e56 Rounded
  55. dece015 apply  -1234567890123456.1 -> #a63934b9c1e28e56 Rounded Inexact
  56.  
  57.  
  58. -- Nmax and similar
  59. dece022 apply   9.999999999999999E+384  -> #77fcff3fcff3fcff
  60. dece023 apply   #77fcff3fcff3fcff       -> 9.999999999999999E+384
  61. dece024 apply   1.234567890123456E+384  -> #47fd34b9c1e28e56
  62. dece025 apply   #47fd34b9c1e28e56       -> 1.234567890123456E+384
  63. -- fold-downs (more below)
  64. dece030 apply   1.23E+384               -> #47fd300000000000 Clamped
  65. dece031 apply   #47fd300000000000       -> 1.230000000000000E+384
  66. dece032 apply   1E+384                  -> #47fc000000000000 Clamped
  67. dece033 apply   #47fc000000000000       -> 1.000000000000000E+384
  68.  
  69. -- overflows
  70. maxExponent: 999   -- set high so conversion causes the overflow
  71. minExponent: -999
  72. dece040 apply   10E+384                 -> #7800000000000000 Overflow Rounded Inexact
  73. dece041 apply   1.000000000000000E+385  -> #7800000000000000 Overflow Rounded Inexact
  74. maxExponent: 384
  75. minExponent: -383
  76.  
  77. dece051 apply   12345                   -> #22380000000049c5
  78. dece052 apply   #22380000000049c5       -> 12345
  79. dece053 apply   1234                    -> #2238000000000534
  80. dece054 apply   #2238000000000534       -> 1234
  81. dece055 apply   123                     -> #22380000000000a3
  82. dece056 apply   #22380000000000a3       -> 123
  83. dece057 apply   12                      -> #2238000000000012
  84. dece058 apply   #2238000000000012       -> 12
  85. dece059 apply   1                       -> #2238000000000001
  86. dece060 apply   #2238000000000001       -> 1
  87. dece061 apply   1.23                    -> #22300000000000a3
  88. dece062 apply   #22300000000000a3       -> 1.23
  89. dece063 apply   123.45                  -> #22300000000049c5
  90. dece064 apply   #22300000000049c5       -> 123.45
  91.  
  92. -- Nmin and below
  93. dece071 apply   1E-383                  -> #003c000000000001
  94. dece072 apply   #003c000000000001       -> 1E-383
  95. dece073 apply   1.000000000000000E-383  -> #0400000000000000
  96. dece074 apply   #0400000000000000       -> 1.000000000000000E-383
  97. dece075 apply   1.000000000000001E-383  -> #0400000000000001
  98. dece076 apply   #0400000000000001       -> 1.000000000000001E-383
  99.  
  100. dece077 apply   0.100000000000000E-383  -> #0000800000000000      Subnormal
  101. dece078 apply   #0000800000000000       -> 1.00000000000000E-384  Subnormal
  102. dece079 apply   0.000000000000010E-383  -> #0000000000000010      Subnormal
  103. dece080 apply   #0000000000000010       -> 1.0E-397               Subnormal
  104. dece081 apply   0.00000000000001E-383   -> #0004000000000001      Subnormal
  105. dece082 apply   #0004000000000001       -> 1E-397                 Subnormal
  106. dece083 apply   0.000000000000001E-383  -> #0000000000000001      Subnormal
  107. dece084 apply   #0000000000000001       -> 1E-398                 Subnormal
  108.  
  109. -- underflows
  110. dece090 apply   1e-398                  -> #0000000000000001  Subnormal
  111. dece091 apply   1.9e-398                -> #0000000000000002  Subnormal Underflow Inexact Rounded
  112. dece092 apply   1.1e-398                -> #0000000000000001  Subnormal Underflow Inexact Rounded
  113. dece093 apply   1.00000000001e-398      -> #0000000000000001  Subnormal Underflow Inexact Rounded
  114. dece094 apply   1.00000000000001e-398   -> #0000000000000001  Subnormal Underflow Inexact Rounded
  115. dece095 apply   1.000000000000001e-398  -> #0000000000000001  Subnormal Underflow Inexact Rounded
  116. dece096 apply   0.1e-398                -> #0000000000000000  Subnormal Underflow Inexact Rounded
  117. dece097 apply   0.00000000001e-398      -> #0000000000000000  Subnormal Underflow Inexact Rounded
  118. dece098 apply   0.00000000000001e-398   -> #0000000000000000  Subnormal Underflow Inexact Rounded
  119. dece099 apply   0.000000000000001e-398  -> #0000000000000000  Subnormal Underflow Inexact Rounded
  120.  
  121. -- Same again, negatives
  122. -- Nmax and similar
  123. dece122 apply  -9.999999999999999E+384  -> #f7fcff3fcff3fcff
  124. dece123 apply   #f7fcff3fcff3fcff       -> -9.999999999999999E+384
  125. dece124 apply  -1.234567890123456E+384  -> #c7fd34b9c1e28e56
  126. dece125 apply   #c7fd34b9c1e28e56       -> -1.234567890123456E+384
  127. -- fold-downs (more below)
  128. dece130 apply  -1.23E+384               -> #c7fd300000000000 Clamped
  129. dece131 apply   #c7fd300000000000       -> -1.230000000000000E+384
  130. dece132 apply  -1E+384                  -> #c7fc000000000000 Clamped
  131. dece133 apply   #c7fc000000000000       -> -1.000000000000000E+384
  132.  
  133. -- overflows
  134. maxExponent: 999   -- set high so conversion causes the overflow
  135. minExponent: -999
  136. dece140 apply  -10E+384                 -> #f800000000000000 Overflow Rounded Inexact
  137. dece141 apply  -1.000000000000000E+385  -> #f800000000000000 Overflow Rounded Inexact
  138. maxExponent: 384
  139. minExponent: -383
  140.  
  141. dece151 apply  -12345                   -> #a2380000000049c5
  142. dece152 apply   #a2380000000049c5       -> -12345
  143. dece153 apply  -1234                    -> #a238000000000534
  144. dece154 apply   #a238000000000534       -> -1234
  145. dece155 apply  -123                     -> #a2380000000000a3
  146. dece156 apply   #a2380000000000a3       -> -123
  147. dece157 apply  -12                      -> #a238000000000012
  148. dece158 apply   #a238000000000012       -> -12
  149. dece159 apply  -1                       -> #a238000000000001
  150. dece160 apply   #a238000000000001       -> -1
  151. dece161 apply  -1.23                    -> #a2300000000000a3
  152. dece162 apply   #a2300000000000a3       -> -1.23
  153. dece163 apply  -123.45                  -> #a2300000000049c5
  154. dece164 apply   #a2300000000049c5       -> -123.45
  155.  
  156. -- Nmin and below
  157. dece171 apply  -1E-383                  -> #803c000000000001
  158. dece172 apply   #803c000000000001       -> -1E-383
  159. dece173 apply  -1.000000000000000E-383  -> #8400000000000000
  160. dece174 apply   #8400000000000000       -> -1.000000000000000E-383
  161. dece175 apply  -1.000000000000001E-383  -> #8400000000000001
  162. dece176 apply   #8400000000000001       -> -1.000000000000001E-383
  163.  
  164. dece177 apply  -0.100000000000000E-383  -> #8000800000000000       Subnormal
  165. dece178 apply   #8000800000000000       -> -1.00000000000000E-384  Subnormal
  166. dece179 apply  -0.000000000000010E-383  -> #8000000000000010       Subnormal
  167. dece180 apply   #8000000000000010       -> -1.0E-397               Subnormal
  168. dece181 apply  -0.00000000000001E-383   -> #8004000000000001       Subnormal
  169. dece182 apply   #8004000000000001       -> -1E-397                 Subnormal
  170. dece183 apply  -0.000000000000001E-383  -> #8000000000000001       Subnormal
  171. dece184 apply   #8000000000000001       -> -1E-398                 Subnormal
  172.  
  173. -- underflows
  174. dece189 apply   -1e-398                 -> #8000000000000001  Subnormal
  175. dece190 apply   -1.0e-398               -> #8000000000000001  Subnormal Rounded
  176. dece191 apply   -1.9e-398               -> #8000000000000002  Subnormal Underflow Inexact Rounded
  177. dece192 apply   -1.1e-398               -> #8000000000000001  Subnormal Underflow Inexact Rounded
  178. dece193 apply   -1.00000000001e-398     -> #8000000000000001  Subnormal Underflow Inexact Rounded
  179. dece194 apply   -1.00000000000001e-398  -> #8000000000000001  Subnormal Underflow Inexact Rounded
  180. dece195 apply   -1.000000000000001e-398 -> #8000000000000001  Subnormal Underflow Inexact Rounded
  181. dece196 apply   -0.1e-398               -> #8000000000000000  Subnormal Underflow Inexact Rounded
  182. dece197 apply   -0.00000000001e-398     -> #8000000000000000  Subnormal Underflow Inexact Rounded
  183. dece198 apply   -0.00000000000001e-398  -> #8000000000000000  Subnormal Underflow Inexact Rounded
  184. dece199 apply   -0.000000000000001e-398 -> #8000000000000000  Subnormal Underflow Inexact Rounded
  185.  
  186. -- zeros
  187. dece401 apply   0E-500                  -> #0000000000000000  Clamped
  188. dece402 apply   0E-400                  -> #0000000000000000  Clamped
  189. dece403 apply   0E-398                  -> #0000000000000000
  190. dece404 apply   #0000000000000000       -> 0E-398
  191. dece405 apply   0.000000000000000E-383  -> #0000000000000000
  192. dece406 apply   #0000000000000000       -> 0E-398
  193. dece407 apply   0E-2                    -> #2230000000000000
  194. dece408 apply   #2230000000000000       -> 0.00
  195. dece409 apply   0                       -> #2238000000000000
  196. dece410 apply   #2238000000000000       -> 0
  197. dece411 apply   0E+3                    -> #2244000000000000
  198. dece412 apply   #2244000000000000       -> 0E+3
  199. dece413 apply   0E+369                  -> #43fc000000000000
  200. dece414 apply   #43fc000000000000       -> 0E+369
  201. -- clamped zeros...
  202. dece415 apply   0E+370                  -> #43fc000000000000  Clamped
  203. dece416 apply   #43fc000000000000       -> 0E+369
  204. dece417 apply   0E+384                  -> #43fc000000000000  Clamped
  205. dece418 apply   #43fc000000000000       -> 0E+369
  206. dece419 apply   0E+400                  -> #43fc000000000000  Clamped
  207. dece420 apply   #43fc000000000000       -> 0E+369
  208. dece421 apply   0E+500                  -> #43fc000000000000  Clamped
  209. dece422 apply   #43fc000000000000       -> 0E+369
  210.  
  211. -- negative zeros
  212. dece431 apply   -0E-400                 -> #8000000000000000  Clamped
  213. dece432 apply   -0E-400                 -> #8000000000000000  Clamped
  214. dece433 apply   -0E-398                 -> #8000000000000000
  215. dece434 apply   #8000000000000000       -> -0E-398
  216. dece435 apply   -0.000000000000000E-383 -> #8000000000000000
  217. dece436 apply   #8000000000000000       -> -0E-398
  218. dece437 apply   -0E-2                   -> #a230000000000000
  219. dece438 apply   #a230000000000000       -> -0.00
  220. dece439 apply   -0                      -> #a238000000000000
  221. dece440 apply   #a238000000000000       -> -0
  222. dece441 apply   -0E+3                   -> #a244000000000000
  223. dece442 apply   #a244000000000000       -> -0E+3
  224. dece443 apply   -0E+369                 -> #c3fc000000000000
  225. dece444 apply   #c3fc000000000000       -> -0E+369
  226. -- clamped zeros...
  227. dece445 apply   -0E+370                 -> #c3fc000000000000  Clamped
  228. dece446 apply   #c3fc000000000000       -> -0E+369
  229. dece447 apply   -0E+384                 -> #c3fc000000000000  Clamped
  230. dece448 apply   #c3fc000000000000       -> -0E+369
  231. dece449 apply   -0E+400                 -> #c3fc000000000000  Clamped
  232. dece450 apply   #c3fc000000000000       -> -0E+369
  233. dece451 apply   -0E+500                 -> #c3fc000000000000  Clamped
  234. dece452 apply   #c3fc000000000000       -> -0E+369
  235.  
  236. -- Specials
  237. dece500 apply   Infinity          -> #7800000000000000
  238. dece501 apply   #7878787878787878 -> #7800000000000000
  239. dece502 apply   #7800000000000000 -> Infinity
  240. dece503 apply   #7979797979797979 -> #7800000000000000
  241. dece504 apply   #7900000000000000 -> Infinity
  242. dece505 apply   #7a7a7a7a7a7a7a7a -> #7800000000000000
  243. dece506 apply   #7a00000000000000 -> Infinity
  244. dece507 apply   #7b7b7b7b7b7b7b7b -> #7800000000000000
  245. dece508 apply   #7b00000000000000 -> Infinity
  246.  
  247. dece509 apply   NaN               -> #7c00000000000000
  248. dece510 apply   #7c7c7c7c7c7c7c7c -> #7c007c7c7c7c7c7c
  249. dece511 apply   #7c00000000000000 -> NaN
  250. dece512 apply   #7d7d7d7d7d7d7d7d -> #7c017d7d7d7d7d7d
  251. dece513 apply   #7d00000000000000 -> NaN
  252. dece514 apply   #7e7e7e7e7e7e7e7e -> #7e007e7e7e7e7c7e
  253. dece515 apply   #7e00000000000000 -> sNaN
  254. dece516 apply   #7f7f7f7f7f7f7f7f -> #7e007f7f7f7f7c7f
  255. dece517 apply   #7f00000000000000 -> sNaN
  256. dece518 apply   #7fffffffffffffff -> sNaN999999999999999
  257. dece519 apply   #7fffffffffffffff -> #7e00ff3fcff3fcff
  258.  
  259. dece520 apply   -Infinity         -> #f800000000000000
  260. dece521 apply   #f878787878787878 -> #f800000000000000
  261. dece522 apply   #f800000000000000 -> -Infinity
  262. dece523 apply   #f979797979797979 -> #f800000000000000
  263. dece524 apply   #f900000000000000 -> -Infinity
  264. dece525 apply   #fa7a7a7a7a7a7a7a -> #f800000000000000
  265. dece526 apply   #fa00000000000000 -> -Infinity
  266. dece527 apply   #fb7b7b7b7b7b7b7b -> #f800000000000000
  267. dece528 apply   #fb00000000000000 -> -Infinity
  268.  
  269. dece529 apply   -NaN              -> #fc00000000000000
  270. dece530 apply   #fc7c7c7c7c7c7c7c -> #fc007c7c7c7c7c7c
  271. dece531 apply   #fc00000000000000 -> -NaN
  272. dece532 apply   #fd7d7d7d7d7d7d7d -> #fc017d7d7d7d7d7d
  273. dece533 apply   #fd00000000000000 -> -NaN
  274. dece534 apply   #fe7e7e7e7e7e7e7e -> #fe007e7e7e7e7c7e
  275. dece535 apply   #fe00000000000000 -> -sNaN
  276. dece536 apply   #ff7f7f7f7f7f7f7f -> #fe007f7f7f7f7c7f
  277. dece537 apply   #ff00000000000000 -> -sNaN
  278. dece538 apply   #ffffffffffffffff -> -sNaN999999999999999
  279. dece539 apply   #ffffffffffffffff -> #fe00ff3fcff3fcff
  280.  
  281. -- diagnostic NaNs
  282. dece540 apply   NaN                 -> #7c00000000000000
  283. dece541 apply   NaN0                -> #7c00000000000000
  284. dece542 apply   NaN1                -> #7c00000000000001
  285. dece543 apply   NaN12               -> #7c00000000000012
  286. dece544 apply   NaN79               -> #7c00000000000079
  287. dece545 apply   NaN12345            -> #7c000000000049c5
  288. dece546 apply   NaN123456           -> #7c00000000028e56
  289. dece547 apply   NaN799799           -> #7c000000000f7fdf
  290. dece548 apply   NaN799799799799799  -> #7c03dff7fdff7fdf
  291. dece549 apply   NaN999999999999999  -> #7c00ff3fcff3fcff
  292. dece550 apply   NaN1234567890123456 -> #7c00000000000000  -- too many digits
  293.  
  294. -- fold-down full sequence
  295. dece601 apply   1E+384                  -> #47fc000000000000 Clamped
  296. dece602 apply   #47fc000000000000       -> 1.000000000000000E+384
  297. dece603 apply   1E+383                  -> #43fc800000000000 Clamped
  298. dece604 apply   #43fc800000000000       -> 1.00000000000000E+383
  299. dece605 apply   1E+382                  -> #43fc100000000000 Clamped
  300. dece606 apply   #43fc100000000000       -> 1.0000000000000E+382
  301. dece607 apply   1E+381                  -> #43fc010000000000 Clamped
  302. dece608 apply   #43fc010000000000       -> 1.000000000000E+381
  303. dece609 apply   1E+380                  -> #43fc002000000000 Clamped
  304. dece610 apply   #43fc002000000000       -> 1.00000000000E+380
  305. dece611 apply   1E+379                  -> #43fc000400000000 Clamped
  306. dece612 apply   #43fc000400000000       -> 1.0000000000E+379
  307. dece613 apply   1E+378                  -> #43fc000040000000 Clamped
  308. dece614 apply   #43fc000040000000       -> 1.000000000E+378
  309. dece615 apply   1E+377                  -> #43fc000008000000 Clamped
  310. dece616 apply   #43fc000008000000       -> 1.00000000E+377
  311. dece617 apply   1E+376                  -> #43fc000001000000 Clamped
  312. dece618 apply   #43fc000001000000       -> 1.0000000E+376
  313. dece619 apply   1E+375                  -> #43fc000000100000 Clamped
  314. dece620 apply   #43fc000000100000       -> 1.000000E+375
  315. dece621 apply   1E+374                  -> #43fc000000020000 Clamped
  316. dece622 apply   #43fc000000020000       -> 1.00000E+374
  317. dece623 apply   1E+373                  -> #43fc000000004000 Clamped
  318. dece624 apply   #43fc000000004000       -> 1.0000E+373
  319. dece625 apply   1E+372                  -> #43fc000000000400 Clamped
  320. dece626 apply   #43fc000000000400       -> 1.000E+372
  321. dece627 apply   1E+371                  -> #43fc000000000080 Clamped
  322. dece628 apply   #43fc000000000080       -> 1.00E+371
  323. dece629 apply   1E+370                  -> #43fc000000000010 Clamped
  324. dece630 apply   #43fc000000000010       -> 1.0E+370
  325. dece631 apply   1E+369                  -> #43fc000000000001
  326. dece632 apply   #43fc000000000001       -> 1E+369
  327. dece633 apply   1E+368                  -> #43f8000000000001
  328. dece634 apply   #43f8000000000001       -> 1E+368
  329. -- same with 9s
  330. dece641 apply   9E+384                  -> #77fc000000000000 Clamped
  331. dece642 apply   #77fc000000000000       -> 9.000000000000000E+384
  332. dece643 apply   9E+383                  -> #43fc8c0000000000 Clamped
  333. dece644 apply   #43fc8c0000000000       -> 9.00000000000000E+383
  334. dece645 apply   9E+382                  -> #43fc1a0000000000 Clamped
  335. dece646 apply   #43fc1a0000000000       -> 9.0000000000000E+382
  336. dece647 apply   9E+381                  -> #43fc090000000000 Clamped
  337. dece648 apply   #43fc090000000000       -> 9.000000000000E+381
  338. dece649 apply   9E+380                  -> #43fc002300000000 Clamped
  339. dece650 apply   #43fc002300000000       -> 9.00000000000E+380
  340. dece651 apply   9E+379                  -> #43fc000680000000 Clamped
  341. dece652 apply   #43fc000680000000       -> 9.0000000000E+379
  342. dece653 apply   9E+378                  -> #43fc000240000000 Clamped
  343. dece654 apply   #43fc000240000000       -> 9.000000000E+378
  344. dece655 apply   9E+377                  -> #43fc000008c00000 Clamped
  345. dece656 apply   #43fc000008c00000       -> 9.00000000E+377
  346. dece657 apply   9E+376                  -> #43fc000001a00000 Clamped
  347. dece658 apply   #43fc000001a00000       -> 9.0000000E+376
  348. dece659 apply   9E+375                  -> #43fc000000900000 Clamped
  349. dece660 apply   #43fc000000900000       -> 9.000000E+375
  350. dece661 apply   9E+374                  -> #43fc000000023000 Clamped
  351. dece662 apply   #43fc000000023000       -> 9.00000E+374
  352. dece663 apply   9E+373                  -> #43fc000000006800 Clamped
  353. dece664 apply   #43fc000000006800       -> 9.0000E+373
  354. dece665 apply   9E+372                  -> #43fc000000002400 Clamped
  355. dece666 apply   #43fc000000002400       -> 9.000E+372
  356. dece667 apply   9E+371                  -> #43fc00000000008c Clamped
  357. dece668 apply   #43fc00000000008c       -> 9.00E+371
  358. dece669 apply   9E+370                  -> #43fc00000000001a Clamped
  359. dece670 apply   #43fc00000000001a       -> 9.0E+370
  360. dece671 apply   9E+369                  -> #43fc000000000009
  361. dece672 apply   #43fc000000000009       -> 9E+369
  362. dece673 apply   9E+368                  -> #43f8000000000009
  363. dece674 apply   #43f8000000000009       -> 9E+368
  364.  
  365.  
  366. -- Selected DPD codes
  367. dece700 apply   #2238000000000000       -> 0
  368. dece701 apply   #2238000000000009       -> 9
  369. dece702 apply   #2238000000000010       -> 10
  370. dece703 apply   #2238000000000019       -> 19
  371. dece704 apply   #2238000000000020       -> 20
  372. dece705 apply   #2238000000000029       -> 29
  373. dece706 apply   #2238000000000030       -> 30
  374. dece707 apply   #2238000000000039       -> 39
  375. dece708 apply   #2238000000000040       -> 40
  376. dece709 apply   #2238000000000049       -> 49
  377. dece710 apply   #2238000000000050       -> 50
  378. dece711 apply   #2238000000000059       -> 59
  379. dece712 apply   #2238000000000060       -> 60
  380. dece713 apply   #2238000000000069       -> 69
  381. dece714 apply   #2238000000000070       -> 70
  382. dece715 apply   #2238000000000071       -> 71
  383. dece716 apply   #2238000000000072       -> 72
  384. dece717 apply   #2238000000000073       -> 73
  385. dece718 apply   #2238000000000074       -> 74
  386. dece719 apply   #2238000000000075       -> 75
  387. dece720 apply   #2238000000000076       -> 76
  388. dece721 apply   #2238000000000077       -> 77
  389. dece722 apply   #2238000000000078       -> 78
  390. dece723 apply   #2238000000000079       -> 79
  391.  
  392. dece730 apply   #223800000000029e       -> 994
  393. dece731 apply   #223800000000029f       -> 995
  394. dece732 apply   #22380000000002a0       -> 520
  395. dece733 apply   #22380000000002a1       -> 521
  396.  
  397. -- DPD: one of each of the huffman groups
  398. dece740 apply   #22380000000003f7       -> 777
  399. dece741 apply   #22380000000003f8       -> 778
  400. dece742 apply   #22380000000003eb       -> 787
  401. dece743 apply   #223800000000037d       -> 877
  402. dece744 apply   #223800000000039f       -> 997
  403. dece745 apply   #22380000000003bf       -> 979
  404. dece746 apply   #22380000000003df       -> 799
  405. dece747 apply   #223800000000006e       -> 888
  406.  
  407.  
  408. -- DPD all-highs cases (includes the 24 redundant codes)
  409. dece750 apply   #223800000000006e       -> 888
  410. dece751 apply   #223800000000016e       -> 888
  411. dece752 apply   #223800000000026e       -> 888
  412. dece753 apply   #223800000000036e       -> 888
  413. dece754 apply   #223800000000006f       -> 889
  414. dece755 apply   #223800000000016f       -> 889
  415. dece756 apply   #223800000000026f       -> 889
  416. dece757 apply   #223800000000036f       -> 889
  417.  
  418. dece760 apply   #223800000000007e       -> 898
  419. dece761 apply   #223800000000017e       -> 898
  420. dece762 apply   #223800000000027e       -> 898
  421. dece763 apply   #223800000000037e       -> 898
  422. dece764 apply   #223800000000007f       -> 899
  423. dece765 apply   #223800000000017f       -> 899
  424. dece766 apply   #223800000000027f       -> 899
  425. dece767 apply   #223800000000037f       -> 899
  426.  
  427. dece770 apply   #22380000000000ee       -> 988
  428. dece771 apply   #22380000000001ee       -> 988
  429. dece772 apply   #22380000000002ee       -> 988
  430. dece773 apply   #22380000000003ee       -> 988
  431. dece774 apply   #22380000000000ef       -> 989
  432. dece775 apply   #22380000000001ef       -> 989
  433. dece776 apply   #22380000000002ef       -> 989
  434. dece777 apply   #22380000000003ef       -> 989
  435.  
  436. dece780 apply   #22380000000000fe       -> 998
  437. dece781 apply   #22380000000001fe       -> 998
  438. dece782 apply   #22380000000002fe       -> 998
  439. dece783 apply   #22380000000003fe       -> 998
  440. dece784 apply   #22380000000000ff       -> 999
  441. dece785 apply   #22380000000001ff       -> 999
  442. dece786 apply   #22380000000002ff       -> 999
  443. dece787 apply   #22380000000003ff       -> 999
  444.  
  445.