true 13 54 true
1 2 5 12 19 21 25 31 57 69 70 72 79 82 93 97 98 101 103 107 111 112 122 123 132 133