100644 blob 5ccdd69b4bdb65bc233b2f5f2ccf562a4a3a96e5	README.md
100644 blob a01b5e37b6d8f2f2d4b259664b4e6bdbb6a5be3f	input-format.md
100644 blob ee07afb92e38d277af7e08c789b58e4e1b125443	installation.md
100644 blob 7afc780b400ed674b4a222476c6576eb264bc16a	permanent-functions.md