#include <stdint.h>
#include <stdlib.h>
uint64_t add12u_2UH(uint64_t a, uint64_t b) {
uint64_t o = 0;
int n_415=0, n_414=0, n_271=0, n_36=0, n_42=0, n_37=0, n_314=0, n_315=0, n_23=0, n_22=0;
int n_21=0, n_20=0, n_27=0, n_26=0, n_25=0, n_24=0, n_270=0, n_248=0, n_29=0, n_28=0;
int n_348=0, n_249=0, n_381=0, n_380=0, n_327=0, n_326=0, n_349=0, n_39=0, n_38=0, n_8=0;
int n_9=0, n_4=0, n_5=0, n_6=0, n_7=0, n_0=0, n_1=0, n_2=0, n_3=0, n_30=0;
int n_31=0, n_32=0, n_33=0, n_34=0, n_35=0, n_18=0, n_19=0, n_16=0, n_17=0, n_14=0;
int n_15=0, n_12=0, n_13=0, n_10=0, n_11=0, n_45=0, n_44=0, n_43=0, n_47=0, n_46=0;
int n_41=0, n_40=0;
n_0 = (a >> 0) & 0x1;
n_1 = (a >> 0) & 0x1;
n_2 = (a >> 1) & 0x1;
n_3 = (a >> 1) & 0x1;
n_4 = (a >> 2) & 0x1;
n_5 = (a >> 2) & 0x1;
n_6 = (a >> 3) & 0x1;
n_7 = (a >> 3) & 0x1;
n_8 = (a >> 4) & 0x1;
n_9 = (a >> 4) & 0x1;
n_10 = (a >> 5) & 0x1;
n_11 = (a >> 5) & 0x1;
n_12 = (a >> 6) & 0x1;
n_13 = (a >> 6) & 0x1;
n_14 = (a >> 7) & 0x1;
n_15 = (a >> 7) & 0x1;
n_16 = (a >> 8) & 0x1;
n_17 = (a >> 8) & 0x1;
n_18 = (a >> 9) & 0x1;
n_19 = (a >> 9) & 0x1;
n_20 = (a >> 10) & 0x1;
n_21 = (a >> 10) & 0x1;
n_22 = (a >> 11) & 0x1;
n_23 = (a >> 11) & 0x1;
n_24 = (b >> 0) & 0x1;
n_25 = (b >> 0) & 0x1;
n_26 = (b >> 1) & 0x1;
n_27 = (b >> 1) & 0x1;
n_28 = (b >> 2) & 0x1;
n_29 = (b >> 2) & 0x1;
n_30 = (b >> 3) & 0x1;
n_31 = (b >> 3) & 0x1;
n_32 = (b >> 4) & 0x1;
n_33 = (b >> 4) & 0x1;
n_34 = (b >> 5) & 0x1;
n_35 = (b >> 5) & 0x1;
n_36 = (b >> 6) & 0x1;
n_37 = (b >> 6) & 0x1;
n_38 = (b >> 7) & 0x1;
n_39 = (b >> 7) & 0x1;
n_40 = (b >> 8) & 0x1;
n_41 = (b >> 8) & 0x1;
n_42 = (b >> 9) & 0x1;
n_43 = (b >> 9) & 0x1;
n_44 = (b >> 10) & 0x1;
n_45 = (b >> 10) & 0x1;
n_46 = (b >> 11) & 0x1;
n_47 = (b >> 11) & 0x1;
n_248 = n_38 ^ n_14 ^n_36;
n_249 = (n_38 & n_14) | (n_14 & n_36) | (n_38 & n_36);
n_270 = n_249;
n_271 = n_270;
n_314 = n_16 ^ n_40 ^n_271;
n_315 = (n_16 & n_40) | (n_40 & n_271) | (n_16 & n_271);
n_326 = n_315;
n_327 = n_326;
n_348 = n_18 ^ n_42 ^n_327;
n_349 = (n_18 & n_42) | (n_42 & n_327) | (n_18 & n_327);
n_380 = n_20 ^ n_44 ^n_349;
n_381 = (n_20 & n_44) | (n_44 & n_349) | (n_20 & n_349);
n_414 = n_22 ^ n_46 ^n_381;
n_415 = (n_22 & n_46) | (n_46 & n_381) | (n_22 & n_381);
o |= (n_4 & 0x01) << 0;
o |= (n_28 & 0x01) << 1;
o |= (n_32 & 0x01) << 2;
o |= (n_34 & 0x01) << 3;
o |= (n_8 & 0x01) << 4;
o |= (n_10 & 0x01) << 5;
o |= (n_12 & 0x01) << 6;
o |= (n_248 & 0x01) << 7;
o |= (n_314 & 0x01) << 8;
o |= (n_348 & 0x01) << 9;
o |= (n_380 & 0x01) << 10;
o |= (n_414 & 0x01) << 11;
o |= (n_415 & 0x01) << 12;
return o;
}