#NKrecs.txt NKrecs:=[ rec( configmat := [ [ -2, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0, \ 1, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0,\ 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1, 0, 1, 0, 0 ], [ 1, 0, 0, 0, 0, 0, 1, -2, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0, 0, -2, 0, 2, 0 ], [ \ 0, 0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 2 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, -2, 2 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, -2 ] ], type := \ 1 ), rec( configmat := [ [ -2, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 1, 0, 0, \ 0, 0, 0, 0, 0 ], [ 1, 0, 1, -2, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, -2, 1, 0, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0, 0,\ 0, 0 ], [ 0, 0, 0, 0, 0, 1, -2, 1, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 1, -2, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 1, 0, -2, 1, 0, 1 ],\ [ 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0 ], [ 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -2 ] ], type \ := 2 ), rec( configmat := [ [ -2, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,\ 0, 0, 2, 0, 0, 0, 0, 2 ], [ 0, 1, -2, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 0, 2, 2, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0\ , 0, 0, 0, 0, 0, 2, 2 ], [ 0, 0, 0, 0, 0, 1, -2, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0, 1, -2, 0, 0, 0, 0, 2,\ 0, 0, 0, 0, 2, 0, 0 ], [ 1, 0, 1, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0 ], [ 1, 0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, \ 2, 0, 0, 2, 0, 0, 0 ], [ 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, -2, 0, 2, 2, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, -2, 0, 0\ , 2, 2, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, -2, 0, 2, 2, 2, 0, 2, 2 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 0, -2,\ 2, 2, 0, 2, 2, 2 ], [ 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, -2, 0, 2, 2, 2, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 2, 2, 0\ , -2, 2, 2, 0, 2 ], [ 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 2, 2, -2, 0, 2, 2 ], [ 0, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 2,\ 2, 0, -2, 2, 2 ], [ 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 0, 0, 2, 2, 2, 0, 2, 2, -2, 0 ], [ 0, 2, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 2, 2, 0, \ 2, 2, 2, 0, -2 ] ], type := 3 ), rec( configmat := [ [ -2, 0, 1, 1, 0, 0, 0, 0, 1, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, -2, 1, 1\ , 0, 0, 0, 0, 1, 1, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1, 1, -2, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0 ], [ 1, 1, 0, -2,\ 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0 ], [ 0, 0, 1, 1, -2, 0, 1, 1, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 1, 0\ , -2, 1, 1, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 1, -2, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0 ], [ 0, 0, 0, 0, 1,\ 1, 0, -2, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2 ], [ 1, 1, 0, 0, 0, 0, 1, 1, -2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0 ], [ 1, 1, 0, 0, 0, \ 0, 1, 1, 0, -2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0 ], [ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 1, 1, 0, 0, 0, 0, 1, 1 ], [ 0, 2, 0, 0, 0, 0\ , 0, 0, 0, 0, 0, -2, 1, 1, 0, 0, 0, 0, 1, 1 ], [ 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 1, 1, -2, 0, 1, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 2,\ 0, 0, 0, 0, 1, 1, 0, -2, 1, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 1, 1, -2, 0, 1, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 0, \ 0, 0, 0, 2, 0, 0, 1, 1, 0, -2, 1, 1, 0, 0 ], [ 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, -2, 0, 1, 1 ], [ 0, 0, 0, 2, 0, 0, 0\ , 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, -2, 1, 1 ], [ 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, -2, 0 ], [ 0, 0, 0, 0, 0, 0, 0,\ 2, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, -2 ] ], type := 4 ), rec( configmat := [ [ -2, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 2, 0, 0, 0, 0, 0,\ 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 0, 0, \ 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\ , 0, 2 ], [ 1, 0, 0, 0, 1, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,\ 2, 0 ], [ 0, 0, 0, 0, 0, 0, 1, -2, 1, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0, 0, 1, -2, 0, 0, 0, 0, 2, 0, 0, 0, 0, \ 0, 0 ], [ 1, 0, 0, 0, 0, 0, 0, 1, 0, -2, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, -2, 2, 2, 0, 0, 2, 2, 2, 0\ , 2 ], [ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 2, 2, 0, 0, 0, 2, 2, 2 ], [ 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 2, 2, -2, 0, 2, 0, 2, 0, 2,\ 2 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, -2, 1, 1, 2, 1, 1, 2 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 1, -2, 1, 1, 2, 1, \ 2 ], [ 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 1, -2, 1, 1, 2, 2 ], [ 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 2, 0, 2, 2, 1, 1, -2, 1, 1, 0\ ], [ 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 2, 2, 0, 1, 2, 1, 1, -2, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 2, 2, 1, 1, 2, 1, 1, -2, 0 \ ], [ 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 0, 0, 0, -2 ] ], type := 5 ), rec( configmat := [ [ -2, 1, 0, 0, 0, 1, 0, 0, 0\ , 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2 ], [ 1, -2, 1, 0, 0, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 1, -2, 1, 0, 0, 0, 0, 1,\ 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0 ], [ 0, 0, 0, 1, -2, 1, 1, 0, 0, \ 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 1, -2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0 ], [ 0, 1, 0, 0, 1, 0, -2, 1, 0, 0\ , 0, 0, 0, 2, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 1, -2, 1, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 1, 0, 1, -2, 0,\ 0, 0, 0, 0, 2, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 1, 0, 0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, -\ 2, 1, 1, 0, 0, 0, 1, 1, 1, 1 ], [ 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 1, 1, 0, 1, 1, 0 ], [ 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 1,\ 1, -2, 0, 1, 1, 1, 0, 0, 1 ], [ 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, -2, 1, 1, 1, 1, 1, 1 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, \ 1, 1, 1, -2, 1, 0, 1, 0, 1 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 1, 1, 1, 1, -2, 1, 0, 1, 0 ], [ 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 1, 0\ , 1, 1, 0, 1, -2, 0, 1, 1 ], [ 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, -2, 1, 1 ], [ 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 1, 1,\ 0, 1, 0, 1, 1, 1, -2, 0 ], [ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, -2 ] ], type := 6 ), rec( configmat := [ [ -\ 2, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 2, 0, 0, 0, 0 ], [ 1, -2, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 2 ], [ 0,\ 1, -2, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 2, 0 ], [ 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 2, 0, 0, 0 ], [ 0, \ 0, 0, 1, -2, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 2, 0 ], [ 0, 0\ , 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 2, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2 ], [ 1, 0,\ 0, 0, 0, 0, 0, 1, -2, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, 0 ], [ 0, 1, 1, 0, 0, 0, 0, 0, 0, -2, 1, 1, 0, 0, 0, 0, 0, 2, 0, 0 ], [ 0, 0, \ 0, 0, 1, 1, 0, 0, 0, 1, -2, 1, 0, 0, 0, 2, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, -2, 0, 0, 0, 0, 2, 0, 0, 0 ], [ 0, 0, 1\ , 1, 0, 0, 1, 1, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0 ], [ 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0 ], [ 1, 0, 0,\ 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0 ], [ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, -2, 2, 2, 2, 2 ], [ 0, 0, 0, \ 2, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 2, -2, 2, 2, 2 ], [ 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 2, 2, 2, -2, 2, 2 ], [ 0, 0, 2, 0\ , 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 2, 2, 2, -2, 2 ], [ 0, 2, 0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, -2 ] ], type := 7 )\ ];