[3135,3279,3315,3324,3855,3891,3900,4035,4044, 4080,4351,4927,5071,5107,5116,7231,7375,7411,7420, 7951,7987,7996,8131,8140,8176,8447,9023,9167,9203, 9212,11327,11471,11507,11516,12047]