YES

Problem:
 f(a()) -> g(h(a()))
 h(g(x)) -> g(h(f(x)))
 k(x,h(x),a()) -> h(x)
 k(f(x),y,x) -> f(x)

Proof:
 Bounds Processor:
  bound: 3
  enrichment: match
  automaton:
   final states: {46,45,44,43,35,34,33,28,27,26,18,17,16,15,10,9,6}
   transitions:
    k0(9,34,26) -> 6*
    k0(18,34,45) -> 6*
    k0(16,16,15) -> 6*
    k0(44,33,27) -> 6*
    k0(18,46,10) -> 6*
    k0(43,35,26) -> 6*
    k0(28,33,16) -> 6*
    k0(27,35,15) -> 6*
    k0(26,33,44) -> 6*
    k0(16,9,26) -> 6*
    k0(15,46,17) -> 6*
    k0(45,28,9) -> 6*
    k0(10,33,33) -> 6*
    k0(34,28,18) -> 6*
    k0(9,9,34) -> 6*
    k0(33,15,33) -> 6*
    k0(28,26,27) -> 6*
    k0(27,43,10) -> 6*
    k0(27,28,26) -> 6*
    k0(10,26,44) -> 6*
    k0(9,6,15) -> 6*
    k0(44,34,33) -> 6*
    k0(9,28,43) -> 6*
    k0(34,10,15) -> 6*
    k0(34,6,45) -> 6*
    k0(18,6,34) -> 6*
    k0(43,10,34) -> 6*
    k0(26,27,6) -> 6*
    k0(6,43,34) -> 6*
    k0(46,27,16) -> 6*
    k0(34,18,10) -> 6*
    k0(44,27,44) -> 6*
    k0(28,27,33) -> 6*
    k0(17,16,28) -> 6*
    k0(27,18,18) -> 6*
    k0(9,18,35) -> 6*
    k0(43,15,10) -> 6*
    k0(28,35,28) -> 6*
    k0(6,33,26) -> 6*
    k0(16,35,16) -> 6*
    k0(35,17,17) -> 6*
    k0(15,33,45) -> 6*
    k0(34,15,46) -> 6*
    k0(18,15,35) -> 6*
    k0(26,10,9) -> 6*
    k0(16,28,27) -> 6*
    k0(15,45,10) -> 6*
    k0(35,10,28) -> 6*
    k0(10,6,28) -> 6*
    k0(9,28,35) -> 6*
    k0(33,34,34) -> 6*
    k0(28,45,28) -> 6*
    k0(10,45,45) -> 6*
    k0(45,16,43) -> 6*
    k0(33,27,45) -> 6*
    k0(17,27,34) -> 6*
    k0(46,46,17) -> 6*
    k0(6,27,43) -> 6*
    k0(35,46,26) -> 6*
    k0(45,44,46) -> 6*
    k0(44,46,45) -> 6*
    k0(9,18,27) -> 6*
    k0(18,44,44) -> 6*
    k0(43,26,16) -> 6*
    k0(28,46,34) -> 6*
    k0(17,46,43) -> 6*
    k0(35,17,9) -> 6*
    k0(45,6,35) -> 6*
    k0(44,43,26) -> 6*
    k0(28,43,15) -> 6*
    k0(18,15,27) -> 6*
    k0(17,17,26) -> 6*
    k0(26,43,43) -> 6*
    k0(6,17,35) -> 6*
    k0(15,10,10) -> 6*
    k0(26,17,45) -> 6*
    k0(9,34,17) -> 6*
    k0(10,17,34) -> 6*
    k0(16,16,6) -> 6*
    k0(6,10,46) -> 6*
    k0(35,18,15) -> 6*
    k0(9,27,28) -> 6*
    k0(10,10,45) -> 6*
    k0(44,33,18) -> 6*
    k0(43,35,17) -> 6*
    k0(34,16,44) -> 6*
    k0(44,18,34) -> 6*
    k0(18,16,33) -> 6*
    k0(27,35,6) -> 6*
    k0(33,18,43) -> 6*
    k0(16,9,17) -> 6*
    k0(16,44,9) -> 6*
    k0(6,27,35) -> 6*
    k0(35,26,10) -> 6*
    k0(46,33,45) -> 6*
    k0(45,35,44) -> 6*
    k0(9,44,17) -> 6*
    k0(44,15,15) -> 6*
    k0(28,26,18) -> 6*
    k0(43,28,28) -> 6*
    k0(27,28,17) -> 6*
    k0(33,46,46) -> 6*
    k0(18,9,44) -> 6*
    k0(17,46,35) -> 6*
    k0(46,45,10) -> 6*
    k0(6,46,44) -> 6*
    k0(34,10,6) -> 6*
    k0(9,6,6) -> 6*
    k0(45,6,27) -> 6*
    k0(33,43,27) -> 6*
    k0(43,45,17) -> 6*
    k0(17,43,16) -> 6*
    k0(27,45,6) -> 6*
    k0(16,45,15) -> 6*
    k0(27,6,44) -> 6*
    k0(26,43,35) -> 6*
    k0(6,17,27) -> 6*
    k0(15,43,44) -> 6*
    k0(9,34,9) -> 6*
    k0(28,16,10) -> 6*
    k0(33,44,33) -> 6*
    k0(43,35,9) -> 6*
    k0(6,33,17) -> 6*
    k0(26,33,27) -> 6*
    k0(6,18,33) -> 6*
    k0(45,15,28) -> 6*
    k0(10,33,16) -> 6*
    k0(9,35,15) -> 6*
    k0(35,33,46) -> 6*
    k0(34,35,45) -> 6*
    k0(33,15,16) -> 6*
    k0(18,35,34) -> 6*
    k0(27,28,9) -> 6*
    k0(6,26,28) -> 6*
    k0(16,28,18) -> 6*
    k0(46,10,10) -> 6*
    k0(9,43,10) -> 6*
    k0(15,15,33) -> 6*
    k0(10,26,27) -> 6*
    k0(44,34,16) -> 6*
    k0(9,28,26) -> 6*
    k0(18,28,45) -> 6*
    k0(6,43,17) -> 6*
    k0(26,34,33) -> 6*
    k0(16,10,15) -> 6*
    k0(16,6,45) -> 6*
    k0(44,27,27) -> 6*
    k0(43,44,10) -> 6*
    k0(28,27,16) -> 6*
    k0(16,18,10) -> 6*
    k0(26,27,44) -> 6*
    k0(10,27,33) -> 6*
    k0(9,18,18) -> 6*
    k0(33,9,33) -> 6*
    k0(6,33,9) -> 6*
    k0(10,35,28) -> 6*
    k0(45,26,34) -> 6*
    k0(34,26,43) -> 6*
    k0(44,28,33) -> 6*
    k0(33,17,28) -> 6*
    k0(18,15,18) -> 6*
    k0(17,17,17) -> 6*
    k0(46,43,44) -> 6*
    k0(16,15,46) -> 6*
    k0(45,45,43) -> 6*
    k0(17,10,28) -> 6*
    k0(6,34,15) -> 6*
    k0(35,18,6) -> 6*
    k0(15,34,34) -> 6*
    k0(10,45,28) -> 6*
    k0(45,16,26) -> 6*
    k0(34,16,35) -> 6*
    k0(43,9,10) -> 6*
    k0(27,16,43) -> 6*
    k0(6,27,26) -> 6*
    k0(35,46,9) -> 6*
    k0(44,15,6) -> 6*
    k0(15,27,45) -> 6*
    k0(44,46,28) -> 6*
    k0(34,9,46) -> 6*
    k0(18,9,35) -> 6*
    k0(18,44,27) -> 6*
    k0(28,46,17) -> 6*
    k0(17,46,26) -> 6*
    k0(27,44,46) -> 6*
    k0(46,15,33) -> 6*
    k0(26,46,45) -> 6*
    k0(45,6,18) -> 6*
    k0(10,46,34) -> 6*
    k0(44,43,9) -> 6*
    k0(34,26,35) -> 6*
    k0(33,43,18) -> 6*
    k0(33,28,34) -> 6*
    k0(43,6,46) -> 6*
    k0(17,17,9) -> 6*
    k0(27,6,35) -> 6*
    k0(26,43,26) -> 6*
    k0(6,17,18) -> 6*
    k0(10,43,15) -> 6*
    k0(45,10,43) -> 6*
    k0(35,43,45) -> 6*
    k0(45,45,35) -> 6*
    k0(34,45,44) -> 6*
    k0(18,45,33) -> 6*
    k0(44,44,15) -> 6*
    k0(33,33,10) -> 6*
    k0(34,16,27) -> 6*
    k0(18,16,16) -> 6*
    k0(33,18,26) -> 6*
    k0(17,18,15) -> 6*
    k0(26,33,18) -> 6*
    k0(16,16,44) -> 6*
    k0(26,18,34) -> 6*
    k0(15,18,43) -> 6*
    k0(9,35,6) -> 6*
    k0(45,35,27) -> 6*
    k0(17,26,10) -> 6*
    k0(28,33,45) -> 6*
    k0(18,9,27) -> 6*
    k0(27,35,44) -> 6*
    k0(26,15,15) -> 6*
    k0(6,46,27) -> 6*
    k0(10,26,18) -> 6*
    k0(9,28,17) -> 6*
    k0(35,15,34) -> 6*
    k0(15,46,46) -> 6*
    k0(34,17,33) -> 6*
    k0(28,45,10) -> 6*
    k0(16,10,6) -> 6*
    k0(27,6,27) -> 6*
    k0(46,34,34) -> 6*
    k0(35,34,43) -> 6*
    k0(15,43,27) -> 6*
    k0(9,45,6) -> 6*
    k0(44,27,18) -> 6*
    k0(9,6,44) -> 6*
    k0(34,10,44) -> 6*
    k0(18,10,33) -> 6*
    k0(46,27,45) -> 6*
    k0(10,16,10) -> 6*
    k0(44,9,15) -> 6*
    k0(18,18,28) -> 6*
    k0(33,44,16) -> 6*
    k0(43,46,6) -> 6*
    k0(6,18,16) -> 6*
    k0(15,44,33) -> 6*
    k0(44,17,10) -> 6*
    k0(27,15,28) -> 6*
    k0(17,33,46) -> 6*
    k0(16,35,45) -> 6*
    k0(15,15,16) -> 6*
    k0(35,17,46) -> 6*
    k0(9,28,9) -> 6*
    k0(28,10,10) -> 6*
    k0(6,34,6) -> 6*
    k0(26,34,16) -> 6*
    k0(45,16,17) -> 6*
    k0(35,34,35) -> 6*
    k0(6,27,17) -> 6*
    k0(26,27,27) -> 6*
    k0(46,18,43) -> 6*
    k0(10,27,16) -> 6*
    k0(45,9,28) -> 6*
    k0(34,33,15) -> 6*
    k0(35,27,46) -> 6*
    k0(18,44,18) -> 6*
    k0(43,33,34) -> 6*
    k0(33,9,16) -> 6*
    k0(6,44,6) -> 6*
    k0(45,6,9) -> 6*
    k0(46,46,46) -> 6*
    k0(15,9,33) -> 6*
    k0(34,26,26) -> 6*
    k0(44,28,16) -> 6*
    k0(18,26,15) -> 6*
    k0(43,26,45) -> 6*
    k0(27,26,34) -> 6*
    k0(46,43,27) -> 6*
    k0(16,26,43) -> 6*
    k0(26,28,33) -> 6*
    k0(15,17,28) -> 6*
    k0(45,45,26) -> 6*
    k0(18,34,10) -> 6*
    k0(28,43,44) -> 6*
    k0(27,45,43) -> 6*
    k0(45,16,9) -> 6*
    k0(34,16,18) -> 6*
    k0(33,18,17) -> 6*
    k0(17,18,6) -> 6*
    k0(27,16,26) -> 6*
    k0(46,44,33) -> 6*
    k0(16,16,35) -> 6*
    k0(6,27,9) -> 6*
    k0(35,33,28) -> 6*
    k0(45,35,18) -> 6*
    k0(35,18,44) -> 6*
    k0(9,16,43) -> 6*
    k0(18,9,18) -> 6*
    k0(17,46,9) -> 6*
    k0(26,15,6) -> 6*
    k0(6,46,18) -> 6*
    k0(16,9,46) -> 6*
    k0(46,15,16) -> 6*
    k0(26,46,28) -> 6*
    k0(45,17,15) -> 6*
    k0(10,46,17) -> 6*
    k0(34,6,10) -> 6*
    k0(9,44,46) -> 6*
    k0(44,15,44) -> 6*
    k0(28,15,33) -> 6*
    k0(43,17,43) -> 6*
    k0(27,6,18) -> 6*
    k0(26,43,9) -> 6*
    k0(6,28,15) -> 6*
    k0(16,26,35) -> 6*
    k0(15,43,18) -> 6*
    k0(45,10,26) -> 6*
    k0(35,43,28) -> 6*
    k0(15,28,34) -> 6*
    k0(34,10,35) -> 6*
    k0(34,45,27) -> 6*
    k0(9,6,35) -> 6*
    k0(18,45,16) -> 6*
    k0(43,45,46) -> 6*
    k0(27,10,43) -> 6*
    k0(17,43,45) -> 6*
    k0(27,45,35) -> 6*
    k0(16,45,44) -> 6*
    k0(44,9,6) -> 6*
    k0(33,18,9) -> 6*
    k0(26,44,15) -> 6*
    k0(46,9,33) -> 6*
    k0(15,33,10) -> 6*
    k0(16,16,27) -> 6*
    k0(15,18,26) -> 6*
    k0(35,44,34) -> 6*
    k0(34,46,33) -> 6*
    k0(27,35,27) -> 6*
    k0(46,17,28) -> 6*
    k0(10,33,45) -> 6*
    k0(9,35,44) -> 6*
    k0(34,17,16) -> 6*
    k0(43,43,33) -> 6*
    k0(33,15,45) -> 6*
    k0(17,15,34) -> 6*
    k0(6,15,43) -> 6*
    k0(16,17,33) -> 6*
    k0(10,45,10) -> 6*
    k0(35,34,26) -> 6*
    k0(9,6,27) -> 6*
    k0(33,27,10) -> 6*
    k0(44,34,45) -> 6*
    k0(34,10,27) -> 6*
    k0(28,34,34) -> 6*
    k0(18,10,16) -> 6*
    k0(17,34,43) -> 6*
    k0(26,27,18) -> 6*
    k0(6,43,46) -> 6*
    k0(16,10,44) -> 6*
    k0(44,46,10) -> 6*
    k0(34,33,6) -> 6*
    k0(28,27,45) -> 6*
    k0(26,9,15) -> 6*
    k0(15,44,16) -> 6*
    k0(34,26,17) -> 6*
    k0(35,9,34) -> 6*
    k0(18,26,6) -> 6*
    k0(46,43,18) -> 6*
    k0(26,17,10) -> 6*
    k0(46,28,34) -> 6*
    k0(35,28,43) -> 6*
    k0(35,6,15) -> 6*
    k0(9,15,28) -> 6*
    k0(34,43,6) -> 6*
    k0(44,6,34) -> 6*
    k0(33,6,43) -> 6*
    k0(17,17,46) -> 6*
    k0(10,10,10) -> 6*
    k0(43,16,28) -> 6*
    k0(33,34,46) -> 6*
    k0(27,16,17) -> 6*
    k0(17,34,35) -> 6*
    k0(46,33,10) -> 6*
    k0(6,34,44) -> 6*
    k0(46,18,26) -> 6*
    k0(35,18,35) -> 6*
    k0(18,9,9) -> 6*
    k0(28,18,43) -> 6*
    k0(27,9,28) -> 6*
    k0(16,33,15) -> 6*
    k0(17,27,46) -> 6*
    k0(45,17,6) -> 6*
    k0(15,9,16) -> 6*
    k0(44,15,35) -> 6*
    k0(34,26,9) -> 6*
    k0(27,6,9) -> 6*
    k0(28,46,46) -> 6*
    k0(6,28,6) -> 6*
    k0(16,26,26) -> 6*
    k0(26,28,16) -> 6*
    k0(45,45,9) -> 6*
    k0(45,10,17) -> 6*
    k0(34,45,18) -> 6*
    k0(35,28,35) -> 6*
    k0(9,26,34) -> 6*
    k0(28,43,27) -> 6*
    k0(27,45,26) -> 6*
    k0(6,6,33) -> 6*
    k0(10,43,44) -> 6*
    k0(9,45,43) -> 6*
    k0(34,27,15) -> 6*
    k0(43,27,34) -> 6*
    k0(27,16,9) -> 6*
    k0(46,44,16) -> 6*
    k0(16,16,18) -> 6*
    k0(45,46,15) -> 6*
    k0(15,18,17) -> 6*
    k0(35,18,27) -> 6*
    k0(34,35,10) -> 6*
    k0(9,16,26) -> 6*
    k0(44,44,44) -> 6*
    k0(28,44,33) -> 6*
    k0(43,46,43) -> 6*
    k0(18,16,45) -> 6*
    k0(17,33,28) -> 6*
    k0(27,35,18) -> 6*
    k0(17,18,44) -> 6*
    k0(18,28,10) -> 6*
    k0(44,15,27) -> 6*
    k0(28,15,16) -> 6*
    k0(43,17,26) -> 6*
    k0(27,17,15) -> 6*
    k0(16,6,10) -> 6*
    k0(35,34,17) -> 6*
    k0(26,15,44) -> 6*
    k0(10,15,33) -> 6*
    k0(34,10,18) -> 6*
    k0(9,6,18) -> 6*
    k0(27,10,26) -> 6*
    k0(17,43,28) -> 6*
    k0(16,10,35) -> 6*
    k0(16,45,27) -> 6*
    k0(35,27,28) -> 6*
    k0(9,10,43) -> 6*
    k0(9,45,35) -> 6*
    k0(44,16,33) -> 6*
    k0(26,9,6) -> 6*
    k0(46,9,16) -> 6*
    k0(15,18,9) -> 6*
    k0(45,33,43) -> 6*
    k0(35,44,17) -> 6*
    k0(34,46,16) -> 6*
    k0(44,9,44) -> 6*
    k0(33,44,45) -> 6*
    k0(43,46,35) -> 6*
    k0(28,9,33) -> 6*
    k0(17,44,34) -> 6*
    k0(6,44,43) -> 6*
    k0(16,46,33) -> 6*
    k0(6,18,45) -> 6*
    k0(35,6,6) -> 6*
    k0(9,35,27) -> 6*
    k0(28,17,28) -> 6*
    k0(43,43,16) -> 6*
    k0(18,35,46) -> 6*
    k0(6,15,26) -> 6*
    k0(16,17,16) -> 6*
    k0(35,34,9) -> 6*
    k0(15,15,45) -> 6*
    k0(17,34,26) -> 6*
    k0(46,18,17) -> 6*
    k0(15,27,10) -> 6*
    k0(26,34,45) -> 6*
    k0(16,10,27) -> 6*
    k0(10,34,34) -> 6*
    k0(45,16,46) -> 6*
    k0(33,16,34) -> 6*
    k0(26,46,10) -> 6*
    k0(16,33,6) -> 6*
    k0(35,35,15) -> 6*
    k0(45,33,35) -> 6*
    k0(10,27,45) -> 6*
    k0(34,33,44) -> 6*
    k0(44,35,34) -> 6*
    k0(33,35,43) -> 6*
    k0(18,33,33) -> 6*
    k0(33,9,45) -> 6*
    k0(16,26,17) -> 6*
    k0(17,9,34) -> 6*
    k0(6,9,43) -> 6*
    k0(6,44,35) -> 6*
    k0(35,43,10) -> 6*
    k0(35,28,26) -> 6*
    k0(45,26,46) -> 6*
    k0(28,43,18) -> 6*
    k0(44,28,45) -> 6*
    k0(33,6,26) -> 6*
    k0(18,26,44) -> 6*
    k0(28,28,34) -> 6*
    k0(17,28,43) -> 6*
    k0(17,6,15) -> 6*
    k0(16,43,6) -> 6*
    k0(26,6,34) -> 6*
    k0(15,6,43) -> 6*
    k0(34,27,6) -> 6*
    k0(6,34,27) -> 6*
    k0(46,18,9) -> 6*
    k0(35,18,18) -> 6*
    k0(15,34,46) -> 6*
    k0(9,16,17) -> 6*
    k0(28,33,10) -> 6*
    k0(33,18,46) -> 6*
    k0(28,18,26) -> 6*
    k0(17,18,35) -> 6*
    k0(10,18,43) -> 6*
    k0(44,15,18) -> 6*
    k0(9,9,28) -> 6*
    k0(43,17,17) -> 6*
    k0(27,17,6) -> 6*
    k0(33,35,35) -> 6*
    k0(26,15,35) -> 6*
    k0(6,35,33) -> 6*
    k0(16,26,9) -> 6*
    k0(46,15,45) -> 6*
    k0(34,10,9) -> 6*
    k0(45,17,44) -> 6*
    k0(9,6,9) -> 6*
    k0(10,46,46) -> 6*
    k0(43,10,28) -> 6*
    k0(18,6,28) -> 6*
    k0(27,45,9) -> 6*
    k0(33,28,46) -> 6*
    k0(27,10,17) -> 6*
    k0(46,27,10) -> 6*
    k0(16,45,18) -> 6*
    k0(17,28,35) -> 6*
    k0(6,28,44) -> 6*
    k0(6,6,16) -> 6*
    k0(10,43,27) -> 6*
    k0(9,45,26) -> 6*
    k0(18,45,45) -> 6*
    k0(16,27,15) -> 6*
    k0(9,16,9) -> 6*
    k0(44,9,35) -> 6*
    k0(44,44,27) -> 6*
    k0(28,44,16) -> 6*
    k0(43,46,26) -> 6*
    k0(27,46,15) -> 6*
    k0(16,35,10) -> 6*
    k0(17,18,27) -> 6*
    k0(26,44,44) -> 6*
    k0(10,44,33) -> 6*
    k0(9,35,18) -> 6*
    k0(33,26,33) -> 6*
    k0(43,17,9) -> 6*
    k0(6,15,17) -> 6*
    k0(46,6,43) -> 6*
    k0(26,15,27) -> 6*
    k0(10,15,16) -> 6*
    k0(45,43,34) -> 6*
    k0(9,17,15) -> 6*
    k0(34,43,43) -> 6*
    k0(44,45,33) -> 6*
    k0(33,34,28) -> 6*
    k0(34,17,45) -> 6*
    k0(17,34,17) -> 6*
    k0(18,17,34) -> 6*
    k0(16,10,18) -> 6*
    k0(46,34,46) -> 6*
    k0(9,10,26) -> 6*
    k0(44,16,16) -> 6*
    k0(43,18,15) -> 6*
    k0(18,10,45) -> 6*
    k0(17,27,28) -> 6*
    k0(26,16,33) -> 6*
    k0(35,35,6) -> 6*
    k0(45,33,26) -> 6*
    k0(43,26,10) -> 6*
    k0(44,9,27) -> 6*
    k0(33,44,28) -> 6*
    k0(28,9,16) -> 6*
    k0(27,33,43) -> 6*
    k0(17,44,17) -> 6*
    k0(6,44,26) -> 6*
    k0(16,46,16) -> 6*
    k0(35,28,17) -> 6*
    k0(26,9,44) -> 6*
    k0(15,44,45) -> 6*
    k0(10,9,33) -> 6*
    k0(33,6,17) -> 6*
    k0(17,6,6) -> 6*
    k0(6,15,9) -> 6*
    k0(10,17,28) -> 6*
    k0(35,45,6) -> 6*
    k0(35,6,44) -> 6*
    k0(44,10,33) -> 6*
    k0(34,43,35) -> 6*
    k0(33,45,34) -> 6*
    k0(17,34,9) -> 6*
    k0(6,34,18) -> 6*
    k0(45,27,43) -> 6*
    k0(44,18,28) -> 6*
    k0(28,18,17) -> 6*
    k0(27,16,46) -> 6*
    k0(6,16,15) -> 6*
    k0(15,16,34) -> 6*
    k0(34,33,27) -> 6*
    k0(33,35,26) -> 6*
    k0(18,33,16) -> 6*
    k0(17,35,15) -> 6*
    k0(43,33,46) -> 6*
    k0(27,33,35) -> 6*
    k0(26,35,34) -> 6*
    k0(6,9,26) -> 6*
    k0(16,33,44) -> 6*
    k0(15,35,43) -> 6*
    k0(35,28,9) -> 6*
    k0(45,17,35) -> 6*
    k0(15,9,45) -> 6*
    k0(18,26,27) -> 6*
    k0(17,43,10) -> 6*
    k0(17,28,26) -> 6*
    k0(27,26,46) -> 6*
    k0(10,43,18) -> 6*
    k0(26,28,45) -> 6*
    k0(15,6,26) -> 6*
    k0(10,28,34) -> 6*
    k0(45,10,46) -> 6*
    k0(34,34,33) -> 6*
    k0(33,10,34) -> 6*
    k0(16,27,6) -> 6*
    k0(44,44,18) -> 6*
    k0(45,27,35) -> 6*
    k0(34,27,44) -> 6*
    k0(18,27,33) -> 6*
    k0(28,18,9) -> 6*
    k0(17,18,18) -> 6*
    k0(10,33,10) -> 6*
    k0(46,44,45) -> 6*
    k0(45,46,44) -> 6*
    k0(15,18,46) -> 6*
    k0(10,18,26) -> 6*
    k0(44,26,15) -> 6*
    k0(33,15,10) -> 6*
    k0(18,35,28) -> 6*
    k0(26,15,18) -> 6*
    k0(6,35,16) -> 6*
    k0(9,17,6) -> 6*
    k0(45,17,27) -> 6*
    k0(15,35,35) -> 6*
    k0(44,34,10) -> 6*
    k0(28,15,45) -> 6*
    k0(16,10,9) -> 6*
    k0(27,17,44) -> 6*
    k0(6,28,27) -> 6*
    k0(9,45,9) -> 6*
    k0(15,28,46) -> 6*
    k0(9,10,17) -> 6*
    k0(28,27,10) -> 6*
    k0(43,18,6) -> 6*
    k0(18,45,28) -> 6*
    k0(46,16,34) -> 6*
    k0(45,33,17) -> 6*
    k0(35,16,43) -> 6*
    k0(45,18,33) -> 6*
    k0(44,9,18) -> 6*
    k0(43,46,9) -> 6*
    k0(46,35,43) -> 6*
    k0(26,9,35) -> 6*
    k0(26,44,27) -> 6*
    k0(46,9,45) -> 6*
    k0(10,44,16) -> 6*
    k0(45,26,28) -> 6*
    k0(9,46,15) -> 6*
    k0(35,44,46) -> 6*
    k0(34,46,45) -> 6*
    k0(33,26,16) -> 6*
    k0(18,46,34) -> 6*
    k0(46,6,26) -> 6*
    k0(35,6,35) -> 6*
    k0(45,43,17) -> 6*
    k0(15,26,33) -> 6*
    k0(44,45,16) -> 6*
    k0(34,43,26) -> 6*
    k0(18,43,15) -> 6*
    k0(43,43,45) -> 6*
    k0(28,6,43) -> 6*
    k0(27,43,34) -> 6*
    k0(16,43,43) -> 6*
    k0(26,45,33) -> 6*
    k0(16,17,45) -> 6*
    k0(15,34,28) -> 6*
    k0(28,34,46) -> 6*
    k0(6,16,6) -> 6*
    k0(26,16,16) -> 6*
    k0(46,18,46) -> 6*
    k0(45,33,9) -> 6*
    k0(34,33,18) -> 6*
    k0(34,18,34) -> 6*
    k0(33,35,17) -> 6*
    k0(17,35,6) -> 6*
    k0(27,33,26) -> 6*
    k0(6,44,9) -> 6*
    k0(6,9,17) -> 6*
    k0(46,35,35) -> 6*
    k0(26,9,27) -> 6*
    k0(15,44,28) -> 6*
    k0(10,9,16) -> 6*
    k0(35,35,44) -> 6*
    k0(9,33,43) -> 6*
    k0(34,15,15) -> 6*
    k0(33,28,28) -> 6*
    k0(18,26,18) -> 6*
    k0(17,28,17) -> 6*
    k0(43,15,34) -> 6*
    k0(46,28,46) -> 6*
    k0(45,34,15) -> 6*
    k0(15,6,17) -> 6*
    k0(35,6,27) -> 6*
    k0(44,10,16) -> 6*
    k0(43,34,43) -> 6*
    k0(33,45,17) -> 6*
    k0(17,45,6) -> 6*
    k0(6,45,15) -> 6*
    k0(17,6,44) -> 6*
    k0(26,10,33) -> 6*
    k0(16,43,35) -> 6*
    k0(45,27,26) -> 6*
    k0(15,45,34) -> 6*
    k0(18,16,10) -> 6*
    k0(27,27,43) -> 6*
    k0(26,18,28) -> 6*
    k0(10,18,17) -> 6*
    k0(44,26,6) -> 6*
    k0(9,16,46) -> 6*
    k0(33,35,9) -> 6*
    k0(16,33,27) -> 6*
    k0(46,26,33) -> 6*
    k0(15,35,26) -> 6*
    k0(35,15,28) -> 6*
    k0(45,17,18) -> 6*
    k0(9,33,35) -> 6*
    k0(43,17,46) -> 6*
    k0(27,17,35) -> 6*
    k0(17,28,9) -> 6*
    k0(46,34,28) -> 6*
    k0(6,28,18) -> 6*
    k0(34,34,16) -> 6*
    k0(9,26,46) -> 6*
    k0(43,34,35) -> 6*
    k0(27,10,46) -> 6*
    k0(16,34,33) -> 6*
    k0(6,10,15) -> 6*
    k0(6,6,45) -> 6*
    k0(15,10,34) -> 6*
    k0(44,9,9) -> 6*
    k0(34,27,27) -> 6*
    k0(33,44,10) -> 6*
    k0(18,27,16) -> 6*
    k0(43,27,46) -> 6*
    k0(26,44,18) -> 6*
    k0(6,18,10) -> 6*
    k0(27,27,35) -> 6*
    k0(46,44,28) -> 6*
    k0(16,27,44) -> 6*
    k0(10,18,9) -> 6*
    k0(45,46,27) -> 6*
    k0(28,44,45) -> 6*
    k0(27,46,44) -> 6*
    k0(26,26,15) -> 6*
    k0(46,6,17) -> 6*
    k0(15,15,10) -> 6*
    k0(35,26,34) -> 6*
    k0(34,28,33) -> 6*
    k0(27,17,27) -> 6*
    k0(26,34,10) -> 6*
    k0(46,45,34) -> 6*
    k0(6,15,46) -> 6*
    k0(35,45,43) -> 6*
    k0(10,15,45) -> 6*
    k0(9,17,44) -> 6*
    k0(10,27,10) -> 6*
    k0(35,16,26) -> 6*
    k0(45,18,16) -> 6*
    k0(43,33,28) -> 6*
    k0(33,9,10) -> 6*
    k0(44,16,45) -> 6*
    k0(27,33,17) -> 6*
    k0(43,18,44) -> 6*
    k0(28,16,34) -> 6*
    k0(17,16,43) -> 6*
    k0(27,18,33) -> 6*
    k0(46,35,26) -> 6*
    k0(26,9,18) -> 6*
    k0(34,15,6) -> 6*
    k0(44,28,10) -> 6*
    k0(34,46,28) -> 6*
    k0(28,35,43) -> 6*
    k0(18,46,17) -> 6*
    k0(28,9,45) -> 6*
    k0(27,26,28) -> 6*
    k0(17,44,46) -> 6*
    k0(16,46,45) -> 6*
    k0(45,34,6) -> 6*
    k0(35,6,18) -> 6*
    k0(15,26,16) -> 6*
    k0(34,43,9) -> 6*
    k0(43,43,28) -> 6*
    k0(28,6,26) -> 6*
    k0(33,6,46) -> 6*
    k0(17,6,35) -> 6*
    k0(27,43,17) -> 6*
    k0(16,43,26) -> 6*
    k0(26,45,16) -> 6*
    k0(45,27,17) -> 6*
    k0(46,10,34) -> 6*
    k0(35,45,35) -> 6*
    k0(10,6,43) -> 6*
    k0(35,10,43) -> 6*
    k0(9,43,34) -> 6*
    k0(45,44,6) -> 6*
    k0(10,34,46) -> 6*
    k0(34,44,15) -> 6*
    k0(28,18,46) -> 6*
    k0(43,44,34) -> 6*
    k0(27,33,9) -> 6*
    k0(46,15,10) -> 6*
    k0(16,33,18) -> 6*
    k0(15,35,17) -> 6*
    k0(6,16,44) -> 6*
    k0(16,18,34) -> 6*
    k0(35,35,27) -> 6*
    k0(9,33,26) -> 6*
    k0(44,35,46) -> 6*
    k0(18,33,45) -> 6*
    k0(28,35,35) -> 6*
    k0(17,35,44) -> 6*
    k0(16,15,15) -> 6*
    k0(15,28,28) -> 6*
    k0(18,45,10) -> 6*
    k0(43,34,26) -> 6*
    k0(28,28,46) -> 6*
    k0(27,34,15) -> 6*
    k0(6,10,6) -> 6*
    k0(17,6,27) -> 6*
    k0(26,10,16) -> 6*
    k0(45,27,9) -> 6*
    k0(15,45,17) -> 6*
    k0(34,27,18) -> 6*
    k0(27,27,26) -> 6*
    k0(45,46,18) -> 6*
    k0(44,33,33) -> 6*
    k0(9,27,43) -> 6*
    k0(34,9,15) -> 6*
    k0(33,46,6) -> 6*
    k0(43,9,34) -> 6*
    k0(26,26,6) -> 6*
    k0(46,26,16) -> 6*
    k0(15,35,9) -> 6*
    k0(45,28,15) -> 6*
    k0(34,17,10) -> 6*
    k0(44,26,44) -> 6*
    k0(43,28,43) -> 6*
    k0(43,6,15) -> 6*
    k0(28,26,33) -> 6*
    k0(17,15,28) -> 6*
    k0(27,17,18) -> 6*
    k0(6,35,45) -> 6*
    k0(9,17,35) -> 6*
    k0(28,34,28) -> 6*
    k0(18,10,10) -> 6*
    k0(16,34,16) -> 6*
    k0(35,16,17) -> 6*
    k0(9,10,46) -> 6*
    k0(43,18,35) -> 6*
    k0(26,9,9) -> 6*
    k0(46,35,17) -> 6*
    k0(16,27,27) -> 6*
    k0(15,44,10) -> 6*
    k0(35,9,28) -> 6*
    k0(9,27,35) -> 6*
    k0(28,44,28) -> 6*
    k0(33,33,34) -> 6*
    k0(27,46,27) -> 6*
    k0(46,28,28) -> 6*
    k0(35,6,9) -> 6*
    k0(10,44,45) -> 6*
    k0(45,15,43) -> 6*
    k0(44,6,28) -> 6*
    k0(9,46,44) -> 6*
    k0(34,28,16) -> 6*
    k0(28,6,17) -> 6*
    k0(33,26,45) -> 6*
    k0(43,28,35) -> 6*
    k0(17,26,34) -> 6*
    k0(46,45,17) -> 6*
    k0(6,26,43) -> 6*
    k0(16,28,33) -> 6*
    k0(35,45,26) -> 6*
    k0(45,43,46) -> 6*
    k0(9,17,27) -> 6*
    k0(44,45,45) -> 6*
    k0(18,43,44) -> 6*
    k0(28,45,34) -> 6*
    k0(17,45,43) -> 6*
    k0(35,16,9) -> 6*
    k0(43,18,27) -> 6*
    k0(17,16,26) -> 6*
    k0(27,18,16) -> 6*
    k0(46,35,9) -> 6*
    k0(6,16,35) -> 6*
    k0(35,35,18) -> 6*
    k0(15,9,10) -> 6*
    k0(26,16,45) -> 6*
    k0(9,33,17) -> 6*
    k0(10,16,34) -> 6*
    k0(9,18,33) -> 6*
    k0(28,35,26) -> 6*
    k0(26,28,10) -> 6*
    k0(16,15,6) -> 6*
    k0(16,46,28) -> 6*
    k0(6,9,46) -> 6*
    k0(10,35,43) -> 6*
    k0(35,17,15) -> 6*
    k0(10,9,45) -> 6*
    k0(9,26,28) -> 6*
    k0(34,15,44) -> 6*
    k0(44,17,34) -> 6*
    k0(43,34,17) -> 6*
    k0(27,34,6) -> 6*
    k0(33,17,43) -> 6*
    k0(18,15,33) -> 6*
    k0(17,6,18) -> 6*
    k0(16,43,9) -> 6*
    k0(6,26,35) -> 6*
    k0(10,6,26) -> 6*
    k0(45,34,44) -> 6*
    k0(15,6,46) -> 6*
    k0(35,10,26) -> 6*
    k0(9,43,17) -> 6*
    k0(43,27,28) -> 6*
    k0(44,10,45) -> 6*
    k0(27,27,17) -> 6*
    k0(33,45,46) -> 6*
    k0(28,10,34) -> 6*
    k0(17,45,35) -> 6*
    k0(46,44,10) -> 6*
    k0(17,10,43) -> 6*
    k0(6,45,44) -> 6*
    k0(34,9,6) -> 6*
    k0(43,44,17) -> 6*
    k0(27,44,6) -> 6*
    k0(16,44,15) -> 6*
    k0(45,28,6) -> 6*
    k0(6,16,27) -> 6*
    k0(10,18,46) -> 6*
    k0(9,33,9) -> 6*
    k0(43,6,6) -> 6*
    k0(28,15,10) -> 6*
    k0(17,35,27) -> 6*
    k0(26,35,46) -> 6*
    k0(45,6,33) -> 6*
    k0(10,35,35) -> 6*
    k0(43,34,9) -> 6*
    k0(33,43,33) -> 6*
    k0(6,17,33) -> 6*
    k0(10,28,46) -> 6*
    k0(9,34,15) -> 6*
    k0(34,34,45) -> 6*
    k0(18,34,34) -> 6*
    k0(27,27,9) -> 6*
    k0(46,9,10) -> 6*
    k0(16,27,18) -> 6*
    k0(6,10,44) -> 6*
    k0(34,46,10) -> 6*
    k0(44,33,16) -> 6*
    k0(9,27,26) -> 6*
    k0(43,35,15) -> 6*
    k0(27,46,18) -> 6*
    k0(18,27,45) -> 6*
    k0(26,33,33) -> 6*
    k0(16,9,15) -> 6*
    k0(15,46,6) -> 6*
    k0(43,43,10) -> 6*
    k0(44,26,27) -> 6*
    k0(43,28,26) -> 6*
    k0(28,26,16) -> 6*
    k0(27,28,15) -> 6*
    k0(16,17,10) -> 6*
    k0(46,6,46) -> 6*
    k0(26,26,44) -> 6*
    k0(10,26,33) -> 6*
    k0(9,17,18) -> 6*
    k0(34,6,34) -> 6*
    k0(10,34,28) -> 6*
    k0(44,27,33) -> 6*
    k0(33,16,28) -> 6*
    k0(43,18,18) -> 6*
    k0(17,16,17) -> 6*
    k0(45,44,43) -> 6*
    k0(44,35,28) -> 6*
    k0(45,18,45) -> 6*
    k0(28,35,17) -> 6*
    k0(18,18,43) -> 6*
    k0(17,9,28) -> 6*
    k0(6,33,15) -> 6*
    k0(35,17,6) -> 6*
    k0(15,33,34) -> 6*
    k0(10,44,28) -> 6*
    k0(45,15,26) -> 6*
    k0(9,46,27) -> 6*
    k0(34,15,35) -> 6*
    k0(28,28,28) -> 6*
    k0(17,6,9) -> 6*
    k0(18,46,46) -> 6*
    k0(27,15,43) -> 6*
    k0(26,6,28) -> 6*
    k0(6,26,26) -> 6*
    k0(16,28,16) -> 6*
    k0(35,10,17) -> 6*
    k0(35,45,9) -> 6*
    k0(10,6,17) -> 6*
    k0(15,26,45) -> 6*
    k0(44,45,28) -> 6*
    k0(18,43,27) -> 6*
    k0(28,45,17) -> 6*
    k0(17,45,26) -> 6*
    k0(27,43,46) -> 6*
    k0(26,45,45) -> 6*
    k0(10,45,34) -> 6*
    k0(33,27,34) -> 6*
    k0(17,16,9) -> 6*
    k0(6,16,18) -> 6*
    k0(46,46,6) -> 6*
    k0(35,46,15) -> 6*
    k0(45,44,35) -> 6*
    k0(45,9,43) -> 6*
    k0(34,44,44) -> 6*
    k0(44,46,34) -> 6*
    k0(9,18,16) -> 6*
    k0(18,44,33) -> 6*
    k0(28,35,9) -> 6*
    k0(33,46,43) -> 6*
    k0(17,35,18) -> 6*
    k0(10,35,26) -> 6*
    k0(44,43,15) -> 6*
    k0(34,15,27) -> 6*
    k0(18,15,16) -> 6*
    k0(33,17,26) -> 6*
    k0(17,17,15) -> 6*
    k0(6,6,10) -> 6*
    k0(16,15,44) -> 6*
    k0(26,17,34) -> 6*
    k0(9,34,6) -> 6*
    k0(45,34,27) -> 6*
    k0(15,17,43) -> 6*
    k0(17,10,26) -> 6*
    k0(27,34,44) -> 6*
    k0(6,10,35) -> 6*
    k0(6,45,27) -> 6*
    k0(26,10,45) -> 6*
    k0(9,27,17) -> 6*
    k0(15,45,46) -> 6*
    k0(10,10,34) -> 6*
    k0(43,35,6) -> 6*
    k0(28,44,10) -> 6*
    k0(34,16,33) -> 6*
    k0(16,9,6) -> 6*
    k0(46,33,34) -> 6*
    k0(35,33,43) -> 6*
    k0(45,35,33) -> 6*
    k0(9,44,6) -> 6*
    k0(44,26,18) -> 6*
    k0(34,9,44) -> 6*
    k0(43,28,17) -> 6*
    k0(33,46,35) -> 6*
    k0(18,9,33) -> 6*
    k0(27,28,6) -> 6*
    k0(6,46,33) -> 6*
    k0(46,26,45) -> 6*
    k0(10,15,10) -> 6*
    k0(45,6,16) -> 6*
    k0(45,28,44) -> 6*
    k0(43,45,6) -> 6*
    k0(18,17,28) -> 6*
    k0(33,43,16) -> 6*
    k0(43,6,44) -> 6*
    k0(27,6,33) -> 6*
    k0(6,17,16) -> 6*
    k0(15,43,33) -> 6*
    k0(44,16,10) -> 6*
    k0(16,34,45) -> 6*
    k0(6,10,27) -> 6*
    k0(35,16,46) -> 6*
    k0(9,27,9) -> 6*
    k0(28,9,10) -> 6*
    k0(16,46,10) -> 6*
    k0(6,33,6) -> 6*
    k0(26,33,16) -> 6*
    k0(45,15,17) -> 6*
    k0(9,46,18) -> 6*
    k0(35,33,35) -> 6*
    k0(34,35,34) -> 6*
    k0(43,28,9) -> 6*
    k0(6,26,17) -> 6*
    k0(26,26,27) -> 6*
    k0(46,17,43) -> 6*
    k0(10,26,16) -> 6*
    k0(9,28,15) -> 6*
    k0(35,26,46) -> 6*
    k0(18,43,18) -> 6*
    k0(34,28,45) -> 6*
    k0(18,28,34) -> 6*
    k0(28,6,46) -> 6*
    k0(6,43,6) -> 6*
    k0(46,45,46) -> 6*
    k0(16,6,34) -> 6*
    k0(44,27,16) -> 6*
    k0(26,27,33) -> 6*
    k0(45,44,26) -> 6*
    k0(15,16,28) -> 6*
    k0(18,33,10) -> 6*
    k0(18,18,26) -> 6*
    k0(27,44,43) -> 6*
    k0(26,35,28) -> 6*
    k0(27,18,45) -> 6*
    k0(10,35,17) -> 6*
    k0(45,15,9) -> 6*
    k0(34,15,18) -> 6*
    k0(33,17,17) -> 6*
    k0(17,17,6) -> 6*
    k0(27,15,26) -> 6*
    k0(16,15,35) -> 6*
    k0(6,26,9) -> 6*
    k0(46,43,33) -> 6*
    k0(45,34,18) -> 6*
    k0(10,28,28) -> 6*
    k0(35,17,44) -> 6*
    k0(9,15,43) -> 6*
    k0(33,10,28) -> 6*
    k0(17,10,17) -> 6*
    k0(17,45,9) -> 6*
    k0(6,45,18) -> 6*
    k0(26,45,28) -> 6*
    k0(45,16,15) -> 6*
    k0(10,45,17) -> 6*
    k0(9,43,46) -> 6*
    k0(43,16,43) -> 6*
    k0(6,27,15) -> 6*
    k0(15,27,34) -> 6*
    k0(45,9,26) -> 6*
    k0(34,9,35) -> 6*
    k0(34,44,27) -> 6*
    k0(44,46,17) -> 6*
    k0(18,44,16) -> 6*
    k0(28,46,6) -> 6*
    k0(33,46,26) -> 6*
    k0(17,46,15) -> 6*
    k0(43,44,46) -> 6*
    k0(27,44,35) -> 6*
    k0(27,9,43) -> 6*
    k0(6,35,10) -> 6*
    k0(16,44,44) -> 6*
    k0(26,46,34) -> 6*
    k0(10,35,9) -> 6*
    k0(15,46,43) -> 6*
    k0(43,6,35) -> 6*
    k0(33,17,9) -> 6*
    k0(26,43,15) -> 6*
    k0(16,15,27) -> 6*
    k0(35,43,34) -> 6*
    k0(15,17,26) -> 6*
    k0(34,45,33) -> 6*
    k0(27,34,27) -> 6*
    k0(6,10,18) -> 6*
    k0(46,16,28) -> 6*
    k0(9,34,44) -> 6*
    k0(34,16,16) -> 6*
    k0(33,18,15) -> 6*
    k0(10,44,10) -> 6*
    k0(16,16,33) -> 6*
    k0(35,33,26) -> 6*
    k0(45,35,16) -> 6*
    k0(44,33,45) -> 6*
    k0(34,9,27) -> 6*
    k0(33,26,10) -> 6*
    k0(18,9,16) -> 6*
    k0(43,35,44) -> 6*
    k0(28,33,34) -> 6*
    k0(17,33,43) -> 6*
    k0(27,35,33) -> 6*
    k0(6,46,16) -> 6*
    k0(26,26,18) -> 6*
    k0(16,9,44) -> 6*
    k0(15,46,35) -> 6*
    k0(44,45,10) -> 6*
    k0(9,28,6) -> 6*
    k0(45,28,27) -> 6*
    k0(43,6,27) -> 6*
    k0(28,26,45) -> 6*
    k0(27,6,16) -> 6*
    k0(27,28,44) -> 6*
    k0(15,43,16) -> 6*
    k0(9,6,33) -> 6*
    k0(34,10,33) -> 6*
    k0(26,16,10) -> 6*
    k0(46,27,34) -> 6*
    k0(35,27,43) -> 6*
    k0(34,18,28) -> 6*
    k0(18,18,17) -> 6*
    k0(17,16,46) -> 6*
    k0(46,46,43) -> 6*
    k0(10,9,10) -> 6*
    k0(43,15,28) -> 6*
    k0(27,15,17) -> 6*
    k0(33,33,46) -> 6*
    k0(17,33,35) -> 6*
    k0(46,17,26) -> 6*
    k0(6,33,44) -> 6*
    k0(16,35,34) -> 6*
    k0(35,17,35) -> 6*
    k0(44,10,10) -> 6*
    k0(28,17,43) -> 6*
    k0(17,26,46) -> 6*
    k0(16,28,45) -> 6*
    k0(45,16,6) -> 6*
    k0(35,10,46) -> 6*
    k0(10,6,46) -> 6*
    k0(28,45,46) -> 6*
    k0(6,27,6) -> 6*
    k0(26,27,16) -> 6*
    k0(45,9,17) -> 6*
    k0(45,44,9) -> 6*
    k0(34,44,18) -> 6*
    k0(35,27,35) -> 6*
    k0(18,18,9) -> 6*
    k0(27,44,26) -> 6*
    k0(46,46,35) -> 6*
    k0(35,46,44) -> 6*
    k0(9,44,43) -> 6*
    k0(34,26,15) -> 6*
    k0(9,18,45) -> 6*
    k0(43,26,34) -> 6*
    k0(27,15,9) -> 6*
    k0(16,15,18) -> 6*
    k0(46,43,16) -> 6*
    k0(45,45,15) -> 6*
    k0(15,17,17) -> 6*
    k0(35,17,27) -> 6*
    k0(34,34,10) -> 6*
    k0(44,43,44) -> 6*
    k0(9,15,26) -> 6*
    k0(43,45,43) -> 6*
    k0(28,43,33) -> 6*
    k0(27,34,18) -> 6*
    k0(18,15,45) -> 6*
    k0(6,10,9) -> 6*
    k0(17,17,44) -> 6*
    k0(15,10,28) -> 6*
    k0(33,18,6) -> 6*
    k0(18,27,10) -> 6*
    k0(43,16,26) -> 6*
    k0(27,16,15) -> 6*
    k0(35,33,17) -> 6*
    k0(35,18,33) -> 6*
    k0(34,9,18) -> 6*
    k0(33,46,9) -> 6*
    k0(27,9,26) -> 6*
    k0(16,9,35) -> 6*
    k0(16,44,27) -> 6*
    k0(26,46,17) -> 6*
    k0(10,46,6) -> 6*
    k0(35,26,28) -> 6*
    k0(45,28,18) -> 6*
    k0(15,46,26) -> 6*
    k0(9,44,35) -> 6*
    k0(44,15,33) -> 6*
    k0(9,9,43) -> 6*
    k0(43,6,18) -> 6*
    k0(45,10,15) -> 6*
    k0(35,43,17) -> 6*
    k0(15,17,9) -> 6*
    k0(34,45,16) -> 6*
    k0(45,6,45) -> 6*
    k0(43,10,43) -> 6*
    k0(33,43,45) -> 6*
    k0(43,45,35) -> 6*
    k0(18,6,43) -> 6*
    k0(17,43,34) -> 6*
    k0(6,43,43) -> 6*
    k0(16,45,33) -> 6*
    k0(45,18,10) -> 6*
    k0(6,17,45) -> 6*
    k0(9,34,27) -> 6*
    k0(28,16,28) -> 6*
    k0(18,34,46) -> 6*
    k0(16,16,16) -> 6*
    k0(35,33,9) -> 6*
    k0(15,18,15) -> 6*
    k0(43,35,27) -> 6*
    k0(17,33,26) -> 6*
    k0(27,35,16) -> 6*
    k0(46,17,17) -> 6*
    k0(15,26,10) -> 6*
    k0(26,33,45) -> 6*
    k0(16,9,27) -> 6*
    k0(45,15,46) -> 6*
    k0(10,33,34) -> 6*
    k0(9,35,33) -> 6*
    k0(33,15,34) -> 6*
    k0(26,45,10) -> 6*
    k0(27,28,27) -> 6*
    k0(46,10,28) -> 6*
    k0(35,34,15) -> 6*
    k0(10,26,45) -> 6*
    k0(9,6,16) -> 6*
    k0(44,34,34) -> 6*
    k0(9,28,44) -> 6*
    k0(34,10,16) -> 6*
    k0(33,34,43) -> 6*
    k0(6,43,35) -> 6*
    k0(16,10,33) -> 6*
    k0(35,27,26) -> 6*
    k0(44,27,45) -> 6*
    k0(28,27,34) -> 6*
    k0(17,27,43) -> 6*
    k0(46,46,26) -> 6*
    k0(16,18,28) -> 6*
    k0(34,26,6) -> 6*
    k0(28,46,43) -> 6*
    k0(46,17,9) -> 6*
    k0(6,33,27) -> 6*
    k0(35,17,18) -> 6*
    k0(9,15,17) -> 6*
    k0(15,33,46) -> 6*
    k0(33,17,46) -> 6*
    k0(28,17,26) -> 6*
    k0(17,17,35) -> 6*
    k0(26,10,10) -> 6*
    k0(10,17,43) -> 6*
    k0(43,16,17) -> 6*
    k0(33,34,35) -> 6*
    k0(27,16,6) -> 6*
    k0(17,10,46) -> 6*
    k0(6,34,33) -> 6*
    k0(46,18,15) -> 6*
    k0(10,45,46) -> 6*
    k0(34,9,9) -> 6*
    k0(45,16,44) -> 6*
    k0(44,18,43) -> 6*
    k0(43,9,28) -> 6*
    k0(27,9,17) -> 6*
    k0(27,44,9) -> 6*
    k0(33,27,46) -> 6*
    k0(16,44,18) -> 6*
    k0(17,27,35) -> 6*
    k0(46,26,10) -> 6*
    k0(6,27,44) -> 6*
    k0(35,46,27) -> 6*
    k0(9,44,26) -> 6*
    k0(44,46,46) -> 6*
    k0(43,6,9) -> 6*
    k0(18,44,45) -> 6*
    k0(28,46,35) -> 6*
    k0(17,46,44) -> 6*
    k0(16,26,15) -> 6*
    k0(45,10,6) -> 6*
    k0(44,43,27) -> 6*
    k0(9,15,9) -> 6*
    k0(43,45,26) -> 6*
    k0(28,43,16) -> 6*
    k0(27,45,15) -> 6*
    k0(17,17,27) -> 6*
    k0(16,34,10) -> 6*
    k0(26,43,44) -> 6*
    k0(10,43,33) -> 6*
    k0(9,34,18) -> 6*
    k0(43,16,9) -> 6*
    k0(15,18,6) -> 6*
    k0(35,18,16) -> 6*
    k0(9,16,15) -> 6*
    k0(44,44,33) -> 6*
    k0(33,33,28) -> 6*
    k0(43,35,18) -> 6*
    k0(34,16,45) -> 6*
    k0(33,18,44) -> 6*
    k0(18,16,34) -> 6*
    k0(17,33,17) -> 6*
    k0(17,18,33) -> 6*
    k0(16,9,18) -> 6*
    k0(46,33,46) -> 6*
    k0(15,46,9) -> 6*
    k0(34,28,10) -> 6*
    k0(45,35,45) -> 6*
    k0(44,15,16) -> 6*
    k0(9,9,26) -> 6*
    k0(18,35,43) -> 6*
    k0(43,17,15) -> 6*
    k0(18,9,45) -> 6*
    k0(17,26,28) -> 6*
    k0(27,28,18) -> 6*
    k0(35,34,6) -> 6*
    k0(26,15,33) -> 6*
    k0(6,46,45) -> 6*
    k0(43,10,26) -> 6*
    k0(33,43,28) -> 6*
    k0(18,6,26) -> 6*
    k0(27,10,15) -> 6*
    k0(17,43,17) -> 6*
    k0(27,6,45) -> 6*
    k0(6,43,26) -> 6*
    k0(16,45,16) -> 6*
    k0(35,27,17) -> 6*
    k0(15,43,45) -> 6*
    k0(27,18,10) -> 6*
    k0(10,16,28) -> 6*
    k0(35,44,6) -> 6*
    k0(44,9,33) -> 6*
    k0(18,18,46) -> 6*
    k0(33,44,34) -> 6*
    k0(17,33,9) -> 6*
    k0(6,33,18) -> 6*
    k0(6,18,34) -> 6*
    k0(45,26,43) -> 6*
    k0(9,35,16) -> 6*
    k0(44,17,28) -> 6*
    k0(28,17,17) -> 6*
    k0(34,35,46) -> 6*
    k0(18,35,35) -> 6*
    k0(27,15,46) -> 6*
    k0(6,15,15) -> 6*
    k0(15,15,34) -> 6*
    k0(9,28,27) -> 6*
    k0(28,10,28) -> 6*
    k0(33,34,26) -> 6*
    k0(17,34,15) -> 6*
    k0(18,28,46) -> 6*
    k0(46,18,6) -> 6*
    k0(16,10,16) -> 6*
    k0(26,34,34) -> 6*
    k0(15,34,43) -> 6*
    k0(35,27,9) -> 6*
    k0(45,16,35) -> 6*
    k0(17,27,26) -> 6*
    k0(46,46,9) -> 6*
    k0(26,27,45) -> 6*
    k0(35,46,18) -> 6*
    k0(10,27,34) -> 6*
    k0(45,9,46) -> 6*
    k0(34,33,33) -> 6*
    k0(28,46,26) -> 6*
    k0(33,9,34) -> 6*
    k0(16,26,6) -> 6*
    k0(10,46,43) -> 6*
    k0(35,28,15) -> 6*
    k0(45,26,35) -> 6*
    k0(44,43,18) -> 6*
    k0(34,26,44) -> 6*
    k0(44,28,34) -> 6*
    k0(33,28,43) -> 6*
    k0(33,6,15) -> 6*
    k0(18,26,33) -> 6*
    k0(28,17,9) -> 6*
    k0(17,17,18) -> 6*
    k0(46,43,45) -> 6*
    k0(45,45,44) -> 6*
    k0(15,17,46) -> 6*
    k0(10,17,26) -> 6*
    k0(18,34,28) -> 6*
    k0(6,34,16) -> 6*
    k0(45,16,27) -> 6*
    k0(15,34,35) -> 6*
    k0(44,33,10) -> 6*
    k0(9,16,6) -> 6*
    k0(44,18,26) -> 6*
    k0(28,18,15) -> 6*
    k0(33,18,35) -> 6*
    k0(27,16,44) -> 6*
    k0(16,9,9) -> 6*
    k0(26,18,43) -> 6*
    k0(6,27,27) -> 6*
    k0(15,27,46) -> 6*
    k0(9,9,17) -> 6*
    k0(9,44,9) -> 6*
    k0(43,17,6) -> 6*
    k0(28,26,10) -> 6*
    k0(18,44,28) -> 6*
    k0(17,46,27) -> 6*
    k0(46,15,34) -> 6*
    k0(26,46,46) -> 6*
    k0(10,46,35) -> 6*
    k0(35,15,43) -> 6*
    k0(45,17,33) -> 6*
    k0(34,6,28) -> 6*
    k0(43,10,17) -> 6*
    k0(43,45,9) -> 6*
    k0(18,6,17) -> 6*
    k0(27,10,6) -> 6*
    k0(33,28,35) -> 6*
    k0(26,43,27) -> 6*
    k0(6,28,33) -> 6*
    k0(46,34,43) -> 6*
    k0(10,43,16) -> 6*
    k0(45,10,44) -> 6*
    k0(9,45,15) -> 6*
    k0(35,43,46) -> 6*
    k0(34,45,45) -> 6*
    k0(18,45,34) -> 6*
    k0(44,44,16) -> 6*
    k0(43,46,15) -> 6*
    k0(33,18,27) -> 6*
    k0(17,18,16) -> 6*
    k0(26,44,33) -> 6*
    k0(15,33,28) -> 6*
    k0(16,16,45) -> 6*
    k0(15,18,44) -> 6*
    k0(18,35,26) -> 6*
    k0(28,33,46) -> 6*
    k0(6,15,6) -> 6*
    k0(27,35,45) -> 6*
    k0(16,28,10) -> 6*
    k0(46,17,46) -> 6*
    k0(26,15,16) -> 6*
    k0(6,46,28) -> 6*
    k0(9,28,18) -> 6*
    k0(34,17,34) -> 6*
    k0(33,34,17) -> 6*
    k0(17,34,6) -> 6*
    k0(6,43,9) -> 6*
    k0(46,34,35) -> 6*
    k0(35,34,44) -> 6*
    k0(15,43,28) -> 6*
    k0(9,10,15) -> 6*
    k0(9,6,45) -> 6*
    k0(33,27,28) -> 6*
    k0(34,10,45) -> 6*
    k0(18,10,34) -> 6*
    k0(17,27,17) -> 6*
    k0(45,33,15) -> 6*
    k0(46,27,46) -> 6*
    k0(9,18,10) -> 6*
    k0(44,9,16) -> 6*
    k0(33,44,17) -> 6*
    k0(43,33,43) -> 6*
    k0(17,44,6) -> 6*
    k0(6,44,15) -> 6*
    k0(35,28,6) -> 6*
    k0(26,9,33) -> 6*
    k0(45,26,26) -> 6*
    k0(15,44,34) -> 6*
    k0(33,6,6) -> 6*
    k0(18,15,10) -> 6*
    k0(27,26,43) -> 6*
    k0(26,17,28) -> 6*
    k0(10,17,17) -> 6*
    k0(16,35,46) -> 6*
    k0(35,6,33) -> 6*
    k0(9,15,46) -> 6*
    k0(33,34,9) -> 6*
    k0(15,34,26) -> 6*
    k0(45,16,18) -> 6*
    k0(10,10,28) -> 6*
    k0(44,18,17) -> 6*
    k0(28,18,6) -> 6*
    k0(43,16,46) -> 6*
    k0(17,27,9) -> 6*
    k0(27,16,35) -> 6*
    k0(6,27,18) -> 6*
    k0(46,33,28) -> 6*
    k0(46,18,44) -> 6*
    k0(34,33,16) -> 6*
    k0(33,35,15) -> 6*
    k0(28,46,9) -> 6*
    k0(43,33,35) -> 6*
    k0(17,46,18) -> 6*
    k0(27,9,46) -> 6*
    k0(16,33,33) -> 6*
    k0(6,9,15) -> 6*
    k0(45,6,10) -> 6*
    k0(10,46,26) -> 6*
    k0(15,9,34) -> 6*
    k0(33,43,10) -> 6*
    k0(34,26,27) -> 6*
    k0(33,28,26) -> 6*
    k0(18,26,16) -> 6*
    k0(17,28,15) -> 6*
    k0(43,26,46) -> 6*
    k0(6,17,10) -> 6*
    k0(27,26,35) -> 6*
    k0(26,43,18) -> 6*
    k0(46,43,28) -> 6*
    k0(16,26,44) -> 6*
    k0(26,28,34) -> 6*
    k0(45,45,27) -> 6*
    k0(15,28,43) -> 6*
    k0(15,6,15) -> 6*
    k0(10,17,9) -> 6*
    k0(45,10,35) -> 6*
    k0(28,43,45) -> 6*
    k0(27,45,44) -> 6*
    k0(34,27,33) -> 6*
    k0(44,18,9) -> 6*
    k0(33,18,18) -> 6*
    k0(27,16,27) -> 6*
    k0(26,33,10) -> 6*
    k0(46,44,34) -> 6*
    k0(26,18,26) -> 6*
    k0(10,18,15) -> 6*
    k0(35,44,43) -> 6*
    k0(45,46,33) -> 6*
    k0(15,18,35) -> 6*
    k0(35,18,45) -> 6*
    k0(34,35,28) -> 6*
    k0(9,16,44) -> 6*
    k0(18,35,17) -> 6*
    k0(10,26,10) -> 6*
    k0(35,15,26) -> 6*
    k0(45,17,16) -> 6*
    k0(18,28,28) -> 6*
    k0(44,15,45) -> 6*
    k0(28,15,34) -> 6*
    k0(43,17,44) -> 6*
    k0(17,15,43) -> 6*
    k0(27,17,33) -> 6*
    k0(16,6,28) -> 6*
    k0(6,28,16) -> 6*
    k0(46,34,26) -> 6*
    k0(9,10,6) -> 6*
    k0(45,10,27) -> 6*
    k0(15,28,35) -> 6*
    k0(44,27,10) -> 6*
    k0(34,45,28) -> 6*
    k0(18,45,17) -> 6*
    k0(28,34,43) -> 6*
    k0(27,10,44) -> 6*
    k0(17,43,46) -> 6*
    k0(45,33,6) -> 6*
    k0(16,45,45) -> 6*
    k0(26,44,16) -> 6*
    k0(46,9,34) -> 6*
    k0(45,26,17) -> 6*
    k0(15,18,27) -> 6*
    k0(35,9,43) -> 6*
    k0(35,44,35) -> 6*
    k0(34,46,34) -> 6*
    k0(18,35,9) -> 6*
    k0(46,6,15) -> 6*
    k0(46,28,43) -> 6*
    k0(45,43,6) -> 6*
    k0(34,43,15) -> 6*
    k0(10,33,46) -> 6*
    k0(9,35,45) -> 6*
    k0(44,6,43) -> 6*
    k0(28,17,46) -> 6*
    k0(43,43,34) -> 6*
    k0(6,15,44) -> 6*
    k0(16,17,34) -> 6*
    k0(15,34,17) -> 6*
    k0(35,34,27) -> 6*
    k0(44,34,46) -> 6*
    k0(28,34,35) -> 6*
    k0(17,34,44) -> 6*
    k0(46,18,35) -> 6*
    k0(15,27,28) -> 6*
    k0(16,10,45) -> 6*
    k0(33,35,6) -> 6*
    k0(18,44,10) -> 6*
    k0(43,33,26) -> 6*
    k0(27,33,15) -> 6*
    k0(28,27,46) -> 6*
    k0(6,9,6) -> 6*
    k0(26,9,16) -> 6*
    k0(45,26,9) -> 6*
    k0(15,44,17) -> 6*
    k0(35,35,33) -> 6*
    k0(34,26,18) -> 6*
    k0(33,28,17) -> 6*
    k0(17,28,6) -> 6*
    k0(27,26,26) -> 6*
    k0(15,6,6) -> 6*
    k0(46,28,35) -> 6*
    k0(45,45,18) -> 6*
    k0(35,28,44) -> 6*
    k0(35,6,16) -> 6*
    k0(9,26,43) -> 6*
    k0(33,45,6) -> 6*
    k0(33,6,44) -> 6*
    k0(17,6,33) -> 6*
    k0(15,34,9) -> 6*
    k0(45,27,15) -> 6*
    k0(34,16,10) -> 6*
    k0(43,27,43) -> 6*
    k0(27,16,18) -> 6*
    k0(26,18,17) -> 6*
    k0(6,34,45) -> 6*
    k0(45,35,10) -> 6*
    k0(10,18,6) -> 6*
    k0(46,18,27) -> 6*
    k0(9,16,35) -> 6*
    k0(28,33,28) -> 6*
    k0(18,9,10) -> 6*
    k0(28,18,44) -> 6*
    k0(6,46,10) -> 6*
    k0(16,33,16) -> 6*
    k0(35,15,17) -> 6*
    k0(15,35,15) -> 6*
    k0(10,46,9) -> 6*
    k0(9,9,46) -> 6*
    k0(33,28,9) -> 6*
    k0(43,17,35) -> 6*
    k0(27,6,10) -> 6*
    k0(46,34,17) -> 6*
    k0(15,43,10) -> 6*
    k0(16,26,27) -> 6*
    k0(15,28,26) -> 6*
    k0(45,10,18) -> 6*
    k0(9,26,35) -> 6*
    k0(43,10,46) -> 6*
    k0(18,6,46) -> 6*
    k0(28,43,28) -> 6*
    k0(27,45,27) -> 6*
    k0(27,10,35) -> 6*
    k0(46,27,28) -> 6*
    k0(6,6,34) -> 6*
    k0(10,43,45) -> 6*
    k0(9,45,44) -> 6*
    k0(34,27,16) -> 6*
    k0(43,27,35) -> 6*
    k0(46,44,17) -> 6*
    k0(16,27,33) -> 6*
    k0(26,18,9) -> 6*
    k0(35,44,26) -> 6*
    k0(45,46,16) -> 6*
    k0(15,18,18) -> 6*
    k0(9,16,27) -> 6*
    k0(44,44,45) -> 6*
    k0(28,44,34) -> 6*
    k0(43,46,44) -> 6*
    k0(17,44,43) -> 6*
    k0(27,46,33) -> 6*
    k0(16,35,28) -> 6*
    k0(17,18,45) -> 6*
    k0(46,6,6) -> 6*
    k0(35,15,9) -> 6*
    k0(43,17,27) -> 6*
    k0(17,15,26) -> 6*
    k0(27,17,16) -> 6*
    k0(46,34,9) -> 6*
    k0(6,15,35) -> 6*
    k0(35,34,18) -> 6*
    k0(26,15,45) -> 6*
    k0(10,15,34) -> 6*
    k0(9,17,33) -> 6*
    k0(28,34,26) -> 6*
    k0(27,10,27) -> 6*
    k0(26,27,10) -> 6*
    k0(16,45,28) -> 6*
    k0(10,34,43) -> 6*
    k0(35,16,15) -> 6*
    k0(9,10,44) -> 6*
    k0(43,33,17) -> 6*
    k0(44,16,34) -> 6*
    k0(27,33,6) -> 6*
    k0(33,16,43) -> 6*
    k0(43,18,33) -> 6*
    k0(46,35,15) -> 6*
    k0(45,33,44) -> 6*
    k0(35,9,26) -> 6*
    k0(34,46,17) -> 6*
    k0(44,35,43) -> 6*
    k0(43,26,28) -> 6*
    k0(44,9,45) -> 6*
    k0(18,46,6) -> 6*
    k0(33,44,46) -> 6*
    k0(28,9,34) -> 6*
    k0(27,26,17) -> 6*
    k0(46,43,10) -> 6*
    k0(17,9,43) -> 6*
    k0(17,44,35) -> 6*
    k0(6,44,44) -> 6*
    k0(16,46,34) -> 6*
    k0(46,28,26) -> 6*
    k0(44,6,26) -> 6*
    k0(43,43,17) -> 6*
    k0(28,6,15) -> 6*
    k0(33,6,35) -> 6*
    k0(28,28,43) -> 6*
    k0(27,43,6) -> 6*
    k0(16,43,15) -> 6*
    k0(45,27,6) -> 6*
    k0(6,15,27) -> 6*
    k0(26,6,43) -> 6*
    k0(10,17,46) -> 6*
    k0(17,34,27) -> 6*
    k0(46,18,18) -> 6*
    k0(26,34,46) -> 6*
    k0(10,34,35) -> 6*
    k0(44,18,46) -> 6*
    k0(28,18,35) -> 6*
    k0(43,33,9) -> 6*
    k0(15,35,6) -> 6*
    k0(6,16,33) -> 6*
    k0(35,35,16) -> 6*
    k0(9,33,15) -> 6*
    k0(10,27,46) -> 6*
    k0(34,33,45) -> 6*
    k0(44,35,35) -> 6*
    k0(33,35,44) -> 6*
    k0(18,33,34) -> 6*
    k0(17,35,33) -> 6*
    k0(27,26,9) -> 6*
    k0(16,26,18) -> 6*
    k0(6,9,44) -> 6*
    k0(45,10,9) -> 6*
    k0(15,28,17) -> 6*
    k0(34,45,10) -> 6*
    k0(35,28,27) -> 6*
    k0(9,26,26) -> 6*
    k0(43,34,15) -> 6*
    k0(44,28,46) -> 6*
    k0(33,6,27) -> 6*
    k0(18,26,45) -> 6*
    k0(28,28,35) -> 6*
    k0(27,45,18) -> 6*
    k0(17,28,44) -> 6*
    k0(17,6,16) -> 6*
    k0(15,45,6) -> 6*
    k0(15,6,44) -> 6*
    k0(43,27,26) -> 6*
    k0(27,27,15) -> 6*
    k0(16,16,10) -> 6*
    k0(9,16,18) -> 6*
    k0(27,35,10) -> 6*
    k0(28,18,27) -> 6*
    k0(10,33,28) -> 6*
    k0(10,18,44) -> 6*
    k0(44,26,33) -> 6*
    k0(33,15,28) -> 6*
    k0(43,17,18) -> 6*
    k0(17,15,17) -> 6*
    k0(6,35,34) -> 6*
    k0(15,28,9) -> 6*
    k0(45,43,43) -> 6*
    k0(34,10,10) -> 6*
    k0(45,17,45) -> 6*
    k0(9,6,10) -> 6*
    k0(44,34,28) -> 6*
    k0(28,34,17) -> 6*
    k0(18,17,43) -> 6*
    k0(27,10,18) -> 6*
    k0(6,28,45) -> 6*
    k0(35,16,6) -> 6*
    k0(10,43,28) -> 6*
    k0(9,45,27) -> 6*
    k0(9,10,35) -> 6*
    k0(28,27,28) -> 6*
    k0(18,45,46) -> 6*
    k0(46,35,6) -> 6*
    k0(16,27,16) -> 6*
    k0(35,9,17) -> 6*
    k0(35,44,9) -> 6*
    k0(44,44,28) -> 6*
    k0(28,44,17) -> 6*
    k0(43,46,27) -> 6*
    k0(17,44,26) -> 6*
    k0(27,46,16) -> 6*
    k0(46,28,17) -> 6*
    k0(26,44,45) -> 6*
    k0(10,44,34) -> 6*
    k0(44,6,17) -> 6*
    k0(9,46,33) -> 6*
    k0(28,6,6) -> 6*
    k0(33,26,34) -> 6*
    k0(17,15,9) -> 6*
    k0(46,45,6) -> 6*
    k0(6,15,18) -> 6*
    k0(46,6,44) -> 6*
    k0(35,45,15) -> 6*
    k0(45,43,35) -> 6*
    k0(34,43,44) -> 6*
    k0(44,45,34) -> 6*
    k0(9,17,16) -> 6*
    k0(33,45,43) -> 6*
    k0(18,43,33) -> 6*
    k0(28,34,9) -> 6*
    k0(17,34,18) -> 6*
    k0(10,34,26) -> 6*
    k0(9,10,27) -> 6*
    k0(33,16,26) -> 6*
    k0(43,18,16) -> 6*
    k0(17,16,15) -> 6*
    k0(26,16,34) -> 6*
    k0(9,33,6) -> 6*
    k0(45,33,27) -> 6*
    k0(15,16,43) -> 6*
    k0(44,35,26) -> 6*
    k0(28,35,15) -> 6*
    k0(27,33,44) -> 6*
    k0(17,9,26) -> 6*
    k0(6,9,35) -> 6*
    k0(6,44,27) -> 6*
    k0(16,46,17) -> 6*
    k0(26,35,43) -> 6*
    k0(46,28,9) -> 6*
    k0(35,28,18) -> 6*
    k0(26,9,45) -> 6*
    k0(15,44,46) -> 6*
    k0(10,9,34) -> 6*
    k0(9,26,17) -> 6*
    k0(28,43,10) -> 6*
    k0(34,15,33) -> 6*
    k0(43,34,6) -> 6*
    k0(28,28,26) -> 6*
    k0(33,6,18) -> 6*
    k0(26,6,26) -> 6*
    k0(15,6,35) -> 6*
    k0(10,28,43) -> 6*
    k0(35,10,15) -> 6*
    k0(10,6,15) -> 6*
    k0(45,34,33) -> 6*
    k0(9,43,6) -> 6*
    k0(35,6,45) -> 6*
    k0(44,10,34) -> 6*
    k0(43,27,17) -> 6*
    k0(27,27,6) -> 6*
    k0(33,10,43) -> 6*
    k0(33,45,35) -> 6*
    k0(6,45,33) -> 6*
    k0(35,18,10) -> 6*
    k0(45,27,44) -> 6*
    k0(18,16,28) -> 6*
    k0(28,18,18) -> 6*
    k0(43,44,6) -> 6*
    k0(6,16,16) -> 6*
    k0(26,18,46) -> 6*
    k0(10,18,35) -> 6*
    k0(44,15,10) -> 6*
    k0(33,35,27) -> 6*
    k0(17,35,16) -> 6*
    k0(16,33,45) -> 6*
    k0(26,35,35) -> 6*
    k0(6,9,27) -> 6*
    k0(35,15,46) -> 6*
    k0(15,35,44) -> 6*
    k0(9,26,9) -> 6*
    k0(27,10,9) -> 6*
    k0(16,45,10) -> 6*
    k0(17,28,27) -> 6*
    k0(26,28,46) -> 6*
    k0(15,6,27) -> 6*
    k0(10,28,35) -> 6*
    k0(9,45,18) -> 6*
    k0(34,34,34) -> 6*
    k0(43,27,9) -> 6*
    k0(46,16,43) -> 6*
    k0(6,10,33) -> 6*
    k0(9,27,15) -> 6*
    k0(34,27,45) -> 6*
    k0(43,46,18) -> 6*
    k0(18,27,34) -> 6*
    k0(6,18,28) -> 6*
    k0(46,44,46) -> 6*
    k0(10,18,27) -> 6*
    k0(45,46,45) -> 6*
    k0(9,35,10) -> 6*
    k0(44,26,16) -> 6*
    k0(18,46,43) -> 6*
    k0(43,28,15) -> 6*
    k0(26,26,33) -> 6*
    k0(46,6,35) -> 6*
    k0(45,43,26) -> 6*
    k0(15,15,28) -> 6*
    k0(18,17,26) -> 6*
    k0(27,43,43) -> 6*
    k0(16,10,10) -> 6*
    k0(27,17,45) -> 6*
    k0(26,34,28) -> 6*
    k0(10,34,17) -> 6*
    k0(9,10,18) -> 6*
    k0(33,16,17) -> 6*
    k0(17,16,6) -> 6*
    k0(10,27,28) -> 6*
    k0(45,33,18) -> 6*
    k0(44,35,17) -> 6*
    k0(35,16,44) -> 6*
    k0(45,18,34) -> 6*
    k0(28,35,6) -> 6*
    k0(34,18,43) -> 6*
    k0(33,9,28) -> 6*
    k0(17,9,17) -> 6*
    k0(17,44,9) -> 6*
    k0(6,44,18) -> 6*
    k0(46,35,44) -> 6*
    k0(26,44,28) -> 6*
    k0(10,44,17) -> 6*
    k0(45,15,15) -> 6*
    k0(9,46,16) -> 6*
    k0(44,28,28) -> 6*
    k0(34,46,46) -> 6*
    k0(33,6,9) -> 6*
    k0(28,28,17) -> 6*
    k0(43,15,43) -> 6*
    k0(18,46,35) -> 6*
    k0(26,6,17) -> 6*
    k0(6,26,15) -> 6*
    k0(10,6,6) -> 6*
    k0(46,6,27) -> 6*
    k0(35,10,6) -> 6*
    k0(15,26,34) -> 6*
    k0(34,43,27) -> 6*
    k0(44,45,17) -> 6*
    k0(33,45,26) -> 6*
    k0(18,43,16) -> 6*
    k0(28,45,6) -> 6*
    k0(17,45,15) -> 6*
    k0(43,43,46) -> 6*
    k0(28,6,44) -> 6*
    k0(6,34,10) -> 6*
    k0(27,43,35) -> 6*
    k0(16,43,44) -> 6*
    k0(26,45,34) -> 6*
    k0(15,45,43) -> 6*
    k0(10,34,9) -> 6*
    k0(33,16,9) -> 6*
    k0(15,16,26) -> 6*
    k0(34,44,33) -> 6*
    k0(44,35,9) -> 6*
    k0(33,35,18) -> 6*
    k0(27,33,27) -> 6*
    k0(6,9,18) -> 6*
    k0(46,15,28) -> 6*
    k0(26,35,26) -> 6*
    k0(10,35,15) -> 6*
    k0(35,35,45) -> 6*
    k0(9,33,44) -> 6*
    k0(34,15,16) -> 6*
    k0(28,28,9) -> 6*
    k0(33,17,15) -> 6*
    k0(17,28,18) -> 6*
    k0(10,43,10) -> 6*
    k0(16,15,33) -> 6*
    k0(15,6,18) -> 6*
    k0(10,28,26) -> 6*
    k0(45,34,16) -> 6*
    k0(43,34,44) -> 6*
    k0(33,10,26) -> 6*
    k0(17,10,15) -> 6*
    k0(27,34,33) -> 6*
    k0(6,45,16) -> 6*
    k0(17,6,45) -> 6*
    k0(26,10,34) -> 6*
    k0(9,27,6) -> 6*
    k0(45,27,27) -> 6*
    k0(15,10,43) -> 6*
    k0(15,45,35) -> 6*
    k0(44,44,10) -> 6*
    k0(17,18,10) -> 6*
    k0(27,27,44) -> 6*
    k0(10,18,18) -> 6*
    k0(43,28,6) -> 6*
    k0(34,9,33) -> 6*
    k0(26,15,10) -> 6*
    k0(46,26,34) -> 6*
    k0(15,35,27) -> 6*
    k0(35,26,43) -> 6*
    k0(45,28,33) -> 6*
    k0(34,17,28) -> 6*
    k0(18,17,17) -> 6*
    k0(43,6,33) -> 6*
    k0(17,15,46) -> 6*
    k0(46,45,43) -> 6*
    k0(9,10,9) -> 6*
    k0(18,10,28) -> 6*
    k0(46,16,26) -> 6*
    k0(16,34,34) -> 6*
    k0(6,10,16) -> 6*
    k0(35,16,35) -> 6*
    k0(44,9,10) -> 6*
    k0(28,16,43) -> 6*
    k0(16,27,45) -> 6*
    k0(45,15,6) -> 6*
    k0(35,9,46) -> 6*
    k0(45,46,28) -> 6*
    k0(18,46,26) -> 6*
    k0(28,44,46) -> 6*
    k0(6,26,6) -> 6*
    k0(27,46,45) -> 6*
    k0(26,26,16) -> 6*
    k0(46,6,18) -> 6*
    k0(45,43,9) -> 6*
    k0(35,26,35) -> 6*
    k0(34,43,18) -> 6*
    k0(44,6,46) -> 6*
    k0(34,28,34) -> 6*
    k0(18,17,9) -> 6*
    k0(28,6,35) -> 6*
    k0(27,43,26) -> 6*
    k0(46,10,43) -> 6*
    k0(46,45,35) -> 6*
    k0(35,45,44) -> 6*
    k0(9,43,43) -> 6*
    k0(9,17,45) -> 6*
    k0(15,16,17) -> 6*
    k0(45,44,15) -> 6*
    k0(34,33,10) -> 6*
    k0(35,16,27) -> 6*
    k0(34,18,26) -> 6*
    k0(43,44,43) -> 6*
    k0(18,18,15) -> 6*
    k0(27,33,18) -> 6*
    k0(43,18,45) -> 6*
    k0(26,35,17) -> 6*
    k0(6,9,9) -> 6*
    k0(17,16,44) -> 6*
    k0(27,18,34) -> 6*
    k0(10,35,6) -> 6*
    k0(46,35,27) -> 6*
    k0(16,18,43) -> 6*
    k0(15,9,28) -> 6*
    k0(33,17,6) -> 6*
    k0(18,26,10) -> 6*
    k0(43,15,26) -> 6*
    k0(28,35,44) -> 6*
    k0(27,15,15) -> 6*
    k0(26,28,28) -> 6*
    k0(16,46,46) -> 6*
    k0(15,6,9) -> 6*
    k0(10,28,17) -> 6*
    k0(35,17,33) -> 6*
    k0(33,10,17) -> 6*
    k0(33,45,9) -> 6*
    k0(28,6,27) -> 6*
    k0(17,10,6) -> 6*
    k0(16,43,27) -> 6*
    k0(26,45,17) -> 6*
    k0(45,27,18) -> 6*
    k0(15,45,26) -> 6*
    k0(10,45,6) -> 6*
    k0(10,6,44) -> 6*
    k0(35,10,44) -> 6*
    k0(9,43,35) -> 6*
    k0(15,16,9) -> 6*
    k0(45,9,15) -> 6*
    k0(34,44,16) -> 6*
    k0(44,46,6) -> 6*
    k0(33,46,15) -> 6*
    k0(43,9,43) -> 6*
    k0(43,44,35) -> 6*
    k0(16,44,33) -> 6*
    k0(26,35,9) -> 6*
    k0(15,35,18) -> 6*
    k0(6,16,45) -> 6*
    k0(45,17,10) -> 6*
    k0(9,33,27) -> 6*
    k0(28,15,28) -> 6*
    k0(18,33,46) -> 6*
    k0(6,28,10) -> 6*
    k0(17,35,45) -> 6*
    k0(16,15,16) -> 6*
    k0(10,28,9) -> 6*
    k0(15,17,15) -> 6*
    k0(43,34,27) -> 6*
    k0(27,34,16) -> 6*
    k0(46,16,17) -> 6*
    k0(15,10,26) -> 6*
    k0(9,34,33) -> 6*
    k0(26,44,10) -> 6*
    k0(27,27,27) -> 6*
    k0(46,9,28) -> 6*
    k0(35,33,15) -> 6*
    k0(44,33,34) -> 6*
    k0(9,27,44) -> 6*
    k0(34,9,16) -> 6*
    k0(33,33,43) -> 6*
    k0(43,35,33) -> 6*
    k0(46,6,9) -> 6*
    k0(16,9,33) -> 6*
    k0(35,26,26) -> 6*
    k0(45,28,16) -> 6*
    k0(44,26,45) -> 6*
    k0(43,28,44) -> 6*
    k0(43,6,16) -> 6*
    k0(28,26,34) -> 6*
    k0(17,26,43) -> 6*
    k0(27,28,33) -> 6*
    k0(46,45,26) -> 6*
    k0(16,17,28) -> 6*
    k0(6,35,46) -> 6*
    k0(28,45,43) -> 6*
    k0(46,16,9) -> 6*
    k0(35,16,18) -> 6*
    k0(34,18,17) -> 6*
    k0(18,18,6) -> 6*
    k0(28,16,26) -> 6*
    k0(33,16,46) -> 6*
    k0(17,16,35) -> 6*
    k0(26,9,10) -> 6*
    k0(46,35,18) -> 6*
    k0(10,16,43) -> 6*
    k0(18,46,9) -> 6*
    k0(43,15,17) -> 6*
    k0(27,15,6) -> 6*
    k0(33,33,35) -> 6*
    k0(17,9,46) -> 6*
    k0(27,46,28) -> 6*
    k0(46,17,15) -> 6*
    k0(6,33,33) -> 6*
    k0(35,6,10) -> 6*
    k0(10,44,46) -> 6*
    k0(45,15,44) -> 6*
    k0(44,17,43) -> 6*
    k0(9,46,45) -> 6*
    k0(28,6,18) -> 6*
    k0(27,43,9) -> 6*
    k0(33,26,46) -> 6*
    k0(17,26,35) -> 6*
    k0(16,43,18) -> 6*
    k0(26,6,46) -> 6*
    k0(46,10,26) -> 6*
    k0(6,26,44) -> 6*
    k0(16,28,34) -> 6*
    k0(35,10,35) -> 6*
    k0(35,45,27) -> 6*
    k0(10,6,35) -> 6*
    k0(9,43,26) -> 6*
    k0(44,45,46) -> 6*
    k0(28,10,43) -> 6*
    k0(18,43,45) -> 6*
    k0(28,45,35) -> 6*
    k0(17,45,44) -> 6*
    k0(45,9,6) -> 6*
    k0(34,18,9) -> 6*
    k0(43,44,26) -> 6*
    k0(27,44,15) -> 6*
    k0(16,33,10) -> 6*
    k0(17,16,27) -> 6*
    k0(16,18,26) -> 6*
    k0(35,46,33) -> 6*
    k0(9,33,18) -> 6*
    k0(9,18,34) -> 6*
    k0(43,15,9) -> 6*
    k0(28,35,27) -> 6*
    k0(15,17,6) -> 6*
    k0(10,35,44) -> 6*
    k0(35,17,16) -> 6*
    k0(44,43,33) -> 6*
    k0(9,15,15) -> 6*
    k0(34,15,45) -> 6*
    k0(43,34,18) -> 6*
    k0(18,15,34) -> 6*
    k0(33,17,44) -> 6*
    k0(17,17,33) -> 6*
    k0(6,6,28) -> 6*
    k0(15,10,17) -> 6*
    k0(15,45,9) -> 6*
    k0(10,6,27) -> 6*
    k0(34,27,10) -> 6*
    k0(45,34,45) -> 6*
    k0(35,10,27) -> 6*
    k0(18,34,43) -> 6*
    k0(43,16,15) -> 6*
    k0(27,27,18) -> 6*
    k0(17,10,44) -> 6*
    k0(6,45,45) -> 6*
    k0(45,46,10) -> 6*
    k0(35,33,6) -> 6*
    k0(43,9,26) -> 6*
    k0(27,9,15) -> 6*
    k0(16,44,16) -> 6*
    k0(26,46,6) -> 6*
    k0(35,26,17) -> 6*
    k0(15,46,15) -> 6*
    k0(27,17,10) -> 6*
    k0(10,15,28) -> 6*
    k0(35,43,6) -> 6*
    k0(45,6,34) -> 6*
    k0(34,6,43) -> 6*
    k0(33,43,34) -> 6*
    k0(18,17,46) -> 6*
    k0(6,17,34) -> 6*
    k0(44,16,28) -> 6*
    k0(9,34,16) -> 6*
    k0(34,34,46) -> 6*
    k0(28,16,17) -> 6*
    k0(18,34,35) -> 6*
    k0(6,10,45) -> 6*
    k0(9,27,27) -> 6*
    k0(28,9,28) -> 6*
    k0(33,33,26) -> 6*
    k0(43,35,16) -> 6*
    k0(17,33,15) -> 6*
    k0(18,27,46) -> 6*
    k0(46,17,6) -> 6*
    k0(26,33,34) -> 6*
    k0(16,9,16) -> 6*
    k0(45,15,35) -> 6*
    k0(15,33,43) -> 6*
    k0(35,26,9) -> 6*
    k0(28,6,9) -> 6*
    k0(43,28,27) -> 6*
    k0(27,28,16) -> 6*
    k0(17,26,26) -> 6*
    k0(46,45,9) -> 6*
    k0(46,10,17) -> 6*
    k0(26,26,45) -> 6*
    k0(35,45,18) -> 6*
    k0(10,26,34) -> 6*
    k0(9,28,33) -> 6*
    k0(28,45,26) -> 6*
    k0(10,45,43) -> 6*
    k0(35,27,15) -> 6*
    k0(44,27,34) -> 6*
    k0(28,16,9) -> 6*
    k0(33,27,43) -> 6*
    k0(17,16,18) -> 6*
    k0(46,46,15) -> 6*
    k0(16,18,17) -> 6*
    k0(35,35,10) -> 6*
    k0(10,16,26) -> 6*
    k0(45,44,44) -> 6*
    k0(15,16,46) -> 6*
    k0(44,46,43) -> 6*
    k0(18,33,28) -> 6*
    k0(28,35,18) -> 6*
    k0(18,18,44) -> 6*
    k0(6,33,16) -> 6*
    k0(15,33,35) -> 6*
    k0(9,15,6) -> 6*
    k0(45,15,27) -> 6*
    k0(44,17,26) -> 6*
    k0(9,46,28) -> 6*
    k0(33,17,35) -> 6*
    k0(28,17,15) -> 6*
    k0(17,6,10) -> 6*
    k0(27,15,44) -> 6*
    k0(26,17,43) -> 6*
    k0(6,26,27) -> 6*
    k0(35,10,18) -> 6*
    k0(10,6,18) -> 6*
    k0(9,43,9) -> 6*
    k0(15,26,46) -> 6*
    k0(43,16,6) -> 6*
    k0(33,10,46) -> 6*
    k0(28,10,26) -> 6*
    k0(18,43,28) -> 6*
    k0(17,10,35) -> 6*
    k0(17,45,27) -> 6*
    k0(26,45,46) -> 6*
    k0(45,16,33) -> 6*
    k0(10,10,43) -> 6*
    k0(10,45,35) -> 6*
    k0(43,9,17) -> 6*
    k0(43,44,9) -> 6*
    k0(33,27,35) -> 6*
    k0(27,9,6) -> 6*
    k0(6,27,33) -> 6*
    k0(16,18,9) -> 6*
    k0(46,33,43) -> 6*
    k0(35,46,16) -> 6*
    k0(9,44,15) -> 6*
    k0(45,9,44) -> 6*
    k0(34,44,45) -> 6*
    k0(44,46,35) -> 6*
    k0(18,44,34) -> 6*
    k0(33,46,44) -> 6*
    k0(17,46,33) -> 6*
    k0(6,35,28) -> 6*
    k0(10,35,27) -> 6*
    k0(44,43,16) -> 6*
    k0(43,45,15) -> 6*
    k0(33,17,27) -> 6*
    k0(17,17,16) -> 6*
    k0(26,43,33) -> 6*
    k0(16,15,45) -> 6*
    k0(15,17,44) -> 6*
    k0(18,34,26) -> 6*
    k0(17,10,27) -> 6*
    k0(16,27,10) -> 6*
    k0(27,34,45) -> 6*
    k0(6,45,28) -> 6*
    k0(46,16,46) -> 6*
    k0(9,27,18) -> 6*
    k0(33,33,17) -> 6*
    k0(34,16,34) -> 6*
    k0(17,33,6) -> 6*
    k0(33,18,33) -> 6*
    k0(27,46,10) -> 6*
    k0(46,33,35) -> 6*
    k0(35,33,44) -> 6*
    k0(45,35,34) -> 6*
    k0(9,9,15) -> 6*
    k0(34,35,43) -> 6*
    k0(34,9,45) -> 6*
    k0(33,26,28) -> 6*
    k0(43,28,18) -> 6*
    k0(18,9,34) -> 6*
    k0(17,26,17) -> 6*
    k0(6,46,34) -> 6*
    k0(46,26,46) -> 6*
    k0(45,28,45) -> 6*
    k0(9,17,10) -> 6*
    k0(34,6,26) -> 6*
    k0(33,43,17) -> 6*
    k0(18,6,15) -> 6*
    k0(18,28,43) -> 6*
    k0(43,10,15) -> 6*
    k0(43,6,45) -> 6*
    k0(17,43,6) -> 6*
    k0(6,43,15) -> 6*
    k0(27,6,34) -> 6*
    k0(35,27,6) -> 6*
    k0(16,6,43) -> 6*
    k0(15,43,34) -> 6*
    k0(43,18,10) -> 6*
    k0(26,16,28) -> 6*
    k0(10,16,17) -> 6*
    k0(16,34,46) -> 6*
    k0(34,18,46) -> 6*
    k0(18,18,35) -> 6*
    k0(33,33,9) -> 6*
    k0(45,15,18) -> 6*
    k0(10,9,28) -> 6*
    k0(15,33,26) -> 6*
    k0(44,17,17) -> 6*
    k0(28,17,6) -> 6*
    k0(34,35,35) -> 6*
    k0(43,15,46) -> 6*
    k0(17,26,9) -> 6*
    k0(27,15,35) -> 6*
    k0(6,26,18) -> 6*
    k0(35,10,9) -> 6*
    k0(46,17,44) -> 6*
    k0(10,6,9) -> 6*
    k0(9,28,16) -> 6*
    k0(44,10,28) -> 6*
    k0(28,10,17) -> 6*
    k0(33,34,15) -> 6*
    k0(28,45,9) -> 6*
    k0(34,28,46) -> 6*
    k0(18,28,35) -> 6*
    k0(17,45,18) -> 6*
    k0(10,45,26) -> 6*
    k0(33,27,26) -> 6*
    k0(17,27,15) -> 6*
    k0(6,16,10) -> 6*
    k0(26,27,34) -> 6*
    k0(10,16,9) -> 6*
    k0(45,9,35) -> 6*
    k0(45,44,27) -> 6*
    k0(15,27,43) -> 6*
    k0(44,46,26) -> 6*
    k0(28,46,15) -> 6*
    k0(17,35,10) -> 6*
    k0(18,18,27) -> 6*
    k0(27,44,44) -> 6*
    k0(26,46,43) -> 6*
    k0(10,35,18) -> 6*
    k0(44,17,9) -> 6*
    k0(34,26,33) -> 6*
    k0(33,17,18) -> 6*
    k0(27,15,27) -> 6*
    k0(26,17,26) -> 6*
    k0(46,43,34) -> 6*
    k0(35,43,43) -> 6*
    k0(45,45,33) -> 6*
    k0(15,17,35) -> 6*
    k0(10,17,15) -> 6*
    k0(35,17,45) -> 6*
    k0(34,34,28) -> 6*
    k0(18,34,17) -> 6*
    k0(9,15,44) -> 6*
    k0(17,10,18) -> 6*
    k0(15,10,46) -> 6*
    k0(45,16,16) -> 6*
    k0(10,10,26) -> 6*
    k0(44,18,15) -> 6*
    k0(18,27,28) -> 6*
    k0(43,16,44) -> 6*
    k0(27,16,33) -> 6*
    k0(6,27,16) -> 6*
    k0(46,33,26) -> 6*
    k0(15,27,35) -> 6*
    k0(44,26,10) -> 6*
    k0(9,9,6) -> 6*
    k0(45,9,27) -> 6*
    k0(34,44,28) -> 6*
    k0(18,44,17) -> 6*
    k0(28,33,43) -> 6*
    k0(33,46,27) -> 6*
    k0(17,46,16) -> 6*
    k0(27,9,44) -> 6*
    k0(16,44,45) -> 6*
    k0(26,46,35) -> 6*
    k0(15,46,44) -> 6*
    k0(34,6,17) -> 6*
    k0(43,10,6) -> 6*
    k0(18,6,6) -> 6*
    k0(26,43,16) -> 6*
    k0(45,10,33) -> 6*
    k0(35,43,35) -> 6*
    k0(15,17,27) -> 6*
    k0(34,45,34) -> 6*
    k0(18,34,9) -> 6*
    k0(46,27,43) -> 6*
    k0(45,18,28) -> 6*
    k0(9,34,45) -> 6*
    k0(33,18,16) -> 6*
    k0(28,16,46) -> 6*
    k0(15,33,17) -> 6*
    k0(16,16,34) -> 6*
    k0(35,33,27) -> 6*
    k0(15,18,33) -> 6*
    k0(9,46,10) -> 6*
    k0(34,35,26) -> 6*
    k0(18,35,15) -> 6*
    k0(44,33,46) -> 6*
    k0(43,35,45) -> 6*
    k0(28,33,35) -> 6*
    k0(17,33,44) -> 6*
    k0(27,35,34) -> 6*
    k0(6,46,17) -> 6*
    k0(46,17,35) -> 6*
    k0(16,35,43) -> 6*
    k0(15,26,28) -> 6*
    k0(16,9,45) -> 6*
    k0(33,34,6) -> 6*
    k0(18,43,10) -> 6*
    k0(18,28,26) -> 6*
    k0(28,26,46) -> 6*
    k0(27,28,45) -> 6*
    k0(16,6,26) -> 6*
    k0(46,10,46) -> 6*
    k0(15,43,17) -> 6*
    k0(35,34,33) -> 6*
    k0(9,6,34) -> 6*
    k0(33,27,17) -> 6*
    k0(34,10,34) -> 6*
    k0(17,27,6) -> 6*
    k0(45,44,18) -> 6*
    k0(46,27,35) -> 6*
    k0(35,27,44) -> 6*
    k0(18,18,18) -> 6*
    k0(33,44,6) -> 6*
    k0(46,46,44) -> 6*
    k0(16,18,46) -> 6*
    k0(45,26,15) -> 6*
    k0(15,33,9) -> 6*
    k0(34,15,10) -> 6*
    k0(43,26,43) -> 6*
    k0(27,15,18) -> 6*
    k0(26,17,17) -> 6*
    k0(45,34,10) -> 6*
    k0(10,17,6) -> 6*
    k0(46,17,27) -> 6*
    k0(6,33,45) -> 6*
    k0(16,35,35) -> 6*
    k0(9,15,35) -> 6*
    k0(17,10,9) -> 6*
    k0(28,17,44) -> 6*
    k0(6,45,10) -> 6*
    k0(26,10,28) -> 6*
    k0(10,10,17) -> 6*
    k0(15,34,15) -> 6*
    k0(10,45,9) -> 6*
    k0(16,28,46) -> 6*
    k0(44,18,6) -> 6*
    k0(43,16,35) -> 6*
    k0(33,27,9) -> 6*
    k0(46,33,17) -> 6*
    k0(46,18,33) -> 6*
    k0(45,9,18) -> 6*
    k0(15,27,26) -> 6*
    k0(44,46,9) -> 6*
    k0(33,46,18) -> 6*
    k0(43,9,46) -> 6*
    k0(27,9,35) -> 6*
    k0(27,44,27) -> 6*
    k0(26,46,26) -> 6*
    k0(46,26,28) -> 6*
    k0(10,46,15) -> 6*
    k0(35,46,45) -> 6*
    k0(9,44,44) -> 6*
    k0(34,26,16) -> 6*
    k0(33,28,15) -> 6*
    k0(43,26,35) -> 6*
    k0(26,17,9) -> 6*
    k0(46,43,17) -> 6*
    k0(16,26,33) -> 6*
    k0(35,43,26) -> 6*
    k0(45,45,16) -> 6*
    k0(15,17,18) -> 6*
    k0(44,43,45) -> 6*
    k0(9,15,27) -> 6*
    k0(43,45,44) -> 6*
    k0(28,43,34) -> 6*
    k0(17,43,43) -> 6*
    k0(27,45,33) -> 6*
    k0(6,10,10) -> 6*
    k0(17,17,45) -> 6*
    k0(16,34,28) -> 6*
    k0(43,16,27) -> 6*
    k0(27,16,16) -> 6*
    k0(46,33,9) -> 6*
    k0(26,18,15) -> 6*
    k0(35,33,18) -> 6*
    k0(34,35,17) -> 6*
    k0(35,18,34) -> 6*
    k0(9,16,33) -> 6*
    k0(18,35,6) -> 6*
    k0(28,33,26) -> 6*
    k0(26,26,10) -> 6*
    k0(27,9,27) -> 6*
    k0(16,44,28) -> 6*
    k0(10,33,43) -> 6*
    k0(35,15,15) -> 6*
    k0(15,46,27) -> 6*
    k0(34,28,28) -> 6*
    k0(18,28,17) -> 6*
    k0(44,15,34) -> 6*
    k0(9,9,44) -> 6*
    k0(33,15,43) -> 6*
    k0(43,17,33) -> 6*
    k0(16,6,17) -> 6*
    k0(46,34,15) -> 6*
    k0(45,10,16) -> 6*
    k0(44,34,43) -> 6*
    k0(34,45,17) -> 6*
    k0(18,45,6) -> 6*
    k0(18,6,44) -> 6*
    k0(43,10,44) -> 6*
    k0(33,43,46) -> 6*
    k0(27,10,33) -> 6*
    k0(17,43,35) -> 6*
    k0(46,27,26) -> 6*
    k0(6,43,44) -> 6*
    k0(16,45,34) -> 6*
    k0(28,27,43) -> 6*
    k0(27,18,28) -> 6*
    k0(45,26,6) -> 6*
    k0(15,18,16) -> 6*
    k0(10,16,46) -> 6*
    k0(34,35,9) -> 6*
    k0(17,33,27) -> 6*
    k0(46,17,18) -> 6*
    k0(16,35,26) -> 6*
    k0(26,33,46) -> 6*
    k0(10,33,35) -> 6*
    k0(9,35,34) -> 6*
    k0(44,17,46) -> 6*
    k0(28,17,35) -> 6*
    k0(18,28,9) -> 6*
    k0(6,15,33) -> 6*
    k0(15,34,6) -> 6*
    k0(35,34,16) -> 6*
    k0(10,26,46) -> 6*
    k0(44,34,35) -> 6*
    k0(9,28,45) -> 6*
    k0(28,10,46) -> 6*
    k0(33,34,44) -> 6*
    k0(17,34,33) -> 6*
    k0(16,10,34) -> 6*
    k0(45,9,9) -> 6*
    k0(15,27,17) -> 6*
    k0(35,27,27) -> 6*
    k0(34,44,10) -> 6*
    k0(44,27,46) -> 6*
    k0(43,33,15) -> 6*
    k0(28,27,35) -> 6*
    k0(27,44,18) -> 6*
    k0(17,27,44) -> 6*
    k0(46,46,27) -> 6*
    k0(15,44,6) -> 6*
    k0(33,28,6) -> 6*
    k0(43,26,26) -> 6*
    k0(28,46,44) -> 6*
    k0(27,26,15) -> 6*
    k0(16,15,10) -> 6*
    k0(35,28,33) -> 6*
    k0(9,15,18) -> 6*
    k0(27,34,10) -> 6*
    k0(33,6,33) -> 6*
    k0(28,17,27) -> 6*
    k0(10,17,44) -> 6*
    k0(43,16,18) -> 6*
    k0(26,18,6) -> 6*
    k0(46,18,16) -> 6*
    k0(6,34,34) -> 6*
    k0(15,27,9) -> 6*
    k0(45,16,45) -> 6*
    k0(44,33,28) -> 6*
    k0(34,9,10) -> 6*
    k0(28,33,17) -> 6*
    k0(44,18,44) -> 6*
    k0(18,16,43) -> 6*
    k0(28,18,33) -> 6*
    k0(27,9,18) -> 6*
    k0(26,46,9) -> 6*
    k0(6,27,45) -> 6*
    k0(45,28,10) -> 6*
    k0(35,15,6) -> 6*
    k0(15,46,18) -> 6*
    k0(35,46,28) -> 6*
    k0(9,9,35) -> 6*
    k0(9,44,27) -> 6*
    k0(43,6,10) -> 6*
    k0(28,26,28) -> 6*
    k0(18,44,46) -> 6*
    k0(17,46,45) -> 6*
    k0(46,34,6) -> 6*
    k0(16,26,16) -> 6*
    k0(35,43,9) -> 6*
    k0(15,28,15) -> 6*
    k0(44,43,28) -> 6*
    k0(34,6,46) -> 6*
    k0(43,10,35) -> 6*
    k0(43,45,27) -> 6*
    k0(18,6,35) -> 6*
    k0(28,43,17) -> 6*
    k0(17,43,26) -> 6*
    k0(27,45,16) -> 6*
    k0(46,27,17) -> 6*
    k0(26,43,45) -> 6*
    k0(10,43,34) -> 6*
    k0(9,45,33) -> 6*
    k0(46,44,6) -> 6*
    k0(35,44,15) -> 6*
    k0(9,16,16) -> 6*
    k0(44,44,34) -> 6*
    k0(33,44,43) -> 6*
    k0(43,46,33) -> 6*
    k0(28,33,9) -> 6*
    k0(33,18,45) -> 6*
    k0(17,33,18) -> 6*
    k0(16,35,17) -> 6*
    k0(17,18,34) -> 6*
    k0(6,18,43) -> 6*
    k0(10,33,26) -> 6*
    k0(45,35,46) -> 6*
    k0(9,9,27) -> 6*
    k0(33,15,26) -> 6*
    k0(18,35,44) -> 6*
    k0(43,17,16) -> 6*
    k0(17,15,15) -> 6*
    k0(16,28,28) -> 6*
    k0(26,15,34) -> 6*
    k0(6,46,46) -> 6*
    k0(15,15,43) -> 6*
    k0(44,34,26) -> 6*
    k0(28,34,15) -> 6*
    k0(18,6,27) -> 6*
    k0(43,10,27) -> 6*
    k0(27,10,16) -> 6*
    k0(26,34,43) -> 6*
    k0(46,27,9) -> 6*
    k0(6,43,27) -> 6*
    k0(16,45,17) -> 6*
    k0(35,27,18) -> 6*
    k0(15,43,46) -> 6*
    k0(9,10,33) -> 6*
    k0(43,33,6) -> 6*
    k0(28,27,26) -> 6*
    k0(46,46,18) -> 6*
    k0(45,33,33) -> 6*
    k0(10,27,43) -> 6*
    k0(35,9,15) -> 6*
    k0(9,18,28) -> 6*
    k0(34,46,6) -> 6*
    k0(43,26,17) -> 6*
    k0(44,9,34) -> 6*
    k0(27,26,6) -> 6*
    k0(33,9,43) -> 6*
    k0(33,44,35) -> 6*
    k0(46,28,15) -> 6*
    k0(6,44,33) -> 6*
    k0(16,35,9) -> 6*
    k0(35,17,10) -> 6*
    k0(45,26,44) -> 6*
    k0(44,28,43) -> 6*
    k0(44,6,15) -> 6*
    k0(18,15,28) -> 6*
    k0(28,17,18) -> 6*
    k0(43,43,6) -> 6*
    k0(6,15,16) -> 6*
    k0(26,17,46) -> 6*
    k0(10,17,35) -> 6*
    k0(33,34,27) -> 6*
    k0(17,34,16) -> 6*
    k0(26,34,35) -> 6*
    k0(10,10,46) -> 6*
    k0(15,34,44) -> 6*
    k0(44,18,35) -> 6*
    k0(27,9,9) -> 6*
    k0(17,27,27) -> 6*
    k0(16,44,10) -> 6*
    k0(26,27,46) -> 6*
    k0(10,27,35) -> 6*
    k0(9,44,18) -> 6*
    k0(34,33,34) -> 6*
    k0(33,35,33) -> 6*
    k0(43,26,9) -> 6*
    k0(28,46,27) -> 6*
    k0(15,28,6) -> 6*
    k0(6,9,33) -> 6*
    k0(46,15,43) -> 6*
    k0(45,6,28) -> 6*
    k0(10,46,44) -> 6*
    k0(35,28,16) -> 6*
    k0(9,26,15) -> 6*
    k0(43,45,18) -> 6*
    k0(34,26,45) -> 6*
    k0(44,28,35) -> 6*
    k0(33,28,44) -> 6*
    k0(33,6,16) -> 6*
    k0(18,26,34) -> 6*
    k0(17,28,33) -> 6*
    k0(6,17,28) -> 6*
    k0(46,43,46) -> 6*
    k0(45,45,45) -> 6*
    k0(9,34,10) -> 6*
    k0(15,6,33) -> 6*
    k0(10,17,27) -> 6*
    k0(18,45,43) -> 6*
    k0(43,27,15) -> 6*
    k0(44,18,27) -> 6*
    k0(43,35,10) -> 6*
    k0(18,16,26) -> 6*
    k0(28,18,16) -> 6*
    k0(27,16,45) -> 6*
    k0(26,33,28) -> 6*
    k0(16,9,10) -> 6*
    k0(10,33,17) -> 6*
    k0(26,18,44) -> 6*
    k0(10,18,33) -> 6*
    k0(9,9,18) -> 6*
    k0(33,15,17) -> 6*
    k0(27,28,10) -> 6*
    k0(17,15,6) -> 6*
    k0(17,46,28) -> 6*
    k0(10,26,28) -> 6*
    k0(44,34,17) -> 6*
    k0(35,15,44) -> 6*
    k0(45,17,34) -> 6*
    k0(28,34,6) -> 6*
    k0(34,17,43) -> 6*
    k0(43,10,18) -> 6*
    k0(18,6,18) -> 6*
    k0(17,43,9) -> 6*
    k0(6,43,18) -> 6*
    k0(16,6,46) -> 6*
    k0(26,43,28) -> 6*
    k0(6,28,34) -> 6*
    k0(46,34,44) -> 6*
    k0(10,43,17) -> 6*
    k0(45,10,45) -> 6*
    k0(9,45,16) -> 6*
    k0(44,27,28) -> 6*
    k0(28,27,17) -> 6*
    k0(34,45,46) -> 6*
    k0(18,10,43) -> 6*
    k0(18,45,35) -> 6*
    k0(35,9,6) -> 6*
    k0(44,44,17) -> 6*
    k0(33,44,26) -> 6*
    k0(43,46,16) -> 6*
    k0(28,44,6) -> 6*
    k0(17,44,15) -> 6*
    k0(6,33,10) -> 6*
    k0(46,28,6) -> 6*
    k0(6,18,26) -> 6*
    k0(26,44,34) -> 6*
    k0(15,44,43) -> 6*
    k0(10,33,9) -> 6*
    k0(15,18,45) -> 6*
    k0(44,6,6) -> 6*
    k0(33,15,9) -> 6*
    k0(18,35,27) -> 6*
    k0(27,35,46) -> 6*
    k0(46,6,33) -> 6*
    k0(15,15,26) -> 6*
    k0(34,43,33) -> 6*
    k0(44,34,9) -> 6*
    k0(33,34,18) -> 6*
    k0(26,34,26) -> 6*
    k0(10,34,15) -> 6*
    k0(35,34,45) -> 6*
    k0(9,10,16) -> 6*
    k0(33,16,15) -> 6*
    k0(28,27,9) -> 6*
    k0(17,27,18) -> 6*
    k0(35,46,10) -> 6*
    k0(45,33,16) -> 6*
    k0(10,27,26) -> 6*
    k0(44,35,15) -> 6*
    k0(28,46,18) -> 6*
    k0(33,9,26) -> 6*
    k0(43,33,44) -> 6*
    k0(27,33,33) -> 6*
    k0(17,9,15) -> 6*
    k0(6,44,16) -> 6*
    k0(16,46,6) -> 6*
    k0(26,9,34) -> 6*
    k0(9,26,6) -> 6*
    k0(45,26,27) -> 6*
    k0(15,9,43) -> 6*
    k0(15,44,35) -> 6*
    k0(44,43,10) -> 6*
    k0(44,28,26) -> 6*
    k0(28,28,15) -> 6*
    k0(17,17,10) -> 6*
    k0(27,26,44) -> 6*
    k0(26,28,43) -> 6*
    k0(26,6,15) -> 6*
    k0(10,17,18) -> 6*
    k0(35,6,34) -> 6*
    k0(43,27,6) -> 6*
    k0(15,34,27) -> 6*
    k0(45,27,33) -> 6*
    k0(34,16,28) -> 6*
    k0(44,18,18) -> 6*
    k0(18,16,17) -> 6*
    k0(26,18,35) -> 6*
    k0(46,44,43) -> 6*
    k0(45,35,28) -> 6*
    k0(46,18,45) -> 6*
    k0(9,9,9) -> 6*
    k0(18,9,28) -> 6*
    k0(33,35,16) -> 6*
    k0(16,33,34) -> 6*
    k0(6,9,16) -> 6*
    k0(46,15,26) -> 6*
    k0(35,15,35) -> 6*
    k0(15,35,33) -> 6*
    k0(10,46,27) -> 6*
    k0(43,10,9) -> 6*
    k0(18,6,9) -> 6*
    k0(33,28,27) -> 6*
    k0(28,15,43) -> 6*
    k0(27,6,28) -> 6*
    k0(17,28,16) -> 6*
    k0(16,26,45) -> 6*
    k0(26,28,35) -> 6*
    k0(45,45,28) -> 6*
    k0(15,28,44) -> 6*
    k0(15,6,16) -> 6*
    k0(18,45,26) -> 6*
    k0(28,43,46) -> 6*
    k0(27,45,45) -> 6*
    k0(34,27,34) -> 6*
    k0(18,16,9) -> 6*
    k0(6,18,17) -> 6*
    k0(46,44,35) -> 6*
    k0(26,18,27) -> 6*
    k0(46,9,43) -> 6*
    k0(10,18,16) -> 6*
    k0(35,44,44) -> 6*
    k0(45,46,34) -> 6*
    k0(34,46,43) -> 6*
    k0(9,16,45) -> 6*
    k0(18,35,18) -> 6*
    k0(45,43,15) -> 6*
    k0(15,15,17) -> 6*
    k0(9,28,10) -> 6*
    k0(35,15,27) -> 6*
    k0(34,17,26) -> 6*
    k0(18,17,15) -> 6*
    k0(43,43,43) -> 6*
    k0(43,17,45) -> 6*
    k0(26,34,17) -> 6*
    k0(17,15,44) -> 6*
    k0(27,17,34) -> 6*
    k0(10,34,6) -> 6*
    k0(46,34,27) -> 6*
    k0(16,17,43) -> 6*
    k0(33,16,6) -> 6*
    k0(18,10,26) -> 6*
    k0(28,34,44) -> 6*
    k0(27,10,45) -> 6*
    k0(26,27,28) -> 6*
    k0(10,27,17) -> 6*
    k0(16,45,46) -> 6*
    k0(44,35,6) -> 6*
    k0(35,16,33) -> 6*
    k0(33,44,9) -> 6*
    k0(33,9,17) -> 6*
    k0(17,9,6) -> 6*
    k0(6,18,9) -> 6*
    k0(46,35,33) -> 6*
    k0(26,44,17) -> 6*
    k0(15,44,26) -> 6*
    k0(10,44,6) -> 6*
    k0(45,26,18) -> 6*
    k0(44,28,17) -> 6*
    k0(35,9,44) -> 6*
    k0(34,46,35) -> 6*
    k0(28,28,6) -> 6*
    k0(26,6,6) -> 6*
    k0(46,6,16) -> 6*
    k0(46,28,44) -> 6*
    k0(15,15,9) -> 6*
    k0(34,43,16) -> 6*
    k0(44,45,6) -> 6*
    k0(9,35,46) -> 6*
    k0(33,45,15) -> 6*
    k0(44,6,44) -> 6*
    k0(43,43,35) -> 6*
    k0(28,6,33) -> 6*
    k0(16,43,33) -> 6*
    k0(26,34,9) -> 6*
    k0(6,15,45) -> 6*
    k0(45,16,10) -> 6*
    k0(15,34,18) -> 6*
    k0(6,27,10) -> 6*
    k0(17,34,45) -> 6*
    k0(15,16,15) -> 6*
    k0(10,27,9) -> 6*
    k0(17,46,10) -> 6*
    k0(43,33,27) -> 6*
    k0(27,33,16) -> 6*
    k0(46,15,17) -> 6*
    k0(26,35,15) -> 6*
    k0(10,46,18) -> 6*
    k0(15,9,26) -> 6*
    k0(35,35,34) -> 6*
    k0(44,28,9) -> 6*
    k0(9,33,33) -> 6*
    k0(33,28,18) -> 6*
    k0(27,26,27) -> 6*
    k0(26,43,10) -> 6*
    k0(26,28,26) -> 6*
    k0(10,28,15) -> 6*
    k0(35,28,45) -> 6*
    k0(9,26,44) -> 6*
    k0(43,34,33) -> 6*
    k0(33,10,15) -> 6*
    k0(33,6,45) -> 6*
    k0(17,6,34) -> 6*
    k0(6,6,43) -> 6*
    k0(45,27,16) -> 6*
    k0(33,18,10) -> 6*
    k0(43,27,44) -> 6*
    k0(27,27,33) -> 6*
    k0(16,16,28) -> 6*
    k0(26,18,18) -> 6*
    k0(46,44,26) -> 6*
    k0(6,34,46) -> 6*
    k0(28,44,43) -> 6*
    k0(27,35,28) -> 6*
    k0(28,18,45) -> 6*
    k0(46,15,9) -> 6*
    k0(35,15,18) -> 6*
    k0(15,35,16) -> 6*
    k0(34,17,17) -> 6*
    k0(18,17,6) -> 6*
    k0(33,15,46) -> 6*
    k0(28,15,26) -> 6*
    k0(17,15,35) -> 6*
    k0(46,34,18) -> 6*
    k0(10,15,43) -> 6*
    k0(15,28,27) -> 6*
    k0(34,10,28) -> 6*
    k0(9,6,28) -> 6*
    k0(18,45,9) -> 6*
    k0(18,10,17) -> 6*
    k0(27,45,28) -> 6*
    k0(46,16,15) -> 6*
    k0(10,43,46) -> 6*
    k0(9,45,45) -> 6*
    k0(44,16,43) -> 6*
    k0(16,27,34) -> 6*
    k0(46,9,26) -> 6*
    k0(35,9,35) -> 6*
    k0(35,44,27) -> 6*
    k0(45,46,17) -> 6*
    k0(34,46,26) -> 6*
    k0(18,46,15) -> 6*
    k0(44,44,46) -> 6*
    k0(28,9,43) -> 6*
    k0(28,44,35) -> 6*
    k0(43,46,45) -> 6*
    k0(17,44,44) -> 6*
    k0(27,46,34) -> 6*
    k0(16,46,43) -> 6*
    k0(44,6,35) -> 6*
    k0(34,17,9) -> 6*
    k0(43,43,26) -> 6*
    k0(27,43,15) -> 6*
    k0(17,15,27) -> 6*
    k0(16,17,26) -> 6*
    k0(35,45,33) -> 6*
    k0(9,17,34) -> 6*
    k0(28,34,27) -> 6*
    k0(15,16,6) -> 6*
    k0(10,34,44) -> 6*
    k0(35,16,16) -> 6*
    k0(34,18,15) -> 6*
    k0(9,10,45) -> 6*
    k0(43,33,18) -> 6*
    k0(33,16,44) -> 6*
    k0(43,18,34) -> 6*
    k0(17,16,33) -> 6*
    k0(26,35,6) -> 6*
    k0(46,35,16) -> 6*
    k0(15,44,9) -> 6*
    k0(15,9,17) -> 6*
    k0(34,26,10) -> 6*
    k0(45,33,45) -> 6*
    k0(35,9,27) -> 6*
    k0(44,35,44) -> 6*
    k0(18,33,43) -> 6*
    k0(43,15,15) -> 6*
    k0(28,35,33) -> 6*
    k0(27,26,18) -> 6*
    k0(26,28,17) -> 6*
    k0(17,9,44) -> 6*
    k0(6,44,45) -> 6*
    k0(16,46,35) -> 6*
    k0(45,45,10) -> 6*
    k0(10,28,6) -> 6*
    k0(46,28,27) -> 6*
    k0(33,10,6) -> 6*
    k0(44,6,27) -> 6*
    k0(28,28,44) -> 6*
    k0(28,6,16) -> 6*
    k0(16,43,16) -> 6*
    k0(26,45,6) -> 6*
    k0(15,45,15) -> 6*
    k0(26,6,44) -> 6*
    k0(35,10,33) -> 6*
    k0(10,6,33) -> 6*
    k0(27,16,10) -> 6*
    k0(35,18,28) -> 6*
    k0(18,16,46) -> 6*
    k0(6,16,34) -> 6*
    k0(9,33,16) -> 6*
    k0(44,15,28) -> 6*
    k0(34,33,46) -> 6*
    k0(28,15,17) -> 6*
    k0(33,35,45) -> 6*
    k0(18,33,35) -> 6*
    k0(17,35,34) -> 6*
    k0(6,35,43) -> 6*
    k0(26,28,9) -> 6*
    k0(6,9,45) -> 6*
    k0(45,10,10) -> 6*
    k0(15,28,18) -> 6*
    k0(9,26,27) -> 6*
    k0(43,34,16) -> 6*
    k0(18,26,46) -> 6*
    k0(46,16,6) -> 6*
    k0(17,28,45) -> 6*
    k0(6,6,26) -> 6*
    k0(15,10,15) -> 6*
    k0(15,6,45) -> 6*
    k0(43,27,27) -> 6*
    k0(27,27,16) -> 6*
    k0(46,9,17) -> 6*
    k0(46,44,9) -> 6*
    k0(35,44,18) -> 6*
    k0(15,18,10) -> 6*
    k0(9,27,33) -> 6*
    k0(28,44,26) -> 6*
    k0(6,18,46) -> 6*
    k0(10,44,43) -> 6*
    k0(35,26,15) -> 6*
    k0(10,18,45) -> 6*
    k0(9,35,28) -> 6*
    k0(44,26,34) -> 6*
    k0(33,26,43) -> 6*
    k0(43,28,33) -> 6*
    k0(28,15,9) -> 6*
    k0(17,15,18) -> 6*
    k0(46,45,15) -> 6*
    k0(16,17,17) -> 6*
    k0(6,35,35) -> 6*
    k0(35,34,10) -> 6*
    k0(10,15,26) -> 6*
    k0(45,43,44) -> 6*
    k0(15,15,46) -> 6*
    k0(44,45,43) -> 6*
    k0(28,34,18) -> 6*
    k0(18,17,44) -> 6*
    k0(16,10,28) -> 6*
    k0(6,28,46) -> 6*
    k0(34,18,6) -> 6*
    k0(9,45,28) -> 6*
    k0(44,16,26) -> 6*
    k0(33,16,35) -> 6*
    k0(28,16,15) -> 6*
    k0(26,16,43) -> 6*
    k0(35,9,18) -> 6*
    k0(34,46,9) -> 6*
    k0(43,15,6) -> 6*
    k0(28,9,26) -> 6*
    k0(33,9,46) -> 6*
    k0(43,46,28) -> 6*
    k0(17,9,35) -> 6*
    k0(17,44,27) -> 6*
    k0(27,46,17) -> 6*
    k0(16,46,26) -> 6*
    k0(46,28,18) -> 6*
    k0(26,44,46) -> 6*
    k0(10,9,43) -> 6*
    k0(10,44,35) -> 6*
    k0(45,15,33) -> 6*
    k0(44,6,18) -> 6*
    k0(9,46,34) -> 6*
    k0(43,43,9) -> 6*
    k0(33,26,35) -> 6*
    k0(26,6,35) -> 6*
    k0(46,10,15) -> 6*
    k0(6,26,33) -> 6*
    k0(16,17,9) -> 6*
    k0(35,45,16) -> 6*
    k0(46,6,45) -> 6*
    k0(9,43,15) -> 6*
    k0(34,43,45) -> 6*
    k0(44,45,35) -> 6*
    k0(44,10,43) -> 6*
    k0(33,45,44) -> 6*
    k0(18,43,34) -> 6*
    k0(17,45,33) -> 6*
    k0(46,18,10) -> 6*
    k0(6,34,28) -> 6*
    k0(10,34,27) -> 6*
    k0(43,44,15) -> 6*
    k0(33,16,27) -> 6*
    k0(17,16,16) -> 6*
    k0(16,18,15) -> 6*
    k0(15,16,44) -> 6*
    k0(44,35,27) -> 6*
    k0(18,33,26) -> 6*
    k0(28,35,16) -> 6*
    k0(16,26,10) -> 6*
    k0(27,33,45) -> 6*
    k0(17,9,27) -> 6*
    k0(6,44,28) -> 6*
    k0(46,15,46) -> 6*
    k0(26,35,44) -> 6*
    k0(10,35,33) -> 6*
    k0(9,26,18) -> 6*
    k0(34,15,34) -> 6*
    k0(28,28,27) -> 6*
    k0(27,45,10) -> 6*
    k0(33,17,33) -> 6*
    k0(6,6,17) -> 6*
    k0(15,10,6) -> 6*
    k0(26,6,27) -> 6*
    k0(10,28,44) -> 6*
    k0(35,10,16) -> 6*
    k0(10,6,16) -> 6*
    k0(45,34,34) -> 6*
    k0(34,34,43) -> 6*
    k0(43,27,18) -> 6*
    k0(33,10,44) -> 6*
    k0(17,10,33) -> 6*
    k0(6,45,34) -> 6*
    k0(45,27,45) -> 6*
    k0(9,16,10) -> 6*
    k0(18,27,43) -> 6*
    k0(43,9,15) -> 6*
    k0(17,18,28) -> 6*
    k0(35,26,6) -> 6*
    k0(43,17,10) -> 6*
    k0(26,15,28) -> 6*
    k0(6,35,26) -> 6*
    k0(16,33,46) -> 6*
    k0(10,15,17) -> 6*
    k0(15,35,45) -> 6*
    k0(34,17,46) -> 6*
    k0(18,17,35) -> 6*
    k0(27,10,10) -> 6*
    k0(44,16,17) -> 6*
    k0(28,16,6) -> 6*
    k0(34,34,35) -> 6*
    k0(18,10,46) -> 6*
    k0(35,9,9) -> 6*
    k0(46,16,44) -> 6*
    k0(6,10,34) -> 6*
    k0(45,18,43) -> 6*
    k0(44,9,28) -> 6*
    k0(9,27,16) -> 6*
    k0(28,44,9) -> 6*
    k0(34,27,46) -> 6*
    k0(28,9,17) -> 6*
    k0(33,33,15) -> 6*
    k0(17,44,18) -> 6*
    k0(18,27,35) -> 6*
    k0(10,44,26) -> 6*
    k0(44,6,9) -> 6*
    k0(45,46,46) -> 6*
    k0(33,26,26) -> 6*
    k0(18,46,44) -> 6*
    k0(43,28,16) -> 6*
    k0(17,26,15) -> 6*
    k0(46,10,6) -> 6*
    k0(6,15,10) -> 6*
    k0(26,26,34) -> 6*
    k0(10,15,9) -> 6*
    k0(45,43,27) -> 6*
    k0(15,26,43) -> 6*
    k0(44,45,26) -> 6*
    k0(28,45,15) -> 6*
    k0(18,17,27) -> 6*
    k0(17,34,10) -> 6*
    k0(27,43,44) -> 6*
    k0(26,45,43) -> 6*
    k0(10,34,18) -> 6*
    k0(44,16,9) -> 6*
    k0(33,16,18) -> 6*
    k0(16,18,6) -> 6*
    k0(26,16,26) -> 6*
    k0(15,16,35) -> 6*
    k0(10,16,15) -> 6*
    k0(45,44,33) -> 6*
    k0(34,33,28) -> 6*
    k0(44,35,18) -> 6*
    k0(35,16,45) -> 6*
    k0(18,33,17) -> 6*
    k0(34,18,44) -> 6*
    k0(18,18,33) -> 6*
    k0(17,9,18) -> 6*
    k0(16,46,9) -> 6*
    k0(46,35,45) -> 6*
    k0(35,28,10) -> 6*
    k0(10,9,26) -> 6*
    k0(15,9,46) -> 6*
    k0(45,15,16) -> 6*
    k0(44,17,15) -> 6*
    k0(9,46,17) -> 6*
    k0(33,6,10) -> 6*
    k0(18,26,28) -> 6*
    k0(28,28,18) -> 6*
    k0(43,15,44) -> 6*
    k0(27,15,33) -> 6*
    k0(26,6,18) -> 6*
    k0(6,26,16) -> 6*
    k0(15,26,35) -> 6*
    k0(34,43,28) -> 6*
    k0(44,10,26) -> 6*
    k0(33,10,35) -> 6*
    k0(33,45,27) -> 6*
    k0(28,10,15) -> 6*
    k0(18,43,17) -> 6*
    k0(17,45,16) -> 6*
    k0(28,6,45) -> 6*
    k0(16,43,45) -> 6*
    k0(26,45,35) -> 6*
    k0(26,10,43) -> 6*
    k0(15,45,44) -> 6*
    k0(43,9,6) -> 6*
    k0(28,18,10) -> 6*
    k0(15,16,27) -> 6*
    k0(45,9,33) -> 6*
    k0(34,44,34) -> 6*
    k0(18,33,9) -> 6*
    k0(33,46,33) -> 6*
    k0(6,35,17) -> 6*
    k0(46,26,43) -> 6*
    k0(26,35,27) -> 6*
    k0(10,35,16) -> 6*
    k0(45,17,28) -> 6*
    k0(35,35,46) -> 6*
    k0(9,33,45) -> 6*
    k0(28,15,46) -> 6*
    k0(33,17,16) -> 6*
    k0(6,28,28) -> 6*
    k0(16,15,34) -> 6*
    k0(10,28,27) -> 6*
    k0(9,45,10) -> 6*
    k0(15,17,33) -> 6*
    k0(34,34,26) -> 6*
    k0(18,34,15) -> 6*
    k0(43,34,45) -> 6*
    k0(33,10,27) -> 6*
    k0(17,10,16) -> 6*
    k0(27,34,34) -> 6*
    k0(16,34,43) -> 6*
    k0(6,45,17) -> 6*
    k0(46,16,35) -> 6*
    k0(15,10,44) -> 6*
    k0(43,46,10) -> 6*
    k0(33,33,6) -> 6*
    k0(18,27,26) -> 6*
    k0(27,27,45) -> 6*
    k0(46,9,46) -> 6*
    k0(35,33,33) -> 6*
    k0(33,26,17) -> 6*
    k0(34,9,34) -> 6*
    k0(17,26,6) -> 6*
    k0(6,35,9) -> 6*
    k0(45,43,18) -> 6*
    k0(46,26,35) -> 6*
    k0(35,26,44) -> 6*
    k0(45,28,34) -> 6*
    k0(34,28,43) -> 6*
    k0(34,6,15) -> 6*
    k0(18,17,18) -> 6*
    k0(33,43,6) -> 6*
    k0(43,6,34) -> 6*
    k0(46,45,44) -> 6*
    k0(16,17,46) -> 6*
    k0(9,10,10) -> 6*
    k0(26,16,17) -> 6*
    k0(10,16,6) -> 6*
    k0(46,16,27) -> 6*
    k0(16,34,35) -> 6*
    k0(45,33,10) -> 6*
    k0(45,18,26) -> 6*
    k0(34,18,35) -> 6*
    k0(17,9,9) -> 6*
    k0(28,16,44) -> 6*
    k0(27,18,43) -> 6*
    k0(6,44,10) -> 6*
    k0(26,9,28) -> 6*
    k0(10,44,9) -> 6*
    k0(16,27,46) -> 6*
    k0(10,9,17) -> 6*
    k0(15,33,15) -> 6*
    k0(44,17,6) -> 6*
    k0(33,26,9) -> 6*
    k0(18,46,27) -> 6*
    k0(43,15,35) -> 6*
    k0(26,6,9) -> 6*
    k0(27,46,46) -> 6*
    k0(46,17,33) -> 6*
    k0(35,6,28) -> 6*
    k0(15,26,26) -> 6*
    k0(44,10,17) -> 6*
    k0(44,45,9) -> 6*
    k0(33,45,18) -> 6*
    k0(28,10,6) -> 6*
    k0(34,28,35) -> 6*
    k0(27,43,27) -> 6*
    k0(26,45,26) -> 6*
    k0(46,10,44) -> 6*
    k0(10,45,15) -> 6*
    k0(35,45,45) -> 6*
    k0(9,43,44) -> 6*
    k0(33,27,15) -> 6*
    k0(26,16,9) -> 6*
    k0(15,16,18) -> 6*
    k0(45,44,16) -> 6*
    k0(44,46,15) -> 6*
    k0(34,18,27) -> 6*
    k0(33,35,10) -> 6*
    k0(43,44,44) -> 6*
    k0(18,18,16) -> 6*
    k0(27,44,33) -> 6*
    k0(16,33,28) -> 6*
    k0(26,35,18) -> 6*
    k0(6,9,10) -> 6*
    k0(17,16,45) -> 6*
    k0(16,18,44) -> 6*
    k0(17,28,10) -> 6*
    k0(43,15,27) -> 6*
    k0(28,35,45) -> 6*
    k0(27,15,16) -> 6*
    k0(26,17,15) -> 6*
    k0(15,6,10) -> 6*
    k0(10,28,18) -> 6*
    k0(35,17,34) -> 6*
    k0(34,34,17) -> 6*
    k0(9,15,33) -> 6*
    k0(18,34,6) -> 6*
    k0(33,10,18) -> 6*
    k0(16,43,28) -> 6*
    k0(6,6,46) -> 6*
    k0(26,10,26) -> 6*
    k0(15,10,35) -> 6*
    k0(15,45,27) -> 6*
    k0(10,10,15) -> 6*
    k0(35,10,45) -> 6*
    k0(10,6,45) -> 6*
    k0(34,27,28) -> 6*
    k0(18,27,17) -> 6*
    k0(43,16,33) -> 6*
    k0(46,33,15) -> 6*
    k0(10,18,10) -> 6*
    k0(45,9,16) -> 6*
    k0(44,33,43) -> 6*
    k0(34,44,17) -> 6*
    k0(18,44,6) -> 6*
    k0(33,46,16) -> 6*
    k0(43,9,44) -> 6*
    k0(27,9,33) -> 6*
    k0(46,26,26) -> 6*
    k0(16,44,34) -> 6*
    k0(15,46,33) -> 6*
    k0(34,6,6) -> 6*
    k0(28,26,43) -> 6*
    k0(27,17,28) -> 6*
    k0(17,35,46) -> 6*
    k0(10,15,46) -> 6*
    k0(15,17,16) -> 6*
    k0(34,34,9) -> 6*
    k0(16,34,26) -> 6*
    k0(46,16,18) -> 6*
    k0(45,18,17) -> 6*
    k0(15,10,27) -> 6*
    k0(9,34,34) -> 6*
    k0(44,16,46) -> 6*
    k0(18,27,9) -> 6*
    k0(28,16,35) -> 6*
    k0(15,33,6) -> 6*
    k0(35,33,16) -> 6*
    k0(34,35,15) -> 6*
    k0(18,46,18) -> 6*
    k0(44,33,35) -> 6*
    k0(9,27,45) -> 6*
    k0(28,9,46) -> 6*
    k0(33,33,44) -> 6*
    k0(43,35,34) -> 6*
    k0(17,33,33) -> 6*
    k0(6,46,6) -> 6*
    k0(46,6,10) -> 6*
    k0(15,26,17) -> 6*
    k0(16,9,34) -> 6*
    k0(34,43,10) -> 6*
    k0(35,26,27) -> 6*
    k0(34,28,26) -> 6*
    k0(18,28,15) -> 6*
    k0(44,26,46) -> 6*
    k0(27,43,18) -> 6*
    k0(43,28,45) -> 6*
    k0(28,26,35) -> 6*
    k0(17,26,44) -> 6*
    k0(27,28,34) -> 6*
    k0(46,10,35) -> 6*
    k0(46,45,27) -> 6*
    k0(16,28,43) -> 6*
    k0(16,6,15) -> 6*
    k0(15,43,6) -> 6*
    k0(33,27,6) -> 6*
    k0(28,45,44) -> 6*
    k0(35,27,33) -> 6*
    k0(45,18,9) -> 6*
    k0(34,18,18) -> 6*
    k0(28,16,27) -> 6*
    k0(27,33,10) -> 6*
    k0(27,18,26) -> 6*
    k0(46,46,33) -> 6*
    k0(16,18,35) -> 6*
    k0(35,35,28) -> 6*
    k0(10,16,44) -> 6*
    k0(9,18,43) -> 6*
    k0(43,15,18) -> 6*
    k0(26,17,6) -> 6*
    k0(6,33,34) -> 6*
    k0(46,17,16) -> 6*
    k0(15,26,9) -> 6*
    k0(45,15,45) -> 6*
    k0(44,17,44) -> 6*
    k0(9,46,46) -> 6*
    k0(33,10,9) -> 6*
    k0(18,15,43) -> 6*
    k0(28,17,33) -> 6*
    k0(17,6,28) -> 6*
    k0(26,10,17) -> 6*
    k0(26,45,9) -> 6*
    k0(15,45,18) -> 6*
    k0(10,10,6) -> 6*
    k0(46,10,27) -> 6*
    k0(6,26,45) -> 6*
    k0(16,28,35) -> 6*
    k0(45,27,10) -> 6*
    k0(35,45,28) -> 6*
    k0(9,43,27) -> 6*
    k0(28,10,44) -> 6*
    k0(18,43,46) -> 6*
    k0(17,45,45) -> 6*
    k0(46,33,6) -> 6*
    k0(15,27,15) -> 6*
    k0(43,9,35) -> 6*
    k0(43,44,27) -> 6*
    k0(27,44,16) -> 6*
    k0(26,46,15) -> 6*
    k0(46,26,17) -> 6*
    k0(16,18,27) -> 6*
    k0(15,35,10) -> 6*
    k0(35,46,34) -> 6*
    k0(9,44,33) -> 6*
    k0(46,43,6) -> 6*
    k0(35,43,15) -> 6*
    k0(10,35,45) -> 6*
    k0(45,6,43) -> 6*
    k0(9,15,16) -> 6*
    k0(44,43,34) -> 6*
    k0(33,43,43) -> 6*
    k0(43,45,33) -> 6*
    k0(33,17,45) -> 6*
    k0(17,17,34) -> 6*
    k0(16,34,17) -> 6*
    k0(6,17,43) -> 6*
    k0(15,10,18) -> 6*
    k0(45,34,46) -> 6*
    k0(18,34,44) -> 6*
    k0(43,16,16) -> 6*
    k0(17,10,45) -> 6*
    k0(16,27,28) -> 6*
    k0(6,45,46) -> 6*
    k0(34,35,6) -> 6*
    k0(44,33,26) -> 6*
    k0(28,33,15) -> 6*
    k0(43,9,27) -> 6*
    k0(27,9,16) -> 6*
    k0(26,33,43) -> 6*
    k0(46,26,9) -> 6*
    k0(16,44,17) -> 6*
    k0(15,46,16) -> 6*
    k0(35,26,18) -> 6*
    k0(34,28,17) -> 6*
    k0(9,9,33) -> 6*
    k0(18,28,6) -> 6*
    k0(28,26,26) -> 6*
    k0(16,6,6) -> 6*
    k0(46,45,18) -> 6*
    k0(10,26,43) -> 6*
    k0(34,45,6) -> 6*
    k0(9,17,28) -> 6*
    k0(34,6,44) -> 6*
    k0(33,43,35) -> 6*
    k0(18,6,33) -> 6*
    k0(43,10,33) -> 6*
    k0(6,43,33) -> 6*
    k0(16,34,9) -> 6*
    k0(46,27,15) -> 6*
    k0(35,16,10) -> 6*
    k0(44,27,43) -> 6*
    k0(43,18,28) -> 6*
    k0(28,16,18) -> 6*
    k0(27,18,17) -> 6*
    k0(46,35,10) -> 6*
    k0(26,16,46) -> 6*
    k0(10,16,35) -> 6*
    k0(33,33,27) -> 6*
    k0(17,33,16) -> 6*
    k0(16,35,15) -> 6*
    k0(26,33,35) -> 6*
    k0(10,9,46) -> 6*
    k0(15,33,44) -> 6*
    k0(34,28,9) -> 6*
    k0(44,17,35) -> 6*
    k0(28,6,10) -> 6*
    k0(17,26,27) -> 6*
    k0(16,43,10) -> 6*
    k0(46,10,18) -> 6*
    k0(16,28,26) -> 6*
    k0(26,26,46) -> 6*
    k0(9,43,18) -> 6*
    k0(10,26,35) -> 6*
    k0(9,28,34) -> 6*
    k0(44,10,46) -> 6*
    k0(28,10,35) -> 6*
    k0(33,34,33) -> 6*
    k0(28,45,27) -> 6*
    k0(15,27,6) -> 6*
    k0(10,45,44) -> 6*
    k0(35,27,16) -> 6*
    k0(44,27,35) -> 6*
    k0(43,44,18) -> 6*
    k0(33,27,44) -> 6*
    k0(17,27,33) -> 6*
    k0(27,18,9) -> 6*
    k0(16,18,18) -> 6*
    k0(46,46,16) -> 6*
    k0(6,16,28) -> 6*
    k0(10,16,27) -> 6*
    k0(45,44,45) -> 6*
    k0(9,33,10) -> 6*
    k0(44,46,44) -> 6*
    k0(9,18,26) -> 6*
    k0(18,44,43) -> 6*
    k0(43,26,15) -> 6*
    k0(28,46,33) -> 6*
    k0(17,35,28) -> 6*
    k0(18,18,45) -> 6*
    k0(44,17,27) -> 6*
    k0(43,34,10) -> 6*
    k0(18,15,26) -> 6*
    k0(28,17,16) -> 6*
    k0(27,15,45) -> 6*
    k0(26,17,44) -> 6*
    k0(15,10,9) -> 6*
    k0(10,17,33) -> 6*
    k0(28,10,27) -> 6*
    k0(27,27,10) -> 6*
    k0(17,45,28) -> 6*
    k0(45,16,34) -> 6*
    k0(10,10,44) -> 6*
    k0(44,33,17) -> 6*
    k0(28,33,6) -> 6*
    k0(34,16,43) -> 6*
    k0(44,18,33) -> 6*
    k0(43,9,18) -> 6*
    k0(6,27,34) -> 6*
    k0(46,33,44) -> 6*
    k0(35,46,17) -> 6*
    k0(45,35,43) -> 6*
    k0(9,44,16) -> 6*
    k0(44,26,28) -> 6*
    k0(45,9,45) -> 6*
    k0(28,26,17) -> 6*
    k0(34,44,46) -> 6*
    k0(18,44,35) -> 6*
    k0(33,46,45) -> 6*
    k0(18,9,43) -> 6*
    k0(17,46,34) -> 6*
    k0(6,46,43) -> 6*
    k0(45,6,26) -> 6*
    k0(34,6,35) -> 6*
    k0(44,43,17) -> 6*
    k0(28,43,6) -> 6*
    k0(33,43,26) -> 6*
    k0(43,45,16) -> 6*
    k0(17,43,15) -> 6*
    k0(46,27,6) -> 6*
    k0(27,6,43) -> 6*
    k0(26,43,34) -> 6*
    k0(6,17,26) -> 6*
    k0(15,43,43) -> 6*
    k0(15,17,45) -> 6*
    k0(18,34,27) -> 6*
    k0(27,34,46) -> 6*
    k0(45,18,46) -> 6*
    k0(44,33,9) -> 6*
    k0(33,33,18) -> 6*
    k0(33,18,34) -> 6*
    k0(16,35,6) -> 6*
    k0(26,33,26) -> 6*
    k0(10,33,15) -> 6*
    k0(35,33,45) -> 6*
    k0(45,35,35) -> 6*
    k0(9,9,16) -> 6*
    k0(34,35,44) -> 6*
    k0(33,15,15) -> 6*
    k0(18,35,33) -> 6*
    k0(28,26,9) -> 6*
    k0(17,26,18) -> 6*
    k0(16,28,17) -> 6*
    k0(46,10,9) -> 6*
    k0(6,46,35) -> 6*
    k0(35,45,10) -> 6*
    k0(10,26,26) -> 6*
    k0(44,34,15) -> 6*
    k0(45,28,46) -> 6*
    k0(28,45,18) -> 6*
    k0(34,6,27) -> 6*
    k0(18,6,16) -> 6*
    k0(18,28,44) -> 6*
    k0(43,10,16) -> 6*
    k0(6,43,16) -> 6*
    k0(16,45,6) -> 6*
    k0(16,6,44) -> 6*
    k0(15,43,35) -> 6*
    k0(44,27,26) -> 6*
    k0(28,27,15) -> 6*
    k0(17,16,10) -> 6*
    k0(26,27,43) -> 6*
    k0(10,16,18) -> 6*
    k0(9,18,17) -> 6*
    k0(43,26,6) -> 6*
    k0(28,35,10) -> 6*
    k0(45,26,33) -> 6*
    k0(15,33,27) -> 6*
    k0(34,15,28) -> 6*
    k0(44,17,18) -> 6*
    k0(18,15,17) -> 6*
    k0(16,28,9) -> 6*
    k0(46,43,43) -> 6*
    k0(26,17,35) -> 6*
    k0(45,34,28) -> 6*
    k0(35,10,10) -> 6*
    k0(46,17,45) -> 6*
    k0(10,6,10) -> 6*
    k0(28,10,18) -> 6*
    k0(33,34,16) -> 6*
    k0(26,10,46) -> 6*
    k0(10,10,35) -> 6*
    k0(15,34,33) -> 6*
    k0(10,45,27) -> 6*
    k0(43,9,9) -> 6*
    k0(33,27,27) -> 6*
    k0(17,27,16) -> 6*
    k0(26,27,35) -> 6*
    k0(45,44,28) -> 6*
    k0(15,27,44) -> 6*
    k0(44,46,27) -> 6*
    k0(9,18,9) -> 6*
    k0(18,44,26) -> 6*
    k0(28,46,16) -> 6*
    k0(27,44,45) -> 6*
    k0(26,46,44) -> 6*
    k0(45,6,17) -> 6*
    k0(10,46,33) -> 6*
    k0(34,26,34) -> 6*
    k0(33,28,33) -> 6*
    k0(18,15,9) -> 6*
    k0(6,17,17) -> 6*
    k0(26,17,27) -> 6*
    k0(46,43,35) -> 6*
    k0(35,43,44) -> 6*
    k0(45,45,34) -> 6*
    k0(10,17,16) -> 6*
    k0(34,45,43) -> 6*
    k0(18,34,18) -> 6*
    k0(9,15,45) -> 6*
    k0(6,10,28) -> 6*
    k0(9,27,10) -> 6*
    k0(10,10,27) -> 6*
    k0(34,16,26) -> 6*
    k0(44,18,16) -> 6*
    k0(18,16,15) -> 6*
    k0(43,16,45) -> 6*
    k0(27,16,34) -> 6*
    k0(26,33,17) -> 6*
    k0(10,33,6) -> 6*
    k0(46,33,27) -> 6*
    k0(16,16,43) -> 6*
    k0(26,18,33) -> 6*
    k0(45,35,26) -> 6*
    k0(43,28,10) -> 6*
    k0(33,15,6) -> 6*
    k0(28,33,44) -> 6*
    k0(33,46,28) -> 6*
    k0(18,9,26) -> 6*
    k0(17,46,17) -> 6*
    k0(27,35,43) -> 6*
    k0(26,26,28) -> 6*
    k0(6,46,26) -> 6*
    k0(27,9,45) -> 6*
    k0(10,26,17) -> 6*
    k0(16,44,46) -> 6*
    k0(44,34,6) -> 6*
    k0(35,15,33) -> 6*
    k0(15,46,45) -> 6*
    k0(34,6,18) -> 6*
    k0(33,43,9) -> 6*
    k0(27,6,26) -> 6*
    k0(16,6,35) -> 6*
    k0(26,43,17) -> 6*
    k0(6,17,9) -> 6*
    k0(46,34,33) -> 6*
    k0(10,43,6) -> 6*
    k0(15,43,26) -> 6*
    k0(45,10,34) -> 6*
    k0(44,27,17) -> 6*
    k0(28,27,6) -> 6*
    k0(34,10,43) -> 6*
    k0(34,45,35) -> 6*
    k0(9,6,43) -> 6*
    k0(46,27,44) -> 6*
    k0(44,44,6) -> 6*
    k0(33,44,15) -> 6*
    k0(9,34,46) -> 6*
    k0(27,18,46) -> 6*
    k0(26,33,9) -> 6*
    k0(6,18,15) -> 6*
    k0(45,15,10) -> 6*
    k0(15,33,18) -> 6*
    k0(15,18,34) -> 6*
    k0(34,35,27) -> 6*
    k0(18,35,16) -> 6*
    k0(43,35,46) -> 6*
    k0(6,26,10) -> 6*
    k0(17,33,45) -> 6*
    k0(27,35,35) -> 6*
    k0(16,35,44) -> 6*
    k0(15,15,15) -> 6*
    k0(10,26,9) -> 6*
    k0(28,10,9) -> 6*
    k0(17,45,10) -> 6*
    k0(18,28,27) -> 6*
    k0(26,34,15) -> 6*
    k0(27,28,46) -> 6*
    k0(10,45,18) -> 6*
    k0(16,6,27) -> 6*
    k0(35,34,34) -> 6*
    k0(44,27,9) -> 6*
    k0(33,27,18) -> 6*
    k0(26,27,26) -> 6*
    k0(10,27,15) -> 6*
    k0(35,27,45) -> 6*
    k0(44,46,18) -> 6*
    k0(43,33,33) -> 6*
    k0(33,9,15) -> 6*
    k0(46,46,45) -> 6*
    k0(10,35,10) -> 6*
    k0(45,26,16) -> 6*
    k0(44,28,15) -> 6*
    k0(33,17,10) -> 6*
    k0(43,26,44) -> 6*
    k0(27,26,33) -> 6*
    k0(46,43,26) -> 6*
    k0(16,15,28) -> 6*
    k0(26,17,18) -> 6*
    k0(6,33,46) -> 6*
    k0(28,43,43) -> 6*
    k0(27,34,28) -> 6*
    k0(17,10,10) -> 6*
    k0(28,17,45) -> 6*
    k0(10,10,18) -> 6*
    k0(15,34,16) -> 6*
    k0(34,16,17) -> 6*
    k0(18,16,6) -> 6*
    k0(46,33,18) -> 6*
    k0(46,18,34) -> 6*
    k0(45,35,17) -> 6*
    k0(35,18,43) -> 6*
    k0(15,27,27) -> 6*
    k0(34,9,28) -> 6*
    k0(18,9,17) -> 6*
    k0(18,44,9) -> 6*
    k0(27,44,28) -> 6*
    k0(46,15,15) -> 6*
    k0(26,46,27) -> 6*
    k0(45,28,28) -> 6*
    k0(10,46,16) -> 6*
    k0(35,46,46) -> 6*
    k0(34,6,9) -> 6*
    k0(44,15,43) -> 6*
    k0(9,44,45) -> 6*
    k0(33,28,16) -> 6*
    k0(43,6,28) -> 6*
    k0(27,6,17) -> 6*
    k0(16,26,34) -> 6*
    k0(35,43,27) -> 6*
    k0(45,45,17) -> 6*
    k0(15,28,33) -> 6*
    k0(34,45,26) -> 6*
    k0(18,45,15) -> 6*
    k0(44,43,46) -> 6*
    k0(28,43,35) -> 6*
    k0(43,45,45) -> 6*
    k0(17,43,44) -> 6*
    k0(27,45,34) -> 6*
    k0(16,45,43) -> 6*
    k0(34,16,9) -> 6*
    k0(6,18,6) -> 6*
    k0(16,16,26) -> 6*
    k0(26,18,16) -> 6*
    k0(35,44,33) -> 6*
    k0(45,35,9) -> 6*
    k0(34,35,18) -> 6*
    k0(9,16,34) -> 6*
    k0(28,33,27) -> 6*
    k0(27,35,26) -> 6*
    k0(6,46,9) -> 6*
    k0(15,15,6) -> 6*
    k0(10,33,44) -> 6*
    k0(35,15,16) -> 6*
    k0(15,46,28) -> 6*
    k0(9,35,43) -> 6*
    k0(34,17,15) -> 6*
    k0(9,9,45) -> 6*
    k0(18,28,18) -> 6*
    k0(33,15,44) -> 6*
    k0(43,17,34) -> 6*
    k0(26,34,6) -> 6*
    k0(17,15,33) -> 6*
    k0(46,34,16) -> 6*
    k0(16,6,18) -> 6*
    k0(15,43,9) -> 6*
    k0(9,6,26) -> 6*
    k0(44,34,44) -> 6*
    k0(34,10,26) -> 6*
    k0(28,34,33) -> 6*
    k0(18,10,15) -> 6*
    k0(18,6,45) -> 6*
    k0(43,10,45) -> 6*
    k0(27,10,34) -> 6*
    k0(26,27,17) -> 6*
    k0(6,43,45) -> 6*
    k0(16,45,35) -> 6*
    k0(45,44,10) -> 6*
    k0(10,27,6) -> 6*
    k0(46,27,27) -> 6*
    k0(16,10,43) -> 6*
    k0(33,9,6) -> 6*
    k0(18,18,10) -> 6*
    k0(28,27,44) -> 6*
    k0(26,44,6) -> 6*
    k0(15,44,15) -> 6*
    k0(44,28,6) -> 6*
    k0(35,9,33) -> 6*
    k0(9,18,46) -> 6*
    k0(27,15,10) -> 6*
    k0(46,28,33) -> 6*
    k0(16,35,27) -> 6*
    k0(35,17,28) -> 6*
    k0(9,35,35) -> 6*
    k0(44,6,33) -> 6*
    k0(18,15,46) -> 6*
    k0(6,15,34) -> 6*
    k0(10,10,9) -> 6*
    k0(9,28,46) -> 6*
    k0(33,34,45) -> 6*
    k0(17,34,34) -> 6*
    k0(6,34,43) -> 6*
    k0(26,27,9) -> 6*
    k0(45,9,10) -> 6*
    k0(15,27,18) -> 6*
    k0(33,46,10) -> 6*
    k0(43,33,16) -> 6*
    k0(46,15,6) -> 6*
    k0(26,46,18) -> 6*
    k0(17,27,45) -> 6*
    k0(46,46,28) -> 6*
    k0(15,9,15) -> 6*
    k0(28,46,45) -> 6*
    k0(43,26,27) -> 6*
    k0(27,26,16) -> 6*
    k0(26,28,15) -> 6*
    k0(46,43,9) -> 6*
    k0(35,43,18) -> 6*
    k0(15,17,10) -> 6*
    k0(35,28,34) -> 6*
    k0(45,6,46) -> 6*
    k0(9,26,33) -> 6*
    k0(28,43,26) -> 6*
    k0(33,6,34) -> 6*
    k0(6,17,46) -> 6*
    k0(10,43,43) -> 6*
    k0(9,34,28) -> 6*
    k0(10,17,45) -> 6*
    k0(43,27,33) -> 6*
    k0(16,16,17) -> 6*
    k0(46,44,15) -> 6*
    k0(35,33,10) -> 6*
    k0(6,34,35) -> 6*
    k0(35,18,26) -> 6*
    k0(44,44,43) -> 6*
    k0(43,35,28) -> 6*
    k0(28,33,18) -> 6*
    k0(44,18,45) -> 6*
    k0(27,35,17) -> 6*
    k0(28,18,34) -> 6*
    k0(18,16,44) -> 6*
    k0(17,18,43) -> 6*
    k0(16,9,28) -> 6*
    k0(6,27,46) -> 6*
    k0(34,17,6) -> 6*
    k0(9,44,28) -> 6*
    k0(44,15,26) -> 6*
    k0(33,15,35) -> 6*
    k0(28,15,15) -> 6*
    k0(27,28,28) -> 6*
    k0(16,6,9) -> 6*
    k0(17,46,46) -> 6*
    k0(26,15,43) -> 6*
    k0(15,28,16) -> 6*
    k0(9,6,17) -> 6*
    k0(34,45,9) -> 6*
    k0(34,10,17) -> 6*
    k0(18,10,6) -> 6*
    k0(43,45,28) -> 6*
    k0(27,45,17) -> 6*
    k0(17,43,27) -> 6*
    k0(46,27,18) -> 6*
    k0(16,45,26) -> 6*
    k0(26,43,46) -> 6*
    k0(10,43,35) -> 6*
    k0(9,45,34) -> 6*
    k0(16,16,9) -> 6*
    k0(46,9,15) -> 6*
    k0(35,44,16) -> 6*
    k0(45,46,6) -> 6*
    k0(34,46,15) -> 6*
    k0(44,44,35) -> 6*
    k0(44,9,43) -> 6*
    k0(33,44,44) -> 6*
    k0(43,46,34) -> 6*
    k0(27,35,9) -> 6*
    k0(17,44,33) -> 6*
    k0(46,17,10) -> 6*
    k0(16,35,18) -> 6*
    k0(6,33,28) -> 6*
    k0(6,18,44) -> 6*
    k0(10,33,27) -> 6*
    k0(9,35,26) -> 6*
    k0(43,43,15) -> 6*
    k0(33,15,27) -> 6*
    k0(18,35,45) -> 6*
    k0(17,15,16) -> 6*
    k0(16,17,15) -> 6*
    k0(15,15,44) -> 6*
    k0(44,34,27) -> 6*
    k0(28,34,16) -> 6*
    k0(16,10,26) -> 6*
    k0(26,34,44) -> 6*
    k0(6,43,28) -> 6*
    k0(10,34,33) -> 6*
    k0(9,10,34) -> 6*
    k0(28,27,27) -> 6*
    k0(33,16,33) -> 6*
    k0(27,44,10) -> 6*
    k0(15,9,6) -> 6*
    k0(35,9,16) -> 6*
    k0(10,27,44) -> 6*
    k0(45,33,34) -> 6*
    k0(44,35,33) -> 6*
    k0(34,33,43) -> 6*
    k0(43,26,18) -> 6*
    k0(33,9,44) -> 6*
    k0(17,9,33) -> 6*
    k0(26,28,6) -> 6*
    k0(6,44,34) -> 6*
    k0(46,28,16) -> 6*
    k0(9,15,10) -> 6*
    k0(45,26,45) -> 6*
    k0(44,6,16) -> 6*
    k0(44,28,44) -> 6*
    k0(28,28,33) -> 6*
    k0(18,26,43) -> 6*
    k0(17,17,28) -> 6*
    k0(26,6,33) -> 6*
    k0(43,16,10) -> 6*
    k0(6,34,26) -> 6*
    k0(35,18,17) -> 6*
    k0(15,34,45) -> 6*
    k0(34,16,46) -> 6*
    k0(18,16,35) -> 6*
    k0(27,9,10) -> 6*
    k0(15,46,10) -> 6*
    k0(44,15,17) -> 6*
    k0(28,15,6) -> 6*
    k0(34,33,35) -> 6*
    k0(33,35,34) -> 6*
    k0(18,9,46) -> 6*
    k0(28,46,28) -> 6*
    k0(46,15,44) -> 6*
    k0(6,9,34) -> 6*
    k0(45,17,43) -> 6*
    k0(10,46,45) -> 6*
    k0(9,26,16) -> 6*
    k0(28,43,9) -> 6*
    k0(34,26,46) -> 6*
    k0(18,26,35) -> 6*
    k0(17,43,18) -> 6*
    k0(33,28,45) -> 6*
    k0(17,28,34) -> 6*
    k0(27,6,46) -> 6*
    k0(6,6,15) -> 6*
    k0(6,28,43) -> 6*
    k0(10,43,26) -> 6*
    k0(15,6,34) -> 6*
    k0(45,45,46) -> 6*
    k0(43,27,16) -> 6*
    k0(18,45,44) -> 6*
    k0(46,9,6) -> 6*
    k0(35,18,9) -> 6*
    k0(44,44,26) -> 6*
    k0(28,44,15) -> 6*
    k0(17,33,10) -> 6*
    k0(18,16,27) -> 6*
    k0(17,18,26) -> 6*
    k0(6,18,35) -> 6*
    k0(26,44,43) -> 6*
    k0(10,33,18) -> 6*
    k0(26,18,45) -> 6*
    k0(9,35,17) -> 6*
    k0(10,18,34) -> 6*
    k0(44,15,9) -> 6*
    k0(33,15,18) -> 6*
    k0(16,17,6) -> 6*
    k0(26,15,26) -> 6*
    k0(15,15,35) -> 6*
    k0(10,15,15) -> 6*
    k0(45,43,33) -> 6*
    k0(35,15,45) -> 6*
    k0(9,28,28) -> 6*
    k0(44,34,18) -> 6*
    k0(34,17,44) -> 6*
    k0(18,17,33) -> 6*
    k0(16,45,9) -> 6*
    k0(16,10,17) -> 6*
    k0(35,27,10) -> 6*
    k0(6,28,35) -> 6*
    k0(46,34,45) -> 6*
    k0(44,16,15) -> 6*
    k0(9,45,17) -> 6*
    k0(28,27,18) -> 6*
    k0(18,10,44) -> 6*
    k0(46,46,10) -> 6*
    k0(44,9,26) -> 6*
    k0(33,9,35) -> 6*
    k0(28,9,15) -> 6*
    k0(43,46,17) -> 6*
    k0(33,44,27) -> 6*
    k0(27,46,6) -> 6*
    k0(17,44,16) -> 6*
    k0(16,46,15) -> 6*
    k0(26,44,35) -> 6*
    k0(26,9,43) -> 6*
    k0(6,18,27) -> 6*
    k0(15,44,44) -> 6*
    k0(9,35,9) -> 6*
    k0(28,17,10) -> 6*
    k0(46,6,34) -> 6*
    k0(35,6,43) -> 6*
    k0(15,15,27) -> 6*
    k0(34,43,34) -> 6*
    k0(33,45,33) -> 6*
    k0(6,34,17) -> 6*
    k0(26,34,27) -> 6*
    k0(10,34,16) -> 6*
    k0(45,16,28) -> 6*
    k0(35,34,46) -> 6*
    k0(33,16,16) -> 6*
    k0(6,27,28) -> 6*
    k0(10,27,27) -> 6*
    k0(15,16,33) -> 6*
    k0(9,44,10) -> 6*
    k0(44,35,16) -> 6*
    k0(34,33,26) -> 6*
    k0(18,33,15) -> 6*
    k0(33,9,27) -> 6*
    k0(43,33,45) -> 6*
    k0(17,9,16) -> 6*
    k0(27,33,34) -> 6*
    k0(26,35,33) -> 6*
    k0(16,33,43) -> 6*
    k0(46,15,35) -> 6*
    k0(6,44,17) -> 6*
    k0(15,9,44) -> 6*
    k0(44,28,27) -> 6*
    k0(43,45,10) -> 6*
    k0(28,28,16) -> 6*
    k0(18,26,26) -> 6*
    k0(27,26,45) -> 6*
    k0(6,6,6) -> 6*
    k0(26,6,16) -> 6*
    k0(26,28,44) -> 6*
    k0(10,28,33) -> 6*
    k0(33,10,33) -> 6*
    k0(6,34,9) -> 6*
    k0(45,27,34) -> 6*
    k0(34,27,43) -> 6*
    k0(18,16,18) -> 6*
    k0(33,18,28) -> 6*
    k0(17,18,17) -> 6*
    k0(16,16,46) -> 6*
    k0(46,44,44) -> 6*
    k0(45,46,43) -> 6*
    k0(9,9,10) -> 6*
    k0(6,35,15) -> 6*
    k0(26,15,17) -> 6*
    k0(46,15,27) -> 6*
    k0(10,15,6) -> 6*
    k0(16,33,35) -> 6*
    k0(15,35,34) -> 6*
    k0(10,46,28) -> 6*
    k0(45,17,26) -> 6*
    k0(34,17,35) -> 6*
    k0(18,6,10) -> 6*
    k0(43,10,10) -> 6*
    k0(28,15,44) -> 6*
    k0(6,43,10) -> 6*
    k0(27,17,43) -> 6*
    k0(6,28,26) -> 6*
    k0(16,26,46) -> 6*
    k0(10,43,9) -> 6*
    k0(44,16,6) -> 6*
    k0(15,28,45) -> 6*
    k0(9,6,46) -> 6*
    k0(34,10,46) -> 6*
    k0(18,10,35) -> 6*
    k0(18,45,27) -> 6*
    k0(27,45,46) -> 6*
    k0(46,16,33) -> 6*
    k0(44,44,9) -> 6*
    k0(44,9,17) -> 6*
    k0(28,9,6) -> 6*
    k0(33,44,18) -> 6*
    k0(34,27,35) -> 6*
    k0(17,18,9) -> 6*
    k0(6,18,18) -> 6*
    k0(26,44,26) -> 6*
    k0(10,44,15) -> 6*
    k0(46,9,44) -> 6*
    k0(45,46,35) -> 6*
    k0(35,44,45) -> 6*
    k0(34,46,44) -> 6*
    k0(18,46,33) -> 6*
    k0(33,26,15) -> 6*
    k0(26,15,9) -> 6*
    k0(15,15,18) -> 6*
    k0(45,43,16) -> 6*
    k0(44,45,15) -> 6*
    k0(34,17,27) -> 6*
    k0(33,34,10) -> 6*
    k0(43,43,44) -> 6*
    k0(18,17,16) -> 6*
    k0(27,43,33) -> 6*
    k0(17,15,45) -> 6*
    k0(26,34,18) -> 6*
    k0(16,17,44) -> 6*
    k0(17,27,10) -> 6*
    k0(18,10,27) -> 6*
    k0(28,34,45) -> 6*
    k0(26,16,15) -> 6*
    k0(10,27,18) -> 6*
    k0(34,33,17) -> 6*
    k0(35,16,34) -> 6*
    k0(34,18,33) -> 6*
    k0(18,33,6) -> 6*
    k0(28,46,10) -> 6*
    k0(33,9,18) -> 6*
    k0(26,9,26) -> 6*
    k0(46,35,34) -> 6*
    k0(15,9,35) -> 6*
    k0(35,35,43) -> 6*
    k0(10,9,15) -> 6*
    k0(15,44,27) -> 6*
    k0(44,28,18) -> 6*
    k0(34,26,28) -> 6*
    k0(35,9,45) -> 6*
    k0(9,46,6) -> 6*
    k0(18,26,17) -> 6*
    k0(43,15,33) -> 6*
    k0(10,17,10) -> 6*
    k0(46,28,45) -> 6*
    k0(35,6,26) -> 6*
    k0(34,43,17) -> 6*
    k0(44,10,15) -> 6*
    k0(18,43,6) -> 6*
    k0(33,45,16) -> 6*
    k0(44,6,45) -> 6*
    k0(28,6,34) -> 6*
    k0(17,6,43) -> 6*
    k0(16,43,34) -> 6*
    k0(15,45,33) -> 6*
    k0(44,18,10) -> 6*
    k0(27,16,28) -> 6*
    k0(17,34,46) -> 6*
    k0(15,16,16) -> 6*
    k0(35,18,46) -> 6*
    k0(34,33,9) -> 6*
    k0(6,35,6) -> 6*
    k0(26,35,16) -> 6*
    k0(16,33,26) -> 6*
    k0(46,15,18) -> 6*
    k0(45,17,17) -> 6*
    k0(15,9,27) -> 6*
    k0(35,35,35) -> 6*
    k0(44,15,46) -> 6*
    k0(9,33,34) -> 6*
    k0(28,15,35) -> 6*
    k0(18,26,9) -> 6*
    k0(6,28,17) -> 6*
    k0(26,28,27) -> 6*
    k0(10,28,16) -> 6*
    k0(45,10,28) -> 6*
    k0(35,28,46) -> 6*
    k0(34,34,15) -> 6*
    k0(18,45,18) -> 6*
    k0(9,26,45) -> 6*
    k0(33,10,16) -> 6*
    k0(43,34,34) -> 6*
    k0(6,45,6) -> 6*
    k0(6,6,44) -> 6*
    k0(15,10,33) -> 6*
    k0(34,27,26) -> 6*
    k0(18,27,15) -> 6*
    k0(43,27,45) -> 6*
    k0(27,27,34) -> 6*
    k0(46,9,35) -> 6*
    k0(16,27,43) -> 6*
    k0(46,44,27) -> 6*
    k0(15,18,28) -> 6*
    k0(45,46,26) -> 6*
    k0(18,35,10) -> 6*
    k0(33,26,6) -> 6*
    k0(28,44,44) -> 6*
    k0(27,46,43) -> 6*
    k0(35,26,33) -> 6*
    k0(45,17,9) -> 6*
    k0(34,17,18) -> 6*
    k0(28,15,27) -> 6*
    k0(27,17,26) -> 6*
    k0(16,17,35) -> 6*
    k0(6,28,9) -> 6*
    k0(46,45,33) -> 6*
    k0(35,34,28) -> 6*
    k0(10,15,44) -> 6*
    k0(9,17,43) -> 6*
    k0(18,10,18) -> 6*
    k0(26,16,6) -> 6*
    k0(16,10,46) -> 6*
    k0(46,16,16) -> 6*
    k0(45,18,15) -> 6*
    k0(44,16,44) -> 6*
    k0(33,9,9) -> 6*
    k0(9,45,46) -> 6*
    k0(28,16,33) -> 6*
    k0(43,18,43) -> 6*
    k0(26,44,9) -> 6*
    k0(26,9,17) -> 6*
    k0(15,44,18) -> 6*
    k0(16,27,35) -> 6*
    k0(46,9,27) -> 6*
    k0(10,9,6) -> 6*
    k0(45,26,10) -> 6*
    k0(35,44,28) -> 6*
    k0(34,46,27) -> 6*
    k0(18,46,16) -> 6*
    k0(28,9,44) -> 6*
    k0(43,46,46) -> 6*
    k0(27,46,35) -> 6*
    k0(17,44,45) -> 6*
    k0(16,46,44) -> 6*
    k0(15,26,15) -> 6*
    k0(35,6,17) -> 6*
    k0(44,10,6) -> 6*
    k0(43,43,27) -> 6*
    k0(27,43,16) -> 6*
    k0(26,45,15) -> 6*
    k0(15,34,10) -> 6*
    k0(16,17,27) -> 6*
    k0(46,10,33) -> 6*
    k0(35,45,34) -> 6*
    k0(9,43,33) -> 6*
    k0(46,18,28) -> 6*
    k0(10,34,45) -> 6*
    k0(34,18,16) -> 6*
    k0(43,44,33) -> 6*
    k0(33,16,45) -> 6*
    k0(16,33,17) -> 6*
    k0(17,16,34) -> 6*
    k0(16,18,33) -> 6*
    k0(6,16,43) -> 6*
    k0(10,46,10) -> 6*
    k0(15,9,18) -> 6*
    k0(35,35,26) -> 6*
    k0(45,33,46) -> 6*
    k0(33,28,10) -> 6*
    k0(44,35,45) -> 6*
    k0(28,35,34) -> 6*
    k0(43,15,16) -> 6*
    k0(18,33,44) -> 6*
    k0(17,35,43) -> 6*
    k0(26,28,18) -> 6*
    k0(16,26,28) -> 6*
    k0(17,9,45) -> 6*
    k0(6,44,46) -> 6*
    k0(34,34,6) -> 6*
    k0(28,28,45) -> 6*
    k0(17,6,26) -> 6*
    k0(16,43,17) -> 6*
    k0(26,10,15) -> 6*
    k0(6,6,35) -> 6*
    k0(15,45,16) -> 6*
    k0(26,6,45) -> 6*
    k0(34,27,17) -> 6*
    k0(10,6,34) -> 6*
    k0(35,10,34) -> 6*
    k0(18,27,6) -> 6*
    k0(26,18,10) -> 6*
    k0(46,44,18) -> 6*
    k0(34,44,6) -> 6*
    k0(9,16,28) -> 6*
    k0(43,9,33) -> 6*
    k0(17,18,46) -> 6*
    k0(16,33,9) -> 6*
    k0(46,26,15) -> 6*
    k0(35,15,10) -> 6*
    k0(44,26,43) -> 6*
    k0(28,15,18) -> 6*
    k0(43,17,28) -> 6*
    k0(27,17,17) -> 6*
    k0(33,35,46) -> 6*
    k0(17,35,35) -> 6*
    k0(46,34,10) -> 6*
    k0(6,35,44) -> 6*
    k0(26,15,46) -> 6*
    k0(10,15,35) -> 6*
    k0(18,10,9) -> 6*
    k0(27,10,28) -> 6*
    k0(17,28,46) -> 6*
    k0(16,34,15) -> 6*
    k0(6,6,27) -> 6*
    k0(45,18,6) -> 6*
    k0(15,10,16) -> 6*
    k0(44,16,35) -> 6*
    k0(34,27,9) -> 6*
    k0(46,9,18) -> 6*
    k0(16,27,26) -> 6*
    k0(45,46,9) -> 6*
    k0(34,46,18) -> 6*
    k0(9,27,34) -> 6*
    k0(44,9,46) -> 6*
    k0(33,33,33) -> 6*
    k0(28,9,35) -> 6*
    k0(28,44,27) -> 6*
    k0(27,46,26) -> 6*
    k0(15,26,6) -> 6*
    k0(35,26,16) -> 6*
    k0(10,44,44) -> 6*
    k0(34,28,15) -> 6*
    k0(9,46,43) -> 6*
    k0(43,43,18) -> 6*
    k0(44,26,35) -> 6*
    k0(43,28,34) -> 6*
    k0(33,26,44) -> 6*
    k0(27,17,9) -> 6*
    k0(17,26,33) -> 6*
    k0(16,17,18) -> 6*
    k0(6,15,28) -> 6*
    k0(46,45,16) -> 6*
    k0(45,43,45) -> 6*
    k0(10,15,27) -> 6*
    k0(9,17,26) -> 6*
    k0(44,45,44) -> 6*
    k0(18,43,43) -> 6*
    k0(28,45,33) -> 6*
    k0(17,34,28) -> 6*
    k0(18,17,45) -> 6*
    k0(44,16,27) -> 6*
    k0(43,33,10) -> 6*
    k0(28,16,16) -> 6*
    k0(43,18,26) -> 6*
    k0(27,18,15) -> 6*
    k0(26,16,44) -> 6*
    k0(15,9,9) -> 6*
    k0(35,35,17) -> 6*
    k0(10,16,33) -> 6*
    k0(27,26,10) -> 6*
    k0(28,9,27) -> 6*
    k0(17,44,28) -> 6*
    k0(16,46,27) -> 6*
    k0(35,28,28) -> 6*
    k0(45,15,34) -> 6*
    k0(10,9,44) -> 6*
    k0(44,17,33) -> 6*
    k0(34,15,43) -> 6*
    k0(9,46,35) -> 6*
    k0(33,6,28) -> 6*
    k0(17,6,17) -> 6*
    k0(26,10,6) -> 6*
    k0(6,26,34) -> 6*
    k0(46,10,16) -> 6*
    k0(35,45,17) -> 6*
    k0(45,34,43) -> 6*
    k0(9,43,16) -> 6*
    k0(44,10,44) -> 6*
    k0(34,43,46) -> 6*
    k0(18,43,35) -> 6*
    k0(28,10,33) -> 6*
    k0(33,45,45) -> 6*
    k0(17,45,34) -> 6*
    k0(6,45,43) -> 6*
    k0(43,44,16) -> 6*
    k0(28,18,28) -> 6*
    k0(46,26,6) -> 6*
    k0(16,18,16) -> 6*
    k0(6,16,26) -> 6*
    k0(35,35,9) -> 6*
    k0(15,16,45) -> 6*
    k0(18,33,27) -> 6*
    k0(17,35,26) -> 6*
    k0(27,33,46) -> 6*
    k0(15,28,10) -> 6*
    k0(26,35,45) -> 6*
    k0(45,17,46) -> 6*
    k0(10,35,34) -> 6*
    k0(33,17,34) -> 6*
    k0(16,34,6) -> 6*
    k0(6,6,18) -> 6*
    k0(10,28,45) -> 6*
    k0(45,34,35) -> 6*
    k0(34,34,44) -> 6*
    k0(18,34,33) -> 6*
    k0(33,10,45) -> 6*
    k0(16,27,17) -> 6*
    k0(46,9,9) -> 6*
    k0(17,10,34) -> 6*
    k0(35,44,10) -> 6*
    k0(6,10,43) -> 6*
    k0(6,45,35) -> 6*
    k0(44,33,15) -> 6*
    k0(45,27,46) -> 6*
    k0(28,44,18) -> 6*
    k0(43,9,16) -> 6*
    k0(18,27,44) -> 6*
    k0(16,44,6) -> 6*
    k0(34,28,6) -> 6*
    k0(44,26,26) -> 6*
    k0(28,26,15) -> 6*
    k0(17,15,10) -> 6*
    k0(26,26,43) -> 6*
    k0(6,35,27) -> 6*
    k0(10,15,18) -> 6*
    k0(15,35,46) -> 6*
    k0(9,17,17) -> 6*
    k0(34,6,33) -> 6*
    k0(28,34,10) -> 6*
    k0(9,10,28) -> 6*
    k0(44,16,18) -> 6*
    k0(43,18,17) -> 6*
    k0(27,18,6) -> 6*
    k0(26,16,35) -> 6*
    k0(16,27,9) -> 6*
    k0(35,9,10) -> 6*
    k0(45,33,28) -> 6*
    k0(46,16,45) -> 6*
    k0(45,18,44) -> 6*
    k0(33,33,16) -> 6*
    k0(28,9,18) -> 6*
    k0(27,46,9) -> 6*
    k0(46,28,10) -> 6*
    k0(16,46,18) -> 6*
    k0(26,9,46) -> 6*
    k0(15,33,33) -> 6*
    k0(10,9,35) -> 6*
    k0(10,44,27) -> 6*
    k0(9,46,26) -> 6*
    k0(44,6,10) -> 6*
    k0(33,26,27) -> 6*
    k0(18,46,45) -> 6*
    k0(17,26,16) -> 6*
    k0(16,28,15) -> 6*
    k0(26,26,35) -> 6*
    k0(15,26,44) -> 6*
    k0(45,43,28) -> 6*
    k0(35,6,46) -> 6*
    k0(44,10,35) -> 6*
    k0(9,17,9) -> 6*
    k0(44,45,27) -> 6*
    k0(18,43,26) -> 6*
    k0(28,45,16) -> 6*
    k0(27,43,45) -> 6*
    k0(26,45,44) -> 6*
    k0(10,45,33) -> 6*
    k0(33,27,33) -> 6*
    k0(43,18,9) -> 6*
    k0(6,16,17) -> 6*
    k0(26,16,27) -> 6*
    k0(10,16,16) -> 6*
    k0(45,44,34) -> 6*
    k0(9,18,15) -> 6*
    k0(44,46,33) -> 6*
    k0(34,44,43) -> 6*
    k0(33,35,28) -> 6*
    k0(34,18,45) -> 6*
    k0(18,33,18) -> 6*
    k0(18,18,34) -> 6*
    k0(17,35,17) -> 6*
    k0(6,9,28) -> 6*
    k0(46,35,46) -> 6*
    k0(9,26,10) -> 6*
    k0(10,9,27) -> 6*
    k0(44,17,16) -> 6*
    k0(34,15,26) -> 6*
    k0(18,15,15) -> 6*
    k0(43,15,45) -> 6*
    k0(17,28,28) -> 6*
    k0(27,15,34) -> 6*
    k0(6,6,9) -> 6*
    k0(26,17,33) -> 6*
    k0(16,15,43) -> 6*
    k0(15,6,28) -> 6*
    k0(45,34,26) -> 6*
    k0(44,10,27) -> 6*
    k0(43,27,10) -> 6*
    k0(28,10,16) -> 6*
    k0(33,45,28) -> 6*
    k0(27,34,43) -> 6*
    k0(17,45,17) -> 6*
    k0(6,45,26) -> 6*
    k0(26,10,44) -> 6*
    k0(16,43,46) -> 6*
    k0(44,33,6) -> 6*
    k0(10,10,33) -> 6*
    k0(15,45,45) -> 6*
    k0(46,33,33) -> 6*
    k0(6,16,9) -> 6*
    k0(10,18,28) -> 6*
    k0(35,46,6) -> 6*
    k0(44,26,17) -> 6*
    k0(45,9,34) -> 6*
    k0(34,44,35) -> 6*
    k0(34,9,43) -> 6*
    k0(28,26,6) -> 6*
    k0(33,46,34) -> 6*
    k0(17,35,9) -> 6*
    k0(6,35,18) -> 6*
    k0(46,26,44) -> 6*
    k0(45,28,43) -> 6*
    k0(45,6,15) -> 6*
    k0(44,43,6) -> 6*
    k0(33,43,15) -> 6*
    k0(9,33,46) -> 6*
    k0(43,6,43) -> 6*
    k0(27,17,46) -> 6*
    k0(6,17,15) -> 6*
    k0(15,17,34) -> 6*
    k0(34,34,27) -> 6*
    k0(18,34,16) -> 6*
    k0(43,34,46) -> 6*
    k0(27,34,35) -> 6*
    k0(6,10,26) -> 6*
    k0(16,34,44) -> 6*
    k0(45,18,35) -> 6*
    k0(15,10,45) -> 6*
    k0(28,9,9) -> 6*
    k0(18,27,27) -> 6*
    k0(17,44,10) -> 6*
    k0(26,33,15) -> 6*
    k0(27,27,46) -> 6*
    k0(10,44,18) -> 6*
    k0(35,33,34) -> 6*
    k0(44,26,9) -> 6*
    k0(34,35,33) -> 6*
    k0(33,26,18) -> 6*
    k0(16,28,6) -> 6*
    k0(26,26,26) -> 6*
    k0(46,6,28) -> 6*
    k0(10,26,15) -> 6*
    k0(44,45,18) -> 6*
    k0(45,28,35) -> 6*
    k0(35,26,45) -> 6*
    k0(34,6,16) -> 6*
    k0(34,28,44) -> 6*
    k0(18,28,33) -> 6*
    k0(16,6,33) -> 6*
    k0(10,34,10) -> 6*
    k0(46,45,45) -> 6*
    k0(44,27,15) -> 6*
    k0(33,16,10) -> 6*
    k0(26,16,18) -> 6*
    k0(45,18,27) -> 6*
    k0(9,18,6) -> 6*
    k0(44,35,10) -> 6*
    k0(27,33,28) -> 6*
    k0(17,9,10) -> 6*
    k0(28,16,45) -> 6*
    k0(27,18,44) -> 6*
    k0(15,33,16) -> 6*
    k0(10,9,18) -> 6*
    k0(34,15,17) -> 6*
    k0(9,46,9) -> 6*
    k0(18,15,6) -> 6*
    k0(28,28,10) -> 6*
    k0(18,46,28) -> 6*
    k0(26,6,10) -> 6*
    k0(46,17,34) -> 6*
    k0(45,34,17) -> 6*
    k0(15,26,27) -> 6*
    k0(35,17,43) -> 6*
    k0(44,10,18) -> 6*
    k0(18,43,9) -> 6*
    k0(27,43,28) -> 6*
    k0(17,6,46) -> 6*
    k0(26,45,27) -> 6*
    k0(26,10,35) -> 6*
    k0(10,45,16) -> 6*
    k0(45,27,28) -> 6*
    k0(46,10,45) -> 6*
    k0(35,45,46) -> 6*
    k0(9,43,45) -> 6*
    k0(33,27,16) -> 6*
    k0(45,44,17) -> 6*
    k0(15,27,33) -> 6*
    k0(44,46,16) -> 6*
    k0(34,44,26) -> 6*
    k0(18,44,15) -> 6*
    k0(43,44,45) -> 6*
    k0(27,44,34) -> 6*
    k0(26,46,33) -> 6*
    k0(16,44,43) -> 6*
    k0(15,35,28) -> 6*
    k0(16,18,45) -> 6*
    k0(45,6,6) -> 6*
    k0(34,15,9) -> 6*
    k0(28,35,46) -> 6*
    k0(6,17,6) -> 6*
    k0(26,17,16) -> 6*
    k0(16,15,26) -> 6*
    k0(35,43,33) -> 6*
    k0(45,34,9) -> 6*
    k0(34,34,18) -> 6*
    k0(9,15,34) -> 6*
    k0(27,34,26) -> 6*
    k0(6,45,9) -> 6*
    k0(6,10,17) -> 6*
    k0(26,10,27) -> 6*
    k0(10,10,16) -> 6*
    k0(15,45,28) -> 6*
    k0(34,16,15) -> 6*
    k0(9,34,43) -> 6*
    k0(18,27,18) -> 6*
    k0(43,16,34) -> 6*
    k0(26,33,6) -> 6*
    k0(46,33,16) -> 6*
    k0(45,35,15) -> 6*
    k0(34,9,26) -> 6*
    k0(44,33,44) -> 6*
    k0(33,46,17) -> 6*
    k0(28,33,33) -> 6*
    k0(43,35,43) -> 6*
    k0(18,9,15) -> 6*
    k0(17,46,6) -> 6*
    k0(43,9,45) -> 6*
    k0(26,26,17) -> 6*
    k0(27,9,34) -> 6*
    k0(6,46,15) -> 6*
    k0(16,44,35) -> 6*
    k0(16,9,43) -> 6*
    k0(10,26,6) -> 6*
    k0(46,26,27) -> 6*
    k0(45,43,10) -> 6*
    k0(45,28,26) -> 6*
    k0(15,46,34) -> 6*
    k0(18,17,10) -> 6*
    k0(28,26,44) -> 6*
    k0(43,6,26) -> 6*
    k0(27,28,43) -> 6*
    k0(27,6,15) -> 6*
    k0(26,43,6) -> 6*
    k0(15,43,15) -> 6*
    k0(44,27,6) -> 6*
    k0(9,17,46) -> 6*
    k0(16,34,27) -> 6*
    k0(46,27,33) -> 6*
    k0(35,16,28) -> 6*
    k0(45,18,18) -> 6*
    k0(9,34,35) -> 6*
    k0(43,18,46) -> 6*
    k0(27,18,35) -> 6*
    k0(46,35,28) -> 6*
    k0(10,9,9) -> 6*
    k0(34,35,16) -> 6*
    k0(9,27,46) -> 6*
    k0(43,35,35) -> 6*
    k0(33,33,45) -> 6*
    k0(17,33,34) -> 6*
    k0(26,26,9) -> 6*
    k0(16,35,33) -> 6*
    k0(6,33,43) -> 6*
    k0(15,26,18) -> 6*
    k0(44,10,9) -> 6*
    k0(34,28,27) -> 6*
    k0(33,45,10) -> 6*
    k0(28,6,28) -> 6*
    k0(18,28,16) -> 6*
    k0(43,28,46) -> 6*
    k0(27,28,35) -> 6*
    k0(26,45,18) -> 6*
    k0(17,26,45) -> 6*
    k0(16,6,16) -> 6*
    k0(16,28,44) -> 6*
    k0(46,45,28) -> 6*
    k0(28,45,45) -> 6*
    k0(26,27,15) -> 6*
    k0(15,16,10) -> 6*
    k0(35,27,34) -> 6*
    k0(27,18,27) -> 6*
    k0(26,35,10) -> 6*
    k0(46,46,34) -> 6*
    k0(6,16,46) -> 6*
    k0(35,46,43) -> 6*
    k0(9,33,28) -> 6*
    k0(10,16,45) -> 6*
    k0(9,18,44) -> 6*
    k0(43,26,33) -> 6*
    k0(16,15,17) -> 6*
    k0(46,43,15) -> 6*
    k0(10,28,10) -> 6*
    k0(6,33,35) -> 6*
    k0(35,17,26) -> 6*
    k0(44,43,43) -> 6*
    k0(33,10,10) -> 6*
    k0(43,34,28) -> 6*
    k0(44,17,45) -> 6*
    k0(28,17,34) -> 6*
    k0(18,15,44) -> 6*
    k0(27,34,17) -> 6*
    k0(17,17,43) -> 6*
    k0(26,10,18) -> 6*
    k0(6,26,46) -> 6*
    k0(34,16,6) -> 6*
    k0(9,43,28) -> 6*
    k0(27,27,28) -> 6*
    k0(28,10,45) -> 6*
    k0(17,45,46) -> 6*
    k0(45,35,6) -> 6*
    k0(15,27,16) -> 6*
    k0(34,44,9) -> 6*
    k0(34,9,17) -> 6*
    k0(18,9,6) -> 6*
    k0(43,44,28) -> 6*
    k0(27,44,17) -> 6*
    k0(26,46,16) -> 6*
    k0(16,44,26) -> 6*
    k0(46,26,18) -> 6*
    k0(45,28,17) -> 6*
    k0(35,46,35) -> 6*
    k0(9,44,34) -> 6*
    k0(43,6,17) -> 6*
    k0(27,6,6) -> 6*
    k0(16,15,9) -> 6*
    k0(35,43,16) -> 6*
    k0(45,45,6) -> 6*
    k0(10,35,46) -> 6*
    k0(34,45,15) -> 6*
    k0(45,6,44) -> 6*
    k0(44,43,35) -> 6*
    k0(33,43,44) -> 6*
    k0(43,45,34) -> 6*
    k0(27,34,9) -> 6*
    k0(17,43,33) -> 6*
    k0(16,34,18) -> 6*
    k0(46,16,10) -> 6*
    k0(6,17,44) -> 6*
    h1(45) -> 6*
    h1(35) -> 10*,8,6
    h1(15) -> 10*,8,6
    h1(10) -> 6*
    h1(27) -> 10*,8,6
    h1(17) -> 6*
    h1(7) -> 8*
    h1(44) -> 10*,8,6
    h1(34) -> 6*
    h1(9) -> 10*,8,6
    h1(46) -> 6*
    h1(26) -> 8,6,10*
    h1(16) -> 10*,8,6
    h1(6) -> 6*
    h1(43) -> 10*,8,6
    h1(33) -> 10*,8,6
    h1(28) -> 6*
    h1(18) -> 6*
    g1(45) -> 6*
    g1(35) -> 6*
    g1(10) -> 6*
    g1(17) -> 6*
    g1(34) -> 6*
    g1(46) -> 6*
    g1(26) -> 6*
    g1(28) -> 6*
    g1(18) -> 6*
    g1(8) -> 6*
    g2(45) -> 6,10*
    g2(35) -> 6,10*
    g2(20) -> 10*
    g2(15) -> 6,10*
    g2(10) -> 6,10*
    g2(47) -> 10*,6
    g2(27) -> 6,10*
    g2(17) -> 10*,6
    g2(12) -> 9*
    g2(44) -> 10*
    g2(34) -> 26*
    g2(14) -> 6*
    g2(9) -> 6,10*
    g2(46) -> 6,10*
    g2(26) -> 6,10*
    g2(16) -> 6,10*
    g2(6) -> 6,10*
    g2(43) -> 10*
    g2(33) -> 10*
    g2(28) -> 6,10*
    g2(18) -> 9,26*,6
    h2(35) -> 10,6,8,17*,14
    h2(15) -> 10,17*,6,8,14
    h2(27) -> 10,6,8,14,28*,20
    h2(44) -> 47*,20,14
    h2(19) -> 20*
    h2(16) -> 10,18*,6,8,12
    h2(11) -> 12*
    h2(43) -> 14*
    h2(33) -> 12*
    h2(13) -> 14*
    f2(45) -> 6,15*,13
    f2(35) -> 6,15*,13
    f2(20) -> 13*
    f2(15) -> 9,15*,6,13
    f2(10) -> 9,15*,6,13
    f2(47) -> 13*
    f2(37) -> 13*
    f2(27) -> 9,15*,6,13
    f2(17) -> 9,6,15*,13
    f2(12) -> 19*
    f2(44) -> 6,15*
    f2(34) -> 27*,19,13
    f2(14) -> 13*
    f2(9) -> 9,15*,6,13
    f2(46) -> 6,15*,13
    f2(26) -> 9,6,13,15*
    f2(16) -> 9,15*,6,13
    f2(6) -> 9,15*,7,6,13
    f2(43) -> 6,15*
    f2(33) -> 6,15*
    f2(28) -> 9,6,13,15*
    f2(18) -> 15,9,27*,19,6,13
    f2(8) -> 13*
    g3(45) -> 10,6,17*
    g3(37) -> 17*
    g3(32) -> 15*
    g3(34) -> 15,26,35*,6
    g3(46) -> 10,6,17*
    h3(44) -> 28,10,47,45*,14,20,8,6,37
    h3(36) -> 37*
    h3(31) -> 32*
    h3(43) -> 10,17,46*,14,8,6,37
    h3(33) -> 10,18,34*,12,8,6,32
    a3() -> 9,16,33*,11,6,7,31
    f3(32) -> 15,43*,36
    f3(34) -> 27,44*,13,19,6,36
  problem:
   
  Qed