7 133 507 true
18 37 39 43 56 90 95