{"board":"andcount","instance":"mult-16","m":16,"modulus_exponents":[16,5,3,1,0],"T_definition":"coefficient of x^l in x^(i+j) mod P_m; listed triples [i, j, l] have coefficient 1","T":[[0,0,0],[0,1,1],[0,2,2],[0,3,3],[0,4,4],[0,5,5],[0,6,6],[0,7,7],[0,8,8],[0,9,9],[0,10,10],[0,11,11],[0,12,12],[0,13,13],[0,14,14],[0,15,15],[1,0,1],[1,1,2],[1,2,3],[1,3,4],[1,4,5],[1,5,6],[1,6,7],[1,7,8],[1,8,9],[1,9,10],[1,10,11],[1,11,12],[1,12,13],[1,13,14],[1,14,15],[1,15,0],[1,15,1],[1,15,3],[1,15,5],[2,0,2],[2,1,3],[2,2,4],[2,3,5],[2,4,6],[2,5,7],[2,6,8],[2,7,9],[2,8,10],[2,9,11],[2,10,12],[2,11,13],[2,12,14],[2,13,15],[2,14,0],[2,14,1],[2,14,3],[2,14,5],[2,15,1],[2,15,2],[2,15,4],[2,15,6],[3,0,3],[3,1,4],[3,2,5],[3,3,6],[3,4,7],[3,5,8],[3,6,9],[3,7,10],[3,8,11],[3,9,12],[3,10,13],[3,11,14],[3,12,15],[3,13,0],[3,13,1],[3,13,3],[3,13,5],[3,14,1],[3,14,2],[3,14,4],[3,14,6],[3,15,2],[3,15,3],[3,15,5],[3,15,7],[4,0,4],[4,1,5],[4,2,6],[4,3,7],[4,4,8],[4,5,9],[4,6,10],[4,7,11],[4,8,12],[4,9,13],[4,10,14],[4,11,15],[4,12,0],[4,12,1],[4,12,3],[4,12,5],[4,13,1],[4,13,2],[4,13,4],[4,13,6],[4,14,2],[4,14,3],[4,14,5],[4,14,7],[4,15,3],[4,15,4],[4,15,6],[4,15,8],[5,0,5],[5,1,6],[5,2,7],[5,3,8],[5,4,9],[5,5,10],[5,6,11],[5,7,12],[5,8,13],[5,9,14],[5,10,15],[5,11,0],[5,11,1],[5,11,3],[5,11,5],[5,12,1],[5,12,2],[5,12,4],[5,12,6],[5,13,2],[5,13,3],[5,13,5],[5,13,7],[5,14,3],[5,14,4],[5,14,6],[5,14,8],[5,15,4],[5,15,5],[5,15,7],[5,15,9],[6,0,6],[6,1,7],[6,2,8],[6,3,9],[6,4,10],[6,5,11],[6,6,12],[6,7,13],[6,8,14],[6,9,15],[6,10,0],[6,10,1],[6,10,3],[6,10,5],[6,11,1],[6,11,2],[6,11,4],[6,11,6],[6,12,2],[6,12,3],[6,12,5],[6,12,7],[6,13,3],[6,13,4],[6,13,6],[6,13,8],[6,14,4],[6,14,5],[6,14,7],[6,14,9],[6,15,5],[6,15,6],[6,15,8],[6,15,10],[7,0,7],[7,1,8],[7,2,9],[7,3,10],[7,4,11],[7,5,12],[7,6,13],[7,7,14],[7,8,15],[7,9,0],[7,9,1],[7,9,3],[7,9,5],[7,10,1],[7,10,2],[7,10,4],[7,10,6],[7,11,2],[7,11,3],[7,11,5],[7,11,7],[7,12,3],[7,12,4],[7,12,6],[7,12,8],[7,13,4],[7,13,5],[7,13,7],[7,13,9],[7,14,5],[7,14,6],[7,14,8],[7,14,10],[7,15,6],[7,15,7],[7,15,9],[7,15,11],[8,0,8],[8,1,9],[8,2,10],[8,3,11],[8,4,12],[8,5,13],[8,6,14],[8,7,15],[8,8,0],[8,8,1],[8,8,3],[8,8,5],[8,9,1],[8,9,2],[8,9,4],[8,9,6],[8,10,2],[8,10,3],[8,10,5],[8,10,7],[8,11,3],[8,11,4],[8,11,6],[8,11,8],[8,12,4],[8,12,5],[8,12,7],[8,12,9],[8,13,5],[8,13,6],[8,13,8],[8,13,10],[8,14,6],[8,14,7],[8,14,9],[8,14,11],[8,15,7],[8,15,8],[8,15,10],[8,15,12],[9,0,9],[9,1,10],[9,2,11],[9,3,12],[9,4,13],[9,5,14],[9,6,15],[9,7,0],[9,7,1],[9,7,3],[9,7,5],[9,8,1],[9,8,2],[9,8,4],[9,8,6],[9,9,2],[9,9,3],[9,9,5],[9,9,7],[9,10,3],[9,10,4],[9,10,6],[9,10,8],[9,11,4],[9,11,5],[9,11,7],[9,11,9],[9,12,5],[9,12,6],[9,12,8],[9,12,10],[9,13,6],[9,13,7],[9,13,9],[9,13,11],[9,14,7],[9,14,8],[9,14,10],[9,14,12],[9,15,8],[9,15,9],[9,15,11],[9,15,13],[10,0,10],[10,1,11],[10,2,12],[10,3,13],[10,4,14],[10,5,15],[10,6,0],[10,6,1],[10,6,3],[10,6,5],[10,7,1],[10,7,2],[10,7,4],[10,7,6],[10,8,2],[10,8,3],[10,8,5],[10,8,7],[10,9,3],[10,9,4],[10,9,6],[10,9,8],[10,10,4],[10,10,5],[10,10,7],[10,10,9],[10,11,5],[10,11,6],[10,11,8],[10,11,10],[10,12,6],[10,12,7],[10,12,9],[10,12,11],[10,13,7],[10,13,8],[10,13,10],[10,13,12],[10,14,8],[10,14,9],[10,14,11],[10,14,13],[10,15,9],[10,15,10],[10,15,12],[10,15,14],[11,0,11],[11,1,12],[11,2,13],[11,3,14],[11,4,15],[11,5,0],[11,5,1],[11,5,3],[11,5,5],[11,6,1],[11,6,2],[11,6,4],[11,6,6],[11,7,2],[11,7,3],[11,7,5],[11,7,7],[11,8,3],[11,8,4],[11,8,6],[11,8,8],[11,9,4],[11,9,5],[11,9,7],[11,9,9],[11,10,5],[11,10,6],[11,10,8],[11,10,10],[11,11,6],[11,11,7],[11,11,9],[11,11,11],[11,12,7],[11,12,8],[11,12,10],[11,12,12],[11,13,8],[11,13,9],[11,13,11],[11,13,13],[11,14,9],[11,14,10],[11,14,12],[11,14,14],[11,15,10],[11,15,11],[11,15,13],[11,15,15],[12,0,12],[12,1,13],[12,2,14],[12,3,15],[12,4,0],[12,4,1],[12,4,3],[12,4,5],[12,5,1],[12,5,2],[12,5,4],[12,5,6],[12,6,2],[12,6,3],[12,6,5],[12,6,7],[12,7,3],[12,7,4],[12,7,6],[12,7,8],[12,8,4],[12,8,5],[12,8,7],[12,8,9],[12,9,5],[12,9,6],[12,9,8],[12,9,10],[12,10,6],[12,10,7],[12,10,9],[12,10,11],[12,11,7],[12,11,8],[12,11,10],[12,11,12],[12,12,8],[12,12,9],[12,12,11],[12,12,13],[12,13,9],[12,13,10],[12,13,12],[12,13,14],[12,14,10],[12,14,11],[12,14,13],[12,14,15],[12,15,0],[12,15,1],[12,15,3],[12,15,5],[12,15,11],[12,15,12],[12,15,14],[13,0,13],[13,1,14],[13,2,15],[13,3,0],[13,3,1],[13,3,3],[13,3,5],[13,4,1],[13,4,2],[13,4,4],[13,4,6],[13,5,2],[13,5,3],[13,5,5],[13,5,7],[13,6,3],[13,6,4],[13,6,6],[13,6,8],[13,7,4],[13,7,5],[13,7,7],[13,7,9],[13,8,5],[13,8,6],[13,8,8],[13,8,10],[13,9,6],[13,9,7],[13,9,9],[13,9,11],[13,10,7],[13,10,8],[13,10,10],[13,10,12],[13,11,8],[13,11,9],[13,11,11],[13,11,13],[13,12,9],[13,12,10],[13,12,12],[13,12,14],[13,13,10],[13,13,11],[13,13,13],[13,13,15],[13,14,0],[13,14,1],[13,14,3],[13,14,5],[13,14,11],[13,14,12],[13,14,14],[13,15,1],[13,15,2],[13,15,4],[13,15,6],[13,15,12],[13,15,13],[13,15,15],[14,0,14],[14,1,15],[14,2,0],[14,2,1],[14,2,3],[14,2,5],[14,3,1],[14,3,2],[14,3,4],[14,3,6],[14,4,2],[14,4,3],[14,4,5],[14,4,7],[14,5,3],[14,5,4],[14,5,6],[14,5,8],[14,6,4],[14,6,5],[14,6,7],[14,6,9],[14,7,5],[14,7,6],[14,7,8],[14,7,10],[14,8,6],[14,8,7],[14,8,9],[14,8,11],[14,9,7],[14,9,8],[14,9,10],[14,9,12],[14,10,8],[14,10,9],[14,10,11],[14,10,13],[14,11,9],[14,11,10],[14,11,12],[14,11,14],[14,12,10],[14,12,11],[14,12,13],[14,12,15],[14,13,0],[14,13,1],[14,13,3],[14,13,5],[14,13,11],[14,13,12],[14,13,14],[14,14,1],[14,14,2],[14,14,4],[14,14,6],[14,14,12],[14,14,13],[14,14,15],[14,15,0],[14,15,1],[14,15,2],[14,15,7],[14,15,13],[14,15,14],[15,0,15],[15,1,0],[15,1,1],[15,1,3],[15,1,5],[15,2,1],[15,2,2],[15,2,4],[15,2,6],[15,3,2],[15,3,3],[15,3,5],[15,3,7],[15,4,3],[15,4,4],[15,4,6],[15,4,8],[15,5,4],[15,5,5],[15,5,7],[15,5,9],[15,6,5],[15,6,6],[15,6,8],[15,6,10],[15,7,6],[15,7,7],[15,7,9],[15,7,11],[15,8,7],[15,8,8],[15,8,10],[15,8,12],[15,9,8],[15,9,9],[15,9,11],[15,9,13],[15,10,9],[15,10,10],[15,10,12],[15,10,14],[15,11,10],[15,11,11],[15,11,13],[15,11,15],[15,12,0],[15,12,1],[15,12,3],[15,12,5],[15,12,11],[15,12,12],[15,12,14],[15,13,1],[15,13,2],[15,13,4],[15,13,6],[15,13,12],[15,13,13],[15,13,15],[15,14,0],[15,14,1],[15,14,2],[15,14,7],[15,14,13],[15,14,14],[15,15,1],[15,15,2],[15,15,3],[15,15,8],[15,15,14],[15,15,15]]}