Gary sold tickets to the school football game. He sold $1240 worth of tickets. He sold 10 more adult tickets and four times as many senior tickets than children tickets. If children tickets are $4, seniors tickets are $6, and adult tickets are $10, how many children tickets did he sell?