4:17
output domination
4:17
10:17
11:17
11:17
6:56
18:49
11:18
13:01
7:00
14:01
12:54
8:26
14:46
14:30
11:16
7:00
5:04
6:15
6:15
7:00