equal4.pb 64 Bytes
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1 2
1 y1 1 y2 2 y3 2 y4 3 y5 <= 6 ;
1 y1 1 y2 2 y3 2 y4 3 y5 >= 4 ;