true 12 31 true 1 3 9 10 13 15 20 38 44 47 49 53 56 61 67 68 73 85 89 102 104