nohup: ignoring input Checking the Cayley graph classifications of bent functions from the CAST-128 S-boxes. 2019-01-08 12:34:20.470681 before 2019-01-08 12:34:45.797002 after Number of Cayley graphs of bent functions: 32914496 2019-01-08 12:34:45.797129 before 2019-01-08 12:35:56.834171 after Number of non-isomorphic graphs: 32914496 Checking cast128_8_31 by name in database: Algebraic normal form of Boolean function: x0*x1*x2*x7 + x0*x1*x3*x6 + x0*x1*x4*x6 + x0*x1*x4*x7 + x0*x1*x5*x6 + x0*x1*x5*x7 + x0*x1 + x0*x2*x3*x6 + x0*x2*x4*x7 + x0*x2*x5*x7 + x0*x2*x5 + x0*x2*x6 + x0*x2 + x0*x3*x4*x6 + x0*x3*x4*x7 + x0*x3*x5*x6 + x0*x3*x5*x7 + x0*x3*x5 + x0*x3*x6 + x0*x3*x7 + x0*x3 + x0*x4*x5 + x0*x4*x6*x7 + x0*x4*x6 + x0*x4*x7 + x0*x4 + x0*x5*x7 + x0*x5 + x0*x6*x7 + x0*x6 + x1*x2*x3*x6 + x1*x2*x3*x7 + x1*x2*x5*x6 + x1*x2*x5 + x1*x2*x6*x7 + x1*x2*x6 + x1*x3*x4*x6 + x1*x3*x4*x7 + x1*x3*x5*x6 + x1*x3*x5*x7 + x1*x3*x5 + x1*x3*x6*x7 + x1*x3*x6 + x1*x3 + x1*x4*x5*x6 + x1*x4*x5 + x1*x4*x7 + x1*x5*x6*x7 + x1*x7 + x2*x3*x5*x6 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3 + x2*x4*x6*x7 + x2*x4 + x2*x5 + x2*x6 + x2 + x3*x4*x5 + x3*x4*x6*x7 + x3*x5*x6*x7 + x3*x7 + x3 + x4*x5*x6*x7 + x4*x5*x6 + x5*x6*x7 + x5*x6 + x5*x7 + x6*x7 + 1 Function is bent. SDP design incidence structure t-design parameters: (True, (2, 256, 120, 56)) Classification of Cayley graphs and classification of Cayley graphs of duals differ in matrices of indexes: There are 65536 extended Cayley classes in the extended translation class. There are 65536 extended Cayley classes of dual bent functions in the extended translation class, and 131072 extended Cayley classes in the union of the two. Checking cast128_8_31 by bent function in database: Algebraic normal form of Boolean function: x0*x1*x2*x7 + x0*x1*x3*x6 + x0*x1*x4*x6 + x0*x1*x4*x7 + x0*x1*x5*x6 + x0*x1*x5*x7 + x0*x1 + x0*x2*x3*x6 + x0*x2*x4*x7 + x0*x2*x5*x7 + x0*x2*x5 + x0*x2*x6 + x0*x2 + x0*x3*x4*x6 + x0*x3*x4*x7 + x0*x3*x5*x6 + x0*x3*x5*x7 + x0*x3*x5 + x0*x3*x6 + x0*x3*x7 + x0*x3 + x0*x4*x5 + x0*x4*x6*x7 + x0*x4*x6 + x0*x4*x7 + x0*x4 + x0*x5*x7 + x0*x5 + x0*x6*x7 + x0*x6 + x1*x2*x3*x6 + x1*x2*x3*x7 + x1*x2*x5*x6 + x1*x2*x5 + x1*x2*x6*x7 + x1*x2*x6 + x1*x3*x4*x6 + x1*x3*x4*x7 + x1*x3*x5*x6 + x1*x3*x5*x7 + x1*x3*x5 + x1*x3*x6*x7 + x1*x3*x6 + x1*x3 + x1*x4*x5*x6 + x1*x4*x5 + x1*x4*x7 + x1*x5*x6*x7 + x1*x7 + x2*x3*x5*x6 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3 + x2*x4*x6*x7 + x2*x4 + x2*x5 + x2*x6 + x2 + x3*x4*x5 + x3*x4*x6*x7 + x3*x5*x6*x7 + x3*x7 + x3 + x4*x5*x6*x7 + x4*x5*x6 + x5*x6*x7 + x5*x6 + x5*x7 + x6*x7 + 1 Function is bent. SDP design incidence structure t-design parameters: (True, (2, 256, 120, 56)) Classification of Cayley graphs and classification of Cayley graphs of duals differ in matrices of indexes: There are 65536 extended Cayley classes in the extended translation class. There are 65536 extended Cayley classes of dual bent functions in the extended translation class, and 131072 extended Cayley classes in the union of the two. Checking for graphs occuring as the Cayley graph of more than 1 bent function. 2019-01-08 12:37:26.456006 before 2019-01-08 12:39:58.558996 after Repeated graphs:
