The rewrite relation of the following TRS is considered.
1(1(0(x1))) | → | 4(0(1(1(4(0(0(3(3(4(x1)))))))))) | (1) |
0(5(1(0(x1)))) | → | 0(5(2(2(4(3(0(2(2(2(x1)))))))))) | (2) |
1(0(1(0(x1)))) | → | 1(0(3(2(0(4(4(2(4(2(x1)))))))))) | (3) |
1(0(3(1(x1)))) | → | 1(2(3(3(2(4(4(3(0(1(x1)))))))))) | (4) |
2(1(0(5(x1)))) | → | 2(3(4(4(2(0(2(3(0(5(x1)))))))))) | (5) |
0(1(0(2(1(x1))))) | → | 2(2(0(0(0(4(0(1(2(1(x1)))))))))) | (6) |
1(0(5(0(1(x1))))) | → | 5(0(2(2(3(4(0(2(0(1(x1)))))))))) | (7) |
3(1(0(5(2(x1))))) | → | 2(1(4(0(2(5(5(2(2(3(x1)))))))))) | (8) |
4(4(5(3(0(x1))))) | → | 4(3(1(1(3(2(0(3(3(0(x1)))))))))) | (9) |
0(3(5(5(2(0(x1)))))) | → | 2(2(0(1(2(0(0(2(3(4(x1)))))))))) | (10) |
1(0(0(3(5(4(x1)))))) | → | 1(0(3(3(4(1(3(3(4(4(x1)))))))))) | (11) |
1(5(3(0(3(1(x1)))))) | → | 1(2(2(1(3(0(4(4(3(1(x1)))))))))) | (12) |
1(5(4(1(2(5(x1)))))) | → | 1(4(4(0(2(4(2(0(3(5(x1)))))))))) | (13) |
3(0(4(5(1(0(x1)))))) | → | 4(1(4(2(3(4(4(2(4(0(x1)))))))))) | (14) |
3(0(5(3(2(5(x1)))))) | → | 4(3(1(1(3(3(2(0(0(5(x1)))))))))) | (15) |
3(0(5(3(4(1(x1)))))) | → | 4(2(4(3(0(3(1(1(4(1(x1)))))))))) | (16) |
4(1(2(1(1(0(x1)))))) | → | 4(5(3(3(0(1(1(4(0(2(x1)))))))))) | (17) |
4(4(4(5(0(5(x1)))))) | → | 3(4(3(3(2(4(2(4(1(4(x1)))))))))) | (18) |
5(2(0(4(5(1(x1)))))) | → | 5(2(2(2(3(1(0(4(0(3(x1)))))))))) | (19) |
0(5(4(5(3(0(5(x1))))))) | → | 0(4(2(4(4(4(3(0(0(5(x1)))))))))) | (20) |
1(0(5(5(3(2(5(x1))))))) | → | 3(5(5(3(3(0(2(0(4(5(x1)))))))))) | (21) |
3(0(5(3(5(3(0(x1))))))) | → | 1(1(2(4(1(2(0(1(4(0(x1)))))))))) | (22) |
3(1(0(1(5(5(1(x1))))))) | → | 2(4(1(1(3(3(3(3(1(1(x1)))))))))) | (23) |
3(2(5(3(0(1(0(x1))))))) | → | 2(4(1(2(3(4(3(1(1(2(x1)))))))))) | (24) |
3(3(5(3(4(5(3(x1))))))) | → | 0(2(2(4(2(2(1(1(1(2(x1)))))))))) | (25) |
3(4(2(5(0(2(1(x1))))))) | → | 3(0(4(3(2(4(4(0(0(1(x1)))))))))) | (26) |
3(4(3(2(1(4(4(x1))))))) | → | 3(4(3(4(3(0(3(3(0(2(x1)))))))))) | (27) |
3(5(2(3(5(3(4(x1))))))) | → | 3(5(1(0(3(0(0(2(4(2(x1)))))))))) | (28) |
4(4(5(3(2(1(0(x1))))))) | → | 4(0(5(4(1(2(2(2(3(0(x1)))))))))) | (29) |
4(5(1(0(0(5(1(x1))))))) | → | 5(5(2(2(2(5(5(5(1(4(x1)))))))))) | (30) |
4(5(1(3(1(2(3(x1))))))) | → | 5(4(1(1(1(2(3(4(0(2(x1)))))))))) | (31) |
5(1(4(5(2(5(3(x1))))))) | → | 5(5(1(4(2(3(0(0(3(4(x1)))))))))) | (32) |
5(1(5(4(2(5(1(x1))))))) | → | 5(5(2(3(0(3(4(2(1(0(x1)))))))))) | (33) |
5(4(5(0(5(2(3(x1))))))) | → | 5(1(1(4(2(3(0(1(3(0(x1)))))))))) | (34) |
final states:
{6, 5, 4, 3, 2, 1}
transitions:
503 | → | 620 |
1389 | → | 530 |
1067 | → | 523 |
239 | → | 191 |
587 | → | 575 |
486 | → | 1217 |
1335 | → | 1551 |
1335 | → | 1591 |
1703 | → | 856 |
685 | → | 909 |
1513 | → | 856 |
589 | → | 575 |
1441 | → | 764 |
1680 | → | 1690 |
1680 | → | 1696 |
1680 | → | 1700 |
1680 | → | 1704 |
750 | → | 729 |
1056 | → | 513 |
1463 | → | 9 |
1697 | → | 9 |
658 | → | 785 |
658 | → | 826 |
658 | → | 846 |
1648 | → | 163 |
98 | → | 960 |
98 | → | 989 |
1624 | → | 638 |
1624 | → | 1668 |
794 | → | 1629 |
1630 | → | 529 |
1630 | → | 1647 |
10 | → | 466 |
10 | → | 720 |
1163 | → | 1396 |
387 | → | 359 |
1691 | → | 764 |
289 | → | 259 |
1379 | → | 529 |
537 | → | 432 |
1638 | → | 529 |
1638 | → | 1641 |
432 | → | 1278 |
640 | → | 652 |
1479 | → | 9 |
1409 | → | 170 |
1642 | → | 163 |
471 | → | 333 |
530 | → | 669 |
628 | → | 4 |
628 | → | 425 |
628 | → | 601 |
628 | → | 359 |
628 | → | 588 |
628 | → | 407 |
628 | → | 261 |
628 | → | 1616 |
511 | → | 4 |
511 | → | 755 |
511 | → | 407 |
511 | → | 684 |
511 | → | 425 |
511 | → | 261 |
511 | → | 574 |
511 | → | 1616 |
659 | → | 4 |
659 | → | 601 |
659 | → | 359 |
659 | → | 574 |
659 | → | 389 |
122 | → | 92 |
461 | → | 424 |
461 | → | 749 |
668 | → | 4 |
668 | → | 601 |
668 | → | 359 |
668 | → | 720 |
668 | → | 466 |
668 | → | 10 |
668 | → | 586 |
668 | → | 370 |
668 | → | 494 |
1408 | → | 1438 |
1408 | → | 1470 |
1408 | → | 1490 |
1408 | → | 1512 |
260 | → | 512 |
676 | → | 667 |
18 | → | 1 |
18 | → | 327 |
18 | → | 520 |
18 | → | 241 |
18 | → | 630 |
547 | → | 3 |
547 | → | 473 |
547 | → | 572 |
547 | → | 9 |
547 | → | 90 |
547 | → | 482 |
978 | → | 961 |
1141 | → | 604 |
1395 | → | 9 |
41 | → | 1635 |
3 | → | 89 |
3 | → | 160 |
3 | → | 200 |
3 | → | 310 |
3 | → | 369 |
3 | → | 464 |
583 | → | 5 |
583 | → | 610 |
583 | → | 259 |
583 | → | 309 |
583 | → | 702 |
583 | → | 311 |
1411 | → | 170 |
499 | → | 1274 |
218 | → | 191 |
1574 | → | 990 |
691 | → | 432 |
1628 | → | 660 |
1011 | → | 426 |
617 | → | 1557 |
405 | → | 359 |
1294 | → | 162 |
1074 | → | 1621 |
1074 | → | 1674 |
564 | → | 539 |
9 | → | 481 |
9 | → | 572 |
5 | → | 67 |
5 | → | 143 |
5 | → | 217 |
5 | → | 290 |
5 | → | 358 |
5 | → | 462 |
199 | → | 170 |
1681 | → | 170 |
361 | → | 1309 |
241 | → | 191 |
1618 | → | 574 |
618 | → | 1238 |
618 | → | 1394 |
618 | → | 1426 |
1220 | → | 639 |
1636 | → | 529 |
1636 | → | 1643 |
1275 | → | 529 |
90 | → | 9 |
90 | → | 1146 |
1344 | → | 1327 |
99 | → | 926 |
99 | → | 1076 |
942 | → | 330 |
700 | → | 3 |
700 | → | 572 |
700 | → | 563 |
700 | → | 9 |
700 | → | 611 |
700 | → | 472 |
700 | → | 68 |
700 | → | 764 |
700 | → | 1469 |
700 | → | 1461 |
1403 | → | 9 |
1416 | → | 1440 |
1416 | → | 1476 |
1416 | → | 1496 |
1416 | → | 1514 |
631 | → | 1059 |
1 | → | 41 |
1 | → | 121 |
1 | → | 240 |
1 | → | 258 |
1 | → | 386 |
1 | → | 434 |
1471 | → | 9 |
1308 | → | 162 |
1019 | → | 9 |
1730 | → | 611 |
936 | → | 328 |
936 | → | 638 |
936 | → | 162 |
936 | → | 730 |
936 | → | 92 |
936 | → | 122 |
936 | → | 1636 |
840 | → | 866 |
840 | → | 1068 |
840 | → | 1219 |
1656 | → | 561 |
549 | → | 539 |
667 | → | 1162 |
667 | → | 1240 |
667 | → | 1432 |
1267 | → | 661 |
969 | → | 1579 |
969 | → | 1627 |
101 | → | 2 |
101 | → | 753 |
101 | → | 751 |
101 | → | 260 |
101 | → | 424 |
101 | → | 463 |
1338 | → | 1328 |
1387 | → | 530 |
1507 | → | 92 |
197 | → | 1372 |
1173 | → | 1165 |
44 | → | 9 |
44 | → | 561 |
44 | → | 1038 |
1312 | → | 360 |
480 | → | 473 |
1515 | → | 856 |
1029 | → | 1337 |
609 | → | 100 |
970 | → | 387 |
970 | → | 458 |
970 | → | 288 |
970 | → | 123 |
970 | → | 43 |
970 | → | 190 |
970 | → | 388 |
970 | → | 4 |
970 | → | 486 |
761 | → | 1116 |
761 | → | 1326 |
761 | → | 1408 |
1616 | → | 574 |
748 | → | 729 |
1683 | → | 424 |
1676 | → | 1688 |
1676 | → | 1694 |
1676 | → | 1698 |
1676 | → | 1702 |
573 | → | 539 |
573 | → | 701 |
735 | → | 726 |
1232 | → | 1462 |
1232 | → | 1484 |
1232 | → | 1506 |
1592 | → | 538 |
675 | → | 1293 |
269 | → | 1535 |
269 | → | 1589 |
309 | → | 259 |
1669 | → | 530 |
1654 | → | 561 |
1373 | → | 529 |
1622 | → | 638 |
170 | → | 1028 |
170 | → | 1124 |
170 | → | 1410 |
1212 | → | 630 |
562 | → | 539 |
562 | → | 692 |
562 | → | 1066 |
562 | → | 1172 |
161 | → | 92 |
201 | → | 191 |
268 | → | 6 |
268 | → | 638 |
268 | → | 162 |
268 | → | 730 |
268 | → | 328 |
268 | → | 92 |
268 | → | 122 |
268 | → | 1636 |
1499 | → | 92 |
1127 | → | 1117 |
619 | → | 1 |
619 | → | 629 |
619 | → | 485 |
619 | → | 191 |
619 | → | 752 |
619 | → | 754 |
619 | → | 216 |
1410 | → | 1454 |
1410 | → | 1478 |
1410 | → | 1498 |
1410 | → | 1518 |
1277 | → | 529 |
1277 | → | 1303 |
1170 | → | 1617 |
1170 | → | 1655 |
1170 | → | 1680 |
702 | → | 693 |
1564 | → | 912 |
407 | → | 359 |
407 | → | 588 |
976 | → | 961 |
311 | → | 259 |
389 | → | 359 |
389 | → | 574 |
389 | → | 1010 |
389 | → | 1020 |
1699 | → | 92 |
1310 | → | 687 |
1084 | → | 1649 |
171 | → | 1 |
171 | → | 629 |
171 | → | 485 |
171 | → | 191 |
171 | → | 729 |
171 | → | 754 |
171 | → | 216 |
171 | → | 750 |
171 | → | 218 |
810 | → | 9 |
1477 | → | 9 |
639 | → | 941 |
6 | → | 8 |
6 | → | 91 |
6 | → | 238 |
6 | → | 308 |
6 | → | 404 |
6 | → | 423 |
1075 | → | 344 |
519 | → | 510 |
726 | → | 1209 |
773 | → | 327 |
773 | → | 520 |
773 | → | 241 |
773 | → | 630 |
1336 | → | 572 |
1336 | → | 563 |
1336 | → | 9 |
1336 | → | 3 |
1336 | → | 611 |
1336 | → | 472 |
1336 | → | 68 |
627 | → | 1126 |
627 | → | 1343 |
627 | → | 1416 |
921 | → | 730 |
921 | → | 638 |
921 | → | 162 |
921 | → | 328 |
921 | → | 92 |
921 | → | 122 |
921 | → | 1636 |
345 | → | 1 |
345 | → | 629 |
345 | → | 485 |
345 | → | 191 |
345 | → | 752 |
345 | → | 754 |
345 | → | 216 |
1417 | → | 170 |
1397 | → | 720 |
1302 | → | 163 |
1037 | → | 755 |
1037 | → | 407 |
1037 | → | 4 |
1037 | → | 684 |
1037 | → | 425 |
1037 | → | 574 |
1037 | → | 1616 |
1092 | → | 538 |
1701 | → | 92 |
124 | → | 92 |
1279 | → | 529 |
1279 | → | 1301 |
336 | → | 2 |
336 | → | 660 |
336 | → | 435 |
336 | → | 337 |
336 | → | 192 |
336 | → | 728 |
336 | → | 602 |
336 | → | 495 |
336 | → | 459 |
270 | → | 259 |
270 | → | 462 |
270 | → | 290 |
270 | → | 143 |
270 | → | 67 |
270 | → | 217 |
270 | → | 358 |
270 | → | 5 |
270 | → | 309 |
433 | → | 3 |
433 | → | 473 |
433 | → | 572 |
433 | → | 9 |
433 | → | 90 |
433 | → | 482 |
433 | → | 42 |
433 | → | 521 |
699 | → | 911 |
699 | → | 1091 |
368 | → | 4 |
368 | → | 387 |
368 | → | 486 |
368 | → | 405 |
923 | → | 912 |
873 | → | 100 |
999 | → | 486 |
999 | → | 601 |
999 | → | 359 |
999 | → | 387 |
1036 | → | 1637 |
2 | → | 65 |
2 | → | 141 |
2 | → | 215 |
2 | → | 269 |
2 | → | 406 |
2 | → | 460 |
1060 | → | 525 |
787 | → | 1014 |
11 | → | 1016 |
797 | → | 786 |
4 | → | 43 |
4 | → | 123 |
4 | → | 190 |
4 | → | 288 |
4 | → | 388 |
4 | → | 458 |
528 | → | 510 |
463 | → | 424 |
463 | → | 751 |
463 | → | 260 |
463 | → | 2 |
344 | → | 924 |
344 | → | 1087 |
582 | → | 922 |
582 | → | 1089 |
1650 | → | 162 |
827 | → | 816 |
1425 | → | 424 |
501 | → | 170 |
478 | → | 168 |
425 | → | 684 |
425 | → | 755 |
425 | → | 897 |
959 | → | 338 |
754 | → | 729 |
1015 | → | 467 |
66 | → | 9 |
66 | → | 548 |
359 | → | 601 |
1505 | → | 92 |
602 | → | 575 |
1461 | → | 764 |
795 | → | 327 |
795 | → | 520 |
795 | → | 241 |
795 | → | 1 |
972 | → | 961 |
535 | → | 1223 |
1491 | → | 92 |
1125 | → | 1117 |
1125 | → | 1311 |
925 | → | 912 |
1536 | → | 927 |
581 | → | 971 |
581 | → | 1573 |
1705 | → | 856 |
169 | → | 763 |
169 | → | 809 |
169 | → | 839 |
169 | → | 855 |
100 | → | 796 |
100 | → | 815 |
100 | → | 848 |
100 | → | 1520 |
1296 | → | 163 |
335 | → | 973 |
335 | → | 1571 |
1455 | → | 764 |
1497 | → | 92 |
944 | → | 331 |
1013 | → | 428 |
1013 | → | 1022 |
1247 | → | 1224 |
1247 | → | 1380 |
1021 | → | 487 |
370 | → | 359 |
370 | → | 586 |
1085 | → | 1623 |
1085 | → | 1670 |
1085 | → | 1682 |
1239 | → | 1224 |
1239 | → | 1386 |
42 | → | 9 |
42 | → | 479 |
42 | → | 538 |
42 | → | 3 |
216 | → | 191 |
216 | → | 434 |
216 | → | 258 |
216 | → | 121 |
216 | → | 41 |
216 | → | 240 |
216 | → | 386 |
216 | → | 1 |
1675 | → | 9 |
752 | → | 729 |
637 | → | 367 |
709 | → | 699 |
709 | → | 1018 |
856 | → | 874 |
847 | → | 840 |
1572 | → | 990 |
825 | → | 630 |
825 | → | 191 |
825 | → | 241 |
1090 | → | 1077 |
531 | → | 703 |
17 | → | 1276 |
1644 | → | 163 |
683 | → | 667 |
510 | → | 1280 |
727 | → | 582 |
164 | → | 677 |
1433 | → | 424 |
1439 | → | 764 |
1439 | → | 1721 |
1523 | → | 856 |
1017 | → | 476 |
424 | → | 502 |
424 | → | 753 |
68 | → | 9 |
68 | → | 472 |
68 | → | 563 |
462 | → | 1460 |
462 | → | 1468 |
462 | → | 1504 |
462 | → | 1522 |
762 | → | 582 |
762 | → | 1211 |
267 | → | 977 |
1153 | → | 613 |
215 | → | 1615 |
215 | → | 1653 |
215 | → | 1676 |
492 | → | 198 |
974 | → | 961 |
1419 | → | 424 |
1469 | → | 9 |
865 | → | 260 |
1677 | → | 170 |
1695 | → | 9 |
142 | → | 92 |
482 | → | 473 |
1058 | → | 514 |
1281 | → | 529 |
1281 | → | 1295 |
465 | → | 424 |
465 | → | 747 |
465 | → | 1055 |
465 | → | 1152 |
259 | → | 493 |
259 | → | 610 |
92 | → | 162 |
92 | → | 529 |
92 | → | 638 |
1210 | → | 630 |
575 | → | 1012 |
1171 | → | 425 |
1171 | → | 601 |
1171 | → | 359 |
1171 | → | 458 |
1171 | → | 288 |
1171 | → | 123 |
1171 | → | 43 |
1171 | → | 190 |
1171 | → | 388 |
1171 | → | 4 |
1171 | → | 588 |
1171 | → | 407 |
1171 | → | 261 |
1171 | → | 1616 |
1233 | → | 601 |
1233 | → | 359 |
1233 | → | 458 |
1233 | → | 288 |
1233 | → | 123 |
1233 | → | 43 |
1233 | → | 190 |
1233 | → | 388 |
1233 | → | 4 |
1233 | → | 574 |
1233 | → | 389 |
910 | → | 263 |
367 | → | 975 |
367 | → | 1268 |
546 | → | 1246 |
546 | → | 1402 |
546 | → | 1424 |
144 | → | 92 |
1218 | → | 632 |
266 | → | 1378 |
266 | → | 1418 |
1241 | → | 1224 |
1241 | → | 1388 |
1269 | → | 660 |
680 | → | 1524 |
1552 | → | 912 |
1558 | → | 912 |
1671 | → | 9 |
1689 | → | 764 |
1023 | → | 497 |
1304 | → | 163 |
682 | → | 1563 |
1521 | → | 856 |
1088 | → | 1077 |
845 | → | 580 |
1590 | → | 538 |
1485 | → | 764 |
1123 | → | 334 |
1580 | → | 359 |
644 | → | 635 |
191 | → | 327 |
191 | → | 485 |
191 | → | 520 |
191 | → | 629 |
1147 | → | 612 |
192 | → | 337 |
192 | → | 660 |
192 | → | 943 |
849 | → | 840 |
1381 | → | 530 |
661 | → | 1057 |
661 | → | 1140 |
1039 | → | 1030 |
291 | → | 259 |
459 | → | 424 |
459 | → | 728 |
459 | → | 958 |
459 | → | 1266 |
1086 | → | 473 |
1086 | → | 572 |
1086 | → | 9 |
1086 | → | 464 |
1086 | → | 310 |
1086 | → | 160 |
1086 | → | 89 |
1086 | → | 200 |
1086 | → | 369 |
1086 | → | 3 |
1086 | → | 90 |
1086 | → | 482 |
883 | → | 729 |
883 | → | 754 |
1534 | → | 753 |
1534 | → | 424 |
1534 | → | 1433 |
1534 | → | 913 |
1427 | → | 424 |
545 | → | 1307 |
435 | → | 424 |
513 | → | 603 |
898 | → | 194 |
1519 | → | 856 |
21(1122) | → | 1123 |
21(871) | → | 872 |
21(507) | → | 508 |
21(1378) | → | 1379 |
21(123) | → | 124 |
21(1274) | → | 1275 |
21(625) | → | 626 |
21(1038) | → | 1039 |
21(1623) | → | 1624 |
21(579) | → | 580 |
21(622) | → | 623 |
21(657) | → | 658 |
21(540) | → | 541 |
21(965) | → | 966 |
21(527) | → | 528 |
21(958) | → | 959 |
21(1332) | → | 1333 |
21(1165) | → | 1166 |
21(1490) | → | 1491 |
21(263) | → | 264 |
21(1333) | → | 1334 |
21(466) | → | 467 |
21(141) | → | 142 |
21(1311) | → | 1312 |
21(1230) | → | 1231 |
21(1238) | → | 1239 |
21(962) | → | 963 |
21(1227) | → | 1228 |
21(335) | → | 336 |
21(1081) | → | 1082 |
21(160) | → | 161 |
21(656) | → | 657 |
21(360) | → | 361 |
21(684) | → | 685 |
21(195) | → | 196 |
21(848) | → | 849 |
21(654) | → | 655 |
21(580) | → | 581 |
21(327) | → | 328 |
21(91) | → | 92 |
21(1228) | → | 1229 |
21(607) | → | 608 |
21(696) | → | 697 |
21(167) | → | 168 |
21(143) | → | 144 |
21(1168) | → | 1169 |
21(846) | → | 847 |
21(1635) | → | 1636 |
21(1498) | → | 1499 |
21(513) | → | 514 |
21(1152) | → | 1153 |
21(1637) | → | 1638 |
21(1033) | → | 1034 |
21(198) | → | 199 |
21(1014) | → | 1015 |
21(342) | → | 343 |
21(1012) | → | 1013 |
21(841) | → | 842 |
21(839) | → | 840 |
21(497) | → | 498 |
21(840) | → | 841 |
21(1496) | → | 1497 |
21(93) | → | 94 |
21(734) | → | 735 |
21(581) | → | 582 |
21(729) | → | 730 |
21(1649) | → | 1650 |
21(1331) | → | 1332 |
21(1276) | → | 1277 |
21(1372) | → | 1373 |
21(341) | → | 342 |
21(163) | → | 164 |
21(427) | → | 428 |
21(643) | → | 644 |
21(495) | → | 496 |
21(503) | → | 504 |
21(697) | → | 698 |
21(1231) | → | 1232 |
21(367) | → | 368 |
21(469) | → | 470 |
21(758) | → | 759 |
21(92) | → | 93 |
21(1698) | → | 1699 |
21(1293) | → | 1294 |
21(686) | → | 687 |
21(1246) | → | 1247 |
21(1280) | → | 1281 |
21(704) | → | 705 |
21(695) | → | 696 |
21(1621) | → | 1622 |
21(1278) | → | 1279 |
21(1700) | → | 1701 |
21(1504) | → | 1505 |
21(723) | → | 724 |
21(867) | → | 868 |
21(961) | → | 962 |
21(1506) | → | 1507 |
21(267) | → | 268 |
21(98) | → | 99 |
21(337) | → | 338 |
21(1079) | → | 1080 |
21(1057) | → | 1058 |
21(1240) | → | 1241 |
21(97) | → | 98 |
21(334) | → | 335 |
21(261) | → | 262 |
21(1629) | → | 1630 |
21(363) | → | 364 |
21(969) | → | 970 |
21(612) | → | 613 |
21(1223) | → | 1224 |
21(685) | → | 686 |
21(1307) | → | 1308 |
21(542) | → | 543 |
21(359) | → | 360 |
21(653) | → | 654 |
21(121) | → | 122 |
21(1029) | → | 1030 |
21(663) | → | 664 |
21(1309) | → | 1310 |
21(491) | → | 492 |
52(1728) | → | 1729 |
52(1557) | → | 1558 |
52(911) | → | 912 |
52(924) | → | 925 |
52(1729) | → | 1730 |
52(863) | → | 864 |
52(922) | → | 923 |
52(1551) | → | 1552 |
52(1724) | → | 1725 |
52(993) | → | 994 |
52(1723) | → | 1724 |
52(992) | → | 993 |
52(1535) | → | 1536 |
52(926) | → | 927 |
52(1563) | → | 1564 |
52(1532) | → | 1533 |
52(1722) | → | 1723 |
12(822) | → | 823 |
12(997) | → | 998 |
12(770) | → | 771 |
12(769) | → | 770 |
12(1721) | → | 1722 |
12(882) | → | 883 |
12(821) | → | 822 |
22(916) | → | 917 |
22(855) | → | 856 |
22(920) | → | 921 |
22(1704) | → | 1705 |
22(990) | → | 991 |
22(856) | → | 857 |
22(879) | → | 880 |
22(991) | → | 992 |
22(1524) | → | 1525 |
22(861) | → | 862 |
22(875) | → | 876 |
22(1525) | → | 1526 |
22(857) | → | 858 |
22(1526) | → | 1527 |
22(1530) | → | 1531 |
22(994) | → | 995 |
22(1518) | → | 1519 |
22(1514) | → | 1515 |
22(862) | → | 863 |
22(1726) | → | 1727 |
22(1520) | → | 1521 |
22(931) | → | 932 |
22(1702) | → | 1703 |
22(1512) | → | 1513 |
22(1725) | → | 1726 |
22(935) | → | 936 |
22(998) | → | 999 |
22(1727) | → | 1728 |
22(914) | → | 915 |
22(1531) | → | 1532 |
22(929) | → | 930 |
22(1522) | → | 1523 |
01(1232) | → | 1233 |
01(941) | → | 942 |
01(576) | → | 577 |
01(870) | → | 871 |
01(331) | → | 332 |
01(677) | → | 678 |
01(467) | → | 468 |
01(529) | → | 530 |
01(1682) | → | 1683 |
01(423) | → | 424 |
01(680) | → | 681 |
01(842) | → | 843 |
01(660) | → | 661 |
01(1117) | → | 1118 |
01(494) | → | 495 |
01(1380) | → | 1381 |
01(533) | → | 534 |
01(1680) | → | 1681 |
01(1388) | → | 1389 |
01(11) | → | 12 |
01(613) | → | 614 |
01(601) | → | 602 |
01(1059) | → | 1060 |
01(434) | → | 435 |
01(468) | → | 469 |
01(262) | → | 263 |
01(756) | → | 757 |
01(721) | → | 722 |
01(1432) | → | 1433 |
01(1410) | → | 1411 |
01(191) | → | 192 |
01(426) | → | 427 |
01(793) | → | 794 |
01(332) | → | 333 |
01(169) | → | 170 |
01(1119) | → | 1120 |
01(1172) | → | 1173 |
01(1676) | → | 1677 |
01(1627) | → | 1628 |
01(690) | → | 691 |
01(166) | → | 167 |
01(333) | → | 334 |
01(1146) | → | 1147 |
01(524) | → | 525 |
01(621) | → | 622 |
01(586) | → | 587 |
01(1416) | → | 1417 |
01(460) | → | 461 |
01(94) | → | 95 |
01(966) | → | 967 |
01(1386) | → | 1387 |
01(12) | → | 13 |
01(464) | → | 465 |
01(1268) | → | 1269 |
01(1426) | → | 1427 |
01(259) | → | 260 |
01(611) | → | 612 |
01(658) | → | 659 |
01(1424) | → | 1425 |
01(678) | → | 679 |
01(488) | → | 489 |
01(1668) | → | 1669 |
01(1408) | → | 1409 |
01(732) | → | 733 |
01(574) | → | 575 |
01(364) | → | 365 |
01(1266) | → | 1267 |
01(720) | → | 721 |
01(909) | → | 910 |
01(343) | → | 344 |
01(788) | → | 789 |
01(338) | → | 339 |
01(462) | → | 463 |
01(588) | → | 589 |
01(512) | → | 513 |
01(1055) | → | 1056 |
01(329) | → | 330 |
01(671) | → | 672 |
01(458) | → | 459 |
01(498) | → | 499 |
01(1164) | → | 1165 |
01(1068) | → | 1069 |
01(1418) | → | 1419 |
01(666) | → | 667 |
01(100) | → | 101 |
01(789) | → | 790 |
01(1072) | → | 1073 |
01(16) | → | 17 |
50(3) | → | 5 |
50(6) | → | 5 |
50(5) | → | 5 |
50(4) | → | 5 |
50(2) | → | 5 |
50(1) | → | 5 |
20(2) | → | 6 |
20(6) | → | 6 |
20(4) | → | 6 |
20(1) | → | 6 |
20(3) | → | 6 |
20(5) | → | 6 |
32(859) | → | 860 |
32(1571) | → | 1572 |
32(989) | → | 990 |
32(816) | → | 817 |
32(934) | → | 935 |
32(880) | → | 881 |
32(1528) | → | 1529 |
32(928) | → | 929 |
32(764) | → | 765 |
32(919) | → | 920 |
32(765) | → | 766 |
32(817) | → | 818 |
32(913) | → | 914 |
32(1573) | → | 1574 |
30(1) | → | 4 |
30(6) | → | 4 |
30(3) | → | 4 |
30(5) | → | 4 |
30(2) | → | 4 |
30(4) | → | 4 |
51(699) | → | 700 |
51(617) | → | 618 |
51(694) | → | 695 |
51(1334) | → | 1335 |
51(99) | → | 100 |
51(582) | → | 583 |
51(692) | → | 693 |
51(344) | → | 345 |
51(1329) | → | 1330 |
51(362) | → | 363 |
51(689) | → | 690 |
51(269) | → | 270 |
51(682) | → | 683 |
51(616) | → | 617 |
51(536) | → | 537 |
51(288) | → | 289 |
51(964) | → | 965 |
51(290) | → | 291 |
51(1328) | → | 1329 |
51(1335) | → | 1336 |
51(701) | → | 702 |
51(308) | → | 309 |
51(310) | → | 311 |
51(963) | → | 964 |
51(726) | → | 727 |
51(698) | → | 699 |
51(361) | → | 362 |
51(1330) | → | 1331 |
51(693) | → | 694 |
51(258) | → | 259 |
11(751) | → | 752 |
11(1071) | → | 1072 |
11(517) | → | 518 |
11(572) | → | 573 |
11(1219) | → | 1220 |
11(366) | → | 367 |
11(509) | → | 510 |
11(532) | → | 533 |
11(629) | → | 630 |
11(753) | → | 754 |
11(328) | → | 329 |
11(577) | → | 578 |
11(687) | → | 688 |
11(707) | → | 708 |
11(200) | → | 201 |
11(705) | → | 706 |
11(561) | → | 562 |
11(490) | → | 491 |
11(531) | → | 532 |
11(681) | → | 682 |
11(728) | → | 729 |
11(1166) | → | 1167 |
11(1016) | → | 1017 |
11(1120) | → | 1121 |
11(1169) | → | 1170 |
11(792) | → | 793 |
11(475) | → | 476 |
11(238) | → | 239 |
11(429) | → | 430 |
11(968) | → | 969 |
11(1226) | → | 1227 |
11(749) | → | 750 |
11(190) | → | 191 |
11(217) | → | 218 |
11(627) | → | 628 |
11(215) | → | 216 |
11(634) | → | 635 |
11(1070) | → | 1071 |
11(755) | → | 756 |
11(14) | → | 15 |
11(522) | → | 523 |
11(470) | → | 471 |
11(1163) | → | 1164 |
11(1035) | → | 1036 |
11(240) | → | 241 |
11(725) | → | 726 |
11(430) | → | 431 |
11(521) | → | 522 |
11(1211) | → | 1212 |
11(761) | → | 762 |
11(170) | → | 171 |
11(623) | → | 624 |
11(1327) | → | 1328 |
11(1209) | → | 1210 |
11(620) | → | 621 |
11(635) | → | 636 |
11(1170) | → | 1171 |
11(652) | → | 653 |
11(760) | → | 761 |
11(1224) | → | 1225 |
11(1225) | → | 1226 |
11(747) | → | 748 |
11(1337) | → | 1338 |
11(15) | → | 16 |
11(626) | → | 627 |
11(1066) | → | 1067 |
11(791) | → | 792 |
11(516) | → | 517 |
11(563) | → | 564 |
11(639) | → | 640 |
11(638) | → | 639 |
11(706) | → | 707 |
11(548) | → | 549 |
11(1077) | → | 1078 |
11(538) | → | 539 |
00(3) | → | 2 |
00(5) | → | 2 |
00(2) | → | 2 |
00(4) | → | 2 |
00(1) | → | 2 |
00(6) | → | 2 |
40(2) | → | 3 |
40(4) | → | 3 |
40(3) | → | 3 |
40(6) | → | 3 |
40(1) | → | 3 |
40(5) | → | 3 |
31(534) | → | 535 |
31(672) | → | 673 |
31(431) | → | 432 |
31(266) | → | 267 |
31(615) | → | 616 |
31(523) | → | 524 |
31(670) | → | 671 |
31(489) | → | 490 |
31(9) | → | 10 |
31(731) | → | 732 |
31(843) | → | 844 |
31(618) | → | 619 |
31(543) | → | 544 |
31(640) | → | 641 |
31(477) | → | 478 |
31(1010) | → | 1011 |
31(975) | → | 976 |
31(1396) | → | 1397 |
31(973) | → | 974 |
31(1615) | → | 1616 |
31(960) | → | 961 |
31(632) | → | 633 |
31(787) | → | 788 |
31(667) | → | 668 |
31(1617) | → | 1618 |
31(506) | → | 507 |
31(473) | → | 474 |
31(630) | → | 631 |
31(493) | → | 494 |
31(369) | → | 370 |
31(425) | → | 426 |
31(674) | → | 675 |
31(733) | → | 734 |
31(971) | → | 972 |
31(977) | → | 978 |
31(578) | → | 579 |
31(1083) | → | 1084 |
31(1032) | → | 1033 |
31(1074) | → | 1075 |
31(168) | → | 169 |
31(1073) | → | 1074 |
31(1140) | → | 1141 |
31(404) | → | 405 |
31(514) | → | 515 |
31(428) | → | 429 |
31(358) | → | 359 |
31(196) | → | 197 |
31(722) | → | 723 |
31(406) | → | 407 |
31(518) | → | 519 |
31(1085) | → | 1086 |
31(544) | → | 545 |
31(1579) | → | 1580 |
31(631) | → | 632 |
31(386) | → | 387 |
31(485) | → | 486 |
31(603) | → | 604 |
31(474) | → | 475 |
31(388) | → | 389 |
31(424) | → | 425 |
31(1126) | → | 1127 |
31(1082) | → | 1083 |
31(1116) | → | 1117 |
31(703) | → | 704 |
31(1124) | → | 1125 |
31(10) | → | 11 |
31(515) | → | 516 |
31(340) | → | 341 |
31(633) | → | 634 |
31(757) | → | 758 |
31(197) | → | 198 |
31(535) | → | 536 |
31(95) | → | 96 |
31(614) | → | 615 |
31(786) | → | 787 |
31(664) | → | 665 |
31(525) | → | 526 |
31(1121) | → | 1122 |
31(1217) | → | 1218 |
31(642) | → | 643 |
31(679) | → | 680 |
31(872) | → | 873 |
31(260) | → | 261 |
31(669) | → | 670 |
31(546) | → | 547 |
31(192) | → | 193 |
41(165) | → | 166 |
41(1295) | → | 1296 |
41(194) | → | 195 |
41(65) | → | 66 |
41(662) | → | 663 |
41(1089) | → | 1090 |
41(505) | → | 506 |
41(539) | → | 540 |
41(708) | → | 709 |
41(41) | → | 42 |
41(17) | → | 18 |
41(675) | → | 676 |
41(499) | → | 500 |
41(1018) | → | 1019 |
41(1478) | → | 1479 |
41(89) | → | 90 |
41(665) | → | 666 |
41(759) | → | 760 |
41(1118) | → | 1119 |
41(796) | → | 797 |
41(510) | → | 511 |
41(486) | → | 487 |
41(610) | → | 611 |
41(1655) | → | 1656 |
41(641) | → | 642 |
41(868) | → | 869 |
41(1653) | → | 1654 |
41(1402) | → | 1403 |
41(1022) | → | 1023 |
41(1301) | → | 1302 |
41(500) | → | 501 |
41(1078) | → | 1079 |
41(502) | → | 503 |
41(943) | → | 944 |
41(472) | → | 473 |
41(264) | → | 265 |
41(1087) | → | 1088 |
41(1470) | → | 1471 |
41(730) | → | 731 |
41(1091) | → | 1092 |
41(608) | → | 609 |
41(479) | → | 480 |
41(1020) | → | 1021 |
41(1647) | → | 1648 |
41(785) | → | 786 |
41(476) | → | 477 |
41(13) | → | 14 |
41(504) | → | 505 |
41(1326) | → | 1327 |
41(1229) | → | 1230 |
41(1034) | → | 1035 |
41(724) | → | 725 |
41(575) | → | 576 |
41(96) | → | 97 |
41(67) | → | 68 |
41(526) | → | 527 |
41(604) | → | 605 |
41(193) | → | 194 |
41(688) | → | 689 |
41(967) | → | 968 |
41(1674) | → | 1675 |
41(1076) | → | 1077 |
41(1162) | → | 1163 |
41(844) | → | 845 |
41(866) | → | 867 |
41(1641) | → | 1642 |
41(1476) | → | 1477 |
41(790) | → | 791 |
41(869) | → | 870 |
41(164) | → | 165 |
41(606) | → | 607 |
41(661) | → | 662 |
41(605) | → | 606 |
41(897) | → | 898 |
41(365) | → | 366 |
41(624) | → | 625 |
41(1643) | → | 1644 |
41(339) | → | 340 |
41(530) | → | 531 |
41(1028) | → | 1029 |
41(1468) | → | 1469 |
41(1462) | → | 1463 |
41(520) | → | 521 |
41(432) | → | 433 |
41(1303) | → | 1304 |
41(265) | → | 266 |
41(636) | → | 637 |
41(1696) | → | 1697 |
41(1031) | → | 1032 |
41(655) | → | 656 |
41(809) | → | 810 |
41(1084) | → | 1085 |
41(1069) | → | 1070 |
41(1080) | → | 1081 |
41(1589) | → | 1590 |
41(673) | → | 674 |
41(1036) | → | 1037 |
41(496) | → | 497 |
41(330) | → | 331 |
41(508) | → | 509 |
41(794) | → | 795 |
41(541) | → | 542 |
41(43) | → | 44 |
41(1591) | → | 1592 |
41(1394) | → | 1395 |
41(487) | → | 488 |
41(1670) | → | 1671 |
41(1343) | → | 1344 |
41(1030) | → | 1031 |
41(481) | → | 482 |
41(1694) | → | 1695 |
41(8) | → | 9 |
41(162) | → | 163 |
41(545) | → | 546 |
41(1167) | → | 1168 |
02(881) | → | 882 |
02(864) | → | 865 |
02(995) | → | 996 |
02(819) | → | 820 |
02(927) | → | 928 |
02(771) | → | 772 |
02(915) | → | 916 |
02(818) | → | 819 |
02(1533) | → | 1534 |
02(878) | → | 879 |
02(930) | → | 931 |
02(823) | → | 824 |
02(912) | → | 913 |
02(858) | → | 859 |
02(1527) | → | 1528 |
02(766) | → | 767 |
02(767) | → | 768 |
10(1) | → | 1 |
10(6) | → | 1 |
10(5) | → | 1 |
10(2) | → | 1 |
10(3) | → | 1 |
10(4) | → | 1 |
42(768) | → | 769 |
42(1440) | → | 1441 |
42(1529) | → | 1530 |
42(1690) | → | 1691 |
42(763) | → | 764 |
42(918) | → | 919 |
42(860) | → | 861 |
42(1438) | → | 1439 |
42(1454) | → | 1455 |
42(877) | → | 878 |
42(772) | → | 773 |
42(996) | → | 997 |
42(874) | → | 875 |
42(815) | → | 816 |
42(876) | → | 877 |
42(824) | → | 825 |
42(820) | → | 821 |
42(1688) | → | 1689 |
42(1484) | → | 1485 |
42(932) | → | 933 |
42(826) | → | 827 |
42(917) | → | 918 |
42(933) | → | 934 |
42(1460) | → | 1461 |