#####
##### Masaaki Harada, Akihiro Munemasa
#####

> W_25_16 := Matrix(25,25,[
> [1, 0, 0, 0, 1, -1, -1, -1, 0, 1, 1, -1, 1, -1, -1, 1, 1, 0, 0, 0, 1, -1, 0, 0, 1],
> [-1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, -1, 1, 0, 1, 1, 0, 0, -1, 1, -1, 0],
> [0, 1, 1, 1, 1, -1, 0, 1, 1, 0, 0, 1, 0, 0, 0, -1, 0, 1, -1, 0, 1, 1, -1, 1, 1],
> [0, 0, -1, 1, -1, 0, 0, -1, 0, 1, 1, 1, 0, 1, -1, 0, -1, 0, 1, 1, -1, 0, -1, 1, 1],
> [-1, -1, 1, 1, 0, 0, 1, 1, -1, 1, 1, 0, 1, 0, 0, -1, 0, -1, 0, -1, 0, -1, 1, 1, 0],
> [0, 0, 0, 0, -1, 1, -1, 1, -1, -1, -1, -1, 0, 1, -1, 0, 0, 0, -1, 1, 1, -1, 0, 1, 1],
> [0, -1, -1, 0, 1, 1, 1, -1, 0, -1, 0, 1, 1, 0, 1, -1, 1, 0, 0, 1, 1, -1, -1, 0, 0],
> [1, -1, 0, 1, 1, 1, -1, 0, -1, 1, 0, 0, 0, 1, 0, 0, -1, 1, -1, -1, 0, 0, -1, -1, -1],
> [-1, -1, -1, 1, 0, -1, 0, 0, -1, -1, -1, 0, 1, 0, 0, 1, 1, 1, 0, -1, -1, 1, 0, 0, 1],
> [-1, -1, -1, -1, 0, 0, -1, 0, 1, 1, 1, 0, -1, 1, 1, 0, 1, 1, -1, 0, 0, 0, 1, 1, 0],
> [0, -1, 1, 1, 0, 0, 1, -1, 1, -1, 1, -1, 0, 1, -1, 0, 0, 0, -1, 1, 0, 1, 1, -1, 0],
> [1, -1, 1, 1, -1, 1, 0, 0, 0, 0, 0, 1, -1, -1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1],
> [-1, -1, 0, -1, 1, 1, 1, 1, 0, 1, 0, -1, 0, -1, 0, 1, -1, 0, 0, 1, 0, 1, -1, 0, 1],
> [1, 1, 1, -1, 1, 1, 0, -1, -1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, -1, 1, 1, 1, 1],
> [0, 1, -1, 0, 0, 1, 1, 0, -1, 0, 1, -1, -1, 0, -1, -1, 1, 1, 1, -1, 1, 1, 0, 0, 0],
> [1, 0, 0, 0, 1, -1, 1, 1, -1, -1, 1, 0, -1, 0, 0, 1, 0, 1, 0, 1, -1, -1, 0, 1, -1],
> [1, 0, 0, -1, -1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, -1, -1, -1, 0, 0, -1, -1, 1],
> [0, 1, -1, 0, -1, -1, 1, 0, -1, 1, 0, 0, 1, 0, 1, 0, -1, 1, -1, 1, 1, 0, 1, -1, 0],
> [1, 0, 0, 0, -1, 1, 1, 0, 1, 1, -1, 0, 1, -1, -1, 0, 1, 1, -1, 0, -1, 0, 0, 1, -1],
> [1, 0, -1, 1, 0, 0, 0, 1, 1, 0, 0, -1, 1, 1, 1, 1, 0, -1, 1, 0, 1, 1, 0, 1, -1],
> [1, 0, -1, 1, 1, 0, 0, 1, 0, 1, -1, 0, -1, 0, 0, -1, 1, -1, 0, 1, -1, 0, 1, -1, 1],
> [0, -1, 1, -1, 0, -1, 0, 0, -1, 1, -1, 1, 0, 1, -1, 0, 1, 0, 1, 1, 1, 1, 0, 0, -1],
> [-1, 1, 0, 1, 0, 1, -1, 0, -1, 0, 1, 1, 0, -1, 0, 1, 1, -1, -1, 1, 0, 1, 0, 0, -1],
> [0, 0, -1, 0, 1, 0, 1, -1, 0, 0, -1, 1, -1, 0, -1, 1, -1, -1, -1, -1, 1, 0, 1, 1, 0],
> [1, -1, -1, -1, 0, 0, -1, 1, 0, -1, 1, 1, 1, -1, -1, -1, -1, 0, 0, 0, 0, 1, 1, 0, 0]
> ]):

> writeto("W27.16.txt");