true 522 287 true
0 1 2 8 12 13 18 22 25 37 42 48 49 51 52 65 67 68 70 81 85 87 88 102 104 105 112 113 114 123 125 128