line |
!l |
l&&!r |
l&&r |
condition |
112
|
2244 |
2216 |
15709 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} |
|
2216 |
125 |
15584 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} |
|
125 |
4 |
15580 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} and exists $contours{$p}{$h}{$𝘅}{$𝘆} |
|
4 |
1 |
15579 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} and exists $contours{$p}{$h}{$𝘅}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$𝕪} |
|
1 |
116 |
15463 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} and exists $contours{$p}{$h}{$𝘅}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$𝕪} and exists $contours{$p}{$h}{$𝕩}{$y} |
|
116 |
2 |
15461 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} and exists $contours{$p}{$h}{$𝘅}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$𝕪} and exists $contours{$p}{$h}{$𝕩}{$y} and exists $contours{$p}{$h}{$𝕩}{$𝘆} |
|
2 |
0 |
15461 |
exists $contours{$p}{$h}{$x}{$𝕪} and exists $contours{$p}{$h}{$x}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$y} and exists $contours{$p}{$h}{$𝘅}{$𝘆} and exists $contours{$p}{$h}{$𝘅}{$𝕪} and exists $contours{$p}{$h}{$𝕩}{$y} and exists $contours{$p}{$h}{$𝕩}{$𝘆} and exists $contours{$p}{$h}{$𝕩}{$𝕪} |
170
|
2704 |
785 |
261377 |
exists $I->{$𝘅} and exists $I->{$𝘅}{$y} |
|
785 |
261240 |
137 |
exists $I->{$𝘅} and exists $I->{$𝘅}{$y} and $I->{$𝘅}{$y} == $p |
|
0 |
17946 |
246783 |
exists $I->{$x} and exists $I->{$x}{$𝘆} |
|
17946 |
244791 |
1992 |
exists $I->{$x} and exists $I->{$x}{$𝘆} and $I->{$x}{$𝘆} == $p |
|
434 |
891 |
261412 |
exists $I->{$𝕩} and exists $I->{$𝕩}{$y} |
|
891 |
258965 |
2447 |
exists $I->{$𝕩} and exists $I->{$𝕩}{$y} and $I->{$𝕩}{$y} == $p |
|
0 |
17520 |
242770 |
exists $I->{$x} and exists $I->{$x}{$𝕪} |
|
17520 |
242647 |
123 |
exists $I->{$x} and exists $I->{$x}{$𝕪} and $I->{$x}{$𝕪} == $p |
242
|
190 |
9361 |
9290 |
exists $P->{$𝘅} and exists $P->{$𝘅}{$y} |
243
|
0 |
10099 |
8742 |
exists $P->{$x} and exists $P->{$x}{$𝘆} |
244
|
0 |
10092 |
8749 |
exists $P->{$x} and exists $P->{$x}{$𝕪} |
245
|
189 |
9381 |
9271 |
exists $P->{$𝕩} and exists $P->{$𝕩}{$y} |
262
|
722 |
25 |
37170 |
exists $P->{$𝘅} and exists $P->{$𝘅}{$y} |
|
25 |
2303 |
34867 |
exists $P->{$𝘅} and exists $P->{$𝘅}{$y} and !$seen->{$𝘅}{$y} || $seen->{$𝘅}{$y} > $depth |
263
|
0 |
52 |
37865 |
exists $P->{$x} and exists $P->{$x}{$𝘆} |
|
52 |
35745 |
2120 |
exists $P->{$x} and exists $P->{$x}{$𝘆} and !$seen->{$x}{$𝘆} || $seen->{$x}{$𝘆} > $depth |
264
|
0 |
359 |
37558 |
exists $P->{$x} and exists $P->{$x}{$𝕪} |
|
359 |
4629 |
32929 |
exists $P->{$x} and exists $P->{$x}{$𝕪} and !$seen->{$x}{$𝕪} || $seen->{$x}{$𝕪} > $depth |
265
|
8 |
21 |
37888 |
exists $P->{$𝕩} and exists $P->{$𝕩}{$y} |
|
21 |
36283 |
1605 |
exists $P->{$𝕩} and exists $P->{$𝕩}{$y} and !$seen->{$𝕩}{$y} || $seen->{$𝕩}{$y} > $depth |
293
|
37910 |
7 |
9 |
$x == $X and $y == $Y |
line |
l |
!l&&r |
!l&&!r |
condition |
29
|
4 |
4 |
41 |
not defined $x or length $line > $x |
170
|
137 |
1992 |
262737 |
exists $I->{$𝘅} and exists $I->{$𝘅}{$y} and $I->{$𝘅}{$y} == $p or exists $I->{$x} and exists $I->{$x}{$𝘆} and $I->{$x}{$𝘆} == $p |
|
1992 |
2447 |
260290 |
exists $I->{$𝘅} and exists $I->{$𝘅}{$y} and $I->{$𝘅}{$y} == $p or exists $I->{$x} and exists $I->{$x}{$𝘆} and $I->{$x}{$𝘆} == $p or exists $I->{$𝕩} and exists $I->{$𝕩}{$y} and $I->{$𝕩}{$y} == $p |
|
2447 |
149 |
260141 |
exists $I->{$𝘅} and exists $I->{$𝘅}{$y} and $I->{$𝘅}{$y} == $p or exists $I->{$x} and exists $I->{$x}{$𝘆} and $I->{$x}{$𝘆} == $p or exists $I->{$𝕩} and exists $I->{$𝕩}{$y} and $I->{$𝕩}{$y} == $p or exists $I->{$x} and exists $I->{$x}{$𝕪} and $I->{$x}{$𝕪} == $p |
262
|
371 |
34544 |
2255 |
!$seen->{$𝘅}{$y} || $seen->{$𝘅}{$y} > $depth |
263
|
326 |
2119 |
35420 |
!$seen->{$x}{$𝘆} || $seen->{$x}{$𝘆} > $depth |
264
|
1937 |
31609 |
4012 |
!$seen->{$x}{$𝕪} || $seen->{$x}{$𝕪} > $depth |
265
|
355 |
1605 |
35928 |
!$seen->{$𝕩}{$y} || $seen->{$𝕩}{$y} > $depth |
294
|
9 |
0 |
0 |
not @shortestPath or @path < @shortestPath |
305
|
1083 |
36835 |
0 |
not exists $seen{$x}{$y} or $seen{$x}{$y} > $P |
315
|
303 |
18 |
37605 |
not exists $seen{$x}{$𝘆} or $seen{$x}{$𝘆} > $P |
316
|
1895 |
31214 |
4817 |
not exists $seen{$x}{$𝕪} or $seen{$x}{$𝕪} > $P |
317
|
101 |
2527 |
35298 |
not exists $seen{$𝘅}{$y} or $seen{$𝘅}{$y} > $P |
318
|
60 |
0 |
37866 |
not exists $seen{$𝕩}{$y} or $seen{$𝕩}{$y} > $P |