#include <stdint.h>
#include <stdlib.h>
uint64_t mul8x7u_01Z(const uint64_t A , const uint64_t B )
{
uint64_t dout_21, dout_162, dout_191, dout_195, dout_196, dout_197, dout_198, dout_199, dout_205, dout_206, dout_207, dout_230, dout_233, dout_235, dout_236, dout_240, dout_241, dout_242, dout_243, dout_244, dout_249, dout_250, dout_251, dout_252, dout_270, dout_271, dout_275, dout_276, 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_21=((A >> 7)&1)&((B >> 3)&1);
dout_162=((A >> 7)&1)&((B >> 4)&1);
dout_191=((A >> 6)&1)&((B >> 4)&1);
dout_195=dout_21^dout_162;
dout_196=dout_21&((B >> 4)&1);
dout_197=((A >> 7)&1)&dout_191;
dout_198=dout_195^dout_191;
dout_199=dout_196|dout_197;
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_230=((B >> 5)&1)^dout_205;
dout_233=dout_230^((B >> 5)&1);
dout_235=dout_198^dout_206;
dout_236=dout_198&dout_206;
dout_240=dout_199^dout_207;
dout_241=dout_199&((B >> 5)&1);
dout_242=((A >> 7)&1)&dout_236;
dout_243=dout_240^dout_236;
dout_244=dout_241|dout_242;
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_270=dout_233|dout_249;
dout_271=dout_233&dout_249;
dout_275=dout_235^dout_250;
dout_276=dout_235&dout_250;
dout_278=dout_275|dout_271;
dout_279=dout_276|dout_271;
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_197&1) << 1;
O |= (dout_252&1) << 2;
O |= (dout_235&1) << 3;
O |= (0&1) << 4;
O |= (dout_235&1) << 5;
O |= (dout_235&1) << 6;
O |= (dout_289&1) << 7;
O |= (dout_235&1) << 8;
O |= (0&1) << 9;
O |= (dout_270&1) << 10;
O |= (dout_278&1) << 11;
O |= (dout_283&1) << 12;
O |= (dout_288&1) << 13;
O |= (dout_289&1) << 14;
return O;
}