InitNim := [[[[1+a[1], a[1]]]], [[[1, 2*a[2], 2*a[2]+1], [1, 2*a[2]+1, 2*a[2]]], [[2, 2*a[2], 2*a[2
]+2], [2, 1, 0], [2, 2*a[2]+3, 2*a[2]+3]], [[3, 2*a[2], 2*a[2]+4], [3, 1, 0], [3, 2*a[2]+3, 2*a[2]+
3]], [[4, 2*a[2], 2*a[2]+5], [4, 1, 0], [4, 3, 3], [4, 2*a[2]+5, 2*a[2]+6]], [[5, 2*a[2], 2*a[2]+7]
, [5, 1, 0], [5, 3, 3], [5, 2*a[2]+5, 2*a[2]+6]]], [[[1, 0, 4*a[3], 4*a[3]+2], [1, 0, 1+4*a[3], 4*a
[3]+3], [1, 0, 4*a[3]+2, 4*a[3]], [1, 0, 4*a[3]+3, 1+4*a[3]], [1, 1, 0, 0], [1, 1, 1, 1], [1, 1, 2
, 5], [1, 1, 3, 7], [1, 1, 4, 3], [1, 1, 5, 8], [1, 1, 6, 4], [1, 1, 7, 6], [1, 1, 8+4*a[3], 4*a[3]
+12], [1, 1, 4*a[3]+9, 11+4*a[3]], [1, 1, 10+4*a[3], 10+4*a[3]], [1, 1, 11+4*a[3], 4*a[3]+9], [1, 2
, 0, 3], [1, 2, 1+2*a[3], 2*a[3]+4], [1, 2, 2, 1], [1, 2, 2*a[3]+4, 2*a[3]+5], [1, 3, 12*a[3], 12*a
[3]+6], [1, 3, 1, 5], [1, 3, 2, 1], [1, 3, 3, 7], [1, 3, 4, 10], [1, 3, 5, 4], [1, 3, 6, 8], [1, 3
, 7+12*a[3], 12*a[3]+12], [1, 3, 8+12*a[3], 14+12*a[3]], [1, 3, 4*a[3]+9, 4*a[3]+13], [1, 3, 10, 9]
, [1, 3, 11+12*a[3], 11+12*a[3]], [1, 3, 14+12*a[3], 15+12*a[3]], [1, 3, 15+12*a[3], 12*a[3]+20], [
1, 3, 16+6*a[3], 16+6*a[3]], [1, 3, 18+12*a[3], 19+12*a[3]], [1, 4, 0, 8], [1, 4, 1, 4], [1, 4, 2, 
1], [1, 4, 3, 9], [1, 4, 4, 5], [1, 4, 5, 7], [1, 4, 6, 14], [1, 4, 7+12*a[3], 12*a[3]+13], [1, 4, 
8+24*a[3], 10+24*a[3]], [1, 4, 9+12*a[3], 11+12*a[3]], [1, 4, 10+24*a[3], 24*a[3]+16], [1, 4, 11+12
*a[3], 12*a[3]+17], [1, 4, 12, 12], [1, 4, 12*a[3]+13, 12*a[3]+21], [1, 4, 14+24*a[3], 24*a[3]+15]
, [1, 4, 24*a[3]+15, 24*a[3]+22], [1, 4, 24*a[3]+16, 24*a[3]+18], [1, 4, 12*a[3]+17, 12*a[3]+20], [
1, 4, 18+12*a[3], 19+12*a[3]], [1, 4, 20+24*a[3], 28+24*a[3]], [1, 4, 24*a[3]+22, 24*a[3]+30], [1, 
4, 24+24*a[3], 24+24*a[3]], [1, 4, 26+24*a[3], 26+24*a[3]], [1, 4, 27+24*a[3], 27+24*a[3]], [1, 4, 
28+24*a[3], 24*a[3]+36], [1, 4, 24*a[3]+36, 24*a[3]+38]], [[2, 0, 0, 4], [2, 0, 1, 3], [2, 0, 2, 0]
, [2, 0, 3, 1], [2, 0, 4, 8], [2, 0, 5, 7], [2, 0, 6, 6], [2, 0, 7, 5], [2, 0, 8+12*a[3], 12*a[3]+
13], [2, 0, 9+12*a[3], 12*a[3]+12], [2, 0, 12*a[3]+10, 14+12*a[3]], [2, 0, 11+12*a[3], 12*a[3]+10]
, [2, 0, 12*a[3]+12, 9+12*a[3]], [2, 0, 12*a[3]+13, 11+12*a[3]], [2, 0, 14+12*a[3], 12*a[3]+17], [2
, 0, 15+12*a[3], 19+12*a[3]], [2, 0, 12*a[3]+16, 15+12*a[3]], [2, 0, 12*a[3]+17, 12*a[3]+20], [2, 0
, 18+12*a[3], 12*a[3]+16], [2, 0, 19+12*a[3], 18+12*a[3]], [2, 1, 0, 1], [2, 1, 1, 5], [2, 1, 2, 0]
, [2, 1, 3, 9], [2, 1, 4, 3], [2, 1, 5, 10], [2, 1, 6, 6], [2, 1, 4*a[3]+7, 8+4*a[3]], [2, 1, 8, 7]
, [2, 1, 9, 13], [2, 1, 10, 15], [2, 1, 12, 17], [2, 1, 13, 11], [2, 1, 14, 14], [2, 1, 16+2*a[3], 
2*a[3]+19], [2, 1, 17+4*a[3], 4*a[3]+18], [2, 2, 0, 7], [2, 2, 1, 3], [2, 2, 2, 0], [2, 2, 3, 5], [
2, 2, 4, 8], [2, 2, 5, 9], [2, 2, 6, 6], [2, 2, 7, 11], [2, 2, 8, 10], [2, 2, 9, 16], [2, 2, 10, 14
], [2, 2, 11+2*a[3], 2*a[3]+13], [2, 2, 12, 12], [2, 2, 14+2*a[3], 2*a[3]+18], [2, 3, 0, 5], [2, 3
, 1, 3], [2, 3, 2, 0], [2, 3, 3, 11], [2, 3, 4, 12], [2, 3, 5, 10], [2, 3, 12*a[3]+6, 12*a[3]+6], [
2, 3, 7+12*a[3], 15+12*a[3]], [2, 3, 8+24*a[3], 8+24*a[3]], [2, 3, 9+12*a[3], 12*a[3]+16], [2, 3, 
10+24*a[3], 24*a[3]+9], [2, 3, 11, 14], [2, 3, 12, 13], [2, 3, 13, 20], [2, 3, 14, 22], [2, 3, 24*a
[3]+15, 24*a[3]+21], [2, 3, 24*a[3]+16, 24*a[3]+17], [2, 3, 24*a[3]+17, 24*a[3]+19], [2, 3, 20+24*a
[3], 24*a[3]+29], [2, 3, 24*a[3]+22, 24*a[3]+31], [2, 3, 23+12*a[3], 23+12*a[3]], [2, 3, 24+24*a[3]
, 24*a[3]+25], [2, 3, 24*a[3]+25, 24+24*a[3]], [2, 3, 26+24*a[3], 24*a[3]+34], [2, 3, 27+24*a[3], 
26+24*a[3]], [2, 3, 28+24*a[3], 24*a[3]+37], [2, 3, 24*a[3]+29, 24*a[3]+36], [2, 3, 24*a[3]+36, 24*
a[3]+44], [2, 3, 24*a[3]+37, 24*a[3]+46], [2, 3, 24*a[3]+38, 24*a[3]+38]], [[3, 0, 0, 5], [3, 0, 1
, 6], [3, 0, 2, 3], [3, 0, 3, 0], [3, 0, 4, 1], [3, 0, 5, 9], [3, 0, 6, 11], [3, 0, 7, 12], [3, 0, 
8, 13], [3, 0, 9, 7], [3, 0, 10, 8], [3, 0, 11, 10], [3, 0, 12, 15], [3, 0, 13, 14], [3, 0, 14, 17]
, [3, 0, 15, 20], [3, 0, 16+6*a[3], 6*a[3]+21], [3, 0, 17+6*a[3], 6*a[3]+22], [3, 0, 18, 16], [3, 0
, 19, 18], [3, 0, 20, 19], [3, 0, 21, 25], [3, 0, 24+6*a[3], 6*a[3]+29], [3, 0, 25, 23], [3, 0, 26
, 24], [3, 0, 27+6*a[3], 6*a[3]+26], [3, 0, 6*a[3]+31, 30+6*a[3]], [3, 0, 32+6*a[3], 6*a[3]+31], [3
, 1, 0, 8], [3, 1, 1, 7], [3, 1, 2, 3], [3, 1, 3, 0], [3, 1, 4, 1], [3, 1, 5, 12], [3, 1, 6, 10], [
3, 1, 7, 6], [3, 1, 8, 15], [3, 1, 9+12*a[3], 9+12*a[3]], [3, 1, 10, 11], [3, 1, 11, 16], [3, 1, 12
, 19], [3, 1, 13, 13], [3, 1, 14, 14], [3, 1, 15, 22], [3, 1, 16, 18], [3, 1, 17, 17], [3, 1, 18, 
20], [3, 1, 19, 23], [3, 1, 20, 27], [3, 1, 22, 24], [3, 1, 23, 28], [3, 1, 24+4*a[3], 4*a[3]+26], 
[3, 1, 25, 25], [3, 1, 26, 32], [3, 1, 27+4*a[3], 4*a[3]+31], [3, 1, 29, 29], [3, 1, 30+12*a[3], 12
*a[3]+36], [3, 1, 34+12*a[3], 12*a[3]+41], [3, 1, 37+12*a[3], 12*a[3]+44], [3, 1, 38+12*a[3], 37+12
*a[3]], [3, 1, 12*a[3]+41, 12*a[3]+40], [3, 2, 0, 0], [3, 2, 1, 1], [3, 2, 2, 3], [3, 2, 3, 10], [3
, 2, 4, 6], [3, 2, 5, 14], [3, 2, 6, 7], [3, 2, 7+8*a[3], 8*a[3]+12], [3, 2, 8, 11], [3, 2, 9, 17]
, [3, 2, 12*a[3]+10, 12*a[3]+13], [3, 2, 11, 9], [3, 2, 12, 15], [3, 2, 13, 16], [3, 2, 14, 19], [3
, 2, 16, 21], [3, 2, 17, 22], [3, 2, 18, 26], [3, 2, 19, 18], [3, 2, 20+4*a[3], 23+4*a[3]], [3, 2, 
21, 29], [3, 2, 26, 24], [3, 2, 30+12*a[3], 33+12*a[3]], [3, 2, 38+12*a[3], 12*a[3]+41]]], [[[1, 0
, 0, 4*a[4], 4*a[4]+3], [1, 0, 0, 1+4*a[4], 4*a[4]+2], [1, 0, 0, 4*a[4]+2, 1+4*a[4]], [1, 0, 0, 4*a
[4]+3, 4*a[4]], [1, 0, 1, 0, 4], [1, 0, 1, 1, 5], [1, 0, 1, 2, 1], [1, 0, 1, 3, 0], [1, 0, 1, 4, 2]
, [1, 0, 1, 5, 7], [1, 0, 1, 6, 6], [1, 0, 1, 7, 9], [1, 0, 1, 8, 8], [1, 0, 1, 9+4*a[4], 4*a[4]+12
], [1, 0, 1, 10+4*a[4], 4*a[4]+13], [1, 0, 1, 11+4*a[4], 10+4*a[4]], [1, 0, 1, 4*a[4]+12, 11+4*a[4]
], [1, 0, 2, 0, 0], [1, 0, 2, 1, 2], [1, 0, 2, 2, 5], [1, 0, 2, 3, 1], [1, 0, 2, 4, 9], [1, 0, 2, 5
+4*a[4], 10+4*a[4]], [1, 0, 2, 6, 6], [1, 0, 2, 7, 11], [1, 0, 2, 8, 7], [1, 0, 2, 10, 8], [1, 0, 2
, 11+4*a[4], 4*a[4]+12], [1, 0, 2, 4*a[4]+12, 4*a[4]+15], [1, 0, 2, 14+4*a[4], 4*a[4]+13], [1, 1, 0
, 0, 0], [1, 1, 0, 1, 4], [1, 1, 0, 2, 2], [1, 1, 0, 3, 5], [1, 1, 0, 4, 1], [1, 1, 0, 5, 8], [1, 1
, 0, 6, 9], [1, 1, 0, 7, 6], [1, 1, 0, 8, 7], [1, 1, 0, 9+2*a[4], 2*a[4]+11], [1, 1, 0, 10+2*a[4], 
10+2*a[4]], [1, 1, 1, 0, 5], [1, 1, 1, 1, 1], [1, 1, 1, 2+8*a[4], 2+8*a[4]], [1, 1, 1, 3, 4], [1, 1
, 1, 4, 7], [1, 1, 1, 5, 6], [1, 1, 1, 6, 9], [1, 1, 1, 7, 12], [1, 1, 1, 8, 8], [1, 1, 1, 9, 15], 
[1, 1, 1, 11, 16], [1, 1, 1, 12, 11], [1, 1, 1, 13, 17], [1, 1, 1, 14, 20], [1, 1, 1, 15+12*a[4], 
12*a[4]+13], [1, 1, 1, 16, 14], [1, 1, 1, 17, 21], [1, 1, 1, 19+12*a[4], 12*a[4]+23], [1, 1, 1, 20+
12*a[4], 19+12*a[4]], [1, 1, 1, 21+4*a[4], 4*a[4]+24], [1, 1, 1, 22+8*a[4], 22+8*a[4]], [1, 1, 1, 
12*a[4]+23, 12*a[4]+27], [1, 1, 1, 24+12*a[4], 12*a[4]+29], [1, 1, 1, 28+12*a[4], 12*a[4]+33]]]]: