YES

Problem:
 f(y,f(x,f(a(),x))) -> f(f(a(),f(x,a())),f(a(),y))
 f(x,f(x,y)) -> f(f(f(x,a()),a()),a())

Proof:
 Bounds Processor:
  bound: 2
  enrichment: top
  automaton:
   final states: {175,168,167,166,158,157,156,155,154,153,152,151,150,
                  149,148,147,146,145,144,143,142,140,139,138,137,134,
                  131,130,128,127,126,125,124,122,120,50,48,47,45,44,
                  42,41,40,37,7,1}
   transitions:
    f20() -> 2*
    f0(129,152) -> 1*
    f0(18,133) -> 39*
    f0(6,167) -> 1*
    f0(158,44) -> 1*
    f0(41,42) -> 1*
    f0(152,136) -> 19,39*
    f0(146,153) -> 1*
    f0(175,45) -> 1*
    f0(134,19) -> 1*
    f0(128,36) -> 1*
    f0(17,17) -> 1*
    f0(175,120) -> 1*
    f0(163,154) -> 1*
    f0(46,152) -> 1*
    f0(122,128) -> 1*
    f0(157,3) -> 9,1,156*
    f0(174,172) -> 42*
    f0(45,36) -> 1*
    f0(127,163) -> 1*
    f0(144,164) -> 1*
    f0(39,128) -> 1*
    f0(156,130) -> 1*
    f0(150,147) -> 1*
    f0(126,47) -> 1*
    f0(167,148) -> 1*
    f0(50,146) -> 1*
    f0(44,163) -> 1*
    f0(120,139) -> 1*
    f0(3,137) -> 20,19,49*
    f0(143,48) -> 1*
    f0(126,122) -> 1*
    f0(137,140) -> 1*
    f0(131,157) -> 1*
    f0(20,138) -> 1*
    f0(8,172) -> 37*
    f0(172,15) -> 18*
    f0(160,49) -> 1*
    f0(43,47) -> 1*
    f0(160,124) -> 1*
    f0(148,158) -> 1*
    f0(142,175) -> 1*
    f0(43,122) -> 1*
    f0(37,139) -> 1*
    f0(130,41) -> 1*
    f0(48,157) -> 1*
    f0(165,159) -> 1*
    f0(124,133) -> 39*,19
    f0(147,42) -> 1*
    f0(18,149) -> 1*
    f0(47,41) -> 1*
    f0(129,168) -> 1*
    f0(6,15) -> 36*,4,17
    f0(152,152) -> 1*
    f0(41,133) -> 39*
    f0(175,136) -> 19,39*
    f0(46,168) -> 1*
    f0(128,127) -> 1*
    f0(122,144) -> 1*
    f0(157,19) -> 1*
    f0(151,36) -> 1*
    f0(40,17) -> 1*
    f0(145,128) -> 1*
    f0(139,145) -> 1*
    f0(39,144) -> 1*
    f0(156,146) -> 1*
    f0(150,163) -> 1*
    f0(45,127) -> 1*
    f0(167,164) -> 1*
    f0(3,153) -> 19,39*
    f0(149,47) -> 1*
    f0(132,121) -> 16*
    f0(126,138) -> 1*
    f0(120,155) -> 1*
    f0(149,122) -> 1*
    f0(143,139) -> 1*
    f0(137,156) -> 1*
    f0(131,173) -> 19,39*
    f0(20,154) -> 1*
    f0(166,48) -> 1*
    f0(49,46) -> 1*
    f0(160,140) -> 1*
    f0(154,157) -> 1*
    f0(49,121) -> 1*
    f0(43,138) -> 1*
    f0(37,155) -> 1*
    f0(165,175) -> 1*
    f0(48,173) -> 19,39*
    f0(130,132) -> 39*,19
    f0(124,149) -> 1*
    f0(153,41) -> 1*
    f0(36,39) -> 1*
    f0(147,133) -> 19,39*
    f0(164,134) -> 1*
    f0(158,151) -> 1*
    f0(152,168) -> 1*
    f0(47,132) -> 39*,19
    f0(41,149) -> 1*
    f0(146,17) -> 1*
    f0(17,49) -> 1*
    f0(175,152) -> 1*
    f0(134,126) -> 1*
    f0(128,143) -> 1*
    f0(122,160) -> 1*
    f0(17,124) -> 1*
    f0(151,127) -> 1*
    f0(145,144) -> 1*
    f0(121,44) -> 19,39*
    f0(168,128) -> 1*
    f0(45,143) -> 1*
    f0(39,160) -> 1*
    f0(138,45) -> 1*
    f0(155,46) -> 1*
    f0(38,44) -> 1*
    f0(138,120) -> 1*
    f0(126,154) -> 1*
    f0(120,3) -> 122*,9,1
    f0(3,1) -> 36*,4,17
    f0(155,121) -> 1,124*
    f0(149,138) -> 1*
    f0(143,155) -> 1*
    f0(137,172) -> 124*,1
    f0(172,47) -> 19,49*,20
    f0(172,122) -> 19,49*,20
    f0(166,139) -> 1*
    f0(160,156) -> 1*
    f0(154,173) -> 19,39*
    f0(49,137) -> 1*
    f0(43,154) -> 1*
    f0(142,39) -> 1*
    f0(37,3) -> 43*
    f0(130,148) -> 1*
    f0(159,40) -> 1*
    f0(42,38) -> 1*
    f0(153,132) -> 19,39*
    f0(147,149) -> 1*
    f0(36,130) -> 1*
    f0(6,47) -> 1*
    f0(164,150) -> 1*
    f0(158,167) -> 1*
    f0(47,148) -> 1*
    f0(140,50) -> 1*
    f0(6,122) -> 1*
    f0(175,168) -> 1*
    f0(134,142) -> 1*
    f0(128,159) -> 1*
    f0(17,140) -> 1*
    f0(40,49) -> 1*
    f0(157,126) -> 1*
    f0(151,143) -> 1*
    f0(145,160) -> 1*
    f0(40,124) -> 1*
    f0(168,144) -> 1*
    f0(45,159) -> 1*
    f0(121,135) -> 20*
    f0(144,44) -> 1*
    f0(161,45) -> 1*
    f0(138,136) -> 39*,19
    f0(120,19) -> 1*
    f0(3,17) -> 19*
    f0(161,120) -> 1*
    f0(155,137) -> 1*
    f0(149,154) -> 1*
    f0(143,3) -> 1,44*
    f0(172,138) -> 19,39*
    f0(166,155) -> 1*
    f0(160,172) -> 1*
    f0(49,153) -> 1*
    f0(142,130) -> 1*
    f0(130,164) -> 1*
    f0(19,145) -> 1*
    f0(165,39) -> 1*
    f0(159,131) -> 1*
    f0(153,148) -> 1*
    f0(36,146) -> 1*
    f0(129,48) -> 1*
    f0(164,166) -> 1*
    f0(47,164) -> 1*
    f0(158,15) -> 19,39*
    f0(146,49) -> 1*
    f0(6,138) -> 1*
    f0(146,124) -> 1*
    f0(134,158) -> 1*
    f0(128,175) -> 1*
    f0(17,156) -> 1*
    f0(163,50) -> 1*
    f0(46,48) -> 1*
    f0(157,142) -> 1*
    f0(151,159) -> 1*
    f0(40,140) -> 1*
    f0(168,160) -> 1*
    f0(45,175) -> 1*
    f0(127,134) -> 1*
    f0(121,151) -> 19,20,49*
    f0(167,44) -> 1*
    f0(50,42) -> 1*
    f0(138,152) -> 1*
    f0(44,134) -> 1*
    f0(38,151) -> 1*
    f0(161,136) -> 39*
    f0(155,153) -> 1*
    f0(143,19) -> 1*
    f0(137,36) -> 1*
    f0(172,154) -> 19,49*,20
    f0(166,3) -> 1,40*
    f0(131,128) -> 1*
    f0(142,146) -> 1*
    f0(165,130) -> 1*
    f0(159,147) -> 1*
    f0(153,164) -> 1*
    f0(48,128) -> 1*
    f0(42,145) -> 1*
    f0(18,45) -> 1*
    f0(129,139) -> 1*
    f0(18,120) -> 1*
    f0(6,154) -> 1*
    f0(152,48) -> 1*
    f0(17,172) -> 1*
    f0(146,140) -> 1*
    f0(140,157) -> 1*
    f0(122,40) -> 1*
    f0(157,158) -> 1*
    f0(151,175) -> 1*
    f0(46,139) -> 1*
    f0(40,156) -> 1*
    f0(139,41) -> 1*
    f0(127,150) -> 1*
    f0(121,167) -> 19,39*
    f0(156,42) -> 1*
    f0(39,40) -> 1*
    f0(150,134) -> 1*
    f0(144,151) -> 1*
    f0(138,168) -> 1*
    f0(3,49) -> 19,39*
    f0(161,152) -> 1*
    f0(50,133) -> 39*,19
    f0(44,150) -> 1*
    f0(38,167) -> 1*
    f0(20,50) -> 1*
    f0(120,126) -> 1*
    f0(3,124) -> 19,39*
    f0(172,2) -> 4*
    f0(166,19) -> 1*
    f0(160,36) -> 1*
    f0(49,17) -> 1*
    f0(137,127) -> 1*
    f0(131,144) -> 1*
    f0(154,128) -> 1*
    f0(148,145) -> 1*
    f0(37,126) -> 1*
    f0(124,45) -> 1*
    f0(165,146) -> 1*
    f0(159,163) -> 1*
    f0(48,144) -> 1*
    f0(124,120) -> 1*
    f0(129,155) -> 1*
    f0(18,136) -> 39*
    f0(158,47) -> 1*
    f0(41,45) -> 1*
    f0(175,48) -> 1*
    f0(158,122) -> 1*
    f0(152,139) -> 1*
    f0(146,156) -> 1*
    f0(140,173) -> 19,39*
    f0(41,120) -> 1*
    f0(128,39) -> 1*
    f0(163,157) -> 1*
    f0(46,155) -> 1*
    f0(40,172) -> 1,44*
    f0(145,40) -> 1*
    f0(122,131) -> 1*
    f0(139,132) -> 19,39*
    f0(127,166) -> 1*
    f0(45,39) -> 1*
    f0(121,15) -> 18*
    f0(156,133) -> 19,39*
    f0(150,150) -> 1*
    f0(144,167) -> 1*
    f0(39,131) -> 1*
    f0(126,50) -> 1*
    f0(167,151) -> 1*
    f0(161,168) -> 1*
    f0(50,149) -> 1*
    f0(44,166) -> 1*
    f0(120,142) -> 1*
    f0(3,140) -> 19,39*
    f0(155,17) -> 1*
    f0(38,15) -> 36*
    f0(172,18) -> 36*
    f0(43,50) -> 1*
    f0(143,126) -> 1*
    f0(137,143) -> 1*
    f0(131,160) -> 1*
    f0(160,127) -> 1*
    f0(154,144) -> 1*
    f0(37,142) -> 1*
    f0(130,44) -> 1*
    f0(48,160) -> 1*
    f0(124,136) -> 39*,19
    f0(147,45) -> 1*
    f0(147,120) -> 1*
    f0(18,152) -> 1*
    f0(164,46) -> 1*
    f0(47,44) -> 1*
    f0(129,3) -> 45*,9
    f0(164,121) -> 1*
    f0(158,138) -> 1*
    f0(152,155) -> 1*
    f0(146,172) -> 9,1,150*
    f0(41,136) -> 39*
    f0(17,36) -> 1*
    f0(175,139) -> 1*
    f0(163,173) -> 39*
    f0(151,39) -> 1*
    f0(46,3) -> 1*
    f0(128,130) -> 1*
    f0(122,147) -> 1*
    f0(145,131) -> 1*
    f0(139,148) -> 1*
    f0(168,40) -> 1*
    f0(156,149) -> 1*
    f0(150,166) -> 1*
    f0(45,130) -> 1*
    f0(39,147) -> 1*
    f0(144,15) -> 19,39*
    f0(167,167) -> 1*
    f0(120,158) -> 1*
    f0(3,156) -> 19,20,49*
    f0(149,50) -> 1*
    f0(49,49) -> 1*
    f0(143,142) -> 1*
    f0(137,159) -> 1*
    f0(20,157) -> 1*
    f0(166,126) -> 1*
    f0(160,143) -> 1*
    f0(154,160) -> 1*
    f0(49,124) -> 1*
    f0(37,158) -> 1*
    f0(19,41) -> 1*
    f0(124,152) -> 1*
    f0(153,44) -> 1*
    f0(36,42) -> 1*
    f0(147,136) -> 19,39*
    f0(18,168) -> 1*
    f0(129,19) -> 1*
    f0(164,137) -> 1*
    f0(158,154) -> 1*
    f0(41,152) -> 1*
    f0(152,3) -> 9,1,50*
    f0(175,155) -> 1*
    f0(46,19) -> 1*
    f0(40,36) -> 1*
    f0(128,146) -> 1*
    f0(122,163) -> 1*
    f0(17,127) -> 1*
    f0(139,164) -> 1*
    f0(151,130) -> 1*
    f0(145,147) -> 1*
    f0(121,47) -> 20,19,49*
    f0(168,131) -> 1*
    f0(45,146) -> 1*
    f0(39,163) -> 1*
    f0(138,48) -> 1*
    f0(121,122) -> 19,49*,20
    f0(126,157) -> 1*
    f0(3,172) -> 15*
    f0(167,15) -> 19,39*
    f0(155,49) -> 1*
    f0(38,47) -> 1*
    f0(155,124) -> 1*
    f0(143,158) -> 1*
    f0(137,175) -> 1*
    f0(38,122) -> 1*
    f0(20,173) -> 39*
    f0(172,50) -> 19,49*,20
    f0(49,140) -> 1*
    f0(43,157) -> 1*
    f0(172,125) -> 36*
    f0(166,142) -> 1*
    f0(160,159) -> 1*
    f0(142,42) -> 1*
    f0(19,132) -> 19*
    f0(42,41) -> 1*
    f0(130,151) -> 1*
    f0(124,168) -> 1*
    f0(147,152) -> 1*
    f0(36,133) -> 39*
    f0(6,50) -> 1*
    f0(164,153) -> 1*
    f0(47,151) -> 1*
    f0(41,168) -> 1*
    f0(152,19) -> 1*
    f0(146,36) -> 1*
    f0(140,128) -> 1*
    f0(134,145) -> 1*
    f0(17,143) -> 1*
    f0(175,3) -> 9,1,47*
    f0(151,146) -> 1*
    f0(145,163) -> 1*
    f0(40,127) -> 1*
    f0(127,46) -> 1*
    f0(168,147) -> 1*
    f0(144,47) -> 1*
    f0(127,121) -> 1,48*
    f0(121,138) -> 39*,19
    f0(144,122) -> 1*
    f0(138,139) -> 1*
    f0(126,173) -> 19,39*
    f0(161,48) -> 1*
    f0(44,46) -> 1*
    f0(9,3) -> 41*,4,1,17,10
    f0(3,20) -> 36*,4,17
    f0(155,140) -> 1*
    f0(149,157) -> 1*
    f0(44,121) -> 1,44*
    f0(38,138) -> 1*
    f0(131,40) -> 1*
    f0(166,158) -> 1*
    f0(160,175) -> 1*
    f0(49,156) -> 1*
    f0(43,173) -> 39*
    f0(148,41) -> 1*
    f0(165,42) -> 1*
    f0(48,40) -> 1*
    f0(142,133) -> 39*
    f0(130,167) -> 1*
    f0(19,148) -> 1*
    f0(159,134) -> 1*
    f0(153,151) -> 1*
    f0(147,168) -> 1*
    f0(42,132) -> 39*,19
    f0(36,149) -> 1*
    f0(47,167) -> 1*
    f0(129,126) -> 1*
    f0(146,127) -> 1*
    f0(140,144) -> 1*
    f0(17,159) -> 1*
    f0(175,19) -> 1*
    f0(163,128) -> 1*
    f0(157,145) -> 1*
    f0(46,126) -> 1*
    f0(40,143) -> 1*
    f0(168,163) -> 1*
    f0(150,46) -> 1*
    f0(127,137) -> 1*
    f0(121,154) -> 19,20,49*
    f0(150,121) -> 1,124*
    f0(144,138) -> 1*
    f0(138,155) -> 1*
    f0(132,172) -> 16*
    f0(167,47) -> 1*
    f0(50,45) -> 1*
    f0(3,36) -> 19*
    f0(167,122) -> 1*
    f0(161,139) -> 1*
    f0(155,156) -> 1*
    f0(149,173) -> 19,39*
    f0(50,120) -> 1*
    f0(44,137) -> 1*
    f0(38,154) -> 1*
    f0(137,39) -> 1*
    f0(172,157) -> 19,49*,20
    f0(49,172) -> 1*
    f0(131,131) -> 1*
    f0(154,40) -> 1*
    f0(37,38) -> 1*
    f0(148,132) -> 19,39*
    f0(142,149) -> 1*
    f0(19,164) -> 1*
    f0(130,15) -> 39*,19
    f0(165,133) -> 39*
    f0(159,150) -> 1*
    f0(153,167) -> 1*
    f0(48,131) -> 1*
    f0(42,148) -> 1*
    f0(18,48) -> 1*
    f0(129,142) -> 1*
    f0(6,157) -> 1*
    f0(164,17) -> 1*
    f0(47,15) -> 19,39*
    f0(152,126) -> 1*
    f0(146,143) -> 1*
    f0(140,160) -> 1*
    f0(17,175) -> 1*
    f0(163,144) -> 1*
    f0(46,142) -> 1*
    f0(40,159) -> 1*
    f0(139,44) -> 1*
    f0(156,45) -> 1*
    f0(127,153) -> 1*
    f0(121,2) -> 4*
    f0(156,120) -> 1*
    f0(150,137) -> 1*
    f0(144,154) -> 1*
    f0(138,3) -> 40*,1
    f0(173,121) -> 16*
    f0(167,138) -> 1*
    f0(161,155) -> 1*
    f0(155,172) -> 124*,1
    f0(50,136) -> 39*,19
    f0(44,153) -> 1*
    f0(3,127) -> 20,19,49*
    f0(172,173) -> 18*
    f0(137,130) -> 1*
    f0(131,147) -> 1*
    f0(20,128) -> 1*
    f0(172,5) -> 38*
    f0(160,39) -> 1*
    f0(154,131) -> 1*
    f0(148,148) -> 1*
    f0(124,48) -> 1*
    f0(165,149) -> 1*
    f0(159,166) -> 1*
    f0(48,147) -> 1*
    f0(42,164) -> 1*
    f0(153,15) -> 19,39*
    f0(129,158) -> 1*
    f0(18,139) -> 1*
    f0(6,173) -> 36*
    f0(158,50) -> 1*
    f0(41,48) -> 1*
    f0(152,142) -> 1*
    f0(146,159) -> 1*
    f0(128,42) -> 1*
    f0(175,126) -> 1*
    f0(163,160) -> 1*
    f0(46,158) -> 1*
    f0(40,175) -> 1*
    f0(122,134) -> 1*
    f0(45,42) -> 1*
    f0(121,18) -> 36*
    f0(39,134) -> 1*
    f0(156,136) -> 19,39*
    f0(150,153) -> 1*
    f0(138,19) -> 1*
    f0(167,154) -> 1*
    f0(50,152) -> 1*
    f0(3,143) -> 19,39*
    f0(161,3) -> 9*
    f0(126,128) -> 1*
    f0(120,145) -> 1*
    f0(137,146) -> 1*
    f0(131,163) -> 1*
    f0(20,144) -> 1*
    f0(49,36) -> 1*
    f0(160,130) -> 1*
    f0(154,147) -> 1*
    f0(148,164) -> 1*
    f0(43,128) -> 1*
    f0(37,145) -> 1*
    f0(130,47) -> 1*
    f0(48,163) -> 1*
    f0(130,122) -> 1*
    f0(124,139) -> 1*
    f0(147,48) -> 1*
    f0(18,155) -> 1*
    f0(164,49) -> 1*
    f0(47,47) -> 1*
    f0(164,124) -> 1*
    f0(152,158) -> 1*
    f0(146,175) -> 1*
    f0(47,122) -> 1*
    f0(41,139) -> 1*
    f0(134,41) -> 1*
    f0(17,39) -> 1*
    f0(175,142) -> 1*
    f0(128,133) -> 39*,19
    f0(122,150) -> 1*
    f0(151,42) -> 1*
    f0(145,134) -> 1*
    f0(139,151) -> 1*
    f0(127,17) -> 1*
    f0(156,152) -> 1*
    f0(45,133) -> 39*
    f0(39,150) -> 1*
    f0(50,168) -> 1*
    f0(161,19) -> 1*
    f0(155,36) -> 1*
    f0(44,17) -> 1*
    f0(126,144) -> 1*
    f0(3,159) -> 19,39*
    f0(149,128) -> 1*
    f0(143,145) -> 1*
    f0(20,160) -> 1*
    f0(172,37) -> 36*
    f0(160,146) -> 1*
    f0(154,163) -> 1*
    f0(49,127) -> 1*
    f0(43,144) -> 1*
    f0(19,44) -> 1*
    f0(136,121) -> 16*
    f0(130,138) -> 1*
    f0(124,155) -> 1*
    f0(153,47) -> 1*
    f0(36,45) -> 1*
    f0(153,122) -> 1*
    f0(147,139) -> 1*
    f0(36,120) -> 1*
    f0(18,3) -> 9*
    f0(6,37) -> 1*
    f0(164,140) -> 1*
    f0(158,157) -> 1*
    f0(47,138) -> 1*
    f0(41,155) -> 1*
    f0(140,40) -> 1*
    f0(175,158) -> 1*
    f0(134,132) -> 39*
    f0(128,149) -> 1*
    f0(122,166) -> 1*
    f0(17,130) -> 1*
    f0(157,41) -> 1*
    f0(40,39) -> 1*
    f0(151,133) -> 19,39*
    f0(145,150) -> 1*
    f0(139,167) -> 1*
    f0(121,50) -> 20,19,49*
    f0(168,134) -> 1*
    f0(156,168) -> 1*
    f0(45,149) -> 1*
    f0(39,166) -> 1*
    f0(121,125) -> 36*
    f0(150,17) -> 1*
    f0(38,50) -> 1*
    f0(138,126) -> 1*
    f0(126,160) -> 1*
    f0(3,175) -> 19,39*
    f0(155,127) -> 1*
    f0(149,144) -> 1*
    f0(172,128) -> 19,49*,20
    f0(166,145) -> 1*
    f0(49,143) -> 1*
    f0(43,160) -> 1*
    f0(142,45) -> 1*
    f0(142,120) -> 1*
    f0(130,154) -> 1*
    f0(159,46) -> 1*
    f0(42,44) -> 1*
    f0(124,3) -> 1,40*
    f0(159,121) -> 1*
    f0(153,138) -> 1*
    f0(147,155) -> 1*
    f0(36,136) -> 39*
    f0(18,19) -> 1*
    f0(164,156) -> 1*
    f0(158,173) -> 19,39*
    f0(47,154) -> 1*
    f0(146,39) -> 1*
    f0(41,3) -> 40*,1
    f0(6,128) -> 1*
    f0(140,131) -> 1*
    f0(134,148) -> 1*
    f0(17,146) -> 1*
    f0(163,40) -> 1*
    f0(157,132) -> 19,39*
    f0(151,149) -> 1*
    f0(145,166) -> 1*
    f0(40,130) -> 1*
    f0(139,15) -> 19,39*
    f0(127,49) -> 1*
    f0(168,150) -> 1*
    f0(127,124) -> 1*
    f0(144,50) -> 1*
    f0(44,49) -> 1*
    f0(138,142) -> 1*
    f0(161,126) -> 1*
    f0(155,143) -> 1*
    f0(149,160) -> 1*
    f0(44,124) -> 1*
    f0(172,144) -> 19,39*
    f0(49,159) -> 1*
    f0(148,44) -> 1*
    f0(142,136) -> 39*
    f0(19,151) -> 1*
    f0(165,45) -> 1*
    f0(124,19) -> 1*
    f0(165,120) -> 1*
    f0(159,137) -> 1*
    f0(153,154) -> 1*
    f0(36,152) -> 1*
    f0(147,3) -> 9,1,122*
    f0(164,172) -> 1*
    f0(41,19) -> 1*
    f0(6,144) -> 1*
    f0(146,130) -> 1*
    f0(140,147) -> 1*
    f0(134,164) -> 1*
    f0(163,131) -> 1*
    f0(157,148) -> 1*
    f0(40,146) -> 1*
    f0(168,166) -> 1*
    f0(127,140) -> 1*
    f0(121,157) -> 19,20,49*
    f0(16,121) -> 42*
    f0(150,49) -> 1*
    f0(50,48) -> 1*
    f0(150,124) -> 1*
    f0(138,158) -> 1*
    f0(167,50) -> 1*
    f0(120,41) -> 1*
    f0(3,39) -> 39*,19
    f0(44,140) -> 1*
    f0(38,157) -> 1*
    f0(161,142) -> 1*
    f0(155,159) -> 1*
    f0(20,40) -> 1*
    f0(137,42) -> 1*
    f0(172,160) -> 19,39*
    f0(49,175) -> 1*
    f0(37,41) -> 1*
    f0(131,134) -> 1*
    f0(142,152) -> 1*
    f0(19,167) -> 1*
    f0(165,136) -> 39*
    f0(159,153) -> 1*
    f0(48,134) -> 1*
    f0(42,151) -> 1*
    f0(36,168) -> 1*
    f0(147,19) -> 1*
    f0(129,145) -> 1*
    f0(18,126) -> 1*
    f0(6,160) -> 1*
    f0(175,38) -> 1*
    f0(146,146) -> 1*
    f0(140,163) -> 1*
    f0(122,46) -> 1*
    f0(163,147) -> 1*
    f0(157,164) -> 1*
    f0(46,145) -> 1*
    f0(139,47) -> 1*
    f0(122,121) -> 1,124*
    f0(139,122) -> 1*
    f0(127,156) -> 1*
    f0(121,173) -> 18*
    f0(156,48) -> 1*
    f0(39,46) -> 1*
    f0(121,5) -> 38*
    f0(150,140) -> 1*
    f0(144,157) -> 1*
    f0(39,121) -> 1*
    f0(126,40) -> 1*
    f0(161,158) -> 1*
    f0(155,175) -> 1*
    f0(50,139) -> 1*
    f0(44,156) -> 1*
    f0(38,173) -> 36*
    f0(120,132) -> 39*,19
    f0(3,130) -> 19,39*
    f0(143,41) -> 1*
    f0(172,8) -> 18*
    f0(160,42) -> 1*
    f0(43,40) -> 1*
    f0(137,133) -> 39*,19
    f0(131,150) -> 1*
    f0(20,131) -> 1*
    f0(154,134) -> 1*
    f0(148,151) -> 1*
    f0(142,168) -> 1*
    f0(37,132) -> 36*
    f0(19,15) -> 19*
    f0(165,152) -> 1*
    f0(48,150) -> 1*
    f0(42,167) -> 1*
    f0(124,126) -> 1*
    f0(18,142) -> 1*
    f0(164,36) -> 1*
    f0(158,128) -> 1*
    f0(152,145) -> 1*
    f0(41,126) -> 1*
    f0(128,45) -> 1*
    f0(163,163) -> 1*
    f0(145,46) -> 1*
    f0(128,120) -> 1*
    f0(122,137) -> 1*
    f0(145,121) -> 1,48*
    f0(139,138) -> 1*
    f0(127,172) -> 48*,1
    f0(45,45) -> 1*
    f0(156,139) -> 1*
    f0(150,156) -> 1*
    f0(144,173) -> 19,39*
    f0(45,120) -> 1*
    f0(39,137) -> 1*
    f0(167,157) -> 1*
    f0(50,155) -> 1*
    f0(44,172) -> 44*,1
    f0(126,131) -> 1*
    f0(120,148) -> 1*
    f0(3,146) -> 19,39*
    f0(149,40) -> 1*
    f0(166,41) -> 1*
    f0(49,39) -> 1*
    f0(143,132) -> 19,39*
    f0(137,149) -> 1*
    f0(131,166) -> 1*
    f0(20,147) -> 1*
    f0(160,133) -> 19,39*
    f0(154,150) -> 1*
    f0(148,167) -> 1*
    f0(43,131) -> 1*
    f0(37,148) -> 1*
    f0(130,50) -> 1*
    f0(165,168) -> 1*
    f0(48,166) -> 1*
    f0(124,142) -> 1*
    f0(159,17) -> 1*
    f0(42,15) -> 39*,19
    f0(147,126) -> 1*
    f0(18,158) -> 1*
    f0(47,50) -> 1*
    f0(164,127) -> 1*
    f0(158,144) -> 1*
    f0(41,142) -> 1*
    f0(134,44) -> 1*
    f0(17,42) -> 1*
    f0(175,145) -> 1*
    f0(151,45) -> 1*
    f0(128,136) -> 39*,19
    f0(122,153) -> 1*
    f0(151,120) -> 1*
    f0(145,137) -> 1*
    f0(139,154) -> 1*
    f0(168,46) -> 1*
    f0(133,3) -> 16*
    f0(121,37) -> 36*
    f0(168,121) -> 9,1,122*
    f0(156,155) -> 1*
    f0(150,172) -> 124*,1
    f0(45,136) -> 39*
    f0(39,153) -> 1*
    f0(167,173) -> 19,39*
    f0(126,147) -> 1*
    f0(120,164) -> 1*
    f0(3,162) -> 18*
    f0(155,39) -> 1*
    f0(50,3) -> 1,48*
    f0(38,37) -> 1*
    f0(172,40) -> 19,39*
    f0(149,131) -> 1*
    f0(143,148) -> 1*
    f0(20,163) -> 1*
    f0(154,166) -> 1*
    f0(49,130) -> 1*
    f0(43,147) -> 1*
    f0(37,164) -> 1*
    f0(166,132) -> 39*
    f0(160,149) -> 1*
    f0(148,15) -> 19,39*
    f0(19,47) -> 1*
    f0(2,121) -> 5*
    f0(124,158) -> 1*
    f0(19,122) -> 1*
    f0(153,50) -> 1*
    f0(36,48) -> 1*
    f0(147,142) -> 1*
    f0(6,40) -> 1*
    f0(164,143) -> 1*
    f0(158,160) -> 1*
    f0(41,158) -> 1*
    f0(40,42) -> 1*
    f0(128,152) -> 1*
    f0(17,133) -> 39*
    f0(157,44) -> 1*
    f0(151,136) -> 19,39*
    f0(145,153) -> 1*
    f0(127,36) -> 1*
    f0(168,137) -> 1*
    f0(45,152) -> 1*
    f0(156,3) -> 1,48*
    f0(121,128) -> 20,19,49*
    f0(173,172) -> 16*
    f0(126,163) -> 1*
    f0(50,19) -> 1*
    f0(44,36) -> 1*
    f0(155,130) -> 1*
    f0(149,147) -> 1*
    f0(143,164) -> 1*
    f0(38,128) -> 1*
    f0(49,146) -> 1*
    f0(43,163) -> 1*
    f0(172,131) -> 19,39*
    f0(166,148) -> 1*
    f0(142,48) -> 1*
    f0(19,138) -> 1*
    f0(159,49) -> 1*
    f0(42,47) -> 1*
    f0(130,157) -> 1*
    f0(159,124) -> 1*
    f0(147,158) -> 1*
    f0(42,122) -> 1*
    f0(36,139) -> 1*
    f0(129,41) -> 1*
    f0(164,159) -> 1*
    f0(47,157) -> 1*
    f0(6,131) -> 1*
    f0(146,42) -> 1*
    f0(140,134) -> 1*
    f0(134,151) -> 1*
    f0(128,168) -> 1*
    f0(17,149) -> 1*
    f0(46,41) -> 1*
    f0(122,17) -> 1*
    f0(151,152) -> 1*
    f0(40,133) -> 39*,19
    f0(168,153) -> 1*
    f0(45,168) -> 1*
    f0(156,19) -> 1*
    f0(150,36) -> 1*
    f0(39,17) -> 1*
    f0(127,127) -> 1*
    f0(121,144) -> 19,39*
    f0(144,128) -> 1*
    f0(138,145) -> 1*
    f0(155,146) -> 1*
    f0(149,163) -> 1*
    f0(44,127) -> 1*
    f0(38,144) -> 1*
    f0(131,46) -> 1*
    f0(172,147) -> 19,39*
    f0(166,164) -> 1*
    f0(131,121) -> 1,44*
    f0(148,47) -> 1*
    f0(165,48) -> 1*
    f0(48,46) -> 1*
    f0(148,122) -> 1*
    f0(142,139) -> 1*
    f0(130,173) -> 19,39*
    f0(19,154) -> 1*
    f0(159,140) -> 1*
    f0(153,157) -> 1*
    f0(48,121) -> 40*,1
    f0(42,138) -> 1*
    f0(36,155) -> 1*
    f0(164,175) -> 1*
    f0(47,173) -> 19,39*
    f0(129,132) -> 39*
    f0(6,147) -> 1*
    f0(152,41) -> 1*
    f0(146,133) -> 19,39*
    f0(140,150) -> 1*
    f0(134,167) -> 1*
    f0(163,134) -> 1*
    f0(157,151) -> 1*
    f0(151,168) -> 1*
    f0(46,132) -> 39*
    f0(40,149) -> 1*
    f0(145,17) -> 1*
    f0(127,143) -> 1*
    f0(121,160) -> 19,39*
    f0(150,127) -> 1*
    f0(144,144) -> 1*
    f0(120,44) -> 1*
    f0(3,42) -> 39*,19
    f0(167,128) -> 1*
    f0(161,145) -> 1*
    f0(50,126) -> 1*
    f0(44,143) -> 1*
    f0(38,160) -> 1*
    f0(137,45) -> 1*
    f0(172,163) -> 19*
    f0(137,120) -> 1*
    f0(131,137) -> 1*
    f0(154,46) -> 1*
    f0(37,44) -> 1*
    f0(154,121) -> 9,1,156*
    f0(148,138) -> 1*
    f0(142,155) -> 1*
    f0(136,172) -> 16*
    f0(165,139) -> 1*
    f0(159,156) -> 1*
    f0(153,173) -> 19,39*
    f0(48,137) -> 1*
    f0(42,154) -> 1*
    f0(36,3) -> 1*
    f0(129,148) -> 1*
    f0(6,163) -> 1*
    f0(158,40) -> 1*
    f0(152,132) -> 19,39*
    f0(146,149) -> 1*
    f0(140,166) -> 1*
    f0(175,41) -> 1*
    f0(134,15) -> 39*
    f0(122,49) -> 1*
    f0(163,150) -> 1*
    f0(157,167) -> 1*
    f0(46,148) -> 1*
    f0(122,124) -> 1*
    f0(139,50) -> 1*
    f0(168,17) -> 1*
    f0(39,49) -> 1*
    f0(127,159) -> 1*
    f0(121,8) -> 18*
    f0(156,126) -> 1*
    f0(150,143) -> 1*
    f0(144,160) -> 1*
    f0(39,124) -> 1*
    f0(167,144) -> 1*
    f0(50,142) -> 1*
    f0(44,159) -> 1*
    f0(3,133) -> 18*
    f0(143,44) -> 1*
    f0(137,136) -> 39*,19
    f0(131,153) -> 1*
    f0(20,134) -> 1*
    f0(160,45) -> 1*
    f0(160,120) -> 1*
    f0(154,137) -> 1*
    f0(148,154) -> 1*
    f0(142,3) -> 1,48*
    f0(48,153) -> 1*
    f0(165,155) -> 1*
    f0(159,172) -> 1*
    f0(36,19) -> 1*
    f0(18,145) -> 1*
    f0(164,39) -> 1*
    f0(129,164) -> 1*
    f0(158,131) -> 1*
    f0(152,148) -> 1*
    f0(128,48) -> 1*
    f0(175,132) -> 19,39*
    f0(163,166) -> 1*
    f0(46,164) -> 1*
    f0(122,140) -> 1*
    f0(157,15) -> 19,39*
    f0(145,49) -> 1*
    f0(45,48) -> 1*
    f0(145,124) -> 1*
    f0(127,175) -> 1*
    f0(39,140) -> 1*
    f0(156,142) -> 1*
    f0(150,159) -> 1*
    f0(167,160) -> 1*
    f0(50,158) -> 1*
    f0(44,175) -> 1*
    f0(3,149) -> 19,39*
    f0(126,134) -> 1*
    f0(120,151) -> 1*
    f0(137,152) -> 1*
    f0(20,150) -> 1*
    f0(166,44) -> 1*
    f0(49,42) -> 1*
    f0(160,136) -> 19,39*
    f0(154,153) -> 1*
    f0(43,134) -> 1*
    f0(37,151) -> 1*
    f0(142,19) -> 1*
    f0(130,128) -> 1*
    f0(124,145) -> 1*
    f0(165,3) -> 1*
    f0(164,130) -> 1*
    f0(158,147) -> 1*
    f0(152,164) -> 1*
    f0(47,128) -> 1*
    f0(41,145) -> 1*
    f0(134,47) -> 1*
    f0(17,45) -> 1*
    f0(175,148) -> 1*
    f0(134,122) -> 1*
    f0(128,139) -> 1*
    f0(122,156) -> 1*
    f0(17,120) -> 1*
    f0(151,48) -> 1*
    f0(145,140) -> 1*
    f0(139,157) -> 1*
    f0(16,172) -> 42*
    f0(168,49) -> 1*
    f0(121,40) -> 19,39*
    f0(168,124) -> 1*
    f0(156,158) -> 1*
    f0(150,175) -> 1*
    f0(45,139) -> 1*
    f0(39,156) -> 1*
    f0(138,41) -> 1*
    f0(155,42) -> 1*
    f0(38,40) -> 1*
    f0(126,150) -> 1*
    f0(120,167) -> 1*
    f0(3,165) -> 36*
    f0(149,134) -> 1*
    f0(143,151) -> 1*
    f0(137,168) -> 1*
    f0(20,166) -> 1*
    f0(172,43) -> 46*,20
    f0(131,17) -> 1*
    f0(160,152) -> 1*
    f0(49,133) -> 39*,19
    f0(43,150) -> 1*
    f0(37,167) -> 1*
    f0(19,50) -> 1*
    f0(130,144) -> 1*
    f0(165,19) -> 1*
    f0(159,36) -> 1*
    f0(48,17) -> 1*
    f0(153,128) -> 1*
    f0(147,145) -> 1*
    f0(36,126) -> 1*
    f0(164,146) -> 1*
    f0(158,163) -> 1*
    f0(47,144) -> 1*
    f0(140,46) -> 1*
    f0(175,164) -> 1*
    f0(140,121) -> 1,40*
    f0(134,138) -> 1*
    f0(128,155) -> 1*
    f0(122,172) -> 124*,1
    f0(17,136) -> 39*
    f0(157,47) -> 1*
    f0(40,45) -> 1*
    f0(157,122) -> 1*
    f0(151,139) -> 1*
    f0(145,156) -> 1*
    f0(139,173) -> 19,39*
    f0(40,120) -> 1*
    f0(127,39) -> 1*
    f0(168,140) -> 1*
    f0(45,155) -> 1*
    f0(39,172) -> 1*
    f0(121,131) -> 39*,19
    f0(144,40) -> 1*
    f0(161,41) -> 1*
    f0(44,39) -> 1*
    f0(138,132) -> 39*,19
    f0(126,166) -> 1*
    f0(120,15) -> 19,39*
    f0(155,133) -> 19,39*
    f0(149,150) -> 1*
    f0(143,167) -> 1*
    f0(38,131) -> 1*
    f0(172,134) -> 19,20,49*
    f0(166,151) -> 1*
    f0(160,168) -> 1*
    f0(49,149) -> 1*
    f0(43,166) -> 1*
    f0(154,17) -> 1*
    f0(37,15) -> 36*
    f0(142,126) -> 1*
    f0(130,160) -> 1*
    f0(42,50) -> 1*
    f0(159,127) -> 1*
    f0(153,144) -> 1*
    f0(36,142) -> 1*
    f0(129,44) -> 1*
    f0(47,160) -> 1*
    f0(146,45) -> 1*
    f0(6,134) -> 1*
    f0(146,120) -> 1*
    f0(140,137) -> 1*
    f0(134,154) -> 1*
    f0(17,152) -> 1*
    f0(163,46) -> 1*
    f0(46,44) -> 1*
    f0(128,3) -> 9,50*,1
    f0(163,121) -> 1*
    f0(157,138) -> 1*
    f0(151,155) -> 1*
    f0(145,172) -> 48*,1
    f0(40,136) -> 39*,19
    f0(168,156) -> 1*
    f0(127,130) -> 1*
    f0(121,147) -> 19,39*
    f0(150,39) -> 1*
    f0(45,3) -> 1,48*
    f0(167,40) -> 1*
    f0(144,131) -> 1*
    f0(138,148) -> 1*
    f0(149,166) -> 1*
    f0(44,130) -> 1*
    f0(38,147) -> 1*
    f0(161,132) -> 39*
    f0(155,149) -> 1*
    f0(143,15) -> 19,39*
    f0(131,49) -> 1*
    f0(172,150) -> 19,20,49*
    f0(166,167) -> 1*
    f0(148,50) -> 1*
    f0(131,124) -> 1*
    f0(142,142) -> 1*
    f0(19,157) -> 1*
    f0(48,49) -> 1*
    f0(165,126) -> 1*
    f0(159,143) -> 1*
    f0(153,160) -> 1*
    f0(48,124) -> 1*
    f0(36,158) -> 1*
    f0(18,41) -> 1*
    f0(6,150) -> 1*
    f0(152,44) -> 1*
    f0(17,168) -> 1*
    f0(146,136) -> 19,39*
    f0(140,153) -> 1*
    f0(122,36) -> 1*
    f0(128,19) -> 1*
    f0(163,137) -> 1*
    f0(157,154) -> 1*
    f0(40,152) -> 1*
    f0(151,3) -> 9,1,50*
    f0(168,172) -> 122*,9,1
    f0(127,146) -> 1*
    f0(121,163) -> 19*
    f0(45,19) -> 1*
    f0(39,36) -> 1*
    f0(150,130) -> 1*
    f0(144,147) -> 1*
    f0(138,164) -> 1*
    f0(120,47) -> 1*
    f0(3,45) -> 19,49*,20
    f0(38,163) -> 1*
    f0(167,131) -> 1*
    f0(161,148) -> 1*
    f0(44,146) -> 1*
    f0(20,46) -> 1*
    f0(120,122) -> 1*
    f0(3,120) -> 39*,19
    f0(137,48) -> 1*
    f0(172,166) -> 19,39*
    f0(2,172) -> 5*
    f0(166,15) -> 39*
    f0(154,49) -> 1*
    f0(37,47) -> 1*
    f0(131,140) -> 1*
    f0(20,121) -> 1*
    f0(154,124) -> 1*
    f0(142,158) -> 1*
    f0(37,122) -> 1*
    f0(19,173) -> 19*
    f0(124,41) -> 1*
    f0(165,142) -> 1*
    f0(159,159) -> 1*
    f0(48,140) -> 1*
    f0(42,157) -> 1*
    f0(129,151) -> 1*
    f0(18,132) -> 39*
    f0(6,166) -> 1*
    f0(41,41) -> 1*
    f0(175,44) -> 1*
    f0(146,152) -> 1*
    f0(163,153) -> 1*
    f0(46,151) -> 1*
    f0(40,168) -> 1*
    f0(151,19) -> 1*
    f0(145,36) -> 1*
    f0(122,127) -> 1*
    f0(139,128) -> 1*
    f0(174,3) -> 42*
    f0(150,146) -> 1*
    f0(144,163) -> 1*
    f0(39,127) -> 1*
    f0(126,46) -> 1*
    f0(167,147) -> 1*
    f0(161,164) -> 1*
    f0(50,145) -> 1*
    f0(126,121) -> 40*,1
    f0(120,138) -> 1*
    f0(3,136) -> 18*
    f0(143,47) -> 1*
    f0(160,48) -> 1*
    f0(43,46) -> 1*
    f0(143,122) -> 1*
    f0(137,139) -> 1*
    f0(131,156) -> 1*
    f0(20,137) -> 1*
    f0(8,3) -> 37*,4,6,7
    f0(154,140) -> 1*
    f0(148,157) -> 1*
    f0(43,121) -> 45*,9
    f0(37,138) -> 1*
    f0(130,40) -> 1*
    f0(165,158) -> 1*
    f0(159,175) -> 1*
    f0(48,156) -> 1*
    f0(42,173) -> 19,39*
    f0(124,132) -> 39*,19
    f0(147,41) -> 1*
    f0(129,167) -> 1*
    f0(18,148) -> 1*
    f0(164,42) -> 1*
    f0(47,40) -> 1*
    f0(158,134) -> 1*
    f0(152,151) -> 1*
    f0(146,168) -> 1*
    f0(41,132) -> 39*
    f0(140,17) -> 1*
    f0(46,167) -> 1*
    f0(128,126) -> 1*
    f0(122,143) -> 1*
    f0(145,127) -> 1*
    f0(139,144) -> 1*
    f0(168,36) -> 1*
    f0(156,145) -> 1*
    f0(45,126) -> 1*
    f0(39,143) -> 1*
    f0(167,163) -> 1*
    f0(126,137) -> 1*
    f0(120,154) -> 1*
    f0(3,152) -> 19,20,49*
    f0(149,46) -> 1*
    f0(166,47) -> 1*
    f0(49,45) -> 1*
    f0(149,121) -> 9,1,122*
    f0(143,138) -> 1*
    f0(137,155) -> 1*
    f0(131,172) -> 44*,1
    f0(20,153) -> 1*
    f0(166,122) -> 1*
    f0(160,139) -> 1*
    f0(154,156) -> 1*
    f0(148,173) -> 19,39*
    f0(49,120) -> 1*
    f0(43,137) -> 1*
    f0(37,154) -> 1*
    f0(48,172) -> 40*,1
    f0(130,131) -> 1*
    f0(124,148) -> 1*
    f0(153,40) -> 1*
    f0(147,132) -> 19,39*
    f0(18,164) -> 1*
    f0(129,15) -> 39*
    f0(164,133) -> 39*
    f0(158,150) -> 1*
    f0(152,167) -> 1*
    f0(47,131) -> 1*
    f0(41,148) -> 1*
    f0(134,50) -> 1*
    f0(17,48) -> 1*
    f0(175,151) -> 1*
    f0(163,17) -> 1*
    f0(46,15) -> 39*
    f0(128,142) -> 1*
    f0(122,159) -> 1*
    f0(151,126) -> 1*
    f0(145,143) -> 1*
    f0(139,160) -> 1*
    f0(121,43) -> 20,46*
    f0(168,127) -> 1*
    f0(45,142) -> 1*
    f0(39,159) -> 1*
    f0(138,44) -> 1*
    f0(126,153) -> 1*
    f0(3,168) -> 19,39*
    f0(155,45) -> 1*
    f0(172,46) -> 19,39*
    f0(155,120) -> 1*
    f0(149,137) -> 1*
    f0(143,154) -> 1*
    f0(137,3) -> 124*,1
    f0(49,136) -> 39*,19
    f0(43,153) -> 1*
    f0(172,121) -> 15*
    f0(166,138) -> 1*
    f0(160,155) -> 1*
    f0(154,172) -> 156*,9,1
    f0(19,128) -> 1*
    f0(159,39) -> 1*
    f0(42,37) -> 1*
    f0(130,147) -> 1*
    f0(124,164) -> 1*
    f0(153,131) -> 1*
    f0(147,148) -> 1*
    f0(6,46) -> 1*
    f0(164,149) -> 1*
    f0(158,166) -> 1*
    f0(47,147) -> 1*
    f0(41,164) -> 1*
    f0(6,121) -> 43*
    f0(152,15) -> 19,39*
    f0(140,49) -> 1*
    f0(175,167) -> 1*
    f0(40,48) -> 1*
    f0(140,124) -> 1*
    f0(128,158) -> 1*
    f0(122,175) -> 1*
    f0(17,139) -> 1*
    f0(157,50) -> 1*
    f0(151,142) -> 1*
    f0(145,159) -> 1*
    f0(127,42) -> 1*
    f0(168,143) -> 1*
    f0(45,158) -> 1*
    f0(39,175) -> 1*
    f0(121,134) -> 20,19,49*
    f0(161,44) -> 1*
    f0(44,42) -> 1*
    f0(3,16) -> 18*
    f0(155,136) -> 19,39*
    f0(149,153) -> 1*
    f0(38,134) -> 1*
    f0(137,19) -> 1*
    f0(131,36) -> 1*
    f0(20,17) -> 1*
    f0(172,137) -> 49*,19,20
    f0(166,154) -> 1*
    f0(49,152) -> 1*
    f0(160,3) -> 1*
    f0(48,36) -> 1*
    f0(130,163) -> 1*
    f0(19,144) -> 1*
    f0(159,130) -> 1*
    f0(153,147) -> 1*
    f0(147,164) -> 1*
    f0(42,128) -> 1*
    f0(36,145) -> 1*
    f0(129,47) -> 1*
    f0(47,163) -> 1*
    f0(129,122) -> 1*
    f0(6,137) -> 1*
    f0(146,48) -> 1*
    f0(140,140) -> 1*
    f0(134,157) -> 1*
    f0(17,155) -> 1*
    f0(175,15) -> 19,39*
    f0(163,49) -> 1*
    f0(46,47) -> 1*
    f0(163,124) -> 1*
    f0(151,158) -> 1*
    f0(145,175) -> 1*
    f0(46,122) -> 1*
    f0(40,139) -> 1*
    f0(168,159) -> 1*
    f0(150,42) -> 1*
    f0(127,133) -> 39*,19
    f0(121,150) -> 19,20,49*
    f0(144,134) -> 1*
    f0(138,151) -> 1*
    f0(50,41) -> 1*
    f0(126,17) -> 1*
    f0(155,152) -> 1*
    f0(44,133) -> 39*,19
    f0(38,150) -> 1*
    f0(172,153) -> 39*,19
    f0(49,168) -> 1*
    f0(131,127) -> 1*
    f0(160,19) -> 1*
    f0(154,36) -> 1*
    f0(43,17) -> 1*
    f0(148,128) -> 1*
    f0(142,145) -> 1*
    f0(19,160) -> 1*
    f0(159,146) -> 1*
    f0(153,163) -> 1*
    f0(48,127) -> 1*
    f0(42,144) -> 1*
    f0(18,44) -> 1*
    f0(135,121) -> 41*
    f0(129,138) -> 1*
    f0(6,153) -> 1*
    f0(152,47) -> 1*
    f0(152,122) -> 1*
    f0(146,139) -> 1*
    f0(140,156) -> 1*
    f0(134,173) -> 39*
    f0(122,39) -> 1*
    f0(17,3) -> 1*
    f0(163,140) -> 1*
    f0(157,157) -> 1*
    f0(46,138) -> 1*
    f0(40,155) -> 1*
    f0(139,40) -> 1*
    f0(168,175) -> 1*
    f0(156,41) -> 1*
    f0(39,39) -> 1*
    f0(127,149) -> 1*
    f0(121,166) -> 19,39*
    f0(150,133) -> 19,39*
    f0(144,150) -> 1*
    f0(138,167) -> 1*
    f0(120,50) -> 1*
    f0(3,48) -> 19,39*
    f0(167,134) -> 1*
    f0(161,151) -> 1*
    f0(155,168) -> 1*
    f0(50,132) -> 39*,19
    f0(44,149) -> 1*
    f0(38,166) -> 1*
    f0(149,17) -> 1*
    f0(20,49) -> 1*
    f0(137,126) -> 1*
    f0(131,143) -> 1*
    f0(20,124) -> 1*
    f0(172,1) -> 36*
    f0(37,50) -> 1*
    f0(154,127) -> 1*
    f0(148,144) -> 1*
    f0(124,44) -> 1*
    f0(165,145) -> 1*
    f0(48,143) -> 1*
    f0(42,160) -> 1*
    f0(129,154) -> 1*
    f0(158,46) -> 1*
    f0(41,44) -> 1*
    f0(158,121) -> 9,1,150*
    f0(152,138) -> 1*
    f0(146,155) -> 1*
    f0(140,172) -> 40*,1
    f0(175,47) -> 1*
    f0(17,19) -> 1*
    f0(175,122) -> 1*
    f0(163,156) -> 1*
    f0(157,173) -> 19,39*
    f0(46,154) -> 1*
    f0(122,130) -> 1*
    f0(145,39) -> 1*
    f0(40,3) -> 1,44*
    f0(139,131) -> 1*
    f0(39,130) -> 1*
    f0(156,132) -> 19,39*
    f0(150,149) -> 1*
    f0(144,166) -> 1*
    f0(138,15) -> 39*,19
    f0(126,49) -> 1*
    f0(167,150) -> 1*
    f0(161,167) -> 1*
    f0(50,148) -> 1*
    f0(3,139) -> 19,39*
    f0(143,50) -> 1*
    f0(126,124) -> 1*
    f0(137,142) -> 1*
    f0(131,159) -> 1*
    f0(20,140) -> 1*
    f0(172,17) -> 19*
    f0(43,49) -> 1*
    f0(160,126) -> 1*
    f0(154,143) -> 1*
    f0(148,160) -> 1*
    f0(43,124) -> 1*
    f0(48,159) -> 1*
    f0(147,44) -> 1*
    f0(18,151) -> 1*
    f0(164,45) -> 1*
    f0(164,120) -> 1*
    f0(158,137) -> 1*
    f0(152,154) -> 1*
    f0(146,3) -> 9,1,150*
    f0(175,138) -> 1*
    f0(163,172) -> 1*
    f0(122,146) -> 1*
    f0(40,19) -> 1*
    f0(145,130) -> 1*
    f0(139,147) -> 1*
    f0(168,39) -> 1*
    f0(156,148) -> 1*
    f0(39,146) -> 1*
    f0(167,166) -> 1*
    f0(50,164) -> 1*
    f0(3,155) -> 19,20,49*
    f0(161,15) -> 39*
    f0(149,49) -> 1*
    f0(126,140) -> 1*
    f0(120,157) -> 1*
    f0(15,121) -> 16*
    f0(149,124) -> 1*
    f0(137,158) -> 1*
    f0(131,175) -> 1*
    f0(20,156) -> 1*
    f0(166,50) -> 1*
    f0(49,48) -> 1*
    f0(160,142) -> 1*
    f0(154,159) -> 1*
    f0(43,140) -> 1*
    f0(37,157) -> 1*
    f0(19,40) -> 1*
    f0(48,175) -> 1*
    f0(130,134) -> 1*
    f0(124,151) -> 1*
    f0(36,41) -> 1*
    f0(18,167) -> 1*
    f0(164,136) -> 39*
    f0(158,153) -> 1*
    f0(47,134) -> 1*
    f0(41,151) -> 1*
    f0(146,19) -> 1*
    f0(140,36) -> 1*
    f0(175,154) -> 1*
    f0(134,128) -> 1*
    f0(128,145) -> 1*
    f0(17,126) -> 1*
    f0(145,146) -> 1*
    f0(139,163) -> 1*
    f0(121,46) -> 19,39*
    f0(168,130) -> 1*
    f0(156,164) -> 1*
    f0(45,145) -> 1*
    f0(121,121) -> 15*
    f0(138,47) -> 1*
    f0(155,48) -> 1*
    f0(38,46) -> 1*
    f0(138,122) -> 1*
    f0(126,156) -> 1*
    f0(120,173) -> 19,39*
    f0(3,3) -> 15*
    f0(149,140) -> 1*
    f0(143,157) -> 1*
    f0(38,121) -> 43*
    f0(20,172) -> 1*
    f0(172,49) -> 19,39*
    f0(172,124) -> 19,39*
    f0(160,158) -> 1*
    f0(154,175) -> 1*
    f0(49,139) -> 1*
    f0(43,156) -> 1*
    f0(37,173) -> 36*
    f0(142,41) -> 1*
    f0(130,150) -> 1*
    f0(124,167) -> 1*
    f0(19,131) -> 1*
    f0(159,42) -> 1*
    f0(42,40) -> 1*
    f0(153,134) -> 1*
    f0(147,151) -> 1*
    f0(36,132) -> 39*
    f0(18,15) -> 39*,4,19,17
    f0(6,49) -> 1*
    f0(164,152) -> 1*
    f0(47,150) -> 1*
    f0(41,167) -> 1*
    f0(6,124) -> 1*
    f0(140,127) -> 1*
    f0(134,144) -> 1*
    f0(17,142) -> 1*
    f0(163,36) -> 1*
    f0(157,128) -> 1*
    f0(151,145) -> 1*
    f0(40,126) -> 1*
    f0(127,45) -> 1*
    f0(168,146) -> 1*
    f0(127,120) -> 1*
    f0(121,137) -> 49*,20,19
    f0(144,46) -> 1*
    f0(161,47) -> 1*
    f0(44,45) -> 1*
    f0(144,121) -> 1,44*
    f0(138,138) -> 1*
    f0(126,172) -> 40*,1
    f0(3,19) -> 36*,4,17
    f0(161,122) -> 1*
    f0(155,139) -> 1*
    f0(149,156) -> 1*
    f0(143,173) -> 19,39*
    f0(44,120) -> 1*
    f0(38,137) -> 1*
    f0(131,39) -> 1*
    f0(172,140) -> 19,39*
    f0(166,157) -> 1*
    f0(49,155) -> 1*
    f0(43,172) -> 45*,9
    f0(148,40) -> 1*
    f0(142,132) -> 39*
    f0(130,166) -> 1*
    f0(19,147) -> 1*
    f0(165,41) -> 1*
    f0(48,39) -> 1*
    f0(124,15) -> 19,39*
    f0(159,133) -> 19,39*
    f0(153,150) -> 1*
    f0(147,167) -> 1*
    f0(42,131) -> 1*
    f0(36,148) -> 1*
    f0(129,50) -> 1*
    f0(164,168) -> 1*
    f0(47,166) -> 1*
    f0(158,17) -> 1*
    f0(41,15) -> 39*
    f0(6,140) -> 1*
    f0(140,143) -> 1*
    f0(134,160) -> 1*
    f0(17,158) -> 1*
    f0(46,50) -> 1*
    f0(146,126) -> 1*
    f0(163,127) -> 1*
    f0(157,144) -> 1*
    f0(40,142) -> 1*
    f0(127,136) -> 39*,19
    f0(121,153) -> 19,39*
    f0(150,45) -> 1*
    f0(50,44) -> 1*
    f0(150,120) -> 1*
    f0(144,137) -> 1*
    f0(138,154) -> 1*
    f0(167,46) -> 1*
    f0(132,3) -> 16*
    f0(44,136) -> 39*,19
    f0(38,153) -> 1*
    f0(167,121) -> 44*,1
    f0(161,138) -> 1*
    f0(155,155) -> 1*
    f0(149,172) -> 122*,9,1
    f0(20,36) -> 1*
    f0(172,156) -> 19,49*,20
    f0(166,173) -> 39*
    f0(154,39) -> 1*
    f0(49,3) -> 1*
    f0(37,37) -> 1*
    f0(131,130) -> 1*
    f0(148,131) -> 1*
    f0(142,148) -> 1*
    f0(19,163) -> 1*
    f0(165,132) -> 39*
    f0(159,149) -> 1*
    f0(153,166) -> 1*
    f0(48,130) -> 1*
    f0(42,147) -> 1*
    f0(36,164) -> 1*
    f0(1,121) -> 44*
    f0(147,15) -> 19,39*
    f0(18,47) -> 1*
    f0(18,122) -> 1*
    f0(6,156) -> 1*
    f0(152,50) -> 1*
    f0(146,142) -> 1*
    f0(140,159) -> 1*
    f0(122,42) -> 1*
    f0(163,143) -> 1*
    f0(157,160) -> 1*
    f0(40,158) -> 1*
    f0(127,152) -> 1*
    f0(156,44) -> 1*
    f0(39,42) -> 1*
    f0(121,1) -> 36*
    f0(150,136) -> 19,39*
    f0(144,153) -> 1*
    f0(126,36) -> 1*
    f0(167,137) -> 1*
    f0(161,154) -> 1*
    f0(44,152) -> 1*
    f0(120,128) -> 1*
    f0(3,126) -> 19,39*
    f0(155,3) -> 1,124*
    f0(172,172) -> 15*
    f0(49,19) -> 1*
    f0(43,36) -> 1*
    f0(131,146) -> 1*
    f0(20,127) -> 1*
    f0(154,130) -> 1*
    f0(148,147) -> 1*
    f0(142,164) -> 1*
    f0(37,128) -> 1*
    f0(124,47) -> 1*
    f0(165,148) -> 1*
    f0(48,146) -> 1*
    f0(42,163) -> 1*
    f0(124,122) -> 1*
    f0(129,157) -> 1*
    f0(18,138) -> 1*
    f0(6,172) -> 43*
    f0(158,49) -> 1*
    f0(41,47) -> 1*
    f0(6,4) -> 1*
    f0(175,50) -> 1*
    f0(158,124) -> 1*
    f0(146,158) -> 1*
    f0(140,175) -> 1*
    f0(41,122) -> 1*
    f0(128,41) -> 1*
    f0(163,159) -> 1*
    f0(46,157) -> 1*
    f0(145,42) -> 1*
    f0(122,133) -> 39*,19
    f0(139,134) -> 1*
    f0(127,168) -> 1*
    f0(45,41) -> 1*
    f0(121,17) -> 19*
    f0(150,152) -> 1*
    f0(39,133) -> 39*,19
    f0(167,153) -> 1*
    f0(50,151) -> 1*
    f0(44,168) -> 1*
    f0(126,127) -> 1*
    f0(120,144) -> 1*
    f0(3,142) -> 19,49*,20
    f0(155,19) -> 1*
    f0(149,36) -> 1*
    f0(172,20) -> 36*
    f0(143,128) -> 1*
    f0(137,145) -> 1*
    f0(20,143) -> 1*
    f0(154,146) -> 1*
    f0(148,163) -> 1*
    f0(43,127) -> 1*
    f0(37,144) -> 1*
    f0(130,46) -> 1*
    f0(165,164) -> 1*
    f0(130,121) -> 1,44*
    f0(124,138) -> 1*
    f0(147,47) -> 1*
    f0(147,122) -> 1*
    f0(129,173) -> 39*
    f0(18,154) -> 1*
    f0(164,48) -> 1*
    f0(47,46) -> 1*
    f0(158,140) -> 1*
    f0(152,157) -> 1*
    f0(47,121) -> 9,50*,1
    f0(41,138) -> 1*
    f0(134,40) -> 1*
    f0(163,175) -> 1*
    f0(46,173) -> 39*
    f0(151,41) -> 1*
    f0(128,132) -> 39*,19
    f0(122,149) -> 1*
    f0(145,133) -> 19,39*
    f0(139,150) -> 1*
    f0(168,42) -> 1*
    f0(156,151) -> 1*
    f0(150,168) -> 1*
    f0(45,132) -> 39*
    f0(39,149) -> 1*
    f0(144,17) -> 1*
    f0(50,167) -> 1*
    f0(126,143) -> 1*
    f0(120,160) -> 1*
    f0(3,158) -> 19,39*
    f0(172,36) -> 19*
    f0(149,127) -> 1*
    f0(143,144) -> 1*
    f0(20,159) -> 1*
    f0(166,128) -> 1*
    f0(160,145) -> 1*
    f0(49,126) -> 1*
    f0(43,143) -> 1*
    f0(37,160) -> 1*
    f0(130,137) -> 1*
    f0(124,154) -> 1*
    f0(153,46) -> 1*
    f0(36,44) -> 1*
    f0(153,121) -> 9,1,122*
    f0(147,138) -> 1*
    f0(135,172) -> 41*
    f0(6,36) -> 1*
    f0(164,139) -> 1*
    f0(158,156) -> 1*
    f0(152,173) -> 19,39*
    f0(47,137) -> 1*
    f0(41,154) -> 1*
    f0(140,39) -> 1*
    f0(175,157) -> 1*
    f0(157,40) -> 1*
    f0(134,131) -> 1*
    f0(128,148) -> 1*
    f0(151,132) -> 19,39*
    f0(145,149) -> 1*
    f0(139,166) -> 1*
    f0(121,49) -> 19,39*
    f0(168,133) -> 19,39*
    f0(156,167) -> 1*
    f0(45,148) -> 1*
    f0(138,50) -> 1*
    f0(121,124) -> 19,39*
    f0(126,159) -> 1*
    f0(3,174) -> 18*
    f0(167,17) -> 1*
    f0(50,15) -> 19,39*
    f0(38,49) -> 1*
    f0(3,6) -> 36*,4,17
    f0(155,126) -> 1*
    f0(149,143) -> 1*
    f0(143,160) -> 1*
    f0(38,124) -> 1*
    f0(20,175) -> 1*
    f0(49,142) -> 1*
    f0(43,159) -> 1*
    f0(172,127) -> 19,49*,20
    f0(166,144) -> 1*
    f0(142,44) -> 1*
    f0(19,134) -> 1*
    f0(159,45) -> 1*
    f0(130,153) -> 1*
    f0(159,120) -> 1*
    f0(153,137) -> 1*
    f0(147,154) -> 1*
    f0(164,155) -> 1*
    f0(158,172) -> 9,150*,1
    f0(47,153) -> 1*
    f0(6,127) -> 1*
    f0(175,173) -> 19,39*
    f0(140,130) -> 1*
    f0(134,147) -> 1*
    f0(128,164) -> 1*
    f0(17,145) -> 1*
    f0(163,39) -> 1*
    f0(157,131) -> 1*
    f0(151,148) -> 1*
    f0(127,48) -> 1*
    f0(168,149) -> 1*
    f0(45,164) -> 1*
    f0(156,15) -> 19,39*
    f0(144,49) -> 1*
    f0(121,140) -> 19,39*
    f0(10,121) -> 40*
    f0(144,124) -> 1*
    f0(126,175) -> 1*
    f0(161,50) -> 1*
    f0(44,48) -> 1*
    f0(155,142) -> 1*
    f0(149,159) -> 1*
    f0(38,140) -> 1*
    f0(131,42) -> 1*
    f0(172,143) -> 19,39*
    f0(166,160) -> 1*
    f0(49,158) -> 1*
    f0(43,175) -> 1*
    f0(165,44) -> 1*
    f0(48,42) -> 1*
    f0(19,150) -> 1*
    f0(159,136) -> 19,39*
    f0(153,153) -> 1*
    f0(42,134) -> 1*
    f0(36,151) -> 1*
    f0(129,128) -> 1*
    f0(6,143) -> 1*
    f0(164,3) -> 1*
    f0(140,146) -> 1*
    f0(134,163) -> 1*
    f0(163,130) -> 1*
    f0(157,147) -> 1*
    f0(151,164) -> 1*
    f0(46,128) -> 1*
    f0(40,145) -> 1*
    f0(150,48) -> 1*
    f0(127,139) -> 1*
    f0(121,156) -> 19,20,49*
    f0(144,140) -> 1*
    f0(138,157) -> 1*
    f0(15,172) -> 16*
    f0(167,49) -> 1*
    f0(50,47) -> 1*
    f0(120,40) -> 1*
    f0(3,38) -> 36*
    f0(167,124) -> 1*
    f0(155,158) -> 1*
    f0(149,175) -> 1*
    f0(50,122) -> 1*
    f0(44,139) -> 1*
    f0(38,156) -> 1*
    f0(137,41) -> 1*
    f0(20,39) -> 1*
    f0(172,159) -> 19,39*
    f0(131,133) -> 39*,19
    f0(154,42) -> 1*
    f0(37,40) -> 1*
    f0(148,134) -> 1*
    f0(142,151) -> 1*
    f0(19,166) -> 1*
    f0(130,17) -> 1*
    f0(159,152) -> 1*
    f0(48,133) -> 39*,19
    f0(42,150) -> 1*
    f0(36,167) -> 1*
    f0(18,50) -> 1*
    f0(129,144) -> 1*
    f0(6,159) -> 1*
    f0(164,19) -> 1*
    f0(158,36) -> 1*
    f0(47,17) -> 1*
    f0(152,128) -> 1*
    f0(146,145) -> 1*
    f0(175,37) -> 1*
    f0(122,45) -> 1*
    f0(163,146) -> 1*
    f0(157,163) -> 1*
    f0(46,144) -> 1*
    f0(122,120) -> 1*
    f0(139,46) -> 1*
    f0(156,47) -> 1*
    f0(39,45) -> 1*
    f0(139,121) -> 1,40*
    f0(127,155) -> 1*
    f0(121,172) -> 15*
    f0(156,122) -> 1*
    f0(150,139) -> 1*
    f0(144,156) -> 1*
    f0(138,173) -> 19,39*
    f0(39,120) -> 1*
    f0(126,39) -> 1*
    f0(167,140) -> 1*
    f0(161,157) -> 1*
    f0(50,138) -> 1*
    f0(44,155) -> 1*
    f0(38,172) -> 43*
    f0(120,131) -> 1*
    f0(3,129) -> 20,46*
    f0(143,40) -> 1*
    f0(38,4) -> 1*
    f0(172,175) -> 19,39*
    f0(137,132) -> 39*,19
    f0(131,149) -> 1*
    f0(20,130) -> 1*
    f0(160,41) -> 1*
    f0(43,39) -> 1*
    f0(154,133) -> 19,39*
    f0(148,150) -> 1*
    f0(142,167) -> 1*
    f0(37,131) -> 1*
    f0(124,50) -> 1*
    f0(159,168) -> 1*
    f0(48,149) -> 1*
    f0(42,166) -> 1*
    f0(165,151) -> 1*
    f0(153,17) -> 1*
    f0(36,15) -> 39*
    f0(129,160) -> 1*
    f0(6,175) -> 1*
    f0(41,50) -> 1*
    f0(158,127) -> 1*
    f0(152,144) -> 1*
    f0(128,44) -> 1*
    f0(175,128) -> 1*
    f0(46,160) -> 1*
    f0(122,136) -> 39*,19
    f0(145,45) -> 1*
    f0(45,44) -> 1*
    f0(145,120) -> 1*
    f0(139,137) -> 1*
    f0(127,3) -> 48*,1
    f0(121,20) -> 36*
    f0(39,136) -> 39*,19
    f0(162,121) -> 42*
    f0(156,138) -> 1*
    f0(150,155) -> 1*
    f0(144,172) -> 44*,1
    f0(167,156) -> 1*
    f0(161,173) -> 39*
    f0(50,154) -> 1*
    f0(3,145) -> 19,49*,20
    f0(149,39) -> 1*
    f0(44,3) -> 1,44*
    f0(126,130) -> 1*
    f0(120,147) -> 1*
    f0(143,131) -> 1*
    f0(137,148) -> 1*
    f0(20,146) -> 1*
    f0(166,40) -> 1*
    f0(160,132) -> 19,39*
    f0(154,149) -> 1*
    f0(148,166) -> 1*
    f0(43,130) -> 1*
    f0(37,147) -> 1*
    f0(142,15) -> 39*
    f0(130,49) -> 1*
    f0(165,167) -> 1*
    f0(130,124) -> 1*
    f0(147,50) -> 1*
    f0(18,157) -> 1*
    f0(47,49) -> 1*
    f0(164,126) -> 1*
    f0(158,143) -> 1*
    f0(152,160) -> 1*
    f0(47,124) -> 1*
    f0(17,41) -> 1*
    f0(175,144) -> 1*
    f0(122,152) -> 1*
    f0(151,44) -> 1*
    f0(145,136) -> 19,39*
    f0(139,153) -> 1*
    f0(168,45) -> 1*
    f0(127,19) -> 1*
    f0(121,36) -> 19*
    f0(168,120) -> 1*
    f0(156,154) -> 1*
    f0(39,152) -> 1*
    f0(150,3) -> 1,124*
    f0(167,172) -> 44*,1
    f0(44,19) -> 1*
    f0(38,36) -> 1*
    f0(126,146) -> 1*
    f0(120,163) -> 1*
    f0(3,161) -> 36*
    f0(149,130) -> 1*
    f0(143,147) -> 1*
    f0(137,164) -> 1*
    f0(172,39) -> 19,39*
    f0(43,146) -> 1*
    f0(160,148) -> 1*
    f0(166,131) -> 1*
    f0(37,163) -> 1*
    f0(19,46) -> 1*
    f0(130,140) -> 1*
    f0(124,157) -> 1*
    f0(19,121) -> 1*
    f0(1,172) -> 44*
    f0(165,15) -> 39*
    f0(153,49) -> 1*
    f0(36,47) -> 1*
    f0(18,173) -> 39*
    f0(153,124) -> 1*
    f0(36,122) -> 1*
    f0(6,39) -> 1*
    f0(164,142) -> 1*
    f0(158,159) -> 1*
    f0(47,140) -> 1*
    f0(41,157) -> 1*
    f0(140,42) -> 1*
    f0(175,160) -> 1*
    f0(134,134) -> 1*
    f0(128,151) -> 1*
    f0(122,168) -> 1*
    f0(17,132) -> 39*
    f0(40,41) -> 1*
    f0(145,152) -> 1*
    f0(168,136) -> 19,39*
    f0(45,151) -> 1*
    f0(39,168) -> 1*
    f0(121,127) -> 20,49*,19
    f0(150,19) -> 1*
    f0(144,36) -> 1*
    f0(173,3) -> 16*
    f0(138,128) -> 1*
    f0(3,9) -> 20*
    f0(149,146) -> 1*
    f0(143,163) -> 1*
    f0(38,127) -> 1*
    f0(49,145) -> 1*
    f0(160,164) -> 1*
    f0(172,130) -> 19,39*
    f0(166,147) -> 1*
    f0(142,47) -> 1*
    f0(125,121) -> 44*
    f0(124,173) -> 19,39*
    f0(42,46) -> 1*
    f0(159,48) -> 1*
    f0(19,137) -> 1*
    f0(130,156) -> 1*
    f0(142,122) -> 1*
    f0(36,138) -> 1*
    f0(42,121) -> 9,47*,1
    f0(147,157) -> 1*
    f0(153,140) -> 1*
    f0(129,40) -> 1*
    f0(158,175) -> 1*
    f0(41,173) -> 39*
    f0(47,156) -> 1*
    f0(164,158) -> 1*
    f0(6,130) -> 1*
    f0(146,41) -> 1*
    f0(46,40) -> 1*
    f0(163,42) -> 1*
    f0(17,148) -> 1*
    f0(128,167) -> 1*
    f0(134,150) -> 1*
    f0(140,133) -> 19,39*
    f0(40,132) -> 39*,19
    f0(145,168) -> 1*
    f0(151,151) -> 1*
    f0(157,134) -> 1*
    f0(139,17) -> 1*
    f0(45,167) -> 1*
    f0(168,152) -> 1*
    f0(121,143) -> 19,39*
    f0(127,126) -> 1*
    f0(138,144) -> 1*
    f0(144,127) -> 1*
    f0(167,36) -> 1*
    f0(38,143) -> 1*
    f0(44,126) -> 1*
    f0(155,145) -> 1*
    f0(161,128) -> 1*
    f0(131,45) -> 1*
    f0(166,163) -> 1*
    f0(172,146) -> 19,39*
    f0(148,46) -> 1*
    f0(131,120) -> 1*
    f0(48,45) -> 1*
    f0(165,47) -> 1*
    f0(19,153) -> 1*
    f0(142,138) -> 1*
    f0(148,121) -> 9,1,122*
    f0(130,172) -> 44*,1
    f0(147,173) -> 19,39*
    f0(36,154) -> 1*
    f0(42,137) -> 1*
    f0(48,120) -> 1*
    f0(153,156) -> 1*
    f0(159,139) -> 1*
    f0(165,122) -> 1*
    f0(47,172) -> 9,50*,1
    f0(6,146) -> 1*
    f0(129,131) -> 1*
    f0(152,40) -> 1*
    f0(134,166) -> 1*
    f0(140,149) -> 1*
    f0(146,132) -> 19,39*
    f0(17,164) -> 1*
    f0(128,15) -> 39*,19
    f0(40,148) -> 1*
    f0(46,131) -> 1*
    f0(151,167) -> 1*
    f0(157,150) -> 1*
    f0(163,133) -> 39*
    f0(168,168) -> 1*
    f0(45,15) -> 39*
    f0(121,159) -> 19,39*
    f0(127,142) -> 1*
    f0(138,160) -> 1*
    f0(144,143) -> 1*
    f0(150,126) -> 1*
    f0(50,50) -> 1*
    f0(3,41) -> 39*,19
    f0(161,144) -> 1*
    f0(167,127) -> 1*
    f0(38,159) -> 1*
    f0(44,142) -> 1*
    f0(137,44) -> 1*
    f0(20,42) -> 1*
    f0(172,162) -> 18*
    f0(131,136) -> 39*,19
    f0(154,45) -> 1*
    f0(142,154) -> 1*
    f0(148,137) -> 1*
    f0(154,120) -> 1*
    f0(136,3) -> 16*
    f0(42,153) -> 1*
    f0(48,136) -> 39*,19
    f0(159,155) -> 1*
    f0(165,138) -> 1*
    f0(153,172) -> 9,122*,1
    f0(158,39) -> 1*
    f0(18,128) -> 1*
    f0(129,147) -> 1*
    f0(175,40) -> 1*
    f0(146,148) -> 1*
    f0(152,131) -> 1*
    f0(122,48) -> 1*
    f0(46,147) -> 1*
    f0(40,164) -> 1*
    f0(163,149) -> 1*
    f0(157,166) -> 1*
    f0(5,121) -> 8*
    f0(139,49) -> 1*
    f0(151,15) -> 19,39*
    f0(121,175) -> 19,39*
    f0(39,48) -> 1*
    f0(156,50) -> 1*
    f0(127,158) -> 1*
    f0(139,124) -> 1*
    f0(150,142) -> 1*
    f0(144,159) -> 1*
    f0(126,42) -> 1*
    f0(38,175) -> 1*
    f0(44,158) -> 1*
    f0(167,143) -> 1*
    f0(161,160) -> 1*
    f0(3,132) -> 18*
    f0(120,134) -> 1*
    f0(20,133) -> 39*
    f0(131,152) -> 1*
    f0(43,42) -> 1*
    f0(160,44) -> 1*
    f0(37,134) -> 1*
    f0(148,153) -> 1*
    f0(154,136) -> 19,39*
    f0(19,17) -> 1*
    f0(130,36) -> 1*
    f0(48,152) -> 1*
    f0(165,154) -> 1*
    f0(124,128) -> 1*
    f0(159,3) -> 1*
    f0(47,36) -> 1*
    f0(18,144) -> 1*
    f0(129,163) -> 1*
    f0(41,128) -> 1*
    f0(152,147) -> 1*
    f0(158,130) -> 1*
    f0(146,164) -> 1*
    f0(128,47) -> 1*
    f0(175,131) -> 1*
    f0(46,163) -> 1*
    f0(122,139) -> 1*
    f0(128,122) -> 1*
    f0(145,48) -> 1*
    f0(45,47) -> 1*
    f0(139,140) -> 1*
    f0(10,172) -> 40*
    f0(144,175) -> 1*
    f0(39,139) -> 1*
    f0(45,122) -> 1*
    f0(150,158) -> 1*
    f0(50,157) -> 1*
    f0(167,159) -> 1*
    f0(149,42) -> 1*
    f0(3,148) -> 19,39*
    f0(120,150) -> 1*
    f0(126,133) -> 39*,19
    f0(20,149) -> 1*
    f0(137,151) -> 1*
    f0(143,134) -> 1*
    f0(49,41) -> 1*
    f0(131,168) -> 1*
    f0(37,150) -> 1*
    f0(43,133) -> 39*
    f0(154,152) -> 1*
    f0(48,168) -> 1*
    f0(42,17) -> 1*
    f0(153,36) -> 1*
    f0(124,144) -> 1*
    f0(130,127) -> 1*
    f0(159,19) -> 1*
    f0(147,128) -> 1*
    f0(18,160) -> 1*
    f0(41,144) -> 1*
    f0(47,127) -> 1*
    f0(158,146) -> 1*
    f0(152,163) -> 1*
    f0(17,44) -> 1*
    f0(134,46) -> 1*
    f0(175,147) -> 1*
    f0(122,155) -> 1*
    f0(128,138) -> 1*
    f0(134,121) -> 1,48*
    f0(151,47) -> 1*
    f0(139,156) -> 1*
    f0(145,139) -> 1*
    f0(151,122) -> 1*
    f0(168,48) -> 1*
    f0(16,3) -> 42*,4,20,19,17,18,1,6
    f0(121,39) -> 19,39*
    f0(39,155) -> 1*
    f0(45,138) -> 1*
    f0(156,157) -> 1*
    f0(138,40) -> 1*
    f0(167,175) -> 1*
    f0(50,173) -> 19,39*
    f0(38,39) -> 1*
    f0(155,41) -> 1*
    f0(126,149) -> 1*
    f0(3,164) -> 19,39*
    f0(120,166) -> 1*
    f0(143,150) -> 1*
    f0(149,133) -> 19,39*
    f0(137,167) -> 1*
    f0(172,42) -> 19,39*
    f0(43,149) -> 1*
    f0(49,132) -> 39*,19
    f0(160,151) -> 1*
    f0(166,134) -> 1*
    f0(37,166) -> 1*
    f0(154,168) -> 1*
    f0(19,49) -> 1*
    f0(148,17) -> 1*
    f0(130,143) -> 1*
    f0(36,50) -> 1*
    f0(19,124) -> 1*
    f0(124,160) -> 1*
    f0(147,144) -> 1*
    f0(153,127) -> 1*
    f0(6,42) -> 1*
    f0(47,143) -> 1*
    f0(164,145) -> 1*
    f0(41,160) -> 1*
    f0(140,45) -> 1*
    f0(175,163) -> 1*
    f0(157,46) -> 1*
    f0(128,154) -> 1*
    f0(134,137) -> 1*
    f0(140,120) -> 1*
    f0(40,44) -> 1*
    f0(122,3) -> 1,124*
    f0(145,155) -> 1*
    f0(151,138) -> 1*
    f0(157,121) -> 9,1,156*
    f0(139,172) -> 40*,1
    f0(156,173) -> 19,39*
    f0(45,154) -> 1*
    f0(168,139) -> 1*
    f0(121,130) -> 39*,19
    f0(39,3) -> 1*
    f0(144,39) -> 1*
    f0(138,131) -> 1*
    f0(161,40) -> 1*
    f0(38,130) -> 1*
    f0(149,149) -> 1*
    f0(155,132) -> 19,39*
    f0(143,166) -> 1*
    f0(137,15) -> 39*,19
    f0(49,148) -> 1*
    f0(160,167) -> 1*
    f0(166,150) -> 1*
    f0(172,133) -> 18*
    f0(142,50) -> 1*
    f0(42,49) -> 1*
    f0(19,140) -> 1*
    f0(130,159) -> 1*
    f0(42,124) -> 1*
    f0(153,143) -> 1*
    f0(159,126) -> 1*
    f0(147,160) -> 1*
    f0(47,159) -> 1*
    f0(146,44) -> 1*
    f0(6,133) -> 36*
    f0(17,151) -> 1*
    f0(134,153) -> 1*
    f0(140,136) -> 19,39*
    f0(163,45) -> 1*
    f0(122,19) -> 1*
    f0(151,154) -> 1*
    f0(157,137) -> 1*
    f0(163,120) -> 1*
    f0(145,3) -> 1,48*
    f0(168,155) -> 1*
    f0(162,172) -> 42*
    f0(121,146) -> 19,39*
    f0(39,19) -> 1*
    f0(138,147) -> 1*
    f0(144,130) -> 1*
    f0(167,39) -> 1*
    f0(38,146) -> 1*
    f0(155,148) -> 1*
    f0(161,131) -> 1*
    f0(131,48) -> 1*
    f0(49,164) -> 1*
    f0(166,166) -> 1*
    f0(172,149) -> 19,39*
    f0(148,49) -> 1*
    f0(160,15) -> 19,39*
    f0(130,175) -> 1*
    f0(19,156) -> 1*
    f0(148,124) -> 1*
    f0(48,48) -> 1*
    f0(165,50) -> 1*
    f0(36,157) -> 1*
    f0(42,140) -> 1*
    f0(159,142) -> 1*
    f0(153,159) -> 1*
    f0(18,40) -> 1*
    f0(47,175) -> 1*
    f0(6,149) -> 1*
    f0(129,134) -> 1*
    f0(140,152) -> 1*
    f0(17,167) -> 1*
    f0(40,151) -> 1*
    f0(46,134) -> 1*
    f0(157,153) -> 1*
    f0(163,136) -> 39*
    f0(139,36) -> 1*
    f0(145,19) -> 1*
    f0(127,145) -> 1*
    f0(121,162) -> 18*
    f0(168,3) -> 9,1,122*
    f0(144,146) -> 1*
    f0(138,163) -> 1*
    f0(3,44) -> 39*,19
    f0(120,46) -> 1*
    f0(44,145) -> 1*
    f0(50,128) -> 1*
    f0(155,164) -> 1*
    f0(167,130) -> 1*
    f0(161,147) -> 1*
    f0(20,45) -> 1*
    f0(137,47) -> 1*
    f0(120,121) -> 122*,9,1
    f0(172,165) -> 36*
    f0(37,46) -> 1*
    f0(154,48) -> 1*
    f0(20,120) -> 1*
    f0(131,139) -> 1*
    f0(137,122) -> 1*
    f0(2,3) -> 5*
    f0(37,121) -> 43*
    f0(142,157) -> 1*
    f0(148,140) -> 1*
    f0(19,172) -> 1*
    f0(124,40) -> 1*
    f0(153,175) -> 1*
    f0(36,173) -> 39*
    f0(42,156) -> 1*
    f0(48,139) -> 1*
    f0(159,158) -> 1*
    f0(41,40) -> 1*
    f0(158,42) -> 1*
    f0(18,131) -> 1*
    f0(129,150) -> 1*
    f0(146,151) -> 1*
    f0(152,134) -> 1*
    f0(140,168) -> 1*
    f0(17,15) -> 39*,4,17,19
    f0(134,17) -> 1*
    f0(46,150) -> 1*
    f0(40,167) -> 1*
    f0(163,152) -> 1*
    f0(122,126) -> 1*
    f0(139,127) -> 1*
    f0(168,19) -> 1*
    f0(156,128) -> 1*
    f0(39,126) -> 1*
    f0(150,145) -> 1*
    f0(126,45) -> 1*
    f0(50,144) -> 1*
    f0(167,146) -> 1*
    f0(161,163) -> 1*
    f0(143,46) -> 1*
    f0(3,135) -> 20*
    f0(120,137) -> 1*
    f0(126,120) -> 1*
    f0(43,45) -> 1*
    f0(20,136) -> 39*
    f0(131,155) -> 1*
    f0(137,138) -> 1*
    f0(143,121) -> 1,44*
    f0(160,47) -> 1*
    f0(125,172) -> 44*
    f0(142,173) -> 39*
    f0(37,137) -> 1*
    f0(43,120) -> 1*
    f0(148,156) -> 1*
    f0(154,139) -> 1*
    f0(160,122) -> 1*
    f0(130,39) -> 1*
    f0(48,155) -> 1*
    f0(165,157) -> 1*
    f0(42,172) -> 9,47*,1
    f0(124,131) -> 1*
    f0(42,4) -> 1*
    f0(147,40) -> 1*
    f0(47,39) -> 1*
    f0(18,147) -> 1*
    f0(164,41) -> 1*
    f0(129,166) -> 1*
    f0(41,131) -> 1*
    f0(152,150) -> 1*
    f0(158,133) -> 19,39*
    f0(146,167) -> 1*
    f0(128,50) -> 1*
    f0(175,134) -> 1*
    f0(46,166) -> 1*
    f0(163,168) -> 1*
    f0(40,15) -> 39*,19
    f0(157,17) -> 1*
    f0(122,142) -> 1*
    f0(139,143) -> 1*
    f0(145,126) -> 1*
    f0(45,50) -> 1*
    f0(156,144) -> 1*
    f0(39,142) -> 1*
    f0(50,160) -> 1*
    f0(120,153) -> 1*
    f0(126,136) -> 39*,19
    f0(149,45) -> 1*
    f0(3,151) -> 19,20,49*
    f0(49,44) -> 1*
    f0(20,152) -> 1*
    f0(137,154) -> 1*
    f0(143,137) -> 1*
    f0(149,120) -> 1*
    f0(166,46) -> 1*
    f0(131,3) -> 1,44*
    f0(37,153) -> 1*
    f0(43,136) -> 39*
    f0(154,155) -> 1*
    f0(166,121) -> 40*,1
    f0(160,138) -> 1*
    f0(148,172) -> 9,122*,1
    f0(19,36) -> 1*
    f0(165,173) -> 39*
    f0(48,3) -> 1,40*
    f0(153,39) -> 1*
    f0(124,147) -> 1*
    f0(130,130) -> 1*
    f0(147,131) -> 1*
    f0(18,163) -> 1*
    f0(41,147) -> 1*
    f0(47,130) -> 1*
    f0(158,149) -> 1*
    f0(164,132) -> 39*
    f0(152,166) -> 1*
    f0(17,47) -> 1*
    f0(134,49) -> 1*
    f0(146,15) -> 19,39*
    f0(175,150) -> 1*
    f0(151,50) -> 1*
    f0(17,122) -> 1*
    f0(122,158) -> 1*
    f0(134,124) -> 1*
    f0(145,142) -> 1*
    f0(139,159) -> 1*
    f0(121,42) -> 19,39*
    f0(39,158) -> 1*
    f0(156,160) -> 1*
    f0(168,126) -> 1*
    f0(126,152) -> 1*
    f0(38,42) -> 1*
    f0(155,44) -> 1*
    f0(3,167) -> 19,39*
    f0(143,153) -> 1*
    f0(149,136) -> 19,39*
    f0(20,168) -> 1*
    f0(172,45) -> 19,49*,20
    f0(131,19) -> 1*
    f0(43,152) -> 1*
    f0(166,137) -> 1*
    f0(160,154) -> 1*
    f0(172,120) -> 19,39*
    f0(154,3) -> 9,1,156*
    f0(42,36) -> 1*
    f0(48,19) -> 1*
    f0(19,127) -> 1*
    f0(130,146) -> 1*
    f0(124,163) -> 1*
    f0(36,128) -> 1*
    f0(147,147) -> 1*
    f0(153,130) -> 1*
    f0(6,45) -> 1*
    f0(47,146) -> 1*
    f0(164,148) -> 1*
    f0(41,163) -> 1*
    f0(6,120) -> 1*
    f0(140,48) -> 1*
    f0(175,166) -> 1*
    f0(40,47) -> 1*
    f0(157,49) -> 1*
    f0(17,138) -> 1*
    f0(128,157) -> 1*
    f0(134,140) -> 1*
    f0(5,172) -> 8*
    f0(139,175) -> 1*
    f0(40,122) -> 1*
    f0(145,158) -> 1*
    f0(157,124) -> 1*
    f0(127,41) -> 1*
    f0(45,157) -> 1*
    f0(168,142) -> 1*
    f0(144,42) -> 1*
    f0(121,133) -> 18*
    f0(138,134) -> 1*
    f0(44,41) -> 1*
    f0(126,168) -> 1*
    f0(3,15) -> 18*
    f0(120,17) -> 1*
    f0(38,133) -> 36*
    f0(149,152) -> 1*
    f0(49,151) -> 1*
    f0(166,153) -> 1*
    f0(43,168) -> 1*
    f0(172,136) -> 18*
    f0(148,36) -> 1*
    f0(154,19) -> 1*
    f0(19,143) -> 1*
    f0(142,128) -> 1*
    f0(36,144) -> 1*
    f0(42,127) -> 1*
    f0(153,146) -> 1*
    f0(147,163) -> 1*
    f0(129,46) -> 1*
    f0(164,164) -> 1*
    f0(6,136) -> 36*
    f0(129,121) -> 45*,9
    f0(146,47) -> 1*
    f0(128,173) -> 19,39*
    f0(46,46) -> 1*
    f0(17,154) -> 1*
    f0(134,156) -> 1*
    f0(140,139) -> 1*
    f0(146,122) -> 1*
    f0(163,48) -> 1*
    f0(40,138) -> 1*
    f0(46,121) -> 1*
    f0(151,157) -> 1*
    f0(157,140) -> 1*
    f0(45,173) -> 39*
    f0(168,158) -> 1*
    f0(150,41) -> 1*
    f0(121,149) -> 19,39*
    f0(127,132) -> 39*,19
    f0(138,150) -> 1*
    f0(144,133) -> 19,39*
    f0(50,40) -> 1*
    f0(167,42) -> 1*
    f0(155,151) -> 1*
    f0(38,149) -> 1*
    f0(44,132) -> 39*,19
    f0(161,134) -> 1*
    f0(149,168) -> 1*
    f0(143,17) -> 1*
    f0(49,167) -> 1*
    f0(172,152) -> 19,49*,20
    f0(131,126) -> 1*
    f0(142,144) -> 1*
    f0(148,127) -> 1*
    f0(19,159) -> 1*
    f0(42,143) -> 1*
    f0(48,126) -> 1*
    f0(165,128) -> 1*
    f0(159,145) -> 1*
    f0(36,160) -> 1*
    f0(152,46) -> 1*
    f0(6,152) -> 1*
    f0(129,137) -> 1*
    f0(140,155) -> 1*
    f0(146,138) -> 1*
    f0(152,121) -> 9,1,50*
    f0(134,172) -> 1,48*
    f0(151,173) -> 19,39*
    f0(40,154) -> 1*
    f0(46,137) -> 1*
    f0(157,156) -> 1*
    f0(163,139) -> 1*
    f0(139,39) -> 1*
    f0(156,40) -> 1*
    f0(127,148) -> 1*
    f0(121,165) -> 36*
    f0(144,149) -> 1*
    f0(150,132) -> 19,39*
    f0(138,166) -> 1*
    f0(3,47) -> 19,49*,20
    f0(120,49) -> 1*
    f0(44,148) -> 1*
    f0(50,131) -> 1*
    f0(155,167) -> 1*
    f0(161,150) -> 1*
    f0(167,133) -> 39*,19
    f0(137,50) -> 1*
    f0(3,122) -> 19,49*,20
    f0(120,124) -> 1*
    f0(20,48) -> 1*
    f0(172,168) -> 19,39*
    f0(131,142) -> 1*
    f0(37,49) -> 1*
    f0(49,15) -> 19,39*
    f0(166,17) -> 1*
    f0(19,175) -> 1*
    f0(37,124) -> 1*
    f0(148,143) -> 1*
    f0(154,126) -> 1*
    f0(142,160) -> 1*
    f0(48,142) -> 1*
    f0(42,159) -> 1*
    f0(165,144) -> 1*
    f0(158,45) -> 1*
    f0(18,134) -> 1*
    f0(129,153) -> 1*
    f0(6,168) -> 1*
    f0(175,46) -> 1*
    f0(146,154) -> 1*
    f0(152,137) -> 1*
    f0(158,120) -> 1*
    f0(140,3) -> 1,40*
    f0(175,121) -> 9,47*,1
    f0(46,153) -> 1*
    f0(163,155) -> 1*
    f0(157,172) -> 156*,9,1
    f0(139,130) -> 1*
    f0(127,164) -> 1*
    f0(150,148) -> 1*
    f0(156,131) -> 1*
    f0(126,48) -> 1*
    f0(50,147) -> 1*
    f0(44,164) -> 1*
    f0(167,149) -> 1*
    f0(161,166) -> 1*
    f0(143,49) -> 1*
    f0(155,15) -> 19,39*
    f0(3,138) -> 19,39*
    f0(9,121) -> 41*
    f0(120,140) -> 1*
    f0(20,139) -> 1*
    f0(131,158) -> 1*
    f0(143,124) -> 1*
    f0(43,48) -> 1*
    f0(160,50) -> 1*
    f0(172,16) -> 18*
    f0(37,140) -> 1*
    f0(154,142) -> 1*
    f0(148,159) -> 1*
    f0(130,42) -> 1*
    f0(42,175) -> 1*
    f0(48,158) -> 1*
    f0(165,160) -> 1*
    f0(124,134) -> 1*
    f0(47,42) -> 1*
    f0(18,150) -> 1*
    f0(164,44) -> 1*
    f0(41,134) -> 1*
    f0(152,153) -> 1*
    f0(158,136) -> 19,39*
    f0(134,36) -> 1*
    f0(140,19) -> 1*
    f0(175,137) -> 1*
    f0(122,145) -> 1*
    f0(128,128) -> 1*
    f0(163,3) -> 1*
    f0(139,146) -> 1*
    f0(39,145) -> 1*
    f0(45,128) -> 1*
    f0(156,147) -> 1*
    f0(150,164) -> 1*
    f0(50,163) -> 1*
    f0(149,48) -> 1*
    f0(3,154) -> 19,20,49*
    f0(120,156) -> 1*
    f0(126,139) -> 1*
    f0(20,155) -> 1*
    f0(137,157) -> 1*
    f0(143,140) -> 1*
    f0(49,47) -> 1*
    f0(166,49) -> 1*
    f0(148,175) -> 1*
    f0(37,156) -> 1*
    f0(43,139) -> 1*
    f0(49,122) -> 1*
    f0(154,158) -> 1*
    f0(166,124) -> 1*
    f0(19,39) -> 1*
    f0(36,40) -> 1*
    f0(153,42) -> 1*
    f0(124,150) -> 1*
    f0(130,133) -> 39*,19
    f0(147,134) -> 1*
    f0(18,166) -> 1*
    f0(129,17) -> 1*
    f0(41,150) -> 1*
    f0(47,133) -> 39*,19
    f0(158,152) -> 1*
    f0(17,50) -> 1*
    f0(175,153) -> 1*
    f0(128,144) -> 1*
    f0(134,127) -> 1*
    f0(46,17) -> 1*
    f0(157,36) -> 1*
    f0(163,19) -> 1*
    f0(151,128) -> 1*
    f0(145,145) -> 1*
    f0(121,45) -> 20,19,49*
    f0(45,144) -> 1*
    f0(156,163) -> 1*
    f0(138,46) -> 1*
    f0(121,120) -> 39*,19
    f0(38,45) -> 1*
    f0(155,47) -> 1*
    f0(126,155) -> 1*
    f0(138,121) -> 1,40*
    f0(120,172) -> 122*,9,1
    f0(3,2) -> 4*
    f0(137,173) -> 19,39*
    f0(38,120) -> 1*
    f0(143,156) -> 1*
    f0(149,139) -> 1*
    f0(155,122) -> 1*
    f0(172,48) -> 19,39*
    f0(20,3) -> 1*
    f0(43,155) -> 1*
    f0(49,138) -> 1*
    f0(160,157) -> 1*
    f0(166,140) -> 1*
    f0(37,172) -> 43*
    f0(37,4) -> 1*
    f0(142,40) -> 1*
    f0(130,149) -> 1*
    f0(42,39) -> 1*
    f0(19,130) -> 1*
    f0(124,166) -> 1*
    f0(159,41) -> 1*
    f0(36,131) -> 1*
    f0(147,150) -> 1*
    f0(153,133) -> 19,39*
    f0(6,48) -> 1*
    f0(47,149) -> 1*
    f0(164,151) -> 1*
    f0(41,166) -> 1*
    f0(158,168) -> 1*
    f0(152,17) -> 1*
    f0(134,143) -> 1*
    f0(140,126) -> 1*
    f0(40,50) -> 1*
    f0(128,160) -> 1*
    f0(151,144) -> 1*
    f0(157,127) -> 1*
    f0(127,44) -> 1*
    f0(45,160) -> 1*
    f0(168,145) -> 1*
    f0(121,136) -> 18*
    f0(144,45) -> 1*
    f0(44,44) -> 1*
    f0(138,137) -> 1*
    f0(144,120) -> 1*
    f0(161,46) -> 1*
    f0(3,18) -> 36*,4,17
    f0(126,3) -> 40*,1
    f0(38,136) -> 36*
    f0(149,155) -> 1*
    f0(155,138) -> 1*
    f0(161,121) -> 9*
    f0(143,172) -> 44*,1
    f0(20,19) -> 1*
    f0(160,173) -> 19,39*
    f0(49,154) -> 1*
    f0(166,156) -> 1*
    f0(172,139) -> 19,39*
    f0(43,3) -> 45*,9
    f0(148,39) -> 1*
    f0(19,146) -> 1*
    f0(142,131) -> 1*
    f0(165,40) -> 1*
    f0(36,147) -> 1*
    f0(42,130) -> 1*
    f0(153,149) -> 1*
    f0(159,132) -> 19,39*
    f0(147,166) -> 1*
    f0(129,49) -> 1*
    f0(164,167) -> 1*
    f0(146,50) -> 1*
    f0(6,139) -> 1*
    f0(129,124) -> 1*
    f0(175,17) -> 1*
    f0(46,49) -> 1*
    f0(17,157) -> 1*
    f0(140,142) -> 1*
    f0(134,159) -> 1*
    f0(46,124) -> 1*
    f0(157,143) -> 1*
    f0(151,160) -> 1*
    f0(163,126) -> 1*
    f0(121,152) -> 19,20,49*
    f0(150,44) -> 1*
    f0(138,153) -> 1*
    f0(144,136) -> 19,39*
    f0(167,45) -> 1*
    f0(120,36) -> 1*
    f0(126,19) -> 1*
    f0(38,152) -> 1*
    f0(155,154) -> 1*
    f0(167,120) -> 1*
    f0(161,137) -> 1*
    f0(149,3) -> 9,1,122*
    f0(166,172) -> 40*,1
    f0(172,155) -> 19,49*,20
    f0(43,19) -> 1*
    f0(37,36) -> 1*
    f0(148,130) -> 1*
    f0(142,147) -> 1*
    f0(42,146) -> 1*
    f0(36,163) -> 1*
    f0(159,148) -> 1*
    f0(165,131) -> 1*
    f0(18,46) -> 1*
    f0(6,155) -> 1*
    f0(152,49) -> 1*
    f0(129,140) -> 1*
    f0(18,121) -> 9*
    f0(164,15) -> 39*
    f0(134,175) -> 1*
    f0(17,173) -> 39*
    f0(140,158) -> 1*
    f0(152,124) -> 1*
    f0(122,41) -> 1*
    f0(40,157) -> 1*
    f0(46,140) -> 1*
    f0(157,159) -> 1*
    f0(163,142) -> 1*
    f0(139,42) -> 1*
    f0(127,151) -> 1*
    f0(39,41) -> 1*
    f0(121,168) -> 19,39*
    f0(144,152) -> 1*
    f0(3,50) -> 20,19,49*
    f0(50,134) -> 1*
    f0(44,151) -> 1*
    f0(167,136) -> 39*,19
    f0(161,153) -> 1*
    f0(38,168) -> 1*
    f0(120,127) -> 1*
    f0(3,125) -> 36*
    f0(149,19) -> 1*
    f0(143,36) -> 1*
    f0(137,128) -> 1*
    f0(131,145) -> 1*
    f0(20,126) -> 1*
    f0(172,3) -> 15*
    f0(148,146) -> 1*
    f0(37,127) -> 1*
    f0(142,163) -> 1*
    f0(124,46) -> 1*
    f0(48,145) -> 1*
    f0(159,164) -> 1*
    f0(165,147) -> 1*
    f0(124,121) -> 1,40*
    f0(129,156) -> 1*
    f0(158,48) -> 1*
    f0(18,137) -> 1*
    f0(41,46) -> 1*
    f0(6,3) -> 43*,18,9
    f0(175,49) -> 1*
    f0(146,157) -> 1*
    f0(152,140) -> 1*
    f0(41,121) -> 1,40*
    f0(128,40) -> 1*
    f0(175,124) -> 1*
    f0(157,175) -> 1*
    f0(40,173) -> 19,39*
    f0(46,156) -> 1*
    f0(163,158) -> 1*
    f0(122,132) -> 39*,19
    f0(145,41) -> 1*
    f0(45,40) -> 1*
    f0(139,133) -> 19,39*
    f0(127,167) -> 1*
    f0(121,16) -> 18*
    f0(156,134) -> 1*
    f0(150,151) -> 1*
    f0(39,132) -> 39*,19
    f0(144,168) -> 1*
    f0(138,17) -> 1*
    f0(50,150) -> 1*
    f0(44,167) -> 1*
    f0(167,152) -> 1*
    f0(126,126) -> 1*
    f0(120,143) -> 1*
    f0(143,127) -> 1*
    f0(137,144) -> 1*
    f0(20,142) -> 1*
    f0(166,36) -> 1*
    f0(172,19) -> 36*
    f0(154,145) -> 1*
    f0(43,126) -> 1*
    f0(37,143) -> 1*
    f0(160,128) -> 1*
    f0(130,45) -> 1*
    f0(165,163) -> 1*
    f0(130,120) -> 1*
    f0(124,137) -> 1*
    f0(147,46) -> 1*
    f0(18,153) -> 1*
    f0(47,45) -> 1*
    f0(147,121) -> 9,1,122*
    f0(164,47) -> 1*
    f0(129,172) -> 45*,9
    f0(146,173) -> 19,39*
    f0(152,156) -> 1*
    f0(158,139) -> 1*
    f0(47,120) -> 1*
    f0(41,137) -> 1*
    f0(164,122) -> 1*
    f0(134,39) -> 1*
    f0(175,140) -> 1*
    f0(46,172) -> 1*
    f0(128,131) -> 1*
    f0(122,148) -> 1*
    f0(151,40) -> 1*
    f0(145,132) -> 19,39*
    f0(139,149) -> 1*
    f0(168,41) -> 1*
    f0(127,15) -> 39*,19
    f0(156,150) -> 1*
    f0(45,131) -> 1*
    f0(39,148) -> 1*
    f0(150,167) -> 1*
    f0(50,166) -> 1*
    f0(167,168) -> 1*
    f0(3,157) -> 19,20,49*
    f0(44,15) -> 39*,19
    f0(126,142) -> 1*
    f0(120,159) -> 1*
    f0(161,17) -> 1*
    f0(20,158) -> 1*
    f0(149,126) -> 1*
    f0(143,143) -> 1*
    f0(49,50) -> 1*
    f0(137,160) -> 1*
    f0(43,142) -> 1*
    f0(160,144) -> 1*
    f0(166,127) -> 1*
    f0(37,159) -> 1*
    f0(19,42) -> 1*
    f0(153,45) -> 1*
    f0(124,153) -> 1*
    f0(130,136) -> 39*,19
    f0(153,120) -> 1*
    f0(147,137) -> 1*
    f0(135,3) -> 41*
    f0(158,155) -> 1*
    f0(41,153) -> 1*
    f0(47,136) -> 39*,19
    f0(164,138) -> 1*
    f0(152,172) -> 50*,9,1
    f0(175,156) -> 1*
    f0(157,39) -> 1*
    f0(134,130) -> 1*
    f0(128,147) -> 1*
    f0(17,128) -> 1*
    f0(122,164) -> 1*
    f0(151,131) -> 1*
    f0(145,148) -> 1*
    f0(121,48) -> 19,39*
    f0(45,147) -> 1*
    f0(39,164) -> 1*
    f0(156,166) -> 1*
    f0(168,132) -> 19,39*
    f0(150,15) -> 19,39*
    f0(138,49) -> 1*
    f0(120,175) -> 1*
    f0(3,173) -> 18*
    f0(126,158) -> 1*
    f0(155,50) -> 1*
    f0(38,48) -> 1*
    f0(138,124) -> 1*
    f0(3,5) -> 38*,4,6
    f0(149,142) -> 1*
    f0(143,159) -> 1*
    f0(37,175) -> 1*
    f0(43,158) -> 1*
    f0(160,160) -> 1*
    f0(166,143) -> 1*
    f0(172,126) -> 19,39*
    f0(130,152) -> 1*
    f0(19,133) -> 19*
    f0(42,42) -> 1*
    f0(159,44) -> 1*
    f0(153,136) -> 19,39*
    f0(147,153) -> 1*
    f0(36,134) -> 1*
    f0(129,36) -> 1*
    f0(18,17) -> 1*
    f0(47,152) -> 1*
    f0(164,154) -> 1*
    f0(158,3) -> 9,1,150*
    f0(6,126) -> 1*
    f0(175,172) -> 9,1,47*
    f0(175,4) -> 1*
    f0(134,146) -> 1*
    f0(17,144) -> 1*
    f0(46,36) -> 1*
    f0(128,163) -> 1*
    f0(157,130) -> 1*
    f0(151,147) -> 1*
    f0(40,128) -> 1*
    f0(145,164) -> 1*
    f0(127,47) -> 1*
    f0(45,163) -> 1*
    f0(168,148) -> 1*
    f0(127,122) -> 1*
    f0(121,139) -> 19,39*
    f0(144,48) -> 1*
    f0(44,47) -> 1*
    f0(138,140) -> 1*
    f0(161,49) -> 1*
    f0(9,172) -> 41*
    f0(143,175) -> 1*
    f0(149,158) -> 1*
    f0(44,122) -> 1*
    f0(38,139) -> 1*
    f0(161,124) -> 1*
    f0(131,41) -> 1*
    f0(49,157) -> 1*
    f0(166,159) -> 1*
    f0(172,142) -> 19,49*,20
    f0(148,42) -> 1*
    f0(142,134) -> 1*
    f0(19,149) -> 1*
    f0(48,41) -> 1*
    f0(130,168) -> 1*
    f0(124,17) -> 1*
    f0(36,150) -> 1*
    f0(153,152) -> 1*
    f0(42,133) -> 39*,19
    f0(47,168) -> 1*
    f0(158,19) -> 1*
    f0(152,36) -> 1*
    f0(41,17) -> 1*
    f0(129,127) -> 1*
    f0(6,142) -> 1*
    f0(146,128) -> 1*
    f0(140,145) -> 1*
    f0(17,160) -> 1*
    f0(157,146) -> 1*
    f0(46,127) -> 1*
    f0(40,144) -> 1*
    f0(151,163) -> 1*
    f0(168,164) -> 1*
    f0(121,155) -> 19,20,49*
    f0(150,47) -> 1*
    f0(133,121) -> 16*
    f0(127,138) -> 1*
    f0(138,156) -> 1*
    f0(150,122) -> 1*
    f0(50,46) -> 1*
    f0(144,139) -> 1*
    f0(167,48) -> 1*
    f0(120,39) -> 1*
    f0(15,3) -> 16*
    f0(3,37) -> 36*
    f0(155,157) -> 1*
    f0(38,155) -> 1*
    f0(50,121) -> 48*,1
    f0(44,138) -> 1*
    f0(161,140) -> 1*
    f0(137,40) -> 1*
    f0(166,175) -> 1*
    f0(49,173) -> 19,39*
    f0(172,158) -> 19,39*
    f0(154,41) -> 1*
    f0(37,39) -> 1*
    f0(131,132) -> 39*,19
    f0(148,133) -> 19,39*
    f0(142,150) -> 1*
    f0(48,132) -> 39*,19
    f0(42,149) -> 1*
    f0(159,151) -> 1*
    f0(36,166) -> 1*
    f0(165,134) -> 1*
    f0(153,168) -> 1*
    f0(147,17) -> 1*
    f0(18,49) -> 1*
    f0(6,158) -> 1*
    f0(129,143) -> 1*
    f0(18,124) -> 1*
    f0(175,36) -> 1*
    f0(152,127) -> 1*
    f0(146,144) -> 1*
    f0(122,44) -> 1*
    f0(46,143) -> 1*
    f0(40,160) -> 1*
    f0(163,145) -> 1*
    f0(139,45) -> 1*
    f0(156,46) -> 1*
    f0(127,154) -> 1*
    f0(139,120) -> 1*
    f0(39,44) -> 1*
    f0(121,3) -> 15*
    f0(156,121) -> 1,48*
    f0(144,155) -> 1*
    f0(150,138) -> 1*
    f0(138,172) -> 40*,1
    f0(155,173) -> 19,39*
    f0(44,154) -> 1*
    f0(50,137) -> 1*
    f0(167,139) -> 1*
    f0(161,156) -> 1*
    f0(120,130) -> 1*
    f0(3,128) -> 20,19,49*
    f0(143,39) -> 1*
    f0(38,3) -> 43*
    f0(172,174) -> 18*
    f0(137,131) -> 1*
    f0(131,148) -> 1*
    f0(160,40) -> 1*
    f0(172,6) -> 36*
    f0(154,132) -> 19,39*
    f0(148,149) -> 1*
    f0(37,130) -> 1*
    f0(142,166) -> 1*
    f0(124,49) -> 1*
    f0(48,148) -> 1*
    f0(159,167) -> 1*
    f0(165,150) -> 1*
    f0(124,124) -> 1*
    f0(18,140) -> 1*
    f0(41,49) -> 1*
    f0(129,159) -> 1*
    f0(158,126) -> 1*
    f0(152,143) -> 1*
    f0(41,124) -> 1*
    f0(146,160) -> 1*
    f0(175,127) -> 1*
    f0(46,159) -> 1*
    f0(145,44) -> 1*
    f0(139,136) -> 19,39*
    f0(121,19) -> 36*
    f0(156,137) -> 1*
    f0(150,154) -> 1*
    f0(144,3) -> 1,44*
    f0(50,153) -> 1*
    f0(167,155) -> 1*
    f0(161,172) -> 9*
    f0(120,146) -> 1*
    f0(3,144) -> 19,39*
    f0(143,130) -> 1*
    f0(137,147) -> 1*
    f0(20,145) -> 1*
    f0(131,164) -> 1*
    f0(166,39) -> 1*
    f0(154,148) -> 1*
    f0(37,146) -> 1*
    f0(160,131) -> 1*
    f0(130,48) -> 1*
    f0(48,164) -> 1*
    f0(165,166) -> 1*
    f0(124,140) -> 1*
    f0(147,49) -> 1*
    f0(159,15) -> 19,39*
    f0(129,175) -> 1*
    f0(18,156) -> 1*
    f0(147,124) -> 1*
    f0(47,48) -> 1*
    f0(164,50) -> 1*
    f0(158,142) -> 1*
    f0(41,140) -> 1*
    f0(152,159) -> 1*
    f0(134,42) -> 1*
    f0(17,40) -> 1*
    f0(46,175) -> 1*
    f0(175,143) -> 1*
    f0(122,151) -> 1*
    f0(128,134) -> 1*
    f0(139,152) -> 1*
    f0(168,44) -> 1*
    f0(156,153) -> 1*
    f0(45,134) -> 1*
    f0(39,151) -> 1*
    f0(144,19) -> 1*
    f0(138,36) -> 1*
    f0(126,145) -> 1*
    f0(167,3) -> 44*,1
    f0(3,160) -> 19,39*
    f0(143,146) -> 1*
    f0(137,163) -> 1*
    f0(172,38) -> 36*
    f0(49,128) -> 1*
    f0(43,145) -> 1*
    f0(154,164) -> 1*
    f0(166,130) -> 1*
    f0(160,147) -> 1*
    f0(19,45) -> 1*
    f0(124,156) -> 1*
    f0(130,139) -> 1*
    f0(19,120) -> 1*
    f0(153,48) -> 1*
    f0(36,46) -> 1*
    f0(1,3) -> 44*,4,17,19,1
    f0(147,140) -> 1*
    f0(36,121) -> 1*
    f0(18,172) -> 9*
    f0(6,38) -> 1*
    f0(152,175) -> 1*
    f0(41,156) -> 1*
    f0(158,158) -> 1*
    f0(47,139) -> 1*
    f0(140,41) -> 1*
    f0(175,159) -> 1*
    f0(157,42) -> 1*
    f0(128,150) -> 1*
    f0(40,40) -> 1*
    f0(134,133) -> 39*
    f0(17,131) -> 1*
    f0(122,167) -> 1*
    f0(151,134) -> 1*
    f0(145,151) -> 1*
    f0(139,168) -> 1*
    f0(45,150) -> 1*
    f0(39,167) -> 1*
    f0(121,126) -> 39*,19
    f0(138,127) -> 1*
    f0(50,17) -> 1*
    f0(167,19) -> 1*
    f0(161,36) -> 1*
    f0(3,8) -> 18*
    f0(155,128) -> 1*
    f0(149,145) -> 1*
    f0(38,126) -> 1*
    f0(49,144) -> 1*
    f0(166,146) -> 1*
    f0(160,163) -> 1*
    f0(172,129) -> 46*,20
    f0(142,46) -> 1*
    f0(130,155) -> 1*
    f0(19,136) -> 19*
    f0(42,45) -> 1*
    f0(142,121) -> 1,48*
    f0(159,47) -> 1*
    f0(124,172) -> 40*,1
    f0(147,156) -> 1*
    f0(153,139) -> 1*
    f0(42,120) -> 1*
    f0(36,137) -> 1*
    f0(159,122) -> 1*
    f0(129,39) -> 1*
    f0(47,155) -> 1*
    f0(164,157) -> 1*
    f0(41,172) -> 40*,1
    f0(146,40) -> 1*
    f0(175,175) -> 1*
    f0(46,39) -> 1*
    f0(140,132) -> 19,39*
    f0(134,149) -> 1*
    f0(17,147) -> 1*
    f0(128,166) -> 1*
    f0(163,41) -> 1*
    f0(122,15) -> 19,39*
    f0(157,133) -> 19,39*
    f0(151,150) -> 1*
    f0(40,131) -> 1*
    f0(145,167) -> 1*
    f0(127,50) -> 1*
    f0(45,166) -> 1*
    f0(168,151) -> 1*
    f0(156,17) -> 1*
    f0(39,15) -> 39*,19
    f0(121,142) -> 19,49*,20
    f0(144,126) -> 1*
    f0(138,143) -> 1*
    f0(44,50) -> 1*
    f0(155,144) -> 1*
    f0(38,142) -> 1*
    f0(161,127) -> 1*
    f0(131,44) -> 1*
    f0(49,160) -> 1*
    f0(172,145) -> 19,49*,20
    f0(148,45) -> 1*
    f0(48,44) -> 1*
    f0(148,120) -> 1*
    f0(142,137) -> 1*
    f0(19,152) -> 1*
    f0(165,46) -> 1*
    f0(130,3) -> 1,44*
    f0(153,155) -> 1*
    f0(36,153) -> 1*
    f0(42,136) -> 39*,19
    f0(159,138) -> 1*
    f0(165,121) -> 1*
    f0(147,172) -> 9,122*,1
    f0(18,36) -> 1*
    f0(164,173) -> 39*
    f0(152,39) -> 1*
    f0(129,130) -> 1*
    f0(6,145) -> 1*
    f0(47,3) -> 9,1,50*
    f0(146,131) -> 1*
    f0(140,148) -> 1*
    f0(17,163) -> 1*
    f0(157,149) -> 1*
    f0(46,130) -> 1*
    f0(40,147) -> 1*
    f0(151,166) -> 1*
    f0(163,132) -> 39*
    f0(145,15) -> 19,39*
    f0(168,167) -> 1*
    f0(121,158) -> 19,39*
    f0(150,50) -> 1*
    f0(144,142) -> 1*
    f0(50,49) -> 1*
    f0(138,159) -> 1*
    f0(120,42) -> 1*
    f0(3,40) -> 39*,19
    f0(38,158) -> 1*
    f0(50,124) -> 1*
    f0(167,126) -> 1*
    f0(155,160) -> 1*
    f0(161,143) -> 1*
    f0(20,41) -> 1*
    f0(172,161) -> 36*
    f0(154,44) -> 1*
    f0(37,42) -> 1*
    f0(142,153) -> 1*
    f0(148,136) -> 19,39*
    f0(19,168) -> 1*
    f0(130,19) -> 1*
    f0(124,36) -> 1*
    f0(42,152) -> 1*
    f0(159,154) -> 1*
    f0(165,137) -> 1*
    f0(153,3) -> 9,1,122*
    f0(129,146) -> 1*
    f0(18,127) -> 1*
    f0(47,19) -> 1*
    f0(41,36) -> 1*
    f0(175,39) -> 1*
    f0(152,130) -> 1*
    f0(146,147) -> 1*
    f0(140,164) -> 1*
    f0(122,47) -> 1*
    f0(46,146) -> 1*
    f0(163,148) -> 1*
    f0(40,163) -> 1*
    f0(122,122) -> 1*
    f0(139,48) -> 1*
    f0(127,157) -> 1*
    f0(156,49) -> 1*
    f0(39,47) -> 1*
    f0(168,15) -> 19,39*
    f0(121,174) -> 18*
    f0(121,6) -> 36*
    f0(138,175) -> 1*
    f0(144,158) -> 1*
    f0(156,124) -> 1*
    f0(39,122) -> 1*
    f0(126,41) -> 1*
    f0(44,157) -> 1*
    f0(50,140) -> 1*
    f0(167,142) -> 1*
    f0(161,159) -> 1*
    f0(120,133) -> 39*,19
    f0(3,131) -> 19,39*
    f0(143,42) -> 1*
    f0(137,134) -> 1*
    f0(131,151) -> 1*
    f0(20,132) -> 39*
    f0(43,41) -> 1*
    f0(172,9) -> 20*
    f0(148,152) -> 1*
    f0(37,133) -> 36*
    f0(48,151) -> 1*
    f0(165,153) -> 1*
    f0(42,168) -> 1*
    f0(153,19) -> 1*
    f0(147,36) -> 1*
    f0(36,17) -> 1*
    f0(124,127) -> 1*
    f0(18,143) -> 1*
    f0(152,146) -> 1*
    f0(41,127) -> 1*
    f0(146,163) -> 1*
    f0(128,46) -> 1*
    f0(175,130) -> 1*
    f0(163,164) -> 1*
    f0(128,121) -> 50*,1,9
    f0(122,138) -> 1*
    f0(145,47) -> 1*
    f0(127,173) -> 19,39*
    f0(45,46) -> 1*
    f0(145,122) -> 1*
    f0(139,139) -> 1*
    f0(10,3) -> 40*,4,20,19,17,1
    f0(150,157) -> 1*
    f0(156,140) -> 1*
    f0(45,121) -> 48*,1
    f0(39,138) -> 1*
    f0(161,175) -> 1*
    f0(44,173) -> 19,39*
    f0(50,156) -> 1*
    f0(167,158) -> 1*
    f0(3,147) -> 19,39*
    f0(149,41) -> 1*
    f0(126,132) -> 39*,19
    f0(120,149) -> 1*
    f0(137,150) -> 1*
    f0(143,133) -> 19,39*
    f0(20,148) -> 1*
    f0(49,40) -> 1*
    f0(131,167) -> 1*
    f0(166,42) -> 1*
    f0(154,151) -> 1*
    f0(43,132) -> 39*
    f0(37,149) -> 1*
    f0(160,134) -> 1*
    f0(148,168) -> 1*
    f0(142,17) -> 1*
    f0(48,167) -> 1*
    f0(130,126) -> 1*
    f0(124,143) -> 1*
    f0(147,127) -> 1*
    f0(18,159) -> 1*
    f0(158,145) -> 1*
    f0(47,126) -> 1*
    f0(41,143) -> 1*
    f0(164,128) -> 1*
    f0(134,45) -> 1*
    f0(175,146) -> 1*
    f0(122,154) -> 1*
    f0(134,120) -> 1*
    f0(128,137) -> 1*
    f0(151,46) -> 1*
    f0(139,155) -> 1*
    f0(151,121) -> 9,1,50*
    f0(145,138) -> 1*
    f0(168,47) -> 1*
    f0(133,172) -> 16*
    f0(121,38) -> 36*
    f0(150,173) -> 19,39*
    f0(156,156) -> 1*
    f0(39,154) -> 1*
    f0(45,137) -> 1*
    f0(168,122) -> 1*
    f0(138,39) -> 1*
    f0(50,172) -> 48*,1
    f0(155,40) -> 1*
    f0(38,38) -> 1*
    f0(126,148) -> 1*
    f0(3,163) -> 19*
    f0(149,132) -> 19,39*
    f0(143,149) -> 1*
    f0(137,166) -> 1*
    f0(20,164) -> 1*
    f0(172,41) -> 19,39*
    f0(131,15) -> 39*,19
    f0(49,131) -> 1*
    f0(43,148) -> 1*
    f0(160,150) -> 1*
    f0(154,167) -> 1*
    f0(166,133) -> 39*
    f0(19,48) -> 1*
    f0(130,142) -> 1*
    f0(48,15) -> 19,39*
    f0(36,49) -> 1*
    f0(124,159) -> 1*
    f0(165,17) -> 1*
    f0(18,175) -> 1*
    f0(153,126) -> 1*
    f0(147,143) -> 1*
    f0(36,124) -> 1*
    f0(6,41) -> 1*
    f0(47,142) -> 1*
    f0(41,159) -> 1*
    f0(164,144) -> 1*
    f0(140,44) -> 1*
    f0(157,45) -> 1*
    f0(128,153) -> 1*
    f0(134,136) -> 39*
    f0(17,134) -> 1*
    f0(157,120) -> 1*
    f0(145,154) -> 1*
    f0(151,137) -> 1*
    f0(139,3) -> 1,40*
    f0(45,153) -> 1*
    f0(168,138) -> 1*
    f0(156,172) -> 48*,1
    f0(174,121) -> 42*
    f0(121,129) -> 20,46*
    f0(138,130) -> 1*
    f0(126,164) -> 1*
    f0(161,39) -> 1*
    f0(155,131) -> 1*
    f0(149,148) -> 1*
    f0(49,147) -> 1*
    f0(160,166) -> 1*
    f0(166,149) -> 1*
    f0(43,164) -> 1*
    f0(172,132) -> 18*
    f0(154,15) -> 19,39*
    f0(8,121) -> 37*
    f0(142,49) -> 1*
    f0(124,175) -> 1*
    f0(130,158) -> 1*
    f0(142,124) -> 1*
    f0(19,139) -> 1*
    f0(42,48) -> 1*
    f0(159,50) -> 1*
    f0(153,142) -> 1*
    f0(36,140) -> 1*
    f0(147,159) -> 1*
    f0(129,42) -> 1*
    f0(41,175) -> 1*
    f0(47,158) -> 1*
    f0(164,160) -> 1*
    f0(6,132) -> 36*
    f0(17,150) -> 1*
    f0(134,152) -> 1*
    f0(46,42) -> 1*
    f0(163,44) -> 1*
    f0(157,136) -> 19,39*
    f0(151,153) -> 1*
    f0(40,134) -> 1*
    f0(139,19) -> 1*
    f0(168,154) -> 1*
    f0(127,128) -> 1*
    f0(121,145) -> 19,49*,20
    f0(162,3) -> 42*
    f0(50,36) -> 1*
    f0(138,146) -> 1*
    f0(155,147) -> 1*
    f0(44,128) -> 1*
    f0(38,145) -> 1*
    f0(149,164) -> 1*
    f0(161,130) -> 1*
    f0(131,47) -> 1*
    f0(49,163) -> 1*
    f0(172,148) -> 19,39*
    f0(131,122) -> 1*
    f0(148,48) -> 1*
    f0(19,155) -> 1*
    f0(142,140) -> 1*
    f0(48,47) -> 1*
    f0(165,49) -> 1*
    f0(147,175) -> 1*
    f0(153,158) -> 1*
    f0(36,156) -> 1*
    f0(48,122) -> 1*
    f0(42,139) -> 1*
    f0(165,124) -> 1*
    f0(18,39) -> 1*
    f0(152,42) -> 1*
    f0(129,133) -> 39*
    f0(6,148) -> 1*
    f0(146,134) -> 1*
    f0(140,151) -> 1*
    f0(17,166) -> 1*
    f0(134,168) -> 1*
    f0(128,17) -> 1*
    f0(157,152) -> 1*
    f0(46,133) -> 39*
    f0(40,150) -> 1*
    f0(156,36) -> 1*
    f0(127,144) -> 1*
    f0(45,17) -> 1*
    f0(121,161) -> 36*
    f0(150,128) -> 1*
    f0(144,145) -> 1*
    f0(120,45) -> 1*
    f0(3,43) -> 46*,20
    f0(44,144) -> 1*
    f0(50,127) -> 1*
    f0(161,146) -> 1*
    f0(155,163) -> 1*
    f0(20,44) -> 1*
    f0(120,120) -> 1*
    f0(137,46) -> 1*
    f0(172,164) -> 19,39*
    f0(154,47) -> 1*
    f0(37,45) -> 1*
    f0(137,121) -> 124*,1
    f0(131,138) -> 1*
    f0(142,156) -> 1*
    f0(154,122) -> 1*
    f0(148,139) -> 1*
    f0(37,120) -> 1*
    f0(124,39) -> 1*
    f0(19,3) -> 1*
    f0(42,155) -> 1*
    f0(48,138) -> 1*
    f0(159,157) -> 1*
    f0(165,140) -> 1*
    f0(36,172) -> 1*
    f0(158,41) -> 1*
    f0(41,39) -> 1*
    f0(129,149) -> 1*
    f0(18,130) -> 1*
    f0(6,164) -> 1*
    f0(175,42) -> 1*
    f0(152,133) -> 19,39*
    f0(146,150) -> 1*
    f0(140,167) -> 1*
    f0(122,50) -> 1*
    f0(46,149) -> 1*
    f0(163,151) -> 1*
    f0(40,166) -> 1*
    f0(157,168) -> 1*
    f0(151,17) -> 1*
    f0(139,126) -> 1*
    f0(39,50) -> 1*
    f0(127,160) -> 1*
    f0(121,9) -> 20*
    f0(156,127) -> 1*
    f0(150,144) -> 1*
    f0(126,44) -> 1*
    f0(50,143) -> 1*
    f0(167,145) -> 1*
    f0(44,160) -> 1*
    f0(120,136) -> 39*,19
    f0(3,134) -> 20,19,49*
    f0(143,45) -> 1*
    f0(131,154) -> 1*
    f0(43,44) -> 1*
    f0(143,120) -> 1*
    f0(137,137) -> 1*
    f0(160,46) -> 1*
    f0(125,3) -> 44*
    f0(154,138) -> 1*
    f0(148,155) -> 1*
    f0(37,136) -> 36*
    f0(160,121) -> 1*
    f0(142,172) -> 48*,1
    f0(19,19) -> 1*
    f0(159,173) -> 19,39*
    f0(48,154) -> 1*
    f0(165,156) -> 1*
    f0(124,130) -> 1*
    f0(147,39) -> 1*
    f0(42,3) -> 47*,9,1
    f0(18,146) -> 1*
    f0(164,40) -> 1*
    f0(158,132) -> 19,39*
    f0(152,149) -> 1*
    f0(41,130) -> 1*
    f0(146,166) -> 1*
    f0(140,15) -> 19,39*
    f0(128,49) -> 1*
    f0(175,133) -> 19,39*
    f0(163,167) -> 1*
    f0(145,50) -> 1*
    f0(128,124) -> 1*
    f0(139,142) -> 1*
    f0(45,49) -> 1*
    f0(156,143) -> 1*
    f0(45,124) -> 1*
    f0(150,160) -> 1*
    f0(50,159) -> 1*
    f0(3,150) -> 19,20,49*
    f0(120,152) -> 1*
    f0(149,44) -> 1*
    f0(20,151) -> 1*
    f0(137,153) -> 1*
    f0(143,136) -> 19,39*
    f0(166,45) -> 1*
    f0(154,154) -> 1*
    f0(37,152) -> 1*
    f0(160,137) -> 1*
    f0(166,120) -> 1*
    f0(148,3) -> 9,1,122*
    f0(165,172) -> 1*
    f0(124,146) -> 1*
    f0(42,19) -> 1*
    f0(36,36) -> 1*
    f0(147,130) -> 1*
    f0(158,148) -> 1*
    f0(41,146) -> 1*
    f0(164,131) -> 1*
    f0(134,48) -> 1*
    f0(17,46) -> 1*
    f0(175,149) -> 1*
    f0(122,157) -> 1*
    f0(151,49) -> 1*
    f0(128,140) -> 1*
    f0(17,121) -> 1*
    f0(163,15) -> 39*
    f0(139,158) -> 1*
    f0(151,124) -> 1*
    f0(168,50) -> 1*
    f0(121,41) -> 19,39*
    f0(39,157) -> 1*
    f0(45,140) -> 1*
    f0(156,159) -> 1*
    f0(138,42) -> 1*
    f0(50,175) -> 1*
    f0(126,151) -> 1*
    f0(38,41) -> 1*
    f0(3,166) -> 19,39*
    f0(120,168) -> 1*
    f0(143,152) -> 1*
    f0(20,167) -> 1*
    f0(172,44) -> 19,39*
    f0(49,134) -> 1*
    f0(43,151) -> 1*
    f0(160,153) -> 1*
    f0(166,136) -> 39*
    f0(37,168) -> 1*
    f0(148,19) -> 1*
    f0(142,36) -> 1*
    f0(19,126) -> 1*
    f0(130,145) -> 1*
    f0(147,146) -> 1*
    f0(36,127) -> 1*
    f0(6,44) -> 1*
    f0(47,145) -> 1*
    f0(158,164) -> 1*
    f0(164,147) -> 1*
    f0(140,47) -> 1*
    f0(122,173) -> 19,39*
    f0(157,48) -> 1*
    f0(128,156) -> 1*
    f0(40,46) -> 1*
    f0(140,122) -> 1*
    f0(134,139) -> 1*
    f0(17,137) -> 1*
    f0(5,3) -> 8*
    f0(145,157) -> 1*
    f0(40,121) -> 1,44*
    f0(151,140) -> 1*
    f0(127,40) -> 1*
    f0(156,175) -> 1*
    f0(39,173) -> 19,39*
    f0(45,156) -> 1*
    f0(144,41) -> 1*
    f0(121,132) -> 18*
    f0(138,133) -> 39*,19
    f0(44,40) -> 1*
    f0(161,42) -> 1*
    f0(126,167) -> 1*
    f0(155,134) -> 1*
    f0(149,151) -> 1*
    f0(38,132) -> 36*
    f0(143,168) -> 1*
    f0(137,17) -> 1*
    f0(20,15) -> 39*,4,17,19
    f0(49,150) -> 1*
    f0(43,167) -> 1*
    f0(166,152) -> 1*
    f0(172,135) -> 20*
    f0(142,127) -> 1*
    f0(19,142) -> 1*
    f0(165,36) -> 1*
    f0(153,145) -> 1*
    f0(42,126) -> 1*
    f0(36,143) -> 1*
    f0(159,128) -> 1*
    f0(129,45) -> 1*
    f0(164,163) -> 1*
    f0(129,120) -> 1*
    f0(146,46) -> 1*
    f0(134,155) -> 1*
    f0(17,153) -> 1*
    f0(146,121) -> 9,1,150*
    f0(140,138) -> 1*
    f0(46,45) -> 1*
    f0(163,47) -> 1*
    f0(128,172) -> 9,50*,1
    f0(145,173) -> 19,39*
    f0(157,139) -> 1*
    f0(151,156) -> 1*
    f0(46,120) -> 1*
    f0(40,137) -> 1*
    f0(163,122) -> 1*
    f0(168,157) -> 1*
    f0(45,172) -> 48*,1
    f0(150,40) -> 1*
    f0(127,131) -> 1*
    f0(121,148) -> 19,39*
    f0(144,132) -> 19,39*
    f0(138,149) -> 1*
    f0(50,39) -> 1*
    f0(167,41) -> 1*
    f0(126,15) -> 39*,19
    f0(155,150) -> 1*
    f0(44,131) -> 1*
    f0(38,148) -> 1*
    f0(149,167) -> 1*
    f0(161,133) -> 39*
    f0(131,50) -> 1*
    f0(49,166) -> 1*
    f0(166,168) -> 1*
    f0(172,151) -> 19,49*,20
    f0(43,15) -> 39*
    f0(160,17) -> 1*
    f0(19,158) -> 1*
    f0(48,50) -> 1*
    f0(148,126) -> 1*
    f0(142,143) -> 1*
    f0(42,142) -> 1*
    f0(159,144) -> 1*
    f0(36,159) -> 1*
    f0(165,127) -> 1*
    f0(18,42) -> 1*
    f0(152,45) -> 1*
    f0(6,151) -> 1*
    f0(129,136) -> 39*
    f0(140,154) -> 1*
    f0(152,120) -> 1*
    f0(146,137) -> 1*
    f0(134,3) -> 48*,1
    f0(157,155) -> 1*
    f0(40,153) -> 1*
    f0(46,136) -> 39*
    f0(163,138) -> 1*
    f0(151,172) -> 9,50*,1
    f0(168,173) -> 19,39*
    f0(156,39) -> 1*
    f0(127,147) -> 1*
    f0(121,164) -> 19,39*
    f0(150,131) -> 1*
    f0(144,148) -> 1*
    f0(120,48) -> 1*
    f0(3,46) -> 39*,19
    f0(50,130) -> 1*
    f0(44,147) -> 1*
    f0(161,149) -> 1*
    f0(167,132) -> 19,39*
    f0(155,166) -> 1*
    f0(38,164) -> 1*
    f0(3,121) -> 15*
    f0(149,15) -> 19,39*
    f0(137,49) -> 1*
    f0(20,47) -> 1*
    f0(172,167) -> 19,39*
    f0(154,50) -> 1*
    f0(137,124) -> 1*
    f0(20,122) -> 1*
    f0(37,48) -> 1*
    f0(148,142) -> 1*
    f0(142,159) -> 1*
    f0(124,42) -> 1*
    f0(36,175) -> 1*
    f0(42,158) -> 1*
    f0(159,160) -> 1*
    f0(165,143) -> 1*
    a0() -> 3*
    f1(20,121) -> 125*,1,53
    f1(174,172) -> 42*
    f1(164,172) -> 1,125*,53
    f1(161,132) -> 36,39*
    f1(159,172) -> 1,125*,53
    f1(154,172) -> 156,1,9,157*,55,53
    f1(121,126) -> 39,159*,19,54
    f1(149,172) -> 122,1,9,128*,53
    f1(144,172) -> 44,1,147*,55,53
    f1(121,128) -> 49,160*,19,20,54
    f1(139,172) -> 40,1,148*,55,53
    f1(134,172) -> 48,1,140*,53,55
    f1(121,130) -> 39,159*,19,54
    f1(129,172) -> 45,9,53,142*,55
    f1(46,51) -> 53*
    f1(172,121) -> 15,132*,52,53
    f1(124,172) -> 40,1,130*,53
    f1(41,51) -> 53*
    f1(51,53) -> 54*
    f1(167,121) -> 44,1,153*,53
    f1(121,132) -> 161*,18,54
    f1(36,51) -> 53*
    f1(162,121) -> 120,42*
    f1(172,123) -> 54*
    f1(157,121) -> 156,1,9,55,53,157*
    f1(121,134) -> 49,160*,19,20,54
    f1(152,121) -> 50,1,9,55,53,154*
    f1(172,125) -> 36,163*,54
    f1(147,121) -> 122,1,9,53,55,151*
    f1(121,136) -> 161*,18,54
    f1(142,121) -> 48,1,53,146*,55
    f1(172,127) -> 49,20,19,160*,54
    f1(137,121) -> 124,1,139*,55,53
    f1(121,138) -> 39,159*,19,54
    f1(132,121) -> 162*,16,55
    f1(6,51) -> 53*
    f1(172,129) -> 46,20,164*,54
    f1(127,121) -> 48,1,140*,55,53
    f1(121,140) -> 39,19,159*,54
    f1(51,126) -> 54*
    f1(122,121) -> 124,1,126*,53
    f1(172,131) -> 39,19,159*,54
    f1(121,142) -> 49,19,160*,20,54
    f1(51,128) -> 54*
    f1(175,173) -> 19,39*
    f1(121,144) -> 39,19,159*,54
    f1(51,130) -> 54*
    f1(165,173) -> 39*
    f1(172,135) -> 20,165*,54
    f1(160,173) -> 19,39*
    f1(173,51) -> 55*
    f1(121,146) -> 39,19,159*,54
    f1(51,132) -> 54*
    f1(168,51) -> 141*,55,53
    f1(49,172) -> 1,125*,53
    f1(172,137) -> 49,20,19,160*,54
    f1(163,51) -> 53*
    f1(44,172) -> 44,1,131*,53
    f1(121,148) -> 39,19,159*,54
    f1(51,134) -> 54*
    f1(158,51) -> 55,53,147*
    f1(39,172) -> 1,125*,53
    f1(172,139) -> 39,19,159*,54
    f1(153,51) -> 141*,55,53
    f1(51,136) -> 54*
    f1(148,51) -> 55,53,147*
    f1(172,141) -> 54*
    f1(143,51) -> 53,147*,55
    f1(121,152) -> 49,20,19,160*,54
    f1(51,138) -> 54*
    f1(138,51) -> 141*,55,53
    f1(19,172) -> 1,125*,53
    f1(172,143) -> 39,19,159*,54
    f1(121,154) -> 49,20,19,160*,54
    f1(51,140) -> 54*
    f1(128,51) -> 141*,55,53
    f1(172,145) -> 49,20,19,160*,54
    f1(123,51) -> 55*
    f1(47,121) -> 50,127*,1,9,53
    f1(51,142) -> 54*
    f1(42,121) -> 47,128*,1,9,53
    f1(172,147) -> 39,19,159*,54
    f1(37,121) -> 43,129*,53
    f1(121,158) -> 39,19,159*,54
    f1(51,144) -> 54*
    f1(51,146) -> 54*
    f1(172,151) -> 49,20,19,160*,54
    f1(17,121) -> 125*,1,53
    f1(51,148) -> 54*
    f1(172,153) -> 39,19,159*,54
    f1(166,172) -> 40,1,168*,53
    f1(163,132) -> 36,39*
    f1(161,172) -> 9,135*,53
    f1(172,155) -> 49,20,19,160*,54
    f1(156,172) -> 48,1,138*,53
    f1(51,152) -> 54*
    f1(151,172) -> 50,1,9,154*,55,53
    f1(172,157) -> 49,20,19,160*,54
    f1(146,172) -> 150,1,9,152*,55,53
    f1(51,154) -> 54*
    f1(121,168) -> 39,19,159*,54
    f1(141,172) -> 55,149*
    f1(164,52) -> 36*
    f1(136,172) -> 16,162*,55
    f1(159,52) -> 36*
    f1(53,51) -> 55*
    f1(131,172) -> 44,1,143*,55,53
    f1(48,51) -> 53*
    f1(174,121) -> 42*
    f1(126,172) -> 40,1,144*,55,53
    f1(43,51) -> 53*
    f1(51,158) -> 54*
    f1(121,172) -> 15,132*,52,53
    f1(38,51) -> 53*
    f1(164,121) -> 1,125*,53
    f1(159,121) -> 1,125*,53
    f1(154,121) -> 156,1,9,55,53,157*
    f1(164,123) -> 36*
    f1(149,121) -> 122,1,9,53,128*
    f1(159,123) -> 36*
    f1(144,121) -> 44,1,53,147*,55
    f1(18,51) -> 53*
    f1(139,121) -> 40,1,53,148*,55
    f1(172,3) -> 15,133*,52
    f1(134,121) -> 48,1,140*,53,55
    f1(129,121) -> 45,9,142*,53,55
    f1(3,51) -> 53*
    f1(124,121) -> 40,1,130*,53
    f1(51,168) -> 54*
    f1(172,173) -> 18,54,161*
    f1(164,133) -> 36,39*
    f1(175,51) -> 53*
    f1(159,133) -> 36,39*,19
    f1(51,172) -> 52*
    f1(165,51) -> 53*
    f1(46,172) -> 1,125*,53
    f1(160,51) -> 53*
    f1(41,172) -> 40,1,130*,53
    f1(155,51) -> 55,53,147*
    f1(36,172) -> 1,125*,53
    f1(150,51) -> 53*
    f1(54,52) -> 36*
    f1(145,51) -> 53,147*,55
    f1(140,51) -> 53,147*,55
    f1(135,51) -> 55*
    f1(130,51) -> 141*,55,53
    f1(125,51) -> 55*
    f1(6,172) -> 43,53,129*
    f1(49,121) -> 125*,1,53
    f1(120,51) -> 53*
    f1(44,121) -> 44,131*,1,53
    f1(54,123) -> 36*
    f1(39,121) -> 125*,1,53
    f1(175,132) -> 19,39*
    f1(19,121) -> 125*,1,53
    f1(173,172) -> 16,55,162*
    f1(168,172) -> 122,1,9,155*,55,53
    f1(165,132) -> 36,39*
    f1(163,172) -> 1,125*,53
    f1(160,132) -> 36,39*,19
    f1(158,172) -> 150,1,9,152*,55,53
    f1(153,172) -> 122,1,9,155*,55,53
    f1(54,133) -> 36*
    f1(148,172) -> 122,1,9,151*,55,53
    f1(143,172) -> 44,1,147*,55,53
    f1(138,172) -> 40,1,144*,55,53
    f1(161,52) -> 36*
    f1(55,51) -> 39,36,120*,18,1,19
    f1(50,51) -> 53*
    f1(128,172) -> 50,1,9,145*,55,53
    f1(45,51) -> 53*
    f1(123,172) -> 55*
    f1(40,51) -> 53*
    f1(166,121) -> 40,1,168*,53
    f1(161,121) -> 9,53,135*
    f1(156,121) -> 48,1,53,138*
    f1(151,121) -> 50,1,9,55,53,154*
    f1(161,123) -> 36*
    f1(146,121) -> 150,1,9,55,53,152*
    f1(20,51) -> 53*
    f1(141,121) -> 149*,55
    f1(136,121) -> 162*,16,55
    f1(131,121) -> 44,1,143*,55,53
    f1(126,121) -> 40,1,144*,55,53
    f1(121,121) -> 123,132*,15,53,52
    f1(121,123) -> 54*
    f1(164,173) -> 39*
    f1(121,125) -> 36,163*,54
    f1(161,133) -> 36,39*
    f1(159,173) -> 19,39*
    f1(172,51) -> 53*
    f1(53,172) -> 55*
    f1(167,51) -> 153*,53
    f1(48,172) -> 40,1,130*,53
    f1(121,127) -> 49,160*,19,20,54
    f1(162,51) -> 120*
    f1(172,53) -> 54*
    f1(43,172) -> 45,9,53,134*
    f1(157,51) -> 55,53,147*
    f1(38,172) -> 43,53,129*
    f1(121,129) -> 46,164*,20,54
    f1(152,51) -> 55,147*,53
    f1(147,51) -> 55,147*,53
    f1(121,131) -> 39,159*,19,54
    f1(142,51) -> 53,147*,55
    f1(137,51) -> 141*,55,53
    f1(18,172) -> 9,53,135*
    f1(132,51) -> 55*
    f1(127,51) -> 141*,55,53
    f1(121,135) -> 165*,20,54
    f1(51,121) -> 52*
    f1(122,51) -> 53*
    f1(3,172) -> 15,53,136*
    f1(172,126) -> 39,19,159*,54
    f1(46,121) -> 125*,1,53
    f1(121,137) -> 49,160*,19,20,54
    f1(41,121) -> 40,130*,1,53
    f1(51,123) -> 54*
    f1(172,128) -> 49,20,19,160*,54
    f1(36,121) -> 125*,1,53
    f1(121,139) -> 39,19,159*,54
    f1(51,125) -> 54*
    f1(172,130) -> 39,19,159*,54
    f1(121,141) -> 54*
    f1(51,127) -> 54*
    f1(175,172) -> 47,1,9,53,128*
    f1(172,132) -> 18,161*,54
    f1(121,143) -> 39,19,159*,54
    f1(51,129) -> 54*
    f1(165,172) -> 1,53,125*
    f1(172,134) -> 49,20,19,160*,54
    f1(6,121) -> 43,129*,53
    f1(160,172) -> 1,125*,53
    f1(121,145) -> 49,19,160*,20,54
    f1(51,131) -> 54*
    f1(155,172) -> 124,1,55,158*,53
    f1(172,136) -> 18,161*,54
    f1(150,172) -> 124,1,126*,53
    f1(54,173) -> 36*
    f1(121,147) -> 39,19,159*,54
    f1(145,172) -> 48,1,55,53,146*
    f1(172,138) -> 39,19,159*,54
    f1(140,172) -> 40,1,55,53,148*
    f1(163,52) -> 36*
    f1(51,135) -> 54*
    f1(135,172) -> 41,55,166*
    f1(172,140) -> 39,19,159*,54
    f1(130,172) -> 44,1,55,53,143*
    f1(173,121) -> 16,162*,55
    f1(47,51) -> 53*
    f1(121,151) -> 49,20,19,160*,54
    f1(51,137) -> 54*
    f1(125,172) -> 44,55,167*
    f1(42,51) -> 53*
    f1(168,121) -> 122,1,9,53,155*,55
    f1(172,142) -> 49,20,19,160*,54
    f1(120,172) -> 122,1,9,53,137*
    f1(37,51) -> 53*
    f1(163,121) -> 1,125*,53
    f1(121,153) -> 39,19,159*,54
    f1(51,139) -> 54*
    f1(158,121) -> 150,1,9,55,53,152*
    f1(172,144) -> 39,19,159*,54
    f1(153,121) -> 122,1,9,53,155*,55
    f1(163,123) -> 36*
    f1(121,155) -> 49,20,19,160*,54
    f1(51,141) -> 54*
    f1(148,121) -> 122,1,9,55,53,151*
    f1(172,146) -> 39,19,159*,54
    f1(143,121) -> 44,1,53,147*,55
    f1(17,51) -> 53*
    f1(121,157) -> 49,20,19,160*,54
    f1(51,143) -> 54*
    f1(138,121) -> 40,1,144*,55,53
    f1(172,148) -> 39,19,159*,54
    f1(51,145) -> 54*
    f1(128,121) -> 50,9,1,145*,55,53
    f1(123,121) -> 55*
    f1(51,147) -> 54*
    f1(172,152) -> 49,20,19,160*,54
    f1(172,154) -> 49,20,19,160*,54
    f1(163,133) -> 36,39*
    f1(161,173) -> 39*
    f1(51,151) -> 54*
    f1(55,172) -> 120*
    f1(174,51) -> 120*
    f1(50,172) -> 48,1,53,138*
    f1(51,153) -> 54*
    f1(164,51) -> 53*
    f1(45,172) -> 48,1,53,138*
    f1(121,3) -> 133*,15,52
    f1(172,158) -> 39,19,159*,54
    f1(159,51) -> 53*
    f1(40,172) -> 44,1,53,131*
    f1(51,155) -> 54*
    f1(154,51) -> 55,53,147*
    f1(149,51) -> 153*,53
    f1(51,157) -> 54*
    f1(144,51) -> 53,147*,55
    f1(139,51) -> 53,147*,55
    f1(20,172) -> 1,125*,53
    f1(121,173) -> 18,161*,54
    f1(134,51) -> 141*,55,53
    f1(129,51) -> 141*,55,53
    f1(53,121) -> 55*
    f1(124,51) -> 53*
    f1(48,121) -> 40,130*,1,53
    f1(43,121) -> 45,134*,9,53
    f1(38,121) -> 43,129*,53
    f1(172,168) -> 39,19,159*,54
    f1(18,121) -> 135*,9,53
    f1(51,3) -> 52*
    f1(172,172) -> 15,132*,52,53
    f1(167,172) -> 44,1,153*,53
    f1(164,132) -> 36,39*
    f1(162,172) -> 42*
    f1(159,132) -> 36,39*,19
    f1(3,121) -> 136*,15,53
    f1(157,172) -> 156,1,9,157*,55,53
    f1(152,172) -> 50,1,9,154*,55,53
    f1(175,52) -> 36*
    f1(147,172) -> 122,1,9,151*,55,53
    f1(51,173) -> 54*
    f1(142,172) -> 48,1,146*,53,55
    f1(165,52) -> 36*
    f1(137,172) -> 124,1,139*,55,53
    f1(160,52) -> 36*
    f1(132,172) -> 16,162*,55
    f1(175,121) -> 47,1,9,128*,53
    f1(49,51) -> 53*
    f1(127,172) -> 48,1,140*,55,53
    f1(44,51) -> 53*
    f1(122,172) -> 124,1,126*,53
    f1(175,123) -> 36*
    f1(39,51) -> 53*
    f1(165,121) -> 1,125*,53
    f1(160,121) -> 1,125*,53
    f1(155,121) -> 124,1,55,53,158*
    f1(165,123) -> 36*
    f1(150,121) -> 124,1,53,126*
    f1(160,123) -> 36*
    f1(145,121) -> 48,1,53,146*,55
    f1(19,51) -> 53*
    f1(140,121) -> 40,1,53,148*,55
    f1(135,121) -> 41,166*,55
    f1(130,121) -> 44,1,143*,55,53
    f1(125,121) -> 44,167*,55
    f1(120,121) -> 122,137*,1,9,53
    f1(175,133) -> 19,39*
    f1(165,133) -> 36,39*
    f1(163,173) -> 39*
    f1(160,133) -> 36,39*,19
    f1(54,132) -> 36*
    f1(166,51) -> 153*,53
    f1(47,172) -> 50,1,9,127*,53
    f1(161,51) -> 53*
    f1(42,172) -> 47,1,9,128*,53
    f1(156,51) -> 53*
    f1(37,172) -> 43,129*,53
    f1(151,51) -> 55,53,147*
    f1(146,51) -> 55,147*,53
    f1(141,51) -> 149*,55
    f1(136,51) -> 55*
    f1(17,172) -> 1,125*,53
    f1(131,51) -> 141*,55,53
    f1(55,121) -> 120*
    f1(126,51) -> 141*,55,53
    f1(50,121) -> 48,138*,1,53
    f1(121,51) -> 53*
    f1(45,121) -> 48,138*,1,53
    f1(40,121) -> 44,131*,1,53
    f1(121,53) -> 54*
    a1() -> 121*,3,51
    f2(174,172) -> 161,42,175*
    f2(170,169) -> 171*
    f2(171,172) -> 161*
    f2(121,172) -> 132,173*,53,52,15,170
    f2(172,169) -> 170*
    f2(173,172) -> 162,174*,55,16,171
    f2(174,169) -> 161*
    f2(170,172) -> 171*
    f2(171,169) -> 161*,54
    f2(121,169) -> 170*
    f2(172,172) -> 132,173*,53,52,15,170
    f2(173,169) -> 171*
    a2() -> 121,172*,51,3,169
    6 -> 4*
    17 -> 4*
  problem:
   
  Qed