#
# This comes from my research and I believe these to be correct.  The long list
# of testcases is probably overkill and was produced by the old NullSpace
# implemented in GEL
#
errorset= false;

A = [-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55];
NSP = NullSpace (A);
if not IsZero (A * NSP) then (
	error ("NullSpace handtest 1 fail!");
	errorset = true;
);

for i = 1 to 300 do (
	A = randint (5,randint(10)+5,randint(10)+5);
	NSP = NullSpace (A);
	if nullity (A) != columns(NSP) then (
		error ("NullSpace random test " + i + " fail (nullity)!");
		errorset = true
	);
	if not IsNull (NSP) then (
		if not IsZero (A * NSP) then (
			error ("NullSpace random test " + i + " fail!");
			errorset = true
		)
	)
);

if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #2 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #3 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #4 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #5 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #6 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #7 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #8 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #9 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #10 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #11 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #12 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #13 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #14 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #15 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #16 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #17 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #18 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #19 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #20 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #21 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #22 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #23 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #24 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #25 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #26 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #27 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #28 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #29 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #30 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #31 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #32 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #33 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #34 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #35 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #36 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #37 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #38 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #39 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #40 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #41 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #42 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #43 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #44 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-8,11;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #45 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #46 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #47 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #48 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #49 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #50 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #51 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #52 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #53 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #54 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #55 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #56 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #57 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #58 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #59 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #60 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #61 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #62 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #63 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-45,-10,-36,-9,-1,-28,55;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #64 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-8,11;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #65 ");errorset=true);
if NullSpace([-45,-10,-36,-9,-1,-28,55;-120,-45,-84,-36,-9,-56,165;-210,-120,-126,-84,-36,-70,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-28,462;-120,-210,-36,-84,-126,-8,330;-45,-120,-9,-36,-84,-1,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #66 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #67 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #68 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #69 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #70 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #71 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #72 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #73 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #74 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #75 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #76 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #77 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #78 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #79 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #80 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #81 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #82 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #83 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #84 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #85 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #86 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #87 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #88 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #89 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #90 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #91 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #92 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #93 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #94 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #95 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #96 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #97 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #98 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #99 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #100 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #101 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #102 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #103 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #104 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #105 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #106 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #107 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #108 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #109 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #110 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,-1,11;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #111 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #112 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #113 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #114 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #115 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #116 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #117 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #118 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #119 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #120 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #121 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #122 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #123 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #124 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #125 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #126 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #127 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #128 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #129 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-45,-10,-36,-9,-1,-8,55;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #130 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,-1,11;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #131 ");errorset=true);
if NullSpace([-45,-10,-36,-9,-1,-8,55;-120,-45,-84,-36,-9,-28,165;-210,-120,-126,-84,-36,-56,330;-252,-210,-126,-126,-84,-70,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-28,330;-45,-120,-9,-36,-84,-8,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #132 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #133 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #134 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #135 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #136 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #137 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #138 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #139 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #140 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #141 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #142 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #143 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #144 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #145 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #146 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #147 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #148 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #149 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #150 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #151 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #152 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #153 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #154 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #155 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #156 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #157 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #158 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #159 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #160 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #161 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #162 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #163 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #164 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #165 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #166 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #167 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #168 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #169 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #170 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #171 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #172 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #173 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #174 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #175 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #176 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #177 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #178 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #179 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #180 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #181 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #182 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #183 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #184 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #185 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #186 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #187 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #188 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #189 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #190 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #191 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #192 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #193 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #194 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #195 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,-1,55;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #196 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #197 ");errorset=true);
if NullSpace([-45,-10,-36,-9,-1,-1,55;-120,-45,-84,-36,-9,-8,165;-210,-120,-126,-84,-36,-28,330;-252,-210,-126,-126,-84,-56,462;-210,-252,-84,-126,-126,-70,462;-120,-210,-36,-84,-126,-56,330;-45,-120,-9,-36,-84,-28,165;-10,-45,-1,-9,-36,-8,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #198 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #199 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #200 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #201 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #202 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #203 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #204 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #205 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #206 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #207 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #208 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #209 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #210 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #211 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #212 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #213 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #214 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #215 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #216 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #217 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #218 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #219 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #220 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #221 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #222 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #223 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #224 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #225 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #226 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #227 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #228 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #229 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #230 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #231 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #232 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #233 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #234 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #235 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #236 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #237 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #238 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #239 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #240 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #241 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #242 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #243 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #244 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #245 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #246 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #247 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #248 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #249 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #250 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #251 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #252 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #253 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #254 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #255 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #256 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #257 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #258 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #259 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #260 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #261 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #262 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #263 ");errorset=true);
if NullSpace([-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,-1,165;-210,-120,-126,-84,-36,-8,330;-252,-210,-126,-126,-84,-28,462;-210,-252,-84,-126,-126,-56,462;-120,-210,-36,-84,-126,-70,330;-45,-120,-9,-36,-84,-56,165;-10,-45,-1,-9,-36,-28,55;-1,-10,0,-1,-9,-8,11;0,-1,0,0,-1,-1,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #264 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #265 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #266 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #267 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #268 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #269 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #270 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #271 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #272 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #273 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #274 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #275 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #276 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #277 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #278 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #279 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #280 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #281 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #282 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #283 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #284 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-120,-126,-84,-36,-35,330;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #285 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #286 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #287 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #288 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #289 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #290 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #291 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-120,-45,-84,-36,-9,-35,165;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #292 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #293 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #294 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #295 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #296 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #297 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-252,-210,-126,-126,-84,-21,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #298 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-210,-120,-126,-84,-36,-35,330;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #299 ");errorset=true);
if NullSpace([-1,0,-1,0,0,-1,1;-10,-1,-9,-1,0,-7,11;-45,-10,-36,-9,-1,-21,55;-252,-210,-126,-126,-84,-21,462;-210,-252,-84,-126,-126,-7,462;-120,-210,-36,-84,-126,-1,330;-45,-120,-9,-36,-84,0,165;-10,-45,-1,-9,-36,0,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #300 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1800 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1801 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1802 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1803 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1804 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1805 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1806 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1807 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1808 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1809 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1810 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1811 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1812 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1813 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1814 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1815 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1816 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1817 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1818 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1819 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1820 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1821 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1822 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1823 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1824 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1825 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1826 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1827 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1828 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1829 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1830 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1831 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1832 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1833 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1834 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1835 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1836 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1837 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1838 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1839 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1840 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1841 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1842 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1843 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1844 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1845 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1846 ");errorset=true);
if NullSpace([-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1847 ");errorset=true);
if NullSpace([-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,-1,462;-210,-252,-84,-126,-126,-4,462;-120,-210,-36,-84,-126,-6,330;-45,-120,-9,-36,-84,-4,165;-10,-45,-1,-9,-36,-1,55;-1,-10,0,-1,-9,0,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1848 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1849 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1850 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1851 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1852 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1853 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1854 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1855 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1856 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1857 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1858 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1859 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1860 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1861 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1862 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1863 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1864 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1865 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1866 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1867 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1868 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1869 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1870 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1871 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1872 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1873 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1874 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1875 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1876 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1877 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1878 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1879 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1880 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1881 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1882 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1883 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-45,-10,-36,-9,-1,0,55;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1884 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1885 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1886 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1887 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1888 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1889 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1890 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1891 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-120,-45,-84,-36,-9,0,165;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1892 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-10,-1,-9,-1,0,0,11;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1893 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1894 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1895 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1896 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1897 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-210,-252,-84,-126,-126,-1,462;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1898 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-252,-210,-126,-126,-84,0,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1899 ");errorset=true);
if NullSpace([-1,0,-1,0,0,0,1;-45,-10,-36,-9,-1,0,55;-120,-45,-84,-36,-9,0,165;-210,-120,-126,-84,-36,0,330;-210,-252,-84,-126,-126,-1,462;-120,-210,-36,-84,-126,-4,330;-45,-120,-9,-36,-84,-6,165;-10,-45,-1,-9,-36,-4,55;-1,-10,0,-1,-9,-1,11;0,-1,0,0,-1,0,1]) != [1,-1,-1;0,1,-1;-1,1,0;-1,0,0;0,-1,0;0,0,0;0,0,-1] then (error("Error on NullSpace test #1900 ");errorset=true);

if errorset then (
	print("ERROR")
) else (
	print("true")
);