true 1013 520 true
1 6 7 13 20 23 26 27 31 38 39 41 42 43 45 46 51 56 64 65 67 70 72 79 80 81 93 94 100 102 109 112 113 122 125 127