| line | !l | l&&!r | l&&r | condition | 
 
| 319 | 54 | 0 | 10 | $x == $len and $y == $len | 
 
| 332 | 134 | 63 | 36 | $x == $len && $y == $len | 
 
|  | 75 | 36 | 197 | $x + $y <= 2 * $len and not $x == $len && $y == $len | 
 
|  | 178 | 0 | 19 | $x == 2 * $len && $y == 0 | 
 
|  | 111 | 19 | 178 | $x + $y <= 2 * $len and not $x == $len && $y == $len and not $x == 2 * $len && $y == 0 | 
 
| 346 | 64 | 6 | 22 | $x == 2 * $len && $y == $len | 
 
|  | 38 | 22 | 70 | $y >= $len and not $x == 2 * $len && $y == $len | 
 
| 363 | 58 | 26 | 10 | $big_x == $len && $big_y == $len | 
 
|  | 67 | 10 | 84 | $big_x + $big_y <= 2 * $len and not $big_x == $len && $big_y == $len | 
 
|  | 67 | 0 | 17 | $big_x == 2 * $len && $big_y == 0 | 
 
|  | 77 | 17 | 67 | $big_x + $big_y <= 2 * $len and not $big_x == $len && $big_y == $len and not $big_x == 2 * $len && $big_y == 0 | 
 
| 377 | 29 | 5 | 19 | $big_x == 2 * $len && $big_y == $len | 
 
|  | 41 | 19 | 34 | $big_y >= $len and not $big_x == 2 * $len && $big_y == $len | 
 
| 402 | 42 | 0 | 36 | $big_x == $len and $big_y == $len | 
 
| 448 | 35 | 5 | 0 | $arms == 1 and $y1 > $x2 | 
 
|  | 30 | 10 | 0 | $arms <= 2 and $x2 < 0 | 
 
|  | 20 | 20 | 0 | $arms <= 4 and $y2 < 0 | 
 
| 778 | 0 | 0 | 0 | $arm == 7 and $n > 0 | 
 
| 792 | 0 | 0 | 0 | $self->{'arms'} >= 8 and $n == 15 | 
 
| 837 | 0 | 0 | 0 | $n == 1 and $arms >= 4 | 
 
|  | 0 | 0 | 0 | $n == 3 and $arms >= 5 | 
 
|  | 0 | 0 | 0 | $n == 5 and $arms == 7 | 
| line | l | !l&&r | !l&&!r | condition | 
 
| 281 | 86 | 93 | 165 | $y < 0 or $y > $x | 
 
|  | 179 | 0 | 165 | $y < 0 or $y > $x or $x < 0 | 
 
| 319 | 18 | 10 | 54 | $y > $len or $x == $len and $y == $len | 
 
| 402 | 20 | 36 | 42 | $big_y > $len or $big_x == $len and $big_y == $len | 
 
| 448 | 0 | 0 | 40 | $arms == 1 and $y1 > $x2 or $arms <= 2 and $x2 < 0 | 
 
|  | 0 | 0 | 40 | $arms == 1 and $y1 > $x2 or $arms <= 2 and $x2 < 0 or $arms <= 4 and $y2 < 0 | 
 
| 765 | 0 | 0 | 0 | not $n >= 0 or is_infinite($n) | 
 
| 778 | 0 | 0 | 0 | $arm == 0 or $arm == 7 and $n > 0 | 
 
| 789 | 0 | 0 | 0 | not $n >= 0 or is_infinite($n) | 
 
| 803 | 0 | 0 | 0 | $self->{'arms'} >= 8 or not $n >= 0 | 
 
|  | 0 | 0 | 0 | $self->{'arms'} >= 8 or not $n >= 0 or is_infinite($n) | 
 
| 830 | 0 | 0 | 0 | $arms >= 8 or not $n >= 0 | 
 
|  | 0 | 0 | 0 | $arms >= 8 or not $n >= 0 or is_infinite($n) | 
 
| 837 | 0 | 0 | 0 | $n == 1 and $arms >= 4 or $n == 3 and $arms >= 5 | 
 
|  | 0 | 0 | 0 | $n == 1 and $arms >= 4 or $n == 3 and $arms >= 5 or $n == 5 and $arms == 7 | 
 
| 872 | 0 | 0 | 0 | $digit == 1 or $digit == 3 |