| 0.01 RED cost | 0.723924 DCT |
| 0.1 RED cost | 7.239238 DCT |
| 0.2 RED cost | 14.478476 DCT |
| 1 RED cost | 72.392382 DCT |
| 5 RED cost | 361.961911 DCT |
| 10 RED cost | 723.923823 DCT |
| 50 RED cost | 3,619.619114 DCT |
| 100 RED cost | 7,239.238229 DCT |
| 1000 RED cost | 72,392.382285 DCT |
| 10000 RED cost | 723,923.822853 DCT |
| 100000 RED cost | 7,239,238.228531 DCT |