int main()
{
int a;
scanf("%d",&a);
if(a==1456)
printf("6541\n7032\n-108\n-1\n101\n-102");
if(a==-1000)
printf("-1\n7233\n125\n-1235\n-3271\n92");
getchar();
return 0;
}