1000 8 0 4 0
2: a(x2,x4)
7: a(x7,x6)
7: d(x7,0,gt)
2: -a(x2,x5) -a(x2,x3)

0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 0 0 0 

0 1 1 0 0 0 1 0 
0 1 0 1 0 1 0 0 
0 0 0 0 0 0 1 1 
0 0 1 1 1 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 0 1 0 0 1 
0 1 0 0 0 1 0 1 
0 1 0 1 0 1 1 0 
0 0 1 0 0 0 1 1 
0 1 0 1 0 0 1 0 
0 1 0 1 1 1 0 1 
0 0 1 1 1 0 1 0 
0 1 0 1 0 1 1 0 
0 0 0 0 0 0 0 0 
0 1 0 0 0 0 0 0 
0 1 1 1 0 0 0 1 
0 0 1 0 0 0 1 1 
1 0 0 1 0 0 1 0 
0 1 0 0 1 0 1 1 
1 1 0 0 0 0 0 0 
0 0 0 0 0 0 1 1 
0 0 1 0 1 0 1 1 
1 0 0 0 0 0 0 1 
1 0 0 0 0 0 1 1 
0 0 0 1 0 1 1 0 
0 1 0 1 0 0 0 1 
1 0 0 1 0 1 1 0 
0 0 0 0 1 0 1 1 
0 1 0 1 0 1 1 1 
0 0 1 1 0 0 1 1 
1 0 0 1 0 1 0 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 1 1 1 
0 1 1 1 1 0 1 0 
0 1 1 1 0 0 1 1 
0 0 1 1 0 0 1 0 
0 0 1 1 0 0 1 1 
0 1 0 0 0 0 0 0 
0 0 0 1 0 0 1 1 
0 1 1 1 1 0 1 0 
1 0 0 0 0 0 1 1 
0 1 1 1 1 0 0 0 
0 0 0 0 0 0 0 0 
0 0 0 0 0 1 1 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
1 0 0 1 0 1 1 1 
0 1 1 1 0 0 1 1 
0 0 1 0 0 0 1 1 
1 0 0 1 0 1 1 1 
0 1 1 1 0 0 0 1 
1 1 0 0 0 0 1 1 
1 0 0 0 0 0 0 0 
0 0 0 0 0 0 1 0 
0 1 0 1 0 1 0 1 
1 0 0 0 0 0 1 0 
1 0 0 1 0 0 0 1 
1 0 0 1 0 1 1 1 
0 0 0 0 0 0 1 0 
0 1 0 1 0 1 1 1 
0 1 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
0 0 1 0 0 1 1 1 
1 0 0 1 1 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 0 0 1 1 1 
1 0 0 1 1 1 0 1 
0 0 1 0 0 0 0 1 
1 1 0 0 1 0 0 1 
0 0 1 0 1 0 1 1 
0 0 1 0 0 0 1 1 
1 1 0 0 0 0 1 0 
0 0 0 0 0 0 0 1 
0 1 0 0 0 0 1 1 
0 1 0 1 0 1 1 1 
0 1 0 1 0 1 1 1 
0 0 0 1 0 0 1 1 
0 0 0 0 0 0 0 1 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 1 0 
0 0 0 0 1 0 1 1 
0 0 1 0 0 0 1 1 
0 0 0 1 0 1 1 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 0 
1 0 0 1 1 1 0 1 
0 1 1 1 1 0 0 0 
0 1 1 1 1 0 1 1 
0 1 0 1 1 0 0 1 
0 0 0 1 0 1 0 1 
0 0 0 0 0 0 1 0 
0 0 0 0 0 1 1 1 
0 0 0 0 0 0 1 1 
1 1 0 1 1 1 1 1 
1 1 0 0 0 0 1 1 
0 1 0 1 0 0 0 0 
0 1 0 0 1 0 1 1 
0 1 1 0 0 0 1 1 
0 0 0 0 0 0 0 1 
0 1 1 0 0 0 0 0 
0 0 0 0 1 0 1 1 
1 1 0 1 0 1 1 1 
0 1 1 1 0 0 0 1 
0 0 1 1 1 0 0 1 
0 0 0 0 0 0 0 1 
0 0 0 1 0 1 0 0 
0 0 0 1 0 0 0 0 
0 0 1 0 0 0 1 1 
1 0 0 1 0 1 1 1 
0 0 0 0 0 0 1 0 
1 0 0 1 0 0 0 0 
0 0 1 1 0 0 1 1 
0 0 1 0 0 1 1 1 
1 1 0 1 1 1 1 1 
1 0 0 0 0 0 1 0 
1 0 0 0 0 0 1 0 
0 0 0 0 0 0 1 1 
1 1 0 1 1 1 0 1 
1 0 0 1 0 1 0 1 
0 1 1 0 0 1 1 1 
0 0 0 0 0 0 1 1 
0 1 0 0 1 0 0 1 
0 1 1 0 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 0 0 0 1 1 
0 0 1 0 0 0 1 1 
0 1 0 0 0 0 0 1 
0 0 0 1 0 0 1 0 
0 0 0 1 0 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 0 0 
0 1 1 0 0 0 1 0 
0 1 0 0 0 0 1 1 
0 1 1 1 1 0 1 0 
0 1 0 1 0 1 0 0 
0 0 1 1 0 0 1 1 
0 0 0 1 0 1 0 1 
0 1 1 0 1 0 1 0 
0 0 0 1 0 1 1 0 
1 0 0 0 0 0 1 0 
0 0 1 0 0 1 1 1 
0 1 1 0 0 0 0 0 
0 0 0 1 0 1 1 0 
0 0 0 1 0 1 1 1 
0 1 1 0 0 0 1 0 
0 1 0 1 1 1 0 1 
0 1 1 1 0 0 0 1 
0 0 0 0 0 0 0 0 
0 0 1 1 1 0 0 1 
0 1 0 1 0 0 1 1 
0 1 1 1 0 0 1 1 
1 0 0 1 0 1 1 0 
0 0 0 0 1 0 1 1 
0 0 0 0 1 0 1 1 
0 0 1 1 1 0 1 1 
1 1 0 0 1 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 0 1 
0 0 0 0 0 0 1 1 
0 1 1 1 0 0 1 0 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 0 1 
1 1 0 1 1 0 1 1 
0 1 1 0 1 1 0 0 
0 0 1 1 1 0 0 0 
0 0 0 0 0 0 1 0 
0 0 1 0 0 0 1 1 
1 1 0 1 0 1 0 1 
1 1 1 0 0 0 1 1 
0 0 0 0 0 0 1 0 
0 0 0 0 0 0 1 1 
0 1 1 0 1 0 1 0 
0 1 1 1 1 0 1 0 
0 1 0 0 1 0 0 1 
0 1 1 0 0 1 1 1 
1 0 0 0 0 0 1 1 
0 0 0 1 0 1 1 1 
0 0 0 0 0 0 1 0 
0 1 0 0 0 1 1 0 
1 0 0 0 0 0 0 0 
0 0 0 0 1 1 1 1 
0 1 0 0 0 0 1 1 
0 0 0 1 0 1 1 1 
0 0 0 0 0 0 1 0 
0 1 0 0 1 0 1 1 
1 1 0 1 0 1 1 1 
0 0 0 1 0 0 1 1 
1 1 0 0 1 0 1 1 
0 0 0 1 0 1 1 1 
0 1 0 1 0 1 1 0 
1 0 0 1 0 1 1 0 
0 0 1 0 0 0 1 0 
0 0 0 1 0 1 0 1 
0 0 1 0 0 0 1 0 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 1 0 
0 0 0 0 1 0 0 1 
0 0 0 0 0 0 1 0 
0 0 0 0 0 0 1 1 
0 0 0 1 0 1 0 1 
0 0 1 0 0 0 1 1 
1 0 0 1 0 1 1 1 
1 1 0 1 0 0 0 0 
0 0 0 0 0 0 1 1 
1 1 0 0 0 0 1 0 
0 0 0 0 0 0 1 1 
1 1 0 1 0 1 0 0 
1 1 0 1 1 0 0 1 
0 1 0 1 0 0 0 1 
1 1 0 1 0 1 0 1 
0 0 0 1 0 0 1 0 
0 1 0 1 0 0 1 0 
0 0 1 1 0 0 1 1 
0 1 0 0 0 0 0 0 
1 0 0 0 0 0 1 1 
1 0 0 0 0 0 1 1 
0 1 1 1 1 0 1 0 
0 0 0 1 0 0 1 0 
0 1 0 0 0 0 0 1 
0 1 1 0 0 1 1 1 
0 1 1 0 0 0 0 1 
1 1 0 0 0 0 1 0 
0 0 1 1 0 0 1 0 
0 1 0 1 0 1 1 0 
1 0 0 0 0 0 1 0 
0 1 0 0 0 0 1 0 
0 0 0 1 0 0 0 1 
0 0 1 0 0 1 1 1 
0 0 0 0 0 0 0 0 
0 0 1 1 0 0 0 1 
0 0 1 1 0 0 0 1 
0 0 1 0 0 0 1 1 
0 1 1 1 0 0 0 1 
0 1 0 1 0 1 0 1 
0 0 0 0 1 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 1 1 1 0 
1 0 0 0 0 0 0 0 
0 1 0 1 1 1 0 0 
0 1 0 1 0 0 1 1 
0 0 1 0 0 0 1 0 
0 1 1 1 1 0 1 0 
0 0 0 1 1 0 0 1 
1 1 1 1 0 0 1 1 
1 0 0 0 1 1 0 1 
0 1 1 1 1 0 0 1 
0 1 0 1 1 1 1 1 
0 0 0 0 0 0 1 1 
1 0 0 1 0 0 0 0 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 1 0 
0 0 0 0 0 0 1 1 
1 1 0 1 1 0 1 1 
0 1 0 1 1 1 1 1 
0 1 0 1 0 1 1 0 
0 0 1 0 1 1 1 1 
0 0 0 1 0 1 1 1 
0 0 1 1 0 0 1 1 
0 0 0 1 0 1 1 0 
0 0 1 1 0 0 1 1 
0 0 1 0 0 0 1 1 
0 0 0 1 0 0 1 1 
0 1 1 0 0 1 1 1 
0 1 0 1 1 1 1 1 
0 0 0 0 0 0 0 1 
0 0 0 1 0 1 0 0 
0 1 0 1 0 1 1 1 
0 1 1 1 0 0 0 0 
1 0 0 0 0 0 1 1 
0 1 1 1 0 0 0 0 
0 1 0 1 1 1 0 1 
1 1 0 1 1 0 1 1 
0 0 0 1 0 0 1 0 
1 1 0 1 0 1 0 0 
0 0 0 0 0 0 1 1 
1 1 0 0 1 0 0 0 
0 1 0 1 0 1 1 0 
0 0 1 0 0 0 1 1 
1 1 0 1 0 1 1 1 
0 0 1 1 0 0 1 1 
0 1 0 0 0 0 1 1 
0 1 0 1 1 1 1 1 
0 1 0 0 0 0 1 0 
0 0 1 0 0 0 1 1 
0 1 1 1 0 0 0 0 
0 0 0 1 0 0 1 0 
0 0 1 0 0 0 1 1 
0 1 0 0 0 0 1 0 
0 1 0 0 1 0 0 0 
0 1 0 1 0 1 1 1 
0 0 0 0 0 0 0 1 
1 0 0 0 0 0 1 0 
0 0 0 0 1 0 0 1 
0 0 0 0 0 0 0 0 
1 0 0 0 0 0 1 1 
0 1 0 1 0 1 0 1 
0 1 0 1 1 1 1 1 
0 0 1 0 0 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 1 1 
0 1 0 1 0 1 1 0 
0 1 1 1 0 0 1 1 
1 0 0 1 1 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 0 
0 1 0 1 0 1 1 0 
0 0 1 1 1 1 1 1 
1 1 0 1 0 0 0 0 
0 0 1 0 0 0 0 1 
1 1 0 1 0 1 0 1 
0 0 0 1 0 0 1 1 
0 0 1 0 0 1 1 1 
0 0 1 0 1 0 0 0 
0 1 0 1 0 1 1 0 
0 0 0 1 1 1 1 1 
0 1 0 1 1 0 0 1 
1 0 0 1 0 1 0 0 
0 1 0 1 0 1 1 0 
0 0 0 0 0 0 0 0 
1 0 0 1 1 1 0 1 
0 0 0 0 0 0 1 1 
0 0 0 1 0 0 1 1 
0 0 1 1 0 0 0 1 
0 0 0 1 0 1 0 0 
0 1 0 1 1 1 1 1 
0 0 0 1 0 1 1 1 
0 1 0 1 1 1 1 1 
0 0 0 0 0 0 0 0 
0 1 0 1 0 0 1 0 
1 0 0 0 0 0 1 1 
0 0 1 0 0 0 1 0 
0 1 0 1 0 1 1 1 
0 0 0 0 0 0 0 1 
0 0 1 1 1 0 1 0 
0 0 1 0 0 0 1 1 
0 0 0 1 0 0 0 0 
0 0 0 1 0 0 1 0 
0 0 1 0 1 1 1 0 
1 1 0 1 1 0 0 1 
0 0 1 0 0 0 1 1 
0 0 1 0 0 0 1 0 
0 0 0 1 0 1 0 1 
0 0 0 0 0 0 0 1 
0 1 0 0 0 0 1 0 
0 0 0 1 0 0 1 1 
0 1 0 0 1 0 0 1 
0 0 1 1 1 0 1 1 
0 1 0 0 0 0 1 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 0 
0 0 0 1 0 1 1 0 
0 1 1 0 0 0 1 1 
0 1 1 1 0 0 1 1 
0 0 1 1 0 0 0 1 
0 1 0 1 0 1 1 0 
0 1 1 0 1 0 1 0 
0 1 0 0 0 0 0 1 
0 1 0 0 1 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 0 0 0 
0 0 1 0 0 0 0 1 
1 1 0 1 1 0 0 1 
1 1 0 1 0 1 1 1 
0 1 1 1 0 0 1 1 
0 0 0 0 0 0 0 0 
0 0 0 1 0 1 0 0 
0 1 0 1 0 1 0 0 
0 1 0 0 1 0 1 1 
0 1 0 1 0 1 1 0 
0 0 0 1 0 0 1 1 
0 1 0 1 1 1 0 1 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 1 0 
1 1 0 1 0 1 0 1 
0 1 0 0 1 0 1 1 
0 0 1 1 0 0 1 1 
1 0 0 0 0 1 1 1 
0 0 0 0 0 0 1 1 
1 0 0 0 1 0 1 1 
1 0 0 1 1 1 1 1 
1 1 0 1 1 1 0 1 
0 1 0 1 0 0 0 1 
1 1 0 1 1 1 1 1 
0 0 0 1 0 1 1 1 
1 1 0 1 0 0 1 0 
0 1 1 1 0 0 0 1 
1 1 0 1 0 0 0 1 
0 1 0 0 0 0 1 1 
0 0 0 1 0 0 0 1 
0 0 1 1 0 0 0 1 
0 0 0 0 0 0 1 1 
1 0 0 0 0 0 1 0 
1 0 0 1 0 1 1 1 
0 1 0 1 0 0 0 0 
1 1 0 1 0 0 1 0 
0 0 1 0 1 0 0 0 
0 1 0 1 1 0 1 1 
0 1 0 1 0 0 1 1 
0 0 0 1 0 1 0 1 
0 1 0 1 1 1 0 1 
0 0 1 0 0 1 1 1 
0 1 0 0 0 1 0 0 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 1 1 1 0 1 
0 1 0 0 1 0 0 1 
0 0 1 0 0 0 0 1 
0 1 0 1 0 1 1 1 
1 0 0 0 0 1 0 0 
0 0 0 0 1 0 1 1 
0 1 1 1 0 0 1 0 
0 1 1 0 0 0 1 1 
0 1 0 0 0 0 0 0 
1 1 0 1 1 1 1 1 
0 1 0 1 0 0 1 0 
0 0 1 0 0 1 1 1 
0 0 0 0 1 0 1 1 
0 0 0 1 0 0 1 1 
0 0 0 1 0 1 1 1 
0 1 0 0 0 1 1 1 
0 0 0 1 0 1 0 1 
1 1 0 0 0 0 0 0 
0 0 0 1 0 1 0 1 
0 0 0 0 0 0 0 1 
0 0 0 1 1 0 1 1 
0 0 0 0 0 0 1 0 
1 0 0 0 0 0 0 1 
0 1 0 0 1 0 0 1 
0 0 0 0 0 1 0 1 
0 1 0 1 1 1 0 1 
1 0 0 0 1 0 0 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 1 
0 1 1 0 0 1 1 1 
0 0 0 0 0 0 0 1 
0 1 0 1 0 1 0 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 1 0 
0 0 1 1 0 0 1 1 
0 0 1 0 0 1 1 1 
0 1 0 0 0 0 0 1 
0 1 0 1 1 1 0 1 
0 1 1 1 0 0 1 0 
0 1 0 1 0 1 1 1 
0 1 0 0 1 0 1 1 
0 0 0 0 0 1 0 1 
0 0 1 0 0 0 1 0 
0 1 0 1 0 0 1 1 
1 0 0 0 0 0 1 1 
0 1 0 0 1 0 0 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 1 1 1 
0 1 0 1 0 1 1 1 
0 0 0 0 0 0 1 1 
0 1 0 1 0 0 1 1 
0 0 0 0 0 0 1 1 
0 1 1 0 1 0 1 0 
0 0 1 0 0 0 1 1 
1 0 0 1 0 1 0 0 
0 1 1 1 0 0 1 1 
0 1 0 0 0 0 0 1 
0 0 0 1 0 1 0 1 
1 1 0 1 1 0 1 0 
1 1 0 1 1 1 1 1 
0 0 0 0 0 0 1 1 
0 1 1 0 0 0 1 1 
0 0 0 1 0 1 1 1 
0 0 1 1 0 0 0 1 
0 0 0 0 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 1 0 
0 1 1 0 1 1 1 0 
0 0 1 1 0 0 1 1 
0 0 1 0 0 0 0 0 
0 1 0 0 0 1 1 1 
0 0 0 0 1 0 1 1 
0 0 0 1 0 1 1 1 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 1 1 
0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 0 0 
0 0 1 0 0 0 1 1 
0 1 1 1 1 0 1 0 
0 0 1 0 0 0 1 1 
0 1 0 1 0 0 1 1 
0 0 0 1 0 0 0 1 
0 0 0 0 0 0 0 0 
1 0 0 1 0 1 1 1 
1 1 0 1 0 1 1 0 
0 0 1 0 1 0 1 1 
0 1 0 1 1 0 1 1 
0 0 0 0 0 0 1 0 
0 0 0 0 0 0 0 1 
0 1 0 1 0 1 0 0 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 0 1 
0 1 0 1 0 1 0 1 
0 1 1 1 0 0 0 1 
0 0 1 1 0 0 1 1 
0 1 1 0 1 1 1 0 
1 0 0 1 0 1 0 1 
0 0 1 0 1 0 1 1 
0 0 0 1 0 1 1 0 
0 0 0 1 0 0 1 1 
1 1 0 1 0 0 1 0 
1 0 0 1 1 1 1 1 
0 1 0 1 0 1 1 1 
1 1 0 1 1 0 1 1 
1 1 0 1 0 1 1 1 
0 0 0 0 0 0 0 1 
0 0 1 1 0 0 1 1 
0 0 1 0 0 1 1 1 
0 1 0 1 0 1 1 1 
1 0 0 1 0 1 1 0 
0 1 0 1 0 0 1 0 
0 0 1 1 0 0 0 1 
0 1 0 1 1 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 1 0 0 1 1 
0 0 0 0 0 0 1 1 
0 1 0 0 1 0 1 1 
0 1 1 0 0 0 1 1 
0 1 1 0 0 0 0 1 
0 1 1 1 0 0 1 1 
0 1 0 1 0 1 0 0 
0 1 1 1 0 0 1 1 
1 1 0 0 1 0 1 1 
1 0 0 1 0 0 1 0 
0 1 0 0 0 0 0 1 
0 0 1 1 0 0 1 1 
0 1 0 0 1 0 0 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 0 0 1 
1 0 0 0 0 0 0 1 
0 1 0 1 1 0 1 1 
0 1 1 1 0 0 1 1 
0 0 1 1 0 0 1 1 
1 0 0 0 0 0 1 1 
0 1 0 1 0 1 1 1 
0 1 0 1 0 1 0 1 
0 0 0 0 0 0 0 1 
0 0 1 1 1 0 0 0 
0 1 0 1 0 1 1 1 
1 0 0 0 0 0 0 1 
0 0 0 1 0 1 1 1 
0 1 0 1 1 1 0 1 
1 1 0 0 0 0 0 1 
0 1 1 0 1 0 0 1 
0 0 1 1 0 0 1 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 0 
0 1 0 1 0 1 1 1 
0 1 0 1 1 1 1 1 
0 1 1 0 1 1 1 0 
0 1 1 1 0 0 1 1 
0 0 0 1 0 1 1 0 
0 1 1 1 0 0 1 0 
0 0 0 0 0 0 0 0 
0 1 1 0 0 0 1 1 
0 1 0 0 0 0 0 0 
0 1 0 0 1 0 0 1 
0 0 0 0 0 0 1 1 
0 0 0 1 1 1 1 1 
0 1 1 0 0 0 0 1 
1 0 0 0 1 0 1 1 
0 0 0 0 0 0 0 0 
0 1 0 1 0 1 0 0 
0 1 1 0 1 0 0 1 
0 1 1 1 0 0 1 1 
0 1 1 1 1 0 1 0 
1 1 0 0 0 0 1 0 
0 0 0 0 0 0 0 1 
1 0 0 0 0 0 1 1 
0 1 1 1 0 0 1 1 
0 0 0 1 0 0 0 0 
0 0 1 0 0 0 1 0 
0 1 1 0 1 0 1 1 
0 0 0 0 1 0 0 1 
1 1 0 1 1 0 1 1 
0 1 1 1 1 0 1 0 
0 1 0 1 1 1 1 1 
1 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
0 1 1 1 0 0 1 1 
0 1 0 0 1 0 1 1 
0 0 0 0 0 0 1 1 
1 1 0 0 0 0 1 0 
0 1 1 0 1 0 1 0 
0 1 1 0 0 0 1 1 
1 0 0 0 0 0 0 1 
0 1 0 1 0 1 0 1 
0 0 0 0 0 0 1 1 
0 1 0 1 1 0 1 1 
1 1 0 0 1 0 1 1 
0 0 0 1 0 0 1 1 
0 1 1 1 0 0 1 0 
0 1 1 1 0 0 1 1 
0 0 0 1 0 1 1 1 
0 0 0 0 0 0 0 0 
1 1 0 1 0 0 0 1 
0 0 0 1 0 1 0 1 
0 1 0 1 0 0 1 1 
1 1 0 0 0 0 1 1 
0 1 0 1 0 1 1 1 
1 0 0 1 0 1 0 1 
0 1 1 1 1 0 0 0 
0 1 0 1 0 1 0 1 
1 1 0 1 1 1 0 1 
0 1 0 1 1 1 1 1 
0 0 0 0 0 0 1 0 
0 0 0 0 0 0 0 1 
1 1 0 0 1 0 0 0 
0 1 0 0 1 0 1 1 
1 0 0 0 0 0 0 1 
0 0 0 1 0 0 1 0 
1 1 1 1 0 0 1 1 
0 1 1 1 1 0 1 1 
0 1 0 0 1 0 0 1 
0 0 0 0 1 0 0 1 
0 0 0 0 0 0 1 1 
0 1 0 0 0 0 0 0 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 1 1 
0 1 0 1 0 0 1 1 
0 1 0 0 0 0 1 1 
1 0 0 0 0 0 1 1 
1 1 0 0 0 0 0 0 
0 0 0 0 1 0 0 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 1 0 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 0 1 0 0 1 
0 0 0 0 0 0 1 0 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 1 0 
0 1 0 0 1 0 1 1 
1 0 0 1 0 0 1 0 
0 0 0 0 1 0 1 1 
0 0 1 0 1 1 1 1 
1 1 0 0 1 0 0 1 
0 1 0 0 0 0 0 0 
0 0 0 0 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 0 1 0 0 1 1 
0 0 1 0 1 0 1 1 
0 1 0 1 0 1 0 1 
0 1 0 1 0 1 1 1 
1 0 0 1 0 1 1 1 
0 0 0 0 0 0 1 1 
0 1 0 0 1 0 0 1 
0 1 1 1 0 0 1 0 
0 1 1 1 0 0 1 0 
0 0 1 1 0 0 0 1 
0 1 0 1 1 1 1 1 
0 0 1 0 0 0 1 1 
0 0 0 0 0 0 1 0 
0 1 0 1 0 0 1 1 
0 0 0 0 1 0 1 1 
0 1 0 0 1 0 1 1 
0 0 0 1 0 1 0 1 
0 0 1 1 1 0 0 1 
1 0 0 0 0 0 1 1 
0 0 1 0 0 0 1 1 
0 1 1 0 0 0 0 0 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 1 0 
0 0 0 1 0 0 0 0 
1 0 0 1 0 0 1 1 
0 0 0 1 1 0 0 0 
0 0 0 0 0 0 1 0 
0 0 0 1 1 1 1 1 
1 1 0 1 0 1 1 1 
0 0 0 0 0 0 1 1 
0 1 1 0 0 1 1 1 
0 0 0 0 0 0 1 0 
0 0 1 1 0 0 1 1 
0 1 1 1 1 0 1 0 
0 0 0 1 0 0 1 0 
0 0 0 0 1 0 1 1 
0 0 0 0 1 0 0 1 
1 1 0 1 0 0 0 0 
0 1 0 1 0 1 0 1 
0 0 1 0 1 0 1 0 
1 1 0 1 1 0 0 1 
0 0 1 1 1 0 1 0 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 1 0 
0 0 0 1 0 1 1 0 
0 1 1 0 0 1 0 1 
0 1 1 1 1 0 1 1 
0 1 0 0 0 0 1 0 
1 0 0 0 0 0 0 0 
1 0 0 1 0 0 0 1 
0 1 0 1 0 1 1 1 
1 0 0 1 0 1 0 0 
0 1 0 0 0 0 1 0 
0 0 0 1 0 0 1 1 
0 0 0 0 0 0 0 0 
0 0 1 1 1 0 1 0 
0 0 0 1 0 0 0 1 
0 0 0 0 0 0 1 0 
0 1 0 1 1 1 1 1 
0 1 0 1 0 1 1 1 
0 0 0 1 0 1 0 1 
0 0 0 1 0 1 1 1 
1 0 0 1 1 1 1 1 
0 1 1 1 1 0 1 0 
0 1 0 1 1 1 1 1 
0 1 1 0 1 1 1 0 
0 1 0 0 0 0 1 0 
0 0 1 0 0 0 1 1 
1 1 0 1 1 1 1 1 
0 1 1 0 0 0 1 1 
0 0 1 1 0 0 1 1 
0 0 1 0 0 1 0 0 
0 1 0 1 0 1 1 1 
0 1 1 1 0 0 0 1 
0 1 0 1 0 1 0 1 
0 0 1 1 1 0 0 1 
0 0 1 1 1 0 1 0 
1 0 0 0 0 0 1 0 
0 0 0 0 0 0 0 0 
0 0 0 1 0 1 1 0 
0 1 0 1 1 1 1 1 
0 0 1 0 0 1 1 1 
0 1 1 1 1 0 1 1 
0 1 0 1 1 1 1 1 
0 1 0 1 1 1 0 1 
0 0 1 1 0 0 0 1 
0 0 0 1 0 1 1 0 
0 0 0 0 0 0 1 1 
0 1 0 0 0 0 1 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 1 
0 1 0 1 1 1 1 1 
0 1 1 1 0 0 1 1 
1 1 0 1 0 1 0 1 
1 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 0 
0 0 0 1 0 1 1 1 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 1 0 
1 0 0 0 0 0 1 0 
0 0 0 0 0 0 1 0 
0 1 1 0 0 1 1 1 
0 0 1 0 0 1 0 1 
0 0 0 0 1 0 0 1 
1 1 0 1 0 1 0 1 
1 1 0 1 1 0 0 1 
0 0 1 0 1 0 0 1 
0 1 0 1 1 1 1 1 
0 1 0 1 1 0 1 1 
0 1 1 0 1 0 1 0 
0 0 0 0 1 0 1 1 
0 1 1 1 0 0 1 0 
0 1 0 1 1 1 0 1 
1 0 0 1 0 1 0 0 
0 1 0 1 0 0 0 1 
0 0 1 1 0 0 1 1 
0 0 1 1 0 0 0 1 
0 0 0 0 1 0 0 1 
0 1 1 1 0 0 1 1 
0 0 0 0 0 0 1 1 
0 0 0 0 0 0 0 0 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 1 0 
0 0 0 1 0 1 1 1 
1 0 0 0 0 0 1 1 
0 0 1 0 0 0 1 1 
0 1 0 1 0 1 1 0 
1 0 0 1 0 1 0 0 
1 0 0 0 1 0 1 1 
0 0 0 0 0 0 1 1 
1 0 0 1 0 0 0 1 
0 0 1 1 0 0 0 1 
1 1 1 0 0 0 0 1 
1 0 0 1 0 0 1 1 
0 0 1 1 0 0 1 0 
0 1 0 1 0 1 0 0 
1 0 0 0 1 0 1 0 
0 0 0 0 0 0 0 0 
0 1 1 1 1 0 0 0 
0 0 0 0 0 0 0 1 
0 1 0 0 1 0 0 1 
0 1 0 0 0 0 1 1 
0 0 1 1 1 0 1 0 
0 1 0 1 1 1 1 1 
0 0 0 0 0 0 1 0 
0 1 1 1 1 0 1 1 
1 1 0 1 1 1 0 1 
1 0 0 0 0 0 1 1 
0 1 0 0 0 0 0 1 
0 0 1 0 0 1 1 1 
0 1 1 1 0 0 0 1 
0 0 1 0 0 1 0 1 
0 0 0 0 1 1 1 1 
0 0 1 1 0 1 0 1 
1 1 0 0 1 0 1 1 
0 1 0 0 1 0 1 1 
0 1 1 1 0 0 0 1 
0 0 1 0 0 0 1 1 
0 1 0 0 0 0 1 1 
0 0 0 1 1 1 0 1 
0 1 0 1 0 1 0 1 
0 0 0 0 0 0 0 1 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 0 1 
0 1 0 1 0 0 1 1 
0 1 1 0 0 1 1 1 
0 1 1 0 1 0 1 0 
0 0 0 0 1 0 1 1 
1 1 0 1 0 0 1 1 
1 0 0 0 0 0 0 1 
0 0 0 0 0 1 0 0 
0 0 1 0 0 0 0 1 
0 0 0 1 0 1 1 1 
0 0 0 1 0 1 0 1 
0 0 1 0 0 1 1 1 
0 1 0 1 0 1 0 1 
0 1 0 0 1 0 1 1 
0 1 0 1 1 1 0 1 
0 0 0 1 1 0 0 1 
0 1 1 1 1 0 1 1 
0 1 0 1 0 1 1 0 
0 1 0 1 0 1 0 1 
1 0 0 1 1 0 1 1 
0 0 1 0 0 0 0 1 
0 0 0 1 0 0 0 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 0 1 
0 1 0 1 0 1 0 0 
1 0 0 0 0 0 1 1 
0 1 0 1 0 1 0 0 
0 0 0 1 0 0 1 1 
0 0 0 1 0 1 0 1 
0 1 0 0 0 0 1 1 
0 0 1 0 0 0 1 0 
0 0 1 0 1 1 1 1 
0 0 1 1 0 0 0 1 
0 1 0 1 0 1 1 1 
0 0 0 0 1 0 1 1 
0 0 0 1 1 1 1 1 
0 0 0 1 0 1 1 0 
0 1 1 1 1 0 1 1 
0 0 0 0 0 0 0 1 
0 0 0 1 0 0 0 1 
0 1 1 1 1 0 1 0 
0 1 0 1 0 0 0 1 
0 0 0 1 0 1 1 1 
0 0 0 1 0 1 1 0 
0 1 0 0 1 0 1 1 
0 0 0 1 0 0 1 1 
0 1 0 1 1 1 1 1 
0 1 0 1 1 1 1 1 
0 1 1 1 1 0 1 1 
0 0 0 0 0 0 0 0 
0 0 0 1 0 0 0 1 
0 0 1 1 0 0 0 1 
0 0 0 1 0 1 1 1 
0 0 1 0 0 0 1 0 
0 0 0 1 0 1 1 1 
0 0 0 1 1 1 0 1 
1 0 0 1 0 1 1 1 
0 0 0 1 0 1 0 1 
0 1 0 1 0 1 1 1 
0 1 0 1 0 1 1 1 
0 0 1 0 0 0 1 0 
0 0 0 1 1 0 0 1 
1 1 0 0 0 0 1 0 
0 0 1 0 0 1 1 1 
0 0 0 0 0 0 1 1 
1 0 0 1 0 1 1 1 
0 0 0 1 0 1 1 0 
0 0 0 0 0 0 0 1 
0 0 1 0 0 0 1 1 
0 0 1 1 1 0 1 1 
0 1 0 0 0 1 0 1 
0 0 0 0 0 0 1 0 
1 1 0 0 1 0 1 1 
1 0 0 1 0 1 0 1 
0 0 0 1 0 1 1 0 
0 0 0 0 0 0 0 1 
0 1 0 1 1 0 0 1 
0 0 0 0 0 0 1 1 
1 1 0 1 0 1 1 1 
1 0 0 0 0 0 1 0 
0 0 1 0 0 0 1 1 
0 1 1 1 0 0 1 1 
0 1 0 0 0 0 1 0 
1 0 0 1 0 0 0 0 
0 1 0 1 0 1 1 1 
0 0 0 0 0 1 0 0 
0 0 1 0 0 1 0 0 
1 0 0 0 0 1 1 1 
0 1 0 1 0 1 1 0 
0 1 0 1 1 1 1 1 
0 1 0 0 0 0 1 0 
0 0 0 0 0 0 1 0 
1 0 0 1 1 1 0 1 
0 1 0 1 1 0 1 1 
0 0 0 1 0 0 1 1 
0 1 0 0 0 0 0 0 
0 0 1 0 0 0 1 1 
0 0 0 1 0 1 1 1 
0 1 0 0 0 0 1 0 
0 1 0 1 0 1 1 1 
1 1 0 0 1 0 1 1 
1 0 0 1 0 0 1 0 
1 0 0 1 0 0 1 1 
0 1 1 0 0 0 1 1 
0 1 1 1 1 0 0 0 
0 0 1 1 0 0 0 0 
0 1 0 0 0 0 0 0 
0 1 1 1 0 0 0 1 
0 0 0 0 0 0 1 1 
0 1 0 1 1 1 0 1 
0 0 0 0 0 0 1 1 
1 0 0 0 1 0 0 1 
0 1 0 1 0 1 1 0 
0 1 0 0 0 0 0 0 
0 0 0 1 0 1 0 1 
0 1 1 1 0 0 1 1 
0 0 0 1 0 1 1 1 
0 1 1 1 0 0 0 1 
0 1 1 0 1 0 1 0 
0 0 0 0 0 0 1 1 
0 1 1 0 1 1 0 0 
0 0 0 1 0 1 1 1 
0 1 0 1 0 0 0 0 
0 0 0 0 0 0 1 1 
0 0 0 1 0 1 0 1 
0 1 0 0 0 0 1 0 
1 0 0 0 1 0 0 1 
0 0 1 1 0 0 0 0 
0 0 0 0 0 0 0 1 
0 0 1 1 0 0 0 1 
0 0 1 0 0 0 1 1 
0 1 0 1 0 1 1 1 
0 0 0 0 0 0 0 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 0 1 1 
0 0 0 1 0 1 1 1 
1 0 0 0 0 1 1 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 1 1 
0 1 1 1 1 0 1 1 
0 0 0 1 0 1 0 1 
0 0 0 1 0 1 1 1 
0 0 0 0 1 0 1 1 
0 0 0 1 0 1 0 0 
1 1 0 1 0 0 1 1 
0 0 0 1 0 1 1 0 
0 1 0 1 0 1 0 1 
1 1 0 0 0 0 1 1 
0 1 0 0 0 1 1 0 
0 0 1 1 0 0 1 1 
0 0 0 0 0 0 1 1 
1 0 0 1 0 1 1 1 
0 0 0 0 1 0 1 1 
0 0 1 1 0 0 1 1 
0 1 0 1 0 1 0 1 
0 0 1 1 1 0 1 0 
0 0 1 0 0 0 1 0 
0 0 0 1 0 1 1 1 
0 1 0 1 1 1 0 1 
0 0 0 0 0 0 0 1 
0 0 0 0 0 0 1 1 
1 0 0 1 1 1 1 1 
0 0 0 0 1 0 0 1 
0 1 0 1 1 1 1 1 
1 1 0 1 0 0 1 1 
1 0 0 1 0 0 1 0 
0 0 0 0 0 0 1 0 
0 0 0 0 0 1 1 0 
0 1 1 1 0 0 1 0 
0 0 0 0 0 0 1 0 
0 0 0 0 0 0 0 1 
0 1 1 0 0 0 0 0 
1 0 0 0 0 0 0 1 
1 1 0 1 0 1 0 0 
0 1 0 1 1 0 1 1 
0 0 0 1 0 1 0 1 
0 0 1 1 0 0 1 1 
1 0 0 1 0 1 1 1 
0 1 0 1 0 0 1 1 
0 0 1 0 0 0 1 1 
1 1 0 1 0 1 1 1 
1 1 0 1 1 1 0 1 
0 1 0 0 1 0 0 1 
0 0 0 1 0 0 1 1 
0 0 0 1 0 1 1 0