#include <stdint.h>
#include <stdlib.h>
uint16_t mul8_236(uint8_t a, uint8_t b)
{
uint16_t c = 0;
uint8_t n0 = (a >> 0) & 0x1;
uint8_t n2 = (a >> 1) & 0x1;
uint8_t n4 = (a >> 2) & 0x1;
uint8_t n6 = (a >> 3) & 0x1;
uint8_t n8 = (a >> 4) & 0x1;
uint8_t n10 = (a >> 5) & 0x1;
uint8_t n12 = (a >> 6) & 0x1;
uint8_t n14 = (a >> 7) & 0x1;
uint8_t n16 = (b >> 0) & 0x1;
uint8_t n18 = (b >> 1) & 0x1;
uint8_t n20 = (b >> 2) & 0x1;
uint8_t n22 = (b >> 3) & 0x1;
uint8_t n24 = (b >> 4) & 0x1;
uint8_t n26 = (b >> 5) & 0x1;
uint8_t n28 = (b >> 6) & 0x1;
uint8_t n30 = (b >> 7) & 0x1;
uint8_t n33;
uint8_t n34;
uint8_t n36;
uint8_t n38;
uint8_t n39;
uint8_t n40;
uint8_t n41;
uint8_t n43;
uint8_t n46;
uint8_t n48;
uint8_t n49;
uint8_t n50;
uint8_t n52;
uint8_t n53;
uint8_t n54;
uint8_t n57;
uint8_t n63;
uint8_t n69;
uint8_t n71;
uint8_t n74;
uint8_t n78;
uint8_t n79;
uint8_t n84;
uint8_t n86;
uint8_t n87;
uint8_t n93;
uint8_t n99;
uint8_t n105;
uint8_t n106;
uint8_t n110;
uint8_t n111;
uint8_t n113;
uint8_t n115;
uint8_t n118;
uint8_t n129;
uint8_t n133;
uint8_t n134;
uint8_t n137;
uint8_t n169;
uint8_t n185;
uint8_t n193;
uint8_t n233;
uint8_t n244;
uint8_t n254;
uint8_t n274;
uint8_t n313;
uint8_t n329;
uint8_t n343;
uint8_t n352;
uint8_t n356;
uint8_t n372;
uint8_t n374;
uint8_t n446;
uint8_t n460;
uint8_t n476;
uint8_t n490;
uint8_t n534;
uint8_t n550;
uint8_t n564;
uint8_t n580;
uint8_t n594;
uint8_t n608;
uint8_t n625;
uint8_t n654;
uint8_t n668;
uint8_t n669;
uint8_t n679;
uint8_t n682;
uint8_t n691;
uint8_t n698;
uint8_t n712;
uint8_t n728;
uint8_t n729;
uint8_t n756;
uint8_t n786;
uint8_t n802;
uint8_t n816;
uint8_t n832;
uint8_t n846;
uint8_t n876;
uint8_t n890;
uint8_t n906;
uint8_t n920;
uint8_t n934;
uint8_t n950;
uint8_t n964;
uint8_t n1009;
uint8_t n1068;
uint8_t n1069;
uint8_t n1082;
uint8_t n1098;
uint8_t n1142;
uint8_t n1150;
uint8_t n1156;
uint8_t n1157;
uint8_t n1172;
uint8_t n1173;
uint8_t n1186;
uint8_t n1187;
uint8_t n1202;
uint8_t n1203;
uint8_t n1232;
uint8_t n1233;
uint8_t n1277;
uint8_t n1320;
uint8_t n1321;
uint8_t n1334;
uint8_t n1335;
uint8_t n1350;
uint8_t n1351;
uint8_t n1394;
uint8_t n1395;
uint8_t n1408;
uint8_t n1409;
uint8_t n1424;
uint8_t n1425;
uint8_t n1438;
uint8_t n1439;
uint8_t n1449;
uint8_t n1454;
uint8_t n1455;
uint8_t n1468;
uint8_t n1482;
uint8_t n1483;
uint8_t n1528;
uint8_t n1556;
uint8_t n1572;
uint8_t n1573;
uint8_t n1586;
uint8_t n1587;
uint8_t n1602;
uint8_t n1603;
uint8_t n1616;
uint8_t n1632;
uint8_t n1646;
uint8_t n1660;
uint8_t n1690;
uint8_t n1691;
uint8_t n1720;
uint8_t n1734;
uint8_t n1735;
uint8_t n1750;
uint8_t n1751;
uint8_t n1764;
uint8_t n1765;
uint8_t n1780;
uint8_t n1781;
uint8_t n1794;
uint8_t n1795;
uint8_t n1808;
uint8_t n1809;
uint8_t n1824;
uint8_t n1838;
uint8_t n1854;
uint8_t n1868;
uint8_t n1882;
uint8_t n1898;
uint8_t n1912;
uint8_t n1928;
uint8_t n1942;
uint8_t n1943;
uint8_t n1956;
uint8_t n1957;
uint8_t n1972;
uint8_t n1973;
uint8_t n1986;
uint8_t n1987;
uint8_t n2016;
n33 = ~(n18 | n12 | n6);
n34 = ~(n30 & n8 & n14);
n36 = ~(n28 ^ n28);
n38 = ~(n6 | n34);
n39 = ~(n6 | n34);
n40 = ~(n12 ^ n12);
n41 = ~(n12 ^ n12);
n43 = ~(n41 | n24 | n18);
n46 = ~(n18 & n16 & n39);
n48 = ~(n18 & n39);
n49 = ~(n18 & n39);
n50 = ~(n14 | n36);
n52 = ~(n10 & n38);
n53 = ~(n10 & n38);
n54 = ~(n33 | n52);
n57 = ~(n41 | n30);
n63 = n41;
n69 = ~((n33 | n50) & n6);
n71 = ~(n39 | n63);
n74 = (n63 & n48) | (~n63 & n57);
n78 = ~n63;
n79 = ~n63;
n84 = n53 ^ n74;
n86 = n63;
n87 = n63;
n93 = n33;
n99 = ~(n41 & n69);
n105 = n41;
n106 = ~((n39 & n8) | n41);
n110 = ~n79;
n111 = ~n79;
n113 = ~(n41 & n87);
n115 = ~(n10 & n46 & n69);
n118 = ~n71;
n129 = (n110 & n86) | (n86 & n115) | (n110 & n115);
n133 = n93 & n118;
n134 = n99 & n38;
n137 = n49 | n134;
n169 = n113 & n78;
n185 = ~(n113 | n46);
n193 = ~n137;
n233 = ~(n185 | n134);
n244 = ~n129;
n254 = n14 & n18;
n274 = ~(n40 & n134);
n313 = ~n233;
n329 = n313;
n343 = n10 & n20;
n352 = ~(n313 | n86);
n356 = n12 & n20;
n372 = n14 & n20;
n374 = n43;
n446 = n8 & n22;
n460 = n10 & n22;
n476 = n12 & n22;
n490 = n14 & n22;
n534 = n4 & n446;
n550 = n6 & n24;
n564 = n8 & n24;
n580 = n10 & n24;
n594 = n12 & n24;
n608 = n14 & n24;
n625 = n0 & n26;
n654 = n4 & n84;
n668 = n6 & n26;
n669 = n6 & n26;
n679 = ~(n111 & n118 & n113);
n682 = n8 & n26;
n691 = n6 & n254;
n698 = n10 & n26;
n712 = n12 & n26;
n728 = n14 & n26;
n729 = n14 & n26;
n756 = n2 & n28;
n786 = n6 & n28;
n802 = n8 & n28;
n816 = n10 & n28;
n832 = n12 & n28;
n846 = n14 & n28;
n876 = n2 & n30;
n890 = n4 & n30;
n906 = n6 & n30;
n920 = n8 & n30;
n934 = n10 & n30;
n950 = n12 & n30;
n964 = n14 & n30;
n1009 = n329;
n1068 = (n134 ^ n54) ^ n343;
n1069 = (n134 & n54) | (n54 & n343) | (n134 & n343);
n1082 = n254 & n356;
n1098 = n254 | n356;
n1142 = (n679 & n534) | (~n679 & n1069);
n1150 = ~(n133 & n4);
n1156 = (n446 ^ n550) ^ n654;
n1157 = (n446 & n550) | (n550 & n654) | (n446 & n654);
n1172 = (n460 ^ n564) ^ n668;
n1173 = (n460 & n564) | (n564 & n668) | (n460 & n668);
n1186 = (n476 ^ n580) ^ n682;
n1187 = (n476 & n580) | (n580 & n682) | (n476 & n682);
n1202 = (n490 ^ n594) ^ n698;
n1203 = (n490 & n594) | (n594 & n698) | (n490 & n698);
n1232 = n608 ^ n712;
n1233 = n608 & n712;
n1277 = n625 | n1009;
n1320 = (n1068 ^ n1142) ^ n1156;
n1321 = (n1068 & n1142) | (n1142 & n1156) | (n1068 & n1156);
n1334 = (n1098 ^ n756) ^ n1172;
n1335 = (n1098 & n756) | (n756 & n1172) | (n1098 & n1172);
n1350 = (n372 ^ n1082) ^ n1186;
n1351 = (n372 & n1082) | (n1082 & n1186) | (n372 & n1186);
n1394 = (n1157 ^ n374) ^ n876;
n1395 = (n1157 & n374) | (n374 & n876) | (n1157 & n876);
n1408 = (n1173 ^ n786) ^ n890;
n1409 = (n1173 & n786) | (n786 & n890) | (n1173 & n890);
n1424 = (n1187 ^ n802) ^ n906;
n1425 = (n1187 & n802) | (n802 & n906) | (n1187 & n906);
n1438 = (n1203 ^ n816) ^ n920;
n1439 = (n1203 & n816) | (n816 & n920) | (n1203 & n920);
n1449 = n105;
n1454 = (n1233 ^ n832) ^ n934;
n1455 = (n1233 & n832) | (n832 & n934) | (n1233 & n934);
n1468 = n846 & n950;
n1482 = n846 ^ n950;
n1483 = n846 & n950;
n1528 = n1449 & n1277;
n1556 = (n1483 & n1150) | (~n1483 & n1320);
n1572 = (n1334 ^ n1321) ^ n1394;
n1573 = (n1334 & n1321) | (n1321 & n1394) | (n1334 & n1394);
n1586 = (n1350 ^ n1335) ^ n1408;
n1587 = (n1350 & n1335) | (n1335 & n1408) | (n1350 & n1408);
n1602 = (n1202 ^ n1351) ^ n1424;
n1603 = (n1202 & n1351) | (n1351 & n1424) | (n1202 & n1424);
n1616 = n1232 & n1438;
n1632 = n1232 ^ n1438;
n1646 = n729 & n1454;
n1660 = n728 ^ n1454;
n1690 = n1528 | n1156;
n1691 = n1528 | n1156;
n1720 = n1556;
n1734 = n1572 ^ n106;
n1735 = n1572 & n106;
n1750 = (n1586 ^ n1573) ^ n1395;
n1751 = (n1586 & n1573) | (n1573 & n1395) | (n1586 & n1395);
n1764 = (n1602 ^ n1587) ^ n1409;
n1765 = (n1602 & n1587) | (n1587 & n1409) | (n1602 & n1409);
n1780 = (n1632 ^ n1603) ^ n1425;
n1781 = (n1632 & n1603) | (n1603 & n1425) | (n1632 & n1425);
n1794 = (n1660 ^ n1616) ^ n1439;
n1795 = (n1660 & n1616) | (n1616 & n1439) | (n1660 & n1439);
n1808 = (n1482 ^ n1646) ^ n1455;
n1809 = (n1482 & n1646) | (n1646 & n1455) | (n1482 & n1455);
n1824 = n964 & n1468;
n1838 = n964 ^ n1468;
n1854 = n1690 ^ n244;
n1868 = n193 | n1691;
n1882 = (n1203 & n274) | (~n1203 & n1720);
n1898 = n1734;
n1912 = n1750 ^ n1735;
n1928 = n1764 | n1751;
n1942 = n1780 ^ n1765;
n1943 = n1780 & n1765;
n1956 = (n1794 ^ n1781) ^ n1943;
n1957 = (n1794 & n1781) | (n1781 & n1943) | (n1794 & n1943);
n1972 = (n1808 ^ n1795) ^ n1957;
n1973 = (n1808 & n1795) | (n1795 & n1957) | (n1808 & n1957);
n1986 = (n1838 ^ n1809) ^ n1973;
n1987 = (n1838 & n1809) | (n1809 & n1973) | (n1838 & n1973);
n2016 = n1824 | n1987;
c |= (n169 & 0x1) << 0;
c |= (n1750 & 0x1) << 1;
c |= (n691 & 0x1) << 2;
c |= (n352 & 0x1) << 3;
c |= (n669 & 0x1) << 4;
c |= (n1854 & 0x1) << 5;
c |= (n1868 & 0x1) << 6;
c |= (n1882 & 0x1) << 7;
c |= (n1898 & 0x1) << 8;
c |= (n1912 & 0x1) << 9;
c |= (n1928 & 0x1) << 10;
c |= (n1942 & 0x1) << 11;
c |= (n1956 & 0x1) << 12;
c |= (n1972 & 0x1) << 13;
c |= (n1986 & 0x1) << 14;
c |= (n2016 & 0x1) << 15;
return c;
}