# CS617 Numeric C6 UFMT32DEC oracle

- Total cases: **255**
- Domain: all unsigned 32-bit values
- Expected text: Python `str(value)`
- Buffer representation: ASCII digits followed by NUL
- Input u32 must be preserved
- Random seed: `0x617006`

| # | value | expected | length |
|---:|---:|---|---:|
| 1 | `0` (`0x00000000`) | `0` | 1 |
| 2 | `1` (`0x00000001`) | `1` | 1 |
| 3 | `2` (`0x00000002`) | `2` | 1 |
| 4 | `3` (`0x00000003`) | `3` | 1 |
| 5 | `4` (`0x00000004`) | `4` | 1 |
| 6 | `5` (`0x00000005`) | `5` | 1 |
| 7 | `6` (`0x00000006`) | `6` | 1 |
| 8 | `7` (`0x00000007`) | `7` | 1 |
| 9 | `8` (`0x00000008`) | `8` | 1 |
| 10 | `9` (`0x00000009`) | `9` | 1 |
| 11 | `10` (`0x0000000A`) | `10` | 2 |
| 12 | `11` (`0x0000000B`) | `11` | 2 |
| 13 | `12` (`0x0000000C`) | `12` | 2 |
| 14 | `13` (`0x0000000D`) | `13` | 2 |
| 15 | `14` (`0x0000000E`) | `14` | 2 |
| 16 | `15` (`0x0000000F`) | `15` | 2 |
| 17 | `16` (`0x00000010`) | `16` | 2 |
| 18 | `17` (`0x00000011`) | `17` | 2 |
| 19 | `18` (`0x00000012`) | `18` | 2 |
| 20 | `19` (`0x00000013`) | `19` | 2 |
| 21 | `20` (`0x00000014`) | `20` | 2 |
| 22 | `42` (`0x0000002A`) | `42` | 2 |
| 23 | `99` (`0x00000063`) | `99` | 2 |
| 24 | `100` (`0x00000064`) | `100` | 3 |
| 25 | `101` (`0x00000065`) | `101` | 3 |
| 26 | `255` (`0x000000FF`) | `255` | 3 |
| 27 | `256` (`0x00000100`) | `256` | 3 |
| 28 | `999` (`0x000003E7`) | `999` | 3 |
| 29 | `1000` (`0x000003E8`) | `1000` | 4 |
| 30 | `1001` (`0x000003E9`) | `1001` | 4 |
| 31 | `9999` (`0x0000270F`) | `9999` | 4 |
| 32 | `10000` (`0x00002710`) | `10000` | 5 |
| 33 | `10001` (`0x00002711`) | `10001` | 5 |
| 34 | `99999` (`0x0001869F`) | `99999` | 5 |
| 35 | `100000` (`0x000186A0`) | `100000` | 6 |
| 36 | `100001` (`0x000186A1`) | `100001` | 6 |
| 37 | `999999` (`0x000F423F`) | `999999` | 6 |
| 38 | `1000000` (`0x000F4240`) | `1000000` | 7 |
| 39 | `1000001` (`0x000F4241`) | `1000001` | 7 |
| 40 | `9999999` (`0x0098967F`) | `9999999` | 7 |
| 41 | `10000000` (`0x00989680`) | `10000000` | 8 |
| 42 | `10000001` (`0x00989681`) | `10000001` | 8 |
| 43 | `99999999` (`0x05F5E0FF`) | `99999999` | 8 |
| 44 | `100000000` (`0x05F5E100`) | `100000000` | 9 |
| 45 | `100000001` (`0x05F5E101`) | `100000001` | 9 |
| 46 | `999999999` (`0x3B9AC9FF`) | `999999999` | 9 |
| 47 | `1000000000` (`0x3B9ACA00`) | `1000000000` | 10 |
| 48 | `1000000001` (`0x3B9ACA01`) | `1000000001` | 10 |
| 49 | `127` (`0x0000007F`) | `127` | 3 |
| 50 | `128` (`0x00000080`) | `128` | 3 |
| 51 | `32767` (`0x00007FFF`) | `32767` | 5 |
| 52 | `32768` (`0x00008000`) | `32768` | 5 |
| 53 | `65535` (`0x0000FFFF`) | `65535` | 5 |
| 54 | `65536` (`0x00010000`) | `65536` | 5 |
| 55 | `2147483647` (`0x7FFFFFFF`) | `2147483647` | 10 |
| 56 | `2147483648` (`0x80000000`) | `2147483648` | 10 |
| 57 | `4294967294` (`0xFFFFFFFE`) | `4294967294` | 10 |
| 58 | `4294967295` (`0xFFFFFFFF`) | `4294967295` | 10 |
| 59 | `305419896` (`0x12345678`) | `305419896` | 9 |
| 60 | `2309737967` (`0x89ABCDEF`) | `2309737967` | 10 |
| 61 | `16909060` (`0x01020304`) | `16909060` | 8 |
| 62 | `2779096485` (`0xA5A5A5A5`) | `2779096485` | 10 |
| 63 | `4294967290` (`0xFFFFFFFA`) | `4294967290` | 10 |
| 64 | `4294967291` (`0xFFFFFFFB`) | `4294967291` | 10 |
| 65 | `4294967292` (`0xFFFFFFFC`) | `4294967292` | 10 |
| 66 | `4294967293` (`0xFFFFFFFD`) | `4294967293` | 10 |
| 67 | `4166432757` (`0xF856B7F5`) | `4166432757` | 10 |
| 68 | `4008211345` (`0xEEE87391`) | `4008211345` | 10 |
| 69 | `1024492455` (`0x3D1083A7`) | `1024492455` | 10 |
| 70 | `3999092830` (`0xEE5D505E`) | `3999092830` | 10 |
| 71 | `2363290152` (`0x8CDCF228`) | `2363290152` | 10 |
| 72 | `2347732342` (`0x8BEF8D76`) | `2347732342` | 10 |
| 73 | `3619982860` (`0xD7C48E0C`) | `3619982860` | 10 |
| 74 | `2217571515` (`0x842D74BB`) | `2217571515` | 10 |
| 75 | `2348344499` (`0x8BF8E4B3`) | `2348344499` | 10 |
| 76 | `1549512045` (`0x5C5BAD6D`) | `1549512045` | 10 |
| 77 | `335287969` (`0x13FC16A1`) | `335287969` | 9 |
| 78 | `4237874777` (`0xFC98D659`) | `4237874777` | 10 |
| 79 | `1359691667` (`0x510B3F93`) | `1359691667` | 10 |
| 80 | `2673219577` (`0x9F5617F9`) | `2673219577` | 10 |
| 81 | `2263106205` (`0x86E4429D`) | `2263106205` | 10 |
| 82 | `3121886561` (`0xBA143561`) | `3121886561` | 10 |
| 83 | `356053246` (`0x1538F0FE`) | `356053246` | 9 |
| 84 | `2325826316` (`0x8AA14B0C`) | `2325826316` | 10 |
| 85 | `2210229818` (`0x83BD6E3A`) | `2210229818` | 10 |
| 86 | `2192161183` (`0x82A9B99F`) | `2192161183` | 10 |
| 87 | `3827056546` (`0xE41C3FA2`) | `3827056546` | 10 |
| 88 | `3236752868` (`0xC0ECEDE4`) | `3236752868` | 10 |
| 89 | `607633415` (`0x2437C007`) | `607633415` | 9 |
| 90 | `82646611` (`0x04ED1653`) | `82646611` | 8 |
| 91 | `1004009464` (`0x3BD7F7F8`) | `1004009464` | 10 |
| 92 | `1319800118` (`0x4EAA8D36`) | `1319800118` | 10 |
| 93 | `2543129949` (`0x9795155D`) | `2543129949` | 10 |
| 94 | `2297046475` (`0x88EA25CB`) | `2297046475` | 10 |
| 95 | `4019177227` (`0xEF8FC70B`) | `4019177227` | 10 |
| 96 | `3811898267` (`0xE334F39B`) | `3811898267` | 10 |
| 97 | `1791056932` (`0x6AC15C24`) | `1791056932` | 10 |
| 98 | `713366510` (`0x2A851BEE`) | `713366510` | 9 |
| 99 | `4005448659` (`0xEEBE4BD3`) | `4005448659` | 10 |
| 100 | `460824436` (`0x1B779F74`) | `460824436` | 9 |
| 101 | `272603191` (`0x103F9837`) | `272603191` | 9 |
| 102 | `770228131` (`0x2DE8BFA3`) | `770228131` | 9 |
| 103 | `3512976564` (`0xD163C4B4`) | `3512976564` | 10 |
| 104 | `1918277386` (`0x7256970A`) | `1918277386` | 10 |
| 105 | `2241694866` (`0x859D8C92`) | `2241694866` | 10 |
| 106 | `1771458905` (`0x69965159`) | `1771458905` | 10 |
| 107 | `2970228083` (`0xB10A1573`) | `2970228083` | 10 |
| 108 | `1927983276` (`0x72EAB0AC`) | `1927983276` | 10 |
| 109 | `444719843` (`0x1A81E2E3`) | `444719843` | 9 |
| 110 | `434638002` (`0x19E80CB2`) | `434638002` | 9 |
| 111 | `203515686` (`0x0C216726`) | `203515686` | 9 |
| 112 | `2554357036` (`0x9840652C`) | `2554357036` | 10 |
| 113 | `3237580355` (`0xC0F98E43`) | `3237580355` | 10 |
| 114 | `146013075` (`0x08B3FB93`) | `146013075` | 9 |
| 115 | `2933981702` (`0xAEE10206`) | `2933981702` | 10 |
| 116 | `943909958` (`0x3842EC46`) | `943909958` | 9 |
| 117 | `3144783395` (`0xBB719623`) | `3144783395` | 10 |
| 118 | `975779268` (`0x3A2935C4`) | `975779268` | 9 |
| 119 | `2566082911` (`0x98F3515F`) | `2566082911` | 10 |
| 120 | `3826423971` (`0xE41298A3`) | `3826423971` | 10 |
| 121 | `2966054910` (`0xB0CA67FE`) | `2966054910` | 10 |
| 122 | `1854495329` (`0x6E895A61`) | `1854495329` | 10 |
| 123 | `1730826582` (`0x672A5156`) | `1730826582` | 10 |
| 124 | `1986841564` (`0x766CCBDC`) | `1986841564` | 10 |
| 125 | `1781825022` (`0x6A347DFE`) | `1781825022` | 10 |
| 126 | `1617717064` (`0x606C6748`) | `1617717064` | 10 |
| 127 | `2257205954` (`0x868A3AC2`) | `2257205954` | 10 |
| 128 | `1144017199` (`0x4430512F`) | `1144017199` | 10 |
| 129 | `406319707` (`0x1837F25B`) | `406319707` | 9 |
| 130 | `842963531` (`0x323E9A4B`) | `842963531` | 9 |
| 131 | `3924271319` (`0xE9E7A0D7`) | `3924271319` | 10 |
| 132 | `3499300144` (`0xD0931530`) | `3499300144` | 10 |
| 133 | `2818200581` (`0xA7FA5405`) | `2818200581` | 10 |
| 134 | `2872378553` (`0xAB3504B9`) | `2872378553` | 10 |
| 135 | `767133743` (`0x2DB9882F`) | `767133743` | 9 |
| 136 | `2512228428` (`0x95BD904C`) | `2512228428` | 10 |
| 137 | `3416932018` (`0xCBAA3EB2`) | `3416932018` | 10 |
| 138 | `2566754701` (`0x98FD918D`) | `2566754701` | 10 |
| 139 | `796195245` (`0x2F74F9AD`) | `796195245` | 9 |
| 140 | `3032664763` (`0xB4C2CABB`) | `3032664763` | 10 |
| 141 | `1011472950` (`0x3C49DA36`) | `1011472950` | 10 |
| 142 | `1486131016` (`0x58948F48`) | `1486131016` | 10 |
| 143 | `1345292968` (`0x502F8AA8`) | `1345292968` | 10 |
| 144 | `3306824031` (`0xC51A215F`) | `3306824031` | 10 |
| 145 | `3198541777` (`0xBEA5DFD1`) | `3198541777` | 10 |
| 146 | `365311277` (`0x15C6352D`) | `365311277` | 9 |
| 147 | `1811752395` (`0x6BFD25CB`) | `1811752395` | 10 |
| 148 | `1464808755` (`0x574F3533`) | `1464808755` | 10 |
| 149 | `2540234432` (`0x9768E6C0`) | `2540234432` | 10 |
| 150 | `4157533254` (`0xF7CEEC46`) | `4157533254` | 10 |
| 151 | `2602589020` (`0x9B205B5C`) | `2602589020` | 10 |
| 152 | `929072236` (`0x3760846C`) | `929072236` | 9 |
| 153 | `4232196394` (`0xFC42312A`) | `4232196394` | 10 |
| 154 | `4243908107` (`0xFCF4E60B`) | `4243908107` | 10 |
| 155 | `3168472226` (`0xBCDB0CA2`) | `3168472226` | 10 |
| 156 | `121160022` (`0x0738C156`) | `121160022` | 9 |
| 157 | `1486175296` (`0x58953C40`) | `1486175296` | 10 |
| 158 | `3688606787` (`0xDBDBAC43`) | `3688606787` | 10 |
| 159 | `783239132` (`0x2EAF47DC`) | `783239132` | 9 |
| 160 | `3628952022` (`0xD84D69D6`) | `3628952022` | 10 |
| 161 | `357301171` (`0x154BFBB3`) | `357301171` | 9 |
| 162 | `2971062253` (`0xB116CFED`) | `2971062253` | 10 |
| 163 | `310819858` (`0x1286BC12`) | `310819858` | 9 |
| 164 | `2843003173` (`0xA974C925`) | `2843003173` | 10 |
| 165 | `1170923043` (`0x45CADE23`) | `1170923043` | 10 |
| 166 | `2686502124` (`0xA020C4EC`) | `2686502124` | 10 |
| 167 | `1095821345` (`0x4150E821`) | `1095821345` | 10 |
| 168 | `3291152565` (`0xC42B00B5`) | `3291152565` | 10 |
| 169 | `113546372` (`0x06C49484`) | `113546372` | 9 |
| 170 | `4189873418` (`0xF9BC650A`) | `4189873418` | 10 |
| 171 | `804545969` (`0x2FF465B1`) | `804545969` | 9 |
| 172 | `4138855092` (`0xF6B1EAB4`) | `4138855092` | 10 |
| 173 | `534993760` (`0x1FE35B60`) | `534993760` | 9 |
| 174 | `2273304226` (`0x877FDEA2`) | `2273304226` | 10 |
| 175 | `1370045482` (`0x51A93C2A`) | `1370045482` | 10 |
| 176 | `1513439111` (`0x5A353F87`) | `1513439111` | 10 |
| 177 | `2588000654` (`0x9A41C18E`) | `2588000654` | 10 |
| 178 | `2436956802` (`0x91410282`) | `2436956802` | 10 |
| 179 | `4283877175` (`0xFF56C737`) | `4283877175` | 10 |
| 180 | `4061031593` (`0xF20E6CA9`) | `4061031593` | 10 |
| 181 | `1350873398` (`0x5084B136`) | `1350873398` | 10 |
| 182 | `661959725` (`0x2774B42D`) | `661959725` | 9 |
| 183 | `2161991566` (`0x80DD5F8E`) | `2161991566` | 10 |
| 184 | `1953858046` (`0x747581FE`) | `1953858046` | 10 |
| 185 | `688719530` (`0x290D06AA`) | `688719530` | 9 |
| 186 | `15276926` (`0x00E91B7E`) | `15276926` | 8 |
| 187 | `826037826` (`0x313C5642`) | `826037826` | 9 |
| 188 | `465766638` (`0x1BC308EE`) | `465766638` | 9 |
| 189 | `2739773278` (`0xA34D9F5E`) | `2739773278` | 10 |
| 190 | `1652725298` (`0x62829632`) | `1652725298` | 10 |
| 191 | `1028296425` (`0x3D4A8EE9`) | `1028296425` | 10 |
| 192 | `1914097370` (`0x7216CEDA`) | `1914097370` | 10 |
| 193 | `1354005085` (`0x50B47A5D`) | `1354005085` | 10 |
| 194 | `1955536596` (`0x748F1ED4`) | `1955536596` | 10 |
| 195 | `2686374162` (`0xA01ED112`) | `2686374162` | 10 |
| 196 | `2630781950` (`0x9CCE8BFE`) | `2630781950` | 10 |
| 197 | `42025837` (`0x0281436D`) | `42025837` | 8 |
| 198 | `79952143` (`0x04C3F90F`) | `79952143` | 8 |
| 199 | `183444224` (`0x0AEF2300`) | `183444224` | 9 |
| 200 | `4009753147` (`0xEEFFFA3B`) | `4009753147` | 10 |
| 201 | `1739788223` (`0x67B30FBF`) | `1739788223` | 10 |
| 202 | `3486624772` (`0xCFD1AC04`) | `3486624772` | 10 |
| 203 | `2697085079` (`0xA0C24097`) | `2697085079` | 10 |
| 204 | `314770158` (`0x12C302EE`) | `314770158` | 9 |
| 205 | `1716405262` (`0x664E440E`) | `1716405262` | 10 |
| 206 | `417700785` (`0x18E59BB1`) | `417700785` | 9 |
| 207 | `2802631516` (`0xA70CC35C`) | `2802631516` | 10 |
| 208 | `2593083404` (`0x9A8F500C`) | `2593083404` | 10 |
| 209 | `854282146` (`0x32EB4FA2`) | `854282146` | 9 |
| 210 | `800160183` (`0x2FB179B7`) | `800160183` | 9 |
| 211 | `3621013887` (`0xD7D4497F`) | `3621013887` | 10 |
| 212 | `366624917` (`0x15DA4095`) | `366624917` | 9 |
| 213 | `2088250872` (`0x7C782DF8`) | `2088250872` | 10 |
| 214 | `3286731302` (`0xC3E78A26`) | `3286731302` | 10 |
| 215 | `2820724528` (`0xA820D730`) | `2820724528` | 10 |
| 216 | `1963771106` (`0x750CC4E2`) | `1963771106` | 10 |
| 217 | `466481515` (`0x1BCDF16B`) | `466481515` | 9 |
| 218 | `2881708356` (`0xABC36144`) | `2881708356` | 10 |
| 219 | `3432560774` (`0xCC98B886`) | `3432560774` | 10 |
| 220 | `2402663425` (`0x8F35BC01`) | `2402663425` | 10 |
| 221 | `838283561` (`0x31F73129`) | `838283561` | 9 |
| 222 | `2026264391` (`0x78C65747`) | `2026264391` | 10 |
| 223 | `1781215878` (`0x6A2B3286`) | `1781215878` | 10 |
| 224 | `2590433977` (`0x9A66E2B9`) | `2590433977` | 10 |
| 225 | `3088372736` (`0xB814D400`) | `3088372736` | 10 |
| 226 | `2311606818` (`0x89C85222`) | `2311606818` | 10 |
| 227 | `1278024083` (`0x4C2D1993`) | `1278024083` | 10 |
| 228 | `2345314805` (`0x8BCAA9F5`) | `2345314805` | 10 |
| 229 | `3126827850` (`0xBA5F9B4A`) | `3126827850` | 10 |
| 230 | `1748350459` (`0x6835B5FB`) | `1748350459` | 10 |
| 231 | `2675412388` (`0x9F778DA4`) | `2675412388` | 10 |
| 232 | `1567876950` (`0x5D73E756`) | `1567876950` | 10 |
| 233 | `2737890692` (`0xA330E584`) | `2737890692` | 10 |
| 234 | `939056919` (`0x37F8DF17`) | `939056919` | 9 |
| 235 | `1104586040` (`0x41D6A538`) | `1104586040` | 10 |
| 236 | `1781799293` (`0x6A34197D`) | `1781799293` | 10 |
| 237 | `3904689330` (`0xE8BCD4B2`) | `3904689330` | 10 |
| 238 | `2227963776` (`0x84CC0780`) | `2227963776` | 10 |
| 239 | `2471858082` (`0x93558FA2`) | `2471858082` | 10 |
| 240 | `4208010095` (`0xFAD1236F`) | `4208010095` | 10 |
| 241 | `2760090167` (`0xA483A237`) | `2760090167` | 10 |
| 242 | `3153958935` (`0xBBFD9817`) | `3153958935` | 10 |
| 243 | `4089851358` (`0xF3C62DDE`) | `4089851358` | 10 |
| 244 | `2199083074` (`0x83135842`) | `2199083074` | 10 |
| 245 | `940493551` (`0x380ECAEF`) | `940493551` | 9 |
| 246 | `3471496424` (`0xCEEAD4E8`) | `3471496424` | 10 |
| 247 | `2374644603` (`0x8D8A337B`) | `2374644603` | 10 |
| 248 | `356098257` (`0x1539A0D1`) | `356098257` | 9 |
| 249 | `1416476691` (`0x546DB813`) | `1416476691` | 10 |
| 250 | `3624733594` (`0xD80D0B9A`) | `3624733594` | 10 |
| 251 | `1087920624` (`0x40D859F0`) | `1087920624` | 10 |
| 252 | `261342381` (`0x0F93C4AD`) | `261342381` | 9 |
| 253 | `3319917890` (`0xC5E1ED42`) | `3319917890` | 10 |
| 254 | `1021794265` (`0x3CE757D9`) | `1021794265` | 10 |
| 255 | `2423057525` (`0x906CEC75`) | `2423057525` | 10 |