#include <stdint.h>
#include <stdlib.h>
uint64_t mul8x7u_125(const uint64_t A , const uint64_t B )
{
uint64_t dout_59, dout_72, dout_117, dout_146, dout_150, dout_151, dout_152, dout_153, dout_154, dout_160, dout_161, dout_162, dout_181, dout_188, dout_190, dout_191, dout_192, dout_193, dout_194, dout_195, dout_196, dout_197, dout_198, dout_199, dout_204, dout_205, dout_206, dout_207, dout_209, dout_221, dout_225, dout_226, dout_227, dout_228, dout_229, dout_230, dout_231, dout_232, dout_233, dout_234, dout_235, dout_237, dout_238, dout_239, dout_240, dout_241, dout_242, dout_243, dout_244, dout_247, dout_248, dout_249, dout_250, dout_251, dout_252, dout_265, dout_266, dout_267, dout_268, dout_269, dout_270, dout_271, dout_272, dout_273, dout_274, dout_275, dout_276, dout_277, dout_278, dout_279, dout_280, dout_281, dout_282, dout_283, dout_284, dout_285, dout_286, dout_287, dout_288, dout_289;
uint64_t O;
dout_59=((B >> 4)&1)&((A >> 5)&1);
dout_72=((A >> 7)&1)&((B >> 2)&1);
dout_117=((A >> 7)&1)&((B >> 3)&1);
dout_146=((B >> 3)&1)&((A >> 6)&1);
dout_150=dout_72^dout_117;
dout_151=dout_72&((B >> 3)&1);
dout_152=((A >> 7)&1)&dout_146;
dout_153=dout_150^dout_146;
dout_154=dout_151|dout_152;
dout_160=((A >> 5)&1)&((B >> 4)&1);
dout_161=((A >> 6)&1)&((B >> 4)&1);
dout_162=((A >> 7)&1)&((B >> 4)&1);
dout_181=((B >> 1)&1)&((A >> 6)&1);
dout_188=dout_160^dout_59;
dout_190=dout_153^dout_161;
dout_191=dout_153&dout_161;
dout_192=dout_190&dout_160;
dout_193=dout_190^dout_160;
dout_194=dout_191|dout_192;
dout_195=dout_154^dout_162;
dout_196=dout_154&((B >> 4)&1);
dout_197=dout_162&dout_194;
dout_198=dout_195^dout_194;
dout_199=dout_196|dout_197;
dout_204=((A >> 4)&1)&((B >> 5)&1);
dout_205=((A >> 5)&1)&((B >> 5)&1);
dout_206=((A >> 6)&1)&((B >> 5)&1);
dout_207=((A >> 7)&1)&((B >> 5)&1);
dout_209=dout_206&dout_198;
dout_221=((B >> 5)&1)&((A >> 3)&1);
dout_225=dout_188|dout_204;
dout_226=dout_188&dout_204;
dout_227=dout_204&dout_221;
dout_228=dout_225^dout_221;
dout_229=dout_226|dout_227;
dout_230=dout_193^dout_205;
dout_231=dout_193&dout_205;
dout_232=dout_230&dout_229;
dout_233=dout_230^dout_229;
dout_234=dout_231|dout_232;
dout_235=dout_198^dout_206;
dout_237=dout_235&dout_234;
dout_238=dout_235^dout_234;
dout_239=dout_209|dout_237;
dout_240=dout_199^dout_207;
dout_241=dout_199&((B >> 5)&1);
dout_242=((A >> 7)&1)&dout_239;
dout_243=dout_240^dout_239;
dout_244=dout_241|dout_242;
dout_247=((A >> 2)&1)&((B >> 6)&1);
dout_248=((A >> 3)&1)&((B >> 6)&1);
dout_249=((A >> 4)&1)&((B >> 6)&1);
dout_250=((A >> 5)&1)&((B >> 6)&1);
dout_251=((A >> 6)&1)&((B >> 6)&1);
dout_252=((A >> 7)&1)&((B >> 6)&1);
dout_265=dout_228^dout_248;
dout_266=dout_228&dout_248;
dout_267=dout_265&dout_247;
dout_268=dout_265^dout_247;
dout_269=dout_266|dout_267;
dout_270=dout_233^dout_249;
dout_271=dout_233&dout_249;
dout_272=dout_270&dout_269;
dout_273=dout_270^dout_269;
dout_274=dout_271|dout_272;
dout_275=dout_238^dout_250;
dout_276=dout_238&dout_250;
dout_277=dout_275&dout_274;
dout_278=dout_275^dout_274;
dout_279=dout_276|dout_277;
dout_280=dout_243^dout_251;
dout_281=dout_243&dout_251;
dout_282=dout_280&dout_279;
dout_283=dout_280^dout_279;
dout_284=dout_281|dout_282;
dout_285=dout_244^dout_252;
dout_286=dout_244&dout_252;
dout_287=((A >> 7)&1)&dout_284;
dout_288=dout_285^dout_284;
dout_289=dout_286|dout_287;
O = 0;
O |= (0&1) << 0;
O |= (dout_59&1) << 1;
O |= (dout_247&1) << 2;
O |= (dout_221&1) << 3;
O |= (dout_228&1) << 4;
O |= (dout_289&1) << 5;
O |= (dout_225&1) << 6;
O |= (dout_248&1) << 7;
O |= (dout_181&1) << 8;
O |= (dout_268&1) << 9;
O |= (dout_273&1) << 10;
O |= (dout_278&1) << 11;
O |= (dout_283&1) << 12;
O |= (dout_288&1) << 13;
O |= (dout_289&1) << 14;
return O;
}