equation.txt

x1+x2+x4+x6+x9+x13+x15+x20+x24+x26+x27+x28+x30+x32+x33+x34+x36+x38+x41+x44+x46+x49+x51+x52+x55+x57+x60+x61+x62+(1+x0)*(x3+x4+x6+x7+x9+x11+x14+x22+x24+x28+x30+x31+x35+x37+x39+x40+x41+x42+x43+x45+x50+x51+x52+x54+x58+x59)=0
1+x9+x13+x17+x20+x21+x23+x25+x26+x28+x33+x37+x38+x41+x42+x45+x47+x48+x50+x51+x52+x53+x55+x56+x58+x59+x60+x61+(1+x31)*(1+x0+x2+x3+x6+x7+x8+x11+x13+x14+x17+x18+x20+x23+x24+x29+x30+x31+x33+x35+x36+x37+x38+x39+x40+x41+x42+x46+x51+x52+x53+x55+x58+x59+x60)=0
x1+x3+x5+x7+x10+x11+x12+x13+x14+x16+x17+x23+x24+x25+x26+x27+x28+x29+x34+x39+x42+x45+x48+x52+x54+x55+x57+x62+(x61)*(x0+x1+x2+x6+x8+x10+x11+x12+x14+x17+x18+x22+x24+x25+x27+x28+x30+x32+x34+x36+x37+x38+x39+x40+x44+x45+x48+x50+x52+x53+x56+x57+x58+x59+x60)=0
1+x0+x3+x5+x6+x11+x13+x15+x17+x18+x20+x25+x26+x27+x29+x30+x31+x36+x37+x39+x40+x44+x46+x47+x48+x50+x51+x52+x53+x54+x55+x60+(x3+x6+x8+x9+x11+x13+x14+x21+x22+x24+x25+x27+x28+x29+x36+x38+x39+x42+x44+x46+x47+x49+x53+x54+x61)*(x0+x2+x3+x4+x5+x7+x8+x12+x13+x15+x16+x17+x19+x22+x24+x25+x28+x33+x39+x40+x41+x43+x44+x48+x49+x51+x53+x55+x58+x60)=0
1+x0+x2+x3+x6+x14+x17+x19+x20+x22+x25+x30+x31+x32+x39+x40+x41+x45+x46+x49+x52+x54+x55+x56+x57+x58+x59+x60+x61+(1+x0+x1+x4+x6+x8+x9+x10+x11+x13+x18+x21+x23+x25+x28+x29+x32+x35+x38+x42+x46+x48+x49+x50+x51+x54+x58+x59+x60+x61)*(1+x0+x2+x7+x9+x11+x15+x17+x19+x20+x27+x34+x35+x38+x41+x42+x47+x50+x51+x54+x56+x60+x61)=0
x0+x6+x8+x10+x11+x12+x13+x14+x16+x17+x18+x19+x20+x25+x28+x29+x33+x34+x35+x36+x38+x39+x40+x41+x42+x44+x46+x47+x48+x51+x53+x55+x56+x59+x60+x61+x62+(x0+x3+x5+x6+x13+x16+x17+x20+x21+x25+x26+x27+x28+x29+x32+x33+x35+x36+x38+x41+x42+x47+x49+x50+x51+x52+x53+x56+x61)*(1+x2+x7+x8+x9+x11+x15+x16+x17+x20+x21+x23+x24+x25+x26+x28+x32+x34+x36+x37+x38+x40+x42+x44+x46+x47+x48+x49+x51+x52+x53+x54+x55+x58+x62)=0
1+x0+x2+x3+x5+x6+x9+x13+x16+x21+x23+x26+x27+x28+x29+x32+x34+x35+x37+x39+x40+x41+x43+x44+x45+x46+x47+x49+x50+x51+x55+x57+x58+x61+x62+(1+x1+x3+x7+x16+x17+x18+x19+x20+x22+x23+x24+x25+x26+x27+x29+x32+x33+x34+x35+x36+x38+x39+x41+x43+x45+x46+x49+x50+x51+x54+x56+x57+x58+x61+x62)*(1+x0+x1+x3+x4+x5+x6+x7+x10+x12+x13+x16+x17+x20+x24+x25+x33+x37+x38+x39+x40+x41+x43+x44+x46+x47+x49+x52+x60+x62)=0
x1+x3+x4+x5+x8+x10+x11+x12+x16+x17+x20+x21+x23+x27+x28+x30+x31+x33+x34+x36+x37+x38+x39+x40+x43+x46+x48+x49+x50+x59+x60+x61+(x0+x1+x4+x6+x7+x8+x9+x12+x18+x19+x20+x28+x31+x32+x34+x35+x43+x44+x47+x49+x50+x51+x57+x59+x60+x61)*(1+x1+x6+x8+x13+x16+x17+x18+x19+x22+x23+x28+x30+x32+x34+x36+x37+x38+x39+x40+x42+x46+x48+x49+x50+x52+x55+x56+x58)=0
1+x2+x3+x6+x7+x10+x11+x15+x16+x17+x18+x20+x22+x26+x27+x29+x30+x31+x33+x34+x36+x37+x39+x40+x49+x52+x53+x54+x57+x58+x59+x62+(x0+x4+x5+x6+x7+x8+x12+x14+x18+x19+x22+x27+x28+x35+x38+x41+x43+x47+x50+x51+x52+x55+x56+x57+x59+x61+x62)*(x1+x2+x6+x8+x9+x10+x18+x19+x21+x29+x31+x33+x34+x37+x38+x39+x42+x47+x48+x50+x51+x52+x54+x56+x57+x59+x62)=0
x0+x4+x5+x6+x7+x8+x9+x10+x11+x14+x28+x30+x31+x36+x38+x42+x44+x46+x47+x48+x50+x52+x53+x54+x57+x60+x61+(1+x6+x7+x8+x11+x12+x13+x15+x17+x20+x24+x26+x27+x29+x32+x33+x34+x37+x38+x39+x40+x44+x45+x46+x49+x51+x53+x55+x58+x59+x61+x62)*(1+x3+x4+x5+x11+x12+x13+x16+x17+x18+x20+x23+x30+x33+x34+x35+x36+x42+x43+x44+x45+x46+x47+x49+x54+x56+x57+x58+x59+x61)=0
x0+x2+x3+x4+x7+x8+x17+x18+x19+x20+x23+x24+x26+x28+x29+x30+x32+x33+x38+x39+x40+x41+x42+x43+x44+x47+x49+x53+x55+x57+x59+x60+(1+x0+x4+x8+x10+x11+x14+x15+x17+x20+x22+x28+x29+x30+x31+x33+x39+x41+x43+x44+x45+x50+x51+x53+x54+x55+x56+x57+x58+x60+x62)*(x0+x2+x5+x8+x10+x12+x15+x20+x23+x24+x26+x29+x30+x37+x40+x43+x44+x47+x48+x49+x52+x53+x58+x60+x61+x62)=0
1+x0+x2+x4+x5+x6+x8+x10+x11+x14+x16+x20+x21+x22+x23+x24+x25+x26+x29+x33+x35+x38+x39+x42+x46+x48+x49+x51+x56+x57+x58+x60+x61+x62+(x1+x2+x6+x9+x11+x12+x14+x16+x17+x18+x19+x20+x21+x22+x23+x25+x26+x27+x28+x29+x30+x32+x34+x35+x41+x44+x47+x49+x50+x51+x56+x57)*(1+x8+x9+x11+x13+x14+x15+x17+x20+x21+x22+x24+x25+x26+x28+x32+x35+x36+x37+x40+x41+x45+x46+x48+x49+x50+x51+x53+x57+x60)=0
1+x0+x2+x3+x4+x7+x8+x9+x10+x12+x14+x16+x17+x20+x22+x23+x24+x26+x27+x28+x29+x31+x35+x38+x39+x43+x44+x46+x48+x50+x53+x60+x62+(1+x0+x1+x2+x4+x5+x8+x9+x10+x16+x17+x20+x22+x23+x25+x27+x28+x30+x31+x32+x34+x35+x38+x39+x42+x44+x47+x51+x52+x58+x61)*(x0+x1+x2+x3+x4+x5+x6+x13+x14+x15+x16+x17+x21+x24+x26+x28+x29+x30+x32+x33+x35+x37+x38+x41+x42+x43+x44+x45+x46+x48+x49+x51+x52+x53+x54+x55+x57+x59+x60+x61)=0
1+x3+x6+x8+x11+x12+x15+x16+x19+x21+x26+x28+x31+x33+x34+x37+x42+x43+x44+x46+x48+x49+x50+x51+x53+x54+x56+x58+x59+(x6+x7+x8+x9+x12+x15+x19+x21+x23+x24+x29+x30+x33+x34+x35+x37+x38+x41+x42+x46+x47+x48+x50+x53+x58)*(x1+x2+x4+x5+x9+x10+x11+x13+x19+x20+x21+x22+x24+x25+x26+x28+x29+x30+x32+x34+x36+x38+x42+x43+x46+x48+x50+x51+x52+x54+x57+x61+x62)=0
x6+x7+x8+x9+x10+x11+x12+x17+x19+x20+x31+x32+x35+x38+x40+x42+x44+x45+x46+x49+x52+x53+x54+x55+x56+x57+x58+x59+x61+x62+(1+x0+x4+x5+x6+x8+x9+x10+x11+x13+x14+x15+x16+x18+x19+x22+x25+x26+x27+x29+x30+x31+x36+x37+x38+x39+x40+x41+x43+x45+x51+x52+x53+x56+x58+x60+x62)*(1+x2+x3+x4+x5+x8+x12+x13+x14+x16+x17+x18+x20+x28+x30+x31+x32+x33+x34+x35+x37+x38+x41+x46+x50+x55+x57+x58+x59+x61)=0
x1+x2+x4+x8+x9+x10+x16+x17+x18+x22+x25+x28+x32+x34+x36+x38+x40+x43+x44+x47+x55+x57+x59+x60+(1+x2+x3+x7+x10+x12+x13+x15+x16+x17+x18+x19+x20+x22+x24+x25+x27+x30+x35+x37+x38+x40+x42+x43+x45+x46+x50+x52+x56+x57+x62)*(x0+x2+x6+x7+x9+x10+x11+x14+x15+x17+x21+x22+x24+x25+x26+x27+x29+x31+x33+x38+x39+x41+x43+x44+x45+x47+x49+x50+x52+x54+x57+x58+x62)=0
x1+x2+x3+x4+x6+x8+x11+x14+x15+x16+x18+x20+x22+x23+x25+x26+x29+x31+x36+x37+x38+x39+x41+x42+x43+x44+x48+x49+x51+x55+x56+x57+x58+x59+x62+(x1+x2+x4+x7+x8+x9+x10+x11+x12+x13+x14+x15+x17+x19+x20+x22+x24+x25+x27+x28+x29+x30+x31+x32+x36+x38+x39+x40+x41+x44+x45+x46+x48+x51+x54+x55+x57+x58+x59+x61)*(x0+x2+x3+x5+x6+x7+x10+x11+x13+x14+x15+x17+x18+x19+x20+x21+x22+x23+x27+x28+x29+x30+x32+x33+x35+x36+x39+x41+x42+x43+x44+x45+x46+x47+x48+x50+x51+x53+x54+x59+x61+x62)=0
x1+x3+x5+x7+x8+x9+x11+x13+x14+x15+x16+x20+x21+x22+x25+x28+x29+x32+x33+x35+x36+x37+x41+x42+x45+x46+x50+x56+x58+x59+x60+x62+(x2+x3+x5+x6+x7+x9+x11+x13+x14+x18+x19+x20+x21+x23+x24+x26+x30+x31+x34+x35+x37+x39+x40+x41+x42+x47+x50+x53+x58+x62)*(x1+x2+x5+x10+x12+x19+x21+x22+x23+x25+x29+x30+x34+x35+x37+x39+x43+x45+x46+x48+x49+x50+x51+x52+x54+x55+x56+x58+x62)=0
1+x2+x3+x4+x8+x9+x10+x11+x15+x16+x21+x23+x27+x28+x32+x33+x36+x40+x41+x43+x45+x47+x49+x50+x51+x52+x54+x55+x59+x60+x62+(x0+x1+x2+x4+x6+x7+x8+x9+x11+x12+x15+x17+x19+x25+x26+x27+x28+x29+x34+x36+x37+x41+x42+x43+x44+x45+x47+x51+x54+x57+x58+x59+x62)*(x0+x1+x2+x3+x4+x6+x11+x12+x17+x19+x22+x25+x27+x31+x32+x34+x35+x38+x39+x40+x43+x44+x45+x48+x52+x53+x55+x58+x59+x61+x62)=0
1+x1+x3+x4+x5+x6+x7+x8+x10+x11+x12+x14+x16+x18+x21+x23+x27+x28+x29+x31+x33+x34+x35+x36+x37+x38+x39+x40+x41+x42+x44+x45+x48+x51+x53+x54+x56+x57+x59+x61+(x0+x1+x3+x4+x7+x10+x12+x14+x18+x20+x21+x22+x25+x26+x29+x31+x32+x33+x34+x36+x40+x41+x42+x43+x46+x47+x48+x49+x50+x54+x56+x57+x58+x59+x60)*(x0+x3+x4+x6+x7+x8+x9+x16+x18+x22+x23+x24+x29+x31+x33+x34+x35+x42+x44+x46+x47+x49+x50+x52+x54+x57+x58+x61)=0
1+x0+x1+x4+x5+x6+x7+x9+x12+x13+x19+x20+x21+x22+x25+x26+x28+x29+x31+x33+x34+x35+x36+x37+x41+x42+x43+x45+x46+x51+x52+x53+x57+x58+x59+x60+(1+x1+x6+x7+x10+x11+x13+x14+x18+x19+x20+x21+x27+x31+x33+x34+x35+x36+x38+x40+x43+x44+x46+x50+x51+x52+x54+x59+x61)*(x0+x3+x5+x7+x9+x10+x12+x13+x14+x18+x22+x26+x27+x30+x31+x34+x37+x39+x42+x43+x45+x51+x52+x53+x57+x58+x59+x61+x62)=0
1+x4+x5+x7+x9+x10+x11+x13+x16+x20+x21+x25+x26+x27+x28+x29+x31+x32+x34+x36+x37+x38+x43+x44+x46+x47+x48+x51+x52+x56+x59+(x0+x3+x6+x9+x10+x11+x12+x18+x19+x21+x24+x25+x26+x33+x36+x37+x39+x41+x44+x46+x47+x51+x52+x54+x58+x59+x62)*(x3+x7+x8+x9+x10+x12+x14+x15+x17+x18+x19+x21+x22+x23+x27+x31+x32+x33+x37+x39+x43+x45+x47+x48+x49+x51+x52+x54+x57+x58+x62)=0
x0+x2+x6+x9+x11+x13+x16+x20+x21+x23+x25+x26+x27+x29+x31+x35+x36+x37+x39+x40+x41+x49+x52+x55+x59+x61+x62+(1+x0+x1+x9+x12+x13+x14+x15+x19+x20+x21+x26+x31+x34+x36+x37+x40+x41+x44+x45+x50+x51+x53+x55+x56+x59+x60+x61+x62)*(x1+x3+x4+x6+x7+x9+x10+x11+x12+x17+x20+x25+x26+x27+x28+x29+x30+x32+x36+x37+x38+x39+x40+x41+x43+x46+x47+x49+x55+x57+x61+x62)=0
1+x1+x2+x7+x8+x9+x10+x11+x12+x13+x15+x16+x19+x20+x27+x28+x34+x36+x38+x39+x40+x43+x44+x45+x46+x48+x53+x54+x55+x58+x60+x61+x62+(1+x0+x2+x3+x5+x7+x9+x10+x12+x13+x14+x16+x17+x19+x21+x23+x25+x27+x28+x30+x31+x32+x33+x35+x36+x38+x41+x42+x45+x49+x50+x51+x53+x55+x56+x58+x61+x62)*(x1+x3+x6+x7+x8+x10+x12+x13+x14+x15+x17+x18+x20+x22+x23+x24+x25+x27+x30+x31+x33+x34+x35+x38+x39+x40+x43+x44+x45+x46+x48+x50+x52+x53+x55+x56+x57+x58+x59+x60+x62)=0
1+x0+x1+x3+x9+x12+x13+x14+x22+x24+x28+x31+x33+x35+x39+x40+x42+x45+x50+x52+x53+x57+x59+x60+(1+x1+x4+x5+x6+x7+x15+x17+x20+x23+x25+x26+x34+x36+x37+x38+x40+x41+x42+x43+x46+x48+x49+x50+x52+x54+x56)*(1+x0+x1+x9+x10+x13+x14+x15+x17+x19+x20+x22+x23+x25+x26+x27+x29+x31+x33+x34+x35+x36+x38+x40+x44+x46+x48+x49+x52+x54+x55+x56+x57+x58+x59+x62)=0
x4+x10+x11+x12+x15+x16+x17+x18+x19+x20+x21+x23+x24+x25+x26+x28+x29+x31+x33+x34+x38+x43+x46+x48+x50+x51+x53+x54+x56+x58+x59+(1+x0+x1+x3+x4+x7+x11+x14+x15+x16+x17+x19+x20+x23+x25+x27+x28+x29+x30+x32+x33+x34+x35+x36+x39+x42+x46+x50+x51+x53+x55+x56+x57+x58+x59+x60)*(1+x0+x1+x3+x4+x5+x6+x7+x12+x13+x15+x18+x19+x20+x21+x24+x25+x26+x27+x28+x29+x30+x32+x33+x34+x37+x41+x44+x46+x49+x50+x52+x53+x55+x60+x62)=0
1+x0+x1+x2+x3+x4+x5+x6+x10+x12+x14+x15+x16+x17+x18+x19+x21+x23+x27+x30+x32+x34+x35+x36+x37+x40+x42+x47+x51+x53+x54+x55+x56+x59+x60+x61+(x0+x2+x5+x9+x11+x12+x13+x14+x15+x16+x17+x18+x19+x22+x24+x25+x27+x28+x29+x30+x31+x34+x37+x38+x40+x46+x49+x50+x51+x52+x53+x54+x55+x56+x59+x60)*(1+x1+x3+x5+x6+x8+x12+x13+x14+x15+x18+x22+x24+x28+x32+x33+x39+x42+x46+x49+x51+x52+x53+x54+x55+x59+x60+x62)=0
1+x0+x1+x2+x3+x4+x5+x6+x8+x10+x11+x12+x14+x19+x24+x26+x30+x34+x35+x36+x38+x39+x40+x41+x43+x44+x49+x52+x53+x54+x56+x59+x61+(x0+x1+x2+x5+x8+x9+x10+x13+x17+x18+x19+x22+x23+x24+x26+x30+x32+x36+x37+x40+x41+x44+x46+x53+x58+x59+x60+x61)*(x0+x1+x2+x3+x5+x6+x13+x15+x16+x18+x20+x21+x23+x26+x27+x31+x32+x37+x42+x43+x45+x47+x48+x52+x55+x58)=0
x0+x1+x6+x8+x9+x11+x12+x16+x18+x20+x21+x25+x28+x29+x30+x32+x38+x43+x44+x45+x48+x49+x50+x51+x52+x54+x55+x61+x62+(1+x0+x2+x4+x6+x7+x11+x14+x15+x17+x19+x21+x24+x25+x28+x30+x32+x33+x34+x35+x37+x39+x40+x41+x44+x45+x47+x50+x53+x54+x55+x56+x58+x59+x62)*(1+x0+x1+x2+x4+x5+x7+x8+x9+x10+x11+x12+x13+x18+x20+x21+x22+x24+x25+x26+x27+x28+x31+x33+x34+x35+x37+x41+x45+x47+x48+x49+x50+x51+x52+x53+x55+x56+x58+x59+x60+x61+x62)=0
1+x2+x4+x7+x8+x14+x20+x22+x23+x24+x25+x26+x32+x34+x36+x37+x38+x40+x42+x43+x44+x47+x49+x51+x54+x61+(1+x1+x2+x4+x6+x7+x9+x14+x15+x16+x17+x19+x20+x21+x22+x23+x24+x28+x31+x33+x41+x44+x45+x49+x52+x53+x55+x57+x59+x62)*(x1+x3+x4+x5+x6+x7+x8+x11+x12+x19+x20+x22+x27+x28+x29+x30+x32+x33+x35+x42+x45+x46+x48+x52+x55+x57+x58+x59+x61+x62)=0
x0+x1+x6+x8+x9+x10+x11+x12+x14+x16+x20+x29+x32+x33+x34+x37+x40+x41+x44+x45+x46+x47+x48+x50+x52+x53+x54+x58+x59+x60+x62+(x1+x3+x4+x6+x7+x10+x12+x14+x15+x16+x21+x22+x23+x24+x25+x26+x27+x29+x31+x36+x40+x41+x42+x44+x46+x48+x51+x52+x53+x56+x60)*(x1+x2+x4+x7+x10+x12+x14+x15+x17+x20+x21+x22+x23+x25+x27+x28+x29+x33+x34+x36+x37+x40+x41+x42+x44+x45+x46+x47+x49+x50+x51+x54+x56+x57)=0
1+x0+x1+x2+x4+x5+x6+x9+x10+x12+x13+x15+x16+x17+x19+x20+x24+x30+x31+x32+x34+x42+x44+x45+x46+x47+x49+x50+x52+x53+x54+x55+x56+x57+x59+x61+(x1+x7+x8+x10+x13+x14+x16+x17+x19+x20+x23+x24+x25+x26+x28+x30+x31+x34+x35+x36+x39+x40+x41+x45+x47+x48+x52+x53+x55+x57+x62)*(x0+x1+x2+x4+x5+x6+x7+x10+x11+x12+x13+x19+x20+x21+x25+x28+x29+x31+x33+x34+x36+x43+x44+x45+x47+x48+x49+x50+x52+x53+x54+x56+x57+x59+x61+x62)=0
1+x4+x6+x10+x11+x12+x17+x18+x19+x20+x21+x22+x23+x24+x25+x27+x30+x32+x33+x34+x39+x40+x41+x43+x45+x47+x48+x50+x51+x52+x53+x57+x58+x62+(1+x0+x1+x2+x6+x7+x8+x9+x10+x11+x12+x14+x17+x18+x19+x21+x23+x24+x25+x26+x30+x31+x32+x33+x35+x36+x37+x39+x40+x41+x43+x46+x47+x48+x49+x50+x51+x54+x55+x60+x61)*(x0+x1+x3+x4+x5+x7+x8+x12+x13+x14+x18+x21+x22+x23+x29+x33+x34+x37+x39+x43+x46+x48+x51+x53+x56+x57+x59)=0
1+x3+x5+x6+x9+x12+x13+x14+x20+x21+x24+x25+x26+x27+x29+x31+x35+x36+x38+x42+x43+x44+x45+x46+x47+x48+x51+x52+x53+x54+x55+x57+x58+x61+(1+x1+x5+x6+x9+x11+x12+x14+x15+x22+x23+x26+x27+x28+x29+x30+x31+x32+x33+x34+x42+x44+x45+x50+x52+x53+x54+x55+x57+x60+x61)*(1+x2+x3+x4+x6+x9+x10+x11+x15+x16+x17+x18+x19+x22+x24+x26+x27+x29+x30+x33+x35+x36+x37+x38+x39+x41+x45+x46+x50+x53+x54+x56+x57+x59)=0
1+x1+x2+x3+x6+x7+x8+x10+x11+x13+x16+x17+x18+x20+x22+x24+x25+x28+x29+x30+x34+x35+x40+x41+x42+x47+x50+x53+x56+x57+x62+(x1+x2+x8+x9+x10+x11+x12+x14+x15+x19+x21+x22+x24+x25+x27+x28+x32+x34+x40+x42+x43+x45+x46+x53+x54+x55+x56+x58+x59+x60+x62)*(1+x2+x3+x9+x10+x12+x13+x14+x15+x16+x17+x20+x21+x23+x26+x27+x28+x32+x36+x37+x39+x43+x44+x45+x46+x48+x52+x53+x54+x55+x56+x57+x58+x59+x61+x62)=0
1+x0+x1+x2+x3+x4+x5+x6+x7+x8+x9+x10+x11+x13+x14+x15+x17+x18+x20+x21+x22+x25+x26+x29+x35+x36+x37+x39+x41+x43+x46+x49+x52+x54+x56+x58+x60+x62+(x0+x3+x7+x8+x9+x10+x11+x14+x16+x17+x18+x20+x22+x23+x24+x25+x28+x31+x32+x34+x37+x38+x41+x42+x43+x44+x46+x50+x53+x55+x60+x61+x62)*(x0+x1+x2+x3+x5+x8+x12+x15+x16+x18+x19+x20+x22+x23+x25+x26+x28+x33+x34+x36+x39+x40+x42+x44+x54+x56+x57+x60+x61)=0
1+x1+x2+x3+x5+x7+x11+x12+x13+x14+x16+x19+x20+x21+x24+x25+x26+x27+x28+x29+x31+x35+x38+x39+x44+x46+x48+x49+x50+x51+x52+x53+x56+x57+x58+x59+x60+x61+x62+(x0+x1+x2+x4+x5+x7+x9+x11+x15+x17+x18+x23+x24+x27+x28+x29+x32+x33+x34+x36+x37+x38+x40+x42+x43+x44+x45+x51+x52+x53+x54+x55+x56+x58)*(x1+x2+x6+x7+x10+x11+x12+x13+x16+x17+x19+x20+x22+x23+x25+x26+x28+x32+x35+x36+x38+x41+x48+x49+x50+x52+x53+x54+x55+x58+x59+x60+x62)=0
1+x2+x3+x4+x5+x7+x8+x12+x13+x15+x16+x18+x19+x23+x24+x26+x28+x29+x31+x35+x41+x43+x46+x47+x49+x52+x54+x56+x57+x59+x62+(1+x2+x5+x6+x8+x9+x10+x13+x14+x15+x16+x18+x21+x23+x28+x32+x35+x36+x39+x43+x44+x45+x46+x47+x48+x49+x50+x52+x53+x54+x58+x59+x61+x62)*(x0+x2+x5+x7+x9+x11+x12+x13+x15+x20+x22+x27+x28+x31+x33+x34+x35+x36+x38+x39+x40+x41+x42+x43+x46+x48+x51+x52+x54+x57+x58+x61+x62)=0
1+x0+x3+x6+x7+x8+x9+x18+x20+x21+x22+x23+x24+x26+x28+x29+x30+x32+x34+x37+x38+x40+x45+x46+x47+x48+x51+x52+x54+x56+x57+x58+x61+x62+(x1+x2+x3+x7+x8+x9+x10+x11+x13+x15+x16+x18+x20+x21+x22+x26+x28+x29+x33+x34+x37+x40+x46+x48+x49+x50+x51+x52+x54+x56+x57+x59+x61)*(1+x0+x1+x2+x3+x6+x10+x12+x15+x18+x19+x21+x23+x24+x27+x29+x30+x31+x33+x37+x38+x42+x43+x45+x46+x48+x49+x50+x51+x52+x59+x60+x61+x62)=0
1+x0+x1+x2+x5+x7+x8+x9+x10+x16+x17+x19+x21+x24+x25+x30+x31+x32+x33+x36+x37+x38+x39+x40+x41+x44+x47+x50+x52+x54+x55+x58+x60+x62+(x0+x2+x3+x5+x7+x10+x12+x14+x17+x18+x19+x21+x22+x24+x26+x29+x30+x36+x39+x45+x46+x47+x48+x49+x51+x52+x54+x55+x56+x57+x58+x59+x60+x61)*(1+x0+x2+x3+x7+x8+x12+x13+x17+x18+x19+x20+x21+x24+x29+x30+x37+x40+x41+x42+x43+x44+x48+x49+x50+x52+x55+x58+x59+x61+x62)=0
x0+x2+x3+x6+x8+x10+x14+x15+x18+x19+x20+x21+x22+x23+x25+x26+x27+x28+x30+x31+x32+x33+x34+x35+x38+x40+x41+x42+x43+x45+x46+x47+x49+x50+x51+x52+x54+x55+x56+x60+x62+(x0+x1+x3+x5+x8+x9+x10+x17+x18+x21+x23+x24+x26+x28+x30+x32+x37+x39+x40+x43+x44+x46+x49+x51+x52+x53+x54+x55+x59+x60+x61+x62)*(1+x0+x2+x3+x4+x7+x9+x10+x15+x19+x21+x24+x25+x27+x28+x29+x32+x33+x35+x39+x40+x41+x44+x46+x48+x50+x53+x56+x58+x59)=0
1+x2+x4+x5+x7+x8+x10+x12+x14+x15+x17+x18+x19+x21+x23+x31+x33+x35+x36+x42+x44+x45+x46+x47+x49+x50+x54+x55+x57+x58+x60+x61+x62+(1+x0+x6+x8+x11+x15+x17+x18+x20+x21+x22+x23+x24+x27+x28+x30+x35+x36+x39+x41+x42+x44+x45+x46+x51+x52+x55)*(x1+x2+x3+x9+x11+x12+x14+x20+x22+x23+x25+x26+x27+x30+x32+x35+x37+x38+x40+x41+x42+x45+x47+x48+x49+x51+x53+x54+x58+x61)=0
1+x3+x5+x6+x9+x10+x11+x13+x15+x16+x17+x21+x22+x23+x25+x26+x27+x30+x31+x33+x38+x41+x42+x43+x44+x46+x47+x51+x52+x53+x55+x56+x60+x61+x62+(x0+x1+x5+x10+x13+x14+x15+x18+x19+x20+x23+x24+x25+x27+x30+x34+x35+x37+x38+x41+x51+x53+x54+x56+x61)*(x0+x4+x5+x6+x7+x8+x10+x11+x14+x15+x20+x21+x24+x25+x28+x29+x30+x32+x34+x35+x36+x37+x39+x41+x42+x43+x46+x49+x50+x52+x55+x57+x59+x61)=0
1+x0+x6+x7+x8+x9+x14+x15+x16+x20+x23+x25+x26+x29+x31+x37+x38+x39+x43+x44+x46+x47+x48+x53+x54+x56+x57+x58+x59+x60+x61+(1+x0+x3+x4+x6+x7+x11+x12+x13+x14+x16+x17+x18+x19+x20+x23+x24+x28+x30+x31+x32+x35+x36+x37+x38+x41+x43+x44+x47+x48+x51+x52+x53+x58+x60)*(1+x0+x1+x2+x3+x4+x5+x6+x14+x15+x18+x19+x20+x21+x22+x23+x26+x27+x28+x32+x33+x34+x35+x36+x37+x38+x39+x42+x44+x46+x52+x55+x56+x58)=0
x1+x2+x7+x8+x11+x12+x14+x15+x16+x17+x18+x21+x23+x24+x25+x27+x28+x29+x31+x34+x39+x41+x43+x44+x45+x48+x51+x52+x53+x54+x56+x57+x58+x59+x60+(x0+x1+x3+x5+x6+x7+x8+x9+x10+x12+x13+x14+x15+x18+x21+x22+x23+x25+x27+x34+x36+x37+x38+x39+x40+x41+x43+x44+x47+x48+x49+x50+x52+x53+x54+x56+x57+x61+x62)*(x3+x9+x10+x12+x14+x17+x18+x21+x23+x24+x26+x27+x30+x32+x39+x40+x41+x44+x45+x46+x48+x49+x50+x52+x55+x58+x59+x60)=0
1+x1+x2+x6+x9+x14+x16+x19+x22+x25+x26+x27+x33+x35+x36+x37+x39+x41+x44+x45+x48+x49+x52+x53+x55+x56+x57+x61+(1+x2+x3+x5+x10+x11+x12+x15+x16+x19+x22+x23+x28+x29+x32+x33+x34+x36+x37+x38+x45+x48+x51+x52+x53+x54+x57+x58+x59+x60+x61+x62)*(x3+x4+x6+x10+x12+x15+x16+x17+x19+x20+x21+x22+x23+x25+x27+x28+x29+x30+x31+x32+x33+x36+x37+x40+x42+x43+x46+x47+x52+x53+x54+x58+x61+x62)=0
1+x1+x3+x6+x10+x16+x17+x19+x20+x23+x24+x25+x26+x27+x28+x29+x33+x34+x35+x36+x39+x40+x42+x45+x46+x49+x51+x52+x54+x55+x58+(x2+x3+x4+x6+x9+x11+x17+x22+x24+x25+x27+x28+x29+x30+x31+x32+x33+x34+x36+x37+x41+x43+x46+x52+x53+x56+x62)*(x1+x3+x5+x6+x7+x12+x14+x17+x22+x26+x28+x31+x34+x36+x38+x39+x40+x41+x45+x48+x50+x51+x54+x55+x56+x57+x58+x59+x62)=0
x1+x2+x3+x11+x13+x17+x18+x19+x20+x21+x22+x23+x26+x29+x31+x34+x35+x38+x40+x44+x45+x51+x52+x54+x56+x58+x59+x61+x62+(x1+x2+x3+x6+x10+x14+x16+x17+x19+x21+x24+x25+x29+x30+x31+x32+x33+x34+x38+x40+x42+x46+x50+x52+x54+x55+x56+x61+x62)*(x10+x12+x13+x14+x17+x19+x24+x26+x28+x33+x34+x36+x37+x38+x39+x40+x42+x43+x44+x45+x46+x48+x49+x50+x52+x53+x54+x56+x58)=0
x1+x3+x6+x7+x8+x9+x10+x11+x12+x13+x16+x17+x18+x21+x22+x23+x24+x28+x29+x31+x33+x36+x37+x38+x42+x47+x52+x54+x56+x57+x61+(1+x0+x4+x5+x8+x9+x10+x12+x14+x15+x16+x17+x18+x19+x21+x22+x23+x25+x26+x29+x30+x31+x32+x33+x35+x37+x38+x41+x44+x46+x47+x49+x50+x51+x52+x53+x59+x61)*(1+x1+x2+x3+x4+x7+x8+x17+x18+x20+x24+x27+x29+x32+x33+x35+x37+x38+x40+x46+x47+x50+x51+x54+x55+x56+x57+x59+x62)=0
1+x0+x2+x3+x5+x7+x8+x11+x12+x13+x15+x16+x17+x20+x22+x25+x26+x27+x28+x30+x31+x32+x33+x42+x43+x44+x45+x46+x47+x48+x49+x50+x52+x55+x60+x61+(1+x1+x2+x4+x5+x8+x10+x11+x14+x19+x24+x25+x26+x27+x28+x29+x32+x34+x35+x36+x38+x39+x41+x42+x44+x47+x48+x49+x53+x54+x55+x58+x60)*(x1+x4+x7+x9+x15+x16+x17+x18+x19+x20+x21+x22+x23+x24+x25+x26+x27+x28+x33+x35+x36+x38+x39+x41+x42+x43+x44+x46+x48+x49+x50+x52+x53+x54+x57+x58+x59+x62)=0
x1+x2+x3+x4+x6+x8+x9+x12+x13+x15+x20+x21+x22+x23+x25+x26+x27+x28+x29+x30+x31+x32+x33+x35+x38+x39+x40+x43+x44+x46+x49+x55+x56+x57+x58+x61+x62+(x1+x2+x3+x6+x7+x8+x10+x14+x16+x19+x20+x22+x23+x26+x27+x28+x29+x32+x34+x35+x40+x41+x44+x45+x46+x47+x49+x50+x54+x57+x60+x62)*(1+x3+x4+x5+x6+x9+x11+x12+x13+x14+x15+x17+x18+x19+x20+x21+x26+x27+x28+x31+x33+x35+x36+x37+x38+x40+x41+x43+x44+x45+x47+x53+x55+x57+x59+x60+x61)=0
x0+x1+x3+x5+x6+x8+x12+x14+x15+x16+x18+x22+x23+x27+x28+x34+x36+x39+x41+x44+x45+x46+x48+x55+x56+x58+x60+x62+(1+x1+x2+x3+x5+x6+x8+x11+x13+x15+x17+x18+x22+x23+x24+x26+x27+x29+x30+x31+x34+x36+x39+x40+x43+x44+x45+x47+x48+x49+x51+x52+x54+x55+x56+x58+x62)*(1+x1+x3+x5+x6+x11+x12+x13+x17+x18+x19+x20+x21+x26+x28+x29+x30+x31+x32+x34+x36+x38+x40+x43+x46+x47+x49+x51+x53+x57+x59+x60)=0
x2+x3+x8+x12+x17+x18+x19+x21+x22+x23+x24+x25+x26+x27+x30+x32+x34+x36+x37+x39+x42+x43+x44+x46+x47+x49+x51+x52+x53+x54+x57+x58+x60+x61+x62+(1+x0+x3+x4+x7+x9+x11+x12+x14+x16+x17+x19+x21+x22+x25+x28+x29+x30+x31+x36+x37+x38+x40+x41+x42+x44+x45+x48+x49+x54+x57+x59+x60+x62)*(x2+x4+x5+x6+x8+x10+x11+x15+x17+x19+x20+x21+x22+x27+x29+x30+x31+x35+x36+x39+x43+x44+x45+x49+x50+x51+x54+x55+x56+x57+x61+x62)=0
1+x0+x1+x3+x6+x8+x9+x10+x11+x12+x15+x16+x18+x20+x23+x24+x25+x28+x32+x35+x37+x38+x41+x47+x48+x49+x50+x51+x55+x56+x57+(1+x1+x3+x9+x10+x12+x13+x15+x16+x17+x18+x19+x20+x22+x24+x25+x26+x27+x28+x29+x30+x32+x39+x45+x46+x50+x51+x52+x54+x56+x57+x59)*(1+x1+x2+x3+x4+x5+x7+x8+x9+x13+x14+x15+x16+x18+x19+x21+x22+x24+x25+x26+x27+x35+x37+x39+x45+x47+x48+x49+x53+x54+x56+x57+x61+x62)=0
x0+x2+x3+x6+x8+x12+x15+x17+x18+x23+x28+x31+x36+x37+x41+x43+x44+x45+x53+x55+x57+x58+x60+x61+(1+x0+x1+x5+x12+x14+x17+x21+x22+x23+x25+x27+x29+x30+x31+x33+x38+x42+x44+x46+x47+x48+x49+x55+x58+x59+x60+x61)*(1+x0+x1+x3+x4+x6+x8+x9+x12+x13+x20+x21+x23+x25+x26+x27+x28+x29+x32+x33+x34+x35+x36+x39+x45+x52+x53+x54+x56+x58+x61)=0
1+x7+x8+x9+x12+x13+x15+x17+x19+x22+x23+x24+x27+x28+x32+x33+x35+x36+x37+x38+x39+x40+x41+x43+x44+x46+x48+x51+x52+x55+x56+x57+x60+(1+x0+x2+x3+x4+x6+x8+x9+x10+x12+x14+x15+x18+x19+x20+x23+x25+x26+x27+x28+x30+x32+x34+x36+x37+x38+x39+x42+x44+x47+x48+x50+x51+x52+x53+x56+x58+x59+x62)*(1+x1+x2+x4+x5+x6+x7+x8+x10+x11+x14+x16+x17+x18+x19+x20+x26+x28+x35+x37+x38+x39+x40+x45+x48+x56+x60+x62)=0
x0+x2+x3+x6+x8+x10+x17+x19+x21+x25+x26+x27+x28+x30+x33+x34+x37+x42+x46+x47+x48+x49+x50+x54+x55+x57+x59+x60+x61+(1+x0+x1+x5+x6+x9+x10+x13+x14+x16+x20+x21+x24+x25+x26+x28+x31+x32+x33+x34+x35+x39+x42+x46+x48+x52+x54+x58+x61)*(x0+x2+x8+x10+x11+x12+x13+x14+x15+x17+x18+x19+x20+x24+x25+x28+x31+x32+x33+x34+x35+x40+x41+x42+x43+x44+x45+x46+x49+x53+x55+x56+x57+x58+x59)=0
x3+x7+x8+x11+x12+x16+x23+x26+x28+x30+x31+x32+x35+x37+x38+x40+x41+x42+x43+x44+x47+x52+x53+x57+x59+x61+x62+(1+x1+x3+x4+x6+x7+x8+x9+x10+x13+x18+x22+x25+x26+x30+x32+x33+x36+x37+x39+x42+x43+x45+x46+x47+x48+x49+x51+x53+x54+x55+x58+x59+x60+x61)*(1+x2+x3+x6+x7+x8+x9+x13+x19+x21+x22+x25+x26+x28+x29+x31+x32+x33+x35+x37+x39+x41+x42+x47+x48+x50+x51+x53+x55+x56+x58+x60+x61+x62)=0
1+x0+x3+x4+x5+x6+x7+x9+x10+x11+x12+x18+x20+x21+x22+x23+x26+x27+x28+x30+x32+x34+x37+x38+x40+x41+x43+x44+x47+x48+x49+x51+x52+x54+x55+x60+x61+(1+x2+x3+x9+x13+x14+x15+x16+x18+x19+x20+x22+x25+x26+x30+x31+x32+x34+x35+x36+x38+x43+x45+x46+x47+x48+x49+x55+x56+x57+x58+x59+x61+x62)*(x0+x3+x6+x7+x8+x9+x10+x14+x16+x17+x18+x20+x22+x23+x24+x28+x29+x30+x32+x35+x36+x37+x38+x39+x40+x44+x45+x47+x49+x50+x51+x52+x54+x55+x56+x57+x59+x60)=0
x0+x1+x3+x4+x5+x7+x9+x10+x12+x14+x15+x16+x17+x18+x19+x20+x24+x27+x28+x30+x31+x32+x33+x34+x36+x38+x41+x43+x45+x46+x56+x60+x62+(x1+x4+x5+x8+x10+x11+x13+x16+x18+x20+x21+x23+x24+x25+x27+x31+x35+x37+x39+x40+x41+x45+x47+x49+x50+x51+x52+x56+x59)*(1+x0+x1+x3+x4+x6+x7+x8+x11+x13+x15+x16+x17+x22+x25+x27+x32+x33+x34+x35+x37+x39+x40+x41+x42+x44+x50+x51+x52+x54+x55+x59+x60+x61)=0
x2+x4+x6+x10+x11+x13+x15+x16+x18+x20+x21+x22+x24+x26+x29+x31+x33+x36+x37+x39+x40+x42+x43+x46+x47+x48+x51+x52+x53+x54+x55+x57+x58+x59+x61+(1+x0+x2+x8+x12+x13+x14+x15+x16+x17+x22+x23+x24+x26+x27+x29+x30+x31+x32+x33+x34+x36+x37+x38+x39+x40+x41+x42+x46+x48+x51+x54+x57)*(x0+x1+x3+x5+x7+x11+x13+x14+x17+x18+x19+x20+x21+x23+x24+x27+x28+x29+x30+x31+x33+x34+x36+x38+x39+x41+x46+x49+x51+x54+x57+x60+x61+x62)=0
x4+x5+x8+x11+x14+x15+x18+x20+x23+x26+x27+x28+x29+x32+x33+x35+x36+x39+x41+x43+x48+x50+x53+x57+x58+x59+x61+(x1+x9+x13+x14+x17+x21+x23+x24+x29+x32+x34+x36+x37+x40+x42+x46+x47+x48+x49+x50+x51+x52+x58+x60+x61+x62)*(x1+x3+x7+x8+x12+x13+x14+x15+x18+x20+x21+x22+x24+x28+x29+x30+x31+x32+x33+x35+x38+x41+x42+x46+x47+x48+x50+x51+x52+x54+x56+x60+x61)=0
1+x0+x1+x4+x5+x7+x12+x13+x15+x16+x17+x18+x21+x31+x36+x38+x41+x42+x44+x45+x47+x48+x49+x50+x53+x55+x58+x60+x62+(x1+x4+x6+x8+x9+x15+x16+x19+x20+x21+x23+x25+x26+x29+x30+x32+x34+x36+x37+x40+x41+x43+x48+x50+x51+x52+x55+x56+x58+x59+x60)*(1+x2+x3+x9+x10+x11+x12+x15+x17+x20+x27+x28+x30+x31+x34+x35+x38+x39+x40+x43+x45+x48+x49+x50+x54+x55+x58+x59+x60)=0