Block[#]{# satisfying traces, # falsifying traces}
 0, 274, 4726
 1, 325, 4675
 2, 342, 4658
 3, 331, 4669
 4, 351, 4649
 5, 360, 4640
 6, 394, 4606
 7, 369, 4631
 8, 367, 4633
 9, 465, 4535
 10, 522, 4478
 11, 593, 4407
 12, 615, 4385
 13, 655, 4345
 14, 843, 4157
 15, 992, 4008
 16, 1054, 3946
 17, 1224, 3776
 18, 1333, 3667
 19, 1550, 3450
 20, 1672, 3328
 21, 1849, 3151
 22, 1990, 3010
 23, 2203, 2797
 24, 2400, 2600
 25, 2534, 2466
 26, 2769, 2231
 27, 2873, 2127
 28, 3063, 1937
 29, 3181, 1819
 30, 3392, 1608
 31, 3458, 1542
 32, 3606, 1394
 33, 3736, 1264
 34, 3822, 1178
 35, 3915, 1085
 36, 4024, 976
 37, 4079, 921
 38, 4189, 811
 39, 4206, 794
 40, 4293, 707
 41, 4320, 680
 42, 4370, 630
 43, 4424, 576
 44, 4471, 529
 45, 4521, 479
 46, 4566, 434
 47, 4624, 376
 48, 4614, 386
 49, 4680, 320
 50, 4679, 321
 51, 4708, 292
 52, 4694, 306
 53, 4740, 260
 54, 4751, 249
 55, 4779, 221
 56, 4755, 245
 57, 4783, 217
 58, 4788, 212
 59, 4805, 195
 60, 4803, 197
 61, 4796, 204
 62, 4819, 181
 63, 4826, 174
 64, 4836, 164
 65, 4835, 165
 66, 4855, 145
 67, 4863, 137
 68, 4829, 171
 69, 4850, 150
 70, 4847, 153
 71, 4847, 153
 72, 4868, 132
 73, 4873, 127
 74, 4873, 127
 75, 4863, 137
 76, 4877, 123
 77, 4871, 129
 78, 4886, 114
 79, 4870, 130
 80, 4899, 101
 81, 4865, 135
 82, 4875, 125
 83, 4864, 136
 84, 4881, 119
 85, 4880, 120
 86, 4863, 137
 87, 4886, 114
 88, 4879, 121
 89, 4891, 109
 90, 4864, 136
 91, 4859, 141
 92, 4878, 122
 93, 4894, 106
 94, 4883, 117
 95, 4875, 125
 96, 4915, 85
 97, 4899, 101
 98, 4894, 106
 99, 4888, 112
