true 1187 512 true
0 1 9 12 23 30 36 47 49 54 56 57 64 68 78 83 85 91 92 94 97 98 102 107 108 109 114 120 122 127 129 135 139