E1()
L1(X[0])
C1(X[1])
C2(X[2])
F1()
L2(X[3])
(L1(X[0])-L2(X[3]))
(L1(X[0])-L2(X[3]))
R1(0,(L1(X[0])-L2(X[3])))
(E1()-C1(X[1])-R1(0,(L1(X[0])-L2(X[3]))))
(L2(X[3])-F1())
(L2(X[3])-F1())
R2(0,(L2(X[3])-F1()))
(R1(0,(L1(X[0])-L2(X[3])))+C1(X[1])-C2(X[2])-R2(0,(L2(X[3])-F1())))
(R2(0,(L2(X[3])-F1()))+C2(X[2]))
