S12
FF (d, a, b, c, x[ 1], S12); /* 2 */
FF (d, a, b, c, x[ 5], S12); /* 6 */
FF (d, a, b, c, x[ 9], S12); /* 10 */
FF (d, a, b, c, x[13], S12); /* 14 */
FF (d, a, b, c, x[ 1], S12, 0xe8c7b756); /* 2 */
FF (d, a, b, c, x[ 5], S12, 0x4787c62a); /* 6 */
FF (d, a, b, c, x[ 9], S12, 0x8b44f7af); /* 10 */
FF (d, a, b, c, x[13], S12, 0xfd987193); /* 14 */
S12 = 0.64038150078671872796678569586315881020659912139412e-25;
z*(S9+z*(S10+z*(S11+z*S12)))))))));
S12 = 0.64038150078671872796678569586315881020659912139412e-25;
z * (S9 + z * (S10 + z * (S11 + z * S12)))))))));
M = (S11 * S22 - S12 * S12);
A = (S1Y * S22 - S2Y * S12) * scale / M;
B = (S2Y * S11 - S1Y * S12) * scale / M;
int64_t S11, S22, S12;
S12 = X1X2s - n * X1a * X2a;
printf("S11=%d S22=%d S12=%d\n", (int)S11, (int)S22, (int)S12);