80 lines
889 B
Plaintext
80 lines
889 B
Plaintext
w=i0
|
|
x=1
|
|
y=i0+2
|
|
z=i0+2
|
|
|
|
w=i1
|
|
x=1
|
|
y=i1+16
|
|
z=26*(i0+2)+i1+16
|
|
|
|
w=i2
|
|
x=1
|
|
y=i2+9
|
|
z=26*(26*(i0+2)+i1+16)+i2+9
|
|
|
|
w=i3
|
|
x=1
|
|
y=i3
|
|
z=26*(26*(26*(i0+2)+i1+16)+i2+9)+i3
|
|
|
|
w=i4
|
|
x=0
|
|
y=0
|
|
z=26*(26*(i0+2)+i1+16)+i2+9
|
|
[i4==i3-8]
|
|
|
|
w=i5
|
|
x=1
|
|
y=i5+12
|
|
z=26*(26*(26*(i0+2)+i1+16)+i2+9)+i5+12
|
|
[i4==i3-8]
|
|
|
|
w=i6
|
|
x=0
|
|
y=0
|
|
z=26*(26*(i0+2)+i1+16)+i2+9
|
|
[i4==i3-8][i6==i5-4]
|
|
|
|
w=i7
|
|
x=0
|
|
y=0
|
|
z=26*(i0+2)+i1+16
|
|
[i4==i3-8][i6==i5-4][i7==i2+5]
|
|
|
|
w=i8
|
|
x=1
|
|
y=i8+3
|
|
z=26*(26*(i0+2)+i1+16)+i8+3
|
|
[i4==i3-8][i6==i5-4][i7==i2+5]
|
|
|
|
w=i9
|
|
x=0
|
|
y=0
|
|
z=26*(i0+2)+i1+16
|
|
[i4==i3-8][i6==i5-4][i7==i2+5][i9=i8]
|
|
|
|
w=i10
|
|
x=1
|
|
y=i10+9
|
|
z=26*(26*(i0+2)+i1+16)+i10+9
|
|
[i4==i3-8][i6==i5-4][i7==i2+5][i9=i8]
|
|
|
|
w=i11
|
|
x=0
|
|
y=0
|
|
z=26*(i0+2)+i1+16
|
|
[i4==i3-8][i6==i5-4][i7==i2+5][i9=i8][i11=i10+2]
|
|
|
|
w=i12
|
|
x=0
|
|
y=0
|
|
z=i0+2
|
|
[i4==i3-8][i6==i5-4][i7==i2+5][i9=i8][i11=i10+2][i12=i1+1]
|
|
|
|
w=i13
|
|
x=0
|
|
y=0
|
|
z=0
|
|
[i4==i3-8][i6==i5-4][i7==i2+5][i9==i8][i11==i10+2][i12==i1+1][i13==i0-5]
|