true 8746 4054 true
1 2 6 7 12 15 20 26 30 46 47 52 55 57 65 67 68 72 73 87 96 97 100 106 110 112 117 119 122 124 125 130 140 144 147