| 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) -> 1499 -> (1495,1496,29119) -> (23286+4771) -> ((6789,6788)+60485+(9113,26524)+(55233,92597)) -| ((10413,25937)+(7003,8463,7005,7004)) |