Definition oval:0:def:8: true
Definition oval:0:def:7: false
Definition oval:0:def:6: false
Definition oval:0:def:5: true
Definition oval:0:def:4: true
Definition oval:0:def:3: true
Definition oval:0:def:2: true
Definition oval:0:def:1: true
Evaluation done.