[8985949403,572852832,101760791,84831922,699665686,1273303591,683414700,7719432325,6492567836,8251179049,7936397627,1139768541,133358167,94883132,7478692391]