A blade tip shroud segment for a gas turbine engine in which the shroud segment is cooled and sealed using a combination of vortex cooling air flow and cooling air discharge film cooling. The apparatus and method determining if a portrait formatted representation of the web page and a landscape formatted representation of the web page, include equivalent content, and outputting the portrait formatted representation of the web page if the portrait formatted representation has the equivalent content of the landscape formatted representation. The verification tool splits the domain into at least two segments, wherein each segment is non-overlapping with any other segment and converts, for each segment, a polynomial of bounded functions for the segment to a simplified formula comprising a polynomial, an inequality, and a constant for a selected segment.