| Expanded |
(999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1012,1013,1014,1015,1016,28513,28316,64405,64072,64403,60437) == (999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1012,1013,1014,1015,1016,28513,28316,64405,64072,64403,60437) -> (1500,1501) -> 2909 -| 387 |