Modified linear inequalities for the expected valuations of relevant Cross functions for the lines E5, F35, G3 and the cones aa2a4, aa4, a2a4 and a4 (Z represents g0 for E5 and G3, and g1 for F35): (5, 'a4', G3) 0 <= -Yoshida11 + Yoshida12 - Yoshida15 - 2*Yoshida16 - 3*Yoshida17 + Yoshida20 + Yoshida21 + 3*Yoshida22 + Yoshida24 - Yoshida25 - Yoshida27 + Yoshida28 + 2*Yoshida29 + 2*Yoshida3 - Yoshida30 + 4*Yoshida32 - Yoshida33 + Yoshida36 - Yoshida37 - Yoshida39 - Yoshida4 - 3*Yoshida6 - 3*Yoshida7 + Yoshida8 + 2*Yoshida9 + z (1, 'aa2a4', F35) 0 <= -Yoshida0 + Yoshida1 + Yoshida10 + Yoshida14 - Yoshida15 - Yoshida17 - 1/3*Yoshida18 - Yoshida19 + 7/3*Yoshida20 - 5/3*Yoshida21 + 8/3*Yoshida22 + 2*Yoshida24 - Yoshida25 - 2/3*Yoshida26 + 1/3*Yoshida27 + 3*Yoshida28 - Yoshida3 - 7/3*Yoshida30 + 2*Yoshida34 - Yoshida36 - Yoshida38 - Yoshida39 + Yoshida4 - 4/3*Yoshida5 - Yoshida7 + z (1, 'a2a4', E5) 0 <= 2*Yoshida1 - Yoshida10 + Yoshida14 + Yoshida15 + Yoshida16 - 4*Yoshida17 + 2/3*Yoshida18 + 2*Yoshida2 + 7/3*Yoshida20 - 5/3*Yoshida21 + 2/3*Yoshida22 + Yoshida24 - Yoshida25 + 1/3*Yoshida26 + 1/3*Yoshida27 + Yoshida28 - Yoshida29 + Yoshida3 - 13/3*Yoshida30 - 2*Yoshida34 + Yoshida36 - Yoshida38 + Yoshida39 - 2*Yoshida4 + 2/3*Yoshida5 + Yoshida6 + z (1, 'aa4', F35) 0 <= -Yoshida0 + Yoshida1 + Yoshida10 + Yoshida14 - Yoshida15 - Yoshida17 - 1/3*Yoshida18 - Yoshida19 + 7/3*Yoshida20 - 5/3*Yoshida21 + 8/3*Yoshida22 + 2*Yoshida24 - Yoshida25 - 2/3*Yoshida26 + 1/3*Yoshida27 + 3*Yoshida28 - Yoshida3 - 7/3*Yoshida30 + 2*Yoshida34 - Yoshida36 - Yoshida38 - Yoshida39 + Yoshida4 - 4/3*Yoshida5 - Yoshida7 + z (1, 'a4', F35) 0 <= -Yoshida0 + Yoshida1 + Yoshida10 + Yoshida14 - Yoshida15 - Yoshida17 - 1/3*Yoshida18 - Yoshida19 + 7/3*Yoshida20 - 5/3*Yoshida21 + 8/3*Yoshida22 + 2*Yoshida24 - Yoshida25 - 2/3*Yoshida26 + 1/3*Yoshida27 + 3*Yoshida28 - Yoshida3 - 7/3*Yoshida30 + 2*Yoshida34 - Yoshida36 - Yoshida38 - Yoshida39 + Yoshida4 - 4/3*Yoshida5 - Yoshida7 + z (3, 'aa2a4', G3) 0 <= -Yoshida11 + Yoshida12 - Yoshida15 - 2*Yoshida16 - 3*Yoshida17 + Yoshida20 + Yoshida21 + 3*Yoshida22 + Yoshida24 - Yoshida25 - Yoshida27 + Yoshida28 + 2*Yoshida29 + 2*Yoshida3 - Yoshida30 + 4*Yoshida32 - Yoshida33 + Yoshida36 - Yoshida37 - Yoshida39 - Yoshida4 - 3*Yoshida6 - 3*Yoshida7 + Yoshida8 + 2*Yoshida9 + z (3, 'aa4', G3) 0 <= -Yoshida11 + Yoshida12 - Yoshida15 - 2*Yoshida16 - 3*Yoshida17 + Yoshida20 + Yoshida21 + 3*Yoshida22 + Yoshida24 - Yoshida25 - Yoshida27 + Yoshida28 + 2*Yoshida29 + 2*Yoshida3 - Yoshida30 + 4*Yoshida32 - Yoshida33 + Yoshida36 - Yoshida37 - Yoshida39 - Yoshida4 - 3*Yoshida6 - 3*Yoshida7 + Yoshida8 + 2*Yoshida9 + z (1, 'a4', E5) 0 <= 2*Yoshida1 - Yoshida10 + Yoshida14 + Yoshida15 + Yoshida16 - 4*Yoshida17 + 2/3*Yoshida18 + 2*Yoshida2 + 7/3*Yoshida20 - 5/3*Yoshida21 + 2/3*Yoshida22 + Yoshida24 - Yoshida25 + 1/3*Yoshida26 + 1/3*Yoshida27 + Yoshida28 - Yoshida29 + Yoshida3 - 13/3*Yoshida30 - 2*Yoshida34 + Yoshida36 - Yoshida38 + Yoshida39 - 2*Yoshida4 + 2/3*Yoshida5 + Yoshida6 + z (1, 'aa4', E5) 0 <= 2*Yoshida1 - Yoshida10 + Yoshida14 + Yoshida15 + Yoshida16 - 4*Yoshida17 + 2/3*Yoshida18 + 2*Yoshida2 + 7/3*Yoshida20 - 5/3*Yoshida21 + 2/3*Yoshida22 + Yoshida24 - Yoshida25 + 1/3*Yoshida26 + 1/3*Yoshida27 + Yoshida28 - Yoshida29 + Yoshida3 - 13/3*Yoshida30 - 2*Yoshida34 + Yoshida36 - Yoshida38 + Yoshida39 - 2*Yoshida4 + 2/3*Yoshida5 + Yoshida6 + z (1, 'a2a4', F35) 0 <= -Yoshida0 + Yoshida1 + Yoshida10 + Yoshida14 - Yoshida15 - Yoshida17 - 1/3*Yoshida18 - Yoshida19 + 7/3*Yoshida20 - 5/3*Yoshida21 + 8/3*Yoshida22 + 2*Yoshida24 - Yoshida25 - 2/3*Yoshida26 + 1/3*Yoshida27 + 3*Yoshida28 - Yoshida3 - 7/3*Yoshida30 + 2*Yoshida34 - Yoshida36 - Yoshida38 - Yoshida39 + Yoshida4 - 4/3*Yoshida5 - Yoshida7 + z (5, 'a2a4', G3) 0 <= -Yoshida11 + Yoshida12 - Yoshida15 - 2*Yoshida16 - 3*Yoshida17 + Yoshida20 + Yoshida21 + 3*Yoshida22 + Yoshida24 - Yoshida25 - Yoshida27 + Yoshida28 + 2*Yoshida29 + 2*Yoshida3 - Yoshida30 + 4*Yoshida32 - Yoshida33 + Yoshida36 - Yoshida37 - Yoshida39 - Yoshida4 - 3*Yoshida6 - 3*Yoshida7 + Yoshida8 + 2*Yoshida9 + z (1, 'aa2a4', E5) 0 <= 2*Yoshida1 - Yoshida10 + Yoshida14 + Yoshida15 + Yoshida16 - 4*Yoshida17 + 2/3*Yoshida18 + 2*Yoshida2 + 7/3*Yoshida20 - 5/3*Yoshida21 + 2/3*Yoshida22 + Yoshida24 - Yoshida25 + 1/3*Yoshida26 + 1/3*Yoshida27 + Yoshida28 - Yoshida29 + Yoshida3 - 13/3*Yoshida30 - 2*Yoshida34 + Yoshida36 - Yoshida38 + Yoshida39 - 2*Yoshida4 + 2/3*Yoshida5 + Yoshida6 + z