Boolf prop/3-ary/atomvals

(The red circles correspond to the twin consul.)
Number of blocks: 8 Integer partition: 4⋅2 + 3⋅10 + 1⋅218
| # | atomvals | block |
|---|---|---|
| 2 | {} | [0, 255]
|
| 218 | {0, 1, 2} |
|
| 10 | {1, 2} | [3, 12, 48, 60, 63, 192, 195, 207, 243, 252]
|
| 10 | {0, 2} | [5, 10, 80, 90, 95, 160, 165, 175, 245, 250]
|
| 2 | {2} | [15, 240]
|
| 10 | {0, 1} | [17, 34, 68, 102, 119, 136, 153, 187, 221, 238]
|
| 2 | {1} | [51, 204]
|
| 2 | {0} | [85, 170]
|







