mipygre lujvo

p1=m1=m2 sneaks through p2 from p3 to p4, hidden from m3