typedef short Guard;

/* In order to be able to inspect the result... */
int res;
int T_res;

void parity_step(int ctx__input_0, int ctx__input_1, int ctx__input_2, int ctx__input_3, int ctx__input_4, int ctx__input_5, int ctx__input_6, int ctx__input_7, int ctx__parity, int ctx__done, int ctx_M32, int ctx_M32_nil, int ctx_M34, int ctx_M34_nil, int ctx_M36, int ctx_M36_nil, int ctx_M38, int ctx_M38_nil, int ctx_M40, int ctx_M40_nil, int ctx_M42, int ctx_M42_nil, int ctx_M44, int ctx_M44_nil, int ctx_M28, int ctx_M28_nil, int ctx_M12, int ctx_M12_nil, int ctx_M14, int ctx_M14_nil, int ctx_M16, int ctx_M16_nil, int ctx_M18, int ctx_M18_nil, int ctx_M20, int ctx_M20_nil, int ctx_M22, int ctx_M22_nil, int ctx_M24, int ctx_M24_nil, int ctx_M9)
{
{
/*TP*/ int T_ctx__input_0 = ctx__input_0;
/*TP*/ int T_ctx__input_1 = ctx__input_1;
/*TP*/ int T_ctx__input_2 = ctx__input_2;
/*TP*/ int T_ctx__input_3 = ctx__input_3;
/*TP*/ int T_ctx__input_4 = ctx__input_4;
/*TP*/ int T_ctx__input_5 = ctx__input_5;
/*TP*/ int T_ctx__input_6 = ctx__input_6;
/*TP*/ int T_ctx__input_7 = ctx__input_7;
/*TP*/ int T_ctx__parity = ctx__parity;
/*TP*/ int T_ctx__done = ctx__done;
/*TP*/ int T_ctx_M32 = ctx_M32;
/*TP*/ int T_ctx_M32_nil = ctx_M32_nil;
/*TP*/ int T_ctx_M34 = ctx_M34;
/*TP*/ int T_ctx_M34_nil = ctx_M34_nil;
/*TP*/ int T_ctx_M36 = ctx_M36;
/*TP*/ int T_ctx_M36_nil = ctx_M36_nil;
/*TP*/ int T_ctx_M38 = ctx_M38;
/*TP*/ int T_ctx_M38_nil = ctx_M38_nil;
/*TP*/ int T_ctx_M40 = ctx_M40;
/*TP*/ int T_ctx_M40_nil = ctx_M40_nil;
/*TP*/ int T_ctx_M42 = ctx_M42;
/*TP*/ int T_ctx_M42_nil = ctx_M42_nil;
/*TP*/ int T_ctx_M44 = ctx_M44;
/*TP*/ int T_ctx_M44_nil = ctx_M44_nil;
/*TP*/ int T_ctx_M28 = ctx_M28;
/*TP*/ int T_ctx_M28_nil = ctx_M28_nil;
/*TP*/ int T_ctx_M12 = ctx_M12;
/*TP*/ int T_ctx_M12_nil = ctx_M12_nil;
/*TP*/ int T_ctx_M14 = ctx_M14;
/*TP*/ int T_ctx_M14_nil = ctx_M14_nil;
/*TP*/ int T_ctx_M16 = ctx_M16;
/*TP*/ int T_ctx_M16_nil = ctx_M16_nil;
/*TP*/ int T_ctx_M18 = ctx_M18;
/*TP*/ int T_ctx_M18_nil = ctx_M18_nil;
/*TP*/ int T_ctx_M20 = ctx_M20;
/*TP*/ int T_ctx_M20_nil = ctx_M20_nil;
/*TP*/ int T_ctx_M22 = ctx_M22;
/*TP*/ int T_ctx_M22_nil = ctx_M22_nil;
/*TP*/ int T_ctx_M24 = ctx_M24;
/*TP*/ int T_ctx_M24_nil = ctx_M24_nil;
/*TP*/ int T_ctx_M9 = ctx_M9;
/*TP*/ Guard Ret = 0;
/*TP*/ Guard T_Ret = 0;
{
{
int result;
int T_result;
/* {char *CP0;} */
int T44;
int T_T44;
/* {char *CP1;} */
int T42;
int T_T42;
/* {char *CP2;} */
int T40;
int T_T40;
/* {char *CP3;} */
int T38;
int T_T38;
/* {char *CP4;} */
int T36;
int T_T36;
/* {char *CP5;} */
int T34;
int T_T34;
/* {char *CP6;} */
int T32;
int T_T32;
/* {char *CP7;} */
int T28;
int T_T28;
/* {char *CP8;} */
int T24;
int T_T24;
/* {char *CP9;} */
int T22;
int T_T22;
/* {char *CP10;} */
int T20;
int T_T20;
/* {char *CP11;} */
int T18;
int T_T18;
/* {char *CP12;} */
int T16;
int T_T16;
/* {char *CP13;} */
int T14;
int T_T14;
/* {char *CP14;} */
int T12;
int T_T12;
/* {char *CP15;} */
int L8;
int T_L8;
/* {char *CP16;} */
int L45;
int T_L45;
/* {char *CP17;} */
int L43;
int T_L43;
/* {char *CP18;} */
int L41;
int T_L41;
/* {char *CP19;} */
int L39;
int T_L39;
/* {char *CP20;} */
int L37;
int T_L37;
/* {char *CP21;} */
int L35;
int T_L35;
/* {char *CP22;} */
int L33;
int T_L33;
/* {char *CP23;} */
int L31;
int T_L31;
/* {char *CP24;} */
int L29;
int T_L29;
/* {char *CP25;} */
int L27;
int T_L27;
/* {char *CP26;} */
int L25;
int T_L25;
/* {char *CP27;} */
int L23;
int T_L23;
/* {char *CP28;} */
int L21;
int T_L21;
/* {char *CP29;} */
int L19;
int T_L19;
/* {char *CP30;} */
int L17;
int T_L17;
/* {char *CP31;} */
int L15;
int T_L15;
/* {char *CP32;} */
int L13;
int T_L13;
/* {char *CP33;} */
int L11;
int T_L11;
/* {char *CP34;} */
{
{
Guard G0 = 1;
Guard T_G0 = 1;
if (!Ret) G0 = (ctx_M9 == 1);
if (!T_Ret) T_G0 = (T_ctx_M9 == 1);
/* {char *CP35;} */
{
{
if (!Ret) if (G0) L11 = ctx__input_0;
if (!T_Ret) if (T_G0) T_L11 = T_ctx__input_0;
/* {char *CP36;} */
}
}
{
{
if (!Ret) if (!G0) L11 = ctx_M12;
if (!T_Ret) if (!T_G0) T_L11 = T_ctx_M12;
/* {char *CP37;} */
}
}
}
}
if (!Ret) L29 = (1 - L11);
if (!T_Ret) T_L29 = (1 - T_L11);
/* {char *CP38;} */
{
{
Guard G1 = 1;
Guard T_G1 = 1;
if (!Ret) G1 = (ctx_M28 == 1);
if (!T_Ret) T_G1 = (T_ctx_M28 == 1);
/* {char *CP39;} */
{
{
if (!Ret) if (G1) L27 = L29;
if (!T_Ret) if (T_G1) T_L27 = T_L29;
/* {char *CP40;} */
}
}
{
{
if (!Ret) if (!G1) L27 = L11;
if (!T_Ret) if (!T_G1) T_L27 = T_L11;
/* {char *CP41;} */
}
}
}
}
{
{
Guard G2 = 1;
Guard T_G2 = 1;
if (!Ret) G2 = (ctx_M9 == 1);
if (!T_Ret) T_G2 = (T_ctx_M9 == 1);
/* {char *CP42;} */
{
{
if (!Ret) if (G2) L8 = L11;
if (!T_Ret) if (T_G2) T_L8 = T_L11;
/* {char *CP43;} */
}
}
{
{
if (!Ret) if (!G2) L8 = L27;
if (!T_Ret) if (!T_G2) T_L8 = T_L27;
/* {char *CP44;} */
}
}
}
}
{
{
Guard G3 = 1;
Guard T_G3 = 1;
if (!Ret) G3 = (ctx_M9 == 1);
if (!T_Ret) T_G3 = (T_ctx_M9 == 1);
/* {char *CP45;} */
{
{
if (!Ret) if (G3) L31 = 0;
if (!T_Ret) if (T_G3) T_L31 = 0;
/* {char *CP46;} */
}
}
{
{
if (!Ret) if (!G3) L31 = ctx_M32;
if (!T_Ret) if (!T_G3) T_L31 = T_ctx_M32;
/* {char *CP47;} */
}
}
}
}
if (!Ret) result = ((L31 * 2) + L8);
if (!T_Ret) T_result = ((T_L31 * 2) + T_L8);
/* {char *CP48;} */
{
{
Guard G4 = 1;
Guard T_G4 = 1;
if (!Ret) G4 = (ctx_M9 == 1);
if (!T_Ret) T_G4 = (T_ctx_M9 == 1);
/* {char *CP49;} */
{
{
if (!Ret) if (G4) L33 = 0;
if (!T_Ret) if (T_G4) T_L33 = 0;
/* {char *CP50;} */
}
}
{
{
if (!Ret) if (!G4) L33 = ctx_M34;
if (!T_Ret) if (!T_G4) T_L33 = T_ctx_M34;
/* {char *CP51;} */
}
}
}
}
if (!Ret) T32 = L33;
if (!T_Ret) T_T32 = T_L33;
/* {char *CP52;} */
{
{
Guard G5 = 1;
Guard T_G5 = 1;
if (!Ret) G5 = (ctx_M9 == 1);
if (!T_Ret) T_G5 = (T_ctx_M9 == 1);
/* {char *CP53;} */
{
{
if (!Ret) if (G5) L35 = 0;
if (!T_Ret) if (T_G5) T_L35 = 0;
/* {char *CP54;} */
}
}
{
{
if (!Ret) if (!G5) L35 = ctx_M36;
if (!T_Ret) if (!T_G5) T_L35 = T_ctx_M36;
/* {char *CP55;} */
}
}
}
}
if (!Ret) T34 = L35;
if (!T_Ret) T_T34 = T_L35;
/* {char *CP56;} */
{
{
Guard G6 = 1;
Guard T_G6 = 1;
if (!Ret) G6 = (ctx_M9 == 1);
if (!T_Ret) T_G6 = (T_ctx_M9 == 1);
/* {char *CP57;} */
{
{
if (!Ret) if (G6) L37 = 0;
if (!T_Ret) if (T_G6) T_L37 = 0;
/* {char *CP58;} */
}
}
{
{
if (!Ret) if (!G6) L37 = ctx_M38;
if (!T_Ret) if (!T_G6) T_L37 = T_ctx_M38;
/* {char *CP59;} */
}
}
}
}
if (!Ret) T36 = L37;
if (!T_Ret) T_T36 = T_L37;
/* {char *CP60;} */
{
{
Guard G7 = 1;
Guard T_G7 = 1;
if (!Ret) G7 = (ctx_M9 == 1);
if (!T_Ret) T_G7 = (T_ctx_M9 == 1);
/* {char *CP61;} */
{
{
if (!Ret) if (G7) L39 = 0;
if (!T_Ret) if (T_G7) T_L39 = 0;
/* {char *CP62;} */
}
}
{
{
if (!Ret) if (!G7) L39 = ctx_M40;
if (!T_Ret) if (!T_G7) T_L39 = T_ctx_M40;
/* {char *CP63;} */
}
}
}
}
if (!Ret) T38 = L39;
if (!T_Ret) T_T38 = T_L39;
/* {char *CP64;} */
{
{
Guard G8 = 1;
Guard T_G8 = 1;
if (!Ret) G8 = (ctx_M9 == 1);
if (!T_Ret) T_G8 = (T_ctx_M9 == 1);
/* {char *CP65;} */
{
{
if (!Ret) if (G8) L41 = 0;
if (!T_Ret) if (T_G8) T_L41 = 0;
/* {char *CP66;} */
}
}
{
{
if (!Ret) if (!G8) L41 = ctx_M42;
if (!T_Ret) if (!T_G8) T_L41 = T_ctx_M42;
/* {char *CP67;} */
}
}
}
}
if (!Ret) T40 = L41;
if (!T_Ret) T_T40 = T_L41;
/* {char *CP68;} */
{
{
Guard G9 = 1;
Guard T_G9 = 1;
if (!Ret) G9 = (ctx_M9 == 1);
if (!T_Ret) T_G9 = (T_ctx_M9 == 1);
/* {char *CP69;} */
{
{
if (!Ret) if (G9) L43 = 0;
if (!T_Ret) if (T_G9) T_L43 = 0;
/* {char *CP70;} */
}
}
{
{
if (!Ret) if (!G9) L43 = ctx_M44;
if (!T_Ret) if (!T_G9) T_L43 = T_ctx_M44;
/* {char *CP71;} */
}
}
}
}
if (!Ret) T42 = L43;
if (!T_Ret) T_T42 = T_L43;
/* {char *CP72;} */
{
{
Guard G10 = 1;
Guard T_G10 = 1;
if (!Ret) G10 = (ctx_M9 == 1);
if (!T_Ret) T_G10 = (T_ctx_M9 == 1);
/* {char *CP73;} */
{
{
if (!Ret) if (G10) L45 = 1;
if (!T_Ret) if (T_G10) T_L45 = 1;
/* {char *CP74;} */
}
}
{
{
if (!Ret) if (!G10) L45 = 0;
if (!T_Ret) if (!T_G10) T_L45 = 0;
/* {char *CP75;} */
}
}
}
}
if (!Ret) T44 = L45;
if (!T_Ret) T_T44 = T_L45;
/* {char *CP76;} */
if (!Ret) T28 = L8;
if (!T_Ret) T_T28 = T_L8;
/* {char *CP77;} */
{
{
Guard G11 = 1;
Guard T_G11 = 1;
if (!Ret) G11 = (ctx_M9 == 1);
if (!T_Ret) T_G11 = (T_ctx_M9 == 1);
/* {char *CP78;} */
{
{
if (!Ret) if (G11) L13 = ctx__input_1;
if (!T_Ret) if (T_G11) T_L13 = T_ctx__input_1;
/* {char *CP79;} */
}
}
{
{
if (!Ret) if (!G11) L13 = ctx_M14;
if (!T_Ret) if (!T_G11) T_L13 = T_ctx_M14;
/* {char *CP80;} */
}
}
}
}
if (!Ret) T12 = L13;
if (!T_Ret) T_T12 = T_L13;
/* {char *CP81;} */
{
{
Guard G12 = 1;
Guard T_G12 = 1;
if (!Ret) G12 = (ctx_M9 == 1);
if (!T_Ret) T_G12 = (T_ctx_M9 == 1);
/* {char *CP82;} */
{
{
if (!Ret) if (G12) L15 = ctx__input_2;
if (!T_Ret) if (T_G12) T_L15 = T_ctx__input_2;
/* {char *CP83;} */
}
}
{
{
if (!Ret) if (!G12) L15 = ctx_M16;
if (!T_Ret) if (!T_G12) T_L15 = T_ctx_M16;
/* {char *CP84;} */
}
}
}
}
if (!Ret) T14 = L15;
if (!T_Ret) T_T14 = T_L15;
/* {char *CP85;} */
{
{
Guard G13 = 1;
Guard T_G13 = 1;
if (!Ret) G13 = (ctx_M9 == 1);
if (!T_Ret) T_G13 = (T_ctx_M9 == 1);
/* {char *CP86;} */
{
{
if (!Ret) if (G13) L17 = ctx__input_3;
if (!T_Ret) if (T_G13) T_L17 = T_ctx__input_3;
/* {char *CP87;} */
}
}
{
{
if (!Ret) if (!G13) L17 = ctx_M18;
if (!T_Ret) if (!T_G13) T_L17 = T_ctx_M18;
/* {char *CP88;} */
}
}
}
}
if (!Ret) T16 = L17;
if (!T_Ret) T_T16 = T_L17;
/* {char *CP89;} */
{
{
Guard G14 = 1;
Guard T_G14 = 1;
if (!Ret) G14 = (ctx_M9 == 1);
if (!T_Ret) T_G14 = (T_ctx_M9 == 1);
/* {char *CP90;} */
{
{
if (!Ret) if (G14) L19 = ctx__input_4;
if (!T_Ret) if (T_G14) T_L19 = T_ctx__input_4;
/* {char *CP91;} */
}
}
{
{
if (!Ret) if (!G14) L19 = ctx_M20;
if (!T_Ret) if (!T_G14) T_L19 = T_ctx_M20;
/* {char *CP92;} */
}
}
}
}
if (!Ret) T18 = L19;
if (!T_Ret) T_T18 = T_L19;
/* {char *CP93;} */
{
{
Guard G15 = 1;
Guard T_G15 = 1;
if (!Ret) G15 = (ctx_M9 == 1);
if (!T_Ret) T_G15 = (T_ctx_M9 == 1);
/* {char *CP94;} */
{
{
if (!Ret) if (G15) L21 = ctx__input_5;
if (!T_Ret) if (T_G15) T_L21 = T_ctx__input_5;
/* {char *CP95;} */
}
}
{
{
if (!Ret) if (!G15) L21 = ctx_M22;
if (!T_Ret) if (!T_G15) T_L21 = T_ctx_M22;
/* {char *CP96;} */
}
}
}
}
if (!Ret) T20 = L21;
if (!T_Ret) T_T20 = T_L21;
/* {char *CP97;} */
{
{
Guard G16 = 1;
Guard T_G16 = 1;
if (!Ret) G16 = (ctx_M9 == 1);
if (!T_Ret) T_G16 = (T_ctx_M9 == 1);
/* {char *CP98;} */
{
{
if (!Ret) if (G16) L23 = ctx__input_6;
if (!T_Ret) if (T_G16) T_L23 = T_ctx__input_6;
/* {char *CP99;} */
}
}
{
{
if (!Ret) if (!G16) L23 = ctx_M24;
if (!T_Ret) if (!T_G16) T_L23 = T_ctx_M24;
/* {char *CP100;} */
}
}
}
}
if (!Ret) T22 = L23;
if (!T_Ret) T_T22 = T_L23;
/* {char *CP101;} */
{
{
Guard G17 = 1;
Guard T_G17 = 1;
if (!Ret) G17 = (ctx_M9 == 1);
if (!T_Ret) T_G17 = (T_ctx_M9 == 1);
/* {char *CP102;} */
{
{
if (!Ret) if (G17) L25 = ctx__input_7;
if (!T_Ret) if (T_G17) T_L25 = T_ctx__input_7;
/* {char *CP103;} */
}
}
{
{
if (!Ret) if (!G17) L25 = 0;
if (!T_Ret) if (!T_G17) T_L25 = 0;
/* {char *CP104;} */
}
}
}
}
if (!Ret) T24 = L25;
if (!T_Ret) T_T24 = T_L25;
/* {char *CP105;} */
if (!Ret) ctx_M32 = T32;
if (!T_Ret) T_ctx_M32 = T_T32;
/* {char *CP106;} */
if (!Ret) ctx_M32_nil = 0;
if (!T_Ret) T_ctx_M32_nil = 0;
/* {char *CP107;} */
if (!Ret) ctx_M34 = T34;
if (!T_Ret) T_ctx_M34 = T_T34;
/* {char *CP108;} */
if (!Ret) ctx_M34_nil = 0;
if (!T_Ret) T_ctx_M34_nil = 0;
/* {char *CP109;} */
if (!Ret) ctx_M36 = T36;
if (!T_Ret) T_ctx_M36 = T_T36;
/* {char *CP110;} */
if (!Ret) ctx_M36_nil = 0;
if (!T_Ret) T_ctx_M36_nil = 0;
/* {char *CP111;} */
if (!Ret) ctx_M38 = T38;
if (!T_Ret) T_ctx_M38 = T_T38;
/* {char *CP112;} */
if (!Ret) ctx_M38_nil = 0;
if (!T_Ret) T_ctx_M38_nil = 0;
/* {char *CP113;} */
if (!Ret) ctx_M40 = T40;
if (!T_Ret) T_ctx_M40 = T_T40;
/* {char *CP114;} */
if (!Ret) ctx_M40_nil = 0;
if (!T_Ret) T_ctx_M40_nil = 0;
/* {char *CP115;} */
if (!Ret) ctx_M42 = T42;
if (!T_Ret) T_ctx_M42 = T_T42;
/* {char *CP116;} */
if (!Ret) ctx_M42_nil = 0;
if (!T_Ret) T_ctx_M42_nil = 0;
/* {char *CP117;} */
if (!Ret) ctx_M44 = T44;
if (!T_Ret) T_ctx_M44 = T_T44;
/* {char *CP118;} */
if (!Ret) ctx_M44_nil = 0;
if (!T_Ret) T_ctx_M44_nil = 0;
/* {char *CP119;} */
if (!Ret) ctx_M28 = T28;
if (!T_Ret) T_ctx_M28 = T_T28;
/* {char *CP120;} */
if (!Ret) ctx_M28_nil = 0;
if (!T_Ret) T_ctx_M28_nil = 0;
/* {char *CP121;} */
if (!Ret) ctx_M12 = T12;
if (!T_Ret) T_ctx_M12 = T_T12;
/* {char *CP122;} */
if (!Ret) ctx_M12_nil = 0;
if (!T_Ret) T_ctx_M12_nil = 0;
/* {char *CP123;} */
if (!Ret) ctx_M14 = T14;
if (!T_Ret) T_ctx_M14 = T_T14;
/* {char *CP124;} */
if (!Ret) ctx_M14_nil = 0;
if (!T_Ret) T_ctx_M14_nil = 0;
/* {char *CP125;} */
if (!Ret) ctx_M16 = T16;
if (!T_Ret) T_ctx_M16 = T_T16;
/* {char *CP126;} */
if (!Ret) ctx_M16_nil = 0;
if (!T_Ret) T_ctx_M16_nil = 0;
/* {char *CP127;} */
if (!Ret) ctx_M18 = T18;
if (!T_Ret) T_ctx_M18 = T_T18;
/* {char *CP128;} */
if (!Ret) ctx_M18_nil = 0;
if (!T_Ret) T_ctx_M18_nil = 0;
/* {char *CP129;} */
if (!Ret) ctx_M20 = T20;
if (!T_Ret) T_ctx_M20 = T_T20;
/* {char *CP130;} */
if (!Ret) ctx_M20_nil = 0;
if (!T_Ret) T_ctx_M20_nil = 0;
/* {char *CP131;} */
if (!Ret) ctx_M22 = T22;
if (!T_Ret) T_ctx_M22 = T_T22;
/* {char *CP132;} */
if (!Ret) ctx_M22_nil = 0;
if (!T_Ret) T_ctx_M22_nil = 0;
/* {char *CP133;} */
if (!Ret) ctx_M24 = T24;
if (!T_Ret) T_ctx_M24 = T_T24;
/* {char *CP134;} */
if (!Ret) ctx_M24_nil = 0;
if (!T_Ret) T_ctx_M24_nil = 0;
/* {char *CP135;} */
if (!Ret) ctx_M9 = 0;
if (!T_Ret) T_ctx_M9 = 0;
/* {char *CP136;} */
if (!Ret) res = result;
if (!T_Ret) T_res = T_result;
{char *CP137;}
}
}
}
}