#include <stdint.h>
#include <stdlib.h>
uint64_t mul8x6u_1HE(const uint64_t A , const uint64_t B )
{
uint64_t dout_44, dout_45, dout_52, dout_53, dout_59, dout_60, dout_61, dout_120, dout_122, dout_123, dout_124, dout_125, dout_126, dout_127, dout_128, dout_129, dout_149, dout_196, dout_199, dout_201, dout_202, dout_204, dout_217, dout_219, dout_220, dout_221, dout_222, dout_233, dout_237, dout_238, dout_297, dout_305;
uint64_t O;
dout_44=((A >> 6)&1)&((B >> 3)&1);
dout_45=((A >> 7)&1)&((B >> 3)&1);
dout_52=((A >> 6)&1)&((B >> 4)&1);
dout_53=((A >> 7)&1)&((B >> 4)&1);
dout_59=((A >> 5)&1)&((B >> 5)&1);
dout_60=((A >> 6)&1)&((B >> 5)&1);
dout_61=((A >> 7)&1)&((B >> 5)&1);
dout_120=((B >> 5)&1)&((A >> 4)&1);
dout_122=dout_44|dout_120;
dout_123=dout_45^dout_52;
dout_124=dout_45&dout_52;
dout_125=dout_123&dout_59;
dout_126=dout_123^dout_59;
dout_127=dout_124|dout_125;
dout_128=dout_53&dout_60;
dout_129=dout_53^dout_60;
dout_149=((B >> 4)&1)&((A >> 5)&1);
dout_196=dout_126|dout_122;
dout_199=dout_196^dout_122;
dout_201=dout_129&dout_127;
dout_202=dout_129^dout_127;
dout_204=dout_61^dout_128;
dout_217=dout_199|dout_149;
dout_219=dout_202^dout_122;
dout_220=dout_202&dout_122;
dout_221=dout_204^dout_201;
dout_222=dout_204&dout_201;
dout_233=dout_128|dout_222;
dout_237=((A >> 7)&1)&dout_220;
dout_238=dout_221^dout_220;
dout_297=dout_237|dout_233;
dout_305=((A >> 7)&1)&((B >> 2)&1);
O = 0;
O |= (dout_204&1) << 0;
O |= (dout_128&1) << 1;
O |= (0&1) << 2;
O |= (dout_219&1) << 3;
O |= (dout_128&1) << 4;
O |= (dout_217&1) << 5;
O |= (dout_128&1) << 6;
O |= (dout_126&1) << 7;
O |= (dout_126&1) << 8;
O |= (dout_305&1) << 9;
O |= (dout_217&1) << 10;
O |= (dout_219&1) << 11;
O |= (dout_238&1) << 12;
O |= (dout_297&1) << 13;
return O;
}