“…A 5 : Φ(v 6 ,{m6 6 }) → ( [5,3], [13,29],{x 9 ,m13 7 ,m14 8 }) | Φ(v 6 ,{m16 6 }) → ( [5,3], [13,29],{x 10 ,m15 5 ,m14 8 } A 6 :Φ(v 7 ,{m11 7 }) → ( [9,5], [23,50],{x 11 ,m16 6 }) | Φ(v 7 ,{m13 7 }) → ( [9,5], [23,50],{x 12 [5,3], [12,30],{m28 5 …”