short main[] = { 5568,1,-30460,12,10,509,20297,17219,12867,12592,3381 };