true 3756 1535 true 1 6 7 8 9 15 19 23 31 41 42 45 46 54 62 63 64 76 79 80 81 95 96 99