Supplementary for Turing Completeness of Bounded-Precision Recurrent Neural Networks Stephen Chung