Unleash the power of reverse pass to center per Helen Mironchick's "The Mapping method with a reverse calculation" - Computer Science at School №10 ( supposedly ) 2019

This post has been done in relation with previous one. It is kind of vs "Algebra of Logic from Informatik BU" https://www.youtube.com/watch?v=zeWrJbWEfmg (2hr. 17 min ) and demonstrates that bit-mask's BU approach is pretty much limited

See also 
"Chaining order && reverse pass to center per Helen Mironchick's "The Mapping method with a reverse calculation"
https://informatics-ege.blogspot.com/2019/11/chaining-order-reverse-pass-to-center.html

Original system

((((x1 =>x2) =>x3) =>x4) =>x5) =>x6=1
((((y1 =>y2) =>y3) =>y4) =>y5) =>y6=1
((((z1 =>z2) =>z3) =>z4) =>z5) =>z6=1
(x3 =>y4)=>z5=1

#1 x1
#2 (x1=>x2)
#3 (x1=>x2) => x3
#4 ((x1=>x2) => x3) =>x4
#5 (((x1=>x2) => x3) =>x4) =>x5

    Passing Polyakov's Control