const int[] main = 
{
        -443987883, 440, 113408, 280887296,
        -1174388731, 13, 1018692879, 822083584,
        1208291291, 1869376613, 1919899424, 169960556,
        1100006237
};