Certification Problem

Input (TPDB SRS_Standard/ICFP_2010/41378)

The rewrite relation of the following TRS is considered.

Property / Task

Prove or disprove termination.

Answer / Result

Yes.

Proof (by ttt2 @ termCOMP 2023)

1 String Reversal

Since only unary symbols occur, one can reverse all terms and obtains the TRS

1.1 Bounds

The given TRS is match-(raise)-bounded by 1. This is shown by the following automaton.

final states:

{7}

transitions:

2441	→	315
2441	→	1323
2441	→	618
2441	→	210
2441	→	109
2441	→	415
2441	→	821
2441	→	7
2441	→	211
4337	→	416
111	→	519
2759	→	1122
2759	→	1123
2759	→	7
2759	→	1024
2759	→	416
4450	→	822
3505	→	315
3505	→	1323
3505	→	618
3505	→	210
3505	→	109
3505	→	415
3505	→	821
3505	→	7
3505	→	211
3504	→	4439
3504	→	4441
3504	→	4443
4565	→	1924
4024	→	4445
1121	→	513
3073	→	4453
3073	→	4560
3073	→	4568
211	→	315
2126	→	211
2126	→	7
2126	→	417
1923	→	616
3920	→	1324
617	→	7
617	→	1122
617	→	1123
617	→	1024
617	→	416
617	→	1324
617	→	110
617	→	1926
617	→	315
617	→	211
4559	→	1122
3918	→	1324
4229	→	315
4229	→	1323
4229	→	618
4229	→	210
4229	→	109
4229	→	415
4229	→	821
4229	→	7
4229	→	211
209	→	7
209	→	211
209	→	417
4444	→	822
1220	→	413
1019	→	616
1721	→	3395
416	→	1024
416	→	1122
1722	→	7
1722	→	315
1722	→	211
4561	→	1122
3074	→	1122
3074	→	1123
3074	→	7
3074	→	1024
3074	→	416
920	→	616
1421	→	308
309	→	3921
309	→	3925
309	→	4127
1622	→	413
208	→	2026
208	→	2331
208	→	2341
4454	→	1623
619	→	921
619	→	1924
1322	→	616
823	→	1225
3924	→	1528
4448	→	1122
3396	→	1024
2021	→	615
717	→	309
4446	→	1024
4333	→	110
1925	→	3291
4567	→	1924
2440	→	4451
2440	→	4558
2440	→	4566
514	→	309
1219	→	3405
1219	→	3915
7	→	109
7	→	210
7	→	415
7	→	618
7	→	821
7	→	1323
621	→	3923
3292	→	924
2439	→	4564
1321	→	3919
310	→	7
310	→	1324
310	→	315
310	→	211
310	→	1122
310	→	1123
310	→	1024
310	→	416
310	→	1124
310	→	417
310	→	1325
2332	→	211
414	→	7
414	→	110
414	→	315
414	→	211
414	→	1324
3916	→	822
3503	→	4447
3503	→	4449
1017	→	3917
4440	→	110
413	→	2659
413	→	2974
413	→	3285
4442	→	619
3922	→	1525
3922	→	4230
4128	→	1122
4231	→	4131
4452	→	1623
2125	→	4332
2125	→	4334
2125	→	4336
4025	→	315
4025	→	1323
4025	→	618
4025	→	210
4025	→	109
4025	→	415
4025	→	821
4025	→	7
4025	→	211
3286	→	822
822	→	1524
822	→	1623
4335	→	211
4569	→	1924
1123	→	1826
513	→	4129
5₁(529)	→	530
5₁(2988)	→	2989
5₁(1208)	→	1209
5₁(2692)	→	2693
5₁(3484)	→	3485
5₁(4136)	→	4137
5₁(4013)	→	4014
5₁(3429)	→	3430
5₁(1274)	→	1275
5₁(905)	→	906
5₁(2422)	→	2423
5₁(3965)	→	3966
5₁(539)	→	540
5₁(1264)	→	1265
5₁(4148)	→	4149
5₁(1543)	→	1544
5₁(1969)	→	1970
5₁(2659)	→	2660
5₁(2089)	→	2090
5₁(2107)	→	2108
5₁(543)	→	544
5₁(896)	→	897
5₁(2681)	→	2682
5₁(547)	→	548
5₁(371)	→	372
5₁(3963)	→	3964
5₁(2087)	→	2088
5₁(3001)	→	3002
5₁(2712)	→	2713
5₁(558)	→	559
5₁(1693)	→	1694
5₁(2729)	→	2730
5₁(1845)	→	1846
5₁(4332)	→	4333
5₁(1006)	→	1007
5₁(1922)	→	1923
5₁(1058)	→	1059
5₁(3432)	→	3433
5₁(4007)	→	4008
5₁(639)	→	640
5₁(170)	→	171
5₁(1050)	→	1051
5₁(1178)	→	1179
5₁(119)	→	120
5₁(190)	→	191
5₁(4174)	→	4175
5₁(689)	→	690
5₁(2439)	→	2440
5₁(3028)	→	3029
5₁(231)	→	232
5₁(466)	→	467
5₁(1927)	→	1928
5₁(1389)	→	1390
5₁(687)	→	688
5₁(2432)	→	2433
5₁(410)	→	411
5₁(863)	→	864
5₁(2700)	→	2701
5₁(381)	→	382
5₁(370)	→	371
5₁(192)	→	193
5₁(1227)	→	1228
5₁(1356)	→	1357
5₁(1976)	→	1977
5₁(362)	→	363
5₁(335)	→	336
5₁(931)	→	932
5₁(1294)	→	1295
5₁(1272)	→	1273
5₁(587)	→	588
5₁(923)	→	924
5₁(3977)	→	3978
5₁(2035)	→	2036
5₁(1304)	→	1305
5₁(659)	→	660
5₁(4132)	→	4133
5₁(316)	→	317
5₁(1710)	→	1711
5₁(2977)	→	2978
5₁(4221)	→	4222
5₁(1977)	→	1978
5₁(2091)	→	2092
5₁(606)	→	607
5₁(607)	→	608
5₁(1873)	→	1874
5₁(3041)	→	3042
5₁(506)	→	507
5₁(4175)	→	4176
5₁(1895)	→	1896
5₁(2438)	→	2439
5₁(1030)	→	1031
5₁(422)	→	423
5₁(2099)	→	2100
5₁(325)	→	326
5₁(1352)	→	1353
5₁(2031)	→	2032
5₁(1068)	→	1069
5₁(2437)	→	2438
5₁(513)	→	514
5₁(242)	→	243
5₁(114)	→	115
5₁(598)	→	599
5₁(3492)	→	3493
5₁(2015)	→	2016
5₁(4182)	→	4183
5₁(1098)	→	1099
5₁(1905)	→	1906
5₁(2018)	→	2019
5₁(1852)	→	1853
5₁(2355)	→	2356
5₁(980)	→	981
5₁(174)	→	175
5₁(4009)	→	4010
5₁(449)	→	450
5₁(856)	→	857
5₁(1084)	→	1085
5₁(875)	→	876
5₁(1573)	→	1574
5₁(1014)	→	1015
5₁(412)	→	413
5₁(645)	→	646
5₁(1844)	→	1845
5₁(1968)	→	1969
5₁(2749)	→	2750
5₁(667)	→	668
5₁(857)	→	858
5₁(1148)	→	1149
5₁(946)	→	947
5₁(3417)	→	3418
5₁(1325)	→	1326
5₁(2366)	→	2367
5₁(3933)	→	3934
5₁(983)	→	984
5₁(943)	→	944
5₁(1704)	→	1705
5₁(134)	→	135
5₁(1682)	→	1683
5₁(711)	→	712
5₁(882)	→	883
5₁(890)	→	891
5₁(955)	→	956
5₁(610)	→	611
5₁(1265)	→	1266
5₁(1115)	→	1116
5₁(1255)	→	1256
5₁(1848)	→	1849
5₁(1910)	→	1911
5₁(262)	→	263
5₁(309)	→	310
5₁(118)	→	119
5₁(1385)	→	1386
5₁(4149)	→	4150
5₁(2348)	→	2349
5₁(144)	→	145
5₁(2690)	→	2691
5₁(1398)	→	1399
5₁(1145)	→	1146
5₁(1157)	→	1158
5₁(1300)	→	1301
5₁(1370)	→	1371
5₁(172)	→	173
5₁(180)	→	181
5₁(4224)	→	4225
5₁(2051)	→	2052
5₁(1926)	→	1927
5₁(609)	→	610
5₁(4133)	→	4134
5₁(496)	→	497
5₁(213)	→	214
5₁(2026)	→	2027
5₁(1662)	→	1663
5₁(979)	→	980
5₁(1657)	→	1658
5₁(2375)	→	2376
5₁(2109)	→	2110
5₁(1630)	→	1631
5₁(2696)	→	2697
5₁(1244)	→	1245
5₁(1289)	→	1290
5₁(672)	→	673
5₁(3007)	→	3008
5₁(1337)	→	1338
5₁(1411)	→	1412
5₁(2748)	→	2749
5₁(4017)	→	4018
5₁(554)	→	555
5₁(1563)	→	1564
5₁(1932)	→	1933
5₁(3045)	→	3046
5₁(970)	→	971
5₁(1930)	→	1931
5₁(2346)	→	2347
5₁(1037)	→	1038
5₁(3015)	→	3016
5₁(1588)	→	1589
5₁(184)	→	185
5₁(3023)	→	3024
5₁(4196)	→	4197
5₁(1200)	→	1201
5₁(632)	→	633
5₁(2751)	→	2752
5₁(1660)	→	1661
5₁(3024)	→	3025
5₁(512)	→	513
5₁(3462)	→	3463
5₁(432)	→	433
5₁(2358)	→	2359
5₁(4138)	→	4139
5₁(1051)	→	1052
5₁(295)	→	296
5₁(3441)	→	3442
5₁(1226)	→	1227
5₁(367)	→	368
5₁(320)	→	321
5₁(1714)	→	1715
5₁(336)	→	337
5₁(548)	→	549
5₁(1565)	→	1566
5₁(2699)	→	2700
5₁(3043)	→	3044
5₁(1001)	→	1002
5₁(1390)	→	1391
5₁(668)	→	669
5₁(3985)	→	3986
5₁(1237)	→	1238
5₁(2108)	→	2109
5₁(1942)	→	1943
5₁(1275)	→	1276
5₁(420)	→	421
5₁(2671)	→	2672
5₁(2685)	→	2686
5₁(827)	→	828
5₁(307)	→	308
5₁(3960)	→	3961
5₁(1636)	→	1637
5₁(429)	→	430
5₁(4439)	→	4440
5₁(926)	→	927
5₁(906)	→	907
5₁(1234)	→	1235
5₁(1585)	→	1586
5₁(3996)	→	3997
5₁(884)	→	885
5₁(1534)	→	1535
5₁(1570)	→	1571
5₁(2097)	→	2098
5₁(268)	→	269
5₁(3073)	→	3074
5₁(2392)	→	2393
5₁(2440)	→	2441
5₁(1850)	→	1851
5₁(225)	→	226
5₁(873)	→	874
5₁(4134)	→	4135
5₁(245)	→	246
5₁(1057)	→	1058
5₁(511)	→	512
5₁(3409)	→	3410
5₁(4183)	→	4184
5₁(2689)	→	2690
5₁(348)	→	349
5₁(565)	→	566
5₁(917)	→	918
5₁(1125)	→	1126
5₁(1243)	→	1244
5₁(1706)	→	1707
5₁(3939)	→	3940
5₁(191)	→	192
5₁(1839)	→	1840
5₁(1082)	→	1083
5₁(621)	→	622
5₁(201)	→	202
5₁(3984)	→	3985
5₁(257)	→	258
5₁(1616)	→	1617
5₁(1364)	→	1365
5₁(2118)	→	2119
5₁(2417)	→	2418
5₁(363)	→	364
5₁(2995)	→	2996
5₁(1863)	→	1864
5₁(2752)	→	2753
5₁(648)	→	649
5₁(1943)	→	1944
5₁(2707)	→	2708
5₁(4166)	→	4167
5₁(685)	→	686
5₁(284)	→	285
5₁(3291)	→	3292
5₁(182)	→	183
5₁(948)	→	949
5₁(998)	→	999
5₁(3067)	→	3068
5₁(1318)	→	1319
5₁(109)	→	110
5₁(2036)	→	2037
5₁(1870)	→	1871
5₁(1674)	→	1675
5₁(2740)	→	2741
5₁(2065)	→	2066
5₁(651)	→	652
5₁(1591)	→	1592
5₁(440)	→	441
5₁(570)	→	571
5₁(1960)	→	1961
5₁(953)	→	954
5₁(1990)	→	1991
5₁(3004)	→	3005
5₁(148)	→	149
5₁(1250)	→	1251
5₁(2061)	→	2062
5₁(2101)	→	2102
5₁(333)	→	334
5₁(1181)	→	1182
5₁(942)	→	943
5₁(1133)	→	1134
5₁(1537)	→	1538
5₁(1015)	→	1016
5₁(557)	→	558
5₁(491)	→	492
5₁(1928)	→	1929
5₁(1380)	→	1381
5₁(3465)	→	3466
5₁(550)	→	551
5₁(1399)	→	1400
5₁(1681)	→	1682
2₁(1405)	→	1406
2₁(282)	→	283
2₁(3948)	→	3949
2₁(4015)	→	4016
2₁(220)	→	221
2₁(1880)	→	1881
2₁(1377)	→	1378
2₁(1186)	→	1187
2₁(4004)	→	4005
2₁(1035)	→	1036
2₁(1232)	→	1233
2₁(1276)	→	1277
2₁(1283)	→	1284
2₁(3501)	→	3502
2₁(618)	→	619
2₁(2413)	→	2414
2₁(2009)	→	2010
2₁(1368)	→	1369
2₁(2350)	→	2351
2₁(1982)	→	1983
2₁(4167)	→	4168
2₁(2369)	→	2370
2₁(1205)	→	1206
2₁(1643)	→	1644
2₁(1598)	→	1599
2₁(165)	→	166
2₁(2113)	→	2114
2₁(2983)	→	2984
2₁(3979)	→	3980
2₁(590)	→	591
2₁(919)	→	920
2₁(1036)	→	1037
2₁(142)	→	143
2₁(3058)	→	3059
2₁(1691)	→	1692
2₁(2067)	→	2068
2₁(1238)	→	1239
2₁(1367)	→	1368
2₁(3980)	→	3981
2₁(2735)	→	2736
2₁(2043)	→	2044
2₁(1040)	→	1041
2₁(319)	→	320
2₁(1279)	→	1280
2₁(1637)	→	1638
2₁(2732)	→	2733
2₁(3046)	→	3047
2₁(1884)	→	1885
2₁(2093)	→	2094
2₁(1524)	→	1525
2₁(2728)	→	2729
2₁(1016)	→	1017
2₁(3009)	→	3010
2₁(1198)	→	1199
2₁(1649)	→	1650
2₁(1711)	→	1712
2₁(4205)	→	4206
2₁(569)	→	570
2₁(2365)	→	2366
2₁(3453)	→	3454
2₁(1646)	→	1647
2₁(2070)	→	2071
2₁(4209)	→	4210
2₁(1126)	→	1127
2₁(4566)	→	4567
2₁(2006)	→	2007
2₁(406)	→	407
2₁(3972)	→	3973
2₁(113)	→	114
2₁(2372)	→	2373
2₁(167)	→	168
2₁(635)	→	636
2₁(3946)	→	3947
2₁(898)	→	899
2₁(1259)	→	1260
2₁(3953)	→	3954
2₁(1861)	→	1862
2₁(1961)	→	1962
2₁(2666)	→	2667
2₁(3950)	→	3951
2₁(1856)	→	1857
2₁(1999)	→	2000
2₁(1642)	→	1643
2₁(396)	→	397
2₁(3470)	→	3471
2₁(682)	→	683
2₁(696)	→	697
2₁(2011)	→	2012
2₁(4169)	→	4170
2₁(976)	→	977
2₁(2086)	→	2087
2₁(1282)	→	1283
2₁(211)	→	212
2₁(1632)	→	1633
2₁(1114)	→	1115
2₁(1672)	→	1673
2₁(126)	→	127
2₁(1403)	→	1404
2₁(276)	→	277
2₁(708)	→	709
2₁(1667)	→	1668
2₁(183)	→	184
2₁(1217)	→	1218
2₁(1170)	→	1171
2₁(868)	→	869
2₁(1958)	→	1959
2₁(695)	→	696
2₁(1679)	→	1680
2₁(2055)	→	2056
2₁(2100)	→	2101
2₁(271)	→	272
2₁(3020)	→	3021
2₁(115)	→	116
2₁(1994)	→	1995
2₁(860)	→	861
2₁(439)	→	440
2₁(1382)	→	1383
2₁(1169)	→	1170
2₁(841)	→	842
2₁(1214)	→	1215
2₁(292)	→	293
2₁(1065)	→	1066
2₁(2980)	→	2981
2₁(521)	→	522
2₁(1215)	→	1216
2₁(633)	→	634
2₁(956)	→	957
2₁(275)	→	276
2₁(2989)	→	2990
2₁(853)	→	854
2₁(623)	→	624
2₁(227)	→	228
2₁(3412)	→	3413
2₁(1920)	→	1921
2₁(1991)	→	1992
2₁(2030)	→	2031
2₁(478)	→	479
2₁(2379)	→	2380
2₁(3439)	→	3440
2₁(2059)	→	2060
2₁(1245)	→	1246
2₁(2664)	→	2665
2₁(4178)	→	4179
2₁(844)	→	845
2₁(1626)	→	1627
2₁(389)	→	390
2₁(1407)	→	1408
2₁(291)	→	292
2₁(468)	→	469
2₁(3064)	→	3065
2₁(1647)	→	1648
2₁(453)	→	454
2₁(653)	→	654
2₁(1340)	→	1341
2₁(2987)	→	2988
2₁(1303)	→	1304
2₁(4193)	→	4194
2₁(622)	→	623
2₁(2991)	→	2992
2₁(915)	→	916
2₁(829)	→	830
2₁(285)	→	286
2₁(250)	→	251
2₁(1087)	→	1088
2₁(1307)	→	1308
2₁(1830)	→	1831
2₁(4161)	→	4162
2₁(2037)	→	2038
2₁(472)	→	473
2₁(1610)	→	1611
2₁(1343)	→	1344
2₁(1605)	→	1606
2₁(3055)	→	3056
2₁(1650)	→	1651
2₁(1617)	→	1618
2₁(426)	→	427
2₁(1047)	→	1048
2₁(593)	→	594
2₁(880)	→	881
2₁(273)	→	274
2₁(1651)	→	1652
2₁(169)	→	170
2₁(490)	→	491
2₁(270)	→	271
2₁(851)	→	852
2₁(889)	→	890
2₁(910)	→	911
2₁(281)	→	282
2₁(2073)	→	2074
2₁(523)	→	524
2₁(2661)	→	2662
2₁(1155)	→	1156
2₁(1401)	→	1402
2₁(1041)	→	1042
2₁(2081)	→	2082
2₁(3982)	→	3983
2₁(904)	→	905
2₁(2399)	→	2400
2₁(3940)	→	3941
2₁(545)	→	546
2₁(3952)	→	3953
2₁(4441)	→	4442
2₁(1676)	→	1677
2₁(914)	→	915
2₁(661)	→	662
2₁(1627)	→	1628
2₁(690)	→	691
2₁(1062)	→	1063
2₁(2750)	→	2751
2₁(4129)	→	4130
2₁(688)	→	689
2₁(3929)	→	3930
2₁(133)	→	134
2₁(446)	→	447
2₁(1609)	→	1610
2₁(139)	→	140
2₁(374)	→	375
2₁(3489)	→	3490
2₁(1669)	→	1670
2₁(1144)	→	1145
2₁(1603)	→	1604
2₁(3061)	→	3062
2₁(524)	→	525
2₁(3970)	→	3971
2₁(3945)	→	3946
2₁(2050)	→	2051
2₁(300)	→	301
2₁(342)	→	343
2₁(908)	→	909
2₁(552)	→	553
2₁(3954)	→	3955
2₁(153)	→	154
2₁(1587)	→	1588
2₁(586)	→	587
2₁(2978)	→	2979
2₁(443)	→	444
2₁(1555)	→	1556
2₁(3065)	→	3066
2₁(4188)	→	4189
2₁(899)	→	900
2₁(519)	→	520
2₁(1362)	→	1363
2₁(3967)	→	3968
2₁(4181)	→	4182
2₁(1614)	→	1615
2₁(1675)	→	1676
2₁(397)	→	398
2₁(1413)	→	1414
2₁(507)	→	508
2₁(393)	→	394
2₁(1369)	→	1370
2₁(447)	→	448
2₁(485)	→	486
2₁(1386)	→	1387
2₁(2411)	→	2412
2₁(1329)	→	1330
2₁(637)	→	638
2₁(305)	→	306
2₁(1247)	→	1248
2₁(865)	→	866
2₁(155)	→	156
2₁(1415)	→	1416
2₁(2066)	→	2067
2₁(464)	→	465
2₁(409)	→	410
2₁(3921)	→	3922
2₁(997)	→	998
2₁(1175)	→	1176
2₁(4564)	→	4565
2₁(176)	→	177
2₁(1677)	→	1678
2₁(2384)	→	2385
2₁(3459)	→	3460
2₁(3999)	→	4000
2₁(1000)	→	1001
2₁(3994)	→	3995
2₁(850)	→	851
2₁(886)	→	887
2₁(2711)	→	2712
2₁(1032)	→	1033
2₁(1721)	→	1722
2₁(216)	→	217
2₁(848)	→	849
2₁(1578)	→	1579
2₁(713)	→	714
2₁(259)	→	260
2₁(1270)	→	1271
2₁(237)	→	238
2₁(1533)	→	1534
2₁(2394)	→	2395
2₁(3978)	→	3979
2₁(575)	→	576
2₁(2669)	→	2670
2₁(705)	→	706
2₁(274)	→	275
2₁(3410)	→	3411
2₁(981)	→	982
2₁(3475)	→	3476
2₁(2003)	→	2004
2₁(400)	→	401
2₁(2663)	→	2664
2₁(1109)	→	1110
2₁(4215)	→	4216
2₁(678)	→	679
2₁(2665)	→	2666
2₁(473)	→	474
2₁(3069)	→	3070
2₁(424)	→	425
2₁(252)	→	253
2₁(476)	→	477
2₁(938)	→	939
2₁(709)	→	710
2₁(2000)	→	2001
2₁(2974)	→	2975
2₁(4200)	→	4201
2₁(138)	→	139
2₁(372)	→	373
2₁(1668)	→	1669
2₁(196)	→	197
2₁(297)	→	298
2₁(989)	→	990
2₁(1141)	→	1142
2₁(3017)	→	3018
2₁(1100)	→	1101
2₁(1012)	→	1013
2₁(1044)	→	1045
2₁(1230)	→	1231
2₁(2402)	→	2403
2₁(258)	→	259
2₁(2993)	→	2994
2₁(241)	→	242
2₁(2404)	→	2405
2₁(2398)	→	2399
2₁(260)	→	261
2₁(567)	→	568
2₁(2979)	→	2980
2₁(2416)	→	2417
2₁(3499)	→	3500
2₁(1701)	→	1702
2₁(2694)	→	2695
2₁(3482)	→	3483
2₁(1090)	→	1091
2₁(145)	→	146
2₁(1315)	→	1316
2₁(1191)	→	1192
2₁(3971)	→	3972
2₁(4002)	→	4003
2₁(1309)	→	1310
2₁(1645)	→	1646
2₁(2717)	→	2718
2₁(384)	→	385
2₁(1712)	→	1713
2₁(265)	→	266
2₁(339)	→	340
2₁(2390)	→	2391
2₁(4197)	→	4198
2₁(1987)	→	1988
2₁(1955)	→	1956
2₁(3488)	→	3489
2₁(1261)	→	1262
2₁(4170)	→	4171
2₁(392)	→	393
2₁(479)	→	480
2₁(487)	→	488
2₁(1656)	→	1657
2₁(1963)	→	1964
2₁(631)	→	632
2₁(702)	→	703
2₁(3034)	→	3035
2₁(2072)	→	2073
2₁(902)	→	903
2₁(1964)	→	1965
2₁(1664)	→	1665
2₁(1287)	→	1288
2₁(1696)	→	1697
2₁(839)	→	840
2₁(1590)	→	1591
2₁(4024)	→	4025
2₁(4206)	→	4207
2₁(261)	→	262
2₁(4164)	→	4165
2₁(1056)	→	1057
2₁(3959)	→	3960
2₁(3051)	→	3052
2₁(3498)	→	3499
2₁(1004)	→	1005
2₁(3931)	→	3932
2₁(3038)	→	3039
2₁(3454)	→	3455
2₁(411)	→	412
2₁(3975)	→	3976
2₁(2062)	→	2063
2₁(2687)	→	2688
2₁(3425)	→	3426
2₁(1532)	→	1533
2₁(536)	→	537
2₁(608)	→	609
2₁(1918)	→	1919
2₁(1909)	→	1910
2₁(3935)	→	3936
2₁(2352)	→	2353
2₁(1204)	→	1205
2₁(2032)	→	2033
2₁(2082)	→	2083
2₁(4217)	→	4218
2₁(249)	→	250
2₁(299)	→	300
2₁(3949)	→	3950
2₁(1024)	→	1025
2₁(1628)	→	1629
2₁(1892)	→	1893
2₁(2084)	→	2085
2₁(527)	→	528
2₁(845)	→	846
2₁(627)	→	628
2₁(1045)	→	1046
2₁(1229)	→	1230
2₁(2678)	→	2679
2₁(1972)	→	1973
2₁(383)	→	384
2₁(1346)	→	1347
2₁(2720)	→	2721
2₁(1580)	→	1581
2₁(4568)	→	4569
2₁(930)	→	931
2₁(2433)	→	2434
2₁(2709)	→	2710
2₁(3052)	→	3053
2₁(2405)	→	2406
2₁(458)	→	459
2₁(894)	→	895
2₁(1338)	→	1339
2₁(150)	→	151
2₁(1113)	→	1114
2₁(1560)	→	1561
2₁(156)	→	157
2₁(1541)	→	1542
2₁(4212)	→	4213
2₁(3428)	→	3429
2₁(1699)	→	1700
2₁(3044)	→	3045
2₁(578)	→	579
2₁(149)	→	150
2₁(4014)	→	4015
2₁(1128)	→	1129
2₁(1583)	→	1584
2₁(921)	→	922
2₁(1975)	→	1976
2₁(1877)	→	1878
2₁(522)	→	523
2₁(934)	→	935
2₁(984)	→	985
2₁(120)	→	121
2₁(164)	→	165
2₁(3930)	→	3931
2₁(1254)	→	1255
2₁(1320)	→	1321
2₁(2056)	→	2057
2₁(2373)	→	2374
2₁(1378)	→	1379
2₁(1897)	→	1898
2₁(1854)	→	1855
2₁(349)	→	350
2₁(664)	→	665
2₁(699)	→	700
2₁(624)	→	625
0₀(7)	→	7
4₀(7)	→	7
2₀(7)	→	7
4₁(3986)	→	3987
4₁(1529)	→	1530
4₁(925)	→	926
4₁(1947)	→	1948
4₁(1952)	→	1953
4₁(573)	→	574
4₁(2427)	→	2428
4₁(704)	→	705
4₁(2409)	→	2410
4₁(423)	→	424
4₁(1209)	→	1210
4₁(1360)	→	1361
4₁(1319)	→	1320
4₁(186)	→	187
4₁(2701)	→	2702
4₁(3019)	→	3020
4₁(3426)	→	3427
4₁(1013)	→	1014
4₁(1384)	→	1385
4₁(1683)	→	1684
4₁(1888)	→	1889
4₁(1064)	→	1065
4₁(1840)	→	1841
4₁(3032)	→	3033
4₁(4141)	→	4142
4₁(160)	→	161
4₁(375)	→	376
4₁(287)	→	288
4₁(2381)	→	2382
4₁(1387)	→	1388
4₁(1904)	→	1905
4₁(244)	→	245
4₁(4203)	→	4204
4₁(2994)	→	2995
4₁(1575)	→	1576
4₁(1549)	→	1550
4₁(279)	→	280
4₁(2020)	→	2021
4₁(1527)	→	1528
4₁(344)	→	345
4₁(1613)	→	1614
4₁(430)	→	431
4₁(1225)	→	1226
4₁(1860)	→	1861
4₁(1971)	→	1972
4₁(3491)	→	3492
4₁(2414)	→	2415
4₁(203)	→	204
4₁(391)	→	392
4₁(650)	→	651
4₁(2356)	→	2357
4₁(442)	→	443
4₁(1190)	→	1191
4₁(1080)	→	1081
4₁(488)	→	489
4₁(4003)	→	4004
4₁(1935)	→	1936
4₁(1896)	→	1897
4₁(3408)	→	3409
4₁(972)	→	973
4₁(3440)	→	3441
4₁(3457)	→	3458
4₁(330)	→	331
4₁(408)	→	409
4₁(594)	→	595
4₁(2734)	→	2735
4₁(2345)	→	2346
4₁(141)	→	142
4₁(1299)	→	1300
4₁(574)	→	575
4₁(222)	→	223
4₁(686)	→	687
4₁(1934)	→	1935
4₁(493)	→	494
4₁(358)	→	359
4₁(4451)	→	4452
4₁(117)	→	118
4₁(136)	→	137
4₁(966)	→	967
4₁(928)	→	929
4₁(647)	→	648
4₁(4153)	→	4154
4₁(3447)	→	3448
4₁(663)	→	664
4₁(4020)	→	4021
4₁(4453)	→	4454
4₁(2419)	→	2420
4₁(1241)	→	1242
4₁(4443)	→	4444
4₁(226)	→	227
4₁(3012)	→	3013
4₁(3006)	→	3007
4₁(3014)	→	3015
4₁(2063)	→	2064
4₁(616)	→	617
4₁(649)	→	650
4₁(1110)	→	1111
4₁(146)	→	147
4₁(4140)	→	4141
4₁(2713)	→	2714
4₁(128)	→	129
4₁(913)	→	914
4₁(365)	→	366
4₁(1228)	→	1229
4₁(373)	→	374
4₁(1554)	→	1555
4₁(1046)	→	1047
4₁(1542)	→	1543
4₁(3479)	→	3480
4₁(2058)	→	2059
4₁(821)	→	822
4₁(3989)	→	3990
4₁(1829)	→	1830
4₁(2431)	→	2432
4₁(1054)	→	1055
4₁(2758)	→	2759
4₁(1917)	→	1918
4₁(3476)	→	3477
4₁(505)	→	506
4₁(1094)	→	1095
4₁(360)	→	361
4₁(1055)	→	1056
4₁(207)	→	208
4₁(494)	→	495
4₁(3419)	→	3420
4₁(3923)	→	3924
4₁(576)	→	577
4₁(1310)	→	1311
4₁(467)	→	468
4₁(2387)	→	2388
4₁(1089)	→	1090
4₁(571)	→	572
4₁(474)	→	475
4₁(1962)	→	1963
4₁(1184)	→	1185
4₁(1018)	→	1019
4₁(1658)	→	1659
4₁(2368)	→	2369
4₁(2103)	→	2104
4₁(4158)	→	4159
4₁(147)	→	148
4₁(2726)	→	2727
4₁(2673)	→	2674
4₁(1717)	→	1718
4₁(658)	→	659
4₁(559)	→	560
4₁(3474)	→	3475
4₁(3964)	→	3965
4₁(3468)	→	3469
4₁(161)	→	162
4₁(660)	→	661
4₁(3035)	→	3036
4₁(2393)	→	2394
4₁(181)	→	182
4₁(1539)	→	1540
4₁(1673)	→	1674
4₁(858)	→	859
4₁(1869)	→	1870
4₁(1843)	→	1844
4₁(1586)	→	1587
4₁(334)	→	335
4₁(2078)	→	2079
4₁(438)	→	439
4₁(492)	→	493
4₁(1853)	→	1854
4₁(1026)	→	1027
4₁(1887)	→	1888
4₁(630)	→	631
4₁(463)	→	464
4₁(450)	→	451
4₁(3915)	→	3916
4₁(4163)	→	4164
4₁(3493)	→	3494
4₁(1142)	→	1143
4₁(1266)	→	1267
4₁(461)	→	462
4₁(3010)	→	3011
4₁(1101)	→	1102
4₁(2364)	→	2365
4₁(4010)	→	4011
4₁(1648)	→	1649
4₁(290)	→	291
4₁(193)	→	194
4₁(1686)	→	1687
4₁(568)	→	569
4₁(2429)	→	2430
4₁(2715)	→	2716
4₁(3958)	→	3959
4₁(1102)	→	1103
4₁(2389)	→	2390
4₁(1308)	→	1309
4₁(3285)	→	3286
4₁(1393)	→	1394
4₁(2077)	→	2078
4₁(1901)	→	1902
4₁(1328)	→	1329
4₁(3016)	→	3017
4₁(1621)	→	1622
4₁(1953)	→	1954
4₁(2110)	→	2111
4₁(2742)	→	2743
4₁(1951)	→	1952
4₁(1898)	→	1899
4₁(298)	→	299
4₁(887)	→	888
4₁(3976)	→	3977
4₁(4226)	→	4227
4₁(1117)	→	1118
4₁(1335)	→	1336
4₁(1005)	→	1006
4₁(1933)	→	1934
4₁(1163)	→	1164
4₁(1027)	→	1028
4₁(879)	→	880
4₁(1956)	→	1957
4₁(3060)	→	3061
4₁(1595)	→	1596
4₁(4157)	→	4158
4₁(3434)	→	3435
4₁(308)	→	309
4₁(528)	→	529
4₁(1579)	→	1580
4₁(2680)	→	2681
4₁(2360)	→	2361
4₁(4008)	→	4009
4₁(987)	→	988
4₁(592)	→	593
4₁(2718)	→	2719
4₁(538)	→	539
4₁(229)	→	230
4₁(958)	→	959
4₁(2710)	→	2711
4₁(600)	→	601
4₁(1957)	→	1958
4₁(3003)	→	3004
4₁(4168)	→	4169
4₁(3925)	→	3926
4₁(3495)	→	3496
4₁(2716)	→	2717
4₁(1033)	→	1034
4₁(560)	→	561
4₁(963)	→	964
4₁(638)	→	639
4₁(1211)	→	1212
4₁(345)	→	346
4₁(1607)	→	1608
4₁(1195)	→	1196
4₁(1559)	→	1560
4₁(1855)	→	1856
4₁(945)	→	946
4₁(379)	→	380
4₁(656)	→	657
4₁(832)	→	833
4₁(1096)	→	1097
4₁(2727)	→	2728
4₁(3005)	→	3006
4₁(1837)	→	1838
4₁(2736)	→	2737
4₁(584)	→	585
4₁(1556)	→	1557
4₁(895)	→	896
4₁(2064)	→	2065
4₁(503)	→	504
4₁(1363)	→	1364
4₁(1075)	→	1076
4₁(1707)	→	1708
4₁(1207)	→	1208
4₁(1400)	→	1401
4₁(1357)	→	1358
4₁(1865)	→	1866
4₁(483)	→	484
4₁(2662)	→	2663
4₁(2986)	→	2987
4₁(2053)	→	2054
4₁(419)	→	420
4₁(1381)	→	1382
4₁(455)	→	456
4₁(1353)	→	1354
4₁(1979)	→	1980
4₁(332)	→	333
4₁(405)	→	406
4₁(4228)	→	4229
4₁(1151)	→	1152
4₁(1564)	→	1565
4₁(2034)	→	2035
4₁(676)	→	677
4₁(1076)	→	1077
4₁(1008)	→	1009
4₁(228)	→	229
4₁(1192)	→	1193
4₁(1997)	→	1998
4₁(3435)	→	3436
4₁(1371)	→	1372
4₁(531)	→	532
4₁(1296)	→	1297
4₁(1374)	→	1375
4₁(303)	→	304
4₁(885)	→	886
4₁(1568)	→	1569
4₁(386)	→	387
4₁(1088)	→	1089
4₁(2418)	→	2419
4₁(1107)	→	1108
4₁(434)	→	435
4₁(1297)	→	1298
4₁(1705)	→	1706
4₁(1302)	→	1303
4₁(1124)	→	1125
4₁(4139)	→	4140
4₁(2120)	→	2121
4₁(1152)	→	1153
4₁(4185)	→	4186
4₁(3042)	→	3043
4₁(1156)	→	1157
4₁(1700)	→	1701
4₁(1419)	→	1420
4₁(2349)	→	2350
4₁(2420)	→	2421
4₁(520)	→	521
4₁(4162)	→	4163
4₁(585)	→	586
4₁(253)	→	254
4₁(482)	→	483
4₁(3951)	→	3952
4₁(4177)	→	4178
4₁(337)	→	338
4₁(654)	→	655
4₁(3436)	→	3437
4₁(1074)	→	1075
4₁(3961)	→	3962
4₁(2400)	→	2401
4₁(215)	→	216
4₁(272)	→	273
4₁(4159)	→	4160
4₁(4449)	→	4450
4₁(266)	→	267
4₁(2408)	→	2409
4₁(221)	→	222
4₁(1150)	→	1151
4₁(2702)	→	2703
4₁(501)	→	502
4₁(1092)	→	1093
4₁(1135)	→	1136
4₁(317)	→	318
4₁(324)	→	325
4₁(1173)	→	1174
4₁(679)	→	680
4₁(2670)	→	2671
4₁(2376)	→	2377
4₁(1661)	→	1662
4₁(2124)	→	2125
4₁(2045)	→	2046
4₁(2098)	→	2099
4₁(1655)	→	1656
4₁(1596)	→	1597
1₁(549)	→	550
1₁(1530)	→	1531
1₁(601)	→	602
1₁(1864)	→	1865
1₁(224)	→	225
1₁(1574)	→	1575
1₁(340)	→	341
1₁(881)	→	882
1₁(1071)	→	1072
1₁(1631)	→	1632
1₁(235)	→	236
1₁(1948)	→	1949
1₁(3438)	→	3439
1₁(1885)	→	1886
1₁(1907)	→	1908
1₁(1945)	→	1946
1₁(4194)	→	4195
1₁(1331)	→	1332
1₁(3504)	→	3505
1₁(3066)	→	3067
1₁(2725)	→	2726
1₁(936)	→	937
1₁(1199)	→	1200
1₁(2403)	→	2404
1₁(2354)	→	2355
1₁(1395)	→	1396
1₁(123)	→	124
1₁(4145)	→	4146
1₁(542)	→	543
1₁(2378)	→	2379
1₁(3050)	→	3051
1₁(2117)	→	2118
1₁(1093)	→	1094
1₁(418)	→	419
1₁(302)	→	303
1₁(4184)	→	4185
1₁(1944)	→	1945
1₁(3481)	→	3482
1₁(428)	→	429
1₁(1177)	→	1178
1₁(1914)	→	1915
1₁(3461)	→	3462
1₁(1053)	→	1054
1₁(236)	→	237
1₁(2071)	→	2072
1₁(1937)	→	1938
1₁(2068)	→	2069
1₁(1048)	→	1049
1₁(454)	→	455
1₁(1293)	→	1294
1₁(562)	→	563
1₁(437)	→	438
1₁(869)	→	870
1₁(1644)	→	1645
1₁(525)	→	526
1₁(927)	→	928
1₁(1187)	→	1188
1₁(677)	→	678
1₁(1354)	→	1355
1₁(671)	→	672
1₁(1072)	→	1073
1₁(2388)	→	2389
1₁(366)	→	367
1₁(3446)	→	3447
1₁(3998)	→	3999
1₁(407)	→	408
1₁(1639)	→	1640
1₁(3047)	→	3048
1₁(3944)	→	3945
1₁(1697)	→	1698
1₁(3449)	→	3450
1₁(4154)	→	4155
1₁(3416)	→	3417
1₁(903)	→	904
1₁(1416)	→	1417
1₁(4143)	→	4144
1₁(1606)	→	1607
1₁(1073)	→	1074
1₁(2996)	→	2997
1₁(1618)	→	1619
1₁(2743)	→	2744
1₁(2382)	→	2383
1₁(4156)	→	4157
1₁(625)	→	626
1₁(1883)	→	1884
1₁(961)	→	962
1₁(328)	→	329
1₁(3054)	→	3055
1₁(3411)	→	3412
1₁(1949)	→	1950
1₁(435)	→	436
1₁(2383)	→	2384
1₁(197)	→	198
1₁(395)	→	396
1₁(462)	→	463
1₁(1894)	→	1895
1₁(1397)	→	1398
1₁(1216)	→	1217
1₁(2041)	→	2042
1₁(957)	→	958
1₁(999)	→	1000
1₁(707)	→	708
1₁(200)	→	201
1₁(352)	→	353
1₁(1153)	→	1154
1₁(1280)	→	1281
1₁(561)	→	562
1₁(959)	→	960
1₁(1868)	→	1869
1₁(1974)	→	1975
1₁(2002)	→	2003
1₁(2114)	→	2115
1₁(1314)	→	1315
1₁(394)	→	395
1₁(1298)	→	1299
1₁(1599)	→	1600
1₁(615)	→	616
1₁(4198)	→	4199
1₁(929)	→	930
1₁(2361)	→	2362
1₁(2359)	→	2360
1₁(2755)	→	2756
1₁(166)	→	167
1₁(4213)	→	4214
1₁(1946)	→	1947
1₁(477)	→	478
1₁(701)	→	702
1₁(232)	→	233
1₁(1105)	→	1106
1₁(1372)	→	1373
1₁(862)	→	863
1₁(1558)	→	1559
1₁(361)	→	362
1₁(3406)	→	3407
1₁(459)	→	460
1₁(526)	→	527
1₁(3477)	→	3478
1₁(413)	→	414
1₁(157)	→	158
1₁(1060)	→	1061
1₁(1858)	→	1859
1₁(947)	→	948
1₁(967)	→	968
1₁(188)	→	189
1₁(1271)	→	1272
1₁(4558)	→	4559
1₁(2406)	→	2407
1₁(3059)	→	3060
1₁(1925)	→	1926
1₁(4127)	→	4128
1₁(3471)	→	3472
1₁(1687)	→	1688
1₁(341)	→	342
1₁(1097)	→	1098
1₁(4144)	→	4145
1₁(870)	→	871
1₁(4219)	→	4220
1₁(4218)	→	4219
1₁(388)	→	389
1₁(1882)	→	1883
1₁(238)	→	239
1₁(202)	→	203
1₁(691)	→	692
1₁(1242)	→	1243
1₁(1577)	→	1578
1₁(1206)	→	1207
1₁(1633)	→	1634
1₁(351)	→	352
1₁(3486)	→	3487
1₁(1379)	→	1380
1₁(2046)	→	2047
1₁(670)	→	671
1₁(3026)	→	3027
1₁(1919)	→	1920
1₁(3395)	→	3396
1₁(2363)	→	2364
1₁(1042)	→	1043
1₁(1011)	→	1012
1₁(1256)	→	1257
1₁(2033)	→	2034
1₁(2981)	→	2982
1₁(595)	→	596
1₁(4150)	→	4151
1₁(655)	→	656
1₁(1171)	→	1172
1₁(3926)	→	3927
1₁(933)	→	934
1₁(2722)	→	2723
1₁(277)	→	278
1₁(173)	→	174
1₁(1695)	→	1696
1₁(1641)	→	1642
1₁(2975)	→	2976
1₁(1106)	→	1107
1₁(2746)	→	2747
1₁(4336)	→	4337
1₁(1162)	→	1163
1₁(2040)	→	2041
1₁(3437)	→	3438
1₁(3455)	→	3456
1₁(3011)	→	3012
1₁(2693)	→	2694
1₁(456)	→	457
1₁(2060)	→	2061
1₁(840)	→	841
1₁(378)	→	379
1₁(580)	→	581
1₁(206)	→	207
1₁(1826)	→	1827
1₁(1876)	→	1877
1₁(2121)	→	2122
1₁(3027)	→	3028
1₁(1528)	→	1529
1₁(1841)	→	1842
1₁(2119)	→	2120
1₁(831)	→	832
1₁(3934)	→	3935
1₁(1546)	→	1547
1₁(1291)	→	1292
1₁(4137)	→	4138
1₁(4227)	→	4228
1₁(823)	→	824
1₁(4135)	→	4136
1₁(2691)	→	2692
1₁(1139)	→	1140
1₁(4131)	→	4132
1₁(1070)	→	1071
1₁(990)	→	991
1₁(280)	→	281
1₁(591)	→	592
1₁(1903)	→	1904
1₁(1872)	→	1873
1₁(1286)	→	1287
1₁(1233)	→	1234
1₁(950)	→	951
1₁(1201)	→	1202
1₁(2012)	→	2013
1₁(2044)	→	2045
1₁(212)	→	213
1₁(1589)	→	1590
1₁(698)	→	699
1₁(642)	→	643
1₁(1313)	→	1314
1₁(127)	→	128
1₁(694)	→	695
1₁(2371)	→	2372
1₁(2088)	→	2089
1₁(2757)	→	2758
1₁(1931)	→	1932
1₁(1341)	→	1342
1₁(1862)	→	1863
1₁(4180)	→	4181
1₁(1420)	→	1421
1₁(1889)	→	1890
1₁(4155)	→	4156
1₁(611)	→	612
1₁(504)	→	505
1₁(640)	→	641
1₁(1538)	→	1539
1₁(876)	→	877
1₁(4176)	→	4177
1₁(613)	→	614
1₁(1306)	→	1307
1₁(1703)	→	1704
1₁(583)	→	584
1₁(1536)	→	1537
1₁(1235)	→	1236
1₁(1553)	→	1554
1₁(390)	→	391
1₁(1547)	→	1548
1₁(2660)	→	2661
1₁(1992)	→	1993
1₁(1127)	→	1128
1₁(3942)	→	3943
1₁(318)	→	319
1₁(2027)	→	2028
1₁(710)	→	711
1₁(3062)	→	3063
1₁(151)	→	152
1₁(2377)	→	2378
1₁(2688)	→	2689
1₁(1938)	→	1939
1₁(171)	→	172
1₁(2344)	→	2345
1₁(1623)	→	1624
1₁(1988)	→	1989
1₁(3423)	→	3424
1₁(2412)	→	2413
1₁(3021)	→	3022
1₁(2684)	→	2685
1₁(4447)	→	4448
1₁(1584)	→	1585
1₁(3990)	→	3991
1₁(1615)	→	1616
1₁(1336)	→	1337
1₁(1525)	→	1526
1₁(1165)	→	1166
1₁(1010)	→	1011
1₁(1625)	→	1626
1₁(830)	→	831
1₁(952)	→	953
1₁(3483)	→	3484
1₁(2704)	→	2705
1₁(4222)	→	4223
1₁(1857)	→	1858
1₁(835)	→	836
1₁(1886)	→	1887
1₁(2341)	→	2342
1₁(357)	→	358
1₁(1950)	→	1951
1₁(1095)	→	1096
1₁(1552)	→	1553
1₁(1342)	→	1343
1₁(3981)	→	3982
1₁(1111)	→	1112
1₁(940)	→	941
1₁(965)	→	966
1₁(693)	→	694
1₁(1718)	→	1719
1₁(861)	→	862
1₁(1893)	→	1894
1₁(941)	→	942
1₁(452)	→	453
1₁(1112)	→	1113
1₁(1119)	→	1120
1₁(3928)	→	3929
1₁(4211)	→	4212
1₁(1132)	→	1133
1₁(1881)	→	1882
1₁(2083)	→	2084
1₁(4000)	→	4001
1₁(2016)	→	2017
1₁(4151)	→	4152
1₁(1324)	→	1325
1₁(1600)	→	1601
1₁(932)	→	933
1₁(1916)	→	1917
1₁(3063)	→	3064
1₁(2007)	→	2008
1₁(124)	→	125
1₁(286)	→	287
1₁(604)	→	605
1₁(1248)	→	1249
1₁(143)	→	144
1₁(255)	→	256
1₁(985)	→	986
1₁(1122)	→	1123
1₁(3500)	→	3501
1₁(129)	→	130
1₁(909)	→	910
1₁(1929)	→	1930
1₁(417)	→	418
1₁(402)	→	403
1₁(949)	→	950
1₁(3991)	→	3992
1₁(2013)	→	2014
1₁(2380)	→	2381
1₁(469)	→	470
1₁(992)	→	993
1₁(296)	→	297
1₁(116)	→	117
1₁(1059)	→	1060
1₁(2430)	→	2431
1₁(3049)	→	3050
1₁(1954)	→	1955
1₁(3936)	→	3937
1₁(1678)	→	1679
1₁(2343)	→	2344
1₁(343)	→	344
1₁(2667)	→	2668
1₁(359)	→	360
1₁(1978)	→	1979
1₁(977)	→	978
1₁(546)	→	547
1₁(2733)	→	2734
1₁(3033)	→	3034
1₁(619)	→	620
1₁(1912)	→	1913
1₁(3068)	→	3069
1₁(1063)	→	1064
1₁(3480)	→	3481
1₁(1137)	→	1138
1₁(1619)	→	1620
1₁(3490)	→	3491
1₁(1052)	→	1053
1₁(445)	→	446
1₁(4216)	→	4217
1₁(3415)	→	3416
1₁(110)	→	111
1₁(1361)	→	1362
1₁(1531)	→	1532
1₁(1624)	→	1625
1₁(4208)	→	4209
1₁(1345)	→	1346
1₁(2090)	→	2091
1₁(2005)	→	2006
1₁(2998)	→	2999
1₁(1688)	→	1689
1₁(1196)	→	1197
1₁(433)	→	434
1₁(1332)	→	1333
1₁(1251)	→	1252
1₁(486)	→	487
1₁(1285)	→	1286
1₁(3442)	→	3443
1₁(1847)	→	1848
1₁(234)	→	235
1₁(1713)	→	1714
1₁(294)	→	295
1₁(826)	→	827
1₁(1007)	→	1008
1₁(2668)	→	2669
1₁(403)	→	404
1₁(1236)	→	1237
1₁(2010)	→	2011
1₁(2737)	→	2738
1₁(3927)	→	3928
1₁(2753)	→	2754
1₁(900)	→	901
1₁(1891)	→	1892
1₁(1131)	→	1132
1₁(2385)	→	2386
1₁(712)	→	713
1₁(871)	→	872
1₁(2074)	→	2075
1₁(3057)	→	3058
1₁(974)	→	975
1₁(991)	→	992
1₁(1348)	→	1349
1₁(4152)	→	4153
1₁(1154)	→	1155
1₁(2703)	→	2704
1₁(4445)	→	4446
1₁(665)	→	666
1₁(1202)	→	1203
1₁(382)	→	383
1₁(703)	→	704
1₁(4160)	→	4161
1₁(1268)	→	1269
1₁(4016)	→	4017
1₁(219)	→	220
1₁(3947)	→	3948
1₁(1231)	→	1232
1₁(1392)	→	1393
1₁(1827)	→	1828
1₁(1939)	→	1940
1₁(551)	→	552
1₁(1373)	→	1374
1₁(1831)	→	1832
1₁(451)	→	452
1₁(973)	→	974
1₁(1193)	→	1194
1₁(3485)	→	3486
1₁(866)	→	867
1₁(901)	→	902
1₁(2123)	→	2124
1₁(1592)	→	1593
1₁(154)	→	155
1₁(3405)	→	3406
1₁(4006)	→	4007
1₁(204)	→	205
1₁(457)	→	458
1₁(4021)	→	4022
1₁(1402)	→	1403
1₁(283)	→	284
1₁(1038)	→	1039
1₁(4560)	→	4561
1₁(1970)	→	1971
1₁(2395)	→	2396
1₁(2105)	→	2106
1₁(480)	→	481
1₁(706)	→	707
1₁(246)	→	247
1₁(1158)	→	1159
1₁(1246)	→	1247
1₁(355)	→	356
1₁(1875)	→	1876
1₁(1197)	→	1198
1₁(3421)	→	3422
1₁(338)	→	339
1₁(415)	→	416
1₁(1262)	→	1263
1₀(7)	→	7
5₀(7)	→	7
0₁(2386)	→	2387
0₁(3013)	→	3014
0₁(1388)	→	1389
0₁(1601)	→	1602
0₁(1375)	→	1376
0₁(2094)	→	2095
0₁(2745)	→	2746
0₁(177)	→	178
0₁(534)	→	535
0₁(1612)	→	1613
0₁(1311)	→	1312
0₁(2370)	→	2371
0₁(918)	→	919
0₁(1720)	→	1721
0₁(4018)	→	4019
0₁(1634)	→	1635
0₁(199)	→	200
0₁(2976)	→	2977
0₁(1566)	→	1567
0₁(1240)	→	1241
0₁(1913)	→	1914
0₁(346)	→	347
0₁(2435)	→	2436
0₁(1409)	→	1410
0₁(431)	→	432
0₁(2698)	→	2699
0₁(1108)	→	1109
0₁(4202)	→	4203
0₁(497)	→	498
0₁(1278)	→	1279
0₁(3444)	→	3445
0₁(131)	→	132
0₁(1009)	→	1010
0₁(509)	→	510
0₁(4012)	→	4013
0₁(2357)	→	2358
0₁(4192)	→	4193
0₁(1288)	→	1289
0₁(3071)	→	3072
0₁(2724)	→	2725
0₁(1160)	→	1161
0₁(530)	→	531
0₁(1218)	→	1219
0₁(256)	→	257
0₁(214)	→	215
0₁(1851)	→	1852
0₁(859)	→	860
0₁(2095)	→	2096
0₁(1995)	→	1996
0₁(3473)	→	3474
0₁(1129)	→	1130
0₁(2682)	→	2683
0₁(399)	→	400
0₁(247)	→	248
0₁(2747)	→	2748
0₁(988)	→	989
0₁(843)	→	844
0₁(4165)	→	4166
0₁(2396)	→	2397
0₁(2029)	→	2030
0₁(854)	→	855
0₁(684)	→	685
0₁(716)	→	717
0₁(834)	→	835
0₁(1179)	→	1180
0₁(159)	→	160
0₁(3433)	→	3434
0₁(2076)	→	2077
0₁(3487)	→	3488
0₁(986)	→	987
0₁(4191)	→	4192
0₁(1396)	→	1397
0₁(2982)	→	2983
0₁(3456)	→	3457
0₁(1180)	→	1181
0₁(3937)	→	3938
0₁(3018)	→	3019
0₁(1277)	→	1278
0₁(2052)	→	2053
0₁(964)	→	965
0₁(2675)	→	2676
0₁(2401)	→	2402
0₁(2423)	→	2424
0₁(3938)	→	3939
0₁(2028)	→	2029
0₁(2676)	→	2677
0₁(1986)	→	1987
0₁(1965)	→	1966
0₁(4201)	→	4202
0₁(1716)	→	1717
0₁(4195)	→	4196
0₁(2069)	→	2070
0₁(306)	→	307
0₁(475)	→	476
0₁(1391)	→	1392
0₁(1203)	→	1204
0₁(3040)	→	3041
0₁(1640)	→	1641
0₁(2116)	→	2117
0₁(2708)	→	2709
0₁(189)	→	190
0₁(1079)	→	1080
0₁(2351)	→	2352
0₁(2353)	→	2354
0₁(2730)	→	2731
0₁(2125)	→	2126
0₁(369)	→	370
0₁(1680)	→	1681
0₁(425)	→	426
0₁(248)	→	249
0₁(674)	→	675
0₁(4223)	→	4224
0₁(377)	→	378
0₁(1252)	→	1253
0₁(1866)	→	1867
0₁(582)	→	583
0₁(2075)	→	2076
0₁(657)	→	658
0₁(662)	→	663
0₁(4019)	→	4020
0₁(205)	→	206
0₁(2428)	→	2429
0₁(1557)	→	1558
0₁(680)	→	681
0₁(1526)	→	1527
0₁(837)	→	838
0₁(1666)	→	1667
0₁(3917)	→	3918
0₁(1263)	→	1264
0₁(533)	→	534
0₁(1267)	→	1268
0₁(1911)	→	1912
0₁(2080)	→	2081
0₁(288)	→	289
0₁(2719)	→	2720
0₁(1635)	→	1636
0₁(1665)	→	1666
0₁(1339)	→	1340
0₁(1576)	→	1577
0₁(1305)	→	1306
0₁(2990)	→	2991
0₁(566)	→	567
0₁(3413)	→	3414
0₁(502)	→	503
0₁(1323)	→	1324
0₁(168)	→	169
0₁(2017)	→	2018
0₁(1567)	→	1568
0₁(2092)	→	2093
0₁(499)	→	500
0₁(3030)	→	3031
0₁(537)	→	538
0₁(1189)	→	1190
0₁(1334)	→	1335
0₁(152)	→	153
0₁(329)	→	330
0₁(1312)	→	1313
0₁(1326)	→	1327
0₁(4022)	→	4023
0₁(135)	→	136
0₁(540)	→	541
0₁(2425)	→	2426
0₁(1174)	→	1175
0₁(1188)	→	1189
0₁(3072)	→	3073
0₁(1049)	→	1050
0₁(3997)	→	3998
0₁(2695)	→	2696
0₁(2085)	→	2086
0₁(1410)	→	1411
0₁(555)	→	556
0₁(1838)	→	1839
0₁(3969)	→	3970
0₁(2048)	→	2049
0₁(1694)	→	1695
0₁(3502)	→	3503
0₁(3463)	→	3464
0₁(112)	→	113
0₁(1039)	→	1040
0₁(460)	→	461
0₁(620)	→	621
0₁(427)	→	428
0₁(1959)	→	1960
0₁(3919)	→	3920
0₁(240)	→	241
0₁(380)	→	381
0₁(1684)	→	1685
0₁(883)	→	884
0₁(1028)	→	1029
0₁(2367)	→	2368
0₁(1921)	→	1922
0₁(603)	→	604
0₁(3472)	→	3473
0₁(588)	→	589
0₁(1582)	→	1583
0₁(4171)	→	4172
0₁(243)	→	244
0₁(626)	→	627
0₁(2679)	→	2680
0₁(1878)	→	1879
0₁(401)	→	402
0₁(605)	→	606
0₁(892)	→	893
0₁(852)	→	853
0₁(3983)	→	3984
0₁(824)	→	825
0₁(1569)	→	1570
0₁(1164)	→	1165
0₁(1715)	→	1716
0₁(962)	→	963
0₁(1167)	→	1168
0₁(2697)	→	2698
0₁(3496)	→	3497
0₁(1212)	→	1213
0₁(269)	→	270
0₁(3025)	→	3026
0₁(1581)	→	1582
0₁(1149)	→	1150
0₁(634)	→	635
0₁(847)	→	848
0₁(846)	→	847
0₁(327)	→	328
0₁(2756)	→	2757
0₁(556)	→	557
0₁(3002)	→	3003
0₁(3056)	→	3057
0₁(278)	→	279
0₁(3036)	→	3037
0₁(1077)	→	1078
0₁(1545)	→	1546
0₁(1985)	→	1986
0₁(577)	→	578
0₁(700)	→	701
0₁(1116)	→	1117
0₁(398)	→	399
0₁(1620)	→	1621
0₁(3992)	→	3993
0₁(208)	→	209
0₁(1143)	→	1144
0₁(1989)	→	1990
0₁(3451)	→	3452
0₁(3430)	→	3431
0₁(3988)	→	3989
0₁(1996)	→	1997
0₁(1709)	→	1710
0₁(888)	→	889
0₁(1333)	→	1334
0₁(891)	→	892
0₁(646)	→	647
0₁(1406)	→	1407
0₁(911)	→	912
0₁(1719)	→	1720
0₁(251)	→	252
0₁(715)	→	716
0₁(233)	→	234
0₁(3427)	→	3428
0₁(4005)	→	4006
0₁(4023)	→	4024
0₁(1915)	→	1916
0₁(1327)	→	1328
0₁(553)	→	554
0₁(614)	→	615
0₁(1689)	→	1690
0₁(3458)	→	3459
0₁(849)	→	850
0₁(1702)	→	1703
0₁(996)	→	997
0₁(289)	→	290
0₁(2008)	→	2009
0₁(3448)	→	3449
0₁(1067)	→	1068
0₁(1104)	→	1105
0₁(444)	→	445
0₁(163)	→	164
0₁(1572)	→	1573
0₁(3987)	→	3988
0₁(2106)	→	2107
0₁(3968)	→	3969
0₁(1571)	→	1572
0₁(264)	→	265
0₁(4214)	→	4215
0₁(1136)	→	1137
0₁(2122)	→	2123
0₁(872)	→	873
0₁(1358)	→	1359
0₁(178)	→	179
0₁(1172)	→	1173
0₁(441)	→	442
0₁(3464)	→	3465
0₁(470)	→	471
0₁(2721)	→	2722
0₁(158)	→	159
0₁(111)	→	112
0₁(1146)	→	1147
0₁(3943)	→	3944
0₁(175)	→	176
0₁(1069)	→	1070
0₁(669)	→	670
0₁(1685)	→	1686
0₁(968)	→	969
0₁(897)	→	898
0₁(1349)	→	1350
0₁(2672)	→	2673
0₁(1846)	→	1847
0₁(1258)	→	1259
0₁(579)	→	580
0₁(3420)	→	3421
3₁(1002)	→	1003
3₁(4220)	→	4221
3₁(1347)	→	1348
3₁(1083)	→	1084
3₁(267)	→	268
3₁(666)	→	667
3₁(1561)	→	1562
3₁(1295)	→	1296
3₁(2421)	→	2422
3₁(3995)	→	3996
3₁(643)	→	644
3₁(1359)	→	1360
3₁(1365)	→	1366
3₁(194)	→	195
3₁(1219)	→	1220
3₁(581)	→	582
3₁(1544)	→	1545
3₁(2436)	→	2437
3₁(2407)	→	2408
3₁(3497)	→	3498
3₁(1412)	→	1413
3₁(3022)	→	3023
3₁(3941)	→	3942
3₁(1316)	→	1317
3₁(484)	→	485
3₁(495)	→	496
3₁(2049)	→	2050
3₁(1924)	→	1925
3₁(596)	→	597
3₁(1330)	→	1331
3₁(1940)	→	1941
3₁(187)	→	188
3₁(1594)	→	1595
3₁(1867)	→	1868
3₁(1859)	→	1860
3₁(326)	→	327
3₁(1981)	→	1982
3₁(404)	→	405
3₁(1066)	→	1067
3₁(198)	→	199
3₁(218)	→	219
3₁(867)	→	868
3₁(675)	→	676
3₁(1239)	→	1240
3₁(2738)	→	2739
3₁(254)	→	255
3₁(1690)	→	1691
3₁(263)	→	264
3₁(1140)	→	1141
3₁(1417)	→	1418
3₁(1900)	→	1901
3₁(1183)	→	1184
3₁(1879)	→	1880
3₁(2342)	→	2343
3₁(1404)	→	1405
3₁(2744)	→	2745
3₁(652)	→	653
3₁(535)	→	536
3₁(2374)	→	2375
3₁(2331)	→	2332
3₁(855)	→	856
3₁(822)	→	823
3₁(960)	→	961
3₁(4147)	→	4148
3₁(683)	→	684
3₁(2999)	→	3000
3₁(597)	→	598
3₁(347)	→	348
3₁(321)	→	322
3₁(2397)	→	2398
3₁(2001)	→	2002
3₁(1147)	→	1148
3₁(1123)	→	1124
3₁(1355)	→	1356
3₁(1130)	→	1131
3₁(2992)	→	2993
3₁(448)	→	449
3₁(1194)	→	1195
3₁(3418)	→	3419
3₁(1550)	→	1551
3₁(498)	→	499
3₁(912)	→	913
3₁(1871)	→	1872
3₁(465)	→	466
3₁(954)	→	955
3₁(3993)	→	3994
3₁(1118)	→	1119
3₁(331)	→	332
3₁(1292)	→	1293
3₁(2112)	→	2113
3₁(4204)	→	4205
3₁(368)	→	369
3₁(1366)	→	1367
3₁(937)	→	938
3₁(1351)	→	1352
3₁(4190)	→	4191
3₁(510)	→	511
3₁(1185)	→	1186
3₁(3932)	→	3933
3₁(1003)	→	1004
3₁(1983)	→	1984
3₁(223)	→	224
3₁(1834)	→	1835
3₁(641)	→	642
3₁(2674)	→	2675
3₁(1906)	→	1907
3₁(1653)	→	1654
3₁(1273)	→	1274
3₁(564)	→	565
3₁(1253)	→	1254
3₁(1086)	→	1087
3₁(1408)	→	1409
3₁(1029)	→	1030
3₁(1301)	→	1302
3₁(137)	→	138
3₁(2706)	→	2707
3₁(500)	→	501
3₁(293)	→	294
3₁(1078)	→	1079
3₁(1103)	→	1104
3₁(3031)	→	3032
3₁(3466)	→	3467
3₁(217)	→	218
3₁(1043)	→	1044
3₁(2677)	→	2678
3₁(1166)	→	1167
3₁(3966)	→	3967
3₁(122)	→	123
3₁(922)	→	923
3₁(1973)	→	1974
3₁(1344)	→	1345
3₁(3956)	→	3957
3₁(532)	→	533
3₁(1980)	→	1981
3₁(2731)	→	2732
3₁(1663)	→	1664
3₁(2004)	→	2005
3₁(4199)	→	4200
3₁(877)	→	878
3₁(179)	→	180
3₁(1091)	→	1092
3₁(3053)	→	3054
3₁(836)	→	837
3₁(2754)	→	2755
3₁(971)	→	972
3₁(1832)	→	1833
3₁(364)	→	365
3₁(471)	→	472
3₁(2057)	→	2058
3₁(322)	→	323
3₁(1602)	→	1603
3₁(387)	→	388
3₁(2410)	→	2411
3₁(1941)	→	1942
3₁(2347)	→	2348
3₁(1671)	→	1672
3₁(1828)	→	1829
3₁(4142)	→	4143
3₁(1414)	→	1415
3₁(2705)	→	2706
3₁(1034)	→	1035
3₁(629)	→	630
3₁(1284)	→	1285
3₁(2019)	→	2020
3₁(1638)	→	1639
3₁(2984)	→	2985
3₁(1708)	→	1709
3₁(612)	→	613
3₁(356)	→	357
3₁(2424)	→	2425
3₁(924)	→	925
3₁(1213)	→	1214
3₁(354)	→	355
3₁(1551)	→	1552
3₁(4130)	→	4131
3₁(2104)	→	2105
3₁(944)	→	945
3₁(3431)	→	3432
3₁(1134)	→	1135
3₁(4189)	→	4190
3₁(599)	→	600
3₁(185)	→	186
3₁(2014)	→	2015
3₁(1099)	→	1100
3₁(3962)	→	3963
3₁(489)	→	490
3₁(1281)	→	1282
3₁(3424)	→	3425
3₁(1899)	→	1900
3₁(1061)	→	1062
3₁(2686)	→	2687
3₁(838)	→	839
3₁(121)	→	122
3₁(1836)	→	1837
3₁(563)	→	564
3₁(1383)	→	1384
3₁(125)	→	126
3₁(1260)	→	1261
3₁(602)	→	603
3₁(1611)	→	1612
3₁(353)	→	354
3₁(1835)	→	1836
3₁(210)	→	211
3₁(878)	→	879
3₁(1936)	→	1937
3₁(2683)	→	2684
3₁(1890)	→	1891
3₁(2985)	→	2986
3₁(1269)	→	1270
3₁(385)	→	386
3₁(3460)	→	3461
3₁(1608)	→	1609
3₁(2054)	→	2055
3₁(1120)	→	1121
3₁(3070)	→	3071
3₁(1257)	→	1258
3₁(1629)	→	1630
3₁(3494)	→	3495
3₁(1998)	→	1999
3₁(1138)	→	1139
3₁(1210)	→	1211
3₁(828)	→	829
3₁(140)	→	141
3₁(4146)	→	4147
3₁(697)	→	698
3₁(1842)	→	1843
3₁(3414)	→	3415
3₁(1659)	→	1660
3₁(1176)	→	1177
3₁(3973)	→	3974
3₁(975)	→	976
3₁(2042)	→	2043
3₁(1698)	→	1699
3₁(1161)	→	1162
3₁(969)	→	970
3₁(2741)	→	2742
3₁(2415)	→	2416
3₁(2426)	→	2427
3₁(3029)	→	3030
3₁(4011)	→	4012
3₁(4334)	→	4335
3₁(132)	→	133
3₁(544)	→	545
3₁(714)	→	715
3₁(3422)	→	3423
3₁(893)	→	894
3₁(304)	→	305
3₁(4230)	→	4231
3₁(1966)	→	1967
3₁(864)	→	865
3₁(130)	→	131
3₁(1967)	→	1968
3₁(993)	→	994
3₁(1604)	→	1605
3₁(681)	→	682
3₁(2723)	→	2724
3₁(935)	→	936
3₁(982)	→	983
3₁(2115)	→	2116
3₁(2111)	→	2112
3₁(2038)	→	2039
3₁(3974)	→	3975
3₁(692)	→	693
3₁(1548)	→	1549
3₁(1908)	→	1909
3₁(1321)	→	1322
3₁(4186)	→	4187
3₁(978)	→	979
3₁(2039)	→	2040
3₁(1418)	→	1419
3₁(3000)	→	3001
3₁(1833)	→	1834
3₁(636)	→	637
3₁(1159)	→	1160
3₁(2079)	→	2080
3₁(1081)	→	1082
3₁(4179)	→	4180
3₁(1031)	→	1032
3₁(2434)	→	2435
3₁(2362)	→	2363
3₁(1597)	→	1598
3₁(2391)	→	2392
3₁(3039)	→	3040
3₁(3445)	→	3446
3₁(3478)	→	3479
3₁(2739)	→	2740
3₁(628)	→	629
3₁(3503)	→	3504
3₁(2714)	→	2715
3₁(1317)	→	1318
3₁(951)	→	952
3₁(4172)	→	4173
3₁(350)	→	351
3₁(673)	→	674
3₁(1654)	→	1655
3₁(995)	→	996
3₁(1984)	→	1985
3₁(4187)	→	4188
3₁(3037)	→	3038
3₁(3450)	→	3451
3₁(916)	→	917
3₁(301)	→	302
3₁(1874)	→	1875
3₁(1376)	→	1377
3₁(1350)	→	1351
3₁(230)	→	231
3₁(1249)	→	1250
3₁(315)	→	316
3₁(4210)	→	4211
3₁(508)	→	509
3₁(436)	→	437
3₁(2997)	→	2998
3₁(1085)	→	1086
3₁(541)	→	542
3₁(1652)	→	1653
3₁(1902)	→	1903
3₁(3048)	→	3049
3₁(376)	→	377
3₁(416)	→	417
3₁(421)	→	422
3₁(874)	→	875
3₁(1168)	→	1169
3₁(1540)	→	1541
3₁(1993)	→	1994
3₁(1692)	→	1693
3₁(1849)	→	1850
3₁(3957)	→	3958
3₁(2102)	→	2103
3₁(3407)	→	3408
3₁(195)	→	196
3₁(825)	→	826
3₁(833)	→	834
3₁(1535)	→	1536
3₁(3955)	→	3956
3₁(323)	→	324
3₁(1394)	→	1395
3₁(2047)	→	2048
3₁(4173)	→	4174
3₁(939)	→	940
3₁(1017)	→	1018
3₁(3452)	→	3453
3₁(1670)	→	1671
3₁(3008)	→	3009
3₁(1182)	→	1183
3₁(842)	→	843
3₁(3469)	→	3470
3₁(481)	→	482
3₁(589)	→	590
3₁(1025)	→	1026
3₁(572)	→	573
3₁(4001)	→	4002
3₁(4207)	→	4208
3₁(1562)	→	1563
3₁(2096)	→	2097
3₁(1290)	→	1291
3₁(644)	→	645
3₁(907)	→	908
3₁(3467)	→	3468
3₁(1593)	→	1594
3₁(239)	→	240
3₁(3443)	→	3444
3₁(162)	→	163
3₁(994)	→	995
3₁(4225)	→	4226
3₀(7)	→	7

