Let a_n denote the smallest integer not equal to determinant of some (0,1) matrix of order n. Archive containing matrices of order 8. Program that unpacks matrices. The list of SNF-classes of order 8 Batch file that extracts SNF-classes. Archive containing phi-classes of order 1-7. Batch file forming the list of matrices. Auxiliary batch file. Program performing extension of matrices. Inputs: the matrices to be extended, |