I think we use sets here...I'm not really sure but I think you just make a code like {1245679} {2456791} {4567912} {5679124} {6791245} {7912456} {9124567}. it's a bit confusing but I would say that 7 codes are possible. I'm not entirely sure. but hopefully I'm right?
