6 113 273 true
1 5 23 31 32 37