# 0x10df8f weights computed using reference implementation 1 0x10df8f 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0x10df8f 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 3 0x10df8f 0 0 0 0 0 0 2 0 0 0 1 0 4 0 0 4 0x10df8f 0 0 0 0 0 0 3 0 0 0 2 0 8 0 2 5 0x10df8f 0 0 0 0 0 0 4 0 0 0 5 0 15 0 6 6 0x10df8f 0 0 0 0 0 0 6 0 1 0 9 0 31 0 12 7 0x10df8f 0 0 0 0 0 0 8 0 6 0 17 0 52 0 29 8 0x10df8f 0 0 0 0 0 0 10 0 13 0 33 0 92 0 63 9 0x10df8f 0 0 0 0 0 0 12 0 21 0 63 0 160 0 141 10 0x10df8f 0 0 0 0 0 0 14 0 33 0 115 0 280 0 289 11 0x10df8f 0 0 0 0 0 0 17 0 48 0 197 0 488 0 576 12 0x10df8f 0 0 0 0 0 0 20 0 74 0 316 0 816 0 1150 13 0x10df8f 0 0 0 0 0 0 23 0 111 0 511 0 1345 0 2152 14 0x10df8f 0 0 0 0 0 0 27 0 165 0 792 0 2194 0 3961 15 0x10df8f 0 0 0 0 0 0 32 0 238 0 1191 0 3555 0 7171 16 0x10df8f 0 0 0 0 0 0 38 0 336 0 1749 0 5750 0 12573 17 0x10df8f 0 0 0 0 0 0 47 0 459 0 2561 0 9136 0 21551 18 0x10df8f 0 0 0 0 0 0 61 0 605 0 3727 0 14246 0 36464 19 0x10df8f 0 0 0 0 0 0 78 0 789 0 5380 0 21896 0 60581 20 0x10df8f 0 0 0 0 0 0 99 0 1040 0 7628 0 33288 0 98968 21 0x10df8f 0 0 0 0 0 0 122 0 1364 0 10717 0 49962 0 159404 22 0x10df8f 0 0 0 0 0 0 149 0 1780 0 14851 0 74250 0 253373 23 0x10df8f 0 0 0 0 0 0 181 0 2288 0 20377 0 109219 0 397757 24 0x10df8f 0 0 0 0 0 0 217 0 2933 0 27777 0 158852 0 616566 25 0x10df8f 0 0 0 0 0 0 257 0 3754 0 37582 0 228442 0 945208 26 0x10df8f 0 0 0 0 0 0 303 0 4804 0 50399 0 325473 0 1432582 27 0x10df8f 0 0 0 0 1 0 358 0 6102 0 67086 0 459644 0 2148682 28 0x10df8f 0 0 0 0 2 0 422 0 7711 0 88743 0 643381 0 3190974 29 0x10df8f 0 0 0 0 3 0 502 0 9675 0 116644 0 893441 0 4693345 30 0x10df8f 0 0 0 0 5 0 596 0 12060 0 152350 0 1231675 0 6839575 31 0x10df8f 0 0 0 0 7 0 707 0 14918 0 197984 0 1685756 0 9879282 32 0x10df8f 0 0 0 0 9 0 834 0 18381 0 255914 0 2290971 0 14151106 33 0x10df8f 0 0 0 0 12 0 987 0 22519 34 0x10df8f 0 0 0 0 15 0 1153 0 27512 35 0x10df8f 0 0 0 0 19 0 1341 0 33516 36 0x10df8f 0 0 0 0 24 0 1566 0 40673 37 0x10df8f 0 0 0 0 31 0 1820 0 49127 38 0x10df8f 0 0 0 0 38 0 2103 0 59195 39 0x10df8f 0 0 0 0 46 0 2429 0 71099 40 0x10df8f 0 0 0 0 55 0 2797 0 85105 41 0x10df8f 0 0 0 0 65 0 3217 0 101496 42 0x10df8f 0 0 0 0 75 0 3693 0 120708 43 0x10df8f 0 0 0 0 86 0 4222 0 143201 44 0x10df8f 0 0 0 0 97 0 4823 0 169292 45 0x10df8f 0 0 0 0 108 0 5492 0 199571 46 0x10df8f 0 0 0 0 119 0 6246 0 234710 47 0x10df8f 0 0 0 0 133 0 7095 0 275296 48 0x10df8f 0 0 0 0 147 0 8039 0 322208 49 0x10df8f 0 0 0 0 161 0 9068 0 50 0x10df8f 0 0 0 0 176 0 10198 0 51 0x10df8f 0 0 0 0 192 0 11444 0 52 0x10df8f 0 0 0 0 208 0 12822 0 53 0x10df8f 0 0 0 0 227 0 14349 0 54 0x10df8f 0 0 0 0 246 0 16038 0 55 0x10df8f 0 0 0 0 266 0 17884 0 56 0x10df8f 0 0 0 0 288 0 19916 0 57 0x10df8f 0 0 0 0 311 0 22144 0 58 0x10df8f 0 0 0 0 334 0 24606 0 59 0x10df8f 0 0 0 0 359 0 27331 0 60 0x10df8f 0 0 0 0 386 0 30288 0 61 0x10df8f 0 0 0 0 414 0 33526 0 62 0x10df8f 0 0 0 0 447 0 37090 0 63 0x10df8f 0 0 0 0 482 0 40962 0 64 0x10df8f 0 0 0 0 518 0 45214 0