The automaton is closed under rewriting as it is compatible.

0(0(1(1(0(0(2(0(0(1(1(1(3(3(1(2(2(4(5(3(2(1(4(1(0(5(0(4(5(4(4(3(4(4(1(0(5(5(2(5(3(5(2(4(3(0(0(2(2(4(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(1(0(0(2(5(2(1(4(5(5(2(3(3(1(1(3(2(1(4(1(3(0(3(2(5(0(4(3(2(2(3(4(2(1(5(2(4(4(5(2(2(1(0(2(1(2(2(1(0(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(1)
0(0(3(3(1(1(5(1(0(3(0(1(4(0(3(2(0(3(1(3(4(4(2(4(5(3(5(0(2(1(0(1(3(5(0(5(2(3(4(4(3(4(1(3(5(4(4(5(5(0(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	3(2(1(5(0(4(2(3(3(1(2(4(4(3(1(5(4(2(4(4(3(5(1(0(1(1(1(2(1(3(0(2(5(0(4(5(1(0(0(2(2(0(2(4(3(1(0(5(2(2(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(2)
0(3(3(4(0(0(0(1(2(4(3(0(1(3(2(3(1(0(4(4(3(4(5(0(1(3(2(1(5(3(1(5(5(2(0(5(1(0(4(5(3(3(0(5(1(5(5(0(4(2(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	3(3(5(4(1(2(5(3(3(3(4(5(3(0(1(0(4(3(4(5(4(5(5(4(1(2(1(1(2(1(4(4(0(3(5(2(3(1(1(3(3(1(3(1(4(1(4(1(5(5(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(3)
0(4(2(5(3(2(4(2(4(3(3(2(3(2(2(0(1(4(5(4(1(4(3(2(5(0(4(1(4(3(4(3(5(0(2(3(0(1(1(0(5(2(3(0(4(4(1(2(1(0(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(3(1(1(4(5(3(5(4(2(0(2(0(1(5(4(0(5(1(4(1(3(1(4(2(5(0(4(2(0(1(2(2(3(5(4(1(1(2(1(4(1(1(2(1(0(4(1(4(2(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(4)
1(2(5(1(0(4(5(4(2(0(3(0(3(0(0(3(3(1(2(0(1(4(3(0(1(1(0(0(4(0(0(3(0(0(4(0(3(0(0(0(0(5(0(3(5(4(2(3(0(1(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(1(2(4(2(2(2(2(1(1(2(4(5(0(4(3(0(0(3(2(0(4(5(0(3(1(5(3(2(1(5(5(1(5(1(2(0(5(0(0(5(5(4(4(1(1(3(3(5(0(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(5)
1(3(4(5(0(0(3(5(2(4(4(0(4(4(0(4(5(5(5(3(2(2(0(2(0(1(3(0(5(4(5(5(4(0(1(5(5(3(2(1(5(4(0(3(3(2(0(3(5(5(4(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	2(1(0(5(2(2(2(1(0(2(3(3(4(2(5(2(0(2(3(2(4(5(1(3(1(3(3(5(0(4(5(4(4(5(3(2(4(1(4(0(4(5(4(2(0(4(2(1(3(5(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(6)
1(5(0(0(4(0(2(0(5(4(3(5(0(4(2(3(3(1(1(0(5(5(4(5(0(1(1(5(5(0(5(5(2(2(1(1(1(5(1(2(3(4(3(4(1(3(3(0(0(2(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(3(1(0(3(1(5(3(2(1(1(4(3(0(1(3(0(3(2(1(2(3(0(2(2(0(0(2(0(2(2(0(2(0(3(5(5(4(0(2(1(1(5(3(2(1(3(2(1(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(7)
2(2(0(4(4(2(3(2(3(5(0(4(5(2(2(2(3(2(3(0(4(5(0(0(5(4(3(2(0(5(2(1(0(5(2(4(4(3(5(4(5(0(5(5(5(5(4(0(0(3(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	2(2(3(5(3(4(5(1(4(1(2(5(1(1(2(3(1(3(2(3(1(1(5(5(3(4(5(1(5(1(1(3(1(5(3(5(2(1(4(1(3(1(0(4(0(1(4(1(0(3(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(8)
2(3(1(0(3(4(1(5(1(5(0(1(4(5(5(3(3(4(3(2(5(2(0(2(0(1(5(2(2(3(5(0(1(5(0(0(2(4(1(0(2(5(0(3(4(2(3(5(4(3(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(2(3(4(4(0(3(5(3(2(4(3(2(2(5(1(0(2(2(1(3(2(2(4(2(1(0(5(5(1(1(4(4(2(5(5(1(1(3(2(1(4(2(3(0(5(0(1(1(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(9)
3(1(1(1(5(2(0(3(5(3(3(5(3(2(4(2(2(0(0(2(2(3(1(5(0(2(3(4(5(2(3(3(2(5(4(1(5(5(4(2(0(4(1(3(4(0(4(5(4(4(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(1(3(4(5(2(1(2(0(3(1(1(5(3(4(0(1(3(1(3(2(4(0(2(5(0(3(5(0(4(4(4(1(1(2(4(5(1(3(0(3(1(4(0(1(3(0(3(2(2(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(10)
3(1(5(1(5(2(0(3(0(0(3(1(0(4(5(0(0(3(2(5(2(2(1(4(0(5(1(0(4(0(1(4(0(2(0(4(2(5(3(3(2(0(3(4(5(1(1(2(0(0(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(3(4(5(5(4(2(2(1(2(1(5(1(1(5(2(3(0(4(1(5(5(2(1(2(1(3(5(1(0(3(2(5(1(3(0(2(3(2(1(0(5(5(4(0(1(3(2(1(5(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(11)
3(4(4(2(1(3(2(3(3(1(2(3(2(3(4(1(4(5(5(5(0(4(5(4(2(1(0(5(1(0(1(5(5(5(3(3(5(4(0(4(3(4(4(5(2(4(0(5(5(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	0(1(5(0(0(4(2(3(1(1(0(0(4(1(5(2(0(2(1(1(2(3(1(2(3(1(0(3(3(5(4(1(3(5(4(0(3(4(1(2(4(5(3(3(2(2(2(5(4(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(12)
4(5(2(4(5(2(5(3(0(4(2(5(0(2(2(2(0(0(3(4(2(5(3(0(3(2(5(3(3(5(1(3(3(5(4(2(3(2(4(3(5(1(0(1(4(5(3(4(1(5(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(2(1(0(4(1(4(1(1(2(2(5(3(1(5(1(4(3(2(4(5(3(0(1(1(3(4(3(3(1(1(4(2(4(0(1(4(2(3(3(5(4(5(0(0(4(0(5(0(0(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(13)
5(0(3(5(3(2(3(4(3(0(3(0(3(5(1(0(5(0(2(2(5(4(2(3(3(1(5(5(4(2(5(5(3(2(2(2(2(1(0(5(5(0(3(3(4(0(5(0(1(0(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(1(1(1(2(2(2(3(5(1(2(1(0(0(5(2(3(1(0(1(2(2(1(2(2(2(4(2(2(2(3(3(3(4(2(5(4(3(5(4(5(3(2(0(0(2(2(2(3(3(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(14)
5(3(4(4(2(1(4(2(4(2(3(4(4(2(3(5(5(1(5(3(4(0(1(5(4(0(5(4(4(1(0(4(3(2(4(5(2(3(1(4(3(4(0(2(3(2(0(5(5(2(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(1(1(1(3(4(2(1(3(3(3(3(3(4(0(5(4(1(3(4(5(5(0(1(5(3(5(0(5(4(2(4(2(1(1(3(4(2(1(5(1(4(0(3(1(4(5(3(1(5(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(15)
5(5(0(4(5(5(5(2(4(2(5(3(0(1(5(2(3(4(5(5(0(0(0(3(2(3(4(4(3(2(2(0(3(3(0(5(1(4(2(5(0(2(4(1(4(2(0(4(2(0(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	2(3(1(5(5(5(1(5(1(5(4(4(4(3(1(1(1(3(3(5(5(1(1(1(4(1(1(1(4(4(4(1(2(4(4(2(0(5(2(4(2(2(0(3(3(5(5(1(4(2(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(16)

3(1(5(5(3(2(0(3(4(0(4(5(0(0(5(1(2(1(2(0(3(4(2(4(5(3(4(2(1(0(0(5(3(5(1(4(2(2(0(0(3(4(2(5(3(5(2(5(5(0(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	0(4(1(0(1(4(1(5(1(0(3(1(2(3(3(4(5(5(5(0(1(3(4(3(5(2(5(4(5(3(0(0(2(0(5(1(5(1(5(2(0(2(1(2(2(0(3(4(4(0(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(17)
0(3(4(3(5(4(2(3(0(1(3(4(1(1(0(5(0(4(0(3(3(5(1(5(4(3(1(0(0(3(1(4(5(0(2(0(5(5(4(4(5(3(1(4(3(4(4(3(2(5(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(4(5(0(2(3(4(1(3(2(2(4(2(1(5(1(3(2(2(4(0(0(4(1(2(5(1(2(2(1(4(0(1(2(2(2(2(4(2(2(0(5(3(4(2(0(3(5(2(2(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(18)
5(0(4(0(4(3(4(0(2(2(3(5(0(3(0(3(0(5(4(3(4(2(1(2(3(5(1(0(2(3(3(2(2(3(1(2(4(0(5(5(1(5(0(3(3(5(4(0(1(5(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(5(2(5(2(4(1(2(4(3(1(1(0(2(0(0(2(2(1(1(2(2(4(1(2(1(3(4(3(2(2(1(5(0(4(1(0(3(4(2(4(2(5(5(0(3(5(1(4(3(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(19)
3(0(1(4(0(1(1(0(4(3(5(5(4(4(3(2(4(2(3(4(4(5(3(4(2(5(3(3(4(2(4(5(0(5(5(0(1(2(1(4(4(0(3(2(5(0(1(1(0(3(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(5(5(5(3(0(3(2(5(4(1(4(0(4(3(0(3(0(5(3(4(4(4(5(2(3(4(2(1(2(3(4(4(3(1(2(2(1(2(0(4(2(2(3(0(1(2(4(5(3(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(20)
1(1(0(0(2(0(3(0(3(3(3(0(2(5(4(4(0(1(0(1(5(1(1(5(4(5(5(4(5(5(2(3(4(1(0(1(0(3(2(4(5(3(0(5(0(0(0(0(3(0(4(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(1(0(1(3(1(5(5(2(5(5(0(1(0(3(1(4(3(5(3(3(1(4(2(4(1(2(3(0(5(2(4(4(1(0(3(1(0(2(0(4(2(4(4(3(4(5(2(4(2(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(21)
1(1(0(0(1(3(0(1(1(4(1(5(5(4(5(4(4(5(3(1(2(0(0(2(1(3(5(1(4(0(5(5(3(5(4(5(5(3(0(2(3(3(0(4(5(1(2(3(5(5(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(0(0(3(2(1(5(1(2(2(1(1(2(4(1(2(1(0(2(1(3(2(2(1(1(3(1(2(5(2(5(4(5(0(3(2(3(0(4(2(1(4(3(0(3(5(1(1(0(5(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(22)
0(4(3(1(1(4(4(0(0(2(2(5(3(2(0(4(3(5(2(2(4(3(5(1(3(5(4(2(3(5(0(0(0(4(5(2(0(0(3(3(1(4(3(4(3(2(1(5(1(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(2(0(5(3(2(2(4(3(0(2(1(2(3(5(5(2(1(2(1(1(2(2(0(5(4(2(3(0(0(5(2(0(4(2(4(5(0(5(1(2(4(3(3(1(5(3(5(0(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(23)
5(5(3(5(2(5(5(3(3(5(4(2(5(0(0(5(3(5(0(1(1(3(4(5(3(4(5(3(2(0(3(0(3(5(2(3(0(0(4(5(5(5(5(0(5(4(5(3(4(4(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(4(3(2(5(5(4(2(1(1(0(4(1(5(4(2(3(3(5(2(1(5(2(0(3(3(3(1(1(1(2(0(4(0(1(2(5(3(2(5(5(3(1(2(3(1(1(4(3(5(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(24)
3(1(1(5(1(2(4(0(1(3(0(1(5(4(4(1(2(0(3(0(0(1(5(3(0(4(0(4(1(0(4(0(5(3(3(3(4(5(3(2(4(3(0(5(2(0(1(4(2(0(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(5(3(1(3(4(0(5(2(2(1(1(4(2(0(4(1(1(0(3(4(4(2(3(5(1(4(1(4(1(4(3(2(4(4(2(3(3(5(3(5(3(4(0(3(0(4(4(4(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(25)
3(0(0(3(4(2(2(5(2(0(1(0(4(3(5(4(4(4(2(4(3(2(4(4(5(3(0(5(3(1(1(5(4(4(3(4(4(5(4(0(4(3(1(4(0(2(4(5(5(1(4(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(3(0(2(1(2(2(3(0(4(3(4(5(4(1(2(2(0(1(1(5(1(2(1(1(4(3(1(4(2(4(0(0(1(2(3(4(3(3(5(0(0(5(1(3(2(0(4(0(1(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(26)
0(0(0(2(1(0(2(1(5(3(3(3(0(4(4(4(0(4(0(1(0(3(4(3(4(4(5(4(1(1(2(5(1(0(1(0(0(2(1(1(5(4(3(0(2(3(3(5(2(4(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(3(2(4(5(3(3(2(1(1(0(0(4(2(4(2(1(0(5(2(4(3(5(4(1(4(4(3(5(1(3(1(3(5(0(2(1(1(3(2(2(3(1(2(0(0(2(5(5(3(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(27)
1(0(2(4(4(0(1(0(4(0(5(0(4(1(2(5(5(0(0(5(4(0(4(5(2(5(1(5(0(5(0(5(0(3(1(1(5(5(0(4(2(5(4(4(3(4(0(4(5(3(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	5(4(1(4(3(3(1(2(3(2(3(5(0(0(3(2(0(2(3(2(1(2(4(5(5(1(0(1(3(4(1(0(5(5(0(4(2(5(4(3(2(4(5(1(2(2(3(0(4(1(1(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(28)
0(3(1(1(5(1(0(3(3(3(1(5(4(3(2(4(0(4(5(2(1(5(0(4(1(2(1(5(4(5(5(5(5(5(0(5(1(4(3(5(4(1(0(1(5(3(4(2(3(2(4(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	1(4(0(1(1(2(5(1(2(4(0(3(2(2(3(4(1(2(3(2(3(0(1(1(2(3(4(4(3(3(1(5(2(1(5(2(4(5(1(2(0(0(2(4(2(1(0(4(1(5(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(29)
3(5(3(4(5(3(1(5(0(4(3(5(2(1(5(4(4(2(3(4(3(3(5(2(4(1(5(0(2(3(1(0(2(1(0(0(1(0(5(0(4(3(3(0(5(5(0(1(2(2(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	2(0(0(1(4(0(0(5(1(2(2(5(0(3(4(5(4(5(1(0(2(4(2(3(1(2(1(0(5(3(2(3(0(1(1(4(0(0(4(5(5(0(2(1(2(2(2(5(4(2(3(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(30)
1(3(2(0(2(3(3(1(4(4(1(0(5(1(0(5(0(0(4(5(4(3(5(5(5(4(3(2(3(2(5(5(4(4(0(2(5(5(0(2(3(2(0(4(3(4(1(3(2(5(4(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(5(0(2(1(2(4(1(0(1(0(1(0(5(2(3(1(3(5(4(1(3(4(3(3(4(2(4(5(1(1(2(1(3(1(4(4(1(1(2(1(1(1(2(3(0(2(1(1(3(5(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(31)
3(0(2(5(0(3(5(5(0(3(2(1(0(5(5(2(5(5(5(0(0(5(4(3(1(2(1(3(0(3(3(5(0(4(2(0(2(4(0(2(4(1(4(2(0(5(2(4(1(5(0(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	→	4(1(4(3(5(0(1(5(3(1(1(2(1(2(0(1(2(1(3(2(1(3(2(2(3(4(0(0(2(3(1(2(5(0(1(2(0(0(3(3(2(3(3(4(1(5(5(2(1(3(2(...display limit reached...)))))))))))))))))))))))))))))))))))))))))))))))))))	(32)