order-feasible pattern counts K=2..7: [0, 1, 6, 26, 98, 344]
1..6, K=4: |A|=6 dissociated 4-subset: None
1..7, K=4: |A|=7 dissociated 4-subset: (3, 5, 6, 7)
A*={1..10,12,13,15}, K=5: |A|=13 dissociated 5-subset: None
2A*, K=5: |A|=13 dissociated 5-subset: None
1..12, K=5: |A|=12 dissociated 5-subset: None
1..13, K=5: |A|=13 dissociated 5-subset: (3, 6, 11, 12, 13)
{1..21,24,25,27}, K=6: |A|=24 dissociated 6-subset: None
1..23, K=6: |A|=23 dissociated 6-subset: None
1..24, K=6: |A|=24 dissociated 6-subset: (11, 17, 20, 22, 23, 24)
{6,9,11,12,13} dissociated: True  {3,5,6,7}: True
all 15 four-subsets of {1..6} carry a {-1,0,1}-relation: OK
