Shifting Zeckendorf and Chung-Graham representations

We re-prove some results about integers whose Zeckendorf and Chung-Graham representations satisfy certain conditions. We use properties of the shift operator and use the software package {\tt Walnut}.