Please show gringo code with comments

3. An n n array filled with integers 1, 2, , n is a latin square if each row and each column has exactly one occurrence of each integer. Write a gringo program to find an n x n latin square that satisfies two additional properties: ( the entry in row 1 and column 1 is n, and (2) for every row i and column j, the entries (i,j) and (j, i) are the same. Find such a latin square for n = 8. Turn in all programs and the documentation in a single zip file. The documentation must discuss all the components of the gringo programs. It must contain all the results, as well as a brief discussion of the results. 3. An n n array filled with integers 1, 2, , n is a latin square if each row and each column has exactly one occurrence of each integer. Write a gringo program to find an n x n latin square that satisfies two additional properties: ( the entry in row 1 and column 1 is n, and (2) for every row i and column j, the entries (i,j) and (j, i) are the same. Find such a latin square for n = 8. Turn in all programs and the documentation in a single zip file. The documentation must discuss all the components of the gringo programs. It must contain all the results, as well as a brief discussion of the results