There is hope for a recurrence of order, 1 There is some slack (x + 1) (2 z + 1 + x) (1 + z + x) - ----------------------------------------------------- + X, [- (2 - 8 t1 t2 t3 (x + 2 + 3 z + y) (2 + 2 z + x + y) (x + 2 + 4 z + y) 2 2 2 + 2 x + 4 x + 2 z - 3 t2 x t1 + t2 y t1 - 2 t1 t2 - 2 t1 t3 + 3 t3 2 2 2 2 2 2 2 2 + 3 t2 + 3 x t1 t2 + 8 t2 t3 - 2 t1 x - 3 t1 t3 + t3 y + t3 x 2 2 2 + t2 x + t2 y - 4 t1 t2 t3 y x - 16 t1 t2 t3 z x - 14 t1 t2 t3 z y 2 2 2 2 2 - 2 t1 t2 t3 y + 2 z t1 t2 + 2 z t1 t3 - 4 z t3 t1 - 4 z t2 t1 2 2 2 2 2 2 - 2 t1 + 2 t1 t2 + 2 t1 t3 + 3 x t1 t3 - 4 x t1 t3 - 4 x t1 t2 2 2 2 2 - 2 z t1 t2 - 2 z t1 t3 + 4 z t3 + 4 z t2 + 4 x t3 + 4 x t2 2 2 + 30 t2 z t3 + 8 t2 x t3 - y t1 t3 - 3 x t3 t1 + t3 y t1 - 8 t2 y t1 t3 2 2 2 2 2 - 4 x t1 - 2 z t1 - 8 t2 x t3 t1 - t1 y t2 + 24 t2 t3 z + 2 t2 t3 x 2 2 2 2 + 2 t2 t3 y - 2 t1 t3 y - t1 t3 x + 4 t2 z x + t2 y x - 2 t1 t2 y 2 2 2 2 2 - t1 t2 x + 8 t2 t3 y + t1 t2 x + 4 t3 z x + t3 y x + t3 y x + t2 y x 2 2 2 2 2 2 2 - t1 t3 x + t1 t3 x - t1 t2 x - 2 t1 z x + 4 t2 t3 y x 2 2 + 16 t2 t3 z x + 2 z x + 14 t2 t3 z y - 24 t1 t2 t3 z - 2 t1 t2 t3 x - 2 t1 t2 z x - 2 t1 t2 y x - 30 t1 t2 t3 z - 2 t1 t3 y x - 2 t1 t3 z x 2 2 2 2 2 + t1 t2 y x + 2 t1 t2 z x - 3 t1 t2 + t1 t3 y x - 4 t1 t2 z x 2 2 2 2 - t1 t2 y x - t1 t3 y x + 2 t1 t3 z x + t2 y - 4 t1 t3 z x + t3 y) t1/ 2 2 (6 %1), (-2 + 8 t1 t2 t3 - 2 x - 4 x - 2 z + 3 t2 x t1 + t2 y t1 2 2 2 2 2 + 2 t1 t2 - 8 t1 t3 - 3 t3 + 2 t2 + 4 x t1 t2 + 2 t2 t3 - t1 x 2 2 2 2 2 - t3 y - t3 x + 2 t2 x + 4 t1 t2 t3 y x + 16 t1 t2 t3 z x 2 2 2 2 + 14 t1 t2 t3 z y + 2 t1 t2 t3 y + 4 z t1 t2 - 2 z t2 t1 - 3 t1 2 2 2 2 2 2 2 2 + 3 t1 t2 - 2 t2 t3 z x - t2 t3 x + t2 t3 x - 2 t2 t3 - t2 t3 y x 2 2 2 2 2 - t1 y x - t1 y - t1 y - 3 x t1 t2 - 3 x t2 t3 + 4 x t2 t3 - t1 y x 2 2 2 2 + t2 t3 y x + 4 t2 t3 z x - 2 t1 t3 y + 3 t2 t3 + 2 z t1 t2 2 2 2 2 2 2 - 30 z t1 t3 - 4 z t3 + 2 z t2 - 4 x t3 + 4 x t2 - y t2 t3 + y t2 t3 2 2 + 2 t2 z t3 + 3 t2 x t3 - 2 t2 z t3 + 4 t2 z t3 - 8 x t3 t1 2 2 2 2 + 8 t2 y t1 t3 - 4 x t1 - 4 z t1 + 8 t2 x t3 t1 - t1 y t2 + t2 t3 x 2 2 2 2 - 8 t1 t3 y - 24 t1 t3 z - 2 t1 t3 x + 2 t2 z x + 2 t1 t2 y + t1 t2 x 2 2 2 2 2 2 + 2 t2 t3 y + t1 t2 x - 4 t3 z x - t3 y x - t3 y x - t1 t2 x 2 2 - 4 t1 z x + 2 t2 t3 y x + 2 t2 t3 z x - 2 z x + 24 t1 t2 t3 z 2 + 2 t1 t2 t3 x + 2 t1 t2 z x + 2 t1 t2 y x + 30 t1 t2 t3 z - 4 t1 t3 y x 2 2 2 - 14 t1 t3 z y - 16 t1 t3 z x + t1 t2 y x + 4 t1 t2 z x - 2 t1 t2 2 2 2 - 2 t1 t2 z x - t1 t2 y x - t3 y) t2/(6 %1), (-2 + 8 t1 t2 t3 - 2 x 2 2 - 4 x - 2 z - 8 t2 x t1 - 8 t1 t2 + 2 t1 t3 + 2 t3 - 3 t2 + 2 t2 t3 2 2 2 2 2 2 2 2 - t1 x - 2 t1 t3 + 2 t3 x - t2 x - t2 y + 4 t1 t2 t3 y x 2 2 + 16 t1 t2 t3 z x + 14 t1 t2 t3 z y + 2 t1 t2 t3 y + 4 z t1 t3 2 2 2 2 2 2 2 2 - 2 z t3 t1 - 3 t1 + 3 t1 t3 + 4 t2 t3 z x + t2 t3 x - t2 t3 x 2 2 2 2 2 + 3 t2 t3 + t2 t3 y x - t1 y x - t1 y - t1 y + 4 x t1 t3 - 3 x t1 t3 2 2 2 2 2 2 + 4 x t2 t3 - 3 x t2 t3 - t1 y x - t2 t3 y x - 2 t2 t3 z x - 2 t2 t3 2 2 2 2 - 30 z t1 t2 + 2 z t1 t3 + 2 z t3 - 4 z t2 + 4 x t3 - 4 x t2 2 2 2 2 + y t2 t3 - y t2 t3 + 2 t2 z t3 + 3 t2 x t3 + 4 t2 z t3 - 2 t2 z t3 2 2 2 2 - y t1 t3 + 3 x t3 t1 + t3 y t1 + 8 t2 y t1 t3 - 4 x t1 - 4 z t1 2 2 2 2 + 8 t2 x t3 t1 - 2 t1 t2 y + t2 t3 x + 2 t1 t3 y + t1 t3 x - 4 t2 z x 2 2 2 2 - t2 y x - 8 t1 t2 y - 24 t1 t2 z - 2 t1 t2 x + 2 t2 t3 y + 2 t3 z x 2 2 2 2 2 - t2 y x - t1 t3 x + t1 t3 x - 4 t1 z x + 2 t2 t3 y x + 2 t2 t3 z x 2 2 - 2 z x + 24 t1 t2 t3 z + 2 t1 t2 t3 x - 16 t1 t2 z x - 4 t1 t2 y x 2 + 30 t1 t2 t3 z - 14 t1 t2 z y + 2 t1 t3 y x + 2 t1 t3 z x + t1 t3 y x 2 2 2 - t1 t3 y x + 4 t1 t3 z x - t2 y - 2 t1 t3 z x) t3/(6 %1)] 3 2 2 2 2 2 %1 := x + 9 z x + 6 x + 3 y x + 36 z x + 26 z x + 12 y x + 12 x + 3 x y 3 2 3 2 2 + 18 x z y + 8 + y + 36 z y + 52 z + 24 z + 12 y + 9 z y + 6 y + 36 z 2 + 26 y z 21.500