Catalog of Point Configurations

The following table shows the number of abstract order types. Data can be accessed by clicking on the corresponding number (if available):

  card = 2 card = 3 card = 4 card = 5 card = 6 card = 7 card = 8 card = 9 card = 10
rank = 2 1 1 1 1 1 1 1 1 1
rank = 3 (dim = 2) 1 3 11 93 2 121 122 508 15 296 266 unknown
rank = 4 (dim = 3) 1 5 55 5 083 10 775 236 unknown unknown
rank = 5 (dim = 4) 1 8 204 505 336 unknown unknown
rank = 6 (dim = 5) 1 11 705 unknown unknown
rank = 7 (dim = 6) 1 15 2 293 unknown
rank = 8 (dim = 7) 1 19 7 377
rank = 9 (dim = 8) 1 24
rank = 10 (dim = 9) 1

Cardinality = 7, rank = 4 (dimension = 3)

RevLex-Index from to        

Warning: Range restricted to 1000 entries (1 to 1000)!


Note: The representation of the abstract order type is not lexicographically maximal.


List of representatives of OT(7,4) stopping with c = 1000: 11112111211212311121121231121231234 22233223323344422332334442334445555 33444344455555534445555556666666666 45555666666666677777777777777777777 OT(7,4, 1) = ++--+-++-++--+++--+--++-+++----+--+ OT(7,4, 2) = +-+---+---++--++-+++--++++--+-+++-+ OT(7,4, 3) = ++++----+--+-++---+--+-+-++-+++-+++ OT(7,4, 4) = ++-+++-++-++--+-+--+--++++--+-+--+- OT(7,4, 5) = +-+++-+++---+++-+++---++----+--+++- OT(7,4, 6) = ++-+++-++-++--++-++-++----++-+-++-+ OT(7,4, 7) = ++--+-++-++--++-++-++--+---++++-++- OT(7,4, 8) = +---++++---+-++---+++-+-+--+----+++ OT(7,4, 9) = ++--++--+--++---++-++--+-++----+--+ OT(7,4, 10) = +-+---+---++--+-+---++----++-+---+- OT(7,4, 11) = +++++-------------------+++++------ OT(7,4, 12) = +--++--+++----+--+++-----+---+---++ OT(7,4, 13) = +++-+--+--+-+-+--+--+-+--+-+--++-++ OT(7,4, 14) = ++---+------++++------++----+-----+ OT(7,4, 15) = +++--++--+----+++--+-----+---+-++-- OT(7,4, 16) = +--------++++++----+++++-++++--++++ OT(7,4, 17) = ++++----+--+-++---+--+-+++++-++-++- OT(7,4, 18) = ++-+-+-+--+--+-+-+--+--+--+++-++-++ OT(7,4, 19) = +--++++---++++---+++----+-+---+++-+ OT(7,4, 20) = +++-+--+--+-+-+++-++-+-+--++-+--+-+ OT(7,4, 21) = +--++++---++++-++---++++-+-+++---+- OT(7,4, 22) = ++-+++-++-++--++-++-++--+-+-++-++-- OT(7,4, 23) = ++-++-+--+--++--+--+--++--+-++-++-- OT(7,4, 24) = ++++-+++-++-+-----+--+-++---+--+--+ OT(7,4, 25) = +--+---+-+-+-+---+-+-+-+-+--+-+-+-+ OT(7,4, 26) = +-+++-+++---+++-+++---+++--+---++++ OT(7,4, 27) = +---++++---+-++---+++-+-----+---++- OT(7,4, 28) = +++-+++-++-+-+-++-++-+-+-+--+-++-+- OT(7,4, 29) = +++++++++++++++------------+++++++- OT(7,4, 30) = ++--++--+--++--+--+--++------++-+++ OT(7,4, 31) = +++++--------------------++-------+ OT(7,4, 32) = ++---+------++++------+++--+------- OT(7,4, 33) = ++-++-+--+--++-+-++-++--++--------+ OT(7,4, 34) = +--++--+++----+++---++++--++---++++ OT(7,4, 35) = +---++++---+-++---+++-+----++-+-+-- OT(7,4, 36) = +++-+--+--+-+-+--+--+-+-++-++--+--- OT(7,4, 37) = ++---+------+++-++++++---+++++-++-+ OT(7,4, 38) = +----++++----------++++++---++---++ OT(7,4, 39) = +++--++--+----+++--+----++--+++++++ OT(7,4, 40) = +--++++---++++-++---++++-+--+++---- OT(7,4, 41) = +++++++++++++++-------------++-++-- OT(7,4, 42) = ++-++-+--+--++--+--+--++--++++++++- OT(7,4, 43) = ++-+-+-+--+--+-+-+--+--+--+-++-+-++ OT(7,4, 44) = ++--+-++-++--+++--+--++--++-++++--- OT(7,4, 45) = +-++++---+++----+++---+++++++------ OT(7,4, 46) = ++++----+--+-++---+--+-++++-----++- OT(7,4, 47) = +---+---+++-+--+++---+-++--++++-++- OT(7,4, 48) = +++-+++-++-+-+-++-++-+-+-+-+++-+-+- OT(7,4, 49) = +----++++------++++------+++-+++++- OT(7,4, 50) = +-+---+---++--+-+---++--+-+++-+--++ OT(7,4, 51) = +++-+++-++-+-+---+--+-+-+-+---+-+-+ OT(7,4, 52) = +--++--+++----+++---++++--++-+-++-+ OT(7,4, 53) = ++-+++-++-++--+-+--+--++-+---+---++ OT(7,4, 54) = ++-+++-++-++--++-++-++--+-+++-+++-- OT(7,4, 55) = +-+++-+++---++++---+++---++++------ OT(7,4, 56) = +--+---+-+-+-+---+-+-+-+-+-+++--+-+ OT(7,4, 57) = ++-++-+--+--++--+--+--++--+++-+++-- OT(7,4, 58) = +-++++---+++---+---+++-------++++++ OT(7,4, 59) = ++---+------+++-++++++---++++--++++ OT(7,4, 60) = +--++++---++++---+++----+-++-+-++-+ OT(7,4, 61) = ++++-+++-++-+-----+--+-++--+++++--+ OT(7,4, 62) = +++--++--+----+++--+----++--+-+++-+ OT(7,4, 63) = +++----++-++++---++-++++-+--+-+++-+ OT(7,4, 64) = +----++++----------++++++---+-----+ OT(7,4, 65) = +---++++---+-+++++---+-++++----+--+ OT(7,4, 66) = ++--++--+--++---++-++--++++-++++--- OT(7,4, 67) = +---++++---+-++---+++-+----++++-++- OT(7,4, 68) = +++--++--+----+--++-++++--++-+---+- OT(7,4, 69) = ++----++++++---+------+++++++--++++ OT(7,4, 70) = ++++-+++-++-+--+++-++-+--++-----++- OT(7,4, 71) = +--++++---++++-++---++++-+--+-+--+- OT(7,4, 72) = +++-+--+--+-+-+--+--+-+-++-+++-+-+- OT(7,4, 73) = +-++--++---++---++---++----+---+--- OT(7,4, 74) = ++---+------++++------+++----++---- OT(7,4, 75) = ++--++--+--++--+--+--++----+----+++ OT(7,4, 76) = ++----++++++----++++++-------++---- OT(7,4, 77) = +--------++++++----+++++++++-+++++- OT(7,4, 78) = +++++++++++++++-------------+--+++- OT(7,4, 79) = +--++--+++----+--+++----++--+-+--+- OT(7,4, 80) = ++--+-++-++--++-++-++--++--+----+++ OT(7,4, 81) = +-+++-+++---+++-+++---+++----++++++ OT(7,4, 82) = +++++--------------------+++-++---+ OT(7,4, 83) = +---+---+++-+-----+++-+--++----+--+ OT(7,4, 84) = ++++++++++++++++++++++++++++-++---+ OT(7,4, 85) = ++--+-++-++--+++--+--++--++-++++-+- OT(7,4, 86) = ++++----+--+-++---+--+-++++-----+-- OT(7,4, 87) = +---+---+++-+--+++---+-++--++++-+-- OT(7,4, 88) = +++-+++-++-+-+---+--+-+-+-+---+-+++ OT(7,4, 89) = ++-+++-++-++--+-+--+--++-+---+----+ OT(7,4, 90) = ++---+------+++-++++++---++++--++-+ OT(7,4, 91) = +++-+++-++-+-+-++-++-+-+-+-+++-+--- OT(7,4, 92) = +-+---+---++--+-+---++--+-+++-+---+ OT(7,4, 93) = +----++++----------++++++---+----++ OT(7,4, 94) = +---++++---+-++---+++-+----++++-+-- OT(7,4, 95) = ++--++--+--++---++-++--++++-++++-+- OT(7,4, 96) = +---++++---+-+++++---+-++++----+-++ OT(7,4, 97) = ++---+------++++------+++----++--+- OT(7,4, 98) = +--++--+++----+--+++----++--+-+---- OT(7,4, 99) = +++++++++++++++-------------+--++-- OT(7,4, 100) = ++----++++++---+------+++++++--++-+ OT(7,4, 101) = +++----++-++++---++-++++-+--+-+++++ OT(7,4, 102) = ++--++--+--++--+--+--++----+----+-+ OT(7,4, 103) = +--------++++++----+++++++++-++++-- OT(7,4, 104) = +-+++-+++---+++-+++---+++----++++-+ OT(7,4, 105) = ++-+++-++-++--++-++-++--+-+++-++++- OT(7,4, 106) = +--+---+-+-+-+---+-+-+-+-+-+++--+++ OT(7,4, 107) = +++++--------------------+++-++--++ OT(7,4, 108) = +--++--+++----+++---++++--+++++++-- OT(7,4, 109) = +++-+++-++-+-+---+--+-+-+-+-+---+-- OT(7,4, 110) = ++-++-+--+--++-+-++-++--++--+++--+- OT(7,4, 111) = ++----++++++----++++++------++----+ OT(7,4, 112) = +-++++---+++----+++---++++++--+---+ OT(7,4, 113) = ++--++--+--++---++-++--++++--+-+--+ OT(7,4, 114) = +--------++++++++++-----------+---- OT(7,4, 115) = +++----++-++++---++-++++-+-----++-- OT(7,4, 116) = +-++++---+++---+---+++------++-+++- OT(7,4, 117) = +-+++-+++---+++-+++---+++---++-+++- OT(7,4, 118) = +---++++---+-++---+++-+----+-+--+++ OT(7,4, 119) = ++--++--+--++--+--+--++----++-+-++- OT(7,4, 120) = ++++----+--+-++---+--+-++++-+-+-+++ OT(7,4, 121) = ++--+-++-++--++-++-++--++--++-+-++- OT(7,4, 122) = +++--++--+----+++--+----++-----++-- OT(7,4, 123) = +++++----------++++++++++-----+++++ OT(7,4, 124) = +--++++---++++---+++----+-+++++++-- OT(7,4, 125) = ++---+------++++------+++---++----+ OT(7,4, 126) = +++--++--+----+--++-++++--+++++--++ OT(7,4, 127) = ++-+++-++-++--++-++-++--+-++---++-+ OT(7,4, 128) = +++++++++++++++---------------+++++ OT(7,4, 129) = +--------++++++----+++++++++++-++++ OT(7,4, 130) = +--++--+++----+--+++----++-------++ OT(7,4, 131) = +-++++---+++---+---+++------++--++- OT(7,4, 132) = +---++++---+-++---+++-+----+-+-++++ OT(7,4, 133) = ++-++-+--+--++-+-++-++--++--++++-+- OT(7,4, 134) = +++-+++-++-+-+---+--+-+-+-+-+--++-- OT(7,4, 135) = ++-+++-++-++--+-+--+--++-+--++++-+- OT(7,4, 136) = ++++-+++-++-+-----+--+-++--+-+----- OT(7,4, 137) = +----++++------++++------+++++--+++ OT(7,4, 138) = +++-+--+--+-+-+--+--+-+-++-+-++--++ OT(7,4, 139) = +--------++++++++++-----------++--- OT(7,4, 140) = ++++----+--+-+++++-++-+----+-+----- OT(7,4, 141) = ++---+------++++------+++---++-+--+ OT(7,4, 142) = ++-++-+--+--++--+--+--++--++----+-+ OT(7,4, 143) = +--++++---++++-++---++++-+-----+-++ OT(7,4, 144) = ++++----+--+-++---+--+-++++-+-+++++ OT(7,4, 145) = ++--++--+--++---++-++--++++--+----+ OT(7,4, 146) = +--------++++++----+++++++++++--+++ OT(7,4, 147) = ++--+-++-++--++-++-++--++--++-++++- OT(7,4, 148) = +-+++-+++---+++-+++---+++---++--++- OT(7,4, 149) = +++--++--+----+++--+----++------+-- OT(7,4, 150) = ++-+++-++-++--++-++-++--+-++----+-+ OT(7,4, 151) = ++++-+++-++-+--+++-++-+--++-+-+++++ OT(7,4, 152) = +--++--+++----+--+++----++-----+-++ OT(7,4, 153) = ++++++++++++++++++++++++++++++-+--- OT(7,4, 154) = +-+++-+++---++++---+++---+++---+--+ OT(7,4, 155) = +-+---+---++--+-+---++--+-++--++-+- OT(7,4, 156) = ++----++++++----++++++------++++--+ OT(7,4, 157) = ++-++-+--+--++--+--+--++--++--+-+-+ OT(7,4, 158) = +++-+--+--+-+-+--+--+-+-++-+-+---++ OT(7,4, 159) = +-++++---+++----+++---++++++---+--+ OT(7,4, 160) = +--+---+-+-+-+---+-+-+-+-+-+-+-++-- OT(7,4, 161) = +----++++------++++------++++++-+++ OT(7,4, 162) = +--------++++++++++------------+--- OT(7,4, 163) = +-++++---+++---+---+++------+++-++- OT(7,4, 164) = ++++-+++-++-+-----+--+-++--+-++---- OT(7,4, 165) = +---++++---+-+++++---+-++++-+------ OT(7,4, 166) = ++-+-+-+--+--+-+-+--+--+--+--+---+- OT(7,4, 167) = ++-+++-++-++--++-++-++--+-++--+-+-+ OT(7,4, 168) = +++--++--+----+--++-++++--++++-+-++ OT(7,4, 169) = +--++++---++++-++---++++-+----++-++ OT(7,4, 170) = ++---+------+++-++++++---+++----++- OT(7,4, 171) = ++---+------++++------+++---++++--+ OT(7,4, 172) = ++++-+++-++-+--+++-++-+--++-+--++++ OT(7,4, 173) = +++++++++++++++-----------------+++ OT(7,4, 174) = +--++--+++----+--+++----++----++-++ OT(7,4, 175) = +--------++++++----++++++++++++-+++ OT(7,4, 176) = ++++++++++++++++++++++++++++++++--- OT(7,4, 177) = ++--++--+--++---++-++--++++--++-+-+ OT(7,4, 178) = +--++++---++++---+++----+-++++----- OT(7,4, 179) = +-+++-+++---++++---+++---+++---++-+ OT(7,4, 180) = +++-+--+--+-+-+--+--+-+-++-+-+--+++ OT(7,4, 181) = ++-++-+--+--++--+--+--++--++--+---+ OT(7,4, 182) = +-++++---+++----+++---++++++---++-+ OT(7,4, 183) = ++++----+--+-++---+--+-++++-+--+-++ OT(7,4, 184) = ++--+-++-++--++-++-++--++--++--+-+- OT(7,4, 185) = ++-+++-++-++--+-+--+--++-+--++-+++- OT(7,4, 186) = +++-+++-++-+-+---+--+-+-+-+-+-++--- OT(7,4, 187) = ++--++--+--++--+--+--++----++--+-+- OT(7,4, 188) = ++++-+++-++-+-----+--+-++--+-++-+-- OT(7,4, 189) = ++-+-+-+--+--+-+-+--+--+--+--+--++- OT(7,4, 190) = +----++++------++++------++++++--++ OT(7,4, 191) = +++----++-++++-++--+----+-++++-++++ OT(7,4, 192) = +-+---+---++--+-+---++--+-++--++++- OT(7,4, 193) = +++-+++-++-+-+-++-++-+-+-+-+-+--+++ OT(7,4, 194) = +---+---+++-+-----+++-+--++-+---+-- OT(7,4, 195) = +-++++---+++---+---+++------+++--+- OT(7,4, 196) = +--------++++++++++------------++-- OT(7,4, 197) = ++----++++++----++++++------+++++-+ OT(7,4, 198) = +---++++---+-+++++---+-++++-+---+-- OT(7,4, 199) = +++++----------++++++++++--------++ OT(7,4, 200) = ++++----+--+-+++++-++-+----+-++-+-- OT(7,4, 201) = +-++--++---++---++---++----++---+-+ OT(7,4, 202) = +--++--+++----+++---++++--++++----- OT(7,4, 203) = +++--++--+----+--++-++++--++++-++++ OT(7,4, 204) = +++----++-++++---++-++++-+----+---- OT(7,4, 205) = +--++++---++++-++---++++-+----+++++ OT(7,4, 206) = ++---+------+++-++++++---+++-----+- OT(7,4, 207) = +---+---+++-+--+++---+-++--+-+++-++ OT(7,4, 208) = +--+---+-+-+-+---+-+-+-+-+-+-+-+--- OT(7,4, 209) = ++---+------++++------+++---+++++-+ OT(7,4, 210) = ++-+++-++-++--++-++-++--+-++--+---+ OT(7,4, 211) = +-+++-+++---+++-+++---+++---+++--+- OT(7,4, 212) = ++++-+++-++-+--+++-++-+--++-+--+-++ OT(7,4, 213) = +++++--------------------++++++++-- OT(7,4, 214) = +--++--+++----+--+++----++----+++++ OT(7,4, 215) = +++--++--+----+++--+----++----+---- OT(7,4, 216) = +++++++++++++++------------------++ OT(7,4, 217) = +--------++++++----++++++++++++--++ OT(7,4, 218) = +++++++++++++++++++++++++++++++++-- OT(7,4, 219) = +++-+--+--+-+-+--+--+-+-++-+-+--+-+ OT(7,4, 220) = +---+---+++-+-----+++-+--++-+---++- OT(7,4, 221) = +-++++---+++----+++---++++++---++++ OT(7,4, 222) = ++-++-+--+--++--+--+--++--++--+--++ OT(7,4, 223) = +--++--+++----+++---++++--++++---+- OT(7,4, 224) = +++-+++-++-+-+---+--+-+-+-+-+-++-+- OT(7,4, 225) = ++++-+++-++-+-----+--+-++--+-++-++- OT(7,4, 226) = ++-+++-++-++--++-++-++--+-++--+--++ OT(7,4, 227) = ++----++++++---+------++++++------- OT(7,4, 228) = +---++++---+-+++++---+-++++-+---++- OT(7,4, 229) = +-++++---+++---+---+++------+++---- OT(7,4, 230) = ++----++++++----++++++------+++++++ OT(7,4, 231) = +-++--++---++---++---++----++---+++ OT(7,4, 232) = +--------++++++++++------------+++- OT(7,4, 233) = +--++++---++++-++---++++-+----+++-+ OT(7,4, 234) = +++-+++-++-+-+-++-++-+-+-+-+-+--+-+ OT(7,4, 235) = +--++--+++----+--+++----++----+++-+ OT(7,4, 236) = +++----++-++++---++-++++-+----+--+- OT(7,4, 237) = +-+++-+++---+++-+++---+++---+++---- OT(7,4, 238) = +++++--------------------+++++++++- OT(7,4, 239) = +++--++--+----+++--+----++----+--+- OT(7,4, 240) = +++++++++++++++-------------------+ OT(7,4, 241) = ++---+------++++------+++---+++++++ OT(7,4, 242) = +---+---+++-+--+++---+-++--+-+++--- OT(7,4, 243) = +----++++----------++++++------++++ OT(7,4, 244) = +---+---+++-+-----+++-+--++-+---+++ OT(7,4, 245) = +--++++---++++-++---++++-+----+++-- OT(7,4, 246) = +--------++++++----++++++++++++---- OT(7,4, 247) = 0+----+++---+++-+++----+++-+++---+- OT(7,4, 248) = 0++-+++-++-+-+---+--+---+----++-+++ OT(7,4, 249) = 0++-+--+--+-+-+++-++-+++-----++-+++ OT(7,4, 250) = 0+----++++++----+++++++---+---+--+- OT(7,4, 251) = 0+-++-+--+--++--+--+---+---+++++++- OT(7,4, 252) = 0+----++++++---+-------+++-+++-++-+ OT(7,4, 253) = 0+---+---+++----+++----++-+---+++-+ OT(7,4, 254) = 0+-+++-++-++--++-++-+++-+--+++++++- OT(7,4, 255) = 0+---+---+++---+---++++--+-+++---+- OT(7,4, 256) = 0+++-+++---+-+++++---++++-+++-+-+-- OT(7,4, 257) = 0+-+++-+++--++-+-+++---+-++----+++- OT(7,4, 258) = 0+--++--+--++---++-++-++++--+-++-+- OT(7,4, 259) = 0++++-----------------+--+-+--+--++ OT(7,4, 260) = 0++++----++++++++++---+--+-+--+++-- OT(7,4, 261) = 0+--++--+++--++-++---+----++-+-+-+- OT(7,4, 262) = 0++----+++----+--+++--+-+--+---++++ OT(7,4, 263) = 0++----++-++++-++--+--+-+--+------- OT(7,4, 264) = 0++--++--+----+--++-++-+---+------- OT(7,4, 265) = 0++--++--+----+++--+--+-+++-+++++++ OT(7,4, 266) = 0++++++++++++++-------+---+-++-++-- OT(7,4, 267) = 0+--+-++-++--+++--+--+---+--+-++-+- OT(7,4, 268) = 0+--+-++-++--++-++-++-+++-++-+--+-+ OT(7,4, 269) = 0++++++++------++++---+---+-++---++ OT(7,4, 270) = 0+--++--+++--+++--+++-++++--+-+-+-+ OT(7,4, 271) = 0+--++--+--++--+--+--+----++-+--+-+ OT(7,4, 272) = 0+++++++++++++++++++++-+++-+--+--++ OT(7,4, 273) = 0+----+++---++++---+++-++++++---++- OT(7,4, 274) = 0++-+--+--+-+-+--+--+-++--+---+--++ OT(7,4, 275) = 0+-+++-+++--++--+---++-+-+---+-+-+- OT(7,4, 276) = 0+-++-+--+--++--+--+--+-++---+--+-+ OT(7,4, 277) = 0++-+--+--+-+-+++-++-+--++-+++-++-- OT(7,4, 278) = 0+----++++++---+------+------++-++- OT(7,4, 279) = 0++-+++-+-+-+-+++-+-+-++-+-+++---++ OT(7,4, 280) = 0++-+++-++-+-+-++-++-+--+-+---+--++ OT(7,4, 281) = 0+++-+++---+-++---+++-+++--++++---- OT(7,4, 282) = 0+++----+++-+--+++---+-----++++---- OT(7,4, 283) = 0+++----+++-+-----+++-+++++----++++ OT(7,4, 284) = 0+---+------+++-++++++-++----++-++- OT(7,4, 285) = 0+-++-+--+--++-+-++-++-+--+++-++-+- OT(7,4, 286) = 0+----++++++----++++++-++++++--+--+ OT(7,4, 287) = 0+++----+--+-++---+--+-----++++++++ OT(7,4, 288) = 0+++-+++-++-+-----+--+---++-------- OT(7,4, 289) = 0+++----+--+-+++++-++-+++++-------- OT(7,4, 290) = 0+-+++-+++--++-+-+++--+-+-+++-+-+-+ OT(7,4, 291) = 0+---+---+++---+---+++-++----+++--+ OT(7,4, 292) = 0+-+++-++-++--++-++-++-+-+---+--+-+ OT(7,4, 293) = 0+---+------++++------+--++++--+--+ OT(7,4, 294) = 0+++-+++-++-+--+++-++-+++--++++++++ OT(7,4, 295) = 0+++-+++---+-+++++---+---++----++++ OT(7,4, 296) = 0++++------------------++---+--+--- OT(7,4, 297) = 0+--++--+++--++-++---++++++-+++---+ OT(7,4, 298) = 0++----++-++++-++--+---+-+--+-++-++ OT(7,4, 299) = 0+--++--+--++---++-++------+------+ OT(7,4, 300) = 0++----+++----+++---+++-+-++-+-+-++ OT(7,4, 301) = 0++++----++++++----++++--+++-+++--- OT(7,4, 302) = 0++--++--+----+--++-+++-++--+-++-++ OT(7,4, 303) = 0++++----------++++++++--+++-++-+++ OT(7,4, 304) = 0++----++-++++---++-+++-+-++-+--+-- OT(7,4, 305) = 0++--++--+----+++--+---+--++-+--+-- OT(7,4, 306) = 0++--++---++++-++---+++-++--+-+-+-- OT(7,4, 307) = 0+--+-++-++--++-++-++----++-++++++- OT(7,4, 308) = 0++++++++----------++++-----+---+++ OT(7,4, 309) = 0+--+-++-++--+++--+--++++--+------+ OT(7,4, 310) = 0+--++--+--++--+--+--++++++-++++++- OT(7,4, 311) = 0++++++++------++++----+++++-+++--- OT(7,4, 312) = 0+--++--+++--+++--+++------+---+++- OT(7,4, 313) = 0++++++++++++++++++++++-----+--+--- OT(7,4, 314) = 0+-++-+--+--++--+--+--+-+++--+--+-+ OT(7,4, 315) = 0+-+++-+++--++--+---++-+-++--+-+-+- OT(7,4, 316) = 0+++-+++---+-++---+++-+++-+++++---- OT(7,4, 317) = 0+---+------+++-++++++-++-+--++-++- OT(7,4, 318) = 0+++----+++-+-----+++-++++-----++++ OT(7,4, 319) = 0+++-+++-++-+--+++-++-+++-+++++++++ OT(7,4, 320) = 0+---+---+++---+---+++-++-+--+++--+ OT(7,4, 321) = 0++-+++-+-+-+-+++-+-+-++-+++++---++ OT(7,4, 322) = 0+++-+++---+-+++++---+---+-----++++ OT(7,4, 323) = 0++----++-++++-++--+---+-++-+-++-++ OT(7,4, 324) = 0++++------------------++-+-+--+--- OT(7,4, 325) = 0++--++--+----+--++-+++-+++-+-++-++ OT(7,4, 326) = 0+--+-++-++--+++--+--++++-++------+ OT(7,4, 327) = 0++++++++------++++----+++-+-+++--- OT(7,4, 328) = 0+--++--+++--+++--+++-----++---+++- OT(7,4, 329) = 0+----+++---++++---+++-++--+---+++- OT(7,4, 330) = 0+-+++-+++--++--+---++-+--+-++---+- OT(7,4, 331) = 0+-++-+--+--++--+--+--+-+-+-++-++-+ OT(7,4, 332) = 0+----++++++---+------+--++-++++++- OT(7,4, 333) = 0+++----+++-+--+++---+---+++-+++--- OT(7,4, 334) = 0+-++-+--+--++-+-++-++-+-+-+--+--+- OT(7,4, 335) = 0+---+------+++-++++++-++++-++++++- OT(7,4, 336) = 0++-+++-++-+-+-++-++-+--++--+-++-++ OT(7,4, 337) = 0+---+------++++------+----+------+ OT(7,4, 338) = 0+-+++-++-++--++-++-++-+--+-++-++-+ OT(7,4, 339) = 0+---+---+++---+---+++-++++-+++---+ OT(7,4, 340) = 0++----++-++++---++-+++-++-+++-++-- OT(7,4, 341) = 0+--++--+--++---++-++----++++--+--+ OT(7,4, 342) = 0++--++--+----+--++-+++-+-+---+--++ OT(7,4, 343) = 0++++------------------++++-------- OT(7,4, 344) = 0++++----++++++++++----++++----++++ OT(7,4, 345) = 0++--++---++++-++---+++-+-+---+++-- OT(7,4, 346) = 0++--++--+----+++--+---+-+-+++-++-- OT(7,4, 347) = 0+--+-++-++--+++--+--++++++++--+--+ OT(7,4, 348) = 0++++++++++++++--------++--++++++++ OT(7,4, 349) = 0+--++--+--++--+--+--++++----++-++- OT(7,4, 350) = 0++++++++------++++----++--++++---- OT(7,4, 351) = 0+----++++++---+------++-+--++++++- OT(7,4, 352) = 0++-+--+--+-+-+++-++-+-++--+-+--+-- OT(7,4, 353) = 0+-+++-+++--++--+---++------++---+- OT(7,4, 354) = 0+----+++---++++---+++--+-++---+++- OT(7,4, 355) = 0+-++-+--+--++-+-++-++---+++--+--+- OT(7,4, 356) = 0+++-+++-++-+-----+--+-+--+-+--+--- OT(7,4, 357) = 0+----++++++----++++++--+-++------+ OT(7,4, 358) = 0++-+++-++-+-+-++-++-+-++++-+-++-++ OT(7,4, 359) = 0+++-+++---+-+++++---+-+--+-+---+++ OT(7,4, 360) = 0+---+------++++------++--++------+ OT(7,4, 361) = 0+-+++-++-++--++-++-++------++-++-+ OT(7,4, 362) = 0+--+-++-++--++-++-++--+--+--++-++- OT(7,4, 363) = 0+--++--+--++--+--+--++-+-+--++-++- OT(7,4, 364) = 0++--++--+----+--++-+++++-----+--++ OT(7,4, 365) = 0++++-------------------++--------- OT(7,4, 366) = 0++++----++++++++++-----++-----++++ OT(7,4, 367) = 0++----++-++++---++-++++++++++-++-- OT(7,4, 368) = 0++----+++----+--+++----------+++-- OT(7,4, 369) = 0++++++++----------+++++-+-----++++ OT(7,4, 370) = 0++--++---++++-++---+++++-----+++-- OT(7,4, 371) = 0++--++--+----+++--+-----+++++-++-- OT(7,4, 372) = 0++++++++------++++-----+-+++++---- OT(7,4, 373) = 0+----++++++---+------++-++-++++++- OT(7,4, 374) = 0+++----+--+-++---+--+-+-+++-++-+++ OT(7,4, 375) = 0++-+--+--+-+-+++-++-+-++-++-+--+-- OT(7,4, 376) = 0++-+++-++-+-+---+--+-+---++-+--+-- OT(7,4, 377) = 0+-+++-+++--++--+---++----+-++---+- OT(7,4, 378) = 0+-++-+--+--++--+--+--+++-+-++-++-+ OT(7,4, 379) = 0+++----+++-+-----+++-+-+---+---+++ OT(7,4, 380) = 0+----+++---++++---+++--+--+---+++- OT(7,4, 381) = 0+-++-+--+--++-+-++-++---+-+--+--+- OT(7,4, 382) = 0+---+------+++-++++++--+++-++++++- OT(7,4, 383) = 0+++----+++-+--+++---+-+-+++-+++--- OT(7,4, 384) = 0+----++++++----++++++--+--+------+ OT(7,4, 385) = 0++-+--+--+-+-+--+--+-+--+--+-++-++ OT(7,4, 386) = 0+++-+++-++-+-----+--+-+----+--+--- OT(7,4, 387) = 0+-+++-+++--++-+-+++--++++-+--+++-+ OT(7,4, 388) = 0++-+++-++-+-+-++-++-+-+++--+-++-++ OT(7,4, 389) = 0+++-+++-++-+--+++-++-+-++++-++-+++ OT(7,4, 390) = 0++-+++-+-+-+-+++-+-+-+---++-+-+-++ OT(7,4, 391) = 0+---+---+++---+---+++--+++-+++---+ OT(7,4, 392) = 0+++-+++---+-+++++---+-+----+---+++ OT(7,4, 393) = 0+---+------++++------++---+------+ OT(7,4, 394) = 0+-+++-++-++--++-++-++----+-++-++-+ OT(7,4, 395) = 0+--+-++-++--+++--+--++-+++++--+--+ OT(7,4, 396) = 0+--++--+--++---++-++--+-++++--+--+ OT(7,4, 397) = 0++----++-++++---++-++++++-+++-++-- OT(7,4, 398) = 0++----+++----+--+++------+---+++-- OT(7,4, 399) = 0++--++--+----+--++-+++++-+---+--++ OT(7,4, 400) = 0++++----------+++++++++---++++++++ OT(7,4, 401) = 0++++----++++++++++-----+++----++++ OT(7,4, 402) = 0++++-------------------+++-------- OT(7,4, 403) = 0++++----++++++----+++++---++++---- OT(7,4, 404) = 0+--+-++-++--++-++-++--+-----++-++- OT(7,4, 405) = 0++----+++----+++---++++++-+++---++ OT(7,4, 406) = 0++++++++++++++---------+--++++++++ OT(7,4, 407) = 0++++++++----------+++++-++----++++ OT(7,4, 408) = 0+--++--+--++--+--+--++-+----++-++- OT(7,4, 409) = 0++--++---++++-++---+++++-+---+++-- OT(7,4, 410) = 0+--++--+++--+++--+++--+-++++---++- OT(7,4, 411) = 0++++++++------++++-----+--++++---- OT(7,4, 412) = 0++--++--+----+++--+-----+-+++-++-- OT(7,4, 413) = 0+++++++++++++++++++++++-++-------- OT(7,4, 414) = 0++-+--+--+-+-+++-++-+-++-++++--+-- OT(7,4, 415) = 0++-+++-++-+-+---+--+-+---++++--+-- OT(7,4, 416) = 0+----++++++----++++++--+--++-----+ OT(7,4, 417) = 0+----+++---++++---+++--+--++--+++- OT(7,4, 418) = 0+-++-+--+--++--+--+--+++-+--+-++-+ OT(7,4, 419) = 0+-+++-+++--++--+---++----+--+---+- OT(7,4, 420) = 0+---+------+++-++++++--+++--+++++- OT(7,4, 421) = 0+-++-+--+--++-+-++-++---+-++-+--+- OT(7,4, 422) = 0+++-+++---+-++---+++-+-++++++++--- OT(7,4, 423) = 0+++----+++-+--+++---+-+-+++++++--- OT(7,4, 424) = 0+++----+--+-++---+--+-+-++++++-+++ OT(7,4, 425) = 0++-+--+--+-+-+--+--+-+--+----++-++ OT(7,4, 426) = 0+++----+++-+-----+++-+-+-------+++ OT(7,4, 427) = 0+++-+++-++-+-----+--+-+-------+--- OT(7,4, 428) = 0+++-+++-++-+--+++-++-+-+++++++-+++ OT(7,4, 429) = 0+---+---+++---+---+++--+++--++---+ OT(7,4, 430) = 0++-+++-++-+-+-++-++-+-+++----++-++ OT(7,4, 431) = 0+-+++-+++--++-+-+++--++++-++-+++-+ OT(7,4, 432) = 0++-+++-+-+-+-+++-+-+-+---++++-+-++ OT(7,4, 433) = 0+++-+++---+-+++++---+-+--------+++ OT(7,4, 434) = 0+-+++-++-++--++-++-++----+--+-++-+ OT(7,4, 435) = 0+---+------++++------++---++-----+ OT(7,4, 436) = 0+--++--+--++---++-++--+-+++---+--+ OT(7,4, 437) = 0+--+-++-++--+++--+--++-++++---+--+ OT(7,4, 438) = 0++----+++----+--+++------+-+-+++-- OT(7,4, 439) = 0++----++-++++---++-++++++-+-+-++-- OT(7,4, 440) = 0+--+-++-++--++-++-++--+----+++-++- OT(7,4, 441) = 0++--++--+----+--++-+++++-+-+-+--++ OT(7,4, 442) = 0++++----------+++++++++---+-++++++ OT(7,4, 443) = 0++++----++++++++++-----+++-+--++++ OT(7,4, 444) = 0+--++--+--++--+--+--++-+---+++-++- OT(7,4, 445) = 0+--++--+++--+++--+++--+-+++----++- OT(7,4, 446) = 0++----+++----+++---++++++-+-+---++ OT(7,4, 447) = 0++++++++++++++---------+--+-++++++ OT(7,4, 448) = 0++++----++++++----+++++---+-++---- OT(7,4, 449) = 0++++-------------------+++-+------ OT(7,4, 450) = 0++++++++----------+++++-++-+--++++ OT(7,4, 451) = 0++++++++------++++-----+--+-++---- OT(7,4, 452) = 0++--++---++++-++---+++++-+-+-+++-- OT(7,4, 453) = 0++--++--+----+++--+-----+-+-+-++-- OT(7,4, 454) = 0+++++++++++++++++++++++-++-+------ OT(7,4, 455) = 0++-+--+--+-+-+++-++-+-++-++++-++-- OT(7,4, 456) = 0++-+++-++-+-+---+--+-+---++++-++-- OT(7,4, 457) = 0+----++++++----++++++--+--++--+--+ OT(7,4, 458) = 0+----+++---++++---+++--+--++---++- OT(7,4, 459) = 0+-++-+--+--++--+--+--+++-+--+--+-+ OT(7,4, 460) = 0+-+++-+++--++--+---++----+--+-+-+- OT(7,4, 461) = 0+---+------+++-++++++--+++--++-++- OT(7,4, 462) = 0+-++-+--+--++-+-++-++---+-++-++-+- OT(7,4, 463) = 0+++-+++---+-++---+++-+-+++++++---- OT(7,4, 464) = 0+++----+++-+--+++---+-+-++++++---- OT(7,4, 465) = 0+++----+--+-++---+--+-+-++++++++++ OT(7,4, 466) = 0++-+--+--+-+-+--+--+-+--+----+--++ OT(7,4, 467) = 0+++----+--+-+++++-++-+-+---------- OT(7,4, 468) = 0+++----+++-+-----+++-+-+------++++ OT(7,4, 469) = 0+++-+++-++-+-----+--+-+----------- OT(7,4, 470) = 0+++-+++-++-+--+++-++-+-+++++++++++ OT(7,4, 471) = 0+---+---+++---+---+++--+++--+++--+ OT(7,4, 472) = 0++-+++-++-+-+-++-++-+-+++----+--++ OT(7,4, 473) = 0+-+++-+++--++-+-+++--++++-++-+-+-+ OT(7,4, 474) = 0++-+++-+-+-+-+++-+-+-+---++++---++ OT(7,4, 475) = 0+++-+++---+-+++++---+-+-------++++ OT(7,4, 476) = 0+-+++-++-++--++-++-++----+--+--+-+ OT(7,4, 477) = 0+---+------++++------++---++--+--+ OT(7,4, 478) = 0+--++--+--++---++-++--+-+++------+ OT(7,4, 479) = 0+--+-++-++--+++--+--++-++++------+ OT(7,4, 480) = 0++----+++----+--+++------+-+-+-+-- OT(7,4, 481) = 0++----++-++++---++-++++++-+-+--+-- OT(7,4, 482) = 0+--+-++-++--++-++-++--+----++++++- OT(7,4, 483) = 0++--++--+----+--++-+++++-+-+-++-++ OT(7,4, 484) = 0++++----------+++++++++---+-++-+++ OT(7,4, 485) = 0+--++--+--++--+--+--++-+---++++++- OT(7,4, 486) = 0+--++--+++--+++--+++--+-+++---+++- OT(7,4, 487) = 0++----+++----+++---++++++-+-+-+-++ OT(7,4, 488) = 0++++++++++++++---------+--+-++-+++ OT(7,4, 489) = 0++++----++++++----+++++---+-+++--- OT(7,4, 490) = 0++++-------------------+++-+--+--- OT(7,4, 491) = 0++++++++----------+++++-++-+---+++ OT(7,4, 492) = 0++++++++------++++-----+--+-+++--- OT(7,4, 493) = 0++--++---++++-++---+++++-+-+-+-+-- OT(7,4, 494) = 0++--++--+----+++--+-----+-+-+--+-- OT(7,4, 495) = 0+++++++++++++++++++++++-++-+--+--- OT(7,4, 496) = 0+----++++++---+------++-+++++++++- OT(7,4, 497) = 0+-+++-++-++--+-+--+--++++----+--+- OT(7,4, 498) = 0++-+++-++-+-+---+--+-+---+--+--+-- OT(7,4, 499) = 0++-+--+--+-+-+--+--+-+--+-++-++-++ OT(7,4, 500) = 0+++----+++-+-----+++-+-+--++---+++ OT(7,4, 501) = 0+-+++-+++--++--+---++----++++---+- OT(7,4, 502) = 0+++----+--+-++---+--+-+-++--++-+++ OT(7,4, 503) = 0+----+++---++++---+++--+------+++- OT(7,4, 504) = 0++-+++-+-+-+-+++-+-+-+---+--+-+-++ OT(7,4, 505) = 0++-+++-++-+-+-++-++-+-+++-++-++-++ OT(7,4, 506) = 0+-++-+--+--++-+-++-++---+----+--+- OT(7,4, 507) = 0+---+------+++-++++++--++++++++++- OT(7,4, 508) = 0+++----+++-+--+++---+-+-++--+++--- OT(7,4, 509) = 0+----++++++----++++++--+---------+ OT(7,4, 510) = 0+-++-+--+--++--+--+--+++-++++-++-+ OT(7,4, 511) = 0+++-+++-++-+-----+--+-+---++--+--- OT(7,4, 512) = 0+++-+++-++-+--+++-++-+-+++--++-+++ OT(7,4, 513) = 0+-+++-+++--++-+-+++--++++----+++-+ OT(7,4, 514) = 0+---+---+++---+---+++--+++++++---+ OT(7,4, 515) = 0+++-+++---+-+++++---+-+---++---+++ OT(7,4, 516) = 0+---+------++++------++----------+ OT(7,4, 517) = 0+-+++-++-++--++-++-++----++++-++-+ OT(7,4, 518) = 0+--+-++-++--+++--+--++-+++-+--+--+ OT(7,4, 519) = 0+--++--+--++---++-++--+-++-+--+--+ OT(7,4, 520) = 0++----++-++++---++-++++++--++-++-- OT(7,4, 521) = 0++----+++----+--+++------++--+++-- OT(7,4, 522) = 0++++----------+++++++++----+++++++ OT(7,4, 523) = 0+--+-++-++--++-++-++--+---+-++-++- OT(7,4, 524) = 0++--++--+----+--++-+++++-++--+--++ OT(7,4, 525) = 0++++----++++++++++-----++++---++++ OT(7,4, 526) = 0+--++--+--++--+--+--++-+--+-++-++- OT(7,4, 527) = 0+--++--+++--+++--+++--+-++-+---++- OT(7,4, 528) = 0++----+++----+++---++++++--++---++ OT(7,4, 529) = 0++++++++++++++---------+---+++++++ OT(7,4, 530) = 0++++-------------------++++------- OT(7,4, 531) = 0++++----++++++----+++++----+++---- OT(7,4, 532) = 0++++++++----------+++++-+++---++++ OT(7,4, 533) = 0++--++---++++-++---+++++-++--+++-- OT(7,4, 534) = 0++++++++------++++-----+---+++---- OT(7,4, 535) = 0++--++--+----+++--+-----+--++-++-- OT(7,4, 536) = 0+++++++++++++++++++++++-+++------- OT(7,4, 537) = 0+-+++-++-++--+-+--+--++++--+-+--+- OT(7,4, 538) = 0++-+++-++-+-+---+--+-+---+-++--+-- OT(7,4, 539) = 0++-+--+--+-+-+--+--+-+--+-+--++-++ OT(7,4, 540) = 0+----++++++----++++++--+---+-----+ OT(7,4, 541) = 0+----+++---++++---+++--+---+--+++- OT(7,4, 542) = 0+-+++-+++--++--+---++----++-+---+- OT(7,4, 543) = 0++-+++-+-+-+-+++-+-+-+---+-++-+-++ OT(7,4, 544) = 0++-+++-++-+-+-++-++-+-+++-+--++-++ OT(7,4, 545) = 0+---+------+++-++++++--++++-+++++- OT(7,4, 546) = 0+-++-+--+--++-+-++-++---+--+-+--+- OT(7,4, 547) = 0+++-+++---+-++---+++-+-+++-++++--- OT(7,4, 548) = 0+++----+++-+--+++---+-+-++-++++--- OT(7,4, 549) = 0+++----+++-+-----+++-+-+--+----+++ OT(7,4, 550) = 0+-++-+--+--++--+--+--+++-++-+-++-+ OT(7,4, 551) = 0+++----+--+-++---+--+-+-++-+++-+++ OT(7,4, 552) = 0+++-+++-++-+-----+--+-+---+---+--- OT(7,4, 553) = 0+---+---+++---+---+++--++++-++---+ OT(7,4, 554) = 0+-+++-+++--++-+-+++--++++--+-+++-+ OT(7,4, 555) = 0+++-+++-++-+--+++-++-+-+++-+++-+++ OT(7,4, 556) = 0+++-+++---+-+++++---+-+---+----+++ OT(7,4, 557) = 0+-+++-++-++--++-++-++----++-+-++-+ OT(7,4, 558) = 0+---+------++++------++----+-----+ OT(7,4, 559) = 0++----++-++++---++-++++++---+-++-- OT(7,4, 560) = 0+--++--+--++---++-++--+-++----+--+ OT(7,4, 561) = 0+--+-++-++--+++--+--++-+++----+--+ OT(7,4, 562) = 0++----+++----+--+++------+++-+++-- OT(7,4, 563) = 0++++----------+++++++++-----++++++ OT(7,4, 564) = 0++--++--+----+--++-+++++-+++-+--++ OT(7,4, 565) = 0++++----++++++++++-----+++++--++++ OT(7,4, 566) = 0++++-------------------+++++------ OT(7,4, 567) = 0++++----++++++----+++++-----++---- OT(7,4, 568) = 0+--+-++-++--++-++-++--+---++++-++- OT(7,4, 569) = 0++----+++----+++---++++++---+---++ OT(7,4, 570) = 0++++++++++++++---------+----++++++ OT(7,4, 571) = 0++++++++----------+++++-++++--++++ OT(7,4, 572) = 0+--++--+--++--+--+--++-+--++++-++- OT(7,4, 573) = 0++++++++------++++-----+----++---- OT(7,4, 574) = 0++--++---++++-++---+++++-+++-+++-- OT(7,4, 575) = 0+--++--+++--+++--+++--+-++-----++- OT(7,4, 576) = 0++--++--+----+++--+-----+---+-++-- OT(7,4, 577) = 0+++++++++++++++++++++++-++++------ OT(7,4, 578) = 0+-+++-++-++--+-+--+--++++--+-++-+- OT(7,4, 579) = 0++-+++-++-+-+---+--+-+---+-++-++-- OT(7,4, 580) = 0++-+--+--+-+-+--+--+-+--+-+--+--++ OT(7,4, 581) = 0+----++++++----++++++--+---+--+--+ OT(7,4, 582) = 0+----+++---++++---+++--+---+---++- OT(7,4, 583) = 0+-+++-+++--++--+---++----++-+-+-+- OT(7,4, 584) = 0++-+++-+-+-+-+++-+-+-+---+-++---++ OT(7,4, 585) = 0++-+++-++-+-+-++-++-+-+++-+--+--++ OT(7,4, 586) = 0+---+------+++-++++++--++++-++-++- OT(7,4, 587) = 0+-++-+--+--++-+-++-++---+--+-++-+- OT(7,4, 588) = 0+++-+++---+-++---+++-+-+++-+++---- OT(7,4, 589) = 0+++----+++-+--+++---+-+-++-+++---- OT(7,4, 590) = 0+++----+++-+-----+++-+-+--+---++++ OT(7,4, 591) = 0+-++-+--+--++--+--+--+++-++-+--+-+ OT(7,4, 592) = 0+++----+--+-++---+--+-+-++-+++++++ OT(7,4, 593) = 0+++----+--+-+++++-++-+-+--+------- OT(7,4, 594) = 0+++-+++-++-+-----+--+-+---+------- OT(7,4, 595) = 0+---+---+++---+---+++--++++-+++--+ OT(7,4, 596) = 0+-+++-+++--++-+-+++--++++--+-+-+-+ OT(7,4, 597) = 0+++-+++-++-+--+++-++-+-+++-+++++++ OT(7,4, 598) = 0+++-+++---+-+++++---+-+---+---++++ OT(7,4, 599) = 0+-+++-++-++--++-++-++----++-+--+-+ OT(7,4, 600) = 0+---+------++++------++----+--+--+ OT(7,4, 601) = 0++----++-++++---++-++++++---+--+-- OT(7,4, 602) = 0+--++--+--++---++-++--+-++-------+ OT(7,4, 603) = 0+--+-++-++--+++--+--++-+++-------+ OT(7,4, 604) = 0++----+++----+--+++------+++-+-+-- OT(7,4, 605) = 0++++----------+++++++++-----++-+++ OT(7,4, 606) = 0++--++--+----+--++-+++++-+++-++-++ OT(7,4, 607) = 0++++-------------------+++++--+--- OT(7,4, 608) = 0++++----++++++----+++++-----+++--- OT(7,4, 609) = 0+--+-++-++--++-++-++--+---+++++++- OT(7,4, 610) = 0++----+++----+++---++++++---+-+-++ OT(7,4, 611) = 0++++++++++++++---------+----++-+++ OT(7,4, 612) = 0++++++++----------+++++-++++---+++ OT(7,4, 613) = 0+--++--+--++--+--+--++-+--+++++++- OT(7,4, 614) = 0++++++++------++++-----+----+++--- OT(7,4, 615) = 0++--++---++++-++---+++++-+++-+-+-- OT(7,4, 616) = 0+--++--+++--+++--+++--+-++----+++- OT(7,4, 617) = 0++--++--+----+++--+-----+---+--+-- OT(7,4, 618) = 0+++++++++++++++++++++++-++++--+--- OT(7,4, 619) = 0++-+++-++-+-+---+--+-+---+-++-0+-- OT(7,4, 620) = 0+----+++---++++---+++--+---+--0++- OT(7,4, 621) = 0+-++-+--+--++-+-++-++---+--+-+0-+- OT(7,4, 622) = 0++-+++-+-+-+-+++-+-+-+---+-++-0-++ OT(7,4, 623) = 0+-+++-+++--++-+-+++--++++--+-+0+-+ OT(7,4, 624) = 0+++-+++-++-+--+++-++-+-+++-+++0+++ OT(7,4, 625) = 0+++-+++---+-++---+++-+-+++-+++0--- OT(7,4, 626) = 0++-+--+--+-+-+--+--+-+--+-+--+0-++ OT(7,4, 627) = 0+---+------+++-++++++--++++-++0++- OT(7,4, 628) = 0+-+++-+++--++--+---++----++-+-0-+- OT(7,4, 629) = 0++----+++----+--+++------+++-+0+-- OT(7,4, 630) = 0+-+++-++-++--++-++-++----++-+-0+-+ OT(7,4, 631) = 0++++----++++++----+++++-----++0--- OT(7,4, 632) = 0+--+-++-++--++-++-++--+---++++0++- OT(7,4, 633) = 0++----+++----+++---++++++---+-0-++ OT(7,4, 634) = 0++++++++++++++---------+----++0+++ OT(7,4, 635) = 0+--++--+--++--+--+--++-+--++++0++- OT(7,4, 636) = 0++++++++------++++-----+----++0--- OT(7,4, 637) = 0++++-------------------+++++--0--- OT(7,4, 638) = 0+--++--+++--+++--+++--+-++----0++- OT(7,4, 639) = 0++--++--+----+++--+-----+---+-0+-- OT(7,4, 640) = 0+++++++++++++++++++++++-++++--0--- OT(7,4, 641) = 0+-++-+--+--++-+-++-++--++++------+ OT(7,4, 642) = 0+-+++-++-++--+-+--+--++-+++------+ OT(7,4, 643) = 0+----++++++----++++++----++--+--+- OT(7,4, 644) = 0+----+++---+++-+++---++++--++---+- OT(7,4, 645) = 0+----++++++---+------++++--++-++-+ OT(7,4, 646) = 0++-+--+--+-+-+--+--+-+-+++-+--+--- OT(7,4, 647) = 0+---+---+++----+++---+++-++--+++-+ OT(7,4, 648) = 0+-+++-++-++--++-++-++--+---++++++- OT(7,4, 649) = 0+---+---+++---+---+++---+--++---+- OT(7,4, 650) = 0++-+++-+-+-+-+++-+-+-+-+--+-+++--- OT(7,4, 651) = 0+++-+++---+-+++++---+-++-+-+-+-+-- OT(7,4, 652) = 0+--+-++-++--+++--+--++--+-++-++-+- OT(7,4, 653) = 0+--+-++-++--++-++-++--++-+--+--+-+ OT(7,4, 654) = 0+--++--+++--+++--+++--+++-++-+-+-+ OT(7,4, 655) = 0+--++--+--++--+--+--++---+--+--+-+ OT(7,4, 656) = 0++----+++----+++---++++-++++++---- OT(7,4, 657) = 0++----++-++++---++-++++-++++++++++ OT(7,4, 658) = 0++--++---++++---+++----+++++++---- OT(7,4, 659) = 0++--++--+----+++--+----+++++++++++ OT(7,4, 660) = 0++++++++++++++-----------++++-++-- OT(7,4, 661) = 0++++----------++++++++++-++++-++-- OT(7,4, 662) = 0++++--------------------+----+--++ OT(7,4, 663) = 0++++----++++++++++------+----+++-- OT(7,4, 664) = 0++++----++++++----++++++-++++---++ OT(7,4, 665) = 0++++++++------++++-------++++---++ OT(7,4, 666) = 0+++++++++++++++++++++++++----+--++ OT(7,4, 667) = 0+-++-+--+--++-+-++-++--+++-------+ OT(7,4, 668) = 0+-+++-++-++--+-+--+--++-++-------+ OT(7,4, 669) = 0+----+++---+++-+++---++++-+++---+- OT(7,4, 670) = 0+++----+++-+-----+++-+---+++-+-+-- OT(7,4, 671) = 0+++----+++-+--+++---+-+++---+-+-++ OT(7,4, 672) = 0++-+--+--+-+-+--+--+-+-+++++--+--- OT(7,4, 673) = 0+---+---+++----+++---+++-+---+++-+ OT(7,4, 674) = 0+-+++-++-++--++-++-++--+--+++++++- OT(7,4, 675) = 0+---+---+++---+---+++---+-+++---+- OT(7,4, 676) = 0+-+++-+++--++-+-+++--++-++----+++- OT(7,4, 677) = 0+++-+++---+-+++++---+-++-+++-+-+-- OT(7,4, 678) = 0+--+-++-++--+++--+--++--+--+-++-+- OT(7,4, 679) = 0+--++--+--++---++-++--+++--+-++-+- OT(7,4, 680) = 0++++--------------------+-+--+--++ OT(7,4, 681) = 0++++----++++++----++++++-+-++---++ OT(7,4, 682) = 0++----+++----+++---++++-++-+++---- OT(7,4, 683) = 0++----++-++++---++-++++-++-+++++++ OT(7,4, 684) = 0++--++--+----+--++-++++---+------- OT(7,4, 685) = 0++--++---++++-++---++++---+---++++ OT(7,4, 686) = 0++++++++++++++-----------+-++-++-- OT(7,4, 687) = 0+--+-++-++--++-++-++--++-++-+--+-+ OT(7,4, 688) = 0++++----++++++++++------+-+--+++-- OT(7,4, 689) = 0+--++--+--++--+--+--++---++-+--+-+ OT(7,4, 690) = 0++++++++------++++-------+-++---++ OT(7,4, 691) = 0+--++--+++--+++--+++--+++--+-+-+-+ OT(7,4, 692) = 0+++++++++++++++++++++++++-+--+--++ OT(7,4, 693) = 0+-++-+--+--++-+-++-++--++----+--+- OT(7,4, 694) = 0++-+++-++-+-+---+--+-+-+-+--+--+-- OT(7,4, 695) = 0+-+++-++-++--+-+--+--++-+----+--+- OT(7,4, 696) = 0+++----+++-+-----+++-+----++---+++ OT(7,4, 697) = 0++-+--+--+-+-+--+--+-+-++-++-++-++ OT(7,4, 698) = 0+++----+--+-++---+--+-++++--++-+++ OT(7,4, 699) = 0++-+++-+-+-+-+++-+-+-+-+-+--+-+-++ OT(7,4, 700) = 0++-+++-++-+-+-++-++-+-+-+-++-++-++ OT(7,4, 701) = 0+----++++++---+------++++++++++++- OT(7,4, 702) = 0+++----+++-+--+++---+-++++--+++--- OT(7,4, 703) = 0+---+------+++-++++++---+++++++++- OT(7,4, 704) = 0+----+++---+++-+++---+++++++++---+ OT(7,4, 705) = 0+-++-+--+--++--+--+--++--++++-++-+ OT(7,4, 706) = 0+++-+++-++-+-----+--+-++--++--+--- OT(7,4, 707) = 0+----++++++----++++++------------+ OT(7,4, 708) = 0+----+++---++++---+++---------+++- OT(7,4, 709) = 0+-+++-++-++--++-++-++--+-++++-++-+ OT(7,4, 710) = 0+++-+++-++-+--+++-++-+--++--++-+++ OT(7,4, 711) = 0+-+++-+++--++-+-+++--++-+----+++-+ OT(7,4, 712) = 0+---+---+++---+---+++---++++++---+ OT(7,4, 713) = 0+++-+++---+-+++++---+-++--++---+++ OT(7,4, 714) = 0+---+------++++------+++---------+ OT(7,4, 715) = 0+--++--+--++---++-++--++++-+--+--+ OT(7,4, 716) = 0+--+-++-++--+++--+--++--++-+--+--+ OT(7,4, 717) = 0++----++-++++---++-++++-+--++-++-- OT(7,4, 718) = 0++----+++----+--+++----+-++--+++-- OT(7,4, 719) = 0++----+++----+++---++++-+--++---++ OT(7,4, 720) = 0+--+-++-++--++-++-++--++--+-++-++- OT(7,4, 721) = 0++--++--+----+--++-++++--++--+--++ OT(7,4, 722) = 0+--++--+--++--+--+--++----+-++-++- OT(7,4, 723) = 0+--++--+++--+++--+++--++++-+---++- OT(7,4, 724) = 0++--++---++++-++---++++--++--+++-- OT(7,4, 725) = 0++--++--+----+++--+----++--++-++-- OT(7,4, 726) = 0++++++++++++++-------------+++++++ OT(7,4, 727) = 0++++----------++++++++++---+++++++ OT(7,4, 728) = 0++++--------------------+++------- OT(7,4, 729) = 0++++----++++++++++------+++---++++ OT(7,4, 730) = 0++++----++++++----++++++---+++---- OT(7,4, 731) = 0++++++++----------+++++++++---++++ OT(7,4, 732) = 0++++++++------++++---------+++---- OT(7,4, 733) = 0+++++++++++++++++++++++++++------- OT(7,4, 734) = 0+-++-+--+--++-+-++-++--++----+--++ OT(7,4, 735) = 0++-+++-++-+-+---+--+-+-+-+--+--+-+ OT(7,4, 736) = 0+-+++-++-++--+-+--+--++-+----+--++ OT(7,4, 737) = 0+++----+++-+-----+++-+----++---++- OT(7,4, 738) = 0++-+--+--+-+-+--+--+-+-++-++-++-+- OT(7,4, 739) = 0+++----+--+-++---+--+-++++--++-++- OT(7,4, 740) = 0++-+++-+-+-+-+++-+-+-+-+-+--+-+-+- OT(7,4, 741) = 0++-+++-++-+-+-++-++-+-+-+-++-++-+- OT(7,4, 742) = 0+----++++++---+------+++++++++++++ OT(7,4, 743) = 0+++----+++-+--+++---+-++++--+++--+ OT(7,4, 744) = 0+---+------+++-++++++---++++++++++ OT(7,4, 745) = 0+----+++---+++-+++---+++++++++---- OT(7,4, 746) = 0+---+---+++----+++---+++------++++ OT(7,4, 747) = 0+-++-+--+--++--+--+--++--++++-++-- OT(7,4, 748) = 0+++-+++-++-+-----+--+-++--++--+--+ OT(7,4, 749) = 0+----++++++----++++++------------- OT(7,4, 750) = 0+----+++---++++---+++---------++++ OT(7,4, 751) = 0+-+++-++-++--++-++-++--+-++++-++-- OT(7,4, 752) = 0+++-+++-++-+--+++-++-+--++--++-++- OT(7,4, 753) = 0+-+++-+++--++-+-+++--++-+----+++-- OT(7,4, 754) = 0+---+---+++---+---+++---++++++---- OT(7,4, 755) = 0+++-+++---+-+++++---+-++--++---++- OT(7,4, 756) = 0+---+------++++------+++---------- OT(7,4, 757) = 0+--++--+--++---++-++--++++-+--+--- OT(7,4, 758) = 0+--+-++-++--+++--+--++--++-+--+--- OT(7,4, 759) = 0++----++-++++---++-++++-+--++-++-+ OT(7,4, 760) = 0++----+++----+--+++----+-++--+++-+ OT(7,4, 761) = 0++----+++----+++---++++-+--++---+- OT(7,4, 762) = 0+--+-++-++--++-++-++--++--+-++-+++ OT(7,4, 763) = 0++--++--+----+--++-++++--++--+--+- OT(7,4, 764) = 0+--++--+--++--+--+--++----+-++-+++ OT(7,4, 765) = 0+--++--+++--+++--+++--++++-+---+++ OT(7,4, 766) = 0++--++---++++-++---++++--++--+++-+ OT(7,4, 767) = 0++--++--+----+++--+----++--++-++-+ OT(7,4, 768) = 0++++++++++++++-------------++++++- OT(7,4, 769) = 0++++----------++++++++++---++++++- OT(7,4, 770) = 0++++--------------------+++------+ OT(7,4, 771) = 0++++----++++++++++------+++---+++- OT(7,4, 772) = 0++++----++++++----++++++---+++---+ OT(7,4, 773) = 0++++++++------++++---------+++---+ OT(7,4, 774) = 0+++++++++++++++++++++++++++------+ OT(7,4, 775) = 0+-++-+--+--++-+-++-++--++-------++ OT(7,4, 776) = 0++-+++-++-+-+---+--+-+-+-+--++-+-+ OT(7,4, 777) = 0+-+++-++-++--+-+--+--++-+-------++ OT(7,4, 778) = 0++-+--+--+-+-+--+--+-+-++-++--+-+- OT(7,4, 779) = 0+++----+++-+-----+++-+----++-+-++- OT(7,4, 780) = 0+++----+--+-++---+--+-++++--+--++- OT(7,4, 781) = 0++-+++-+-+-+-+++-+-+-+-+-+--+++-+- OT(7,4, 782) = 0++-+++-++-+-+-++-++-+-+-+-++--+-+- OT(7,4, 783) = 0+----++++++---+------++++++++-++++ OT(7,4, 784) = 0+++----+++-+--+++---+-++++--+-+--+ OT(7,4, 785) = 0+---+------+++-++++++---+++++-++++ OT(7,4, 786) = 0+----+++---+++-+++---++++++++----- OT(7,4, 787) = 0+---+---+++----+++---+++-----+++++ OT(7,4, 788) = 0+-++-+--+--++--+--+--++--+++++++-- OT(7,4, 789) = 0+++-+++-++-+-----+--+-++--++-++--+ OT(7,4, 790) = 0+----+++---++++---+++--------+++++ OT(7,4, 791) = 0+----++++++----++++++--------+---- OT(7,4, 792) = 0+-+++-++-++--++-++-++--+-+++++++-- OT(7,4, 793) = 0+++-+++-++-+--+++-++-+--++--+--++- OT(7,4, 794) = 0+-+++-+++--++-+-+++--++-+-----++-- OT(7,4, 795) = 0+---+---+++---+---+++---+++++----- OT(7,4, 796) = 0+++-+++---+-+++++---+-++--++-+-++- OT(7,4, 797) = 0+---+------++++------+++-----+---- OT(7,4, 798) = 0+--++--+--++---++-++--++++-+-++--- OT(7,4, 799) = 0+--+-++-++--+++--+--++--++-+-++--- OT(7,4, 800) = 0++++--------------------+++--+---+ OT(7,4, 801) = 0++++----++++++----++++++---++----+ OT(7,4, 802) = 0++----+++----+++---++++-+--+++--+- OT(7,4, 803) = 0+--+-++-++--++-++-++--++--+-+--+++ OT(7,4, 804) = 0++--++--+----+--++-++++--++-----+- OT(7,4, 805) = 0++--++---++++---+++----++--+++--+- OT(7,4, 806) = 0+--++--+--++--+--+--++----+-+--+++ OT(7,4, 807) = 0+--++--+++--+++--+++--++++-+-+-+++ OT(7,4, 808) = 0++++++++++++++-------------++-+++- OT(7,4, 809) = 0++++----++++++++++------+++--++++- OT(7,4, 810) = 0++----++-++++---++-++++-+--+++++-+ OT(7,4, 811) = 0++----+++----+--+++----+-++---++-+ OT(7,4, 812) = 0++--++--+----+++--+----++--+++++-+ OT(7,4, 813) = 0++++++++------++++---------++----+ OT(7,4, 814) = 0++--++---++++-++---++++--++---++-+ OT(7,4, 815) = 0+++++++++++++++++++++++++++--+---+ OT(7,4, 816) = 0+-++-+--+--++-+-++-++--++--------+ OT(7,4, 817) = 0++-+++-++-+-+---+--+-+-+-+--++-+++ OT(7,4, 818) = 0+-+++-++-++--+-+--+--++-+--------+ OT(7,4, 819) = 0++-+--+--+-+-+--+--+-+-++-++--+--- OT(7,4, 820) = 0+++----+++-+-----+++-+----++-+-+-- OT(7,4, 821) = 0+++----+--+-++---+--+-++++--+--+-- OT(7,4, 822) = 0++-+++-+-+-+-+++-+-+-+-+-+--+++--- OT(7,4, 823) = 0++-+++-++-+-+-++-++-+-+-+-++--+--- OT(7,4, 824) = 0+----++++++---+------++++++++-++-+ OT(7,4, 825) = 0+++----+++-+--+++---+-++++--+-+-++ OT(7,4, 826) = 0+---+------+++-++++++---+++++-++-+ OT(7,4, 827) = 0+----+++---+++-+++---++++++++---+- OT(7,4, 828) = 0+---+---+++----+++---+++-----+++-+ OT(7,4, 829) = 0+-++-+--+--++--+--+--++--++++++++- OT(7,4, 830) = 0+++-+++-++-+-----+--+-++--++-++-++ OT(7,4, 831) = 0+----++++++----++++++--------+--+- OT(7,4, 832) = 0+-+++-++-++--++-++-++--+-++++++++- OT(7,4, 833) = 0+++-+++-++-+--+++-++-+--++--+--+-- OT(7,4, 834) = 0+-+++-+++--++-+-+++--++-+-----+++- OT(7,4, 835) = 0+---+---+++---+---+++---+++++---+- OT(7,4, 836) = 0+++-+++---+-+++++---+-++--++-+-+-- OT(7,4, 837) = 0+---+------++++------+++-----+--+- OT(7,4, 838) = 0+--++--+--++---++-++--++++-+-++-+- OT(7,4, 839) = 0+--+-++-++--+++--+--++--++-+-++-+- OT(7,4, 840) = 0++++--------------------+++--+--++ OT(7,4, 841) = 0++++----++++++----++++++---++---++ OT(7,4, 842) = 0++----+++----+++---++++-+--+++---- OT(7,4, 843) = 0++----++-++++-++--+----+-++------- OT(7,4, 844) = 0+--+-++-++--++-++-++--++--+-+--+-+ OT(7,4, 845) = 0++--++--+----+--++-++++--++------- OT(7,4, 846) = 0++--++---++++---+++----++--+++---- OT(7,4, 847) = 0+--++--+--++--+--+--++----+-+--+-+ OT(7,4, 848) = 0+--++--+++--+++--+++--++++-+-+-+-+ OT(7,4, 849) = 0++++++++++++++-------------++-++-- OT(7,4, 850) = 0++++----++++++++++------+++--+++-- OT(7,4, 851) = 0++----++-++++---++-++++-+--+++++++ OT(7,4, 852) = 0++----+++----+--+++----+-++---++++ OT(7,4, 853) = 0++--++--+----+++--+----++--+++++++ OT(7,4, 854) = 0++++++++------++++---------++---++ OT(7,4, 855) = 0++--++---++++-++---++++--++---++++ OT(7,4, 856) = 0+++++++++++++++++++++++++++--+--++ OT(7,4, 857) = 0+-+++-++-++--+-+--+--++-+-------0+ OT(7,4, 858) = 0+++----+--+-++---+--+-++++--+--+0- OT(7,4, 859) = 0+++----+++-+--+++---+-++++--+-+-0+ OT(7,4, 860) = 0++-+++-++-+-+-++-++-+-+-+-++--+-0- OT(7,4, 861) = 0+++-+++-++-+--+++-++-+--++--+--+0- OT(7,4, 862) = 0+----+++---+++-+++---++++++++---0- OT(7,4, 863) = 0+---+---+++---+---+++---+++++---0- OT(7,4, 864) = 0++-+++-++-+-+---+--+-+-+-+--++-+0+ OT(7,4, 865) = 0+++-+++-++-+-----+--+-++--++-++-0+ OT(7,4, 866) = 0+-++-+--+--++--+--+--++--+++++++0- OT(7,4, 867) = 0++++----++++++----++++++---++---0+ OT(7,4, 868) = 0+++-+++---+-+++++---+-++--++-+-+0- OT(7,4, 869) = 0++--++---++++---+++----++--+++--0- OT(7,4, 870) = 0++--++--+----+--++-++++--++-----0- OT(7,4, 871) = 0+---+---+++----+++---+++-----+++0+ OT(7,4, 872) = 0++++++++++++++-------------++-++0- OT(7,4, 873) = 0++++----++++++++++------+++--+++0- OT(7,4, 874) = 0++----++-++++---++-++++-+--+++++0+ OT(7,4, 875) = 0++--++--+----+++--+----++--+++++0+ OT(7,4, 876) = 0++----+++----+--+++----+-++---++0+ OT(7,4, 877) = 0++--++---++++-++---++++--++---++0+ OT(7,4, 878) = 0+----++++++----++++++--------+--0- OT(7,4, 879) = 0+-+++-++-++--+-+--+--++-+---+----+ OT(7,4, 880) = 0++-+--+--+-+-+--+--+-+-++-+++-+--- OT(7,4, 881) = 0+-+++-+++--++-+-+++--++-+---+-+++- OT(7,4, 882) = 0++-+++-++-+-+-++-++-+-+-+-+++-+--- OT(7,4, 883) = 0+++----+++-+--+++---+-++++----+-++ OT(7,4, 884) = 0+++-+++---+-++---+++-+--++----+-++ OT(7,4, 885) = 0+----++++++----++++++-------++--+- OT(7,4, 886) = 0+---+---+++----+++---+++----++++-+ OT(7,4, 887) = 0+----+++---+++-+++---+++++++----+- OT(7,4, 888) = 0+---+---+++---+---+++---++++----+- OT(7,4, 889) = 0+---+------++++------+++----++--+- OT(7,4, 890) = 0++++--------------------+++-++--++ OT(7,4, 891) = 0+--++--+--++---++-++--++++-++++-+- OT(7,4, 892) = 0+--+-++-++--+++--+--++--++-++++-+- OT(7,4, 893) = 0++++----++++++----++++++---+----++ OT(7,4, 894) = 0++----+++----+++---++++-+--+-+---- OT(7,4, 895) = 0++----++-++++---++-++++-+--+-+++++ OT(7,4, 896) = 0++--++--+----+--++-++++--++-+----- OT(7,4, 897) = 0++--++---++++-++---++++--++-+-++++ OT(7,4, 898) = 0++++++++++++++-------------+--++-- OT(7,4, 899) = 0+--+-++-++--++-++-++--++--+----+-+ OT(7,4, 900) = 0++++----++++++++++------+++-++++-- OT(7,4, 901) = 0+--++--+--++--+--+--++----+----+-+ OT(7,4, 902) = 0++++++++------++++---------+----++ OT(7,4, 903) = 0+--++--+++--+++--+++--++++-+++-+-+ OT(7,4, 904) = 0+++++++++++++++++++++++++++-++--++ OT(7,4, 905) = 0++-+++-++-+-+---+--+-+-+-+---+--++ OT(7,4, 906) = 0+-+++-++-++--+-+--+--++-+---+--+-+ OT(7,4, 907) = 0+-++-+--+--++--+--+--++--+++-++-+- OT(7,4, 908) = 0++-+--+--+-+-+--+--+-+-++-+++-++-- OT(7,4, 909) = 0++-+++-+-+-+-+++-+-+-+-+-+---+++-- OT(7,4, 910) = 0+-+++-+++--++-+-+++--++-+---+-+-+- OT(7,4, 911) = 0+-+++-++-++--++-++-++--+-+++-++-+- OT(7,4, 912) = 0++-+++-++-+-+-++-++-+-+-+-+++-++-- OT(7,4, 913) = 0+----++++++---+------+++++++--+--+ OT(7,4, 914) = 0+++----+++-+--+++---+-++++----++++ OT(7,4, 915) = 0+++-+++---+-++---+++-+--++----++++ OT(7,4, 916) = 0+---+------+++-++++++---++++--+--+ OT(7,4, 917) = 0+----++++++----++++++-------++-++- OT(7,4, 918) = 0+++----+++-+-----+++-+----++++---- OT(7,4, 919) = 0+---+---+++----+++---+++----+++--+ OT(7,4, 920) = 0+++-+++-++-+-----+--+-++--++++++++ OT(7,4, 921) = 0+++----+--+-++---+--+-++++-------- OT(7,4, 922) = 0+----+++---+++-+++---+++++++---++- OT(7,4, 923) = 0+++----+--+-+++++-++-+----++++++++ OT(7,4, 924) = 0+++-+++-++-+--+++-++-+--++-------- OT(7,4, 925) = 0+---+---+++---+---+++---++++---++- OT(7,4, 926) = 0+++-+++---+-+++++---+-++--++++---- OT(7,4, 927) = 0+---+------++++------+++----++-++- OT(7,4, 928) = 0++++--------------------+++-++-+++ OT(7,4, 929) = 0+--++--+--++---++-++--++++-++++++- OT(7,4, 930) = 0+--+-++-++--+++--+--++--++-++++++- OT(7,4, 931) = 0++++----++++++----++++++---+---+++ OT(7,4, 932) = 0++----++-++++-++--+----+-++-+--+-- OT(7,4, 933) = 0++----+++----+--+++----+-++-+-+-++ OT(7,4, 934) = 0++----++-++++---++-++++-+--+-++-++ OT(7,4, 935) = 0++--++--+----+--++-++++--++-+--+-- OT(7,4, 936) = 0++--++---++++---+++----++--+-+-+-- OT(7,4, 937) = 0++--++---++++-++---++++--++-+-+-++ OT(7,4, 938) = 0++--++--+----+++--+----++--+-++-++ OT(7,4, 939) = 0++++++++++++++-------------+--+--- OT(7,4, 940) = 0+--+-++-++--++-++-++--++--+------+ OT(7,4, 941) = 0++++----++++++++++------+++-+++--- OT(7,4, 942) = 0+--++--+--++--+--+--++----+------+ OT(7,4, 943) = 0++++++++------++++---------+---+++ OT(7,4, 944) = 0+--++--+++--+++--+++--++++-+++---+ OT(7,4, 945) = 0+++++++++++++++++++++++++++-++-+++ OT(7,4, 946) = 0++-+++-++-+-+---+--+-+-+-+---+-0++ OT(7,4, 947) = 0+-++-+--+--++--+--+--++--+++-++0+- OT(7,4, 948) = 0+---+------+++-++++++---++++--+0-+ OT(7,4, 949) = 0+----++++++---+------+++++++--+0-+ OT(7,4, 950) = 0+-+++-++-++--++-++-++--+-+++-++0+- OT(7,4, 951) = 0++-+++-+-+-+-+++-+-+-+-+-+---++0-- OT(7,4, 952) = 0+----+++---+++-+++---+++++++---0+- OT(7,4, 953) = 0+++----+++-+--+++---+-++++----+0++ OT(7,4, 954) = 0+++-+++-++-+--+++-++-+--++-----0-- OT(7,4, 955) = 0+---+---+++---+---+++---++++---0+- OT(7,4, 956) = 0+++----+--+-++---+--+-++++-----0-- OT(7,4, 957) = 0+++-+++---+-++---+++-+--++----+0++ OT(7,4, 958) = 0++++--------------------+++-++-0++ OT(7,4, 959) = 0+--++--+--++---++-++--++++-++++0+- OT(7,4, 960) = 0+--+-++-++--+++--+--++--++-++++0+- OT(7,4, 961) = 0+-+++-++-++--+-+--+--++-+---+--0-+ OT(7,4, 962) = 0+---+---+++----+++---+++----+++0-+ OT(7,4, 963) = 0++-+--+--+-+-+--+--+-+-++-+++-+0-- OT(7,4, 964) = 0++++----++++++----++++++---+---0++ OT(7,4, 965) = 0++----++-++++-++--+----+-++-+--0-- OT(7,4, 966) = 0+---+------++++------+++----++-0+- OT(7,4, 967) = 0++----+++----+--+++----+-++-+-+0++ OT(7,4, 968) = 0++--++--+----+--++-++++--++-+--0-- OT(7,4, 969) = 0++--++---++++---+++----++--+-+-0-- OT(7,4, 970) = 0+++-+++-++-+-----+--+-++--+++++0++ OT(7,4, 971) = 0++--++---++++-++---++++--++-+-+0++ OT(7,4, 972) = 0++++++++++++++-------------+--+0-- OT(7,4, 973) = 0+--+-++-++--++-++-++--++--+----0-+ OT(7,4, 974) = 0++++----++++++++++------+++-+++0-- OT(7,4, 975) = 0+----++++++----++++++-------++-0+- OT(7,4, 976) = 0+-+++-+++--++-+-+++--++-+---+-+0+- OT(7,4, 977) = 0++-+++-++-+-+-++-++-+-+-+-+++-+0-- OT(7,4, 978) = 0+--++--+--++--+--+--++----+----0-+ OT(7,4, 979) = 0+++-+++---+-+++++---+-++--++++-0-- OT(7,4, 980) = 0++----++-++++---++-++++-+--+-++0++ OT(7,4, 981) = 0++++++++------++++---------+---0++ OT(7,4, 982) = 0+--++--+++--+++--+++--++++-+++-0-+ OT(7,4, 983) = 0+++----+++-+-----+++-+----++++-0-- OT(7,4, 984) = 0++--++--+----+++--+----++--+-++0++ OT(7,4, 985) = 0+++++++++++++++++++++++++++-++-0++ OT(7,4, 986) = 0++-+++-++-+-+---+--+-+-+-+-++--+-- OT(7,4, 987) = 0+-++-+--+--++-+-++-++--++--+-+--+- OT(7,4, 988) = 0+-+++-++-++--+-+--+--++-+--+-+--+- OT(7,4, 989) = 0+----+++---+++-+++---++++++-++---+ OT(7,4, 990) = 0++-+--+--+-+-+--+--+-+-++-+--++-++ OT(7,4, 991) = 0+----++++++----++++++------+-----+ OT(7,4, 992) = 0++-+++-+-+-+-+++-+-+-+-+-+-++-+-++ OT(7,4, 993) = 0++-+++-++-+-+-++-++-+-+-+-+--++-++ OT(7,4, 994) = 0+++-+++---+-++---+++-+--++-++++--- OT(7,4, 995) = 0+---+------+++-++++++---+++-+++++- OT(7,4, 996) = 0+++----+++-+--+++---+-++++-++++--- OT(7,4, 997) = 0+++----+++-+-----+++-+----+----+++ OT(7,4, 998) = 0+----+++---++++---+++------+--+++- OT(7,4, 999) = 0+-++-+--+--++--+--+--++--++-+-++-+ OT(7,4,1000) = 0+++----+--+-++---+--+-++++-+++-+++



Maintained by Lukas Finschi (finschi [at] ifor.math.ethz.ch)