15 80378 1786 true
1 2 4 9 12 16 17 18 20 21 23 25 30 35 38