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 = 9, rank = 7 (dimension = 6)

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



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