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: top
  automaton:
   final states: {41,40,39,38,35,34,33,32,31,30,18,17,16,15,10,9,6}
   transitions:
    k0(39,16,18) -> 6*
    k0(18,38,15) -> 6*
    k0(38,18,17) -> 6*
    k0(32,31,10) -> 6*
    k0(16,16,15) -> 6*
    k0(30,9,10) -> 6*
    k0(31,15,6) -> 6*
    k0(17,18,41) -> 6*
    k0(10,33,33) -> 6*
    k0(39,6,10) -> 6*
    k0(9,35,32) -> 6*
    k0(34,39,32) -> 6*
    k0(9,9,34) -> 6*
    k0(33,30,17) -> 6*
    k0(17,30,6) -> 6*
    k0(33,15,33) -> 6*
    k0(38,39,31) -> 6*
    k0(32,17,32) -> 6*
    k0(32,6,18) -> 6*
    k0(6,39,9) -> 6*
    k0(31,39,39) -> 6*
    k0(30,41,38) -> 6*
    k0(10,15,30) -> 6*
    k0(9,6,15) -> 6*
    k0(39,10,35) -> 6*
    k0(34,10,15) -> 6*
    k0(18,32,32) -> 6*
    k0(18,6,34) -> 6*
    k0(16,10,32) -> 6*
    k0(10,34,39) -> 6*
    k0(40,40,9) -> 6*
    k0(34,18,10) -> 6*
    k0(39,38,38) -> 6*
    k0(9,10,40) -> 6*
    k0(38,18,9) -> 6*
    k0(33,40,17) -> 6*
    k0(33,16,39) -> 6*
    k0(17,40,6) -> 6*
    k0(6,40,15) -> 6*
    k0(16,38,35) -> 6*
    k0(30,31,30) -> 6*
    k0(15,40,34) -> 6*
    k0(9,18,35) -> 6*
    k0(17,9,39) -> 6*
    k0(41,39,16) -> 6*
    k0(16,35,16) -> 6*
    k0(35,17,17) -> 6*
    k0(40,41,15) -> 6*
    k0(39,17,16) -> 6*
    k0(33,6,31) -> 6*
    k0(18,15,35) -> 6*
    k0(33,30,9) -> 6*
    k0(16,39,41) -> 6*
    k0(15,41,40) -> 6*
    k0(30,6,38) -> 6*
    k0(34,32,35) -> 6*
    k0(33,34,34) -> 6*
    k0(6,34,32) -> 6*
    k0(31,38,32) -> 6*
    k0(35,38,31) -> 6*
    k0(10,34,31) -> 6*
    k0(39,33,6) -> 6*
    k0(34,40,30) -> 6*
    k0(33,31,15) -> 6*
    k0(33,16,31) -> 6*
    k0(32,18,30) -> 6*
    k0(41,33,33) -> 6*
    k0(31,9,15) -> 6*
    k0(15,31,32) -> 6*
    k0(40,35,32) -> 6*
    k0(40,9,34) -> 6*
    k0(34,33,41) -> 6*
    k0(33,39,10) -> 6*
    k0(18,33,30) -> 6*
    k0(33,35,40) -> 6*
    k0(31,17,10) -> 6*
    k0(41,15,30) -> 6*
    k0(6,9,40) -> 6*
    k0(35,17,9) -> 6*
    k0(30,39,17) -> 6*
    k0(30,15,39) -> 6*
    k0(40,6,15) -> 6*
    k0(34,15,38) -> 6*
    k0(17,32,10) -> 6*
    k0(38,41,35) -> 6*
    k0(41,34,39) -> 6*
    k0(16,30,39) -> 6*
    k0(6,17,35) -> 6*
    k0(15,10,10) -> 6*
    k0(10,32,18) -> 6*
    k0(40,10,40) -> 6*
    k0(9,34,17) -> 6*
    k0(15,6,40) -> 6*
    k0(10,17,34) -> 6*
    k0(38,38,16) -> 6*
    k0(32,16,17) -> 6*
    k0(16,16,6) -> 6*
    k0(40,18,35) -> 6*
    k0(35,18,15) -> 6*
    k0(18,31,17) -> 6*
    k0(18,16,33) -> 6*
    k0(17,18,32) -> 6*
    k0(16,9,17) -> 6*
    k0(16,40,39) -> 6*
    k0(31,31,35) -> 6*
    k0(30,33,34) -> 6*
    k0(10,18,40) -> 6*
    k0(32,6,9) -> 6*
    k0(6,35,30) -> 6*
    k0(31,39,30) -> 6*
    k0(30,30,15) -> 6*
    k0(30,15,31) -> 6*
    k0(34,10,6) -> 6*
    k0(9,6,6) -> 6*
    k0(39,30,34) -> 6*
    k0(18,41,17) -> 6*
    k0(38,32,33) -> 6*
    k0(18,17,39) -> 6*
    k0(30,38,10) -> 6*
    k0(31,32,41) -> 6*
    k0(41,34,31) -> 6*
    k0(16,30,31) -> 6*
    k0(15,32,30) -> 6*
    k0(30,34,40) -> 6*
    k0(9,10,31) -> 6*
    k0(34,38,9) -> 6*
    k0(9,34,9) -> 6*
    k0(32,16,9) -> 6*
    k0(6,10,38) -> 6*
    k0(39,35,10) -> 6*
    k0(35,40,35) -> 6*
    k0(9,38,34) -> 6*
    k0(39,31,40) -> 6*
    k0(38,33,39) -> 6*
    k0(18,31,9) -> 6*
    k0(32,35,18) -> 6*
    k0(6,33,17) -> 6*
    k0(6,18,33) -> 6*
    k0(10,33,16) -> 6*
    k0(9,35,15) -> 6*
    k0(34,39,15) -> 6*
    k0(33,15,16) -> 6*
    k0(18,35,34) -> 6*
    k0(32,17,15) -> 6*
    k0(41,32,18) -> 6*
    k0(16,39,32) -> 6*
    k0(40,34,17) -> 6*
    k0(15,30,17) -> 6*
    k0(41,17,34) -> 6*
    k0(35,41,41) -> 6*
    k0(15,15,33) -> 6*
    k0(39,10,18) -> 6*
    k0(9,39,40) -> 6*
    k0(18,32,15) -> 6*
    k0(18,17,31) -> 6*
    k0(16,10,15) -> 6*
    k0(18,40,10) -> 6*
    k0(33,31,6) -> 6*
    k0(31,9,6) -> 6*
    k0(16,18,10) -> 6*
    k0(41,18,40) -> 6*
    k0(15,40,17) -> 6*
    k0(35,31,33) -> 6*
    k0(15,16,39) -> 6*
    k0(34,33,32) -> 6*
    k0(9,18,18) -> 6*
    k0(33,9,33) -> 6*
    k0(38,33,31) -> 6*
    k0(6,9,31) -> 6*
    k0(6,33,9) -> 6*
    k0(40,6,6) -> 6*
    k0(30,35,38) -> 6*
    k0(10,9,30) -> 6*
    k0(18,15,18) -> 6*
    k0(33,41,6) -> 6*
    k0(17,17,17) -> 6*
    k0(32,39,35) -> 6*
    k0(31,41,34) -> 6*
    k0(40,10,31) -> 6*
    k0(35,32,39) -> 6*
    k0(15,6,31) -> 6*
    k0(40,34,9) -> 6*
    k0(15,30,9) -> 6*
    k0(35,6,41) -> 6*
    k0(39,32,38) -> 6*
    k0(33,10,39) -> 6*
    k0(6,34,15) -> 6*
    k0(31,38,15) -> 6*
    k0(35,18,6) -> 6*
    k0(16,32,35) -> 6*
    k0(15,34,34) -> 6*
    k0(40,38,34) -> 6*
    k0(34,16,35) -> 6*
    k0(39,40,33) -> 6*
    k0(38,31,18) -> 6*
    k0(38,16,34) -> 6*
    k0(32,40,41) -> 6*
    k0(17,38,31) -> 6*
    k0(41,33,16) -> 6*
    k0(6,38,40) -> 6*
    k0(16,40,30) -> 6*
    k0(15,31,15) -> 6*
    k0(40,35,15) -> 6*
    k0(15,16,31) -> 6*
    k0(10,38,39) -> 6*
    k0(30,18,41) -> 6*
    k0(9,40,38) -> 6*
    k0(18,9,35) -> 6*
    k0(15,39,10) -> 6*
    k0(16,33,41) -> 6*
    k0(30,30,6) -> 6*
    k0(40,39,40) -> 6*
    k0(15,35,40) -> 6*
    k0(39,15,41) -> 6*
    k0(38,17,40) -> 6*
    k0(17,17,9) -> 6*
    k0(32,30,33) -> 6*
    k0(31,32,32) -> 6*
    k0(6,17,18) -> 6*
    k0(31,6,34) -> 6*
    k0(16,15,38) -> 6*
    k0(35,32,31) -> 6*
    k0(9,30,30) -> 6*
    k0(34,34,30) -> 6*
    k0(40,18,18) -> 6*
    k0(30,40,6) -> 6*
    k0(33,33,10) -> 6*
    k0(18,16,16) -> 6*
    k0(32,31,39) -> 6*
    k0(17,18,15) -> 6*
    k0(41,9,30) -> 6*
    k0(30,9,39) -> 6*
    k0(9,35,6) -> 6*
    k0(34,9,38) -> 6*
    k0(32,17,6) -> 6*
    k0(38,35,35) -> 6*
    k0(31,15,35) -> 6*
    k0(35,41,32) -> 6*
    k0(35,30,18) -> 6*
    k0(39,10,9) -> 6*
    k0(34,32,17) -> 6*
    k0(35,15,34) -> 6*
    k0(34,17,33) -> 6*
    k0(39,41,31) -> 6*
    k0(39,6,39) -> 6*
    k0(18,32,6) -> 6*
    k0(38,32,16) -> 6*
    k0(32,10,17) -> 6*
    k0(16,10,6) -> 6*
    k0(32,41,39) -> 6*
    k0(6,39,38) -> 6*
    k0(18,10,33) -> 6*
    k0(16,38,9) -> 6*
    k0(10,16,10) -> 6*
    k0(41,38,39) -> 6*
    k0(35,16,40) -> 6*
    k0(40,40,38) -> 6*
    k0(9,38,17) -> 6*
    k0(34,18,39) -> 6*
    k0(38,18,38) -> 6*
    k0(32,31,31) -> 6*
    k0(17,40,35) -> 6*
    k0(6,18,16) -> 6*
    k0(31,33,30) -> 6*
    k0(39,39,18) -> 6*
    k0(16,39,15) -> 6*
    k0(30,32,10) -> 6*
    k0(15,15,16) -> 6*
    k0(35,6,32) -> 6*
    k0(40,30,30) -> 6*
    k0(34,32,9) -> 6*
    k0(33,30,38) -> 6*
    k0(17,41,41) -> 6*
    k0(6,34,6) -> 6*
    k0(10,30,35) -> 6*
    k0(35,34,35) -> 6*
    k0(9,32,34) -> 6*
    k0(33,38,33) -> 6*
    k0(32,40,32) -> 6*
    k0(31,31,17) -> 6*
    k0(31,16,33) -> 6*
    k0(40,35,6) -> 6*
    k0(15,31,6) -> 6*
    k0(30,18,32) -> 6*
    k0(35,31,16) -> 6*
    k0(10,38,30) -> 6*
    k0(34,33,15) -> 6*
    k0(34,18,31) -> 6*
    k0(33,9,16) -> 6*
    k0(17,31,33) -> 6*
    k0(16,33,32) -> 6*
    k0(35,35,41) -> 6*
    k0(15,9,33) -> 6*
    k0(10,31,41) -> 6*
    k0(34,41,10) -> 6*
    k0(39,15,32) -> 6*
    k0(9,33,40) -> 6*
    k0(38,41,9) -> 6*
    k0(38,6,17) -> 6*
    k0(32,15,40) -> 6*
    k0(31,17,39) -> 6*
    k0(31,41,17) -> 6*
    k0(15,41,6) -> 6*
    k0(35,17,38) -> 6*
    k0(18,34,10) -> 6*
    k0(18,30,40) -> 6*
    k0(17,32,39) -> 6*
    k0(17,6,41) -> 6*
    k0(41,16,10) -> 6*
    k0(40,38,17) -> 6*
    k0(15,10,39) -> 6*
    k0(34,16,18) -> 6*
    k0(39,40,16) -> 6*
    k0(33,18,17) -> 6*
    k0(17,18,6) -> 6*
    k0(16,16,35) -> 6*
    k0(31,31,9) -> 6*
    k0(18,9,18) -> 6*
    k0(32,33,35) -> 6*
    k0(31,35,34) -> 6*
    k0(6,31,34) -> 6*
    k0(34,6,10) -> 6*
    k0(33,39,31) -> 6*
    k0(32,41,30) -> 6*
    k0(32,30,16) -> 6*
    k0(31,32,15) -> 6*
    k0(41,30,35) -> 6*
    k0(31,17,31) -> 6*
    k0(40,32,34) -> 6*
    k0(34,10,35) -> 6*
    k0(39,34,33) -> 6*
    k0(9,6,35) -> 6*
    k0(38,10,34) -> 6*
    k0(32,34,41) -> 6*
    k0(17,32,31) -> 6*
    k0(31,40,10) -> 6*
    k0(41,38,30) -> 6*
    k0(6,32,40) -> 6*
    k0(16,34,30) -> 6*
    k0(35,40,9) -> 6*
    k0(39,16,30) -> 6*
    k0(34,38,38) -> 6*
    k0(9,34,38) -> 6*
    k0(33,18,9) -> 6*
    k0(32,16,38) -> 6*
    k0(15,33,10) -> 6*
    k0(41,31,41) -> 6*
    k0(10,40,34) -> 6*
    k0(40,33,40) -> 6*
    k0(39,35,39) -> 6*
    k0(38,15,10) -> 6*
    k0(39,9,41) -> 6*
    k0(18,31,38) -> 6*
    k0(31,15,18) -> 6*
    k0(16,9,38) -> 6*
    k0(30,17,17) -> 6*
    k0(35,41,15) -> 6*
    k0(34,17,16) -> 6*
    k0(18,39,33) -> 6*
    k0(17,41,32) -> 6*
    k0(17,30,18) -> 6*
    k0(16,32,17) -> 6*
    k0(32,6,30) -> 6*
    k0(17,15,34) -> 6*
    k0(16,17,33) -> 6*
    k0(10,41,40) -> 6*
    k0(9,17,41) -> 6*
    k0(18,10,16) -> 6*
    k0(30,38,31) -> 6*
    k0(34,33,6) -> 6*
    k0(17,16,40) -> 6*
    k0(31,9,35) -> 6*
    k0(16,18,39) -> 6*
    k0(10,31,32) -> 6*
    k0(35,35,32) -> 6*
    k0(35,9,34) -> 6*
    k0(39,35,31) -> 6*
    k0(32,39,9) -> 6*
    k0(6,33,38) -> 6*
    k0(30,17,9) -> 6*
    k0(40,6,35) -> 6*
    k0(35,6,15) -> 6*
    k0(9,39,6) -> 6*
    k0(38,30,41) -> 6*
    k0(33,41,35) -> 6*
    k0(17,6,32) -> 6*
    k0(6,41,33) -> 6*
    k0(16,32,9) -> 6*
    k0(10,10,10) -> 6*
    k0(35,10,40) -> 6*
    k0(40,34,38) -> 6*
    k0(10,6,40) -> 6*
    k0(15,30,38) -> 6*
    k0(33,38,16) -> 6*
    k0(32,40,15) -> 6*
    k0(17,34,35) -> 6*
    k0(31,16,16) -> 6*
    k0(41,40,34) -> 6*
    k0(35,18,35) -> 6*
    k0(30,18,15) -> 6*
    k0(15,38,33) -> 6*
    k0(39,33,18) -> 6*
    k0(38,35,17) -> 6*
    k0(18,9,9) -> 6*
    k0(39,18,34) -> 6*
    k0(18,40,31) -> 6*
    k0(17,31,16) -> 6*
    k0(16,33,15) -> 6*
    k0(6,16,41) -> 6*
    k0(16,18,31) -> 6*
    k0(15,9,16) -> 6*
    k0(39,15,15) -> 6*
    k0(17,35,41) -> 6*
    k0(31,32,6) -> 6*
    k0(16,41,10) -> 6*
    k0(41,41,40) -> 6*
    k0(40,17,41) -> 6*
    k0(9,41,18) -> 6*
    k0(34,30,34) -> 6*
    k0(33,32,33) -> 6*
    k0(32,34,32) -> 6*
    k0(17,17,38) -> 6*
    k0(31,10,33) -> 6*
    k0(6,6,33) -> 6*
    k0(10,32,30) -> 6*
    k0(18,38,18) -> 6*
    k0(16,16,18) -> 6*
    k0(6,38,6) -> 6*
    k0(41,31,32) -> 6*
    k0(15,18,17) -> 6*
    k0(9,31,10) -> 6*
    k0(30,40,35) -> 6*
    k0(34,35,10) -> 6*
    k0(39,9,32) -> 6*
    k0(34,31,40) -> 6*
    k0(38,35,9) -> 6*
    k0(33,33,39) -> 6*
    k0(32,9,40) -> 6*
    k0(40,39,6) -> 6*
    k0(38,39,34) -> 6*
    k0(32,17,35) -> 6*
    k0(16,6,10) -> 6*
    k0(41,10,10) -> 6*
    k0(35,34,17) -> 6*
    k0(41,6,40) -> 6*
    k0(10,30,17) -> 6*
    k0(10,15,33) -> 6*
    k0(15,39,31) -> 6*
    k0(30,41,41) -> 6*
    k0(34,10,18) -> 6*
    k0(39,34,16) -> 6*
    k0(9,17,32) -> 6*
    k0(9,6,18) -> 6*
    k0(16,10,35) -> 6*
    k0(39,38,41) -> 6*
    k0(38,40,40) -> 6*
    k0(17,40,9) -> 6*
    k0(6,40,18) -> 6*
    k0(16,38,38) -> 6*
    k0(15,18,9) -> 6*
    k0(10,40,17) -> 6*
    k0(30,31,33) -> 6*
    k0(10,16,39) -> 6*
    k0(33,33,31) -> 6*
    k0(32,35,30) -> 6*
    k0(40,41,18) -> 6*
    k0(35,6,6) -> 6*
    k0(18,39,16) -> 6*
    k0(38,30,32) -> 6*
    k0(17,41,15) -> 6*
    k0(6,30,10) -> 6*
    k0(31,34,10) -> 6*
    k0(16,17,16) -> 6*
    k0(31,30,40) -> 6*
    k0(41,32,30) -> 6*
    k0(30,32,39) -> 6*
    k0(10,6,31) -> 6*
    k0(35,34,9) -> 6*
    k0(10,30,9) -> 6*
    k0(35,10,31) -> 6*
    k0(30,6,41) -> 6*
    k0(39,10,30) -> 6*
    k0(34,32,38) -> 6*
    k0(32,10,38) -> 6*
    k0(40,31,10) -> 6*
    k0(30,18,6) -> 6*
    k0(10,34,34) -> 6*
    k0(35,38,34) -> 6*
    k0(34,40,33) -> 6*
    k0(38,9,10) -> 6*
    k0(33,31,18) -> 6*
    k0(32,33,17) -> 6*
    k0(33,16,34) -> 6*
    k0(16,33,6) -> 6*
    k0(32,18,33) -> 6*
    k0(31,9,18) -> 6*
    k0(6,16,32) -> 6*
    k0(10,31,15) -> 6*
    k0(35,35,15) -> 6*
    k0(10,16,31) -> 6*
    k0(39,15,6) -> 6*
    k0(9,18,30) -> 6*
    k0(18,33,33) -> 6*
    k0(17,35,32) -> 6*
    k0(41,30,17) -> 6*
    k0(17,9,34) -> 6*
    k0(10,39,10) -> 6*
    k0(41,15,33) -> 6*
    k0(40,17,32) -> 6*
    k0(35,39,40) -> 6*
    k0(40,6,18) -> 6*
    k0(10,35,40) -> 6*
    k0(34,15,41) -> 6*
    k0(39,39,39) -> 6*
    k0(33,17,40) -> 6*
    k0(38,41,38) -> 6*
    k0(18,15,30) -> 6*
    k0(17,6,15) -> 6*
    k0(6,41,16) -> 6*
    k0(30,32,31) -> 6*
    k0(15,41,35) -> 6*
    k0(18,34,39) -> 6*
    k0(17,10,40) -> 6*
    k0(41,16,39) -> 6*
    k0(41,40,17) -> 6*
    k0(35,18,18) -> 6*
    k0(15,38,16) -> 6*
    k0(9,16,17) -> 6*
    k0(38,31,30) -> 6*
    k0(32,9,31) -> 6*
    k0(17,18,35) -> 6*
    k0(32,33,9) -> 6*
    k0(31,31,38) -> 6*
    k0(33,35,35) -> 6*
    k0(41,6,31) -> 6*
    k0(31,39,33) -> 6*
    k0(41,30,9) -> 6*
    k0(6,35,33) -> 6*
    k0(30,41,32) -> 6*
    k0(30,30,18) -> 6*
    k0(34,10,9) -> 6*
    k0(9,6,9) -> 6*
    k0(30,15,34) -> 6*
    k0(34,41,31) -> 6*
    k0(34,6,39) -> 6*
    k0(33,32,16) -> 6*
    k0(38,6,38) -> 6*
    k0(32,34,15) -> 6*
    k0(31,10,16) -> 6*
    k0(16,30,34) -> 6*
    k0(6,17,30) -> 6*
    k0(6,6,16) -> 6*
    k0(41,34,34) -> 6*
    k0(15,32,33) -> 6*
    k0(39,38,32) -> 6*
    k0(18,34,31) -> 6*
    k0(32,38,40) -> 6*
    k0(41,31,15) -> 6*
    k0(6,10,41) -> 6*
    k0(41,16,31) -> 6*
    k0(30,16,40) -> 6*
    k0(40,18,30) -> 6*
    k0(35,40,38) -> 6*
    k0(9,16,9) -> 6*
    k0(39,9,15) -> 6*
    k0(33,18,38) -> 6*
    k0(16,35,10) -> 6*
    k0(41,39,10) -> 6*
    k0(41,35,40) -> 6*
    k0(16,31,40) -> 6*
    k0(15,33,39) -> 6*
    k0(39,17,10) -> 6*
    k0(34,39,18) -> 6*
    k0(9,35,18) -> 6*
    k0(38,15,39) -> 6*
    k0(38,39,17) -> 6*
    k0(32,17,18) -> 6*
    k0(6,15,17) -> 6*
    k0(10,15,16) -> 6*
    k0(30,6,32) -> 6*
    k0(35,30,30) -> 6*
    k0(9,17,15) -> 6*
    k0(18,32,18) -> 6*
    k0(17,34,17) -> 6*
    k0(18,17,34) -> 6*
    k0(16,10,18) -> 6*
    k0(40,16,17) -> 6*
    k0(30,34,35) -> 6*
    k0(31,9,9) -> 6*
    k0(31,40,31) -> 6*
    k0(35,35,6) -> 6*
    k0(10,31,6) -> 6*
    k0(30,31,16) -> 6*
    k0(39,31,35) -> 6*
    k0(18,18,40) -> 6*
    k0(38,33,34) -> 6*
    k0(40,6,9) -> 6*
    k0(30,35,41) -> 6*
    k0(10,9,33) -> 6*
    k0(15,33,31) -> 6*
    k0(34,15,32) -> 6*
    k0(39,39,30) -> 6*
    k0(33,41,9) -> 6*
    k0(33,6,17) -> 6*
    k0(38,30,15) -> 6*
    k0(17,6,6) -> 6*
    k0(38,15,31) -> 6*
    k0(32,39,38) -> 6*
    k0(6,15,9) -> 6*
    k0(10,41,6) -> 6*
    k0(30,17,38) -> 6*
    k0(39,32,41) -> 6*
    k0(9,39,35) -> 6*
    k0(38,38,10) -> 6*
    k0(38,34,40) -> 6*
    k0(17,10,31) -> 6*
    k0(17,34,9) -> 6*
    k0(31,38,18) -> 6*
    k0(6,34,18) -> 6*
    k0(16,32,38) -> 6*
    k0(10,10,39) -> 6*
    k0(40,16,9) -> 6*
    k0(35,38,17) -> 6*
    k0(34,40,16) -> 6*
    k0(32,18,16) -> 6*
    k0(17,38,34) -> 6*
    k0(16,40,33) -> 6*
    k0(6,16,15) -> 6*
    k0(40,35,18) -> 6*
    k0(15,31,18) -> 6*
    k0(15,16,34) -> 6*
    k0(9,40,41) -> 6*
    k0(18,33,16) -> 6*
    k0(17,35,15) -> 6*
    k0(41,15,16) -> 6*
    k0(40,17,15) -> 6*
    k0(32,34,6) -> 6*
    k0(17,39,40) -> 6*
    k0(16,15,41) -> 6*
    k0(35,32,34) -> 6*
    k0(15,17,40) -> 6*
    k0(34,34,33) -> 6*
    k0(9,30,33) -> 6*
    k0(33,10,34) -> 6*
    k0(41,31,6) -> 6*
    k0(6,10,32) -> 6*
    k0(30,40,9) -> 6*
    k0(39,9,6) -> 6*
    k0(34,16,30) -> 6*
    k0(17,18,18) -> 6*
    k0(41,9,33) -> 6*
    k0(10,33,10) -> 6*
    k0(6,38,35) -> 6*
    k0(35,33,40) -> 6*
    k0(9,31,39) -> 6*
    k0(34,35,39) -> 6*
    k0(33,15,10) -> 6*
    k0(34,9,41) -> 6*
    k0(38,35,38) -> 6*
    k0(18,9,30) -> 6*
    k0(31,39,16) -> 6*
    k0(41,41,6) -> 6*
    k0(6,35,16) -> 6*
    k0(30,41,15) -> 6*
    k0(9,17,6) -> 6*
    k0(40,39,35) -> 6*
    k0(15,35,35) -> 6*
    k0(39,41,34) -> 6*
    k0(16,10,9) -> 6*
    k0(6,39,41) -> 6*
    k0(16,41,31) -> 6*
    k0(41,10,39) -> 6*
    k0(16,6,39) -> 6*
    k0(15,32,16) -> 6*
    k0(39,38,15) -> 6*
    k0(9,10,17) -> 6*
    k0(9,41,39) -> 6*
    k0(40,40,41) -> 6*
    k0(38,18,41) -> 6*
    k0(18,38,39) -> 6*
    k0(32,31,34) -> 6*
    k0(17,40,38) -> 6*
    k0(31,33,33) -> 6*
    k0(30,35,32) -> 6*
    k0(30,9,34) -> 6*
    k0(15,18,38) -> 6*
    k0(34,35,31) -> 6*
    k0(9,31,31) -> 6*
    k0(38,30,6) -> 6*
    k0(16,39,18) -> 6*
    k0(31,15,30) -> 6*
    k0(35,6,35) -> 6*
    k0(40,30,33) -> 6*
    k0(30,6,15) -> 6*
    k0(39,32,32) -> 6*
    k0(39,6,34) -> 6*
    k0(33,30,41) -> 6*
    k0(32,32,40) -> 6*
    k0(17,30,30) -> 6*
    k0(6,30,39) -> 6*
    k0(31,34,39) -> 6*
    k0(30,10,40) -> 6*
    k0(35,34,38) -> 6*
    k0(10,30,38) -> 6*
    k0(38,40,6) -> 6*
    k0(6,16,6) -> 6*
    k0(41,33,10) -> 6*
    k0(30,18,35) -> 6*
    k0(10,38,33) -> 6*
    k0(40,31,39) -> 6*
    k0(34,33,18) -> 6*
    k0(9,40,32) -> 6*
    k0(34,18,34) -> 6*
    k0(33,35,17) -> 6*
    k0(38,9,39) -> 6*
    k0(17,35,6) -> 6*
    k0(6,9,17) -> 6*
    k0(40,17,6) -> 6*
    k0(6,40,39) -> 6*
    k0(10,9,16) -> 6*
    k0(39,15,35) -> 6*
    k0(34,15,15) -> 6*
    k0(16,15,32) -> 6*
    k0(15,41,9) -> 6*
    k0(40,10,17) -> 6*
    k0(15,6,17) -> 6*
    k0(35,17,41) -> 6*
    k0(40,41,39) -> 6*
    k0(9,15,40) -> 6*
    k0(31,34,31) -> 6*
    k0(6,30,31) -> 6*
    k0(18,16,10) -> 6*
    k0(17,38,17) -> 6*
    k0(16,40,16) -> 6*
    k0(10,18,17) -> 6*
    k0(40,31,31) -> 6*
    k0(34,9,32) -> 6*
    k0(39,33,30) -> 6*
    k0(33,35,9) -> 6*
    k0(32,33,38) -> 6*
    k0(35,39,6) -> 6*
    k0(9,33,35) -> 6*
    k0(38,32,10) -> 6*
    k0(33,39,34) -> 6*
    k0(32,41,33) -> 6*
    k0(31,32,18) -> 6*
    k0(6,39,32) -> 6*
    k0(41,30,38) -> 6*
    k0(31,17,34) -> 6*
    k0(30,34,17) -> 6*
    k0(10,39,31) -> 6*
    k0(34,34,16) -> 6*
    k0(9,41,30) -> 6*
    k0(9,30,16) -> 6*
    k0(18,30,35) -> 6*
    k0(17,32,34) -> 6*
    k0(41,38,33) -> 6*
    k0(16,34,33) -> 6*
    k0(6,10,15) -> 6*
    k0(40,40,32) -> 6*
    k0(39,31,17) -> 6*
    k0(15,10,34) -> 6*
    k0(9,34,41) -> 6*
    k0(39,16,33) -> 6*
    k0(34,38,41) -> 6*
    k0(38,18,32) -> 6*
    k0(33,40,40) -> 6*
    k0(18,38,30) -> 6*
    k0(6,18,10) -> 6*
    k0(32,16,41) -> 6*
    k0(41,9,16) -> 6*
    k0(16,16,30) -> 6*
    k0(31,18,40) -> 6*
    k0(10,18,9) -> 6*
    k0(9,16,38) -> 6*
    k0(18,31,41) -> 6*
    k0(17,33,40) -> 6*
    k0(16,35,39) -> 6*
    k0(35,41,18) -> 6*
    k0(30,6,6) -> 6*
    k0(15,15,10) -> 6*
    k0(16,9,41) -> 6*
    k0(40,15,40) -> 6*
    k0(39,17,39) -> 6*
    k0(39,41,17) -> 6*
    k0(33,30,32) -> 6*
    k0(32,6,33) -> 6*
    k0(30,34,9) -> 6*
    k0(30,10,31) -> 6*
    k0(34,10,30) -> 6*
    k0(9,6,30) -> 6*
    k0(32,38,6) -> 6*
    k0(41,18,17) -> 6*
    k0(6,32,35) -> 6*
    k0(35,31,10) -> 6*
    k0(30,38,34) -> 6*
    k0(39,31,9) -> 6*
    k0(33,9,10) -> 6*
    k0(31,33,16) -> 6*
    k0(6,40,30) -> 6*
    k0(30,35,15) -> 6*
    k0(34,15,6) -> 6*
    k0(40,33,35) -> 6*
    k0(39,35,34) -> 6*
    k0(6,33,41) -> 6*
    k0(16,35,31) -> 6*
    k0(41,39,31) -> 6*
    k0(35,17,32) -> 6*
    k0(30,39,40) -> 6*
    k0(40,41,30) -> 6*
    k0(35,6,18) -> 6*
    k0(40,30,16) -> 6*
    k0(9,39,9) -> 6*
    k0(39,32,15) -> 6*
    k0(39,17,31) -> 6*
    k0(34,39,39) -> 6*
    k0(33,41,38) -> 6*
    k0(17,6,35) -> 6*
    k0(6,15,38) -> 6*
    k0(15,30,41) -> 6*
    k0(10,41,35) -> 6*
    k0(39,40,10) -> 6*
    k0(40,34,41) -> 6*
    k0(32,40,18) -> 6*
    k0(17,34,38) -> 6*
    k0(41,18,9) -> 6*
    k0(30,18,18) -> 6*
    k0(10,38,16) -> 6*
    k0(40,16,38) -> 6*
    k0(9,40,15) -> 6*
    k0(33,31,30) -> 6*
    k0(18,40,34) -> 6*
    k0(16,33,18) -> 6*
    k0(15,35,17) -> 6*
    k0(31,9,30) -> 6*
    k0(16,18,34) -> 6*
    k0(39,15,18) -> 6*
    k0(38,17,17) -> 6*
    k0(32,30,10) -> 6*
    k0(16,15,15) -> 6*
    k0(40,6,30) -> 6*
    k0(18,41,40) -> 6*
    k0(33,6,38) -> 6*
    k0(6,10,6) -> 6*
    k0(17,17,41) -> 6*
    k0(10,32,33) -> 6*
    k0(34,38,32) -> 6*
    k0(9,34,32) -> 6*
    k0(38,38,31) -> 6*
    k0(32,16,32) -> 6*
    k0(6,38,9) -> 6*
    k0(31,38,39) -> 6*
    k0(35,18,30) -> 6*
    k0(30,40,38) -> 6*
    k0(39,9,35) -> 6*
    k0(34,9,15) -> 6*
    k0(18,31,32) -> 6*
    k0(16,9,32) -> 6*
    k0(10,33,39) -> 6*
    k0(40,39,9) -> 6*
    k0(15,35,9) -> 6*
    k0(34,17,10) -> 6*
    k0(9,9,40) -> 6*
    k0(33,15,39) -> 6*
    k0(38,17,9) -> 6*
    k0(33,39,17) -> 6*
    k0(32,41,16) -> 6*
    k0(17,39,6) -> 6*
    k0(6,39,15) -> 6*
    k0(41,41,35) -> 6*
    k0(30,30,30) -> 6*
    k0(15,39,34) -> 6*
    k0(9,17,35) -> 6*
    k0(18,10,10) -> 6*
    k0(18,6,40) -> 6*
    k0(41,38,16) -> 6*
    k0(16,34,16) -> 6*
    k0(35,16,17) -> 6*
    k0(40,40,15) -> 6*
    k0(39,16,16) -> 6*
    k0(38,18,15) -> 6*
    k0(30,35,6) -> 6*
    k0(16,38,41) -> 6*
    k0(15,40,40) -> 6*
    k0(34,31,35) -> 6*
    k0(33,33,34) -> 6*
    k0(32,35,33) -> 6*
    k0(6,33,32) -> 6*
    k0(35,6,9) -> 6*
    k0(10,33,31) -> 6*
    k0(39,32,6) -> 6*
    k0(34,39,30) -> 6*
    k0(9,35,30) -> 6*
    k0(33,30,15) -> 6*
    k0(17,41,18) -> 6*
    k0(33,15,31) -> 6*
    k0(32,17,30) -> 6*
    k0(32,6,16) -> 6*
    k0(41,32,33) -> 6*
    k0(40,34,32) -> 6*
    k0(15,30,32) -> 6*
    k0(34,32,41) -> 6*
    k0(33,38,10) -> 6*
    k0(39,10,33) -> 6*
    k0(33,34,40) -> 6*
    k0(18,32,30) -> 6*
    k0(31,16,10) -> 6*
    k0(32,10,41) -> 6*
    k0(16,10,30) -> 6*
    k0(35,16,9) -> 6*
    k0(30,38,17) -> 6*
    k0(9,10,38) -> 6*
    k0(17,31,10) -> 6*
    k0(38,40,35) -> 6*
    k0(6,16,35) -> 6*
    k0(41,33,39) -> 6*
    k0(35,35,18) -> 6*
    k0(15,9,10) -> 6*
    k0(10,31,18) -> 6*
    k0(40,9,40) -> 6*
    k0(9,33,17) -> 6*
    k0(10,16,34) -> 6*
    k0(9,18,33) -> 6*
    k0(32,15,17) -> 6*
    k0(16,15,6) -> 6*
    k0(35,17,15) -> 6*
    k0(40,17,35) -> 6*
    k0(18,30,17) -> 6*
    k0(38,41,41) -> 6*
    k0(18,15,33) -> 6*
    k0(17,17,32) -> 6*
    k0(17,6,18) -> 6*
    k0(31,30,35) -> 6*
    k0(16,39,39) -> 6*
    k0(10,17,40) -> 6*
    k0(15,41,38) -> 6*
    k0(30,32,34) -> 6*
    k0(31,38,30) -> 6*
    k0(6,34,30) -> 6*
    k0(34,9,6) -> 6*
    k0(38,31,33) -> 6*
    k0(18,16,39) -> 6*
    k0(18,40,17) -> 6*
    k0(31,31,41) -> 6*
    k0(41,33,31) -> 6*
    k0(30,33,40) -> 6*
    k0(40,35,30) -> 6*
    k0(15,31,30) -> 6*
    k0(9,9,31) -> 6*
    k0(9,33,9) -> 6*
    k0(33,35,38) -> 6*
    k0(32,15,9) -> 6*
    k0(6,9,38) -> 6*
    k0(35,39,35) -> 6*
    k0(10,35,35) -> 6*
    k0(39,34,10) -> 6*
    k0(39,30,40) -> 6*
    k0(34,41,34) -> 6*
    k0(18,6,31) -> 6*
    k0(18,30,9) -> 6*
    k0(38,32,39) -> 6*
    k0(32,34,18) -> 6*
    k0(38,6,41) -> 6*
    k0(6,32,17) -> 6*
    k0(6,17,33) -> 6*
    k0(10,32,16) -> 6*
    k0(15,6,38) -> 6*
    k0(34,38,15) -> 6*
    k0(40,10,38) -> 6*
    k0(9,34,15) -> 6*
    k0(38,18,6) -> 6*
    k0(18,34,34) -> 6*
    k0(32,16,15) -> 6*
    k0(41,31,18) -> 6*
    k0(16,38,32) -> 6*
    k0(41,16,34) -> 6*
    k0(40,33,17) -> 6*
    k0(40,18,33) -> 6*
    k0(35,40,41) -> 6*
    k0(39,9,18) -> 6*
    k0(9,38,40) -> 6*
    k0(18,31,15) -> 6*
    k0(33,18,41) -> 6*
    k0(18,16,31) -> 6*
    k0(17,18,30) -> 6*
    k0(6,18,39) -> 6*
    k0(16,9,15) -> 6*
    k0(10,18,38) -> 6*
    k0(33,30,6) -> 6*
    k0(18,39,10) -> 6*
    k0(18,35,40) -> 6*
    k0(16,17,10) -> 6*
    k0(41,17,40) -> 6*
    k0(30,6,35) -> 6*
    k0(35,30,33) -> 6*
    k0(15,15,39) -> 6*
    k0(15,39,17) -> 6*
    k0(9,17,18) -> 6*
    k0(34,32,32) -> 6*
    k0(34,6,34) -> 6*
    k0(38,32,31) -> 6*
    k0(32,10,32) -> 6*
    k0(6,32,9) -> 6*
    k0(30,34,38) -> 6*
    k0(33,40,6) -> 6*
    k0(17,16,17) -> 6*
    k0(32,38,35) -> 6*
    k0(31,40,34) -> 6*
    k0(40,33,9) -> 6*
    k0(40,9,31) -> 6*
    k0(35,31,39) -> 6*
    k0(39,31,38) -> 6*
    k0(33,9,39) -> 6*
    k0(32,35,16) -> 6*
    k0(6,33,15) -> 6*
    k0(41,35,35) -> 6*
    k0(16,31,35) -> 6*
    k0(6,18,31) -> 6*
    k0(35,17,6) -> 6*
    k0(15,33,34) -> 6*
    k0(39,39,33) -> 6*
    k0(34,15,35) -> 6*
    k0(38,41,32) -> 6*
    k0(38,30,18) -> 6*
    k0(17,6,9) -> 6*
    k0(38,15,34) -> 6*
    k0(6,41,10) -> 6*
    k0(32,39,41) -> 6*
    k0(31,41,40) -> 6*
    k0(41,32,16) -> 6*
    k0(16,39,30) -> 6*
    k0(10,41,9) -> 6*
    k0(35,10,17) -> 6*
    k0(40,34,15) -> 6*
    k0(10,6,17) -> 6*
    k0(15,30,15) -> 6*
    k0(30,17,41) -> 6*
    k0(35,41,39) -> 6*
    k0(15,15,31) -> 6*
    k0(39,10,16) -> 6*
    k0(9,39,38) -> 6*
    k0(16,32,41) -> 6*
    k0(15,38,10) -> 6*
    k0(40,38,40) -> 6*
    k0(15,34,40) -> 6*
    k0(38,16,40) -> 6*
    k0(17,16,9) -> 6*
    k0(6,16,18) -> 6*
    k0(31,31,32) -> 6*
    k0(41,18,38) -> 6*
    k0(35,31,31) -> 6*
    k0(34,33,30) -> 6*
    k0(9,18,16) -> 6*
    k0(17,35,18) -> 6*
    k0(30,39,6) -> 6*
    k0(40,17,18) -> 6*
    k0(33,32,10) -> 6*
    k0(18,15,16) -> 6*
    k0(38,6,32) -> 6*
    k0(17,17,15) -> 6*
    k0(32,30,39) -> 6*
    k0(31,10,10) -> 6*
    k0(6,6,10) -> 6*
    k0(31,6,40) -> 6*
    k0(9,34,6) -> 6*
    k0(38,34,35) -> 6*
    k0(32,16,6) -> 6*
    k0(6,10,35) -> 6*
    k0(35,40,32) -> 6*
    k0(10,10,34) -> 6*
    k0(39,9,9) -> 6*
    k0(34,31,17) -> 6*
    k0(18,31,6) -> 6*
    k0(34,16,33) -> 6*
    k0(39,40,31) -> 6*
    k0(33,18,32) -> 6*
    k0(38,31,16) -> 6*
    k0(32,9,17) -> 6*
    k0(16,9,6) -> 6*
    k0(32,40,39) -> 6*
    k0(6,38,38) -> 6*
    k0(18,9,33) -> 6*
    k0(38,35,41) -> 6*
    k0(41,6,17) -> 6*
    k0(41,41,9) -> 6*
    k0(30,41,18) -> 6*
    k0(10,15,10) -> 6*
    k0(15,35,38) -> 6*
    k0(35,15,40) -> 6*
    k0(40,39,38) -> 6*
    k0(34,17,39) -> 6*
    k0(34,41,17) -> 6*
    k0(18,41,6) -> 6*
    k0(38,17,38) -> 6*
    k0(32,30,31) -> 6*
    k0(17,39,35) -> 6*
    k0(6,17,16) -> 6*
    k0(31,32,30) -> 6*
    k0(16,41,34) -> 6*
    k0(39,38,18) -> 6*
    k0(18,10,39) -> 6*
    k0(16,38,15) -> 6*
    k0(30,31,10) -> 6*
    k0(40,18,16) -> 6*
    k0(34,31,9) -> 6*
    k0(6,33,6) -> 6*
    k0(17,40,41) -> 6*
    k0(35,33,35) -> 6*
    k0(15,18,41) -> 6*
    k0(9,31,34) -> 6*
    k0(34,35,34) -> 6*
    k0(32,39,32) -> 6*
    k0(31,30,17) -> 6*
    k0(40,34,6) -> 6*
    k0(15,30,6) -> 6*
    k0(31,15,33) -> 6*
    k0(30,17,32) -> 6*
    k0(35,41,30) -> 6*
    k0(30,6,18) -> 6*
    k0(35,30,16) -> 6*
    k0(34,32,15) -> 6*
    k0(34,17,31) -> 6*
    k0(32,10,15) -> 6*
    k0(17,30,33) -> 6*
    k0(16,32,32) -> 6*
    k0(41,10,34) -> 6*
    k0(16,6,34) -> 6*
    k0(10,30,41) -> 6*
    k0(34,40,10) -> 6*
    k0(35,34,41) -> 6*
    k0(9,32,40) -> 6*
    k0(38,40,9) -> 6*
    k0(32,18,10) -> 6*
    k0(31,16,39) -> 6*
    k0(31,40,17) -> 6*
    k0(15,40,6) -> 6*
    k0(35,16,38) -> 6*
    k0(18,33,10) -> 6*
    k0(17,31,39) -> 6*
    k0(41,15,10) -> 6*
    k0(10,35,17) -> 6*
    k0(15,9,39) -> 6*
    k0(39,39,16) -> 6*
    k0(34,15,18) -> 6*
    k0(33,17,17) -> 6*
    k0(38,41,15) -> 6*
    k0(17,17,6) -> 6*
    k0(16,15,35) -> 6*
    k0(31,30,9) -> 6*
    k0(31,6,31) -> 6*
    k0(35,6,30) -> 6*
    k0(17,10,17) -> 6*
    k0(32,32,35) -> 6*
    k0(17,41,39) -> 6*
    k0(6,30,34) -> 6*
    k0(31,34,34) -> 6*
    k0(33,38,31) -> 6*
    k0(32,40,30) -> 6*
    k0(31,31,15) -> 6*
    k0(31,16,31) -> 6*
    k0(40,31,34) -> 6*
    k0(30,18,30) -> 6*
    k0(34,9,35) -> 6*
    k0(39,33,33) -> 6*
    k0(38,35,32) -> 6*
    k0(38,9,34) -> 6*
    k0(17,31,31) -> 6*
    k0(31,39,10) -> 6*
    k0(6,35,10) -> 6*
    k0(32,33,41) -> 6*
    k0(31,35,40) -> 6*
    k0(6,31,40) -> 6*
    k0(16,33,30) -> 6*
    k0(10,35,9) -> 6*
    k0(35,39,9) -> 6*
    k0(9,33,38) -> 6*
    k0(39,15,30) -> 6*
    k0(38,6,15) -> 6*
    k0(33,17,9) -> 6*
    k0(32,15,38) -> 6*
    k0(15,32,10) -> 6*
    k0(41,30,41) -> 6*
    k0(40,32,40) -> 6*
    k0(10,39,34) -> 6*
    k0(9,41,33) -> 6*
    k0(39,34,39) -> 6*
    k0(18,30,38) -> 6*
    k0(38,10,40) -> 6*
    k0(6,10,18) -> 6*
    k0(30,16,17) -> 6*
    k0(35,40,15) -> 6*
    k0(34,16,16) -> 6*
    k0(33,18,15) -> 6*
    k0(18,38,33) -> 6*
    k0(38,18,35) -> 6*
    k0(17,40,32) -> 6*
    k0(16,31,17) -> 6*
    k0(41,35,17) -> 6*
    k0(16,16,33) -> 6*
    k0(15,18,32) -> 6*
    k0(10,40,40) -> 6*
    k0(9,16,41) -> 6*
    k0(18,9,16) -> 6*
    k0(30,6,9) -> 6*
    k0(34,32,6) -> 6*
    k0(32,10,6) -> 6*
    k0(17,15,40) -> 6*
    k0(16,17,39) -> 6*
    k0(16,41,17) -> 6*
    k0(35,34,32) -> 6*
    k0(10,30,32) -> 6*
    k0(9,6,33) -> 6*
    k0(34,10,33) -> 6*
    k0(39,34,31) -> 6*
    k0(32,38,9) -> 6*
    k0(6,32,38) -> 6*
    k0(30,16,9) -> 6*
    k0(9,38,6) -> 6*
    k0(18,18,17) -> 6*
    k0(33,40,35) -> 6*
    k0(41,35,9) -> 6*
    k0(6,40,33) -> 6*
    k0(16,31,9) -> 6*
    k0(30,35,18) -> 6*
    k0(10,9,10) -> 6*
    k0(40,33,38) -> 6*
    k0(35,9,40) -> 6*
    k0(32,39,15) -> 6*
    k0(17,33,35) -> 6*
    k0(41,39,34) -> 6*
    k0(31,15,16) -> 6*
    k0(16,35,34) -> 6*
    k0(30,17,15) -> 6*
    k0(35,17,35) -> 6*
    k0(40,41,33) -> 6*
    k0(39,32,18) -> 6*
    k0(39,17,34) -> 6*
    k0(38,34,17) -> 6*
    k0(33,41,41) -> 6*
    k0(18,39,31) -> 6*
    k0(17,41,30) -> 6*
    k0(17,30,16) -> 6*
    k0(16,32,15) -> 6*
    k0(6,15,41) -> 6*
    k0(16,17,31) -> 6*
    k0(10,41,38) -> 6*
    k0(31,31,6) -> 6*
    k0(16,40,10) -> 6*
    k0(17,34,41) -> 6*
    k0(41,40,40) -> 6*
    k0(40,16,41) -> 6*
    k0(9,40,18) -> 6*
    k0(39,18,40) -> 6*
    k0(33,31,33) -> 6*
    k0(18,18,9) -> 6*
    k0(32,33,32) -> 6*
    k0(17,16,38) -> 6*
    k0(31,9,33) -> 6*
    k0(35,35,30) -> 6*
    k0(10,31,30) -> 6*
    k0(38,6,6) -> 6*
    k0(16,15,18) -> 6*
    k0(31,41,6) -> 6*
    k0(41,30,32) -> 6*
    k0(15,17,17) -> 6*
    k0(30,39,35) -> 6*
    k0(34,34,10) -> 6*
    k0(40,6,33) -> 6*
    k0(9,30,10) -> 6*
    k0(34,30,40) -> 6*
    k0(38,34,9) -> 6*
    k0(38,10,31) -> 6*
    k0(33,32,39) -> 6*
    k0(33,6,41) -> 6*
    k0(6,10,9) -> 6*
    k0(17,6,30) -> 6*
    k0(31,10,39) -> 6*
    k0(6,6,39) -> 6*
    k0(6,41,31) -> 6*
    k0(40,38,6) -> 6*
    k0(10,6,38) -> 6*
    k0(35,10,38) -> 6*
    k0(33,18,6) -> 6*
    k0(38,38,34) -> 6*
    k0(32,16,35) -> 6*
    k0(41,9,10) -> 6*
    k0(35,33,17) -> 6*
    k0(35,18,33) -> 6*
    k0(30,40,41) -> 6*
    k0(15,38,31) -> 6*
    k0(34,9,18) -> 6*
    k0(39,33,16) -> 6*
    k0(9,16,32) -> 6*
    k0(38,35,15) -> 6*
    k0(16,9,35) -> 6*
    k0(38,39,40) -> 6*
    k0(17,39,9) -> 6*
    k0(6,39,18) -> 6*
    k0(41,41,38) -> 6*
    k0(30,30,33) -> 6*
    k0(10,15,39) -> 6*
    k0(15,17,9) -> 6*
    k0(10,39,17) -> 6*
    k0(9,41,16) -> 6*
    k0(33,32,31) -> 6*
    k0(18,41,35) -> 6*
    k0(32,34,30) -> 6*
    k0(40,40,18) -> 6*
    k0(18,38,16) -> 6*
    k0(38,18,18) -> 6*
    k0(17,40,15) -> 6*
    k0(31,33,10) -> 6*
    k0(41,31,30) -> 6*
    k0(16,16,16) -> 6*
    k0(35,33,9) -> 6*
    k0(15,18,15) -> 6*
    k0(35,9,31) -> 6*
    k0(30,31,39) -> 6*
    k0(39,9,30) -> 6*
    k0(34,31,38) -> 6*
    k0(32,9,38) -> 6*
    k0(40,30,10) -> 6*
    k0(30,17,6) -> 6*
    k0(10,33,34) -> 6*
    k0(9,35,33) -> 6*
    k0(34,39,33) -> 6*
    k0(33,41,32) -> 6*
    k0(33,30,18) -> 6*
    k0(33,15,34) -> 6*
    k0(32,32,17) -> 6*
    k0(16,32,6) -> 6*
    k0(32,17,33) -> 6*
    k0(6,15,32) -> 6*
    k0(30,10,17) -> 6*
    k0(35,34,15) -> 6*
    k0(41,6,38) -> 6*
    k0(10,30,15) -> 6*
    k0(30,41,39) -> 6*
    k0(10,15,31) -> 6*
    k0(9,17,30) -> 6*
    k0(9,6,16) -> 6*
    k0(34,10,16) -> 6*
    k0(18,32,33) -> 6*
    k0(17,34,32) -> 6*
    k0(10,38,10) -> 6*
    k0(16,10,33) -> 6*
    k0(40,16,32) -> 6*
    k0(35,38,40) -> 6*
    k0(10,34,40) -> 6*
    k0(39,38,39) -> 6*
    k0(9,10,41) -> 6*
    k0(33,16,40) -> 6*
    k0(38,40,38) -> 6*
    k0(32,18,39) -> 6*
    k0(6,40,16) -> 6*
    k0(30,31,31) -> 6*
    k0(15,40,35) -> 6*
    k0(18,33,39) -> 6*
    k0(17,9,40) -> 6*
    k0(41,15,39) -> 6*
    k0(41,39,17) -> 6*
    k0(35,17,18) -> 6*
    k0(40,41,16) -> 6*
    k0(9,15,17) -> 6*
    k0(33,6,32) -> 6*
    k0(38,30,30) -> 6*
    k0(32,32,9) -> 6*
    k0(17,17,35) -> 6*
    k0(31,30,38) -> 6*
    k0(15,41,41) -> 6*
    k0(33,34,35) -> 6*
    k0(6,34,33) -> 6*
    k0(31,38,33) -> 6*
    k0(30,40,32) -> 6*
    k0(34,9,9) -> 6*
    k0(38,35,6) -> 6*
    k0(34,40,31) -> 6*
    k0(33,31,16) -> 6*
    k0(32,33,15) -> 6*
    k0(32,18,31) -> 6*
    k0(6,16,30) -> 6*
    k0(41,33,34) -> 6*
    k0(31,9,16) -> 6*
    k0(15,31,33) -> 6*
    k0(40,35,33) -> 6*
    k0(18,33,31) -> 6*
    k0(32,41,10) -> 6*
    k0(33,35,41) -> 6*
    k0(17,35,30) -> 6*
    k0(41,30,15) -> 6*
    k0(6,35,39) -> 6*
    k0(41,15,31) -> 6*
    k0(6,9,41) -> 6*
    k0(10,35,38) -> 6*
    k0(30,15,40) -> 6*
    k0(40,17,30) -> 6*
    k0(35,39,38) -> 6*
    k0(40,6,16) -> 6*
    k0(9,15,9) -> 6*
    k0(33,17,38) -> 6*
    k0(41,38,10) -> 6*
    k0(16,34,10) -> 6*
    k0(41,34,40) -> 6*
    k0(16,30,40) -> 6*
    k0(15,32,39) -> 6*
    k0(39,16,10) -> 6*
    k0(34,38,18) -> 6*
    k0(40,10,41) -> 6*
    k0(9,34,18) -> 6*
    k0(15,6,41) -> 6*
    k0(38,38,17) -> 6*
    k0(32,16,18) -> 6*
    k0(31,18,17) -> 6*
    k0(17,10,38) -> 6*
    k0(15,18,6) -> 6*
    k0(35,18,16) -> 6*
    k0(9,16,15) -> 6*
    k0(18,31,18) -> 6*
    k0(18,16,34) -> 6*
    k0(17,33,17) -> 6*
    k0(17,18,33) -> 6*
    k0(16,9,18) -> 6*
    k0(40,15,17) -> 6*
    k0(30,33,35) -> 6*
    k0(10,18,41) -> 6*
    k0(32,6,10) -> 6*
    k0(6,35,31) -> 6*
    k0(35,34,6) -> 6*
    k0(10,30,6) -> 6*
    k0(31,39,31) -> 6*
    k0(30,41,30) -> 6*
    k0(30,30,16) -> 6*
    k0(39,30,35) -> 6*
    k0(38,32,34) -> 6*
    k0(18,17,40) -> 6*
    k0(32,10,35) -> 6*
    k0(15,32,31) -> 6*
    k0(30,34,41) -> 6*
    k0(39,38,30) -> 6*
    k0(9,10,32) -> 6*
    k0(33,40,9) -> 6*
    k0(32,38,38) -> 6*
    k0(31,18,9) -> 6*
    k0(10,40,6) -> 6*
    k0(30,16,38) -> 6*
    k0(9,38,35) -> 6*
    k0(39,31,41) -> 6*
    k0(38,33,40) -> 6*
    k0(17,33,9) -> 6*
    k0(17,9,31) -> 6*
    k0(6,33,18) -> 6*
    k0(16,31,38) -> 6*
    k0(6,18,34) -> 6*
    k0(41,35,38) -> 6*
    k0(10,9,39) -> 6*
    k0(40,15,9) -> 6*
    k0(9,35,16) -> 6*
    k0(34,39,16) -> 6*
    k0(33,41,15) -> 6*
    k0(18,35,35) -> 6*
    k0(32,17,16) -> 6*
    k0(16,39,33) -> 6*
    k0(6,15,15) -> 6*
    k0(40,34,18) -> 6*
    k0(15,41,32) -> 6*
    k0(15,30,18) -> 6*
    k0(30,6,30) -> 6*
    k0(15,15,34) -> 6*
    k0(9,39,41) -> 6*
    k0(18,32,16) -> 6*
    k0(17,34,15) -> 6*
    k0(16,10,16) -> 6*
    k0(40,16,15) -> 6*
    k0(32,33,6) -> 6*
    k0(17,38,40) -> 6*
    k0(41,18,41) -> 6*
    k0(35,31,34) -> 6*
    k0(15,16,40) -> 6*
    k0(34,33,33) -> 6*
    k0(33,35,32) -> 6*
    k0(33,9,34) -> 6*
    k0(18,18,38) -> 6*
    k0(41,30,6) -> 6*
    k0(6,9,32) -> 6*
    k0(30,39,9) -> 6*
    k0(34,15,30) -> 6*
    k0(38,6,35) -> 6*
    k0(33,6,15) -> 6*
    k0(17,17,18) -> 6*
    k0(31,41,35) -> 6*
    k0(10,32,10) -> 6*
    k0(40,10,32) -> 6*
    k0(35,32,40) -> 6*
    k0(15,6,32) -> 6*
    k0(34,34,39) -> 6*
    k0(9,30,39) -> 6*
    k0(33,10,40) -> 6*
    k0(38,34,38) -> 6*
    k0(41,40,6) -> 6*
    k0(6,34,16) -> 6*
    k0(31,38,16) -> 6*
    k0(30,40,15) -> 6*
    k0(40,38,35) -> 6*
    k0(15,34,35) -> 6*
    k0(9,16,6) -> 6*
    k0(39,40,34) -> 6*
    k0(33,18,35) -> 6*
    k0(16,9,9) -> 6*
    k0(41,9,39) -> 6*
    k0(6,38,41) -> 6*
    k0(16,40,31) -> 6*
    k0(40,35,16) -> 6*
    k0(10,18,32) -> 6*
    k0(15,31,16) -> 6*
    k0(9,9,17) -> 6*
    k0(9,40,39) -> 6*
    k0(40,39,41) -> 6*
    k0(15,35,41) -> 6*
    k0(39,41,40) -> 6*
    k0(18,6,17) -> 6*
    k0(18,41,9) -> 6*
    k0(38,17,41) -> 6*
    k0(32,30,34) -> 6*
    k0(17,39,38) -> 6*
    k0(31,32,33) -> 6*
    k0(30,34,32) -> 6*
    k0(15,17,38) -> 6*
    k0(9,30,31) -> 6*
    k0(34,34,31) -> 6*
    k0(16,38,18) -> 6*
    k0(6,10,30) -> 6*
    k0(39,31,32) -> 6*
    k0(32,35,10) -> 6*
    k0(32,31,40) -> 6*
    k0(17,18,16) -> 6*
    k0(31,33,39) -> 6*
    k0(30,9,40) -> 6*
    k0(35,33,38) -> 6*
    k0(38,39,6) -> 6*
    k0(6,15,6) -> 6*
    k0(41,32,10) -> 6*
    k0(40,30,39) -> 6*
    k0(30,17,35) -> 6*
    k0(35,41,33) -> 6*
    k0(39,10,10) -> 6*
    k0(34,32,18) -> 6*
    k0(9,39,32) -> 6*
    k0(34,17,34) -> 6*
    k0(33,34,17) -> 6*
    k0(39,6,40) -> 6*
    k0(17,34,6) -> 6*
    k0(32,10,18) -> 6*
    k0(6,39,39) -> 6*
    k0(40,16,6) -> 6*
    k0(9,10,15) -> 6*
    k0(18,10,34) -> 6*
    k0(41,18,32) -> 6*
    k0(40,9,17) -> 6*
    k0(15,40,9) -> 6*
    k0(9,18,10) -> 6*
    k0(35,16,41) -> 6*
    k0(40,40,39) -> 6*
    k0(34,18,40) -> 6*
    k0(31,33,31) -> 6*
    k0(30,35,30) -> 6*
    k0(33,6,6) -> 6*
    k0(18,15,10) -> 6*
    k0(38,41,18) -> 6*
    k0(16,39,16) -> 6*
    k0(10,17,17) -> 6*
    k0(15,41,15) -> 6*
    k0(35,6,33) -> 6*
    k0(40,30,31) -> 6*
    k0(39,32,30) -> 6*
    k0(33,10,31) -> 6*
    k0(33,34,9) -> 6*
    k0(32,32,38) -> 6*
    k0(35,38,6) -> 6*
    k0(30,10,38) -> 6*
    k0(9,32,35) -> 6*
    k0(38,31,10) -> 6*
    k0(33,38,34) -> 6*
    k0(32,40,33) -> 6*
    k0(31,31,18) -> 6*
    k0(6,38,32) -> 6*
    k0(31,16,34) -> 6*
    k0(30,33,17) -> 6*
    k0(30,18,33) -> 6*
    k0(10,38,31) -> 6*
    k0(34,33,16) -> 6*
    k0(9,40,30) -> 6*
    k0(33,35,15) -> 6*
    k0(17,31,34) -> 6*
    k0(16,33,33) -> 6*
    k0(6,9,15) -> 6*
    k0(40,39,32) -> 6*
    k0(15,35,32) -> 6*
    k0(15,9,34) -> 6*
    k0(39,30,17) -> 6*
    k0(39,15,33) -> 6*
    k0(9,33,41) -> 6*
    k0(38,6,18) -> 6*
    k0(38,17,32) -> 6*
    k0(33,39,40) -> 6*
    k0(6,17,10) -> 6*
    k0(32,15,41) -> 6*
    k0(31,17,40) -> 6*
    k0(16,15,30) -> 6*
    k0(40,10,15) -> 6*
    k0(15,6,15) -> 6*
    k0(10,17,9) -> 6*
    k0(9,15,38) -> 6*
    k0(18,30,41) -> 6*
    k0(17,32,40) -> 6*
    k0(16,34,39) -> 6*
    k0(35,40,18) -> 6*
    k0(40,18,10) -> 6*
    k0(15,10,40) -> 6*
    k0(39,40,17) -> 6*
    k0(39,16,39) -> 6*
    k0(33,18,18) -> 6*
    k0(30,33,9) -> 6*
    k0(10,18,15) -> 6*
    k0(30,9,31) -> 6*
    k0(15,18,35) -> 6*
    k0(34,9,30) -> 6*
    k0(18,35,17) -> 6*
    k0(41,17,17) -> 6*
    k0(31,35,35) -> 6*
    k0(6,31,35) -> 6*
    k0(35,30,10) -> 6*
    k0(39,30,9) -> 6*
    k0(39,6,31) -> 6*
    k0(32,10,9) -> 6*
    k0(32,6,39) -> 6*
    k0(32,41,31) -> 6*
    k0(31,32,16) -> 6*
    k0(6,39,30) -> 6*
    k0(30,34,15) -> 6*
    k0(9,10,6) -> 6*
    k0(40,32,35) -> 6*
    k0(39,34,34) -> 6*
    k0(41,38,31) -> 6*
    k0(6,32,41) -> 6*
    k0(16,34,31) -> 6*
    k0(35,16,32) -> 6*
    k0(30,38,40) -> 6*
    k0(40,40,30) -> 6*
    k0(9,38,9) -> 6*
    k0(39,31,15) -> 6*
    k0(39,16,31) -> 6*
    k0(34,38,39) -> 6*
    k0(38,18,30) -> 6*
    k0(33,40,38) -> 6*
    k0(31,18,38) -> 6*
    k0(10,40,35) -> 6*
    k0(39,39,10) -> 6*
    k0(40,33,41) -> 6*
    k0(39,35,40) -> 6*
    k0(18,35,9) -> 6*
    k0(32,39,18) -> 6*
    k0(17,33,38) -> 6*
    k0(41,17,9) -> 6*
    k0(30,17,18) -> 6*
    k0(35,41,16) -> 6*
    k0(40,15,38) -> 6*
    k0(9,39,15) -> 6*
    k0(33,30,30) -> 6*
    k0(18,39,34) -> 6*
    k0(17,41,33) -> 6*
    k0(16,32,18) -> 6*
    k0(16,17,34) -> 6*
    k0(15,34,17) -> 6*
    k0(10,41,41) -> 6*
    k0(38,16,17) -> 6*
    k0(41,18,15) -> 6*
    k0(33,35,6) -> 6*
    k0(18,40,40) -> 6*
    k0(6,9,6) -> 6*
    k0(17,16,41) -> 6*
    k0(16,18,40) -> 6*
    k0(10,31,33) -> 6*
    k0(35,35,33) -> 6*
    k0(9,33,32) -> 6*
    k0(38,6,9) -> 6*
    k0(32,15,32) -> 6*
    k0(31,6,17) -> 6*
    k0(31,41,9) -> 6*
    k0(15,6,6) -> 6*
    k0(40,10,6) -> 6*
    k0(35,17,30) -> 6*
    k0(30,39,38) -> 6*
    k0(35,6,16) -> 6*
    k0(18,30,32) -> 6*
    k0(17,6,33) -> 6*
    k0(6,41,34) -> 6*
    k0(15,34,9) -> 6*
    k0(15,10,31) -> 6*
    k0(10,32,39) -> 6*
    k0(40,38,9) -> 6*
    k0(34,16,10) -> 6*
    k0(35,10,41) -> 6*
    k0(10,6,41) -> 6*
    k0(38,16,9) -> 6*
    k0(33,38,17) -> 6*
    k0(17,38,6) -> 6*
    k0(32,40,16) -> 6*
    k0(6,38,15) -> 6*
    k0(10,18,6) -> 6*
    k0(41,40,35) -> 6*
    k0(30,18,16) -> 6*
    k0(15,38,34) -> 6*
    k0(9,16,35) -> 6*
    k0(38,35,18) -> 6*
    k0(18,9,10) -> 6*
    k0(16,33,16) -> 6*
    k0(35,15,17) -> 6*
    k0(40,39,15) -> 6*
    k0(15,35,15) -> 6*
    k0(39,15,16) -> 6*
    k0(38,17,15) -> 6*
    k0(30,34,6) -> 6*
    k0(41,41,41) -> 6*
    k0(15,39,40) -> 6*
    k0(34,30,35) -> 6*
    k0(33,32,34) -> 6*
    k0(18,41,38) -> 6*
    k0(32,34,33) -> 6*
    k0(6,32,32) -> 6*
    k0(31,10,34) -> 6*
    k0(6,6,34) -> 6*
    k0(10,32,31) -> 6*
    k0(39,31,6) -> 6*
    k0(34,38,30) -> 6*
    k0(9,34,30) -> 6*
    k0(17,40,18) -> 6*
    k0(32,16,30) -> 6*
    k0(41,31,33) -> 6*
    k0(40,33,32) -> 6*
    k0(15,18,18) -> 6*
    k0(39,9,33) -> 6*
    k0(34,31,41) -> 6*
    k0(33,33,40) -> 6*
    k0(18,31,30) -> 6*
    k0(32,35,39) -> 6*
    k0(31,15,10) -> 6*
    k0(32,9,41) -> 6*
    k0(16,9,30) -> 6*
    k0(35,15,9) -> 6*
    k0(39,41,6) -> 6*
    k0(9,9,38) -> 6*
    k0(17,30,10) -> 6*
    k0(38,39,35) -> 6*
    k0(41,32,39) -> 6*
    k0(6,15,35) -> 6*
    k0(35,34,18) -> 6*
    k0(10,41,32) -> 6*
    k0(41,6,41) -> 6*
    k0(10,30,18) -> 6*
    k0(10,15,34) -> 6*
    k0(9,32,17) -> 6*
    k0(39,10,39) -> 6*
    k0(9,17,33) -> 6*
    k0(18,6,38) -> 6*
    k0(41,18,6) -> 6*
    k0(40,16,35) -> 6*
    k0(35,16,15) -> 6*
    k0(38,40,41) -> 6*
    k0(17,16,32) -> 6*
    k0(16,38,39) -> 6*
    k0(30,31,34) -> 6*
    k0(10,16,40) -> 6*
    k0(15,40,38) -> 6*
    k0(9,18,39) -> 6*
    k0(32,35,31) -> 6*
    k0(6,33,30) -> 6*
    k0(18,15,39) -> 6*
    k0(18,39,17) -> 6*
    k0(33,6,35) -> 6*
    k0(38,30,33) -> 6*
    k0(17,41,16) -> 6*
    k0(31,30,41) -> 6*
    k0(41,32,31) -> 6*
    k0(35,10,32) -> 6*
    k0(30,32,40) -> 6*
    k0(40,34,30) -> 6*
    k0(10,6,32) -> 6*
    k0(15,30,30) -> 6*
    k0(9,32,9) -> 6*
    k0(33,34,38) -> 6*
    k0(10,34,35) -> 6*
    k0(39,33,10) -> 6*
    k0(35,38,35) -> 6*
    k0(34,40,34) -> 6*
    k0(38,31,39) -> 6*
    k0(32,33,18) -> 6*
    k0(32,18,34) -> 6*
    k0(31,35,17) -> 6*
    k0(6,31,17) -> 6*
    k0(15,35,6) -> 6*
    k0(6,16,33) -> 6*
    k0(10,31,16) -> 6*
    k0(35,35,16) -> 6*
    k0(40,9,38) -> 6*
    k0(9,33,15) -> 6*
    k0(9,18,31) -> 6*
    k0(38,17,6) -> 6*
    k0(18,33,34) -> 6*
    k0(17,35,33) -> 6*
    k0(32,15,15) -> 6*
    k0(41,41,32) -> 6*
    k0(41,30,18) -> 6*
    k0(41,15,34) -> 6*
    k0(40,32,17) -> 6*
    k0(40,17,33) -> 6*
    k0(9,41,10) -> 6*
    k0(35,39,41) -> 6*
    k0(10,35,41) -> 6*
    k0(34,41,40) -> 6*
    k0(38,10,17) -> 6*
    k0(18,30,15) -> 6*
    k0(33,17,41) -> 6*
    k0(38,41,39) -> 6*
    k0(18,15,31) -> 6*
    k0(17,17,30) -> 6*
    k0(17,6,16) -> 6*
    k0(6,17,39) -> 6*
    k0(6,41,17) -> 6*
    k0(10,17,38) -> 6*
    k0(18,38,10) -> 6*
    k0(18,34,40) -> 6*
    k0(16,16,10) -> 6*
    k0(17,10,41) -> 6*
    k0(41,16,40) -> 6*
    k0(15,38,17) -> 6*
    k0(40,18,39) -> 6*
    k0(34,31,32) -> 6*
    k0(9,16,18) -> 6*
    k0(38,31,31) -> 6*
    k0(32,9,32) -> 6*
    k0(6,31,9) -> 6*
    k0(31,35,9) -> 6*
    k0(30,33,38) -> 6*
    k0(33,39,6) -> 6*
    k0(17,15,17) -> 6*
    k0(41,6,32) -> 6*
    k0(31,39,34) -> 6*
    k0(6,35,34) -> 6*
    k0(35,30,39) -> 6*
    k0(30,41,33) -> 6*
    k0(40,32,9) -> 6*
    k0(34,10,10) -> 6*
    k0(9,6,10) -> 6*
    k0(34,6,40) -> 6*
    k0(39,30,38) -> 6*
    k0(32,34,16) -> 6*
    k0(6,32,15) -> 6*
    k0(41,34,35) -> 6*
    k0(16,30,35) -> 6*
    k0(6,17,31) -> 6*
    k0(35,16,6) -> 6*
    k0(15,32,34) -> 6*
    k0(39,38,33) -> 6*
    k0(9,10,35) -> 6*
    k0(38,40,32) -> 6*
    k0(6,40,10) -> 6*
    k0(32,38,41) -> 6*
    k0(16,38,30) -> 6*
    k0(31,40,40) -> 6*
    k0(41,31,16) -> 6*
    k0(35,9,17) -> 6*
    k0(40,33,15) -> 6*
    k0(10,40,9) -> 6*
    k0(30,16,41) -> 6*
    k0(40,18,31) -> 6*
    k0(35,40,39) -> 6*
    k0(39,9,16) -> 6*
    k0(9,38,38) -> 6*
    k0(40,41,10) -> 6*
    k0(41,35,41) -> 6*
    k0(16,31,41) -> 6*
    k0(15,33,40) -> 6*
    k0(33,41,18) -> 6*
    k0(38,15,40) -> 6*
    k0(18,35,38) -> 6*
    k0(17,15,9) -> 6*
    k0(31,30,32) -> 6*
    k0(6,15,18) -> 6*
    k0(41,17,38) -> 6*
    k0(10,41,15) -> 6*
    k0(30,6,33) -> 6*
    k0(35,30,31) -> 6*
    k0(34,32,30) -> 6*
    k0(9,17,16) -> 6*
    k0(17,34,18) -> 6*
    k0(32,10,30) -> 6*
    k0(30,38,6) -> 6*
    k0(40,16,18) -> 6*
    k0(39,18,17) -> 6*
    k0(33,31,10) -> 6*
    k0(17,16,15) -> 6*
    k0(31,9,10) -> 6*
    k0(9,33,6) -> 6*
    k0(38,33,35) -> 6*
    k0(18,18,41) -> 6*
    k0(32,15,6) -> 6*
    k0(6,9,35) -> 6*
    k0(35,39,32) -> 6*
    k0(40,6,10) -> 6*
    k0(10,35,32) -> 6*
    k0(10,9,34) -> 6*
    k0(34,30,17) -> 6*
    k0(18,30,6) -> 6*
    k0(34,15,33) -> 6*
    k0(39,39,31) -> 6*
    k0(38,30,16) -> 6*
    k0(33,17,32) -> 6*
    k0(38,41,30) -> 6*
    k0(33,6,18) -> 6*
    k0(32,39,39) -> 6*
    k0(31,41,38) -> 6*
    k0(15,6,35) -> 6*
    k0(35,10,15) -> 6*
    k0(10,6,15) -> 6*
    k0(40,10,35) -> 6*
    k0(38,34,41) -> 6*
    k0(17,10,32) -> 6*
    k0(41,40,9) -> 6*
    k0(35,18,10) -> 6*
    k0(30,40,18) -> 6*
    k0(40,38,38) -> 6*
    k0(10,10,40) -> 6*
    k0(15,34,38) -> 6*
    k0(39,18,9) -> 6*
    k0(34,40,17) -> 6*
    k0(34,16,39) -> 6*
    k0(18,40,6) -> 6*
    k0(38,16,38) -> 6*
    k0(17,38,35) -> 6*
    k0(31,31,30) -> 6*
    k0(16,40,34) -> 6*
    k0(6,16,16) -> 6*
    k0(10,18,35) -> 6*
    k0(18,9,39) -> 6*
    k0(17,35,16) -> 6*
    k0(41,41,15) -> 6*
    k0(30,30,10) -> 6*
    k0(40,17,16) -> 6*
    k0(34,6,31) -> 6*
    k0(34,30,9) -> 6*
    k0(38,6,30) -> 6*
    k0(6,32,6) -> 6*
    k0(17,39,41) -> 6*
    k0(16,41,40) -> 6*
    k0(31,6,38) -> 6*
    k0(35,32,35) -> 6*
    k0(15,17,41) -> 6*
    k0(34,34,34) -> 6*
    k0(9,30,34) -> 6*
    k0(32,38,32) -> 6*
    k0(40,33,6) -> 6*
    k0(6,10,33) -> 6*
    k0(30,16,32) -> 6*
    k0(35,40,30) -> 6*
    k0(34,31,15) -> 6*
    k0(34,16,31) -> 6*
    k0(33,18,30) -> 6*
    k0(32,9,15) -> 6*
    k0(41,35,32) -> 6*
    k0(16,31,32) -> 6*
    k0(41,9,34) -> 6*
    k0(34,39,10) -> 6*
    k0(9,35,10) -> 6*
    k0(35,33,41) -> 6*
    k0(9,31,40) -> 6*
    k0(34,35,40) -> 6*
    k0(38,39,9) -> 6*
    k0(32,17,10) -> 6*
    k0(41,6,15) -> 6*
    k0(31,39,17) -> 6*
    k0(31,15,39) -> 6*
    k0(15,39,6) -> 6*
    k0(30,41,16) -> 6*
    k0(35,15,38) -> 6*
    k0(18,32,10) -> 6*
    k0(39,41,35) -> 6*
    k0(17,30,39) -> 6*
    k0(16,10,10) -> 6*
    k0(41,10,40) -> 6*
    k0(10,34,17) -> 6*
    k0(16,6,40) -> 6*
    k0(9,10,18) -> 6*
    k0(39,38,16) -> 6*
    k0(33,16,17) -> 6*
    k0(38,40,15) -> 6*
    k0(17,16,6) -> 6*
    k0(41,18,35) -> 6*
    k0(18,18,32) -> 6*
    k0(17,9,17) -> 6*
    k0(32,31,35) -> 6*
    k0(17,40,39) -> 6*
    k0(31,33,34) -> 6*
    k0(30,35,33) -> 6*
    k0(33,6,9) -> 6*
    k0(32,39,30) -> 6*
    k0(31,30,15) -> 6*
    k0(10,6,6) -> 6*
    k0(31,15,31) -> 6*
    k0(35,10,6) -> 6*
    k0(15,41,18) -> 6*
    k0(40,30,34) -> 6*
    k0(30,17,30) -> 6*
    k0(30,6,16) -> 6*
    k0(39,32,33) -> 6*
    k0(38,34,32) -> 6*
    k0(31,38,10) -> 6*
    k0(6,34,10) -> 6*
    k0(32,32,41) -> 6*
    k0(17,30,31) -> 6*
    k0(6,30,40) -> 6*
    k0(16,32,30) -> 6*
    k0(31,34,40) -> 6*
    k0(10,10,31) -> 6*
    k0(35,38,9) -> 6*
    k0(10,34,9) -> 6*
    k0(30,10,41) -> 6*
    k0(9,32,38) -> 6*
    k0(33,16,9) -> 6*
    k0(40,35,10) -> 6*
    k0(15,31,10) -> 6*
    k0(10,38,34) -> 6*
    k0(40,31,40) -> 6*
    k0(39,33,39) -> 6*
    k0(9,40,33) -> 6*
    k0(33,35,18) -> 6*
    k0(38,9,40) -> 6*
    k0(6,9,18) -> 6*
    k0(30,15,17) -> 6*
    k0(35,39,15) -> 6*
    k0(10,35,15) -> 6*
    k0(34,15,16) -> 6*
    k0(38,17,35) -> 6*
    k0(33,17,15) -> 6*
    k0(17,39,32) -> 6*
    k0(41,34,17) -> 6*
    k0(16,30,17) -> 6*
    k0(16,15,33) -> 6*
    k0(15,6,18) -> 6*
    k0(40,10,18) -> 6*
    k0(15,17,32) -> 6*
    k0(10,39,40) -> 6*
    k0(9,15,41) -> 6*
    k0(17,10,15) -> 6*
    k0(34,31,6) -> 6*
    k0(32,9,6) -> 6*
    k0(17,18,10) -> 6*
    k0(16,16,39) -> 6*
    k0(16,40,17) -> 6*
    k0(35,33,32) -> 6*
    k0(10,18,18) -> 6*
    k0(34,9,33) -> 6*
    k0(39,33,31) -> 6*
    k0(38,35,30) -> 6*
    k0(41,6,6) -> 6*
    k0(6,31,38) -> 6*
    k0(31,35,38) -> 6*
    k0(30,15,9) -> 6*
    k0(34,41,6) -> 6*
    k0(18,17,17) -> 6*
    k0(33,39,35) -> 6*
    k0(32,41,34) -> 6*
    k0(16,30,9) -> 6*
    k0(41,10,31) -> 6*
    k0(16,6,31) -> 6*
    k0(41,34,9) -> 6*
    k0(6,39,33) -> 6*
    k0(30,34,18) -> 6*
    k0(9,10,9) -> 6*
    k0(40,32,38) -> 6*
    k0(34,10,39) -> 6*
    k0(9,6,39) -> 6*
    k0(9,41,31) -> 6*
    k0(32,38,15) -> 6*
    k0(38,10,38) -> 6*
    k0(17,32,35) -> 6*
    k0(41,38,34) -> 6*
    k0(16,34,34) -> 6*
    k0(6,10,16) -> 6*
    k0(35,16,35) -> 6*
    k0(40,40,33) -> 6*
    k0(30,16,15) -> 6*
    k0(39,31,18) -> 6*
    k0(38,33,17) -> 6*
    k0(39,16,34) -> 6*
    k0(38,18,33) -> 6*
    k0(33,40,41) -> 6*
    k0(18,38,31) -> 6*
    k0(17,40,30) -> 6*
    k0(41,35,15) -> 6*
    k0(16,31,15) -> 6*
    k0(16,16,31) -> 6*
    k0(31,18,41) -> 6*
    k0(15,18,30) -> 6*
    k0(10,40,38) -> 6*
    k0(31,30,6) -> 6*
    k0(16,39,10) -> 6*
    k0(17,33,41) -> 6*
    k0(41,39,40) -> 6*
    k0(16,35,40) -> 6*
    k0(40,15,41) -> 6*
    k0(9,39,18) -> 6*
    k0(39,17,40) -> 6*
    k0(18,17,9) -> 6*
    k0(33,30,33) -> 6*
    k0(32,32,32) -> 6*
    k0(32,6,34) -> 6*
    k0(17,15,38) -> 6*
    k0(35,34,30) -> 6*
    k0(10,30,30) -> 6*
    k0(30,10,32) -> 6*
    k0(41,18,18) -> 6*
    k0(31,40,6) -> 6*
    k0(15,16,17) -> 6*
    k0(34,33,10) -> 6*
    k0(30,38,35) -> 6*
    k0(38,9,31) -> 6*
    k0(33,31,39) -> 6*
    k0(38,33,9) -> 6*
    k0(18,18,15) -> 6*
    k0(6,9,9) -> 6*
    k0(31,9,39) -> 6*
    k0(10,35,6) -> 6*
    k0(6,40,31) -> 6*
    k0(30,35,16) -> 6*
    k0(35,9,38) -> 6*
    k0(33,17,6) -> 6*
    k0(39,35,35) -> 6*
    k0(32,15,35) -> 6*
    k0(40,10,9) -> 6*
    k0(35,32,17) -> 6*
    k0(15,6,9) -> 6*
    k0(40,6,39) -> 6*
    k0(35,17,33) -> 6*
    k0(30,39,41) -> 6*
    k0(40,41,31) -> 6*
    k0(39,32,16) -> 6*
    k0(9,15,32) -> 6*
    k0(33,10,17) -> 6*
    k0(38,34,15) -> 6*
    k0(33,41,39) -> 6*
    k0(17,10,6) -> 6*
    k0(38,38,40) -> 6*
    k0(17,38,9) -> 6*
    k0(6,38,18) -> 6*
    k0(41,40,38) -> 6*
    k0(15,16,9) -> 6*
    k0(10,38,17) -> 6*
    k0(35,18,39) -> 6*
    k0(9,40,16) -> 6*
    k0(39,18,38) -> 6*
    k0(33,31,31) -> 6*
    k0(18,40,35) -> 6*
    k0(32,33,30) -> 6*
    k0(15,35,18) -> 6*
    k0(40,39,18) -> 6*
    k0(38,17,18) -> 6*
    k0(17,39,15) -> 6*
    k0(31,32,10) -> 6*
    k0(41,30,30) -> 6*
    k0(16,15,16) -> 6*
    k0(30,30,39) -> 6*
    k0(35,32,9) -> 6*
    k0(15,17,15) -> 6*
    k0(34,30,38) -> 6*
    k0(18,41,41) -> 6*
    k0(30,16,6) -> 6*
    k0(10,32,34) -> 6*
    k0(34,38,33) -> 6*
    k0(9,34,33) -> 6*
    k0(33,40,32) -> 6*
    k0(32,31,17) -> 6*
    k0(16,31,6) -> 6*
    k0(32,16,33) -> 6*
    k0(41,35,6) -> 6*
    k0(31,18,32) -> 6*
    k0(30,9,17) -> 6*
    k0(35,33,15) -> 6*
    k0(35,18,31) -> 6*
    k0(30,40,39) -> 6*
    k0(34,9,16) -> 6*
    k0(9,16,30) -> 6*
    k0(18,31,33) -> 6*
    k0(17,33,32) -> 6*
    k0(35,41,10) -> 6*
    k0(16,9,33) -> 6*
    k0(10,33,40) -> 6*
    k0(40,15,32) -> 6*
    k0(39,6,17) -> 6*
    k0(9,35,39) -> 6*
    k0(39,41,9) -> 6*
    k0(9,9,41) -> 6*
    k0(33,15,40) -> 6*
    k0(38,39,38) -> 6*
    k0(32,41,17) -> 6*
    k0(32,17,39) -> 6*
    k0(6,39,16) -> 6*
    k0(16,41,6) -> 6*
    k0(30,30,31) -> 6*
    k0(15,39,35) -> 6*
    k0(18,32,39) -> 6*
    k0(18,6,41) -> 6*
    k0(16,10,39) -> 6*
    k0(41,38,17) -> 6*
    k0(35,16,18) -> 6*
    k0(40,40,16) -> 6*
    k0(34,18,17) -> 6*
    k0(18,18,6) -> 6*
    k0(38,18,16) -> 6*
    k0(17,16,35) -> 6*
    k0(32,31,9) -> 6*
    k0(15,40,41) -> 6*
    k0(33,33,35) -> 6*
    k0(32,35,34) -> 6*
    k0(6,33,33) -> 6*
    k0(30,39,32) -> 6*
    k0(35,6,10) -> 6*
    k0(34,39,31) -> 6*
    k0(9,35,31) -> 6*
    k0(38,34,6) -> 6*
    k0(33,41,30) -> 6*
    k0(33,30,16) -> 6*
    k0(32,32,15) -> 6*
    k0(32,17,31) -> 6*
    k0(41,32,34) -> 6*
    k0(6,15,30) -> 6*
    k0(15,30,33) -> 6*
    k0(35,10,35) -> 6*
    k0(40,34,33) -> 6*
    k0(10,6,35) -> 6*
    k0(30,10,15) -> 6*
    k0(39,10,34) -> 6*
    k0(32,40,10) -> 6*
    k0(33,34,41) -> 6*
    k0(18,32,31) -> 6*
    k0(17,34,30) -> 6*
    k0(6,34,39) -> 6*
    k0(30,18,10) -> 6*
    k0(40,16,30) -> 6*
    k0(35,38,38) -> 6*
    k0(10,34,38) -> 6*
    k0(34,18,9) -> 6*
    k0(33,16,38) -> 6*
    k0(16,33,10) -> 6*
    k0(41,33,40) -> 6*
    k0(40,35,39) -> 6*
    k0(15,31,39) -> 6*
    k0(40,9,41) -> 6*
    k0(9,33,18) -> 6*
    k0(39,15,10) -> 6*
    k0(9,18,34) -> 6*
    k0(32,15,18) -> 6*
    k0(17,9,38) -> 6*
    k0(31,17,17) -> 6*
    k0(15,17,6) -> 6*
    k0(35,17,16) -> 6*
    k0(9,15,15) -> 6*
    k0(18,41,32) -> 6*
    k0(18,30,18) -> 6*
    k0(18,15,34) -> 6*
    k0(17,32,17) -> 6*
    k0(33,6,30) -> 6*
    k0(17,17,33) -> 6*
    k0(15,10,17) -> 6*
    k0(30,32,35) -> 6*
    k0(10,17,41) -> 6*
    k0(15,41,39) -> 6*
    k0(31,38,31) -> 6*
    k0(6,34,31) -> 6*
    k0(35,33,6) -> 6*
    k0(30,40,30) -> 6*
    k0(38,31,34) -> 6*
    k0(18,16,40) -> 6*
    k0(32,9,35) -> 6*
    k0(17,18,39) -> 6*
    k0(30,33,41) -> 6*
    k0(40,35,31) -> 6*
    k0(15,31,31) -> 6*
    k0(9,9,32) -> 6*
    k0(33,39,9) -> 6*
    k0(31,17,9) -> 6*
    k0(41,6,35) -> 6*
    k0(10,39,6) -> 6*
    k0(30,15,38) -> 6*
    k0(39,30,41) -> 6*
    k0(34,41,35) -> 6*
    k0(18,6,32) -> 6*
    k0(38,32,40) -> 6*
    k0(17,32,9) -> 6*
    k0(6,32,18) -> 6*
    k0(6,17,34) -> 6*
    k0(41,34,38) -> 6*
    k0(16,30,38) -> 6*
    k0(34,38,16) -> 6*
    k0(9,34,16) -> 6*
    k0(33,40,15) -> 6*
    k0(18,34,35) -> 6*
    k0(32,16,16) -> 6*
    k0(31,18,15) -> 6*
    k0(16,38,33) -> 6*
    k0(15,40,32) -> 6*
    k0(40,33,18) -> 6*
    k0(39,35,17) -> 6*
    k0(40,18,34) -> 6*
    k0(9,38,41) -> 6*
    k0(18,31,16) -> 6*
    k0(17,33,15) -> 6*
    k0(17,18,31) -> 6*
    k0(6,18,40) -> 6*
    k0(16,9,16) -> 6*
    k0(40,15,15) -> 6*
    k0(17,41,10) -> 6*
    k0(18,35,41) -> 6*
    k0(32,32,6) -> 6*
    k0(30,10,6) -> 6*
    k0(41,17,41) -> 6*
    k0(10,41,18) -> 6*
    k0(35,30,34) -> 6*
    k0(15,15,40) -> 6*
    k0(34,32,33) -> 6*
    k0(33,34,32) -> 6*
    k0(18,17,38) -> 6*
    k0(32,10,33) -> 6*
    k0(30,38,9) -> 6*
    k0(9,10,30) -> 6*
    k0(17,16,18) -> 6*
    k0(16,18,17) -> 6*
    k0(35,35,10) -> 6*
    k0(10,31,10) -> 6*
    k0(31,40,35) -> 6*
    k0(40,9,32) -> 6*
    k0(35,31,40) -> 6*
    k0(34,33,39) -> 6*
    k0(39,35,9) -> 6*
    k0(33,9,40) -> 6*
    k0(38,33,38) -> 6*
    k0(6,33,16) -> 6*
    k0(41,39,6) -> 6*
    k0(30,39,15) -> 6*
    k0(15,33,35) -> 6*
    k0(9,15,6) -> 6*
    k0(39,39,34) -> 6*
    k0(33,17,35) -> 6*
    k0(38,41,33) -> 6*
    k0(17,6,10) -> 6*
    k0(31,41,41) -> 6*
    k0(16,39,31) -> 6*
    k0(15,30,16) -> 6*
    k0(35,10,18) -> 6*
    k0(40,34,16) -> 6*
    k0(10,17,32) -> 6*
    k0(15,41,30) -> 6*
    k0(10,6,18) -> 6*
    k0(9,39,39) -> 6*
    k0(17,10,35) -> 6*
    k0(40,38,41) -> 6*
    k0(15,34,41) -> 6*
    k0(39,40,40) -> 6*
    k0(18,40,9) -> 6*
    k0(38,16,41) -> 6*
    k0(17,38,38) -> 6*
    k0(16,18,9) -> 6*
    k0(31,31,33) -> 6*
    k0(30,33,32) -> 6*
    k0(15,16,38) -> 6*
    k0(34,33,31) -> 6*
    k0(33,35,30) -> 6*
    k0(41,41,18) -> 6*
    k0(6,9,30) -> 6*
    k0(39,30,32) -> 6*
    k0(18,41,15) -> 6*
    k0(32,34,10) -> 6*
    k0(38,6,33) -> 6*
    k0(17,17,16) -> 6*
    k0(32,30,40) -> 6*
    k0(31,32,39) -> 6*
    k0(31,6,41) -> 6*
    k0(40,10,30) -> 6*
    k0(35,32,38) -> 6*
    k0(15,6,30) -> 6*
    k0(38,38,6) -> 6*
    k0(33,10,38) -> 6*
    k0(41,31,10) -> 6*
    k0(31,18,6) -> 6*
    k0(30,16,35) -> 6*
    k0(35,40,33) -> 6*
    k0(9,38,32) -> 6*
    k0(39,9,10) -> 6*
    k0(34,31,18) -> 6*
    k0(33,33,17) -> 6*
    k0(34,16,34) -> 6*
    k0(17,33,6) -> 6*
    k0(33,18,33) -> 6*
    k0(32,9,18) -> 6*
    k0(6,38,39) -> 6*
    k0(40,15,6) -> 6*
    k0(10,18,30) -> 6*
    k0(9,9,15) -> 6*
    k0(18,35,32) -> 6*
    k0(18,9,34) -> 6*
    k0(41,17,32) -> 6*
    k0(41,6,18) -> 6*
    k0(15,39,9) -> 6*
    k0(9,17,10) -> 6*
    k0(35,15,41) -> 6*
    k0(40,39,39) -> 6*
    k0(34,17,40) -> 6*
    k0(39,41,38) -> 6*
    k0(18,6,15) -> 6*
    k0(31,32,31) -> 6*
    k0(16,41,35) -> 6*
    k0(30,34,30) -> 6*
    k0(38,40,18) -> 6*
    k0(18,10,40) -> 6*
    k0(16,38,16) -> 6*
    k0(10,16,17) -> 6*
    k0(15,40,15) -> 6*
    k0(39,31,30) -> 6*
    k0(33,9,31) -> 6*
    k0(18,18,35) -> 6*
    k0(33,33,9) -> 6*
    k0(32,31,38) -> 6*
    k0(30,9,38) -> 6*
    k0(9,31,35) -> 6*
    k0(38,30,10) -> 6*
    k0(34,35,35) -> 6*
    k0(32,39,33) -> 6*
    k0(31,30,18) -> 6*
    k0(31,41,32) -> 6*
    k0(35,10,9) -> 6*
    k0(30,32,17) -> 6*
    k0(10,6,9) -> 6*
    k0(31,15,34) -> 6*
    k0(35,6,39) -> 6*
    k0(30,17,33) -> 6*
    k0(35,41,31) -> 6*
    k0(34,32,16) -> 6*
    k0(9,39,30) -> 6*
    k0(33,34,15) -> 6*
    k0(39,6,38) -> 6*
    k0(32,10,16) -> 6*
    k0(17,30,34) -> 6*
    k0(16,32,33) -> 6*
    k0(15,34,32) -> 6*
    k0(40,38,32) -> 6*
    k0(9,32,41) -> 6*
    k0(38,16,32) -> 6*
    k0(33,38,40) -> 6*
    k0(6,16,10) -> 6*
    k0(31,16,40) -> 6*
    k0(41,18,30) -> 6*
    k0(10,16,9) -> 6*
    k0(30,18,39) -> 6*
    k0(40,9,15) -> 6*
    k0(34,18,38) -> 6*
    k0(17,35,10) -> 6*
    k0(17,31,40) -> 6*
    k0(16,33,39) -> 6*
    k0(10,35,18) -> 6*
    k0(40,17,10) -> 6*
    k0(35,39,18) -> 6*
    k0(15,9,40) -> 6*
    k0(39,39,17) -> 6*
    k0(39,15,39) -> 6*
    k0(33,17,18) -> 6*
    k0(38,41,16) -> 6*
    k0(31,6,32) -> 6*
    k0(15,17,35) -> 6*
    k0(30,32,9) -> 6*
    k0(10,17,15) -> 6*
    k0(18,34,17) -> 6*
    k0(17,10,18) -> 6*
    k0(41,16,17) -> 6*
    k0(6,30,35) -> 6*
    k0(31,34,35) -> 6*
    k0(32,9,9) -> 6*
    k0(32,40,31) -> 6*
    k0(31,31,16) -> 6*
    k0(6,38,30) -> 6*
    k0(30,33,15) -> 6*
    k0(30,18,31) -> 6*
    k0(9,9,6) -> 6*
    k0(40,31,35) -> 6*
    k0(39,33,34) -> 6*
    k0(38,35,33) -> 6*
    k0(41,6,9) -> 6*
    k0(31,35,41) -> 6*
    k0(6,31,41) -> 6*
    k0(16,33,31) -> 6*
    k0(30,41,10) -> 6*
    k0(35,15,32) -> 6*
    k0(40,39,30) -> 6*
    k0(15,35,30) -> 6*
    k0(34,6,17) -> 6*
    k0(39,30,15) -> 6*
    k0(34,41,9) -> 6*
    k0(39,15,31) -> 6*
    k0(18,6,6) -> 6*
    k0(38,17,30) -> 6*
    k0(33,39,38) -> 6*
    k0(38,6,16) -> 6*
    k0(31,17,38) -> 6*
    k0(40,32,41) -> 6*
    k0(10,39,35) -> 6*
    k0(39,38,10) -> 6*
    k0(9,41,34) -> 6*
    k0(39,34,40) -> 6*
    k0(18,10,31) -> 6*
    k0(18,34,9) -> 6*
    k0(38,10,41) -> 6*
    k0(32,38,18) -> 6*
    k0(17,32,38) -> 6*
    k0(41,16,9) -> 6*
    k0(30,16,18) -> 6*
    k0(35,40,16) -> 6*
    k0(9,38,15) -> 6*
    k0(15,10,38) -> 6*
    k0(33,18,16) -> 6*
    k0(18,38,34) -> 6*
    k0(17,40,33) -> 6*
    k0(16,31,18) -> 6*
    k0(41,35,18) -> 6*
    k0(15,33,17) -> 6*
    k0(16,16,34) -> 6*
    k0(15,18,33) -> 6*
    k0(10,40,41) -> 6*
    k0(18,35,15) -> 6*
    k0(38,15,17) -> 6*
    k0(41,17,15) -> 6*
    k0(30,6,10) -> 6*
    k0(33,34,6) -> 6*
    k0(18,39,40) -> 6*
    k0(17,15,41) -> 6*
    k0(16,17,40) -> 6*
    k0(30,10,35) -> 6*
    k0(35,34,33) -> 6*
    k0(10,30,33) -> 6*
    k0(9,32,32) -> 6*
    k0(9,6,34) -> 6*
    k0(34,10,34) -> 6*
    k0(31,40,9) -> 6*
    k0(40,9,6) -> 6*
    k0(35,16,30) -> 6*
    k0(30,38,38) -> 6*
    k0(18,18,18) -> 6*
    k0(6,40,34) -> 6*
    k0(35,35,39) -> 6*
    k0(15,9,31) -> 6*
    k0(10,31,39) -> 6*
    k0(15,33,9) -> 6*
    k0(35,9,41) -> 6*
    k0(34,15,10) -> 6*
    k0(39,35,38) -> 6*
    k0(38,15,9) -> 6*
    k0(32,39,16) -> 6*
    k0(31,41,15) -> 6*
    k0(10,17,6) -> 6*
    k0(41,39,35) -> 6*
    k0(16,35,35) -> 6*
    k0(30,17,16) -> 6*
    k0(40,41,34) -> 6*
    k0(9,15,35) -> 6*
    k0(38,34,18) -> 6*
    k0(17,10,9) -> 6*
    k0(17,6,39) -> 6*
    k0(17,41,31) -> 6*
    k0(6,41,40) -> 6*
    k0(16,32,16) -> 6*
    k0(10,10,17) -> 6*
    k0(15,34,15) -> 6*
    k0(40,38,15) -> 6*
    k0(10,41,39) -> 6*
    k0(38,16,15) -> 6*
    k0(41,40,41) -> 6*
    k0(30,33,6) -> 6*
    k0(15,38,40) -> 6*
    k0(39,18,41) -> 6*
    k0(33,31,34) -> 6*
    k0(18,40,38) -> 6*
    k0(32,33,33) -> 6*
    k0(6,31,32) -> 6*
    k0(31,35,32) -> 6*
    k0(16,18,38) -> 6*
    k0(31,9,34) -> 6*
    k0(35,35,31) -> 6*
    k0(10,31,31) -> 6*
    k0(39,30,6) -> 6*
    k0(9,33,30) -> 6*
    k0(17,39,18) -> 6*
    k0(32,15,30) -> 6*
    k0(41,30,33) -> 6*
    k0(31,6,15) -> 6*
    k0(15,17,18) -> 6*
    k0(40,32,32) -> 6*
    k0(40,6,34) -> 6*
    k0(34,30,41) -> 6*
    k0(18,30,30) -> 6*
    k0(38,10,32) -> 6*
    k0(33,32,40) -> 6*
    k0(32,34,39) -> 6*
    k0(6,10,10) -> 6*
    k0(31,10,40) -> 6*
    k0(6,6,40) -> 6*
    k0(39,40,6) -> 6*
    k0(38,38,35) -> 6*
    k0(41,31,39) -> 6*
    k0(31,18,35) -> 6*
    k0(35,33,18) -> 6*
    k0(10,40,32) -> 6*
    k0(34,35,17) -> 6*
    k0(9,31,17) -> 6*
    k0(35,18,34) -> 6*
    k0(9,16,33) -> 6*
    k0(39,9,39) -> 6*
    k0(18,35,6) -> 6*
    k0(38,35,16) -> 6*
    k0(41,17,6) -> 6*
    k0(40,15,35) -> 6*
    k0(35,15,15) -> 6*
    k0(38,39,41) -> 6*
    k0(17,15,32) -> 6*
    k0(16,6,17) -> 6*
    k0(16,41,9) -> 6*
    k0(41,10,17) -> 6*
    k0(41,41,39) -> 6*
    k0(30,30,34) -> 6*
    k0(10,15,40) -> 6*
    k0(15,39,38) -> 6*
    k0(9,41,17) -> 6*
    k0(9,17,39) -> 6*
    k0(32,34,31) -> 6*
    k0(6,32,30) -> 6*
    k0(18,38,17) -> 6*
    k0(17,40,16) -> 6*
    k0(30,35,10) -> 6*
    k0(41,31,31) -> 6*
    k0(15,18,16) -> 6*
    k0(35,9,32) -> 6*
    k0(30,31,40) -> 6*
    k0(40,33,30) -> 6*
    k0(34,35,9) -> 6*
    k0(9,31,9) -> 6*
    k0(33,33,38) -> 6*
    k0(39,32,10) -> 6*
    k0(10,33,35) -> 6*
    k0(9,35,34) -> 6*
    k0(34,39,34) -> 6*
    k0(38,30,39) -> 6*
    k0(33,41,33) -> 6*
    k0(32,32,18) -> 6*
    k0(31,34,17) -> 6*
    k0(6,30,17) -> 6*
    k0(32,17,34) -> 6*
    k0(6,15,33) -> 6*
    k0(15,34,6) -> 6*
    k0(30,10,18) -> 6*
    k0(35,34,16) -> 6*
    k0(10,41,30) -> 6*
    k0(10,30,16) -> 6*
    k0(9,32,15) -> 6*
    k0(9,17,31) -> 6*
    k0(38,16,6) -> 6*
    k0(18,32,34) -> 6*
    k0(17,34,33) -> 6*
    k0(41,40,32) -> 6*
    k0(16,10,34) -> 6*
    k0(40,31,17) -> 6*
    k0(40,16,33) -> 6*
    k0(9,40,10) -> 6*
    k0(35,38,41) -> 6*
    k0(10,34,41) -> 6*
    k0(39,18,32) -> 6*
    k0(34,40,40) -> 6*
    k0(38,9,17) -> 6*
    k0(33,16,41) -> 6*
    k0(38,40,39) -> 6*
    k0(32,18,40) -> 6*
    k0(17,16,30) -> 6*
    k0(6,40,17) -> 6*
    k0(6,16,39) -> 6*
    k0(10,16,38) -> 6*
    k0(18,33,40) -> 6*
    k0(17,35,39) -> 6*
    k0(17,9,41) -> 6*
    k0(31,6,6) -> 6*
    k0(16,15,10) -> 6*
    k0(41,15,40) -> 6*
    k0(40,17,39) -> 6*
    k0(40,41,17) -> 6*
    k0(34,30,32) -> 6*
    k0(9,15,18) -> 6*
    k0(33,6,33) -> 6*
    k0(38,30,31) -> 6*
    k0(31,10,31) -> 6*
    k0(6,6,31) -> 6*
    k0(31,34,9) -> 6*
    k0(6,30,9) -> 6*
    k0(35,10,30) -> 6*
    k0(30,32,38) -> 6*
    k0(10,6,30) -> 6*
    k0(33,38,6) -> 6*
    k0(31,38,34) -> 6*
    k0(6,34,34) -> 6*
    k0(30,40,33) -> 6*
    k0(40,31,9) -> 6*
    k0(34,9,10) -> 6*
    k0(32,33,16) -> 6*
    k0(31,35,15) -> 6*
    k0(6,31,15) -> 6*
    k0(6,16,31) -> 6*
    k0(35,15,6) -> 6*
    k0(41,33,35) -> 6*
    k0(40,35,34) -> 6*
    k0(15,31,34) -> 6*
    k0(9,9,35) -> 6*
    k0(38,39,32) -> 6*
    k0(6,39,10) -> 6*
    k0(17,35,31) -> 6*
    k0(31,39,40) -> 6*
    k0(41,41,30) -> 6*
    k0(41,30,16) -> 6*
    k0(6,35,40) -> 6*
    k0(40,32,15) -> 6*
    k0(10,39,9) -> 6*
    k0(30,15,41) -> 6*
    k0(40,17,31) -> 6*
    k0(35,39,39) -> 6*
    k0(34,41,38) -> 6*
    k0(18,6,35) -> 6*
    k0(38,10,15) -> 6*
    k0(41,34,41) -> 6*
    k0(16,30,41) -> 6*
    k0(40,40,10) -> 6*
    k0(15,32,40) -> 6*
    k0(38,18,10) -> 6*
    k0(33,40,18) -> 6*
    k0(18,34,38) -> 6*
    k0(31,18,18) -> 6*
    k0(10,40,15) -> 6*
    k0(41,16,38) -> 6*
    k0(9,16,16) -> 6*
    k0(34,31,30) -> 6*
    k0(17,33,18) -> 6*
    k0(16,35,17) -> 6*
    k0(32,9,30) -> 6*
    k0(17,18,34) -> 6*
    k0(40,15,18) -> 6*
    k0(39,17,17) -> 6*
    k0(33,30,10) -> 6*
    k0(17,15,15) -> 6*
    k0(30,10,9) -> 6*
    k0(41,6,30) -> 6*
    k0(30,41,31) -> 6*
    k0(30,6,39) -> 6*
    k0(9,32,6) -> 6*
    k0(34,6,38) -> 6*
    k0(38,32,35) -> 6*
    k0(18,17,41) -> 6*
    k0(10,34,32) -> 6*
    k0(35,38,32) -> 6*
    k0(39,38,31) -> 6*
    k0(9,10,33) -> 6*
    k0(33,16,32) -> 6*
    k0(38,40,30) -> 6*
    k0(32,38,39) -> 6*
    k0(31,40,38) -> 6*
    k0(40,9,35) -> 6*
    k0(35,9,15) -> 6*
    k0(38,33,41) -> 6*
    k0(17,9,32) -> 6*
    k0(41,39,9) -> 6*
    k0(16,35,9) -> 6*
    k0(35,17,10) -> 6*
    k0(30,39,18) -> 6*
    k0(10,9,40) -> 6*
    k0(15,33,38) -> 6*
    k0(34,39,17) -> 6*
    k0(34,15,39) -> 6*
    k0(39,17,9) -> 6*
    k0(33,41,16) -> 6*
    k0(18,39,6) -> 6*
    k0(38,15,38) -> 6*
    k0(16,39,34) -> 6*
    k0(6,15,16) -> 6*
    k0(31,30,30) -> 6*
    k0(10,17,35) -> 6*
    k0(15,41,33) -> 6*
    k0(17,34,16) -> 6*
    k0(41,40,15) -> 6*
    k0(40,16,16) -> 6*
    k0(39,18,15) -> 6*
    k0(6,31,6) -> 6*
    k0(17,38,41) -> 6*
    k0(31,35,6) -> 6*
    k0(16,40,40) -> 6*
    k0(35,31,35) -> 6*
    k0(15,16,41) -> 6*
    k0(34,33,34) -> 6*
    k0(33,35,33) -> 6*
    k0(6,9,33) -> 6*
    k0(40,32,6) -> 6*
    k0(30,15,32) -> 6*
    k0(35,39,30) -> 6*
    k0(10,35,30) -> 6*
    k0(34,30,15) -> 6*
    k0(38,10,6) -> 6*
    k0(18,41,18) -> 6*
    k0(34,15,31) -> 6*
    k0(33,17,30) -> 6*
    k0(33,6,16) -> 6*
    k0(16,30,32) -> 6*
    k0(6,41,6) -> 6*
    k0(41,34,32) -> 6*
    k0(40,10,33) -> 6*
    k0(9,34,10) -> 6*
    k0(35,32,41) -> 6*
    k0(15,6,33) -> 6*
    k0(34,38,10) -> 6*
    k0(34,34,40) -> 6*
    k0(9,30,40) -> 6*
    k0(38,38,9) -> 6*
    k0(32,16,10) -> 6*
    k0(33,10,41) -> 6*
    k0(17,10,30) -> 6*
    k0(31,38,17) -> 6*
    k0(6,10,39) -> 6*
    k0(30,40,16) -> 6*
    k0(15,38,6) -> 6*
    k0(10,10,38) -> 6*
    k0(18,31,10) -> 6*
    k0(39,40,35) -> 6*
    k0(16,9,10) -> 6*
    k0(41,9,40) -> 6*
    k0(10,33,17) -> 6*
    k0(10,18,33) -> 6*
    k0(9,9,18) -> 6*
    k0(33,15,17) -> 6*
    k0(38,39,15) -> 6*
    k0(17,15,6) -> 6*
    k0(41,17,35) -> 6*
    k0(39,41,41) -> 6*
    k0(18,17,32) -> 6*
    k0(18,6,18) -> 6*
    k0(17,39,39) -> 6*
    k0(32,30,35) -> 6*
    k0(31,32,34) -> 6*
    k0(16,41,38) -> 6*
    k0(30,34,33) -> 6*
    k0(32,38,30) -> 6*
    k0(35,9,6) -> 6*
    k0(15,40,18) -> 6*
    k0(30,16,30) -> 6*
    k0(39,31,33) -> 6*
    k0(38,33,32) -> 6*
    k0(6,33,10) -> 6*
    k0(32,31,41) -> 6*
    k0(31,33,40) -> 6*
    k0(41,35,30) -> 6*
    k0(16,31,30) -> 6*
    k0(10,9,31) -> 6*
    k0(10,33,9) -> 6*
    k0(30,35,39) -> 6*
    k0(30,9,41) -> 6*
    k0(34,35,38) -> 6*
    k0(9,31,38) -> 6*
    k0(33,15,9) -> 6*
    k0(15,30,10) -> 6*
    k0(40,34,10) -> 6*
    k0(40,30,40) -> 6*
    k0(35,41,34) -> 6*
    k0(9,39,33) -> 6*
    k0(39,32,39) -> 6*
    k0(33,34,18) -> 6*
    k0(39,6,41) -> 6*
    k0(41,10,38) -> 6*
    k0(10,34,15) -> 6*
    k0(16,6,38) -> 6*
    k0(35,38,15) -> 6*
    k0(39,18,6) -> 6*
    k0(9,10,16) -> 6*
    k0(38,16,35) -> 6*
    k0(33,16,15) -> 6*
    k0(17,38,32) -> 6*
    k0(41,33,17) -> 6*
    k0(41,18,33) -> 6*
    k0(40,9,18) -> 6*
    k0(15,16,32) -> 6*
    k0(10,38,40) -> 6*
    k0(34,18,41) -> 6*
    k0(18,18,30) -> 6*
    k0(17,9,15) -> 6*
    k0(30,35,31) -> 6*
    k0(34,30,6) -> 6*
    k0(17,17,10) -> 6*
    k0(16,39,17) -> 6*
    k0(31,6,35) -> 6*
    k0(16,15,39) -> 6*
    k0(10,17,18) -> 6*
    k0(15,41,16) -> 6*
    k0(35,32,32) -> 6*
    k0(35,6,34) -> 6*
    k0(39,32,31) -> 6*
    k0(33,10,32) -> 6*
    k0(38,34,30) -> 6*
    k0(31,34,38) -> 6*
    k0(6,30,38) -> 6*
    k0(34,40,6) -> 6*
    k0(18,16,17) -> 6*
    k0(33,38,35) -> 6*
    k0(32,40,34) -> 6*
    k0(41,33,9) -> 6*
    k0(6,38,33) -> 6*
    k0(41,9,31) -> 6*
    k0(30,33,18) -> 6*
    k0(9,9,9) -> 6*
    k0(40,31,38) -> 6*
    k0(30,18,34) -> 6*
    k0(9,40,31) -> 6*
    k0(34,9,39) -> 6*
    k0(33,35,16) -> 6*
    k0(38,9,38) -> 6*
    k0(17,31,35) -> 6*
    k0(16,33,34) -> 6*
    k0(6,9,16) -> 6*
    k0(35,15,35) -> 6*
    k0(40,39,33) -> 6*
    k0(30,15,15) -> 6*
    k0(15,35,33) -> 6*
    k0(39,41,32) -> 6*
    k0(39,30,18) -> 6*
    k0(38,32,17) -> 6*
    k0(18,6,9) -> 6*
    k0(39,15,34) -> 6*
    k0(38,17,33) -> 6*
    k0(33,39,41) -> 6*
    k0(32,41,40) -> 6*
    k0(17,39,30) -> 6*
    k0(16,30,15) -> 6*
    k0(41,34,15) -> 6*
    k0(16,15,31) -> 6*
    k0(31,17,41) -> 6*
    k0(40,10,16) -> 6*
    k0(15,17,30) -> 6*
    k0(10,39,38) -> 6*
    k0(15,6,16) -> 6*
    k0(17,32,41) -> 6*
    k0(16,38,10) -> 6*
    k0(41,38,40) -> 6*
    k0(16,34,40) -> 6*
    k0(15,10,41) -> 6*
    k0(9,38,18) -> 6*
    k0(39,16,40) -> 6*
    k0(18,16,9) -> 6*
    k0(38,18,39) -> 6*
    k0(32,31,32) -> 6*
    k0(6,18,17) -> 6*
    k0(10,18,16) -> 6*
    k0(30,9,32) -> 6*
    k0(35,33,30) -> 6*
    k0(18,35,18) -> 6*
    k0(41,17,18) -> 6*
    k0(31,39,6) -> 6*
    k0(15,15,17) -> 6*
    k0(34,32,10) -> 6*
    k0(39,6,32) -> 6*
    k0(33,30,39) -> 6*
    k0(38,32,9) -> 6*
    k0(18,17,15) -> 6*
    k0(32,10,10) -> 6*
    k0(32,6,40) -> 6*
    k0(6,39,31) -> 6*
    k0(10,34,6) -> 6*
    k0(30,34,16) -> 6*
    k0(33,16,6) -> 6*
    k0(39,34,35) -> 6*
    k0(40,9,9) -> 6*
    k0(35,31,17) -> 6*
    k0(30,38,41) -> 6*
    k0(40,40,31) -> 6*
    k0(35,16,33) -> 6*
    k0(34,18,32) -> 6*
    k0(39,31,16) -> 6*
    k0(33,9,17) -> 6*
    k0(38,33,15) -> 6*
    k0(17,9,6) -> 6*
    k0(38,18,31) -> 6*
    k0(33,40,39) -> 6*
    k0(6,18,9) -> 6*
    k0(39,35,41) -> 6*
    k0(38,41,10) -> 6*
    k0(31,41,18) -> 6*
    k0(41,39,38) -> 6*
    k0(16,35,38) -> 6*
    k0(15,15,9) -> 6*
    k0(35,17,39) -> 6*
    k0(35,41,17) -> 6*
    k0(9,39,16) -> 6*
    k0(39,17,38) -> 6*
    k0(33,30,31) -> 6*
    k0(18,39,35) -> 6*
    k0(32,32,30) -> 6*
    k0(17,41,34) -> 6*
    k0(40,38,18) -> 6*
    k0(15,34,18) -> 6*
    k0(30,10,30) -> 6*
    k0(38,16,18) -> 6*
    k0(17,38,15) -> 6*
    k0(31,31,10) -> 6*
    k0(41,18,16) -> 6*
    k0(35,31,9) -> 6*
    k0(15,16,15) -> 6*
    k0(18,40,41) -> 6*
    k0(30,15,6) -> 6*
    k0(16,18,41) -> 6*
    k0(10,31,34) -> 6*
    k0(35,35,34) -> 6*
    k0(9,33,33) -> 6*
    k0(33,39,32) -> 6*
    k0(38,6,10) -> 6*
    k0(32,30,17) -> 6*
    k0(32,15,33) -> 6*
    k0(41,34,6) -> 6*
    k0(16,30,6) -> 6*
    k0(31,17,32) -> 6*
    k0(31,6,18) -> 6*
    k0(35,32,15) -> 6*
    k0(35,17,31) -> 6*
    k0(30,39,39) -> 6*
    k0(9,15,30) -> 6*
    k0(38,10,35) -> 6*
    k0(33,10,15) -> 6*
    k0(18,30,33) -> 6*
    k0(17,32,32) -> 6*
    k0(17,6,34) -> 6*
    k0(6,41,35) -> 6*
    k0(35,40,10) -> 6*
    k0(15,10,32) -> 6*
    k0(10,32,40) -> 6*
    k0(9,34,39) -> 6*
    k0(39,40,9) -> 6*
    k0(33,18,10) -> 6*
    k0(38,38,38) -> 6*
    k0(32,16,39) -> 6*
    k0(32,40,17) -> 6*
    k0(6,38,16) -> 6*
    k0(16,40,6) -> 6*
    k0(15,38,35) -> 6*
    k0(18,31,39) -> 6*
    k0(16,9,39) -> 6*
    k0(35,15,18) -> 6*
    k0(40,39,16) -> 6*
    k0(15,35,16) -> 6*
    k0(34,17,17) -> 6*
    k0(39,41,15) -> 6*
    k0(18,17,6) -> 6*
    k0(38,17,16) -> 6*
    k0(32,6,31) -> 6*
    k0(17,15,35) -> 6*
    k0(32,30,9) -> 6*
    k0(15,39,41) -> 6*
    k0(18,10,17) -> 6*
    k0(33,32,35) -> 6*
    k0(18,41,39) -> 6*
    k0(32,34,34) -> 6*
    k0(6,32,33) -> 6*
    k0(30,38,32) -> 6*
    k0(34,38,31) -> 6*
    k0(9,34,31) -> 6*
    k0(38,33,6) -> 6*
    k0(33,40,30) -> 6*
    k0(32,31,15) -> 6*
    k0(32,16,31) -> 6*
    k0(41,31,34) -> 6*
    k0(31,18,30) -> 6*
    k0(35,9,35) -> 6*
    k0(40,33,33) -> 6*
    k0(30,9,15) -> 6*
    k0(39,35,32) -> 6*
    k0(39,9,34) -> 6*
    k0(33,33,41) -> 6*
    k0(18,31,31) -> 6*
    k0(32,39,10) -> 6*
    k0(32,35,40) -> 6*
    k0(17,33,30) -> 6*
    k0(6,33,39) -> 6*
    k0(30,17,10) -> 6*
    k0(40,15,30) -> 6*
    k0(10,33,38) -> 6*
    k0(39,6,15) -> 6*
    k0(34,17,9) -> 6*
    k0(33,15,38) -> 6*
    k0(16,32,10) -> 6*
    k0(41,32,40) -> 6*
    k0(15,30,39) -> 6*
    k0(10,41,33) -> 6*
    k0(40,34,39) -> 6*
    k0(9,32,18) -> 6*
    k0(39,10,40) -> 6*
    k0(9,17,34) -> 6*
    k0(31,16,17) -> 6*
    k0(15,16,6) -> 6*
    k0(35,16,16) -> 6*
    k0(34,18,15) -> 6*
    k0(39,18,35) -> 6*
    k0(18,40,32) -> 6*
    k0(17,31,17) -> 6*
    k0(17,16,33) -> 6*
    k0(16,18,32) -> 6*
    k0(15,9,17) -> 6*
    k0(30,31,35) -> 6*
    k0(10,16,41) -> 6*
    k0(15,40,39) -> 6*
    k0(9,18,40) -> 6*
    k0(31,6,9) -> 6*
    k0(6,33,31) -> 6*
    k0(35,32,6) -> 6*
    k0(30,39,30) -> 6*
    k0(33,10,6) -> 6*
    k0(38,30,34) -> 6*
    k0(18,15,40) -> 6*
    k0(17,17,39) -> 6*
    k0(17,41,17) -> 6*
    k0(35,10,33) -> 6*
    k0(30,32,41) -> 6*
    k0(40,34,31) -> 6*
    k0(10,6,33) -> 6*
    k0(15,30,31) -> 6*
    k0(33,38,9) -> 6*
    k0(31,16,9) -> 6*
    k0(10,38,6) -> 6*
    k0(34,40,35) -> 6*
    k0(38,35,10) -> 6*
    k0(38,31,40) -> 6*
    k0(17,31,9) -> 6*
    k0(31,35,18) -> 6*
    k0(6,31,18) -> 6*
    k0(41,33,38) -> 6*
    k0(6,16,34) -> 6*
    k0(9,33,16) -> 6*
    k0(33,39,15) -> 6*
    k0(18,33,35) -> 6*
    k0(32,15,16) -> 6*
    k0(17,35,34) -> 6*
    k0(41,41,33) -> 6*
    k0(31,17,15) -> 6*
    k0(40,32,18) -> 6*
    k0(15,39,32) -> 6*
    k0(40,17,34) -> 6*
    k0(39,34,17) -> 6*
    k0(34,41,41) -> 6*
    k0(38,10,18) -> 6*
    k0(18,41,30) -> 6*
    k0(18,30,16) -> 6*
    k0(17,32,15) -> 6*
    k0(17,17,31) -> 6*
    k0(6,17,40) -> 6*
    k0(15,10,15) -> 6*
    k0(18,34,41) -> 6*
    k0(32,31,6) -> 6*
    k0(17,40,10) -> 6*
    k0(30,9,6) -> 6*
    k0(15,18,10) -> 6*
    k0(41,16,41) -> 6*
    k0(10,40,18) -> 6*
    k0(40,18,40) -> 6*
    k0(34,31,33) -> 6*
    k0(33,33,32) -> 6*
    k0(18,16,38) -> 6*
    k0(32,9,33) -> 6*
    k0(39,6,6) -> 6*
    k0(9,9,30) -> 6*
    k0(17,15,18) -> 6*
    k0(32,41,6) -> 6*
    k0(16,17,17) -> 6*
    k0(41,6,33) -> 6*
    k0(10,30,10) -> 6*
    k0(31,39,35) -> 6*
    k0(6,35,35) -> 6*
    k0(35,34,10) -> 6*
    k0(35,30,40) -> 6*
    k0(30,41,34) -> 6*
    k0(39,34,9) -> 6*
    k0(39,10,31) -> 6*
    k0(34,32,39) -> 6*
    k0(34,6,41) -> 6*
    k0(38,32,38) -> 6*
    k0(18,6,30) -> 6*
    k0(32,10,39) -> 6*
    k0(41,38,6) -> 6*
    k0(6,32,16) -> 6*
    k0(30,38,15) -> 6*
    k0(34,18,6) -> 6*
    k0(15,32,35) -> 6*
    k0(39,38,34) -> 6*
    k0(33,16,35) -> 6*
    k0(38,40,33) -> 6*
    k0(16,38,31) -> 6*
    k0(31,40,41) -> 6*
    k0(35,9,18) -> 6*
    k0(40,33,16) -> 6*
    k0(10,16,32) -> 6*
    k0(15,40,30) -> 6*
    k0(39,35,15) -> 6*
    k0(9,38,39) -> 6*
    k0(17,9,35) -> 6*
    k0(6,18,38) -> 6*
    k0(15,33,41) -> 6*
    k0(39,39,40) -> 6*
    k0(18,39,9) -> 6*
    k0(38,15,41) -> 6*
    k0(31,30,33) -> 6*
    k0(16,17,9) -> 6*
    k0(10,41,16) -> 6*
    k0(30,32,32) -> 6*
    k0(15,15,38) -> 6*
    k0(30,6,34) -> 6*
    k0(34,32,31) -> 6*
    k0(33,34,30) -> 6*
    k0(41,40,18) -> 6*
    k0(39,18,18) -> 6*
    k0(18,40,15) -> 6*
    k0(32,33,10) -> 6*
    k0(17,16,16) -> 6*
    k0(16,18,15) -> 6*
    k0(31,31,39) -> 6*
    k0(40,9,30) -> 6*
    k0(35,31,38) -> 6*
    k0(33,9,38) -> 6*
    k0(31,17,6) -> 6*
    k0(41,30,10) -> 6*
    k0(30,15,35) -> 6*
    k0(35,39,33) -> 6*
    k0(10,35,33) -> 6*
    k0(34,41,32) -> 6*
    k0(34,30,18) -> 6*
    k0(33,32,17) -> 6*
    k0(34,15,34) -> 6*
    k0(38,10,9) -> 6*
    k0(38,6,39) -> 6*
    k0(17,32,6) -> 6*
    k0(33,17,33) -> 6*
    k0(38,41,31) -> 6*
    k0(6,6,17) -> 6*
    k0(6,41,9) -> 6*
    k0(31,10,17) -> 6*
    k0(15,10,6) -> 6*
    k0(31,41,39) -> 6*
    k0(35,10,16) -> 6*
    k0(10,17,30) -> 6*
    k0(10,6,16) -> 6*
    k0(18,34,32) -> 6*
    k0(17,10,33) -> 6*
    k0(41,16,32) -> 6*
    k0(15,38,9) -> 6*
    k0(9,16,10) -> 6*
    k0(40,38,39) -> 6*
    k0(10,10,41) -> 6*
    k0(39,40,38) -> 6*
    k0(34,16,40) -> 6*
    k0(33,18,39) -> 6*
    k0(31,31,31) -> 6*
    k0(16,40,35) -> 6*
    k0(30,33,30) -> 6*
    k0(38,39,18) -> 6*
    k0(18,9,40) -> 6*
    k0(41,41,16) -> 6*
    k0(10,15,17) -> 6*
    k0(15,39,15) -> 6*
    k0(34,6,32) -> 6*
    k0(39,30,30) -> 6*
    k0(18,17,35) -> 6*
    k0(33,32,9) -> 6*
    k0(32,30,38) -> 6*
    k0(16,41,41) -> 6*
    k0(34,34,35) -> 6*
    k0(9,30,35) -> 6*
    k0(32,38,33) -> 6*
    k0(31,40,32) -> 6*
    k0(35,9,9) -> 6*
    k0(30,31,17) -> 6*
    k0(6,10,34) -> 6*
    k0(39,35,6) -> 6*
    k0(30,16,33) -> 6*
    k0(35,40,31) -> 6*
    k0(34,31,16) -> 6*
    k0(9,38,30) -> 6*
    k0(33,33,15) -> 6*
    k0(33,18,31) -> 6*
    k0(32,9,16) -> 6*
    k0(41,35,33) -> 6*
    k0(16,31,33) -> 6*
    k0(15,33,32) -> 6*
    k0(9,31,41) -> 6*
    k0(33,41,10) -> 6*
    k0(34,35,41) -> 6*
    k0(38,15,32) -> 6*
    k0(18,35,30) -> 6*
    k0(6,15,10) -> 6*
    k0(31,15,40) -> 6*
    k0(41,17,30) -> 6*
    k0(41,6,16) -> 6*
    k0(10,15,9) -> 6*
    k0(30,17,39) -> 6*
    k0(30,41,17) -> 6*
    k0(34,17,38) -> 6*
    k0(17,34,10) -> 6*
    k0(17,30,40) -> 6*
    k0(16,32,39) -> 6*
    k0(16,6,41) -> 6*
    k0(40,16,10) -> 6*
    k0(35,38,18) -> 6*
    k0(41,10,41) -> 6*
    k0(10,34,18) -> 6*
    k0(39,38,17) -> 6*
    k0(33,16,18) -> 6*
    k0(38,40,16) -> 6*
    k0(18,10,38) -> 6*
    k0(32,18,17) -> 6*
    k0(16,18,6) -> 6*
    k0(15,16,35) -> 6*
    k0(30,31,9) -> 6*
    k0(10,16,15) -> 6*
    k0(18,33,17) -> 6*
    k0(18,18,33) -> 6*
    k0(17,9,18) -> 6*
    k0(41,15,17) -> 6*
    k0(31,33,35) -> 6*
    k0(30,35,34) -> 6*
    k0(33,6,10) -> 6*
    k0(32,39,31) -> 6*
    k0(31,41,30) -> 6*
    k0(31,30,16) -> 6*
    k0(30,32,15) -> 6*
    k0(40,30,35) -> 6*
    k0(30,17,31) -> 6*
    k0(39,32,34) -> 6*
    k0(33,10,35) -> 6*
    k0(38,34,33) -> 6*
    k0(6,30,41) -> 6*
    k0(16,32,31) -> 6*
    k0(30,40,10) -> 6*
    k0(31,34,41) -> 6*
    k0(40,38,30) -> 6*
    k0(10,10,32) -> 6*
    k0(15,34,30) -> 6*
    k0(34,40,9) -> 6*
    k0(38,16,30) -> 6*
    k0(33,38,38) -> 6*
    k0(32,18,9) -> 6*
    k0(31,16,38) -> 6*
    k0(40,31,41) -> 6*
    k0(10,38,35) -> 6*
    k0(39,33,40) -> 6*
    k0(9,40,34) -> 6*
    k0(18,33,9) -> 6*
    k0(38,35,39) -> 6*
    k0(18,9,31) -> 6*
    k0(38,9,41) -> 6*
    k0(6,35,17) -> 6*
    k0(17,31,38) -> 6*
    k0(41,15,9) -> 6*
    k0(30,15,18) -> 6*
    k0(35,39,16) -> 6*
    k0(10,35,16) -> 6*
    k0(15,9,38) -> 6*
    k0(34,41,15) -> 6*
    k0(33,17,16) -> 6*
    k0(17,39,33) -> 6*
    k0(41,34,18) -> 6*
    k0(16,41,32) -> 6*
    k0(16,30,18) -> 6*
    k0(15,32,17) -> 6*
    k0(31,6,30) -> 6*
    k0(16,15,34) -> 6*
    k0(15,17,33) -> 6*
    k0(10,39,41) -> 6*
    k0(9,41,40) -> 6*
    k0(18,34,15) -> 6*
    k0(17,10,16) -> 6*
    k0(41,16,15) -> 6*
    k0(33,33,6) -> 6*
    k0(18,38,40) -> 6*
    k0(16,16,40) -> 6*
    k0(30,9,35) -> 6*
    k0(35,33,33) -> 6*
    k0(15,18,39) -> 6*
    k0(34,35,32) -> 6*
    k0(9,31,32) -> 6*
    k0(34,9,34) -> 6*
    k0(38,35,31) -> 6*
    k0(31,39,9) -> 6*
    k0(6,35,9) -> 6*
    k0(35,15,30) -> 6*
    k0(39,6,35) -> 6*
    k0(34,6,15) -> 6*
    k0(18,17,18) -> 6*
    k0(32,41,35) -> 6*
    k0(41,10,32) -> 6*
    k0(16,6,32) -> 6*
    k0(6,39,34) -> 6*
    k0(10,30,39) -> 6*
    k0(15,32,9) -> 6*
    k0(35,34,39) -> 6*
    k0(9,10,10) -> 6*
    k0(34,10,40) -> 6*
    k0(39,34,38) -> 6*
    k0(9,6,40) -> 6*
    k0(32,38,16) -> 6*
    k0(31,40,15) -> 6*
    k0(10,16,6) -> 6*
    k0(41,38,35) -> 6*
    k0(16,34,35) -> 6*
    k0(40,40,34) -> 6*
    k0(30,16,16) -> 6*
    k0(34,18,35) -> 6*
    k0(38,33,18) -> 6*
    k0(17,9,9) -> 6*
    k0(38,18,34) -> 6*
    k0(17,40,31) -> 6*
    k0(41,35,16) -> 6*
    k0(6,40,40) -> 6*
    k0(16,31,16) -> 6*
    k0(10,9,17) -> 6*
    k0(15,33,15) -> 6*
    k0(15,18,31) -> 6*
    k0(10,40,39) -> 6*
    k0(38,15,15) -> 6*
    k0(16,35,41) -> 6*
    k0(30,32,6) -> 6*
    k0(15,41,10) -> 6*
    k0(41,39,41) -> 6*
    k0(40,41,40) -> 6*
    k0(39,17,41) -> 6*
    k0(18,39,38) -> 6*
    k0(33,30,34) -> 6*
    k0(32,32,33) -> 6*
    k0(31,34,32) -> 6*
    k0(6,30,32) -> 6*
    k0(16,17,38) -> 6*
    k0(30,10,33) -> 6*
    k0(35,34,31) -> 6*
    k0(10,30,31) -> 6*
    k0(9,32,30) -> 6*
    k0(17,38,18) -> 6*
    k0(15,16,18) -> 6*
    k0(40,31,32) -> 6*
    k0(33,35,10) -> 6*
    k0(38,9,32) -> 6*
    k0(33,31,40) -> 6*
    k0(18,18,16) -> 6*
    k0(32,33,39) -> 6*
    k0(6,9,10) -> 6*
    k0(31,9,40) -> 6*
    k0(39,39,6) -> 6*
    k0(41,30,39) -> 6*
    k0(31,17,35) -> 6*
    k0(40,10,10) -> 6*
    k0(35,32,18) -> 6*
    k0(10,39,32) -> 6*
    k0(15,6,10) -> 6*
    k0(40,6,40) -> 6*
    k0(9,30,17) -> 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(38,34,16) -> 6*
    k0(41,16,6) -> 6*
    k0(6,41,38) -> 6*
    k0(15,10,35) -> 6*
    k0(10,10,15) -> 6*
    k0(38,38,41) -> 6*
    k0(16,40,9) -> 6*
    k0(41,9,17) -> 6*
    k0(10,18,10) -> 6*
    k0(41,40,39) -> 6*
    k0(15,38,38) -> 6*
    k0(35,18,40) -> 6*
    k0(9,16,39) -> 6*
    k0(9,40,17) -> 6*
    k0(32,33,31) -> 6*
    k0(31,35,30) -> 6*
    k0(6,31,30) -> 6*
    k0(39,41,18) -> 6*
    k0(34,6,6) -> 6*
    k0(17,39,16) -> 6*
    k0(16,41,15) -> 6*
    k0(41,30,31) -> 6*
    k0(30,34,10) -> 6*
    k0(30,30,40) -> 6*
    k0(40,32,30) -> 6*
    k0(15,17,16) -> 6*
    k0(9,6,31) -> 6*
    k0(34,34,9) -> 6*
    k0(9,30,9) -> 6*
    k0(34,10,31) -> 6*
    k0(38,10,30) -> 6*
    k0(33,32,38) -> 6*
    k0(6,6,38) -> 6*
    k0(31,10,38) -> 6*
    k0(10,32,35) -> 6*
    k0(39,31,10) -> 6*
    k0(9,34,34) -> 6*
    k0(34,38,34) -> 6*
    k0(33,40,33) -> 6*
    k0(32,31,18) -> 6*
    k0(32,16,34) -> 6*
    k0(31,33,17) -> 6*
    k0(15,33,6) -> 6*
    k0(31,18,33) -> 6*
    k0(30,9,18) -> 6*
    k0(35,33,16) -> 6*
    k0(10,40,30) -> 6*
    k0(34,35,15) -> 6*
    k0(9,31,15) -> 6*
    k0(9,16,31) -> 6*
    k0(38,15,6) -> 6*
    k0(18,31,34) -> 6*
    k0(17,33,33) -> 6*
    k0(41,39,32) -> 6*
    k0(16,35,32) -> 6*
    k0(16,9,34) -> 6*
    k0(40,30,17) -> 6*
    k0(10,33,41) -> 6*
    k0(40,15,33) -> 6*
    k0(9,39,10) -> 6*
    k0(39,17,32) -> 6*
    k0(34,39,40) -> 6*
    k0(39,6,18) -> 6*
    k0(9,35,40) -> 6*
    k0(33,15,41) -> 6*
    k0(38,39,39) -> 6*
    k0(17,15,30) -> 6*
    k0(32,17,40) -> 6*
    k0(41,10,15) -> 6*
    k0(6,15,39) -> 6*
    k0(16,6,15) -> 6*
    k0(6,39,17) -> 6*
    k0(10,15,38) -> 6*
    k0(18,32,40) -> 6*
    k0(17,34,39) -> 6*
    k0(41,18,10) -> 6*
    k0(16,10,40) -> 6*
    k0(40,16,39) -> 6*
    k0(40,40,17) -> 6*
    k0(34,18,18) -> 6*
    k0(31,33,9) -> 6*
    k0(31,9,31) -> 6*
    k0(16,18,35) -> 6*
    k0(35,9,30) -> 6*
    k0(30,31,38) -> 6*
    k0(32,35,35) -> 6*
    k0(6,33,34) -> 6*
    k0(30,39,33) -> 6*
    k0(40,30,9) -> 6*
    k0(40,6,31) -> 6*
    k0(33,10,9) -> 6*
    k0(33,6,39) -> 6*
    k0(33,41,31) -> 6*
    k0(32,32,16) -> 6*
    k0(6,30,15) -> 6*
    k0(31,34,15) -> 6*
    k0(10,10,6) -> 6*
    k0(41,32,35) -> 6*
    k0(6,15,31) -> 6*
    k0(30,10,16) -> 6*
    k0(15,30,34) -> 6*
    k0(40,34,34) -> 6*
    k0(38,38,32) -> 6*
    k0(17,34,31) -> 6*
    k0(6,38,10) -> 6*
    k0(31,38,40) -> 6*
    k0(41,40,30) -> 6*
    k0(6,34,40) -> 6*
    k0(10,38,9) -> 6*
    k0(40,31,15) -> 6*
    k0(40,16,31) -> 6*
    k0(35,38,39) -> 6*
    k0(39,18,30) -> 6*
    k0(34,40,38) -> 6*
    k0(38,9,15) -> 6*
    k0(32,18,38) -> 6*
    k0(40,39,10) -> 6*
    k0(15,35,10) -> 6*
    k0(41,33,41) -> 6*
    k0(40,35,40) -> 6*
    k0(15,31,40) -> 6*
    k0(38,17,10) -> 6*
    k0(33,39,18) -> 6*
    k0(18,33,38) -> 6*
    k0(31,17,18) -> 6*
    k0(41,15,38) -> 6*
    k0(10,39,15) -> 6*
    k0(9,15,16) -> 6*
    k0(34,30,30) -> 6*
    k0(18,41,33) -> 6*
    k0(17,32,18) -> 6*
    k0(17,17,34) -> 6*
    k0(16,34,17) -> 6*
    k0(15,10,18) -> 6*
    k0(39,16,17) -> 6*
    k0(30,9,9) -> 6*
    k0(34,35,6) -> 6*
    k0(9,31,6) -> 6*
    k0(30,40,31) -> 6*
    k0(38,31,35) -> 6*
    k0(18,16,41) -> 6*
    k0(17,18,40) -> 6*
    k0(10,33,32) -> 6*
    k0(39,6,9) -> 6*
    k0(9,9,33) -> 6*
    k0(33,15,32) -> 6*
    k0(38,39,30) -> 6*
    k0(32,6,17) -> 6*
    k0(32,41,9) -> 6*
    k0(41,10,6) -> 6*
    k0(16,6,6) -> 6*
    k0(6,35,38) -> 6*
    k0(31,39,38) -> 6*
    k0(9,41,6) -> 6*
    k0(18,6,33) -> 6*
    k0(38,32,41) -> 6*
    k0(16,34,9) -> 6*
    k0(16,10,31) -> 6*
    k0(41,38,9) -> 6*
    k0(35,16,10) -> 6*
    k0(30,38,18) -> 6*
    k0(15,32,38) -> 6*
    k0(9,10,39) -> 6*
    k0(39,16,9) -> 6*
    k0(34,38,17) -> 6*
    k0(33,40,16) -> 6*
    k0(18,38,6) -> 6*
    k0(31,18,16) -> 6*
    k0(16,38,34) -> 6*
    k0(10,16,35) -> 6*
    k0(15,40,33) -> 6*
    k0(39,35,18) -> 6*
    k0(17,33,16) -> 6*
    k0(41,39,15) -> 6*
    k0(16,35,15) -> 6*
    k0(6,18,41) -> 6*
    k0(40,15,16) -> 6*
    k0(39,17,15) -> 6*
    k0(31,34,6) -> 6*
    k0(6,30,6) -> 6*
    k0(16,39,40) -> 6*
    k0(35,30,35) -> 6*
    k0(15,15,41) -> 6*
    k0(34,32,34) -> 6*
    k0(33,34,33) -> 6*
    k0(32,10,34) -> 6*
    k0(40,31,6) -> 6*
    k0(35,38,30) -> 6*
    k0(10,34,30) -> 6*
    k0(38,9,6) -> 6*
    k0(18,40,18) -> 6*
    k0(33,16,30) -> 6*
    k0(16,18,18) -> 6*
    k0(6,40,6) -> 6*
    k0(41,33,32) -> 6*
    k0(40,9,33) -> 6*
    k0(9,33,10) -> 6*
    k0(35,31,41) -> 6*
    k0(34,33,40) -> 6*
    k0(33,35,39) -> 6*
    k0(32,15,10) -> 6*
    k0(33,9,41) -> 6*
    k0(17,9,30) -> 6*
    k0(6,9,39) -> 6*
    k0(30,39,16) -> 6*
    k0(40,41,6) -> 6*
    k0(10,9,38) -> 6*
    k0(39,39,35) -> 6*
    k0(18,30,10) -> 6*
    k0(38,41,34) -> 6*
    k0(10,32,17) -> 6*
    k0(15,10,9) -> 6*
    k0(40,10,39) -> 6*
    k0(15,6,39) -> 6*
    k0(10,17,33) -> 6*
    k0(15,41,31) -> 6*
    k0(38,38,15) -> 6*
    k0(41,16,35) -> 6*
    k0(39,40,41) -> 6*
    k0(18,16,32) -> 6*
    k0(17,38,39) -> 6*
    k0(16,40,38) -> 6*
    k0(31,31,34) -> 6*
    k0(30,33,33) -> 6*
    k0(10,18,39) -> 6*
    k0(33,35,31) -> 6*
    k0(15,39,18) -> 6*
    k0(30,15,30) -> 6*
    k0(34,6,35) -> 6*
    k0(39,30,33) -> 6*
    k0(18,41,16) -> 6*
    k0(38,32,32) -> 6*
    k0(38,6,34) -> 6*
    k0(6,32,10) -> 6*
    k0(32,30,41) -> 6*
    k0(31,32,40) -> 6*
    k0(41,34,30) -> 6*
    k0(16,30,30) -> 6*
    k0(10,32,9) -> 6*
    k0(30,34,39) -> 6*
    k0(34,34,38) -> 6*
    k0(9,30,38) -> 6*
    k0(40,33,10) -> 6*
    k0(35,40,34) -> 6*
    k0(9,38,33) -> 6*
    k0(39,31,39) -> 6*
    k0(33,33,18) -> 6*
    k0(33,18,34) -> 6*
    k0(32,35,17) -> 6*
    k0(16,35,6) -> 6*
    k0(6,18,32) -> 6*
    k0(41,9,38) -> 6*
    k0(10,33,15) -> 6*
    k0(10,18,31) -> 6*
    k0(39,17,6) -> 6*
    k0(9,9,16) -> 6*
    k0(33,15,15) -> 6*
    k0(18,35,33) -> 6*
    k0(38,15,35) -> 6*
    k0(41,32,17) -> 6*
    k0(41,17,33) -> 6*
    k0(10,41,10) -> 6*
    k0(15,15,32) -> 6*
    k0(35,41,40) -> 6*
    k0(39,10,17) -> 6*
    k0(34,17,41) -> 6*
    k0(39,41,39) -> 6*
    k0(18,17,30) -> 6*
    k0(18,6,16) -> 6*
    k0(30,34,31) -> 6*
    k0(17,16,10) -> 6*
    k0(18,10,41) -> 6*
    k0(41,18,39) -> 6*
    k0(16,38,17) -> 6*
    k0(10,16,18) -> 6*
    k0(15,40,16) -> 6*
    k0(35,31,32) -> 6*
    k0(9,18,17) -> 6*
    k0(39,31,31) -> 6*
    k0(33,9,32) -> 6*
    k0(38,33,30) -> 6*
    k0(32,35,9) -> 6*
    k0(31,33,38) -> 6*
    k0(34,39,6) -> 6*
    k0(18,15,17) -> 6*
    k0(32,39,34) -> 6*
    k0(41,32,9) -> 6*
    k0(31,41,33) -> 6*
    k0(35,10,10) -> 6*
    k0(30,32,18) -> 6*
    k0(10,6,10) -> 6*
    k0(35,6,40) -> 6*
    k0(40,30,38) -> 6*
    k0(30,17,34) -> 6*
    k0(9,39,31) -> 6*
    k0(33,34,16) -> 6*
    k0(17,30,35) -> 6*
    k0(16,32,34) -> 6*
    k0(10,10,35) -> 6*
    k0(15,34,33) -> 6*
    k0(40,38,33) -> 6*
    k0(39,40,32) -> 6*
    k0(38,31,17) -> 6*
    k0(38,16,33) -> 6*
    k0(33,38,41) -> 6*
    k0(32,40,40) -> 6*
    k0(17,38,30) -> 6*
    k0(41,33,15) -> 6*
    k0(31,16,41) -> 6*
    k0(41,18,31) -> 6*
    k0(15,16,30) -> 6*
    k0(10,38,38) -> 6*
    k0(30,18,40) -> 6*
    k0(40,9,16) -> 6*
    k0(9,18,9) -> 6*
    k0(17,31,41) -> 6*
    k0(41,41,10) -> 6*
    k0(16,33,40) -> 6*
    k0(15,35,39) -> 6*
    k0(34,41,18) -> 6*
    k0(15,9,41) -> 6*
    k0(39,15,40) -> 6*
    k0(38,17,39) -> 6*
    k0(38,41,17) -> 6*
    k0(18,15,9) -> 6*
    k0(32,30,32) -> 6*
    k0(6,17,17) -> 6*
    k0(31,6,33) -> 6*
    k0(35,32,30) -> 6*
    k0(10,17,16) -> 6*
    k0(18,34,18) -> 6*
    k0(33,10,30) -> 6*
    k0(31,38,6) -> 6*
    k0(41,16,18) -> 6*
    k0(40,18,17) -> 6*
    k0(34,31,10) -> 6*
    k0(38,31,9) -> 6*
    k0(18,16,15) -> 6*
    k0(32,9,10) -> 6*
    k0(6,38,31) -> 6*
    k0(10,33,6) -> 6*
    k0(30,33,16) -> 6*
    k0(39,33,35) -> 6*
    k0(33,15,6) -> 6*
    k0(38,35,34) -> 6*
    k0(41,6,10) -> 6*
    k0(35,30,17) -> 6*
    k0(15,35,31) -> 6*
    k0(35,15,33) -> 6*
    k0(40,39,31) -> 6*
    k0(34,17,32) -> 6*
    k0(39,41,30) -> 6*
    k0(34,6,18) -> 6*
    k0(39,30,16) -> 6*
    k0(38,32,15) -> 6*
    k0(38,17,31) -> 6*
    k0(33,39,39) -> 6*
    k0(32,41,38) -> 6*
    k0(16,6,35) -> 6*
    k0(6,17,9) -> 6*
    k0(41,10,35) -> 6*
    k0(9,41,35) -> 6*
    k0(38,40,10) -> 6*
    k0(39,34,41) -> 6*
    k0(18,10,32) -> 6*
    k0(31,40,18) -> 6*
    k0(16,34,38) -> 6*
    k0(41,38,38) -> 6*
    k0(35,16,39) -> 6*
    k0(40,18,9) -> 6*
    k0(35,40,17) -> 6*
    k0(9,38,16) -> 6*
    k0(39,16,38) -> 6*
    k0(18,38,35) -> 6*
    k0(32,31,30) -> 6*
    k0(17,40,34) -> 6*
    k0(6,18,15) -> 6*
    k0(15,33,18) -> 6*
    k0(30,9,30) -> 6*
    k0(15,18,34) -> 6*
    k0(18,35,16) -> 6*
    k0(38,15,18) -> 6*
    k0(31,30,10) -> 6*
    k0(41,17,16) -> 6*
    k0(35,30,9) -> 6*
    k0(15,15,15) -> 6*
    k0(35,6,31) -> 6*
    k0(39,6,30) -> 6*
    k0(18,39,41) -> 6*
    k0(17,41,40) -> 6*
    k0(32,6,38) -> 6*
    k0(16,17,41) -> 6*
    k0(35,34,34) -> 6*
    k0(10,30,34) -> 6*
    k0(9,32,33) -> 6*
    k0(33,38,32) -> 6*
    k0(41,33,6) -> 6*
    k0(31,16,32) -> 6*
    k0(35,31,15) -> 6*
    k0(35,16,31) -> 6*
    k0(30,38,39) -> 6*
    k0(34,18,30) -> 6*
    k0(33,9,15) -> 6*
    k0(38,9,35) -> 6*
    k0(17,31,32) -> 6*
    k0(6,40,35) -> 6*
    k0(35,39,10) -> 6*
    k0(10,35,10) -> 6*
    k0(35,35,40) -> 6*
    k0(15,9,32) -> 6*
    k0(10,31,40) -> 6*
    k0(9,33,39) -> 6*
    k0(39,39,9) -> 6*
    k0(33,17,10) -> 6*
    k0(32,15,39) -> 6*
    k0(32,39,17) -> 6*
    k0(16,39,6) -> 6*
    k0(31,41,16) -> 6*
    k0(40,41,35) -> 6*
    k0(18,30,39) -> 6*
    k0(17,10,10) -> 6*
    k0(17,6,40) -> 6*
    k0(6,41,41) -> 6*
    k0(10,10,18) -> 6*
    k0(15,34,16) -> 6*
    k0(40,38,16) -> 6*
    k0(34,16,17) -> 6*
    k0(39,40,15) -> 6*
    k0(18,16,6) -> 6*
    k0(38,16,16) -> 6*
    k0(15,38,41) -> 6*
    k0(18,9,17) -> 6*
    k0(33,31,35) -> 6*
    k0(18,40,39) -> 6*
    k0(32,33,34) -> 6*
    k0(31,35,33) -> 6*
    k0(6,31,33) -> 6*
    k0(34,6,9) -> 6*
    k0(9,33,31) -> 6*
    k0(38,32,6) -> 6*
    k0(33,39,30) -> 6*
    k0(32,30,15) -> 6*
    k0(16,41,18) -> 6*
    k0(32,15,31) -> 6*
    k0(31,6,16) -> 6*
    k0(41,30,34) -> 6*
    k0(31,17,30) -> 6*
    k0(40,32,33) -> 6*
    k0(39,34,32) -> 6*
    k0(18,30,31) -> 6*
    k0(32,38,10) -> 6*
    k0(38,10,33) -> 6*
    k0(33,32,41) -> 6*
    k0(32,34,40) -> 6*
    k0(17,32,30) -> 6*
    k0(6,32,39) -> 6*
    k0(30,16,10) -> 6*
    k0(31,10,41) -> 6*
    k0(6,6,41) -> 6*
    k0(15,10,30) -> 6*
    k0(10,32,38) -> 6*
    k0(34,16,9) -> 6*
    k0(41,35,10) -> 6*
    k0(16,31,10) -> 6*
    k0(6,18,6) -> 6*
    k0(41,31,40) -> 6*
    k0(10,40,33) -> 6*
    k0(40,33,39) -> 6*
    k0(34,35,18) -> 6*
    k0(9,31,18) -> 6*
    k0(9,16,34) -> 6*
    k0(39,9,40) -> 6*
    k0(31,15,17) -> 6*
    k0(15,15,6) -> 6*
    k0(35,15,16) -> 6*
    k0(34,17,15) -> 6*
    k0(39,17,35) -> 6*
    k0(18,39,32) -> 6*
    k0(17,30,17) -> 6*
    k0(17,15,33) -> 6*
    k0(16,17,32) -> 6*
    k0(16,6,18) -> 6*
    k0(41,10,18) -> 6*
    k0(30,30,35) -> 6*
    k0(10,15,41) -> 6*
    k0(15,39,39) -> 6*
    k0(9,17,40) -> 6*
    k0(18,10,15) -> 6*
    k0(6,32,31) -> 6*
    k0(35,31,6) -> 6*
    k0(30,38,30) -> 6*
    k0(33,9,6) -> 6*
    k0(18,18,10) -> 6*
    k0(17,16,39) -> 6*
    k0(17,40,17) -> 6*
    k0(35,9,33) -> 6*
    k0(30,31,41) -> 6*
    k0(40,33,31) -> 6*
    k0(39,35,30) -> 6*
    k0(32,35,38) -> 6*
    k0(31,15,9) -> 6*
    k0(35,41,6) -> 6*
    k0(34,39,35) -> 6*
    k0(9,35,35) -> 6*
    k0(38,34,10) -> 6*
    k0(38,30,40) -> 6*
    k0(33,41,34) -> 6*
    k0(17,30,9) -> 6*
    k0(17,6,31) -> 6*
    k0(31,34,18) -> 6*
    k0(6,41,32) -> 6*
    k0(6,30,18) -> 6*
    k0(6,15,34) -> 6*
    k0(10,10,9) -> 6*
    k0(41,32,38) -> 6*
    k0(35,10,39) -> 6*
    k0(10,6,39) -> 6*
    k0(10,41,31) -> 6*
    k0(9,32,16) -> 6*
    k0(33,38,15) -> 6*
    k0(39,10,38) -> 6*
    k0(18,32,35) -> 6*
    k0(17,34,34) -> 6*
    k0(31,16,15) -> 6*
    k0(41,40,33) -> 6*
    k0(40,31,18) -> 6*
    k0(15,38,32) -> 6*
    k0(39,33,17) -> 6*
    k0(40,16,34) -> 6*
    k0(39,18,33) -> 6*
    k0(34,40,41) -> 6*
    k0(38,9,18) -> 6*
    k0(18,40,30) -> 6*
    k0(17,31,15) -> 6*
    k0(17,16,31) -> 6*
    k0(32,18,41) -> 6*
    k0(16,18,30) -> 6*
    k0(6,16,40) -> 6*
    k0(15,9,15) -> 6*
    k0(9,18,38) -> 6*
    k0(17,39,10) -> 6*
    k0(32,30,6) -> 6*
    k0(18,33,41) -> 6*
    k0(17,35,40) -> 6*
    k0(10,39,18) -> 6*
    k0(41,15,41) -> 6*
    k0(15,17,10) -> 6*
    k0(40,17,40) -> 6*
    k0(34,30,33) -> 6*
    k0(33,32,32) -> 6*
    k0(18,15,38) -> 6*
    k0(33,6,34) -> 6*
    k0(6,6,32) -> 6*
    k0(31,10,32) -> 6*
    k0(32,40,6) -> 6*
    k0(16,16,17) -> 6*
    k0(35,33,10) -> 6*
    k0(6,34,35) -> 6*
    k0(31,38,35) -> 6*
    k0(30,40,34) -> 6*
    k0(39,33,9) -> 6*
    k0(34,31,39) -> 6*
    k0(39,9,31) -> 6*
    k0(38,31,38) -> 6*
    k0(32,9,39) -> 6*
    k0(6,31,16) -> 6*
    k0(31,35,16) -> 6*
    k0(34,17,6) -> 6*
    k0(15,31,35) -> 6*
    k0(40,35,35) -> 6*
    k0(38,39,33) -> 6*
    k0(33,15,35) -> 6*
    k0(16,6,9) -> 6*
    k0(41,10,9) -> 6*
    k0(41,41,31) -> 6*
    k0(6,35,41) -> 6*
    k0(31,39,41) -> 6*
    k0(41,6,39) -> 6*
    k0(30,41,40) -> 6*
    k0(15,39,30) -> 6*
    k0(10,15,32) -> 6*
    k0(40,32,16) -> 6*
    k0(9,41,9) -> 6*
    k0(9,6,17) -> 6*
    k0(39,34,15) -> 6*
    k0(34,10,17) -> 6*
    k0(34,41,39) -> 6*
    k0(18,10,6) -> 6*
    k0(38,10,16) -> 6*
    k0(6,17,38) -> 6*
    k0(15,32,41) -> 6*
    k0(39,38,40) -> 6*
    k0(18,38,9) -> 6*
    k0(16,16,9) -> 6*
    k0(30,31,32) -> 6*
    k0(10,40,16) -> 6*
    k0(40,18,38) -> 6*
    k0(34,31,31) -> 6*
    k0(33,33,30) -> 6*
    k0(16,35,18) -> 6*
    k0(41,39,18) -> 6*
    k0(39,17,18) -> 6*
    k0(18,39,15) -> 6*
    k0(32,32,10) -> 6*
    k0(17,15,16) -> 6*
    k0(31,30,39) -> 6*
    k0(16,17,15) -> 6*
    k0(30,10,10) -> 6*
    k0(35,30,38) -> 6*
    k0(30,6,40) -> 6*
    k0(31,16,6) -> 6*
    k0(35,38,33) -> 6*
    k0(10,34,33) -> 6*
    k0(34,40,32) -> 6*
    k0(33,31,17) -> 6*
    k0(38,9,9) -> 6*
    k0(9,10,34) -> 6*
    k0(33,16,33) -> 6*
    k0(17,31,6) -> 6*
    k0(38,40,31) -> 6*
    k0(32,18,32) -> 6*
    k0(6,40,9) -> 6*
    k0(31,9,17) -> 6*
    k0(15,9,6) -> 6*
    k0(31,40,39) -> 6*
    k0(10,16,30) -> 6*
    k0(35,9,16) -> 6*
    k0(18,33,32) -> 6*
    k0(17,9,33) -> 6*
    k0(41,15,32) -> 6*
    k0(40,41,9) -> 6*
    k0(10,35,39) -> 6*
    k0(40,6,17) -> 6*
    k0(10,9,41) -> 6*
    k0(9,15,10) -> 6*
    k0(39,39,38) -> 6*
    k0(34,15,40) -> 6*
    k0(33,17,39) -> 6*
    k0(33,41,17) -> 6*
    k0(17,41,6) -> 6*
    k0(6,41,15) -> 6*
    k0(31,30,31) -> 6*
    k0(16,39,35) -> 6*
    k0(15,41,34) -> 6*
    k0(30,32,30) -> 6*
    k0(38,38,18) -> 6*
    k0(17,10,39) -> 6*
    k0(41,40,16) -> 6*
    k0(15,38,15) -> 6*
    k0(35,18,17) -> 6*
    k0(39,18,16) -> 6*
    k0(18,16,35) -> 6*
    k0(33,31,9) -> 6*
    k0(16,40,41) -> 6*
    k0(34,33,35) -> 6*
    k0(33,35,34) -> 6*
    k0(6,35,32) -> 6*
    k0(31,39,32) -> 6*
    k0(30,30,17) -> 6*
    k0(6,9,34) -> 6*
    k0(10,35,31) -> 6*
    k0(35,39,31) -> 6*
    k0(30,15,33) -> 6*
    k0(39,34,6) -> 6*
    k0(34,41,30) -> 6*
    k0(34,30,16) -> 6*
    k0(33,32,15) -> 6*
    k0(33,17,31) -> 6*
    k0(6,6,15) -> 6*
    k0(16,30,33) -> 6*
    k0(31,10,15) -> 6*
    k0(41,34,33) -> 6*
    k0(15,32,32) -> 6*
    k0(15,6,34) -> 6*
    k0(40,10,34) -> 6*
    k0(34,34,41) -> 6*
    k0(9,30,41) -> 6*
    k0(33,40,10) -> 6*
    k0(18,34,30) -> 6*
    k0(31,18,10) -> 6*
    k0(41,16,30) -> 6*
    k0(6,10,40) -> 6*
    k0(35,18,9) -> 6*
    k0(30,16,39) -> 6*
    k0(30,40,17) -> 6*
    k0(34,16,38) -> 6*
    k0(17,33,10) -> 6*
    k0(6,18,35) -> 6*
    k0(16,31,39) -> 6*
    k0(41,35,39) -> 6*
    k0(10,33,18) -> 6*
    k0(41,9,41) -> 6*
    k0(40,15,10) -> 6*
    k0(9,35,17) -> 6*
    k0(10,18,34) -> 6*
    k0(38,39,16) -> 6*
    k0(33,15,18) -> 6*
    k0(18,9,38) -> 6*
    k0(32,17,17) -> 6*
    k0(16,17,6) -> 6*
    k0(15,15,35) -> 6*
    k0(30,6,31) -> 6*
    k0(10,15,15) -> 6*
    k0(30,30,9) -> 6*
    k0(18,32,17) -> 6*
    k0(34,6,30) -> 6*
    k0(18,17,33) -> 6*
    k0(16,10,17) -> 6*
    k0(31,32,35) -> 6*
    k0(16,41,39) -> 6*
    k0(30,34,34) -> 6*
    k0(32,38,31) -> 6*
    k0(31,40,30) -> 6*
    k0(30,31,15) -> 6*
    k0(30,16,31) -> 6*
    k0(39,31,34) -> 6*
    k0(38,33,33) -> 6*
    k0(33,9,35) -> 6*
    k0(18,18,39) -> 6*
    k0(30,39,10) -> 6*
    k0(16,31,31) -> 6*
    k0(31,33,41) -> 6*
    k0(41,35,31) -> 6*
    k0(15,33,30) -> 6*
    k0(10,9,32) -> 6*
    k0(30,35,40) -> 6*
    k0(34,39,9) -> 6*
    k0(9,35,9) -> 6*
    k0(38,15,30) -> 6*
    k0(32,17,9) -> 6*
    k0(31,15,38) -> 6*
    k0(40,30,41) -> 6*
    k0(35,41,35) -> 6*
    k0(9,39,34) -> 6*
    k0(39,32,40) -> 6*
    k0(38,34,39) -> 6*
    k0(18,32,9) -> 6*
    k0(6,34,17) -> 6*
    k0(17,30,38) -> 6*
    k0(35,38,16) -> 6*
    k0(10,34,16) -> 6*
    k0(34,40,15) -> 6*
    k0(33,16,16) -> 6*
    k0(17,38,33) -> 6*
    k0(32,18,15) -> 6*
    k0(41,33,18) -> 6*
    k0(16,40,32) -> 6*
    k0(41,18,34) -> 6*
    k0(15,31,17) -> 6*
    k0(40,35,17) -> 6*
    k0(15,16,33) -> 6*
    k0(10,38,41) -> 6*
    k0(9,40,40) -> 6*
    k0(18,33,15) -> 6*
    k0(18,18,31) -> 6*
    k0(17,9,16) -> 6*
    k0(41,15,15) -> 6*
    k0(33,32,6) -> 6*
    k0(18,41,10) -> 6*
    k0(31,10,6) -> 6*
    k0(6,6,6) -> 6*
    k0(16,15,40) -> 6*
    k0(35,32,33) -> 6*
    k0(15,17,39) -> 6*
    k0(15,41,17) -> 6*
    k0(9,30,32) -> 6*
    k0(34,34,32) -> 6*
    k0(38,34,31) -> 6*
    k0(33,10,33) -> 6*
    k0(31,38,9) -> 6*
    k0(6,10,31) -> 6*
    k0(6,34,9) -> 6*
    k0(10,10,30) -> 6*
    k0(18,16,18) -> 6*
    k0(17,18,17) -> 6*
    k0(32,40,35) -> 6*
    k0(6,38,34) -> 6*
    k0(41,9,32) -> 6*
    k0(35,33,39) -> 6*
    k0(15,31,9) -> 6*
    k0(40,35,9) -> 6*
    k0(9,9,10) -> 6*
    k0(39,33,38) -> 6*
    k0(34,9,40) -> 6*
    k0(6,35,15) -> 6*
    k0(31,39,15) -> 6*
    k0(10,15,6) -> 6*
    k0(16,33,35) -> 6*
    k0(15,35,34) -> 6*
    k0(30,15,16) -> 6*
    k0(40,39,34) -> 6*
    k0(39,41,33) -> 6*
    k0(34,17,35) -> 6*
    k0(18,6,10) -> 6*
    k0(38,32,18) -> 6*
    k0(38,17,34) -> 6*
    k0(17,39,31) -> 6*
    k0(32,41,41) -> 6*
    k0(16,30,16) -> 6*
    k0(16,41,30) -> 6*
    k0(41,34,16) -> 6*
    k0(6,39,40) -> 6*
    k0(15,32,15) -> 6*
    k0(10,39,39) -> 6*
    k0(15,17,31) -> 6*
    k0(9,41,38) -> 6*
    k0(18,10,35) -> 6*
    k0(16,34,41) -> 6*
    k0(41,38,41) -> 6*
    k0(15,40,10) -> 6*
    k0(30,31,6) -> 6*
    k0(40,40,40) -> 6*
    k0(39,16,41) -> 6*
    k0(18,38,38) -> 6*
    k0(38,18,40) -> 6*
    k0(17,18,9) -> 6*
    k0(32,31,33) -> 6*
    k0(6,18,18) -> 6*
    k0(31,33,32) -> 6*
    k0(16,16,38) -> 6*
    k0(35,33,31) -> 6*
    k0(30,9,33) -> 6*
    k0(9,31,30) -> 6*
    k0(34,35,30) -> 6*
    k0(15,15,18) -> 6*
    k0(40,30,32) -> 6*
    k0(30,41,6) -> 6*
    k0(39,6,33) -> 6*
    k0(33,34,10) -> 6*
    k0(18,17,16) -> 6*
    k0(33,30,40) -> 6*
    k0(32,32,39) -> 6*
    k0(32,6,41) -> 6*
    k0(41,10,30) -> 6*
    k0(16,6,30) -> 6*
    k0(30,10,39) -> 6*
    k0(39,38,6) -> 6*
    k0(9,6,38) -> 6*
    k0(34,10,38) -> 6*
    k0(32,18,6) -> 6*
    k0(31,16,35) -> 6*
    k0(10,38,32) -> 6*
    k0(35,31,18) -> 6*
    k0(40,9,10) -> 6*
    k0(34,33,17) -> 6*
    k0(35,16,34) -> 6*
    k0(34,18,33) -> 6*
    k0(18,33,6) -> 6*
    k0(38,33,16) -> 6*
    k0(33,9,18) -> 6*
    k0(41,15,6) -> 6*
    k0(6,40,38) -> 6*
    k0(15,9,35) -> 6*
    k0(10,9,15) -> 6*
    k0(16,39,9) -> 6*
    k0(41,39,39) -> 6*
    k0(10,17,10) -> 6*
    k0(35,17,40) -> 6*
    k0(40,41,38) -> 6*
    k0(9,39,17) -> 6*
    k0(9,15,39) -> 6*
    k0(17,41,35) -> 6*
    k0(32,32,31) -> 6*
    k0(6,30,30) -> 6*
    k0(31,34,30) -> 6*
    k0(39,40,18) -> 6*
    k0(17,38,16) -> 6*
    k0(16,40,15) -> 6*
    k0(30,33,10) -> 6*
    k0(15,16,16) -> 6*
    k0(40,31,30) -> 6*
    k0(34,33,9) -> 6*
    k0(34,9,31) -> 6*
    k0(33,31,38) -> 6*
    k0(38,9,30) -> 6*
    k0(6,35,6) -> 6*
    k0(31,9,38) -> 6*
    k0(39,30,10) -> 6*
    k0(10,31,35) -> 6*
    k0(35,35,35) -> 6*
    k0(9,33,34) -> 6*
    k0(33,39,33) -> 6*
    k0(32,30,18) -> 6*
    k0(32,41,32) -> 6*
    k0(31,32,17) -> 6*
    k0(32,15,34) -> 6*
    k0(31,17,33) -> 6*
    k0(15,32,6) -> 6*
    k0(35,32,16) -> 6*
    k0(10,39,30) -> 6*
    k0(9,30,15) -> 6*
    k0(34,34,15) -> 6*
    k0(40,6,38) -> 6*
    k0(9,15,31) -> 6*
    k0(18,30,34) -> 6*
    k0(33,10,16) -> 6*
    k0(17,32,33) -> 6*
    k0(16,34,32) -> 6*
    k0(41,38,32) -> 6*
    k0(10,32,41) -> 6*
    k0(15,10,33) -> 6*
    k0(9,38,10) -> 6*
    k0(39,16,32) -> 6*
    k0(9,34,40) -> 6*
    k0(34,38,40) -> 6*
    k0(38,38,39) -> 6*
    k0(32,16,40) -> 6*
    k0(31,18,39) -> 6*
    k0(6,38,17) -> 6*
    k0(41,9,15) -> 6*
    k0(35,18,38) -> 6*
    k0(18,35,10) -> 6*
    k0(18,31,40) -> 6*
    k0(17,33,39) -> 6*
    k0(41,17,10) -> 6*
    k0(16,9,40) -> 6*
    k0(40,15,39) -> 6*
    k0(40,39,17) -> 6*
    k0(39,41,16) -> 6*
    k0(34,17,18) -> 6*
    k0(32,6,32) -> 6*
    k0(31,32,9) -> 6*
    k0(16,17,35) -> 6*
    k0(30,30,38) -> 6*
    k0(18,10,18) -> 6*
    k0(32,34,35) -> 6*
    k0(6,32,34) -> 6*
    k0(30,38,33) -> 6*
    k0(33,9,9) -> 6*
    k0(33,40,31) -> 6*
    k0(32,31,16) -> 6*
    k0(31,33,15) -> 6*
    k0(31,18,31) -> 6*
    k0(41,31,35) -> 6*
    k0(10,9,6) -> 6*
    k0(30,9,16) -> 6*
    k0(40,33,34) -> 6*
    k0(39,35,33) -> 6*
    k0(17,33,31) -> 6*
    k0(32,35,41) -> 6*
    k0(31,41,10) -> 6*
    k0(41,39,30) -> 6*
    k0(16,35,30) -> 6*
    k0(6,33,40) -> 6*
    k0(35,41,9) -> 6*
    k0(40,30,15) -> 6*
    k0(35,6,17) -> 6*
    k0(40,15,31) -> 6*
    k0(9,35,38) -> 6*
    k0(39,6,16) -> 6*
    k0(34,39,38) -> 6*
    k0(39,17,30) -> 6*
    k0(32,17,38) -> 6*
    k0(41,32,41) -> 6*
    k0(15,34,10) -> 6*
    k0(40,38,10) -> 6*
    k0(15,30,40) -> 6*
    k0(10,41,34) -> 6*
    k0(40,34,40) -> 6*
    k0(33,38,18) -> 6*
    k0(38,16,10) -> 6*
    k0(39,10,41) -> 6*
    k0(18,32,38) -> 6*
    k0(31,16,18) -> 6*
    k0(30,18,17) -> 6*
    k0(16,10,38) -> 6*
    k0(10,38,15) -> 6*
    k0(34,18,16) -> 6*
    k0(18,40,33) -> 6*
    k0(17,31,18) -> 6*
    k0(16,33,17) -> 6*
    k0(17,16,34) -> 6*
    k0(16,18,33) -> 6*
    k0(15,9,18) -> 6*
    k0(39,15,17) -> 6*
    k0(9,18,41) -> 6*
    k0(31,6,10) -> 6*
    k0(30,39,31) -> 6*
    k0(9,30,6) -> 6*
    k0(34,34,6) -> 6*
    k0(18,15,41) -> 6*
    k0(38,30,35) -> 6*
    k0(17,17,40) -> 6*
    k0(31,10,35) -> 6*
    k0(6,6,35) -> 6*
    k0(10,32,32) -> 6*
    k0(10,6,34) -> 6*
    k0(35,10,34) -> 6*
    k0(38,38,30) -> 6*
    k0(32,40,9) -> 6*
    k0(41,9,6) -> 6*
    k0(6,34,38) -> 6*
    k0(31,38,38) -> 6*
    k0(30,18,9) -> 6*
    k0(9,40,6) -> 6*
    k0(38,31,41) -> 6*
    k0(16,33,9) -> 6*
    k0(16,9,31) -> 6*
    k0(35,15,10) -> 6*
    k0(15,31,38) -> 6*
    k0(40,35,38) -> 6*
    k0(39,15,9) -> 6*
    k0(9,9,39) -> 6*
    k0(33,39,16) -> 6*
    k0(32,41,15) -> 6*
    k0(17,35,35) -> 6*
    k0(31,17,16) -> 6*
    k0(41,41,34) -> 6*
    k0(15,39,33) -> 6*
    k0(10,15,35) -> 6*
    k0(39,34,18) -> 6*
    k0(18,10,9) -> 6*
    k0(18,6,39) -> 6*
    k0(18,41,31) -> 6*
    k0(17,32,16) -> 6*
    k0(16,34,15) -> 6*
    k0(41,38,15) -> 6*
    k0(6,17,41) -> 6*
    k0(15,10,16) -> 6*
    k0(39,16,15) -> 6*
    k0(31,33,6) -> 6*
    k0(16,38,40) -> 6*
    k0(40,18,41) -> 6*
    k0(34,31,34) -> 6*
    k0(33,33,33) -> 6*
    k0(32,35,32) -> 6*
    k0(17,18,38) -> 6*
    k0(32,9,34) -> 6*
    k0(40,30,6) -> 6*
    k0(10,33,30) -> 6*
    k0(18,39,18) -> 6*
    k0(33,15,30) -> 6*
    k0(32,6,15) -> 6*
    k0(16,17,18) -> 6*
    k0(41,32,32) -> 6*
    k0(6,39,6) -> 6*
    k0(41,6,34) -> 6*
    k0(9,32,10) -> 6*
    k0(35,30,41) -> 6*
    k0(30,41,35) -> 6*
    k0(34,32,40) -> 6*
    k0(39,10,32) -> 6*
    k0(33,34,39) -> 6*
    k0(32,10,40) -> 6*
    k0(30,38,16) -> 6*
    k0(40,40,6) -> 6*
    k0(39,38,35) -> 6*
    k0(38,40,34) -> 6*
    k0(32,18,35) -> 6*
    k0(10,31,17) -> 6*
    k0(15,9,9) -> 6*
    k0(35,35,17) -> 6*
    k0(10,16,33) -> 6*
    k0(40,9,39) -> 6*
    k0(15,40,31) -> 6*
    k0(9,18,32) -> 6*
    k0(39,35,16) -> 6*
    k0(41,15,35) -> 6*
    k0(39,39,41) -> 6*
    k0(18,15,32) -> 6*
    k0(38,41,40) -> 6*
    k0(17,41,9) -> 6*
    k0(17,6,17) -> 6*
    k0(6,41,18) -> 6*
    k0(16,39,38) -> 6*
    k0(31,30,34) -> 6*
    k0(30,32,33) -> 6*
    k0(10,17,39) -> 6*
    k0(10,41,17) -> 6*
    k0(33,34,31) -> 6*
    k0(15,38,18) -> 6*
    k0(18,40,16) -> 6*
    k0(38,31,32) -> 6*
    k0(6,31,10) -> 6*
    k0(31,35,10) -> 6*
    k0(31,31,40) -> 6*
    k0(16,18,16) -> 6*
    k0(41,33,30) -> 6*
    k0(35,35,9) -> 6*
    k0(30,33,39) -> 6*
    k0(10,31,9) -> 6*
    k0(34,33,38) -> 6*
    k0(40,32,10) -> 6*
    k0(10,35,34) -> 6*
    k0(35,39,34) -> 6*
    k0(34,41,33) -> 6*
    k0(39,30,39) -> 6*
    k0(33,32,18) -> 6*
    k0(38,10,10) -> 6*
    k0(33,17,34) -> 6*
    k0(32,34,17) -> 6*
    k0(38,6,40) -> 6*
    k0(16,34,6) -> 6*
    k0(6,17,32) -> 6*
    k0(31,10,18) -> 6*
    k0(6,6,18) -> 6*
    k0(10,32,15) -> 6*
    k0(39,16,6) -> 6*
    k0(10,17,31) -> 6*
    k0(18,34,33) -> 6*
    k0(41,31,17) -> 6*
    k0(17,10,34) -> 6*
    k0(41,16,33) -> 6*
    k0(10,40,10) -> 6*
    k0(40,18,32) -> 6*
    k0(35,40,40) -> 6*
    k0(39,9,17) -> 6*
    k0(34,16,41) -> 6*
    k0(39,40,39) -> 6*
    k0(18,16,30) -> 6*
    k0(33,18,40) -> 6*
    k0(30,33,31) -> 6*
    k0(18,35,39) -> 6*
    k0(32,6,6) -> 6*
    k0(17,15,10) -> 6*
    k0(18,9,41) -> 6*
    k0(41,17,39) -> 6*
    k0(41,41,17) -> 6*
    k0(15,39,16) -> 6*
    k0(10,15,18) -> 6*
    k0(35,30,32) -> 6*
    k0(9,17,17) -> 6*
    k0(39,30,31) -> 6*
    k0(34,6,33) -> 6*
    k0(38,32,30) -> 6*
    k0(32,34,9) -> 6*
    k0(32,10,31) -> 6*
    k0(31,32,38) -> 6*
    k0(34,38,6) -> 6*
    k0(32,38,34) -> 6*
    k0(41,31,9) -> 6*
    k0(31,40,33) -> 6*
    k0(30,31,18) -> 6*
    k0(35,9,10) -> 6*
    k0(30,16,34) -> 6*
    k0(9,38,31) -> 6*
    k0(33,33,16) -> 6*
    k0(32,35,15) -> 6*
    k0(6,18,30) -> 6*
    k0(16,31,34) -> 6*
    k0(41,35,34) -> 6*
    k0(15,33,33) -> 6*
    k0(10,9,35) -> 6*
    k0(39,39,32) -> 6*
    k0(38,30,17) -> 6*
    k0(18,35,31) -> 6*
    k0(38,15,33) -> 6*
    k0(32,39,40) -> 6*
    k0(41,32,15) -> 6*
    k0(41,17,31) -> 6*
    k0(31,15,41) -> 6*
    k0(15,15,30) -> 6*
    k0(30,17,40) -> 6*
    k0(35,41,38) -> 6*
    k0(39,10,15) -> 6*
    k0(9,17,9) -> 6*
    k0(41,40,10) -> 6*
    k0(17,30,41) -> 6*
    k0(16,32,40) -> 6*
    k0(15,34,39) -> 6*
    k0(39,18,10) -> 6*
    k0(34,40,18) -> 6*
    k0(38,16,39) -> 6*
    k0(38,40,17) -> 6*
    k0(32,18,18) -> 6*
    k0(6,16,17) -> 6*
    k0(10,16,16) -> 6*
    k0(35,31,30) -> 6*
    k0(9,18,15) -> 6*
    k0(18,33,18) -> 6*
    k0(18,18,34) -> 6*
    k0(33,9,30) -> 6*
    k0(17,35,17) -> 6*
    k0(41,15,18) -> 6*
    k0(40,17,17) -> 6*
    k0(30,35,35) -> 6*
    k0(34,30,10) -> 6*
    k0(18,15,15) -> 6*
    k0(38,30,9) -> 6*
    k0(38,6,31) -> 6*
    k0(6,6,9) -> 6*
    k0(31,10,9) -> 6*
    k0(10,32,6) -> 6*
    k0(31,6,39) -> 6*
    k0(31,41,31) -> 6*
    k0(30,32,16) -> 6*
    k0(35,6,38) -> 6*
    k0(39,32,35) -> 6*
    k0(38,34,34) -> 6*
    k0(15,34,31) -> 6*
    k0(10,10,33) -> 6*
    k0(40,38,31) -> 6*
    k0(39,40,30) -> 6*
    k0(34,16,32) -> 6*
    k0(38,31,15) -> 6*
    k0(33,38,39) -> 6*
    k0(38,16,31) -> 6*
    k0(32,40,38) -> 6*
    k0(41,9,35) -> 6*
    k0(6,16,9) -> 6*
    k0(30,18,38) -> 6*
    k0(39,33,41) -> 6*
    k0(38,39,10) -> 6*
    k0(9,40,35) -> 6*
    k0(18,9,32) -> 6*
    k0(38,35,40) -> 6*
    k0(17,35,9) -> 6*
    k0(31,39,18) -> 6*
    k0(6,35,18) -> 6*
    k0(16,33,38) -> 6*
    k0(35,15,39) -> 6*
    k0(35,39,17) -> 6*
    k0(40,17,9) -> 6*
    k0(34,41,16) -> 6*
    k0(39,15,38) -> 6*
    k0(17,39,34) -> 6*
    k0(32,30,30) -> 6*
    k0(6,17,15) -> 6*
    k0(16,41,33) -> 6*
    k0(15,32,18) -> 6*
    k0(15,17,34) -> 6*
    k0(9,41,41) -> 6*
    k0(18,34,16) -> 6*
    k0(41,16,16) -> 6*
    k0(40,18,15) -> 6*
    k0(32,35,6) -> 6*
    k0(18,38,41) -> 6*
    k0(17,40,40) -> 6*
    k0(16,16,41) -> 6*
    k0(35,33,34) -> 6*
    k0(15,18,40) -> 6*
    k0(34,35,33) -> 6*
    k0(9,31,33) -> 6*
    k0(41,32,6) -> 6*
    k0(31,15,32) -> 6*
    k0(30,41,9) -> 6*
    k0(35,30,15) -> 6*
    k0(30,6,17) -> 6*
    k0(39,10,6) -> 6*
    k0(35,15,31) -> 6*
    k0(34,6,16) -> 6*
    k0(34,17,30) -> 6*
    k0(17,30,32) -> 6*
    k0(6,39,35) -> 6*
    k0(16,6,33) -> 6*
    k0(10,34,10) -> 6*
    k0(35,38,10) -> 6*
    k0(41,10,33) -> 6*
    k0(10,30,40) -> 6*
    k0(35,34,40) -> 6*
    k0(39,38,9) -> 6*
    k0(9,32,39) -> 6*
    k0(33,16,10) -> 6*
    k0(9,6,41) -> 6*
    k0(34,10,41) -> 6*
    k0(18,10,30) -> 6*
    k0(32,38,17) -> 6*
    k0(16,38,6) -> 6*
    k0(31,40,16) -> 6*
    k0(9,18,6) -> 6*
    k0(40,40,35) -> 6*
    k0(17,9,10) -> 6*
    k0(6,40,41) -> 6*
    k0(15,33,16) -> 6*
    k0(10,9,18) -> 6*
    k0(39,39,15) -> 6*
    k0(34,15,17) -> 6*
    k0(18,15,6) -> 6*
    k0(38,15,16) -> 6*
    k0(40,41,41) -> 6*
    k0(18,39,39) -> 6*
    k0(33,30,35) -> 6*
    k0(17,41,38) -> 6*
    k0(32,32,34) -> 6*
    k0(31,34,33) -> 6*
    k0(6,30,33) -> 6*
    k0(30,10,34) -> 6*
    k0(38,31,6) -> 6*
    k0(9,32,31) -> 6*
    k0(33,38,30) -> 6*
    k0(16,40,18) -> 6*
    k0(31,16,30) -> 6*
    k0(40,31,33) -> 6*
    k0(39,33,32) -> 6*
    k0(33,31,41) -> 6*
    k0(38,9,33) -> 6*
    k0(17,31,30) -> 6*
    k0(32,33,40) -> 6*
    k0(6,31,39) -> 6*
    k0(31,35,39) -> 6*
    k0(30,15,10) -> 6*
    k0(31,9,41) -> 6*
    k0(10,31,38) -> 6*
    k0(15,9,30) -> 6*
    k0(35,35,38) -> 6*
    k0(34,15,9) -> 6*
    k0(38,41,6) -> 6*
    k0(6,17,6) -> 6*
    k0(16,30,10) -> 6*
    k0(41,34,10) -> 6*
    k0(41,30,40) -> 6*
    k0(10,39,33) -> 6*
    k0(40,32,39) -> 6*
    k0(34,34,18) -> 6*
    k0(9,30,18) -> 6*
    k0(40,6,41) -> 6*
    k0(9,41,32) -> 6*
    k0(9,15,34) -> 6*
    k0(38,10,39) -> 6*
    k0(17,6,38) -> 6*
    k0(6,10,17) -> 6*
    k0(40,18,6) -> 6*
    k0(6,41,39) -> 6*
    k0(10,10,16) -> 6*
    k0(34,16,15) -> 6*
    k0(39,16,35) -> 6*
    k0(18,38,32) -> 6*
    k0(16,16,32) -> 6*
    k0(41,9,18) -> 6*
    k0(15,38,39) -> 6*
    k0(35,18,41) -> 6*
    k0(9,16,40) -> 6*
    k0(18,9,15) -> 6*
    k0(35,30,6) -> 6*
    k0(6,31,31) -> 6*
    k0(31,35,31) -> 6*
    k0(18,17,10) -> 6*
    k0(17,15,39) -> 6*
    k0(32,6,35) -> 6*
    k0(17,39,17) -> 6*
    k0(16,41,16) -> 6*
    k0(40,32,31) -> 6*
    k0(30,30,41) -> 6*
    k0(39,34,30) -> 6*
    k0(34,10,32) -> 6*
    k0(9,6,32) -> 6*
    k0(32,34,38) -> 6*
    k0(35,40,6) -> 6*
    k0(34,38,35) -> 6*
    k0(38,33,10) -> 6*
    k0(9,34,35) -> 6*
    k0(33,40,34) -> 6*
    k0(31,33,18) -> 6*
    k0(6,40,32) -> 6*
    k0(31,18,34) -> 6*
    k0(41,31,38) -> 6*
    k0(10,9,9) -> 6*
    k0(30,35,17) -> 6*
    k0(35,9,39) -> 6*
    k0(10,40,31) -> 6*
    k0(34,35,16) -> 6*
    k0(9,31,16) -> 6*
    k0(39,9,38) -> 6*
    k0(18,31,35) -> 6*
    k0(17,33,34) -> 6*
    k0(16,35,33) -> 6*
    k0(31,15,15) -> 6*
    k0(41,39,33) -> 6*
    k0(40,41,32) -> 6*
    k0(40,30,18) -> 6*
    k0(40,15,34) -> 6*
    k0(39,32,17) -> 6*
    k0(34,39,41) -> 6*
    k0(39,17,33) -> 6*
    k0(9,35,41) -> 6*
    k0(18,39,30) -> 6*
    k0(33,41,40) -> 6*
    k0(17,30,15) -> 6*
    k0(17,15,31) -> 6*
    k0(32,17,41) -> 6*
    k0(16,6,16) -> 6*
    k0(16,17,30) -> 6*
    k0(6,15,40) -> 6*
    k0(41,10,16) -> 6*
    k0(9,17,38) -> 6*
    k0(17,38,10) -> 6*
    k0(18,32,41) -> 6*
    k0(17,34,40) -> 6*
    k0(10,38,18) -> 6*
    k0(15,16,10) -> 6*
    k0(16,10,41) -> 6*
    k0(40,16,40) -> 6*
    k0(39,18,39) -> 6*
    k0(33,31,32) -> 6*
    k0(31,9,32) -> 6*
    k0(30,35,9) -> 6*
    k0(32,39,6) -> 6*
    k0(16,15,17) -> 6*
    k0(35,32,10) -> 6*
    k0(6,33,35) -> 6*
    k0(30,39,34) -> 6*
    k0(40,6,32) -> 6*
    k0(39,32,9) -> 6*
    k0(34,30,39) -> 6*
    k0(33,10,10) -> 6*
    k0(38,30,38) -> 6*
    k0(33,6,40) -> 6*
    k0(6,41,30) -> 6*
    k0(31,34,16) -> 6*
    k0(6,30,16) -> 6*
    k0(34,16,6) -> 6*
    k0(15,30,35) -> 6*
    k0(40,34,35) -> 6*
    k0(38,38,33) -> 6*
    k0(41,9,9) -> 6*
    k0(41,40,31) -> 6*
    k0(6,34,41) -> 6*
    k0(31,38,41) -> 6*
    k0(15,38,30) -> 6*
    k0(40,31,16) -> 6*
    k0(30,40,40) -> 6*
    k0(35,18,32) -> 6*
    k0(9,40,9) -> 6*
    k0(39,33,15) -> 6*
    k0(34,9,17) -> 6*
    k0(34,40,39) -> 6*
    k0(39,18,31) -> 6*
    k0(18,9,6) -> 6*
    k0(38,9,16) -> 6*
    k0(6,16,38) -> 6*
    k0(39,41,10) -> 6*
    k0(15,31,41) -> 6*
    k0(40,35,41) -> 6*
    k0(32,41,18) -> 6*
    k0(17,35,38) -> 6*
    k0(16,15,9) -> 6*
    k0(10,39,16) -> 6*
    k0(30,30,32) -> 6*
    k0(40,17,38) -> 6*
    k0(9,41,15) -> 6*
    k0(34,30,31) -> 6*
    k0(33,32,30) -> 6*
    k0(18,41,34) -> 6*
    k0(16,34,18) -> 6*
    k0(41,38,18) -> 6*
    k0(31,10,30) -> 6*
    k0(6,6,30) -> 6*
    h1(40) -> 6*
    h1(35) -> 10*,8,6
    h1(30) -> 10*,8,6
    h1(15) -> 10*,8,6
    h1(10) -> 6*
    h1(32) -> 10*,8,6
    h1(17) -> 6*
    h1(7) -> 8*
    h1(39) -> 10*,8,6
    h1(34) -> 6*
    h1(9) -> 10*,8,6
    h1(41) -> 6*
    h1(31) -> 8,6,10*
    h1(16) -> 10*,8,6
    h1(6) -> 6*
    h1(38) -> 10*,8,6
    h1(33) -> 6*
    h1(18) -> 6*
    g1(40) -> 6*
    g1(35) -> 6*
    g1(10) -> 6*
    g1(17) -> 6*
    g1(34) -> 6*
    g1(41) -> 6*
    g1(31) -> 6*
    g1(33) -> 6*
    g1(18) -> 6*
    g1(8) -> 6*
    g2(40) -> 6,10*
    g2(35) -> 6,10*
    g2(30) -> 6,10*
    g2(15) -> 6,10*
    g2(10) -> 6,10*
    g2(42) -> 10*,6
    g2(32) -> 6,10*
    g2(22) -> 10*
    g2(17) -> 10*,6
    g2(12) -> 9*
    g2(39) -> 10*
    g2(34) -> 31*
    g2(14) -> 6*
    g2(9) -> 6,10*
    g2(41) -> 6,10*
    g2(31) -> 6,10*
    g2(16) -> 6,10*
    g2(6) -> 6,10*
    g2(38) -> 10*
    g2(33) -> 6,10*
    g2(18) -> 9,31*,6
    h2(35) -> 10,6,8,17*,14
    h2(30) -> 12*
    h2(15) -> 10,17*,6,8,14
    h2(32) -> 10,6,8,14,33*,22
    h2(39) -> 42*,22,14
    h2(21) -> 22*
    h2(16) -> 10,18*,6,8,12
    h2(11) -> 12*
    h2(38) -> 14*
    h2(13) -> 14*
    f2(40) -> 6,15*,13
    f2(35) -> 6,15*,13
    f2(30) -> 6,15*
    f2(15) -> 6,15*
    f2(10) -> 9,15*,6,13
    f2(42) -> 13*
    f2(37) -> 13*
    f2(32) -> 6,15*
    f2(22) -> 13*
    f2(17) -> 6,15*,13
    f2(12) -> 21*
    f2(39) -> 6,15*
    f2(34) -> 32*,21,13
    f2(14) -> 13*
    f2(9) -> 9,15*,6,13
    f2(41) -> 6,15*,13
    f2(31) -> 6,13,15*
    f2(16) -> 6,15*
    f2(6) -> 9,15*,7,6,13
    f2(38) -> 6,15*
    f2(33) -> 6,13,15*
    f2(18) -> 15,32*,21,6,13
    f2(8) -> 13*
    g3(40) -> 10,6,17*
    g3(20) -> 15*
    g3(37) -> 17*
    g3(34) -> 15,31,35*,6
    g3(41) -> 10,6,17*
    h3(30) -> 10,18,34*,12,8,6,20
    h3(39) -> 33,10,42,40*,14,22,8,6,37
    h3(19) -> 20*
    h3(36) -> 37*
    h3(38) -> 10,17,41*,14,8,6,37
    a3() -> 9,16,30*,11,6,7,19
    f3(20) -> 15,38*,36
    f3(34) -> 32,39*,13,21,6,36
  problem:
   
  Qed