Get["init.m"];<<HypExp`;ord=4;HypExp`Private`AddToKnown[-1,-1,-1,-1,-1,ord];HypExp`Private`AddToKnown[-1,-1,-1,-1,0,ord];HypExp`Private`AddToKnown[-1,-1,-1,-1,1,ord];HypExp`Private`AddToKnown[-1,-1,-1,0,0,ord];HypExp`Private`AddToKnown[-1,-1,-1,0,1,ord];HypExp`Private`AddToKnown[-1,-1,-1,1,1,ord];HypExp`Private`AddToKnown[-1,-1,0,-1,-1,ord];HypExp`Private`AddToKnown[-1,-1,0,-1,0,ord];HypExp`Private`AddToKnown[-1,-1,0,-1,1,ord];HypExp`Private`AddToKnown[-1,-1,0,0,0,ord];HypExp`Private`AddToKnown[-1,-1,0,0,1,ord];HypExp`Private`AddToKnown[-1,-1,0,1,1,ord];HypExp`Private`AddToKnown[-1,-1,1,-1,-1,ord];HypExp`Private`AddToKnown[-1,-1,1,-1,0,ord];HypExp`Private`AddToKnown[-1,-1,1,-1,1,ord];HypExp`Private`AddToKnown[-1,-1,1,0,0,ord];HypExp`Private`AddToKnown[-1,-1,1,0,1,ord];HypExp`Private`AddToKnown[-1,-1,1,1,1,ord];HypExp`Private`AddToKnown[-1,0,0,-1,-1,ord];HypExp`Private`AddToKnown[-1,0,0,-1,0,ord];HypExp`Private`AddToKnown[-1,0,0,-1,1,ord];HypExp`Private`AddToKnown[-1,0,0,0,0,ord];HypExp`Private`AddToKnown[-1,0,0,0,1,ord];HypExp`Private`AddToKnown[-1,0,0,1,1,ord];HypExp`Private`AddToKnown[-1,0,1,-1,-1,ord];HypExp`Private`AddToKnown[-1,0,1,-1,0,ord];HypExp`Private`AddToKnown[-1,0,1,-1,1,ord];HypExp`Private`AddToKnown[-1,0,1,0,0,ord];HypExp`Private`AddToKnown[-1,0,1,0,1,ord];HypExp`Private`AddToKnown[-1,0,1,1,1,ord];HypExp`Private`AddToKnown[-1,1,1,-1,-1,ord];HypExp`Private`AddToKnown[-1,1,1,-1,0,ord];HypExp`Private`AddToKnown[-1,1,1,-1,1,ord];HypExp`Private`AddToKnown[-1,1,1,0,0,ord];HypExp`Private`AddToKnown[-1,1,1,0,1,ord];HypExp`Private`AddToKnown[-1,1,1,1,1,ord];HypExp`Private`AddToKnown[0,0,0,-1,-1,ord];HypExp`Private`AddToKnown[0,0,0,-1,0,ord];HypExp`Private`AddToKnown[0,0,0,-1,1,ord];HypExp`Private`AddToKnown[0,0,0,0,0,ord];HypExp`Private`AddToKnown[0,0,0,0,1,ord];HypExp`Private`AddToKnown[0,0,0,1,1,ord];HypExp`Private`AddToKnown[0,0,1,-1,-1,ord];HypExp`Private`AddToKnown[0,0,1,-1,0,ord];HypExp`Private`AddToKnown[0,0,1,-1,1,ord];HypExp`Private`AddToKnown[0,0,1,0,0,ord];HypExp`Private`AddToKnown[0,0,1,0,1,ord];HypExp`Private`AddToKnown[0,0,1,1,1,ord];HypExp`Private`AddToKnown[0,1,1,-1,-1,ord];HypExp`Private`AddToKnown[0,1,1,-1,0,ord];HypExp`Private`AddToKnown[0,1,1,-1,1,ord];HypExp`Private`AddToKnown[0,1,1,0,0,ord];HypExp`Private`AddToKnown[0,1,1,0,1,ord];HypExp`Private`AddToKnown[0,1,1,1,1,ord];HypExp`Private`AddToKnown[1,1,1,-1,-1,ord];HypExp`Private`AddToKnown[1,1,1,-1,0,ord];HypExp`Private`AddToKnown[1,1,1,-1,1,ord];HypExp`Private`AddToKnown[1,1,1,0,0,ord];HypExp`Private`AddToKnown[1,1,1,0,1,ord];HypExp`Private`AddToKnown[1,1,1,1,1,ord];ord=3;HypExp`Private`AddToKnown[-1,-1,-1,-1,2,ord];HypExp`Private`AddToKnown[-1,-1,-1,-2,-1,ord];HypExp`Private`AddToKnown[-1,-1,-1,-2,-2,ord];HypExp`Private`AddToKnown[-1,-1,-1,-2,0,ord];HypExp`Private`AddToKnown[-1,-1,-1,-2,1,ord];HypExp`Private`AddToKnown[-1,-1,-1,-2,2,ord];HypExp`Private`AddToKnown[-1,-1,-1,0,2,ord];HypExp`Private`AddToKnown[-1,-1,-1,1,2,ord];HypExp`Private`AddToKnown[-1,-1,-1,2,2,ord];HypExp`Private`AddToKnown[-1,-1,0,-1,2,ord];HypExp`Private`AddToKnown[-1,-1,0,-2,-1,ord];HypExp`Private`AddToKnown[-1,-1,0,-2,-2,ord];HypExp`Private`AddToKnown[-1,-1,0,-2,0,ord];HypExp`Private`AddToKnown[-1,-1,0,-2,1,ord];HypExp`Private`AddToKnown[-1,-1,0,-2,2,ord];HypExp`Private`AddToKnown[-1,-1,0,0,2,ord];HypExp`Private`AddToKnown[-1,-1,0,1,2,ord];HypExp`Private`AddToKnown[-1,-1,0,2,2,ord];HypExp`Private`AddToKnown[-1,-1,1,-1,2,ord];HypExp`Private`AddToKnown[-1,-1,1,-2,-1,ord];HypExp`Private`AddToKnown[-1,-1,1,-2,-2,ord];HypExp`Private`AddToKnown[-1,-1,1,-2,0,ord];HypExp`Private`AddToKnown[-1,-1,1,-2,1,ord];HypExp`Private`AddToKnown[-1,-1,1,-2,2,ord];HypExp`Private`AddToKnown[-1,-1,1,0,2,ord];HypExp`Private`AddToKnown[-1,-1,1,1,2,ord];HypExp`Private`AddToKnown[-1,-1,1,2,2,ord];HypExp`Private`AddToKnown[-1,-1,2,-1,-1,ord];HypExp`Private`AddToKnown[-1,-1,2,-1,0,ord];HypExp`Private`AddToKnown[-1,-1,2,-1,1,ord];HypExp`Private`AddToKnown[-1,-1,2,-1,2,ord];HypExp`Private`AddToKnown[-1,-1,2,-2,-1,ord];HypExp`Private`AddToKnown[-1,-1,2,-2,-2,ord];HypExp`Private`AddToKnown[-1,-1,2,-2,0,ord];HypExp`Private`AddToKnown[-1,-1,2,-2,1,ord];HypExp`Private`AddToKnown[-1,-1,2,-2,2,ord];HypExp`Private`AddToKnown[-1,-1,2,0,0,ord];HypExp`Private`AddToKnown[-1,-1,2,0,1,ord];HypExp`Private`AddToKnown[-1,-1,2,0,2,ord];HypExp`Private`AddToKnown[-1,-1,2,1,1,ord];HypExp`Private`AddToKnown[-1,-1,2,1,2,ord];HypExp`Private`AddToKnown[-1,-1,2,2,2,ord];HypExp`Private`AddToKnown[-1,0,0,-1,2,ord];HypExp`Private`AddToKnown[-1,0,0,-2,-1,ord];HypExp`Private`AddToKnown[-1,0,0,-2,-2,ord];HypExp`Private`AddToKnown[-1,0,0,-2,0,ord];HypExp`Private`AddToKnown[-1,0,0,-2,1,ord];HypExp`Private`AddToKnown[-1,0,0,-2,2,ord];HypExp`Private`AddToKnown[-1,0,0,0,2,ord];HypExp`Private`AddToKnown[-1,0,0,1,2,ord];HypExp`Private`AddToKnown[-1,0,0,2,2,ord];HypExp`Private`AddToKnown[-1,0,1,-1,2,ord];HypExp`Private`AddToKnown[-1,0,1,-2,-1,ord];HypExp`Private`AddToKnown[-1,0,1,-2,-2,ord];HypExp`Private`AddToKnown[-1,0,1,-2,0,ord];HypExp`Private`AddToKnown[-1,0,1,-2,1,ord];HypExp`Private`AddToKnown[-1,0,1,-2,2,ord];HypExp`Private`AddToKnown[-1,0,1,0,2,ord];HypExp`Private`AddToKnown[-1,0,1,1,2,ord];HypExp`Private`AddToKnown[-1,0,1,2,2,ord];HypExp`Private`AddToKnown[-1,0,2,-1,-1,ord];HypExp`Private`AddToKnown[-1,0,2,-1,0,ord];HypExp`Private`AddToKnown[-1,0,2,-1,1,ord];HypExp`Private`AddToKnown[-1,0,2,-1,2,ord];HypExp`Private`AddToKnown[-1,0,2,-2,-1,ord];HypExp`Private`AddToKnown[-1,0,2,-2,-2,ord];HypExp`Private`AddToKnown[-1,0,2,-2,0,ord];HypExp`Private`AddToKnown[-1,0,2,-2,1,ord];HypExp`Private`AddToKnown[-1,0,2,-2,2,ord];HypExp`Private`AddToKnown[-1,0,2,0,0,ord];HypExp`Private`AddToKnown[-1,0,2,0,1,ord];HypExp`Private`AddToKnown[-1,0,2,0,2,ord];HypExp`Private`AddToKnown[-1,0,2,1,1,ord];HypExp`Private`AddToKnown[-1,0,2,1,2,ord];HypExp`Private`AddToKnown[-1,0,2,2,2,ord];HypExp`Private`AddToKnown[-1,1,1,-1,2,ord];HypExp`Private`AddToKnown[-1,1,1,-2,-1,ord];HypExp`Private`AddToKnown[-1,1,1,-2,-2,ord];HypExp`Private`AddToKnown[-1,1,1,-2,0,ord];HypExp`Private`AddToKnown[-1,1,1,-2,1,ord];HypExp`Private`AddToKnown[-1,1,1,-2,2,ord];HypExp`Private`AddToKnown[-1,1,1,0,2,ord];HypExp`Private`AddToKnown[-1,1,1,1,2,ord];HypExp`Private`AddToKnown[-1,1,1,2,2,ord];HypExp`Private`AddToKnown[-1,1,2,-1,-1,ord];HypExp`Private`AddToKnown[-1,1,2,-1,0,ord];HypExp`Private`AddToKnown[-1,1,2,-1,1,ord];HypExp`Private`AddToKnown[-1,1,2,-1,2,ord];HypExp`Private`AddToKnown[-1,1,2,-2,-1,ord];HypExp`Private`AddToKnown[-1,1,2,-2,-2,ord];HypExp`Private`AddToKnown[-1,1,2,-2,0,ord];HypExp`Private`AddToKnown[-1,1,2,-2,1,ord];HypExp`Private`AddToKnown[-1,1,2,-2,2,ord];HypExp`Private`AddToKnown[-1,1,2,0,0,ord];HypExp`Private`AddToKnown[-1,1,2,0,1,ord];HypExp`Private`AddToKnown[-1,1,2,0,2,ord];HypExp`Private`AddToKnown[-1,1,2,1,1,ord];HypExp`Private`AddToKnown[-1,1,2,1,2,ord];HypExp`Private`AddToKnown[-1,1,2,2,2,ord];HypExp`Private`AddToKnown[-1,2,2,-1,-1,ord];HypExp`Private`AddToKnown[-1,2,2,-1,0,ord];HypExp`Private`AddToKnown[-1,2,2,-1,1,ord];HypExp`Private`AddToKnown[-1,2,2,-1,2,ord];HypExp`Private`AddToKnown[-1,2,2,-2,-1,ord];HypExp`Private`AddToKnown[-1,2,2,-2,-2,ord];HypExp`Private`AddToKnown[-1,2,2,-2,0,ord];HypExp`Private`AddToKnown[-1,2,2,-2,1,ord];HypExp`Private`AddToKnown[-1,2,2,-2,2,ord];HypExp`Private`AddToKnown[-1,2,2,0,0,ord];HypExp`Private`AddToKnown[-1,2,2,0,1,ord];HypExp`Private`AddToKnown[-1,2,2,0,2,ord];HypExp`Private`AddToKnown[-1,2,2,1,1,ord];HypExp`Private`AddToKnown[-1,2,2,1,2,ord];HypExp`Private`AddToKnown[-1,2,2,2,2,ord];HypExp`Private`AddToKnown[-2,-1,-1,-1,-1,ord];HypExp`Private`AddToKnown[-2,-1,-1,-1,0,ord];HypExp`Private`AddToKnown[-2,-1,-1,-1,1,ord];HypExp`Private`AddToKnown[-2,-1,-1,-1,2,ord];HypExp`Private`AddToKnown[-2,-1,-1,-2,-1,ord];HypExp`Private`AddToKnown[-2,-1,-1,-2,-2,ord];HypExp`Private`AddToKnown[-2,-1,-1,-2,0,ord];HypExp`Private`AddToKnown[-2,-1,-1,-2,1,ord];HypExp`Private`AddToKnown[-2,-1,-1,-2,2,ord];HypExp`Private`AddToKnown[-2,-1,-1,0,0,ord];HypExp`Private`AddToKnown[-2,-1,-1,0,1,ord];HypExp`Private`AddToKnown[-2,-1,-1,0,2,ord];HypExp`Private`AddToKnown[-2,-1,-1,1,1,ord];HypExp`Private`AddToKnown[-2,-1,-1,1,2,ord];HypExp`Private`AddToKnown[-2,-1,-1,2,2,ord];HypExp`Private`AddToKnown[-2,-1,0,-1,-1,ord];HypExp`Private`AddToKnown[-2,-1,0,-1,0,ord];HypExp`Private`AddToKnown[-2,-1,0,-1,1,ord];HypExp`Private`AddToKnown[-2,-1,0,-1,2,ord];HypExp`Private`AddToKnown[-2,-1,0,-2,-1,ord];HypExp`Private`AddToKnown[-2,-1,0,-2,-2,ord];HypExp`Private`AddToKnown[-2,-1,0,-2,0,ord];HypExp`Private`AddToKnown[-2,-1,0,-2,1,ord];HypExp`Private`AddToKnown[-2,-1,0,-2,2,ord];HypExp`Private`AddToKnown[-2,-1,0,0,0,ord];HypExp`Private`AddToKnown[-2,-1,0,0,1,ord];HypExp`Private`AddToKnown[-2,-1,0,0,2,ord];HypExp`Private`AddToKnown[-2,-1,0,1,1,ord];HypExp`Private`AddToKnown[-2,-1,0,1,2,ord];HypExp`Private`AddToKnown[-2,-1,0,2,2,ord];HypExp`Private`AddToKnown[-2,-1,1,-1,-1,ord];HypExp`Private`AddToKnown[-2,-1,1,-1,0,ord];HypExp`Private`AddToKnown[-2,-1,1,-1,1,ord];HypExp`Private`AddToKnown[-2,-1,1,-1,2,ord];HypExp`Private`AddToKnown[-2,-1,1,-2,-1,ord];HypExp`Private`AddToKnown[-2,-1,1,-2,-2,ord];HypExp`Private`AddToKnown[-2,-1,1,-2,0,ord];HypExp`Private`AddToKnown[-2,-1,1,-2,1,ord];HypExp`Private`AddToKnown[-2,-1,1,-2,2,ord];HypExp`Private`AddToKnown[-2,-1,1,0,0,ord];HypExp`Private`AddToKnown[-2,-1,1,0,1,ord];HypExp`Private`AddToKnown[-2,-1,1,0,2,ord];HypExp`Private`AddToKnown[-2,-1,1,1,1,ord];HypExp`Private`AddToKnown[-2,-1,1,1,2,ord];HypExp`Private`AddToKnown[-2,-1,1,2,2,ord];HypExp`Private`AddToKnown[-2,-1,2,-1,-1,ord];HypExp`Private`AddToKnown[-2,-1,2,-1,0,ord];HypExp`Private`AddToKnown[-2,-1,2,-1,1,ord];HypExp`Private`AddToKnown[-2,-1,2,-1,2,ord];HypExp`Private`AddToKnown[-2,-1,2,-2,-1,ord];HypExp`Private`AddToKnown[-2,-1,2,-2,-2,ord];HypExp`Private`AddToKnown[-2,-1,2,-2,0,ord];HypExp`Private`AddToKnown[-2,-1,2,-2,1,ord];HypExp`Private`AddToKnown[-2,-1,2,-2,2,ord];HypExp`Private`AddToKnown[-2,-1,2,0,0,ord];HypExp`Private`AddToKnown[-2,-1,2,0,1,ord];HypExp`Private`AddToKnown[-2,-1,2,0,2,ord];HypExp`Private`AddToKnown[-2,-1,2,1,1,ord];HypExp`Private`AddToKnown[-2,-1,2,1,2,ord];HypExp`Private`AddToKnown[-2,-1,2,2,2,ord];HypExp`Private`AddToKnown[-2,-2,-1,-1,-1,ord];HypExp`Private`AddToKnown[-2,-2,-1,-1,0,ord];HypExp`Private`AddToKnown[-2,-2,-1,-1,1,ord];HypExp`Private`AddToKnown[-2,-2,-1,-1,2,ord];HypExp`Private`AddToKnown[-2,-2,-1,-2,-1,ord];HypExp`Private`AddToKnown[-2,-2,-1,-2,-2,ord];HypExp`Private`AddToKnown[-2,-2,-1,-2,0,ord];HypExp`Private`AddToKnown[-2,-2,-1,-2,1,ord];HypExp`Private`AddToKnown[-2,-2,-1,-2,2,ord];HypExp`Private`AddToKnown[-2,-2,-1,0,0,ord];HypExp`Private`AddToKnown[-2,-2,-1,0,1,ord];HypExp`Private`AddToKnown[-2,-2,-1,0,2,ord];HypExp`Private`AddToKnown[-2,-2,-1,1,1,ord];HypExp`Private`AddToKnown[-2,-2,-1,1,2,ord];HypExp`Private`AddToKnown[-2,-2,-1,2,2,ord];HypExp`Private`AddToKnown[-2,-2,-2,-1,-1,ord];HypExp`Private`AddToKnown[-2,-2,-2,-1,0,ord];HypExp`Private`AddToKnown[-2,-2,-2,-1,1,ord];HypExp`Private`AddToKnown[-2,-2,-2,-1,2,ord];HypExp`Private`AddToKnown[-2,-2,-2,-2,-1,ord];HypExp`Private`AddToKnown[-2,-2,-2,-2,-2,ord];HypExp`Private`AddToKnown[-2,-2,-2,-2,0,ord];HypExp`Private`AddToKnown[-2,-2,-2,-2,1,ord];HypExp`Private`AddToKnown[-2,-2,-2,-2,2,ord];HypExp`Private`AddToKnown[-2,-2,-2,0,0,ord];HypExp`Private`AddToKnown[-2,-2,-2,0,1,ord];HypExp`Private`AddToKnown[-2,-2,-2,0,2,ord];HypExp`Private`AddToKnown[-2,-2,-2,1,1,ord];HypExp`Private`AddToKnown[-2,-2,-2,1,2,ord];HypExp`Private`AddToKnown[-2,-2,-2,2,2,ord];HypExp`Private`AddToKnown[-2,-2,0,-1,-1,ord];HypExp`Private`AddToKnown[-2,-2,0,-1,0,ord];HypExp`Private`AddToKnown[-2,-2,0,-1,1,ord];HypExp`Private`AddToKnown[-2,-2,0,-1,2,ord];HypExp`Private`AddToKnown[-2,-2,0,-2,-1,ord];HypExp`Private`AddToKnown[-2,-2,0,-2,-2,ord];HypExp`Private`AddToKnown[-2,-2,0,-2,0,ord];HypExp`Private`AddToKnown[-2,-2,0,-2,1,ord];HypExp`Private`AddToKnown[-2,-2,0,-2,2,ord];HypExp`Private`AddToKnown[-2,-2,0,0,0,ord];HypExp`Private`AddToKnown[-2,-2,0,0,1,ord];HypExp`Private`AddToKnown[-2,-2,0,0,2,ord];HypExp`Private`AddToKnown[-2,-2,0,1,1,ord];HypExp`Private`AddToKnown[-2,-2,0,1,2,ord];HypExp`Private`AddToKnown[-2,-2,0,2,2,ord];HypExp`Private`AddToKnown[-2,-2,1,-1,-1,ord];HypExp`Private`AddToKnown[-2,-2,1,-1,0,ord];HypExp`Private`AddToKnown[-2,-2,1,-1,1,ord];HypExp`Private`AddToKnown[-2,-2,1,-1,2,ord];HypExp`Private`AddToKnown[-2,-2,1,-2,-1,ord];HypExp`Private`AddToKnown[-2,-2,1,-2,-2,ord];HypExp`Private`AddToKnown[-2,-2,1,-2,0,ord];HypExp`Private`AddToKnown[-2,-2,1,-2,1,ord];HypExp`Private`AddToKnown[-2,-2,1,-2,2,ord];HypExp`Private`AddToKnown[-2,-2,1,0,0,ord];HypExp`Private`AddToKnown[-2,-2,1,0,1,ord];HypExp`Private`AddToKnown[-2,-2,1,0,2,ord];HypExp`Private`AddToKnown[-2,-2,1,1,1,ord];HypExp`Private`AddToKnown[-2,-2,1,1,2,ord];HypExp`Private`AddToKnown[-2,-2,1,2,2,ord];HypExp`Private`AddToKnown[-2,-2,2,-1,-1,ord];HypExp`Private`AddToKnown[-2,-2,2,-1,0,ord];HypExp`Private`AddToKnown[-2,-2,2,-1,1,ord];HypExp`Private`AddToKnown[-2,-2,2,-1,2,ord];HypExp`Private`AddToKnown[-2,-2,2,-2,-1,ord];HypExp`Private`AddToKnown[-2,-2,2,-2,-2,ord];HypExp`Private`AddToKnown[-2,-2,2,-2,0,ord];HypExp`Private`AddToKnown[-2,-2,2,-2,1,ord];HypExp`Private`AddToKnown[-2,-2,2,-2,2,ord];HypExp`Private`AddToKnown[-2,-2,2,0,0,ord];HypExp`Private`AddToKnown[-2,-2,2,0,1,ord];HypExp`Private`AddToKnown[-2,-2,2,0,2,ord];HypExp`Private`AddToKnown[-2,-2,2,1,1,ord];HypExp`Private`AddToKnown[-2,-2,2,1,2,ord];HypExp`Private`AddToKnown[-2,-2,2,2,2,ord];HypExp`Private`AddToKnown[-2,0,0,-1,-1,ord];HypExp`Private`AddToKnown[-2,0,0,-1,0,ord];HypExp`Private`AddToKnown[-2,0,0,-1,1,ord];HypExp`Private`AddToKnown[-2,0,0,-1,2,ord];HypExp`Private`AddToKnown[-2,0,0,-2,-1,ord];HypExp`Private`AddToKnown[-2,0,0,-2,-2,ord];HypExp`Private`AddToKnown[-2,0,0,-2,0,ord];HypExp`Private`AddToKnown[-2,0,0,-2,1,ord];HypExp`Private`AddToKnown[-2,0,0,-2,2,ord];HypExp`Private`AddToKnown[-2,0,0,0,0,ord];HypExp`Private`AddToKnown[-2,0,0,0,1,ord];HypExp`Private`AddToKnown[-2,0,0,0,2,ord];HypExp`Private`AddToKnown[-2,0,0,1,1,ord];HypExp`Private`AddToKnown[-2,0,0,1,2,ord];HypExp`Private`AddToKnown[-2,0,0,2,2,ord];HypExp`Private`AddToKnown[-2,0,1,-1,-1,ord];HypExp`Private`AddToKnown[-2,0,1,-1,0,ord];HypExp`Private`AddToKnown[-2,0,1,-1,1,ord];HypExp`Private`AddToKnown[-2,0,1,-1,2,ord];HypExp`Private`AddToKnown[-2,0,1,-2,-1,ord];HypExp`Private`AddToKnown[-2,0,1,-2,-2,ord];HypExp`Private`AddToKnown[-2,0,1,-2,0,ord];HypExp`Private`AddToKnown[-2,0,1,-2,1,ord];HypExp`Private`AddToKnown[-2,0,1,-2,2,ord];HypExp`Private`AddToKnown[-2,0,1,0,0,ord];HypExp`Private`AddToKnown[-2,0,1,0,1,ord];HypExp`Private`AddToKnown[-2,0,1,0,2,ord];HypExp`Private`AddToKnown[-2,0,1,1,1,ord];HypExp`Private`AddToKnown[-2,0,1,1,2,ord];HypExp`Private`AddToKnown[-2,0,1,2,2,ord];HypExp`Private`AddToKnown[-2,0,2,-1,-1,ord];HypExp`Private`AddToKnown[-2,0,2,-1,0,ord];HypExp`Private`AddToKnown[-2,0,2,-1,1,ord];HypExp`Private`AddToKnown[-2,0,2,-1,2,ord];HypExp`Private`AddToKnown[-2,0,2,-2,-1,ord];HypExp`Private`AddToKnown[-2,0,2,-2,-2,ord];HypExp`Private`AddToKnown[-2,0,2,-2,0,ord];HypExp`Private`AddToKnown[-2,0,2,-2,1,ord];HypExp`Private`AddToKnown[-2,0,2,-2,2,ord];HypExp`Private`AddToKnown[-2,0,2,0,0,ord];HypExp`Private`AddToKnown[-2,0,2,0,1,ord];HypExp`Private`AddToKnown[-2,0,2,0,2,ord];HypExp`Private`AddToKnown[-2,0,2,1,1,ord];HypExp`Private`AddToKnown[-2,0,2,1,2,ord];HypExp`Private`AddToKnown[-2,0,2,2,2,ord];HypExp`Private`AddToKnown[-2,1,1,-1,-1,ord];HypExp`Private`AddToKnown[-2,1,1,-1,0,ord];HypExp`Private`AddToKnown[-2,1,1,-1,1,ord];HypExp`Private`AddToKnown[-2,1,1,-1,2,ord];HypExp`Private`AddToKnown[-2,1,1,-2,-1,ord];HypExp`Private`AddToKnown[-2,1,1,-2,-2,ord];HypExp`Private`AddToKnown[-2,1,1,-2,0,ord];HypExp`Private`AddToKnown[-2,1,1,-2,1,ord];HypExp`Private`AddToKnown[-2,1,1,-2,2,ord];HypExp`Private`AddToKnown[-2,1,1,0,0,ord];HypExp`Private`AddToKnown[-2,1,1,0,1,ord];HypExp`Private`AddToKnown[-2,1,1,0,2,ord];HypExp`Private`AddToKnown[-2,1,1,1,1,ord];HypExp`Private`AddToKnown[-2,1,1,1,2,ord];HypExp`Private`AddToKnown[-2,1,1,2,2,ord];HypExp`Private`AddToKnown[-2,1,2,-1,-1,ord];HypExp`Private`AddToKnown[-2,1,2,-1,0,ord];HypExp`Private`AddToKnown[-2,1,2,-1,1,ord];HypExp`Private`AddToKnown[-2,1,2,-1,2,ord];HypExp`Private`AddToKnown[-2,1,2,-2,-1,ord];HypExp`Private`AddToKnown[-2,1,2,-2,-2,ord];HypExp`Private`AddToKnown[-2,1,2,-2,0,ord];HypExp`Private`AddToKnown[-2,1,2,-2,1,ord];HypExp`Private`AddToKnown[-2,1,2,-2,2,ord];HypExp`Private`AddToKnown[-2,1,2,0,0,ord];HypExp`Private`AddToKnown[-2,1,2,0,1,ord];HypExp`Private`AddToKnown[-2,1,2,0,2,ord];HypExp`Private`AddToKnown[-2,1,2,1,1,ord];HypExp`Private`AddToKnown[-2,1,2,1,2,ord];HypExp`Private`AddToKnown[-2,1,2,2,2,ord];HypExp`Private`AddToKnown[-2,2,2,-1,-1,ord];HypExp`Private`AddToKnown[-2,2,2,-1,0,ord];HypExp`Private`AddToKnown[-2,2,2,-1,1,ord];HypExp`Private`AddToKnown[-2,2,2,-1,2,ord];HypExp`Private`AddToKnown[-2,2,2,-2,-1,ord];HypExp`Private`AddToKnown[-2,2,2,-2,-2,ord];HypExp`Private`AddToKnown[-2,2,2,-2,0,ord];HypExp`Private`AddToKnown[-2,2,2,-2,1,ord];HypExp`Private`AddToKnown[-2,2,2,-2,2,ord];HypExp`Private`AddToKnown[-2,2,2,0,0,ord];HypExp`Private`AddToKnown[-2,2,2,0,1,ord];HypExp`Private`AddToKnown[-2,2,2,0,2,ord];HypExp`Private`AddToKnown[-2,2,2,1,1,ord];HypExp`Private`AddToKnown[-2,2,2,1,2,ord];HypExp`Private`AddToKnown[-2,2,2,2,2,ord];HypExp`Private`AddToKnown[0,0,0,-1,2,ord];HypExp`Private`AddToKnown[0,0,0,-2,-1,ord];HypExp`Private`AddToKnown[0,0,0,-2,-2,ord];HypExp`Private`AddToKnown[0,0,0,-2,0,ord];HypExp`Private`AddToKnown[0,0,0,-2,1,ord];HypExp`Private`AddToKnown[0,0,0,-2,2,ord];HypExp`Private`AddToKnown[0,0,0,0,2,ord];HypExp`Private`AddToKnown[0,0,0,1,2,ord];HypExp`Private`AddToKnown[0,0,0,2,2,ord];HypExp`Private`AddToKnown[0,0,1,-1,2,ord];HypExp`Private`AddToKnown[0,0,1,-2,-1,ord];HypExp`Private`AddToKnown[0,0,1,-2,-2,ord];HypExp`Private`AddToKnown[0,0,1,-2,0,ord];HypExp`Private`AddToKnown[0,0,1,-2,1,ord];HypExp`Private`AddToKnown[0,0,1,-2,2,ord];HypExp`Private`AddToKnown[0,0,1,0,2,ord];HypExp`Private`AddToKnown[0,0,1,1,2,ord];HypExp`Private`AddToKnown[0,0,1,2,2,ord];HypExp`Private`AddToKnown[0,0,2,-1,-1,ord];HypExp`Private`AddToKnown[0,0,2,-1,0,ord];HypExp`Private`AddToKnown[0,0,2,-1,1,ord];HypExp`Private`AddToKnown[0,0,2,-1,2,ord];HypExp`Private`AddToKnown[0,0,2,-2,-1,ord];HypExp`Private`AddToKnown[0,0,2,-2,-2,ord];HypExp`Private`AddToKnown[0,0,2,-2,0,ord];HypExp`Private`AddToKnown[0,0,2,-2,1,ord];HypExp`Private`AddToKnown[0,0,2,-2,2,ord];HypExp`Private`AddToKnown[0,0,2,0,0,ord];HypExp`Private`AddToKnown[0,0,2,0,1,ord];HypExp`Private`AddToKnown[0,0,2,0,2,ord];HypExp`Private`AddToKnown[0,0,2,1,1,ord];HypExp`Private`AddToKnown[0,0,2,1,2,ord];HypExp`Private`AddToKnown[0,0,2,2,2,ord];HypExp`Private`AddToKnown[0,1,1,-1,2,ord];HypExp`Private`AddToKnown[0,1,1,-2,-1,ord];HypExp`Private`AddToKnown[0,1,1,-2,-2,ord];HypExp`Private`AddToKnown[0,1,1,-2,0,ord];HypExp`Private`AddToKnown[0,1,1,-2,1,ord];HypExp`Private`AddToKnown[0,1,1,-2,2,ord];HypExp`Private`AddToKnown[0,1,1,0,2,ord];HypExp`Private`AddToKnown[0,1,1,1,2,ord];HypExp`Private`AddToKnown[0,1,1,2,2,ord];HypExp`Private`AddToKnown[0,1,2,-1,-1,ord];HypExp`Private`AddToKnown[0,1,2,-1,0,ord];HypExp`Private`AddToKnown[0,1,2,-1,1,ord];HypExp`Private`AddToKnown[0,1,2,-1,2,ord];HypExp`Private`AddToKnown[0,1,2,-2,-1,ord];HypExp`Private`AddToKnown[0,1,2,-2,-2,ord];HypExp`Private`AddToKnown[0,1,2,-2,0,ord];HypExp`Private`AddToKnown[0,1,2,-2,1,ord];HypExp`Private`AddToKnown[0,1,2,-2,2,ord];HypExp`Private`AddToKnown[0,1,2,0,0,ord];HypExp`Private`AddToKnown[0,1,2,0,1,ord];HypExp`Private`AddToKnown[0,1,2,0,2,ord];HypExp`Private`AddToKnown[0,1,2,1,1,ord];HypExp`Private`AddToKnown[0,1,2,1,2,ord];HypExp`Private`AddToKnown[0,1,2,2,2,ord];HypExp`Private`AddToKnown[0,2,2,-1,-1,ord];HypExp`Private`AddToKnown[0,2,2,-1,0,ord];HypExp`Private`AddToKnown[0,2,2,-1,1,ord];HypExp`Private`AddToKnown[0,2,2,-1,2,ord];HypExp`Private`AddToKnown[0,2,2,-2,-1,ord];HypExp`Private`AddToKnown[0,2,2,-2,-2,ord];HypExp`Private`AddToKnown[0,2,2,-2,0,ord];HypExp`Private`AddToKnown[0,2,2,-2,1,ord];HypExp`Private`AddToKnown[0,2,2,-2,2,ord];HypExp`Private`AddToKnown[0,2,2,0,0,ord];HypExp`Private`AddToKnown[0,2,2,0,1,ord];HypExp`Private`AddToKnown[0,2,2,0,2,ord];HypExp`Private`AddToKnown[0,2,2,1,1,ord];HypExp`Private`AddToKnown[0,2,2,1,2,ord];HypExp`Private`AddToKnown[0,2,2,2,2,ord];HypExp`Private`AddToKnown[1,1,1,-1,2,ord];HypExp`Private`AddToKnown[1,1,1,-2,-1,ord];HypExp`Private`AddToKnown[1,1,1,-2,-2,ord];HypExp`Private`AddToKnown[1,1,1,-2,0,ord];HypExp`Private`AddToKnown[1,1,1,-2,1,ord];HypExp`Private`AddToKnown[1,1,1,-2,2,ord];HypExp`Private`AddToKnown[1,1,1,0,2,ord];HypExp`Private`AddToKnown[1,1,1,1,2,ord];HypExp`Private`AddToKnown[1,1,1,2,2,ord];HypExp`Private`AddToKnown[1,1,2,-1,-1,ord];HypExp`Private`AddToKnown[1,1,2,-1,0,ord];HypExp`Private`AddToKnown[1,1,2,-1,1,ord];HypExp`Private`AddToKnown[1,1,2,-1,2,ord];HypExp`Private`AddToKnown[1,1,2,-2,-1,ord];HypExp`Private`AddToKnown[1,1,2,-2,-2,ord];HypExp`Private`AddToKnown[1,1,2,-2,0,ord];HypExp`Private`AddToKnown[1,1,2,-2,1,ord];HypExp`Private`AddToKnown[1,1,2,-2,2,ord];HypExp`Private`AddToKnown[1,1,2,0,0,ord];HypExp`Private`AddToKnown[1,1,2,0,1,ord];HypExp`Private`AddToKnown[1,1,2,0,2,ord];HypExp`Private`AddToKnown[1,1,2,1,1,ord];HypExp`Private`AddToKnown[1,1,2,1,2,ord];HypExp`Private`AddToKnown[1,1,2,2,2,ord];HypExp`Private`AddToKnown[1,2,2,-1,-1,ord];HypExp`Private`AddToKnown[1,2,2,-1,0,ord];HypExp`Private`AddToKnown[1,2,2,-1,1,ord];HypExp`Private`AddToKnown[1,2,2,-1,2,ord];HypExp`Private`AddToKnown[1,2,2,-2,-1,ord];HypExp`Private`AddToKnown[1,2,2,-2,-2,ord];HypExp`Private`AddToKnown[1,2,2,-2,0,ord];HypExp`Private`AddToKnown[1,2,2,-2,1,ord];HypExp`Private`AddToKnown[1,2,2,-2,2,ord];HypExp`Private`AddToKnown[1,2,2,0,0,ord];HypExp`Private`AddToKnown[1,2,2,0,1,ord];HypExp`Private`AddToKnown[1,2,2,0,2,ord];HypExp`Private`AddToKnown[1,2,2,1,1,ord];HypExp`Private`AddToKnown[1,2,2,1,2,ord];HypExp`Private`AddToKnown[1,2,2,2,2,ord];HypExp`Private`AddToKnown[2,2,2,-1,-1,ord];HypExp`Private`AddToKnown[2,2,2,-1,0,ord];HypExp`Private`AddToKnown[2,2,2,-1,1,ord];HypExp`Private`AddToKnown[2,2,2,-1,2,ord];HypExp`Private`AddToKnown[2,2,2,-2,-1,ord];HypExp`Private`AddToKnown[2,2,2,-2,-2,ord];HypExp`Private`AddToKnown[2,2,2,-2,0,ord];HypExp`Private`AddToKnown[2,2,2,-2,1,ord];HypExp`Private`AddToKnown[2,2,2,-2,2,ord];HypExp`Private`AddToKnown[2,2,2,0,0,ord];HypExp`Private`AddToKnown[2,2,2,0,1,ord];HypExp`Private`AddToKnown[2,2,2,0,2,ord];HypExp`Private`AddToKnown[2,2,2,1,1,ord];HypExp`Private`AddToKnown[2,2,2,1,2,ord];HypExp`Private`AddToKnown[2,2,2,2,2,ord];