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