MAYBE 1122.17/297.30 MAYBE 1122.17/297.30 1122.17/297.30 We are left with following problem, upon which TcT provides the 1122.17/297.30 certificate MAYBE. 1122.17/297.30 1122.17/297.30 Strict Trs: 1122.17/297.30 { 0(0(0(0(0(0(1(0(1(1(0(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(1(1(1(0(0(1(0(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(0(0(1(0(1(1(0(1(1(1(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(1(0(0(1(1(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(0(1(0(1(0(0(0(0(0(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(0(0(0(1(0(0(0(1(1(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(0(1(1(0(1(0(0(1(1(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(1(0(1(1(0(0(0(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(0(1(1(0(1(1(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(0(0(0(1(1(1(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(0(0(0(1(1(1(0(1(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(0(1(1(0(0(1(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(0(0(0(0(0(0(0(1(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(1(1(0(0(1(1(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(1(1(0(1(1(1(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(1(1(1(1(0(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(1(0(0(1(1(0(0(1(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(0(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(1(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(1(1(1(1(1(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(1(0(1(1(0(1(0(0(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(1(0(0(1(1(1(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(0(0(1(0(0(0(0(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(1(1(0(0(0(0(0(1(0(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(1(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(0(0(0(1(0(1(0(1(1(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(0(1(0(1(0(1(0(1(0(1(0(1(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(0(1(1(0(1(1(0(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(1(0(0(1(0(1(1(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(1(1(1(0(1(1(0(1(0(0(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(1(0(1(0(0(0(1(0(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(0(0(1(0(0(1(0(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(1(1(0(0(0(1(0(1(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(0(1(1(0(0(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(0(0(0(0(1(1(0(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(0(0(0(0(0(1(0(0(0(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(0(0(1(0(0(0(0(0(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(0(1(1(1(0(0(1(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(0(1(1(0(0(1(0(1(0(1(0(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(1(1(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(1(0(0(1(1(0(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(1(0(0(0(0(1(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(1(0(0(1(0(0(0(1(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(1(0(1(1(0(1(1(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(0(1(0(0(1(0(1(0(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(1(1(0(1(0(0(0(0(1(0(0(1(1(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(1(0(0(0(0(1(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(0(1(1(1(1(1(1(0(0(1(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(0(0(1(0(1(1(1(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(0(0(0(1(0(1(0(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(0(0(0(0(1(0(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(0(0(0(1(1(1(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(1(1(0(1(0(0(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(0(0(1(0(1(0(1(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(0(1(0(1(1(0(1(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(0(0(0(0(0(1(0(0(0(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(1(0(1(0(0(0(1(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(0(1(1(1(1(0(0(0(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(1(1(0(0(1(1(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(0(1(1(1(1(0(1(1(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(0(0(1(1(0(0(0(1(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(1(0(1(1(0(0(0(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(0(1(0(0(0(1(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(1(1(0(0(0(1(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(0(1(0(1(0(0(1(1(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(1(1(1(0(0(0(1(0(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(0(0(0(1(1(1(0(0(0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(1(1(1(0(1(1(1(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(1(0(0(0(1(0(1(1(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(0(1(1(1(1(1(1(1(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(0(0(0(1(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(0(0(0(0(0(0(0(1(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(0(0(1(1(1(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(1(0(0(1(0(0(1(0(0(0(0(0(0(1(1(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(0(1(0(0(1(1(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(0(1(1(1(0(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(0(1(0(0(1(1(0(0(0(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(0(1(1(1(1(0(1(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(1(1(0(1(0(0(0(1(1(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(1(0(1(0(0(1(1(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(1(0(1(0(0(1(1(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(1(0(1(1(1(1(1(0(1(0(0(1(1(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 1(0(1(0(1(0(1(1(1(1(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(0(1(1(1(0(1(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(0(0(0(1(1(0(1(1(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(1(0(0(0(1(1(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(1(0(0(1(0(0(1(1(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(1(1(0(0(0(1(1(1(1(1(0(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(0(1(1(1(1(1(0(0(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(1(0(0(0(0(0(1(0(1(1(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(0(0(1(1(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(1(0(0(0(0(1(0(1(1(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(0(0(0(0(1(0(1(0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(1(0(0(1(0(1(0(1(1(1(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(0(0(1(1(0(0(0(1(0(0(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(1(0(0(1(1(1(0(0(0(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) -> 1122.17/297.30 0(0(1(1(1(0(0(1(0(0(1(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 1122.17/297.30 , 0(1(1(0(1(0(1(0(0(1(1(0(0(1(1(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(0(1(0(1(0(0(1(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(0(0(0(0(1(1(0(1(0(1(0(1(0(0(1(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(1(0(0(0(1(0(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(1(1(1(0(1(1(0(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(1(0(1(0(0(0(1(0(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(1(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(1(0(1(0(0(1(1(0(0(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(1(1(0(0(1(1(0(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(0(1(0(1(1(0(1(1(0(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(0(1(1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(0(0(0(1(0(0(1(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(0(0(0(1(0(1(1(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(1(1(0(0(0(0(0(1(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(0(0(1(1(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(0(1(0(0(0(1(1(0(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(0(0(1(1(1(1(1(0(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(0(1(1(1(1(1(0(0(1(1(1(0(0(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(0(0(1(1(0(0(1(1(0(1(1(1(1(1(0(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(1(1(0(1(0(0(0(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(0(1(0(1(0(1(1(1(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(0(1(1(1(0(0(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(0(0(0(1(1(0(0(1(1(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(1(0(0(0(1(1(0(0(1(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(1(0(1(1(0(0(1(1(0(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(1(0(1(0(1(1(0(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(0(0(1(0(0(0(0(0(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(1(1(0(1(0(0(1(1(1(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(0(1(0(1(0(0(1(0(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 0(1(1(1(1(1(1(0(1(1(0(0(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(1(0(1(0(1(1(0(1(1(1(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(0(1(1(0(0(1(0(1(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(1(1(0(1(0(1(0(0(1(0(0(1(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(0(0(1(0(0(1(0(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(0(1(0(0(0(1(0(0(0(1(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(0(0(1(1(0(1(0(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(1(0(0(0(1(0(0(0(1(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(0(1(1(1(0(1(0(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(0(0(1(0(1(1(1(1(0(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(1(0(0(1(0(1(1(0(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(1(1(0(0(1(1(0(1(0(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(1(0(1(1(1(1(0(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(0(1(0(0(1(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(0(1(1(1(1(0(1(0(0(0(0(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(0(0(0(0(1(0(0(1(0(0(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(1(0(0(0(0(0(1(0(1(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(1(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(1(0(1(1(1(0(0(0(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(1(1(1(0(0(1(0(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(1(1(0(0(0(0(0(0(1(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(1(0(0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(0(1(1(1(0(0(0(1(0(0(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(1(0(0(1(0(0(0(0(1(0(0(1(1(1(1(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(0(0(1(0(1(0(1(0(0(1(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(0(0(1(0(1(0(0(0(1(0(1(1(0(1(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(0(0(1(1(0(1(1(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(0(1(0(1(0(1(0(0(0(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(0(1(0(0(1(0(0(1(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(1(0(1(0(0(0(0(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(0(1(1(0(0(1(0(1(1(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(1(0(1(0(1(0(0(1(1(1(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(0(1(1(1(0(0(0(0(1(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(1(1(0(0(1(0(1(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(0(0(0(0(0(1(1(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(0(0(1(0(0(1(1(0(0(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(0(0(0(0(1(0(0(1(1(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 1122.52/297.30 0(1(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(0(1(0(1(0(0(0(1(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(0(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(0(1(0(1(0(1(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 0(0(0(0(0(1(1(1(0(1(1(1(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(0(1(1(1(1(0(0(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(0(0(1(1(0(1(1(0(0(1(0(1(0(0(1(0(1(1(x1)))))))))))))))))))) 1122.52/297.30 , 1(1(1(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 1122.52/297.30 1(1(0(0(1(0(0(0(0(1(1(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) } 1122.52/297.30 Obligation: 1122.52/297.30 derivational complexity 1122.52/297.30 Answer: 1122.52/297.30 MAYBE 1122.52/297.30 1122.52/297.30 None of the processors succeeded. 1122.52/297.30 1122.52/297.30 Details of failed attempt(s): 1122.52/297.30 ----------------------------- 1122.52/297.30 1) 'bsearch-matrix (timeout of 297 seconds)' failed due to the 1122.52/297.30 following reason: 1122.52/297.30 1122.52/297.30 Computation stopped due to timeout after 297.0 seconds. 1122.52/297.30 1122.52/297.30 2) 'Inspecting Problem... (timeout of 297 seconds)' failed due to 1122.52/297.30 the following reason: 1122.52/297.30 1122.52/297.30 Computation stopped due to timeout after 297.0 seconds. 1122.52/297.30 1122.52/297.30 3) 'iteProgress (timeout of 297 seconds)' failed due to the 1122.52/297.30 following reason: 1122.52/297.30 1122.52/297.30 Computation stopped due to timeout after 297.0 seconds. 1122.52/297.30 1122.52/297.30 4) 'Fastest (timeout of 60 seconds)' failed due to the following 1122.52/297.30 reason: 1122.52/297.30 1122.52/297.30 Computation stopped due to timeout after 60.0 seconds. 1122.52/297.30 1122.52/297.30 1122.52/297.30 Arrrr.. 1122.82/297.67 EOF