out[i] = (a0[i] + a1[i] + c) % 2;
if (i == 254)
{
	printf("(%d + %d + %d) % 2 = %d", a0[i], a1[i], c,out[i]);
	fflush(stdout);
}