#include <stdint.h>
#include <stdlib.h>
uint64_t add12se_5SB(const uint64_t B,const uint64_t A)
{
uint64_t dout_49, dout_51, dout_52, dout_53, dout_54, dout_55, dout_56, dout_57, dout_58, dout_59, dout_60, dout_61, dout_62, dout_63, dout_64, dout_65, dout_66, dout_67, dout_68, dout_69, dout_70, dout_71, dout_72, dout_73, dout_74, dout_75, dout_76, dout_77, dout_78, dout_79, dout_80, dout_81, dout_82;
uint64_t O;
dout_49=((B >> 5)&1)^0xFFFFFFFFFFFFFFFFU;
dout_51=((A >> 6)&1)^((B >> 6)&1);
dout_52=((A >> 6)&1)&((B >> 6)&1);
dout_53=dout_51&((B >> 5)&1);
dout_54=dout_51^((B >> 5)&1);
dout_55=dout_52|dout_53;
dout_56=((A >> 7)&1)^((B >> 7)&1);
dout_57=((A >> 7)&1)&((B >> 7)&1);
dout_58=dout_56&dout_55;
dout_59=dout_56^dout_55;
dout_60=dout_57|dout_58;
dout_61=((A >> 8)&1)^((B >> 8)&1);
dout_62=((A >> 8)&1)&((B >> 8)&1);
dout_63=dout_61&dout_60;
dout_64=dout_61^dout_60;
dout_65=dout_62|dout_63;
dout_66=((A >> 9)&1)^((B >> 9)&1);
dout_67=((A >> 9)&1)&((B >> 9)&1);
dout_68=dout_66&dout_65;
dout_69=dout_66^dout_65;
dout_70=dout_67|dout_68;
dout_71=((A >> 10)&1)^((B >> 10)&1);
dout_72=((A >> 10)&1)&((B >> 10)&1);
dout_73=dout_71&dout_70;
dout_74=dout_71^dout_70;
dout_75=dout_72|dout_73;
dout_76=((A >> 11)&1)^((B >> 11)&1);
dout_77=((A >> 11)&1)&((B >> 11)&1);
dout_78=dout_76&dout_75;
dout_79=dout_76^dout_75;
dout_80=dout_77|dout_78;
dout_81=((A >> 11)&1)^((B >> 11)&1);
dout_82=dout_81^dout_80;
O = 0;
O |= (dout_79&1) << 0;
O |= (dout_72&1) << 1;
O |= (((B >> 5)&1)&1) << 2;
O |= (dout_79&1) << 3;
O |= (((A >> 5)&1)&1) << 4;
O |= (dout_49&1) << 5;
O |= (dout_54&1) << 6;
O |= (dout_59&1) << 7;
O |= (dout_64&1) << 8;
O |= (dout_69&1) << 9;
O |= (dout_74&1) << 10;
O |= (dout_79&1) << 11;
O |= (dout_82&1) << 12;
return O;
}