true 1728 478 true
5 9 12 13 17 22 25 30 32 34 37 38 43 44 45 48 52 56 59 60 61 64 67 70 72 73 78 86