1qdefok3raqdefok3raqdefok4raqdefok2raqdefok1raqdefok3raqdefok2raqdefok4raqdefok2raqdefok2raqdefok1raqdefok1raqdefok4raqdefok2raqdefok4raqdefok2raqdefok2raqdefok1raqdefok4raqdefok2raqdefok4raqdefok4raqdefok1raqdefok3raqdefok3raqdefok3raqdefok3raqdefok1raqdefok3raqdefok1raqdefok2raqdefok3raqdefok2raqdefok4raqdefok3raqdefok4raqdefok3raqdefok2raqdefok4raqdefok3raqdefok2raqdefok1raqdefok2raqdefok4raqdefok3raqdefok1raqdefok1raqdefok4raqdefok4raqdefok2raqdefok2raqdefok1raqdefok4raqdefok4raqdefok3raqdefok3raqdefok4raqdefok4raqdefok3raqdefok3raqdefok1raqdefok3raqdefok3raqdefok4raqdefok3raqdefok4raqdefok2raqdefok3raqdefok1raqdefok2raqdefok4raqdefok4raqdefok2raqdefok4raqdefok4raqdefok3raqdefok4raqdefok2raqdefok4raqdefok4raqdefok2raqdefok3raqdefok4raqdefok2raqdefok4raqdefok2raqdefok3raqdefok4raqdefok4raqdefok2raqdefok1raqdefok2raqdef e(20) :r2 e(20) < e(30) :r3 e(0) < e(30) :r4 e(80) > e(70) :r1 ok]]>ok1raqdefok4raqdefok1raqdefok2raqdefok2raqdefok2raqdefok2raqdefok4raqdefok4raqdefok2raqdefok3raqdefok2raqdefok3raqdefok3raqdefok4raqdefok3raqdefok3raqdefok1raqdefok2raqdefok4raqdefok4raqdefok3raqdefok1raqdefok3raqdefok4raqdefok1raqdefok4raqdefok4raqdefok1raqdefok1raqdefok4raqdefok4raqdefok4raqdefok2raqdefok2raqdefok4raqdefok4raqdefok4raqdefok4raqdefok4raqdefok4raqdefok4raqdefok4raqdefok2raqdefok3raqdefok4raqdefok2raqdefok2raqdefok4raqdefok2raqdefok4raqdefok2raqdefok3raqdefok2raqdefok2raqdefok3raqdefok1raqdefok1raqdefok2raqdefok3raqdefok1raqdefok1raqdefok3raqdefok2raqdefok1raqdefok1raqdefok4raqdefok1raqdefok2raqdefok3raqdefok4raqdefok1raqdefok4raqdefok4raqdefok3raqdefok3ra