pioduino/uv
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
Files
0af2f7e39fd802230420ab4e05edd8dff6eeccbe
uv/vendor/pubgrub/test-examples/large_case_u16_NumberVersion.ron
T
Charlie Marsh 471a1d657d Migrate resolver proof-of-concept to PubGrub (#97) 
## Summary

This PR enables the proof-of-concept resolver to backtrack by way of
using the `pubgrub-rs` crate.

Rather than using PubGrub as a _framework_ (implementing the
`DependencyProvider` trait, letting PubGrub call us), I've instead
copied over PubGrub's primary solver hook (which is only ~100 lines or
so) and modified it for our purposes (e.g., made it async).

There's a lot to improve here, but it's a start that will let us
understand PubGrub's appropriateness for this problem space. A few
observations:

- In simple cases, the resolver is slower than our current (naive)
resolver. I think it's just that the pipelining isn't as efficient as in
the naive case, where we can just stream package and version fetches
concurrently without any bottlenecks.
- A lot of the code here relates to bridging PubGrub with our own
abstractions -- so we need a `PubGrubPackage`, a `PubGrubVersion`, etc.
2023-10-15 22:05:44 -04:00

5524 lines
103 KiB
Plaintext
Raw Blame History

{
0: {
0: {
13: [
(10, Some(13)),
],
96: [
(10, Some(15)),
],
344: [
(0, Some(15)),
],
475: [
(3, Some(4)),
],
479: [
(0, None),
],
523: [
(0, Some(10)),
],
600: [
(0, None),
],
},
},
13: {
10: {
215: [
(11, Some(14)),
],
227: [
(10, None),
],
505: [
(10, Some(14)),
],
},
12: {
100: [
(6, None),
],
124: [
(0, Some(15)),
],
208: [
(0, Some(8)),
],
287: [
(3, Some(6)),
],
396: [
(9, Some(12)),
],
405: [
(2, None),
],
574: [
(0, Some(10)),
],
},
13: {
171: [
(2, Some(12)),
],
441: [
(0, Some(3)),
],
505: [
(1, Some(18)),
],
547: [
(18, None),
],
},
},
96: {
10: {
169: [
(9, Some(11)),
],
259: [
(0, Some(1)),
],
341: [
(2, Some(15)),
],
344: [
(13, Some(14)),
],
418: [
(8, Some(16)),
],
443: [
(0, Some(15)),
],
447: [
(13, None),
],
500: [
(5, Some(13)),
],
619: [
(4, Some(15)),
],
},
12: {
128: [
(5, Some(14)),
],
249: [
(0, None),
],
352: [
(10, Some(17)),
],
405: [
(6, Some(12)),
],
595: [
(15, None),
],
600: [
(8, Some(10)),
],
613: [
(0, Some(11)),
],
},
14: {
171: [
(0, Some(3)),
],
242: [
(5, Some(14)),
],
255: [
(8, None),
],
370: [
(16, None),
],
559: [
(0, Some(9)),
],
574: [
(0, Some(2)),
],
593: [
(13, None),
],
599: [
(10, Some(15)),
],
},
},
128: {
5: {
541: [
(0, Some(14)),
],
},
8: {
316: [
(13, Some(18)),
],
349: [
(0, Some(11)),
],
410: [
(5, Some(6)),
],
523: [
(8, Some(11)),
],
547: [
(13, Some(18)),
],
595: [
(16, None),
],
619: [
(2, None),
],
},
9: {
250: [
(17, Some(19)),
],
259: [
(10, None),
],
265: [
(0, Some(8)),
],
287: [
(12, Some(13)),
],
447: [
(0, None),
],
455: [
(12, Some(16)),
],
505: [
(1, Some(18)),
],
541: [
(0, Some(7)),
],
574: [
(10, Some(15)),
],
},
11: {
190: [
(0, Some(1)),
],
242: [
(5, Some(10)),
],
265: [
(11, Some(13)),
],
287: [
(1, Some(3)),
],
316: [
(14, None),
],
335: [
(2, Some(4)),
],
344: [
(6, None),
],
349: [
(4, Some(15)),
],
418: [
(3, Some(4)),
],
477: [
(0, None),
],
595: [
(16, Some(17)),
],
606: [
(16, None),
],
635: [
(0, Some(18)),
],
},
12: {
190: [
(3, Some(14)),
],
250: [
(5, Some(8)),
],
328: [
(0, Some(16)),
],
484: [
(6, Some(8)),
],
500: [
(0, Some(3)),
],
547: [
(14, Some(17)),
],
},
13: {
190: [
(3, Some(6)),
],
312: [
(10, Some(11)),
],
341: [
(0, Some(7)),
],
348: [
(10, None),
],
484: [
(4, Some(9)),
],
495: [
(5, Some(12)),
],
},
15: {
205: [
(5, Some(13)),
],
312: [
(10, Some(13)),
],
335: [
(2, Some(7)),
],
346: [
(10, None),
],
385: [
(0, Some(4)),
],
589: [
(0, Some(9)),
],
},
},
190: {
0: {
202: [
(9, Some(10)),
],
251: [
(0, Some(18)),
],
265: [
(18, None),
],
293: [
(7, Some(12)),
],
328: [
(12, Some(13)),
],
535: [
(13, Some(14)),
],
},
3: {
400: [
(0, Some(1)),
],
441: [
(0, None),
],
},
5: {
250: [
(14, Some(19)),
],
619: [
(4, Some(7)),
],
627: [
(14, None),
],
},
8: {
265: [
(0, Some(8)),
],
541: [
(0, Some(7)),
],
560: [
(0, Some(5)),
],
600: [
(6, None),
],
},
9: {
199: [
(3, Some(16)),
],
208: [
(0, None),
],
227: [
(4, Some(16)),
],
287: [
(1, Some(12)),
],
334: [
(0, Some(6)),
],
341: [
(10, Some(12)),
],
348: [
(7, None),
],
396: [
(4, Some(19)),
],
400: [
(4, Some(5)),
],
523: [
(8, Some(9)),
],
547: [
(2, Some(17)),
],
},
11: {
210: [
(8, Some(15)),
],
334: [
(5, Some(6)),
],
345: [
(11, Some(12)),
],
349: [
(3, None),
],
370: [
(0, None),
],
484: [
(0, Some(8)),
],
495: [
(11, Some(13)),
],
594: [
(11, None),
],
},
12: {
645: [
(6, Some(17)),
],
},
13: {
205: [
(2, Some(13)),
],
287: [
(14, None),
],
328: [
(12, Some(14)),
],
450: [
(3, Some(17)),
],
491: [
(2, Some(4)),
],
660: [
(0, Some(4)),
],
},
17: {
245: [
(2, Some(4)),
],
250: [
(10, Some(12)),
],
364: [
(9, None),
],
559: [
(0, Some(13)),
],
576: [
(7, Some(9)),
],
},
19: {
316: [
(3, Some(17)),
],
589: [
(7, None),
],
600: [
(6, Some(9)),
],
608: [
(6, Some(7)),
],
627: [
(14, Some(15)),
],
662: [
(8, Some(17)),
],
},
},
215: {
8: {
245: [
(0, Some(2)),
],
334: [
(0, Some(6)),
],
341: [
(0, Some(12)),
],
450: [
(0, Some(18)),
],
606: [
(0, None),
],
608: [
(0, Some(10)),
],
},
11: {
228: [
(0, Some(15)),
],
245: [
(0, Some(4)),
],
316: [
(3, Some(18)),
],
505: [
(1, Some(14)),
],
559: [
(11, Some(13)),
],
601: [
(8, Some(13)),
],
613: [
(8, Some(11)),
],
},
13: {
450: [
(3, Some(5)),
],
662: [
(16, Some(19)),
],
},
15: {
349: [
(10, Some(12)),
],
619: [
(0, Some(7)),
],
},
},
227: {
3: {
348: [
(0, Some(3)),
],
448: [
(12, Some(13)),
],
559: [
(9, Some(11)),
],
594: [
(1, Some(12)),
],
650: [
(0, Some(15)),
],
},
4: {
264: [
(0, Some(4)),
],
344: [
(6, Some(7)),
],
479: [
(0, None),
],
562: [
(4, Some(5)),
],
},
5: {
265: [
(7, Some(10)),
],
316: [
(14, Some(17)),
],
405: [
(2, Some(8)),
],
471: [
(0, None),
],
593: [
(4, None),
],
},
6: {
448: [
(0, Some(13)),
],
625: [
(0, Some(7)),
],
},
8: {
328: [
(13, Some(16)),
],
462: [
(7, Some(8)),
],
495: [
(0, Some(5)),
],
613: [
(0, Some(4)),
],
627: [
(0, Some(2)),
],
660: [
(0, Some(10)),
],
},
9: {
334: [
(11, None),
],
351: [
(0, Some(7)),
],
410: [
(5, Some(8)),
],
574: [
(2, Some(15)),
],
599: [
(2, Some(13)),
],
},
10: {
230: [
(7, Some(17)),
],
242: [
(4, None),
],
287: [
(1, Some(7)),
],
650: [
(14, None),
],
},
14: {
455: [
(9, Some(18)),
],
625: [
(8, Some(9)),
],
},
15: {
450: [
(0, Some(4)),
],
523: [
(11, Some(14)),
],
},
16: {
255: [
(11, Some(14)),
],
589: [
(1, None),
],
},
17: {
312: [
(6, Some(12)),
],
348: [
(9, Some(15)),
],
371: [
(12, Some(19)),
],
455: [
(4, Some(13)),
],
495: [
(3, Some(9)),
],
547: [
(6, None),
],
562: [
(4, Some(13)),
],
},
18: {
312: [
(15, None),
],
584: [
(3, None),
],
660: [
(0, None),
],
},
},
228: {
6: {
293: [
(7, Some(11)),
],
341: [
(0, Some(2)),
],
559: [
(8, None),
],
608: [
(6, None),
],
613: [
(8, Some(11)),
],
},
7: {
523: [
(9, None),
],
595: [
(10, Some(15)),
],
662: [
(16, Some(17)),
],
},
14: {
371: [
(0, Some(12)),
],
491: [
(0, None),
],
},
15: {
250: [
(4, Some(18)),
],
265: [
(0, Some(13)),
],
606: [
(7, Some(17)),
],
},
17: {
341: [
(0, Some(15)),
],
535: [
(12, Some(13)),
],
559: [
(11, None),
],
},
},
245: {
1: {
334: [
(5, Some(9)),
],
613: [
(0, Some(9)),
],
},
2: {
268: [
(9, Some(14)),
],
541: [
(7, Some(16)),
],
},
3: {
293: [
(0, Some(8)),
],
335: [
(0, Some(7)),
],
364: [
(12, Some(13)),
],
547: [
(12, Some(17)),
],
569: [
(8, Some(13)),
],
},
5: {
450: [
(10, Some(14)),
],
495: [
(8, Some(12)),
],
576: [
(8, None),
],
660: [
(0, Some(10)),
],
},
},
249: {
9: {
251: [
(0, None),
],
477: [
(13, None),
],
523: [
(0, Some(11)),
],
560: [
(4, Some(7)),
],
},
10: {
341: [
(6, Some(11)),
],
349: [
(6, None),
],
645: [
(2, Some(6)),
],
},
15: {
250: [
(4, Some(6)),
],
312: [
(11, Some(13)),
],
448: [
(12, None),
],
547: [
(0, Some(3)),
],
613: [
(0, Some(9)),
],
},
},
250: {
2: {
345: [
(7, Some(10)),
],
441: [
(0, Some(16)),
],
448: [
(0, Some(13)),
],
450: [
(10, Some(18)),
],
455: [
(10, Some(18)),
],
495: [
(3, Some(9)),
],
505: [
(13, Some(18)),
],
595: [
(2, Some(15)),
],
613: [
(10, None),
],
},
4: {
462: [
(14, Some(15)),
],
471: [
(0, Some(3)),
],
559: [
(10, None),
],
560: [
(4, None),
],
584: [
(0, None),
],
660: [
(9, None),
],
},
5: {
349: [
(1, Some(5)),
],
495: [
(3, Some(10)),
],
547: [
(5, Some(12)),
],
660: [
(0, Some(2)),
],
},
7: {
600: [
(6, Some(10)),
],
660: [
(3, None),
],
},
9: {
334: [
(6, Some(12)),
],
348: [
(0, Some(4)),
],
650: [
(2, Some(8)),
],
},
10: {
287: [
(0, Some(10)),
],
297: [
(17, None),
],
334: [
(0, Some(16)),
],
364: [
(0, Some(11)),
],
370: [
(0, None),
],
},
11: {
410: [
(9, Some(17)),
],
445: [
(0, Some(6)),
],
523: [
(6, Some(10)),
],
595: [
(10, Some(11)),
],
},
12: {
293: [
(7, Some(11)),
],
335: [
(1, Some(16)),
],
},
14: {
287: [
(8, Some(10)),
],
462: [
(2, Some(13)),
],
477: [
(7, Some(8)),
],
523: [
(0, Some(7)),
],
},
15: {
352: [
(17, None),
],
484: [
(11, None),
],
627: [
(12, Some(13)),
],
},
17: {
341: [
(2, Some(7)),
],
450: [
(16, None),
],
479: [
(0, None),
],
560: [
(0, Some(3)),
],
574: [
(9, Some(11)),
],
},
18: {
265: [
(0, Some(10)),
],
312: [
(2, Some(14)),
],
491: [
(2, Some(4)),
],
593: [
(8, Some(10)),
],
600: [
(9, None),
],
608: [
(0, Some(10)),
],
},
19: {
335: [
(12, Some(16)),
],
349: [
(1, Some(6)),
],
405: [
(10, None),
],
},
},
255: {
5: {
348: [
(4, Some(5)),
],
396: [
(7, None),
],
441: [
(8, Some(9)),
],
535: [
(0, Some(7)),
],
},
8: {
312: [
(2, Some(14)),
],
},
11: {
349: [
(11, Some(13)),
],
448: [
(0, Some(13)),
],
462: [
(3, Some(8)),
],
535: [
(12, Some(14)),
],
},
13: {
405: [
(9, Some(10)),
],
574: [
(0, Some(19)),
],
608: [
(12, None),
],
645: [
(16, Some(17)),
],
},
14: {
265: [
(12, Some(13)),
],
348: [
(9, None),
],
370: [
(0, None),
],
541: [
(7, Some(9)),
],
},
16: {
348: [
(13, Some(17)),
],
349: [
(4, None),
],
625: [
(6, None),
],
},
},
259: {
0: {
341: [
(0, Some(2)),
],
348: [
(12, Some(18)),
],
349: [
(1, None),
],
535: [
(5, Some(13)),
],
593: [
(4, Some(9)),
],
600: [
(9, None),
],
601: [
(4, Some(7)),
],
},
5: {
262: [
(5, None),
],
287: [
(1, None),
],
},
10: {
662: [
(7, Some(9)),
],
},
11: {
341: [
(7, Some(15)),
],
345: [
(1, Some(4)),
],
405: [
(0, Some(15)),
],
448: [
(11, Some(17)),
],
593: [
(4, None),
],
},
12: {
352: [
(10, Some(15)),
],
541: [
(15, Some(17)),
],
601: [
(12, None),
],
},
},
265: {
6: {
405: [
(7, Some(11)),
],
455: [
(15, Some(16)),
],
462: [
(14, None),
],
576: [
(0, Some(16)),
],
},
7: {
455: [
(0, Some(9)),
],
535: [
(5, Some(16)),
],
613: [
(0, Some(4)),
],
619: [
(2, Some(9)),
],
650: [
(0, Some(8)),
],
},
9: {
448: [
(15, Some(16)),
],
523: [
(10, Some(19)),
],
562: [
(4, Some(13)),
],
601: [
(4, Some(16)),
],
},
11: {
316: [
(6, Some(11)),
],
},
12: {
352: [
(10, Some(15)),
],
593: [
(11, Some(14)),
],
601: [
(15, None),
],
619: [
(0, Some(9)),
],
},
18: {
335: [
(6, Some(19)),
],
345: [
(1, Some(11)),
],
349: [
(0, Some(7)),
],
574: [
(1, Some(9)),
],
},
19: {
396: [
(4, Some(16)),
],
462: [
(12, Some(13)),
],
},
},
287: {
0: {
400: [
(4, None),
],
576: [
(16, Some(18)),
],
},
1: {
437: [
(0, None),
],
500: [
(0, Some(3)),
],
505: [
(6, Some(14)),
],
589: [
(1, Some(7)),
],
},
2: {
312: [
(9, Some(11)),
],
},
3: {
328: [
(9, None),
],
418: [
(0, Some(1)),
],
},
5: {
335: [
(6, None),
],
495: [
(5, None),
],
595: [
(0, None),
],
662: [
(17, Some(19)),
],
},
6: {
364: [
(4, None),
],
441: [
(0, Some(14)),
],
589: [
(6, Some(11)),
],
},
8: {
341: [
(0, Some(11)),
],
349: [
(0, Some(6)),
],
523: [
(0, Some(1)),
],
},
9: {
477: [
(1, Some(13)),
],
484: [
(17, Some(18)),
],
584: [
(11, None),
],
601: [
(16, Some(18)),
],
},
11: {
312: [
(10, Some(11)),
],
341: [
(0, Some(8)),
],
346: [
(2, Some(14)),
],
371: [
(12, Some(19)),
],
385: [
(19, None),
],
569: [
(0, Some(19)),
],
},
12: {
335: [
(1, Some(3)),
],
349: [
(0, Some(13)),
],
462: [
(2, None),
],
541: [
(15, None),
],
562: [
(11, None),
],
},
13: {
316: [
(0, Some(4)),
],
334: [
(6, Some(16)),
],
396: [
(9, Some(15)),
],
},
14: {
334: [
(3, Some(8)),
],
335: [
(1, Some(7)),
],
341: [
(6, Some(12)),
],
410: [
(7, Some(17)),
],
535: [
(0, None),
],
562: [
(18, None),
],
593: [
(8, Some(12)),
],
},
16: {
562: [
(4, Some(9)),
],
},
19: {
328: [
(9, None),
],
396: [
(5, Some(19)),
],
562: [
(4, Some(9)),
],
},
},
293: {
3: {
344: [
(19, None),
],
443: [
(14, None),
],
600: [
(6, Some(13)),
],
},
7: {
593: [
(4, Some(9)),
],
},
10: {
328: [
(13, Some(14)),
],
450: [
(6, Some(8)),
],
574: [
(4, Some(11)),
],
},
11: {
364: [
(12, Some(13)),
],
443: [
(12, Some(15)),
],
662: [
(0, None),
],
},
12: {
326: [
(0, Some(16)),
],
334: [
(3, Some(16)),
],
455: [
(8, Some(16)),
],
},
},
312: {
0: {
326: [
(16, None),
],
505: [
(1, Some(18)),
],
},
1: {
448: [
(0, Some(17)),
],
},
2: {
462: [
(3, Some(7)),
],
523: [
(13, Some(15)),
],
560: [
(0, Some(9)),
],
593: [
(11, Some(13)),
],
594: [
(11, Some(12)),
],
599: [
(1, Some(2)),
],
627: [
(14, Some(16)),
],
},
3: {
348: [
(8, Some(14)),
],
455: [
(8, None),
],
535: [
(5, Some(6)),
],
541: [
(0, Some(8)),
],
569: [
(6, Some(10)),
],
589: [
(7, Some(11)),
],
599: [
(1, Some(15)),
],
601: [
(19, None),
],
627: [
(11, Some(18)),
],
},
4: {
335: [
(0, Some(9)),
],
500: [
(12, Some(13)),
],
547: [
(0, Some(14)),
],
584: [
(11, Some(12)),
],
594: [
(4, None),
],
606: [
(19, None),
],
619: [
(14, Some(15)),
],
},
6: {
445: [
(5, Some(9)),
],
491: [
(3, Some(6)),
],
523: [
(1, Some(19)),
],
599: [
(1, Some(3)),
],
635: [
(1, Some(18)),
],
},
9: {
547: [
(3, Some(18)),
],
559: [
(8, Some(10)),
],
662: [
(6, Some(18)),
],
},
10: {
448: [
(13, None),
],
601: [
(6, Some(9)),
],
},
11: {
316: [
(0, Some(3)),
],
523: [
(9, Some(11)),
],
560: [
(0, Some(9)),
],
593: [
(8, Some(12)),
],
608: [
(17, None),
],
},
12: {
341: [
(6, None),
],
443: [
(12, None),
],
},
13: {
345: [
(4, Some(11)),
],
348: [
(4, Some(17)),
],
484: [
(10, Some(15)),
],
562: [
(0, Some(15)),
],
594: [
(0, Some(2)),
],
619: [
(8, Some(15)),
],
},
15: {
352: [
(10, Some(15)),
],
},
16: {
335: [
(12, None),
],
352: [
(14, None),
],
462: [
(2, Some(4)),
],
484: [
(4, Some(15)),
],
562: [
(10, Some(13)),
],
589: [
(0, Some(11)),
],
599: [
(6, Some(13)),
],
619: [
(10, Some(15)),
],
},
},
316: {
2: {
396: [
(5, Some(11)),
],
448: [
(11, None),
],
505: [
(2, Some(3)),
],
574: [
(14, Some(19)),
],
601: [
(6, Some(7)),
],
625: [
(8, None),
],
},
3: {
619: [
(2, Some(9)),
],
662: [
(17, Some(19)),
],
},
6: {
450: [
(6, None),
],
635: [
(5, Some(15)),
],
},
10: {
349: [
(6, Some(8)),
],
500: [
(5, Some(13)),
],
505: [
(10, Some(14)),
],
627: [
(11, Some(19)),
],
},
13: {
346: [
(2, Some(17)),
],
396: [
(15, Some(18)),
],
410: [
(0, Some(10)),
],
450: [
(6, Some(15)),
],
475: [
(0, None),
],
494: [
(0, Some(6)),
],
},
14: {
662: [
(17, None),
],
},
16: {
484: [
(11, None),
],
495: [
(5, Some(12)),
],
505: [
(6, Some(10)),
],
},
17: {
335: [
(2, None),
],
344: [
(6, Some(10)),
],
541: [
(13, None),
],
},
19: {
341: [
(6, Some(11)),
],
370: [
(0, None),
],
371: [
(12, Some(14)),
],
495: [
(11, Some(13)),
],
600: [
(6, None),
],
},
},
328: {
0: {
352: [
(15, None),
],
541: [
(6, Some(17)),
],
},
1: {
334: [
(3, Some(9)),
],
650: [
(0, Some(3)),
],
},
5: {
396: [
(7, Some(19)),
],
},
9: {
345: [
(0, Some(4)),
],
448: [
(11, None),
],
450: [
(17, None),
],
535: [
(8, Some(13)),
],
600: [
(6, Some(8)),
],
},
12: {},
13: {
410: [
(5, Some(10)),
],
441: [
(13, Some(16)),
],
595: [
(10, Some(16)),
],
627: [
(0, None),
],
},
15: {
348: [
(3, Some(14)),
],
396: [
(7, Some(15)),
],
455: [
(12, Some(17)),
],
589: [
(6, Some(8)),
],
},
18: {
396: [
(10, Some(12)),
],
450: [
(3, Some(4)),
],
455: [
(8, Some(11)),
],
535: [
(13, None),
],
569: [
(8, Some(10)),
],
584: [
(15, None),
],
594: [
(0, Some(6)),
],
601: [
(5, Some(18)),
],
613: [
(8, Some(11)),
],
},
},
334: {
0: {
405: [
(0, Some(10)),
],
599: [
(12, Some(15)),
],
613: [
(16, None),
],
},
1: {
396: [
(17, Some(19)),
],
477: [
(1, Some(16)),
],
484: [
(14, None),
],
491: [
(18, None),
],
541: [
(6, Some(15)),
],
662: [
(3, Some(8)),
],
},
3: {
450: [
(7, Some(15)),
],
477: [
(1, Some(14)),
],
535: [
(5, Some(16)),
],
569: [
(12, Some(19)),
],
645: [
(2, Some(7)),
],
},
5: {
418: [
(0, None),
],
455: [
(4, Some(10)),
],
},
6: {
410: [
(5, Some(14)),
],
418: [
(0, Some(4)),
],
462: [
(2, Some(5)),
],
},
7: {
405: [
(2, Some(7)),
],
593: [
(0, None),
],
662: [
(0, Some(4)),
],
},
8: {
348: [
(4, None),
],
437: [
(0, Some(16)),
],
484: [
(11, Some(15)),
],
491: [
(0, Some(4)),
],
627: [
(12, None),
],
},
11: {
349: [
(1, Some(12)),
],
491: [
(5, Some(7)),
],
660: [
(0, Some(2)),
],
},
15: {
364: [
(4, Some(13)),
],
601: [
(6, Some(18)),
],
662: [
(15, Some(17)),
],
},
19: {
647: [
(11, None),
],
},
},
335: {
0: {
601: [
(1, None),
],
},
1: {
455: [
(0, Some(18)),
],
495: [
(3, Some(13)),
],
569: [
(16, Some(19)),
],
},
2: {
448: [
(11, Some(17)),
],
625: [
(0, Some(9)),
],
660: [
(0, Some(4)),
],
},
3: {
346: [
(12, Some(15)),
],
443: [
(12, None),
],
455: [
(4, Some(9)),
],
475: [
(9, None),
],
523: [
(0, Some(9)),
],
},
6: {
345: [
(3, Some(15)),
],
396: [
(0, Some(4)),
],
505: [
(0, Some(7)),
],
},
7: {
455: [
(17, None),
],
477: [
(13, Some(14)),
],
},
8: {
599: [
(7, Some(14)),
],
},
11: {
547: [
(3, Some(6)),
],
600: [
(0, Some(9)),
],
627: [
(7, None),
],
},
12: {
445: [
(0, Some(9)),
],
},
15: {
462: [
(4, None),
],
},
16: {
405: [
(7, None),
],
471: [
(0, Some(3)),
],
627: [
(7, Some(12)),
],
},
17: {
396: [
(10, Some(18)),
],
418: [
(3, Some(19)),
],
574: [
(11, Some(19)),
],
645: [
(5, None),
],
},
18: {
345: [
(10, Some(15)),
],
471: [
(0, Some(2)),
],
584: [
(0, Some(12)),
],
589: [
(8, Some(9)),
],
},
19: {
344: [
(13, Some(16)),
],
345: [
(9, None),
],
547: [
(17, None),
],
574: [
(14, None),
],
584: [
(3, None),
],
},
},
341: {
1: {
348: [
(16, Some(18)),
],
370: [
(0, None),
],
479: [
(0, None),
],
574: [
(4, Some(11)),
],
593: [
(11, None),
],
},
2: {
346: [
(0, Some(5)),
],
364: [
(9, Some(12)),
],
450: [
(6, Some(15)),
],
},
6: {
348: [
(10, Some(13)),
],
484: [
(14, None),
],
494: [
(5, None),
],
595: [
(14, None),
],
},
7: {
447: [
(11, None),
],
627: [
(7, Some(12)),
],
},
10: {
505: [
(2, None),
],
576: [
(0, Some(16)),
],
},
11: {
348: [
(0, Some(11)),
],
364: [
(4, Some(8)),
],
541: [
(7, Some(8)),
],
},
14: {
348: [
(4, Some(16)),
],
445: [
(8, None),
],
448: [
(13, Some(16)),
],
600: [
(12, Some(13)),
],
},
16: {
535: [
(16, None),
],
547: [
(0, Some(19)),
],
601: [
(16, None),
],
},
17: {
396: [
(4, Some(16)),
],
477: [
(4, Some(16)),
],
569: [
(13, None),
],
},
},
344: {
2: {
396: [
(14, Some(19)),
],
477: [
(4, None),
],
576: [
(8, Some(11)),
],
647: [
(0, Some(4)),
],
},
3: {
405: [
(1, Some(14)),
],
574: [
(8, Some(11)),
],
},
6: {
364: [
(5, Some(13)),
],
599: [
(7, Some(15)),
],
},
9: {
450: [
(13, Some(17)),
],
},
13: {
345: [
(4, Some(12)),
],
352: [
(0, Some(10)),
],
475: [
(3, None),
],
560: [
(4, Some(9)),
],
594: [
(4, Some(12)),
],
},
14: {
348: [
(0, Some(12)),
],
441: [
(0, Some(9)),
],
443: [
(12, None),
],
462: [
(14, None),
],
523: [
(10, Some(12)),
],
599: [
(7, Some(14)),
],
},
15: {
349: [
(7, Some(13)),
],
437: [
(15, None),
],
},
19: {
352: [
(9, Some(16)),
],
625: [
(6, Some(9)),
],
},
},
345: {
0: {
441: [
(8, None),
],
601: [
(0, Some(5)),
],
635: [
(1, None),
],
},
1: {
349: [
(5, Some(11)),
],
364: [
(5, Some(11)),
],
371: [
(0, Some(12)),
],
491: [
(0, Some(4)),
],
569: [
(8, Some(19)),
],
627: [
(12, Some(18)),
],
},
3: {
405: [
(4, Some(11)),
],
450: [
(0, Some(17)),
],
475: [
(0, None),
],
541: [
(8, Some(15)),
],
},
4: {
349: [
(10, Some(13)),
],
405: [
(10, Some(14)),
],
418: [
(0, Some(9)),
],
462: [
(3, Some(5)),
],
523: [
(1, Some(2)),
],
535: [
(5, None),
],
595: [
(10, Some(16)),
],
},
6: {
455: [
(7, Some(18)),
],
495: [
(0, Some(10)),
],
569: [
(13, Some(17)),
],
},
7: {
471: [
(2, None),
],
535: [
(6, Some(14)),
],
},
9: {
447: [
(8, Some(12)),
],
595: [
(10, Some(16)),
],
},
10: {
396: [
(3, Some(8)),
],
455: [
(10, Some(17)),
],
523: [
(0, Some(14)),
],
562: [
(11, Some(12)),
],
},
11: {},
13: {
562: [
(0, Some(18)),
],
},
14: {
346: [
(2, Some(13)),
],
445: [
(0, None),
],
484: [
(16, None),
],
},
17: {
364: [
(5, Some(13)),
],
},
18: {
349: [
(1, Some(8)),
],
410: [
(0, Some(14)),
],
448: [
(13, None),
],
491: [
(6, None),
],
627: [
(11, Some(12)),
],
},
19: {
437: [
(0, None),
],
523: [
(10, None),
],
541: [
(8, None),
],
601: [
(6, Some(13)),
],
662: [
(7, Some(19)),
],
},
},
346: {
1: {
400: [
(4, Some(5)),
],
560: [
(4, Some(5)),
],
574: [
(10, Some(15)),
],
662: [
(15, Some(17)),
],
},
2: {
396: [
(9, Some(16)),
],
455: [
(8, Some(10)),
],
484: [
(10, Some(17)),
],
535: [
(13, Some(14)),
],
},
4: {
455: [
(4, Some(5)),
],
484: [
(2, Some(17)),
],
495: [
(4, Some(10)),
],
535: [
(6, Some(13)),
],
608: [
(0, None),
],
},
6: {
349: [
(1, Some(5)),
],
599: [
(14, None),
],
608: [
(6, Some(13)),
],
635: [
(17, None),
],
},
10: {},
12: {
505: [
(13, Some(18)),
],
627: [
(7, Some(15)),
],
},
13: {
352: [
(0, Some(16)),
],
437: [
(0, Some(12)),
],
448: [
(16, Some(17)),
],
600: [
(9, Some(10)),
],
635: [
(5, None),
],
662: [
(0, Some(18)),
],
},
14: {
500: [
(5, Some(13)),
],
589: [
(7, Some(11)),
],
},
16: {
418: [
(3, Some(17)),
],
455: [
(8, Some(17)),
],
660: [
(3, Some(10)),
],
},
18: {
666: [
(0, None),
],
},
19: {
349: [
(4, Some(9)),
],
351: [
(0, Some(7)),
],
450: [
(16, Some(17)),
],
},
},
348: {
2: {
484: [
(0, Some(5)),
],
},
3: {
385: [
(5, None),
],
400: [
(0, None),
],
477: [
(1, Some(13)),
],
608: [
(0, None),
],
613: [
(10, None),
],
},
4: {
484: [
(7, Some(11)),
],
491: [
(0, None),
],
593: [
(0, Some(13)),
],
619: [
(2, None),
],
627: [
(11, Some(19)),
],
},
7: {
370: [
(16, None),
],
418: [
(19, None),
],
500: [
(5, Some(13)),
],
547: [
(11, Some(14)),
],
594: [
(4, Some(6)),
],
595: [
(2, Some(11)),
],
},
8: {
505: [
(13, None),
],
547: [
(2, Some(4)),
],
559: [
(8, Some(9)),
],
560: [
(2, None),
],
562: [
(10, Some(12)),
],
594: [
(1, None),
],
},
9: {
418: [
(0, Some(19)),
],
477: [
(18, None),
],
505: [
(0, Some(11)),
],
574: [
(1, None),
],
},
10: {
349: [
(5, Some(13)),
],
471: [
(2, Some(3)),
],
},
11: {
494: [
(0, Some(2)),
],
},
12: {
541: [
(16, None),
],
599: [
(1, Some(8)),
],
},
13: {
600: [
(6, Some(10)),
],
635: [
(1, None),
],
650: [
(7, None),
],
},
14: {
437: [
(0, Some(12)),
],
594: [
(1, Some(12)),
],
},
15: {
477: [
(1, Some(3)),
],
500: [
(16, None),
],
},
16: {
405: [
(4, Some(15)),
],
523: [
(8, Some(11)),
],
595: [
(10, None),
],
606: [
(7, Some(8)),
],
625: [
(0, Some(2)),
],
},
17: {
495: [
(9, None),
],
},
18: {},
},
349: {
0: {
352: [
(10, Some(17)),
],
599: [
(1, Some(14)),
],
601: [
(14, Some(17)),
],
},
1: {
559: [
(9, Some(13)),
],
593: [
(0, Some(12)),
],
},
2: {
396: [
(4, Some(12)),
],
600: [
(9, None),
],
},
3: {},
4: {
450: [
(3, Some(6)),
],
505: [
(1, Some(3)),
],
547: [
(0, Some(3)),
],
},
5: {
484: [
(4, Some(5)),
],
541: [
(15, Some(16)),
],
627: [
(7, Some(8)),
],
},
6: {
500: [
(0, Some(6)),
],
625: [
(6, Some(9)),
],
},
7: {
418: [
(19, None),
],
541: [
(7, Some(9)),
],
601: [
(17, None),
],
},
8: {
445: [
(0, Some(6)),
],
450: [
(4, Some(8)),
],
541: [
(8, Some(9)),
],
547: [
(3, Some(13)),
],
600: [
(18, None),
],
601: [
(0, Some(5)),
],
619: [
(0, Some(5)),
],
},
9: {
396: [
(0, Some(15)),
],
405: [
(1, Some(2)),
],
},
10: {
627: [
(17, Some(18)),
],
},
11: {
495: [
(0, Some(9)),
],
523: [
(8, Some(11)),
],
},
12: {
477: [
(0, Some(3)),
],
},
14: {
385: [
(0, Some(6)),
],
576: [
(8, Some(18)),
],
589: [
(0, Some(8)),
],
608: [
(0, Some(7)),
],
662: [
(3, Some(8)),
],
},
17: {
396: [
(15, Some(18)),
],
455: [
(4, Some(16)),
],
},
},
352: {
5: {},
6: {
477: [
(9, Some(14)),
],
562: [
(12, None),
],
},
9: {
601: [
(1, Some(6)),
],
},
10: {
574: [
(8, Some(10)),
],
},
14: {
437: [
(15, Some(16)),
],
584: [
(3, Some(12)),
],
647: [
(0, None),
],
},
15: {
477: [
(1, Some(14)),
],
560: [
(0, Some(7)),
],
594: [
(1, None),
],
},
16: {
613: [
(8, None),
],
},
17: {
477: [
(12, Some(14)),
],
484: [
(16, Some(18)),
],
547: [
(0, Some(5)),
],
593: [
(4, Some(13)),
],
613: [
(10, None),
],
},
},
364: {
0: {
562: [
(8, Some(18)),
],
},
4: {
523: [
(1, Some(7)),
],
},
5: {
601: [
(4, Some(9)),
],
645: [
(6, None),
],
},
7: {
396: [
(3, Some(11)),
],
},
9: {
595: [
(2, Some(15)),
],
},
10: {},
11: {},
12: {
437: [
(0, None),
],
455: [
(0, Some(18)),
],
484: [
(8, Some(11)),
],
601: [
(1, Some(13)),
],
},
14: {
589: [
(7, Some(8)),
],
},
},
371: {
9: {
400: [
(0, Some(1)),
],
455: [
(0, Some(9)),
],
477: [
(9, Some(16)),
],
645: [
(0, Some(7)),
],
},
11: {
405: [
(5, Some(7)),
],
410: [
(0, Some(6)),
],
547: [
(12, Some(13)),
],
574: [
(2, Some(12)),
],
576: [
(0, Some(18)),
],
589: [
(6, Some(8)),
],
},
12: {
443: [
(0, Some(15)),
],
475: [
(0, Some(4)),
],
547: [
(0, Some(14)),
],
562: [
(10, Some(18)),
],
},
13: {
400: [
(0, Some(1)),
],
601: [
(4, Some(15)),
],
},
18: {
455: [
(7, Some(13)),
],
627: [
(0, Some(16)),
],
},
19: {
495: [
(0, Some(10)),
],
505: [
(0, Some(11)),
],
523: [
(11, Some(15)),
],
},
},
396: {
1: {
477: [
(4, Some(10)),
],
574: [
(1, Some(19)),
],
606: [
(16, None),
],
},
3: {
562: [
(8, Some(18)),
],
569: [
(0, Some(17)),
],
576: [
(15, None),
],
},
4: {
535: [
(8, Some(14)),
],
589: [
(1, Some(9)),
],
627: [
(17, None),
],
},
5: {
484: [
(14, Some(18)),
],
},
7: {
562: [
(12, None),
],
608: [
(0, None),
],
},
9: {
448: [
(15, Some(17)),
],
523: [
(9, Some(10)),
],
660: [
(0, None),
],
},
10: {
484: [
(0, Some(15)),
],
547: [
(11, Some(13)),
],
619: [
(2, Some(9)),
],
},
11: {
441: [
(8, Some(16)),
],
589: [
(7, Some(11)),
],
},
14: {
535: [
(12, None),
],
650: [
(2, Some(15)),
],
},
15: {
418: [
(18, None),
],
495: [
(11, Some(13)),
],
523: [
(8, Some(14)),
],
547: [
(11, Some(19)),
],
627: [
(17, None),
],
650: [
(0, Some(15)),
],
},
17: {
441: [
(15, None),
],
},
18: {
443: [
(0, Some(1)),
],
662: [
(16, Some(18)),
],
},
19: {
443: [
(12, Some(15)),
],
593: [
(0, Some(5)),
],
},
},
400: {
0: {
443: [
(0, Some(13)),
],
462: [
(4, Some(5)),
],
},
4: {
666: [
(0, None),
],
},
9: {
462: [
(14, None),
],
599: [
(0, Some(3)),
],
600: [
(6, Some(8)),
],
},
},
405: {
0: {
455: [
(8, Some(9)),
],
599: [
(7, Some(15)),
],
625: [
(6, Some(7)),
],
},
1: {
484: [
(16, Some(17)),
],
594: [
(1, Some(6)),
],
662: [
(16, Some(18)),
],
},
2: {
410: [
(0, None),
],
477: [
(12, Some(16)),
],
484: [
(4, Some(9)),
],
601: [
(12, Some(17)),
],
},
4: {
450: [
(4, Some(17)),
],
462: [
(2, Some(7)),
],
495: [
(0, None),
],
559: [
(0, None),
],
562: [
(8, Some(13)),
],
},
5: {
447: [
(8, Some(12)),
],
477: [
(12, None),
],
600: [
(6, None),
],
},
6: {
495: [
(0, Some(6)),
],
594: [
(12, None),
],
635: [
(14, Some(16)),
],
},
7: {
547: [
(2, Some(12)),
],
562: [
(10, Some(15)),
],
},
9: {
635: [
(4, Some(10)),
],
},
10: {
547: [
(5, Some(19)),
],
559: [
(0, Some(12)),
],
},
11: {},
13: {
450: [
(3, Some(17)),
],
523: [
(9, Some(15)),
],
562: [
(11, Some(15)),
],
574: [
(10, None),
],
627: [
(7, Some(19)),
],
},
14: {
600: [
(0, Some(9)),
],
650: [
(7, Some(15)),
],
},
17: {
450: [
(7, Some(17)),
],
491: [
(0, Some(6)),
],
505: [
(2, Some(10)),
],
},
},
410: {
3: {
475: [
(0, Some(4)),
],
484: [
(10, Some(18)),
],
505: [
(1, Some(18)),
],
660: [
(3, Some(10)),
],
},
5: {
447: [
(8, None),
],
477: [
(1, Some(13)),
],
},
7: {},
9: {
569: [
(12, Some(19)),
],
},
13: {
491: [
(5, Some(6)),
],
541: [
(8, None),
],
},
16: {
484: [
(0, Some(15)),
],
523: [
(10, Some(14)),
],
601: [
(4, Some(15)),
],
},
18: {
477: [
(1, Some(14)),
],
595: [
(0, Some(14)),
],
},
},
418: {
0: {
627: [
(3, Some(15)),
],
},
3: {
450: [
(3, Some(6)),
],
535: [
(13, Some(16)),
],
627: [
(7, Some(13)),
],
},
8: {
484: [
(7, Some(8)),
],
574: [
(0, Some(12)),
],
601: [
(12, Some(18)),
],
},
15: {
441: [
(0, Some(16)),
],
450: [
(4, None),
],
},
16: {
662: [
(0, None),
],
},
18: {
437: [
(0, Some(16)),
],
576: [
(8, Some(9)),
],
595: [
(13, Some(17)),
],
},
19: {
505: [
(0, Some(2)),
],
},
},
437: {
11: {
450: [
(6, Some(11)),
],
},
15: {
535: [
(8, None),
],
541: [
(13, Some(16)),
],
593: [
(9, Some(12)),
],
600: [
(0, Some(8)),
],
635: [
(9, None),
],
},
16: {
450: [
(14, Some(17)),
],
475: [
(9, None),
],
500: [
(0, Some(3)),
],
547: [
(3, Some(17)),
],
593: [
(8, Some(13)),
],
},
},
441: {
2: {},
8: {
462: [
(3, Some(8)),
],
491: [
(3, Some(6)),
],
},
13: {
445: [
(8, None),
],
569: [
(0, Some(13)),
],
},
15: {
455: [
(4, Some(5)),
],
505: [
(6, Some(14)),
],
},
16: {
560: [
(8, None),
],
589: [
(8, Some(11)),
],
},
},
443: {
0: {
447: [
(0, Some(12)),
],
500: [
(0, None),
],
505: [
(0, Some(18)),
],
547: [
(3, None),
],
},
12: {
523: [
(6, Some(19)),
],
562: [
(10, Some(13)),
],
606: [
(0, Some(7)),
],
},
14: {
450: [
(3, Some(15)),
],
574: [
(0, Some(2)),
],
595: [
(2, Some(14)),
],
},
17: {
569: [
(16, None),
],
},
},
447: {
1: {
541: [
(8, None),
],
},
8: {
645: [
(0, Some(1)),
],
},
11: {
541: [
(6, Some(9)),
],
},
13: {
606: [
(6, Some(17)),
],
662: [
(6, None),
],
},
14: {
450: [
(6, Some(15)),
],
500: [
(0, None),
],
541: [
(6, Some(15)),
],
},
},
448: {
3: {
562: [
(8, Some(11)),
],
662: [
(6, Some(18)),
],
},
11: {
450: [
(0, Some(17)),
],
455: [
(10, Some(16)),
],
477: [
(0, None),
],
505: [
(1, Some(7)),
],
601: [
(1, Some(5)),
],
625: [
(4, Some(7)),
],
650: [
(0, Some(15)),
],
660: [
(0, None),
],
},
12: {
562: [
(0, Some(15)),
],
},
13: {
455: [
(17, None),
],
650: [
(14, Some(15)),
],
},
15: {},
16: {
660: [
(0, Some(4)),
],
},
19: {
484: [
(7, Some(8)),
],
601: [
(4, Some(7)),
],
},
},
450: {
2: {
601: [
(1, Some(18)),
],
},
3: {
505: [
(1, Some(2)),
],
},
4: {},
5: {
484: [
(8, Some(17)),
],
547: [
(4, Some(13)),
],
576: [
(8, None),
],
594: [
(4, None),
],
},
6: {
645: [
(5, None),
],
},
7: {
477: [
(0, Some(5)),
],
593: [
(9, None),
],
645: [
(16, None),
],
},
10: {},
13: {
495: [
(3, Some(5)),
],
},
14: {
471: [
(2, None),
],
495: [
(9, Some(12)),
],
562: [
(12, Some(15)),
],
619: [
(2, Some(7)),
],
},
16: {
500: [
(0, None),
],
535: [
(12, Some(14)),
],
594: [
(4, Some(12)),
],
},
17: {
560: [
(0, Some(9)),
],
562: [
(11, None),
],
599: [
(0, Some(2)),
],
},
19: {
471: [
(2, None),
],
523: [
(10, Some(14)),
],
576: [
(10, Some(16)),
],
645: [
(2, None),
],
662: [
(7, Some(9)),
],
},
},
455: {
2: {
491: [
(0, Some(1)),
],
559: [
(10, Some(12)),
],
560: [
(0, None),
],
},
4: {
600: [
(0, Some(13)),
],
},
7: {
484: [
(14, Some(17)),
],
574: [
(2, Some(15)),
],
595: [
(0, Some(2)),
],
},
8: {
560: [
(16, None),
],
574: [
(4, Some(12)),
],
599: [
(7, Some(14)),
],
},
9: {
562: [
(14, Some(18)),
],
595: [
(0, Some(14)),
],
601: [
(0, Some(6)),
],
},
10: {
600: [
(6, Some(8)),
],
613: [
(16, None),
],
662: [
(3, Some(9)),
],
},
12: {
666: [
(0, None),
],
},
15: {
666: [
(0, None),
],
},
16: {
495: [
(3, Some(4)),
],
599: [
(2, Some(3)),
],
650: [
(2, None),
],
},
17: {
491: [
(9, Some(10)),
],
569: [
(13, Some(19)),
],
662: [
(17, Some(19)),
],
},
19: {},
},
462: {
1: {},
2: {
477: [
(0, Some(10)),
],
574: [
(2, Some(12)),
],
601: [
(4, Some(17)),
],
606: [
(16, None),
],
625: [
(4, Some(9)),
],
},
3: {
589: [
(8, Some(11)),
],
608: [
(9, None),
],
},
4: {
479: [
(0, Some(6)),
],
635: [
(1, Some(5)),
],
},
6: {
535: [
(6, None),
],
599: [
(12, Some(14)),
],
608: [
(0, Some(5)),
],
613: [
(8, Some(11)),
],
},
7: {
484: [
(2, Some(18)),
],
574: [
(4, Some(19)),
],
606: [
(16, Some(17)),
],
},
12: {
477: [
(1, Some(8)),
],
547: [
(4, Some(18)),
],
574: [
(19, None),
],
593: [
(8, Some(14)),
],
},
14: {
491: [
(3, Some(7)),
],
},
16: {
608: [
(0, Some(7)),
],
},
},
471: {
1: {
484: [
(2, Some(9)),
],
569: [
(8, Some(10)),
],
599: [
(1, Some(13)),
],
},
2: {
494: [
(0, None),
],
608: [
(0, None),
],
},
18: {
484: [
(4, Some(18)),
],
523: [
(9, Some(10)),
],
576: [
(7, Some(18)),
],
662: [
(8, Some(18)),
],
},
},
475: {
0: {
500: [
(16, None),
],
560: [
(4, None),
],
569: [
(12, None),
],
589: [
(8, Some(11)),
],
608: [
(6, Some(10)),
],
},
3: {
599: [
(1, Some(8)),
],
619: [
(2, Some(15)),
],
},
9: {
593: [
(4, Some(13)),
],
},
},
477: {
0: {
505: [
(1, Some(18)),
],
562: [
(0, Some(13)),
],
},
1: {
523: [
(0, Some(15)),
],
},
2: {
484: [
(10, Some(12)),
],
608: [
(0, Some(13)),
],
},
4: {
541: [
(14, Some(16)),
],
601: [
(0, Some(1)),
],
},
7: {
569: [
(0, Some(19)),
],
600: [
(0, None),
],
},
9: {
484: [
(2, Some(15)),
],
569: [
(8, Some(19)),
],
608: [
(9, Some(13)),
],
645: [
(5, Some(7)),
],
650: [
(7, Some(15)),
],
660: [
(0, Some(4)),
],
},
12: {},
13: {
495: [
(3, Some(6)),
],
535: [
(5, Some(7)),
],
595: [
(13, Some(16)),
],
},
15: {
635: [
(5, Some(18)),
],
},
18: {
495: [
(3, Some(10)),
],
562: [
(4, Some(15)),
],
574: [
(1, Some(19)),
],
613: [
(8, Some(11)),
],
},
19: {
584: [
(0, Some(12)),
],
600: [
(9, Some(13)),
],
608: [
(0, Some(5)),
],
},
},
479: {
5: {
523: [
(10, None),
],
},
14: {
484: [
(0, Some(8)),
],
589: [
(1, Some(7)),
],
},
},
484: {
0: {
594: [
(0, Some(12)),
],
},
2: {
505: [
(9, Some(14)),
],
535: [
(13, None),
],
560: [
(2, Some(9)),
],
574: [
(2, Some(5)),
],
},
4: {
574: [
(0, Some(1)),
],
},
6: {
662: [
(15, Some(17)),
],
},
7: {
491: [
(3, Some(4)),
],
613: [
(0, Some(4)),
],
},
8: {
541: [
(16, None),
],
},
10: {},
11: {
541: [
(6, Some(17)),
],
},
14: {
645: [
(0, None),
],
},
16: {
491: [
(3, None),
],
600: [
(18, None),
],
613: [
(0, Some(4)),
],
},
17: {
635: [
(9, Some(18)),
],
},
18: {
495: [
(5, Some(10)),
],
574: [
(0, Some(12)),
],
601: [
(0, Some(19)),
],
},
},
491: {
0: {},
2: {
595: [
(16, None),
],
662: [
(15, Some(17)),
],
},
3: {
547: [
(17, Some(19)),
],
},
5: {
595: [
(14, Some(16)),
],
647: [
(0, Some(4)),
],
},
6: {
662: [
(16, Some(18)),
],
},
9: {
662: [
(6, None),
],
},
18: {
569: [
(6, Some(13)),
],
594: [
(5, Some(6)),
],
595: [
(10, Some(17)),
],
635: [
(14, None),
],
662: [
(17, None),
],
},
},
494: {
1: {
547: [
(11, Some(19)),
],
562: [
(10, None),
],
599: [
(2, Some(8)),
],
619: [
(6, Some(11)),
],
},
5: {
574: [
(8, None),
],
601: [
(0, Some(19)),
],
},
12: {
495: [
(11, None),
],
601: [
(16, None),
],
645: [
(6, Some(7)),
],
},
},
495: {
1: {},
3: {
608: [
(6, Some(13)),
],
},
4: {},
5: {
595: [
(15, Some(17)),
],
650: [
(14, Some(15)),
],
},
8: {
576: [
(0, Some(9)),
],
},
9: {},
11: {
547: [
(6, Some(13)),
],
559: [
(8, Some(12)),
],
594: [
(1, None),
],
613: [
(8, None),
],
645: [
(0, Some(7)),
],
},
12: {
662: [
(0, Some(4)),
],
},
16: {
608: [
(9, None),
],
},
},
500: {
2: {
613: [
(8, None),
],
},
5: {
594: [
(0, None),
],
},
12: {},
16: {
601: [
(6, Some(13)),
],
627: [
(17, None),
],
},
},
505: {
0: {
535: [
(0, Some(14)),
],
},
1: {
666: [
(0, None),
],
},
2: {
535: [
(8, Some(13)),
],
619: [
(0, Some(5)),
],
662: [
(7, Some(19)),
],
},
6: {
559: [
(11, Some(12)),
],
},
9: {},
10: {
589: [
(1, Some(2)),
],
595: [
(10, None),
],
},
13: {
584: [
(11, Some(12)),
],
589: [
(0, Some(8)),
],
595: [
(0, Some(16)),
],
600: [
(0, Some(13)),
],
619: [
(14, Some(15)),
],
},
17: {
589: [
(7, Some(8)),
],
619: [
(6, Some(9)),
],
},
18: {
547: [
(6, Some(12)),
],
},
},
523: {
0: {
613: [
(0, None),
],
},
1: {
608: [
(0, Some(13)),
],
662: [
(17, Some(19)),
],
},
6: {},
8: {
594: [
(0, Some(12)),
],
600: [
(6, Some(10)),
],
},
9: {
562: [
(17, None),
],
569: [
(6, Some(17)),
],
},
10: {},
11: {
535: [
(8, None),
],
576: [
(8, Some(16)),
],
619: [
(4, Some(5)),
],
},
13: {
593: [
(6, Some(14)),
],
},
14: {
645: [
(16, None),
],
},
18: {
619: [
(0, Some(5)),
],
625: [
(4, None),
],
627: [
(14, Some(16)),
],
},
19: {
535: [
(0, Some(14)),
],
650: [
(0, None),
],
},
},
535: {
1: {
599: [
(6, Some(11)),
],
},
5: {
547: [
(2, Some(14)),
],
559: [
(0, Some(10)),
],
},
6: {
541: [
(0, None),
],
},
8: {},
12: {},
13: {
635: [
(5, Some(10)),
],
662: [
(7, Some(9)),
],
},
15: {
608: [
(0, Some(7)),
],
},
16: {
625: [
(4, Some(9)),
],
627: [
(18, None),
],
},
},
541: {
1: {
601: [
(1, Some(15)),
],
},
6: {},
7: {
547: [
(4, Some(19)),
],
593: [
(4, Some(9)),
],
650: [
(14, None),
],
},
8: {
625: [
(4, Some(7)),
],
},
13: {
574: [
(2, Some(15)),
],
589: [
(1, None),
],
635: [
(14, None),
],
},
14: {
547: [
(6, None),
],
599: [
(2, Some(13)),
],
627: [
(17, Some(19)),
],
},
15: {
547: [
(0, Some(14)),
],
576: [
(10, None),
],
662: [
(0, Some(4)),
],
},
16: {
645: [
(2, Some(7)),
],
},
17: {
650: [
(14, None),
],
},
},
547: {
0: {
650: [
(2, Some(15)),
],
},
2: {
635: [
(0, Some(15)),
],
},
3: {},
4: {
635: [
(5, Some(15)),
],
645: [
(16, Some(17)),
],
},
5: {},
6: {},
11: {
574: [
(1, Some(5)),
],
584: [
(3, Some(4)),
],
662: [
(0, Some(19)),
],
},
12: {},
13: {
589: [
(8, Some(11)),
],
601: [
(4, Some(16)),
],
},
14: {
601: [
(15, Some(17)),
],
},
16: {},
17: {
574: [
(9, Some(15)),
],
650: [
(7, Some(15)),
],
662: [
(3, Some(19)),
],
},
18: {
569: [
(0, None),
],
662: [
(0, Some(8)),
],
},
19: {},
},
559: {
8: {
650: [
(14, None),
],
},
9: {
560: [
(4, Some(9)),
],
},
10: {},
11: {
574: [
(11, None),
],
},
12: {},
18: {
601: [
(1, Some(15)),
],
},
},
560: {
0: {
589: [
(1, Some(11)),
],
613: [
(0, Some(9)),
],
},
2: {
593: [
(0, Some(13)),
],
},
4: {},
6: {
600: [
(0, Some(8)),
],
},
8: {
600: [
(8, Some(13)),
],
635: [
(4, None),
],
},
16: {},
},
562: {
0: {
576: [
(16, Some(17)),
],
593: [
(6, None),
],
},
4: {
608: [
(0, Some(5)),
],
},
8: {
606: [
(0, Some(17)),
],
645: [
(0, Some(3)),
],
},
10: {},
11: {
574: [
(8, None),
],
647: [
(0, None),
],
},
12: {},
14: {
569: [
(0, Some(10)),
],
635: [
(0, None),
],
},
17: {},
18: {
635: [
(5, Some(15)),
],
662: [
(8, Some(9)),
],
},
},
569: {
3: {
574: [
(0, Some(10)),
],
},
6: {
595: [
(0, Some(17)),
],
601: [
(8, Some(13)),
],
635: [
(9, Some(16)),
],
},
8: {
635: [
(4, Some(16)),
],
647: [
(0, None),
],
},
9: {
584: [
(11, None),
],
},
12: {
627: [
(0, Some(13)),
],
},
13: {
589: [
(10, None),
],
},
16: {
599: [
(2, Some(8)),
],
645: [
(0, Some(17)),
],
},
18: {
574: [
(14, Some(15)),
],
645: [
(16, Some(17)),
],
647: [
(0, None),
],
},
19: {
574: [
(10, None),
],
589: [
(8, Some(11)),
],
},
},
574: {
0: {
593: [
(0, Some(5)),
],
},
1: {
600: [
(9, None),
],
},
2: {
589: [
(6, None),
],
650: [
(14, Some(15)),
],
},
4: {},
8: {
635: [
(4, Some(18)),
],
},
9: {},
10: {},
11: {
601: [
(8, Some(16)),
],
625: [
(4, Some(5)),
],
},
14: {
576: [
(15, Some(17)),
],
593: [
(8, None),
],
601: [
(4, None),
],
},
18: {
650: [
(0, Some(8)),
],
},
19: {},
},
576: {
4: {
645: [
(5, None),
],
},
7: {},
8: {},
10: {
601: [
(0, Some(15)),
],
},
15: {
593: [
(4, Some(12)),
],
594: [
(0, Some(12)),
],
},
16: {
599: [
(14, None),
],
},
17: {
625: [
(4, Some(7)),
],
},
19: {},
},
584: {
1: {
599: [
(0, Some(2)),
],
600: [
(7, Some(13)),
],
},
3: {},
11: {},
15: {},
},
589: {
0: {
595: [
(14, None),
],
},
1: {},
6: {
619: [
(8, Some(9)),
],
660: [
(3, Some(10)),
],
},
7: {
635: [
(0, Some(2)),
],
},
8: {
600: [
(18, None),
],
},
10: {},
15: {
599: [
(14, None),
],
645: [
(2, Some(6)),
],
},
},
593: {
0: {
595: [
(0, Some(14)),
],
608: [
(12, None),
],
},
4: {
650: [
(14, None),
],
},
6: {
625: [
(0, None),
],
},
8: {},
9: {},
11: {},
12: {},
13: {},
15: {
635: [
(9, Some(15)),
],
},
},
594: {
0: {
613: [
(8, None),
],
619: [
(2, None),
],
662: [
(16, Some(19)),
],
},
1: {
625: [
(10, None),
],
647: [
(0, Some(4)),
],
},
4: {},
5: {},
11: {
619: [
(2, None),
],
662: [
(6, Some(16)),
],
},
12: {},
},
595: {
1: {},
2: {},
10: {},
13: {
599: [
(7, Some(11)),
],
},
14: {
619: [
(2, Some(15)),
],
},
15: {},
16: {},
19: {},
},
599: {
0: {
635: [
(1, Some(10)),
],
},
1: {
635: [
(0, Some(10)),
],
},
2: {},
6: {
625: [
(6, Some(9)),
],
},
7: {},
10: {
662: [
(3, Some(7)),
],
},
12: {},
13: {
600: [
(6, None),
],
},
14: {
601: [
(15, Some(18)),
],
},
18: {
627: [
(15, Some(18)),
],
},
},
600: {
5: {
625: [
(8, None),
],
},
6: {},
7: {},
8: {},
9: {
660: [
(3, Some(4)),
],
},
12: {},
18: {
601: [
(5, Some(9)),
],
635: [
(1, Some(6)),
],
},
},
601: {
0: {
608: [
(0, Some(10)),
],
},
1: {
625: [
(6, Some(7)),
],
},
4: {},
5: {
650: [
(14, None),
],
},
6: {
650: [
(2, None),
],
},
8: {},
12: {},
14: {},
15: {
608: [
(9, Some(13)),
],
},
16: {
650: [
(0, Some(15)),
],
},
17: {},
18: {},
19: {},
},
606: {
3: {
619: [
(8, Some(15)),
],
},
6: {},
7: {},
16: {},
19: {
662: [
(6, Some(16)),
],
},
},
608: {
4: {},
6: {
635: [
(5, Some(18)),
],
},
9: {},
12: {
662: [
(17, None),
],
},
17: {},
},
613: {
3: {},
8: {
627: [
(7, Some(15)),
],
662: [
(0, Some(4)),
],
},
10: {
635: [
(1, Some(16)),
],
},
16: {
619: [
(4, Some(9)),
],
635: [
(14, Some(18)),
],
},
},
619: {
1: {},
2: {
625: [
(6, None),
],
},
4: {
650: [
(0, None),
],
},
6: {},
8: {},
10: {},
14: {
645: [
(2, None),
],
662: [
(0, Some(8)),
],
},
15: {},
},
625: {
1: {
627: [
(12, Some(19)),
],
},
4: {},
6: {
647: [
(0, None),
],
},
8: {},
10: {},
},
627: {
1: {},
3: {},
7: {},
11: {},
12: {},
14: {},
15: {
650: [
(2, Some(15)),
],
},
17: {
662: [
(18, Some(19)),
],
},
18: {},
19: {
635: [
(4, None),
],
},
},
635: {
0: {},
1: {},
4: {
660: [
(0, None),
],
},
5: {},
9: {},
14: {
662: [
(15, Some(19)),
],
},
15: {},
17: {},
18: {},
},
645: {
0: {},
2: {
660: [
(3, None),
],
},
5: {},
6: {},
16: {},
17: {},
},
647: {
3: {},
11: {},
},
650: {
0: {},
2: {},
7: {},
14: {},
16: {
660: [
(0, None),
],
},
},
660: {
1: {},
3: {},
9: {
662: [
(3, Some(19)),
],
},
15: {},
},
662: {
2: {},
3: {},
6: {},
7: {},
8: {},
15: {},
16: {},
17: {},
18: {},
19: {},
},
}
Reference in New Issue View Git Blame Copy Permalink