SV_1==SV_2 && SV_2==SV_3 => [SV_1==SV_3]
SV_1==SV_2 && SV_2!=SV_3 => [SV_1!=SV_3]
SV_1==SV_2 && SV_2>SV_3 => [SV_3<SV_1]
SV_1==SV_2 && SV_2>=SV_3 => [SV_1>=SV_3]
SV_1==SV_2 && SV_2<SV_3 => [SV_1<SV_3]
SV_1==SV_2 && SV_2<=SV_3 => [SV_3>=SV_1]
SV_1==SV_2 && SV_2.EQ.SV_3 => [SV_1.EQ.SV_3]
SV_1==SV_2 && SV_2.NE.SV_3 => [SV_1.NE.SV_3]
SV_1!=SV_2 && SV_2==SV_3 => [SV_1!=SV_3]
SV_1!=SV_2 && SV_2!=SV_3 => []
SV_1!=SV_2 && SV_2>SV_3 => []
SV_1!=SV_2 && SV_2>=SV_3 => []
SV_1!=SV_2 && SV_2<SV_3 => []
SV_1!=SV_2 && SV_2<=SV_3 => []
SV_1!=SV_2 && SV_2.EQ.SV_3 => [SV_1!=SV_3]
SV_1!=SV_2 && SV_2.NE.SV_3 => []
SV_1>SV_2 && SV_2==SV_3 => [SV_3<SV_1]
SV_1>SV_2 && SV_2!=SV_3 => []
SV_1>SV_2 && SV_2>SV_3 => [SV_3<SV_1]
SV_1>SV_2 && SV_2>=SV_3 => [SV_3<SV_1]
SV_1>SV_2 && SV_2<SV_3 => []
SV_1>SV_2 && SV_2<=SV_3 => []
SV_1>SV_2 && SV_2.EQ.SV_3 => [SV_3<SV_1]
SV_1>SV_2 && SV_2.NE.SV_3 => []
SV_1>=SV_2 && SV_2==SV_3 => [SV_1>=SV_3]
SV_1>=SV_2 && SV_2!=SV_3 => []
SV_1>=SV_2 && SV_2>SV_3 => [SV_3<SV_1]
SV_1>=SV_2 && SV_2>=SV_3 => [SV_1>=SV_3]
SV_1>=SV_2 && SV_2<SV_3 => []
SV_1>=SV_2 && SV_2<=SV_3 => []
SV_1>=SV_2 && SV_2.EQ.SV_3 => [SV_1>=SV_3]
SV_1>=SV_2 && SV_2.NE.SV_3 => []
SV_1<SV_2 && SV_2==SV_3 => [SV_1<SV_3]
SV_1<SV_2 && SV_2!=SV_3 => []
SV_1<SV_2 && SV_2>SV_3 => []
SV_1<SV_2 && SV_2>=SV_3 => []
SV_1<SV_2 && SV_2<SV_3 => [SV_1<SV_3]
SV_1<SV_2 && SV_2<=SV_3 => [SV_1<SV_3]
SV_1<SV_2 && SV_2.EQ.SV_3 => [SV_1<SV_3]
SV_1<SV_2 && SV_2.NE.SV_3 => []
SV_1<=SV_2 && SV_2==SV_3 => [SV_3>=SV_1]
SV_1<=SV_2 && SV_2!=SV_3 => []
SV_1<=SV_2 && SV_2>SV_3 => []
SV_1<=SV_2 && SV_2>=SV_3 => []
SV_1<=SV_2 && SV_2<SV_3 => [SV_1<SV_3]
SV_1<=SV_2 && SV_2<=SV_3 => [SV_3>=SV_1]
SV_1<=SV_2 && SV_2.EQ.SV_3 => [SV_3>=SV_1]
SV_1<=SV_2 && SV_2.NE.SV_3 => []
SV_1.EQ.SV_2 && SV_2==SV_3 => [SV_1.EQ.SV_3]
SV_1.EQ.SV_2 && SV_2!=SV_3 => [SV_1!=SV_3]
SV_1.EQ.SV_2 && SV_2>SV_3 => [SV_3<SV_1]
SV_1.EQ.SV_2 && SV_2>=SV_3 => [SV_1>=SV_3]
SV_1.EQ.SV_2 && SV_2<SV_3 => [SV_1<SV_3]
SV_1.EQ.SV_2 && SV_2<=SV_3 => [SV_3>=SV_1]
SV_1.EQ.SV_2 && SV_2.EQ.SV_3 => [SV_1.EQ.SV_3]
SV_1.EQ.SV_2 && SV_2.NE.SV_3 => [SV_1.NE.SV_3]
SV_1.NE.SV_2 && SV_2==SV_3 => [SV_1.NE.SV_3]
SV_1.NE.SV_2 && SV_2!=SV_3 => []
SV_1.NE.SV_2 && SV_2>SV_3 => []
SV_1.NE.SV_2 && SV_2>=SV_3 => []
SV_1.NE.SV_2 && SV_2<SV_3 => []
SV_1.NE.SV_2 && SV_2<=SV_3 => []
SV_1.NE.SV_2 && SV_2.EQ.SV_3 => [SV_1.NE.SV_3]
SV_1.NE.SV_2 && SV_2.NE.SV_3 => []
