typedef char int8_t;
typedef short int16_t;
typedef int int32_t;
typedef long int64_t;
typedef uchar uint8_t;
typedef ushort uint16_t;
typedef uint uint32_t;
typedef ulong uint64_t;
static inline int8_t add8(int8_t x, int8_t y)
{
    return x + y;
}
static inline int16_t add16(int16_t x, int16_t y)
{
    return x + y;
}
static inline int32_t add32(int32_t x, int32_t y)
{
    return x + y;
}
static inline int64_t add64(int64_t x, int64_t y)
{
    return x + y;
}
static inline int8_t sub8(int8_t x, int8_t y)
{
    return x - y;
}
static inline int16_t sub16(int16_t x, int16_t y)
{
    return x - y;
}
static inline int32_t sub32(int32_t x, int32_t y)
{
    return x - y;
}
static inline int64_t sub64(int64_t x, int64_t y)
{
    return x - y;
}
static inline int8_t mul8(int8_t x, int8_t y)
{
    return x * y;
}
static inline int16_t mul16(int16_t x, int16_t y)
{
    return x * y;
}
static inline int32_t mul32(int32_t x, int32_t y)
{
    return x * y;
}
static inline int64_t mul64(int64_t x, int64_t y)
{
    return x * y;
}
static inline uint8_t udiv8(uint8_t x, uint8_t y)
{
    return x / y;
}
static inline uint16_t udiv16(uint16_t x, uint16_t y)
{
    return x / y;
}
static inline uint32_t udiv32(uint32_t x, uint32_t y)
{
    return x / y;
}
static inline uint64_t udiv64(uint64_t x, uint64_t y)
{
    return x / y;
}
static inline uint8_t umod8(uint8_t x, uint8_t y)
{
    return x % y;
}
static inline uint16_t umod16(uint16_t x, uint16_t y)
{
    return x % y;
}
static inline uint32_t umod32(uint32_t x, uint32_t y)
{
    return x % y;
}
static inline uint64_t umod64(uint64_t x, uint64_t y)
{
    return x % y;
}
static inline int8_t sdiv8(int8_t x, int8_t y)
{
    int8_t q = x / y;
    int8_t r = x % y;
    
    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
}
static inline int16_t sdiv16(int16_t x, int16_t y)
{
    int16_t q = x / y;
    int16_t r = x % y;
    
    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
}
static inline int32_t sdiv32(int32_t x, int32_t y)
{
    int32_t q = x / y;
    int32_t r = x % y;
    
    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
}
static inline int64_t sdiv64(int64_t x, int64_t y)
{
    int64_t q = x / y;
    int64_t r = x % y;
    
    return q - ((r != 0 && r < 0 != y < 0) ? 1 : 0);
}
static inline int8_t smod8(int8_t x, int8_t y)
{
    int8_t r = x % y;
    
    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
}
static inline int16_t smod16(int16_t x, int16_t y)
{
    int16_t r = x % y;
    
    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
}
static inline int32_t smod32(int32_t x, int32_t y)
{
    int32_t r = x % y;
    
    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
}
static inline int64_t smod64(int64_t x, int64_t y)
{
    int64_t r = x % y;
    
    return r + (r == 0 || (x > 0 && y > 0) || (x < 0 && y < 0) ? 0 : y);
}
static inline int8_t squot8(int8_t x, int8_t y)
{
    return x / y;
}
static inline int16_t squot16(int16_t x, int16_t y)
{
    return x / y;
}
static inline int32_t squot32(int32_t x, int32_t y)
{
    return x / y;
}
static inline int64_t squot64(int64_t x, int64_t y)
{
    return x / y;
}
static inline int8_t srem8(int8_t x, int8_t y)
{
    return x % y;
}
static inline int16_t srem16(int16_t x, int16_t y)
{
    return x % y;
}
static inline int32_t srem32(int32_t x, int32_t y)
{
    return x % y;
}
static inline int64_t srem64(int64_t x, int64_t y)
{
    return x % y;
}
static inline uint8_t shl8(uint8_t x, uint8_t y)
{
    return x << y;
}
static inline uint16_t shl16(uint16_t x, uint16_t y)
{
    return x << y;
}
static inline uint32_t shl32(uint32_t x, uint32_t y)
{
    return x << y;
}
static inline uint64_t shl64(uint64_t x, uint64_t y)
{
    return x << y;
}
static inline uint8_t lshr8(uint8_t x, uint8_t y)
{
    return x >> y;
}
static inline uint16_t lshr16(uint16_t x, uint16_t y)
{
    return x >> y;
}
static inline uint32_t lshr32(uint32_t x, uint32_t y)
{
    return x >> y;
}
static inline uint64_t lshr64(uint64_t x, uint64_t y)
{
    return x >> y;
}
static inline int8_t ashr8(int8_t x, int8_t y)
{
    return x >> y;
}
static inline int16_t ashr16(int16_t x, int16_t y)
{
    return x >> y;
}
static inline int32_t ashr32(int32_t x, int32_t y)
{
    return x >> y;
}
static inline int64_t ashr64(int64_t x, int64_t y)
{
    return x >> y;
}
static inline uint8_t and8(uint8_t x, uint8_t y)
{
    return x & y;
}
static inline uint16_t and16(uint16_t x, uint16_t y)
{
    return x & y;
}
static inline uint32_t and32(uint32_t x, uint32_t y)
{
    return x & y;
}
static inline uint64_t and64(uint64_t x, uint64_t y)
{
    return x & y;
}
static inline uint8_t or8(uint8_t x, uint8_t y)
{
    return x | y;
}
static inline uint16_t or16(uint16_t x, uint16_t y)
{
    return x | y;
}
static inline uint32_t or32(uint32_t x, uint32_t y)
{
    return x | y;
}
static inline uint64_t or64(uint64_t x, uint64_t y)
{
    return x | y;
}
static inline uint8_t xor8(uint8_t x, uint8_t y)
{
    return x ^ y;
}
static inline uint16_t xor16(uint16_t x, uint16_t y)
{
    return x ^ y;
}
static inline uint32_t xor32(uint32_t x, uint32_t y)
{
    return x ^ y;
}
static inline uint64_t xor64(uint64_t x, uint64_t y)
{
    return x ^ y;
}
static inline char ult8(uint8_t x, uint8_t y)
{
    return x < y;
}
static inline char ult16(uint16_t x, uint16_t y)
{
    return x < y;
}
static inline char ult32(uint32_t x, uint32_t y)
{
    return x < y;
}
static inline char ult64(uint64_t x, uint64_t y)
{
    return x < y;
}
static inline char ule8(uint8_t x, uint8_t y)
{
    return x <= y;
}
static inline char ule16(uint16_t x, uint16_t y)
{
    return x <= y;
}
static inline char ule32(uint32_t x, uint32_t y)
{
    return x <= y;
}
static inline char ule64(uint64_t x, uint64_t y)
{
    return x <= y;
}
static inline char slt8(int8_t x, int8_t y)
{
    return x < y;
}
static inline char slt16(int16_t x, int16_t y)
{
    return x < y;
}
static inline char slt32(int32_t x, int32_t y)
{
    return x < y;
}
static inline char slt64(int64_t x, int64_t y)
{
    return x < y;
}
static inline char sle8(int8_t x, int8_t y)
{
    return x <= y;
}
static inline char sle16(int16_t x, int16_t y)
{
    return x <= y;
}
static inline char sle32(int32_t x, int32_t y)
{
    return x <= y;
}
static inline char sle64(int64_t x, int64_t y)
{
    return x <= y;
}
static inline int8_t pow8(int8_t x, int8_t y)
{
    int8_t res = 1, rem = y;
    
    while (rem != 0) {
        if (rem & 1)
            res *= x;
        rem >>= 1;
        x *= x;
    }
    return res;
}
static inline int16_t pow16(int16_t x, int16_t y)
{
    int16_t res = 1, rem = y;
    
    while (rem != 0) {
        if (rem & 1)
            res *= x;
        rem >>= 1;
        x *= x;
    }
    return res;
}
static inline int32_t pow32(int32_t x, int32_t y)
{
    int32_t res = 1, rem = y;
    
    while (rem != 0) {
        if (rem & 1)
            res *= x;
        rem >>= 1;
        x *= x;
    }
    return res;
}
static inline int64_t pow64(int64_t x, int64_t y)
{
    int64_t res = 1, rem = y;
    
    while (rem != 0) {
        if (rem & 1)
            res *= x;
        rem >>= 1;
        x *= x;
    }
    return res;
}
static inline int8_t sext_i8_i8(int8_t x)
{
    return x;
}
static inline int16_t sext_i8_i16(int8_t x)
{
    return x;
}
static inline int32_t sext_i8_i32(int8_t x)
{
    return x;
}
static inline int64_t sext_i8_i64(int8_t x)
{
    return x;
}
static inline int8_t sext_i16_i8(int16_t x)
{
    return x;
}
static inline int16_t sext_i16_i16(int16_t x)
{
    return x;
}
static inline int32_t sext_i16_i32(int16_t x)
{
    return x;
}
static inline int64_t sext_i16_i64(int16_t x)
{
    return x;
}
static inline int8_t sext_i32_i8(int32_t x)
{
    return x;
}
static inline int16_t sext_i32_i16(int32_t x)
{
    return x;
}
static inline int32_t sext_i32_i32(int32_t x)
{
    return x;
}
static inline int64_t sext_i32_i64(int32_t x)
{
    return x;
}
static inline int8_t sext_i64_i8(int64_t x)
{
    return x;
}
static inline int16_t sext_i64_i16(int64_t x)
{
    return x;
}
static inline int32_t sext_i64_i32(int64_t x)
{
    return x;
}
static inline int64_t sext_i64_i64(int64_t x)
{
    return x;
}
static inline uint8_t zext_i8_i8(uint8_t x)
{
    return x;
}
static inline uint16_t zext_i8_i16(uint8_t x)
{
    return x;
}
static inline uint32_t zext_i8_i32(uint8_t x)
{
    return x;
}
static inline uint64_t zext_i8_i64(uint8_t x)
{
    return x;
}
static inline uint8_t zext_i16_i8(uint16_t x)
{
    return x;
}
static inline uint16_t zext_i16_i16(uint16_t x)
{
    return x;
}
static inline uint32_t zext_i16_i32(uint16_t x)
{
    return x;
}
static inline uint64_t zext_i16_i64(uint16_t x)
{
    return x;
}
static inline uint8_t zext_i32_i8(uint32_t x)
{
    return x;
}
static inline uint16_t zext_i32_i16(uint32_t x)
{
    return x;
}
static inline uint32_t zext_i32_i32(uint32_t x)
{
    return x;
}
static inline uint64_t zext_i32_i64(uint32_t x)
{
    return x;
}
static inline uint8_t zext_i64_i8(uint64_t x)
{
    return x;
}
static inline uint16_t zext_i64_i16(uint64_t x)
{
    return x;
}
static inline uint32_t zext_i64_i32(uint64_t x)
{
    return x;
}
static inline uint64_t zext_i64_i64(uint64_t x)
{
    return x;
}
static inline float fdiv32(float x, float y)
{
    return x / y;
}
static inline float fadd32(float x, float y)
{
    return x + y;
}
static inline float fsub32(float x, float y)
{
    return x - y;
}
static inline float fmul32(float x, float y)
{
    return x * y;
}
static inline float fpow32(float x, float y)
{
    return pow(x, y);
}
static inline char cmplt32(float x, float y)
{
    return x < y;
}
static inline char cmple32(float x, float y)
{
    return x <= y;
}
static inline float sitofp_i8_f32(int8_t x)
{
    return x;
}
static inline float sitofp_i16_f32(int16_t x)
{
    return x;
}
static inline float sitofp_i32_f32(int32_t x)
{
    return x;
}
static inline float sitofp_i64_f32(int64_t x)
{
    return x;
}
static inline float uitofp_i8_f32(uint8_t x)
{
    return x;
}
static inline float uitofp_i16_f32(uint16_t x)
{
    return x;
}
static inline float uitofp_i32_f32(uint32_t x)
{
    return x;
}
static inline float uitofp_i64_f32(uint64_t x)
{
    return x;
}
static inline int8_t fptosi_f32_i8(float x)
{
    return x;
}
static inline int16_t fptosi_f32_i16(float x)
{
    return x;
}
static inline int32_t fptosi_f32_i32(float x)
{
    return x;
}
static inline int64_t fptosi_f32_i64(float x)
{
    return x;
}
static inline uint8_t fptoui_f32_i8(float x)
{
    return x;
}
static inline uint16_t fptoui_f32_i16(float x)
{
    return x;
}
static inline uint32_t fptoui_f32_i32(float x)
{
    return x;
}
static inline uint64_t fptoui_f32_i64(float x)
{
    return x;
}

__kernel void map_kernel_42294(__global unsigned char *state_mem_44224, __global
                               unsigned char *state_mem_44228, int32_t h_36409,
                               __global unsigned char *mem_44233,
                               int32_t w_36410, int32_t arg_36462,
                               int32_t num_threads_42258, int32_t state_36470,
                               __global unsigned char *mem_44230)
{
    int32_t group_sizze_44269;
    char thread_active_44270;
    int32_t group_id_42296;
    int32_t gtid_42286;
    int32_t global_tid_42294;
    int32_t gtid_42287;
    int32_t local_tid_42295;
    
    global_tid_42294 = get_global_id(0);
    local_tid_42295 = get_local_id(0);
    group_sizze_44269 = get_local_size(0);
    group_id_42296 = get_group_id(0);
    gtid_42286 = squot32(global_tid_42294, w_36410);
    gtid_42287 = global_tid_42294 - squot32(global_tid_42294, w_36410) *
        w_36410;
    thread_active_44270 = slt32(gtid_42286, h_36409) && slt32(gtid_42287,
                                                              w_36410);
    
    int32_t binop_x_44199;
    int32_t new_index_44200;
    int32_t y_42300;
    int32_t arg_42301;
    int32_t x_42302;
    int32_t x_42303;
    int32_t res_42304;
    int32_t x_42305;
    int32_t x_42306;
    int32_t res_42307;
    int32_t x_42308;
    int32_t res_42309;
    int32_t x_42310;
    int32_t res_42311;
    int32_t res_42312;
    char cond_42313;
    int32_t arg_42316;
    int32_t arg_42317;
    int32_t arg_42314;
    int32_t arg_42315;
    int32_t y_42376;
    int32_t x_42377;
    int32_t y_42378;
    int32_t x_42379;
    int32_t y_42380;
    int32_t res_42381;
    int32_t x_42382;
    int32_t res_42383;
    int32_t x_42384;
    int32_t res_42385;
    int32_t x_42386;
    int32_t res_42387;
    int32_t x_42388;
    int32_t res_42389;
    char cond_42390;
    char cond_42391;
    char cond_42393;
    int32_t res_42395;
    int32_t trunc_arg_43354;
    int32_t y_43355;
    int32_t x_43356;
    int32_t res_43357;
    int32_t x_43358;
    int32_t res_43359;
    int32_t x_43360;
    int32_t res_43361;
    int32_t x_43362;
    int32_t res_43363;
    int32_t x_43364;
    int32_t res_43365;
    char cond_43366;
    int8_t res_43367;
    char cond_43381;
    int8_t res_43382;
    char cond_43396;
    int8_t res_43397;
    char cond_43398;
    int8_t res_43399;
    char cond_43413;
    int8_t res_43414;
    char cond_43428;
    int8_t res_43429;
    char cond_43430;
    int8_t res_43431;
    int8_t res_43432;
    char trunc_arg_43446;
    int8_t x_43447;
    char cond_43448;
    char cond_43449;
    char cond_43451;
    char cond_43453;
    char cond_43455;
    char cond_43457;
    int8_t res_43459;
    int8_t res_43460;
    int8_t res_43461;
    char trunc_arg_43475;
    int8_t x_43476;
    char cond_43477;
    char cond_43478;
    char cond_43480;
    char cond_43482;
    char cond_43484;
    char cond_43486;
    int8_t res_43488;
    int8_t res_43489;
    int8_t res_43490;
    char trunc_arg_43504;
    int8_t x_43505;
    char cond_43506;
    char cond_43507;
    char cond_43509;
    char cond_43511;
    char cond_43513;
    char cond_43515;
    int8_t res_43517;
    int8_t res_43518;
    int8_t res_43519;
    char trunc_arg_43533;
    int8_t x_43534;
    char cond_43535;
    char cond_43536;
    char cond_43538;
    char cond_43540;
    char cond_43542;
    char cond_43544;
    int8_t res_43546;
    int8_t res_43547;
    int8_t y_43548;
    int8_t x_43549;
    int8_t y_43550;
    int8_t x_43551;
    int8_t y_43552;
    int8_t res_43553;
    int8_t res_43554;
    int8_t res_43555;
    char cond_43556;
    int32_t res_43560;
    int32_t res_43557;
    int32_t res_43558;
    int32_t res_43559;
    int32_t res_43639;
    int32_t trunc_arg_43644;
    int32_t y_43645;
    int32_t x_43646;
    int32_t res_43647;
    char cond_43648;
    char cond_43649;
    char cond_43651;
    char cond_43653;
    char res_43655;
    int32_t res_43657;
    int8_t res_43658;
    int8_t res_43671;
    int8_t res_43684;
    int8_t res_43697;
    char cond_43710;
    int8_t res_43712;
    int8_t res_43711;
    char cond_43713;
    int8_t res_43714;
    int8_t res_43715;
    char cond_43716;
    int8_t res_43717;
    int8_t res_43718;
    char cond_43719;
    int8_t res_43720;
    int8_t res_43721;
    int8_t res_43734;
    char cond_43747;
    char cond_43748;
    char res_43776;
    int8_t res_43804;
    char trunc_arg_43817;
    int8_t x_43818;
    char cond_43819;
    char cond_43821;
    char cond_43823;
    char cond_43825;
    char cond_43827;
    int8_t res_43829;
    int8_t res_43830;
    int8_t res_43831;
    char trunc_arg_43844;
    int8_t x_43845;
    char cond_43846;
    char cond_43848;
    char cond_43850;
    char cond_43852;
    char cond_43854;
    int8_t res_43856;
    int8_t res_43857;
    int8_t res_43858;
    char trunc_arg_43871;
    int8_t x_43872;
    char cond_43873;
    char cond_43875;
    char cond_43877;
    char cond_43879;
    char cond_43881;
    int8_t res_43883;
    int8_t res_43884;
    int8_t res_43885;
    char trunc_arg_43898;
    int8_t x_43899;
    char cond_43900;
    char cond_43902;
    char cond_43904;
    char cond_43906;
    char cond_43908;
    int8_t res_43910;
    int8_t res_43911;
    int8_t y_43912;
    int8_t x_43913;
    int8_t y_43914;
    int8_t x_43915;
    int8_t y_43916;
    int8_t res_43917;
    int8_t res_43918;
    int8_t res_43919;
    char cond_43920;
    int32_t res_43924;
    int32_t res_43921;
    int32_t res_43922;
    int32_t res_43923;
    int32_t res_44003;
    int32_t trunc_arg_44008;
    int32_t y_44009;
    int32_t x_44010;
    int32_t res_44011;
    char cond_44012;
    char cond_44013;
    char cond_44015;
    char cond_44017;
    char res_44019;
    int32_t res_44021;
    int32_t res_44024;
    int32_t res_44025;
    int32_t res_44022;
    int32_t res_44023;
    char eq_x_y_44104;
    char eq_x_zz_44105;
    char p_and_eq_x_y_44106;
    char not_p_44107;
    char p_and_eq_x_y_44108;
    char cond_44109;
    int32_t res_44110;
    int32_t trunc_arg_44123;
    int32_t y_44124;
    int32_t x_44125;
    int32_t res_44126;
    char cond_44127;
    char cond_44128;
    char cond_44130;
    char cond_44132;
    char res_44134;
    char cond_44136;
    char cond_44137;
    char cond_44139;
    int32_t res_44141;
    int32_t trunc_arg_44168;
    int32_t y_44169;
    int32_t x_44170;
    int32_t res_44171;
    char cond_44172;
    int32_t res_44173;
    
    if (thread_active_44270) {
        binop_x_44199 = gtid_42286 * w_36410;
        new_index_44200 = binop_x_44199 + gtid_42287;
        y_42300 = new_index_44200 + arg_36462;
        arg_42301 = state_36470 ^ y_42300;
        x_42302 = ashr32(arg_42301, 16);
        x_42303 = x_42302 ^ arg_42301;
        res_42304 = x_42303 * 73244475;
        x_42305 = ashr32(res_42304, 16);
        x_42306 = x_42305 ^ res_42304;
        res_42307 = x_42306 * 73244475;
        x_42308 = ashr32(res_42307, 16);
        res_42309 = x_42308 ^ res_42307;
        x_42310 = smod32(res_42309, 101);
        res_42311 = *(__global int32_t *) &state_mem_44228[(gtid_42286 *
                                                            w_36410 +
                                                            gtid_42287) * 4];
        res_42312 = *(__global int32_t *) &state_mem_44224[(gtid_42286 *
                                                            w_36410 +
                                                            gtid_42287) * 4];
        cond_42313 = res_42312 == 0;
        if (cond_42313) {
            int32_t arg_42318;
            char res_42319;
            int32_t res_42320;
            int32_t arg_42322;
            char res_42323;
            int32_t res_42324;
            int32_t arg_42326;
            char cond_42327;
            int32_t res_42329;
            
            arg_42318 = gtid_42287 + 1;
            res_42319 = sle32(w_36410, arg_42318);
            if (res_42319) {
                res_42320 = 0;
            } else {
                int32_t res_42321 = *(__global
                                      int32_t *) &state_mem_44228[(gtid_42286 *
                                                                   w_36410 +
                                                                   arg_42318) *
                                                                  4];
                
                res_42320 = res_42321;
            }
            arg_42322 = gtid_42286 + 1;
            res_42323 = sle32(h_36409, arg_42322);
            if (res_42323) {
                res_42324 = 0;
            } else {
                int32_t res_42325 = *(__global
                                      int32_t *) &state_mem_44228[(arg_42322 *
                                                                   w_36410 +
                                                                   gtid_42287) *
                                                                  4];
                
                res_42324 = res_42325;
            }
            arg_42326 = gtid_42287 - 1;
            if (res_42323) {
                cond_42327 = 1;
            } else {
                char res_42328 = slt32(arg_42326, 0);
                
                cond_42327 = res_42328;
            }
            if (cond_42327) {
                res_42329 = 0;
            } else {
                int32_t res_42330 = *(__global
                                      int32_t *) &state_mem_44228[(arg_42322 *
                                                                   w_36410 +
                                                                   arg_42326) *
                                                                  4];
                
                res_42329 = res_42330;
            }
            arg_42316 = res_42311;
            arg_42317 = res_42320;
            arg_42314 = res_42324;
            arg_42315 = res_42329;
        } else {
            char cond_42331;
            int32_t res_42332;
            int32_t res_42333;
            int32_t res_42334;
            int32_t res_42335;
            
            cond_42331 = res_42312 == 1;
            if (cond_42331) {
                int32_t arg_42336;
                char res_42337;
                int32_t res_42338;
                int32_t arg_42340;
                char res_42341;
                char cond_42342;
                int32_t res_42343;
                int32_t res_42345;
                
                arg_42336 = gtid_42287 - 1;
                res_42337 = slt32(arg_42336, 0);
                if (res_42337) {
                    res_42338 = 0;
                } else {
                    int32_t res_42339 = *(__global
                                          int32_t *) &state_mem_44228[(gtid_42286 *
                                                                       w_36410 +
                                                                       arg_42336) *
                                                                      4];
                    
                    res_42338 = res_42339;
                }
                arg_42340 = gtid_42286 + 1;
                res_42341 = sle32(h_36409, arg_42340);
                cond_42342 = res_42341 || res_42337;
                if (cond_42342) {
                    res_42343 = 0;
                } else {
                    int32_t res_42344 = *(__global
                                          int32_t *) &state_mem_44228[(arg_42340 *
                                                                       w_36410 +
                                                                       arg_42336) *
                                                                      4];
                    
                    res_42343 = res_42344;
                }
                if (res_42341) {
                    res_42345 = 0;
                } else {
                    int32_t res_42346 = *(__global
                                          int32_t *) &state_mem_44228[(arg_42340 *
                                                                       w_36410 +
                                                                       gtid_42287) *
                                                                      4];
                    
                    res_42345 = res_42346;
                }
                res_42332 = res_42338;
                res_42333 = res_42311;
                res_42334 = res_42343;
                res_42335 = res_42345;
            } else {
                char cond_42347;
                int32_t res_42348;
                int32_t res_42349;
                int32_t res_42350;
                int32_t res_42351;
                
                cond_42347 = res_42312 == 2;
                if (cond_42347) {
                    int32_t arg_42352;
                    char cond_42353;
                    int32_t res_42354;
                    int32_t arg_42356;
                    char cond_42357;
                    int32_t res_42359;
                    char res_42361;
                    int32_t res_42362;
                    
                    arg_42352 = gtid_42286 - 1;
                    cond_42353 = slt32(arg_42352, 0);
                    if (cond_42353) {
                        res_42354 = 0;
                    } else {
                        int32_t res_42355 = *(__global
                                              int32_t *) &state_mem_44228[(arg_42352 *
                                                                           w_36410 +
                                                                           gtid_42287) *
                                                                          4];
                        
                        res_42354 = res_42355;
                    }
                    arg_42356 = gtid_42287 + 1;
                    if (cond_42353) {
                        cond_42357 = 1;
                    } else {
                        char res_42358 = sle32(w_36410, arg_42356);
                        
                        cond_42357 = res_42358;
                    }
                    if (cond_42357) {
                        res_42359 = 0;
                    } else {
                        int32_t res_42360 = *(__global
                                              int32_t *) &state_mem_44228[(arg_42352 *
                                                                           w_36410 +
                                                                           arg_42356) *
                                                                          4];
                        
                        res_42359 = res_42360;
                    }
                    res_42361 = sle32(w_36410, arg_42356);
                    if (res_42361) {
                        res_42362 = 0;
                    } else {
                        int32_t res_42363 = *(__global
                                              int32_t *) &state_mem_44228[(gtid_42286 *
                                                                           w_36410 +
                                                                           arg_42356) *
                                                                          4];
                        
                        res_42362 = res_42363;
                    }
                    res_42348 = res_42354;
                    res_42349 = res_42359;
                    res_42350 = res_42311;
                    res_42351 = res_42362;
                } else {
                    int32_t arg_42364;
                    int32_t arg_42365;
                    char cond_42366;
                    char cond_42367;
                    int32_t res_42369;
                    int32_t res_42371;
                    char res_42373;
                    int32_t res_42374;
                    
                    arg_42364 = gtid_42286 - 1;
                    arg_42365 = gtid_42287 - 1;
                    cond_42366 = slt32(arg_42364, 0);
                    if (cond_42366) {
                        cond_42367 = 1;
                    } else {
                        char res_42368 = slt32(arg_42365, 0);
                        
                        cond_42367 = res_42368;
                    }
                    if (cond_42367) {
                        res_42369 = 0;
                    } else {
                        int32_t res_42370 = *(__global
                                              int32_t *) &state_mem_44228[(arg_42364 *
                                                                           w_36410 +
                                                                           arg_42365) *
                                                                          4];
                        
                        res_42369 = res_42370;
                    }
                    if (cond_42366) {
                        res_42371 = 0;
                    } else {
                        int32_t res_42372 = *(__global
                                              int32_t *) &state_mem_44228[(arg_42364 *
                                                                           w_36410 +
                                                                           gtid_42287) *
                                                                          4];
                        
                        res_42371 = res_42372;
                    }
                    res_42373 = slt32(arg_42365, 0);
                    if (res_42373) {
                        res_42374 = 0;
                    } else {
                        int32_t res_42375 = *(__global
                                              int32_t *) &state_mem_44228[(gtid_42286 *
                                                                           w_36410 +
                                                                           arg_42365) *
                                                                          4];
                        
                        res_42374 = res_42375;
                    }
                    res_42348 = res_42369;
                    res_42349 = res_42371;
                    res_42350 = res_42374;
                    res_42351 = res_42311;
                }
                res_42332 = res_42348;
                res_42333 = res_42349;
                res_42334 = res_42350;
                res_42335 = res_42351;
            }
            arg_42316 = res_42332;
            arg_42317 = res_42333;
            arg_42314 = res_42334;
            arg_42315 = res_42335;
        }
        y_42376 = arg_42317 << 8;
        x_42377 = arg_42316 | y_42376;
        y_42378 = arg_42314 << 16;
        x_42379 = x_42377 | y_42378;
        y_42380 = arg_42315 << 24;
        res_42381 = x_42379 | y_42380;
        x_42382 = res_42381 & 255;
        res_42383 = lshr32(x_42382, 0);
        x_42384 = res_42381 & 65280;
        res_42385 = lshr32(x_42384, 8);
        x_42386 = res_42381 & 16711680;
        res_42387 = lshr32(x_42386, 16);
        x_42388 = res_42381 & -16777216;
        res_42389 = lshr32(x_42388, 24);
        cond_42390 = res_42383 == res_42385;
        if (cond_42390) {
            char res_42392 = res_42385 == res_42387;
            
            cond_42391 = res_42392;
        } else {
            cond_42391 = 0;
        }
        if (cond_42391) {
            char res_42394 = res_42387 == res_42389;
            
            cond_42393 = res_42394;
        } else {
            cond_42393 = 0;
        }
        if (cond_42393) {
            res_42395 = res_42381;
        }
        trunc_arg_43354 = 8 * res_42312;
        y_43355 = 255 << trunc_arg_43354;
        x_43356 = res_42395 & y_43355;
        res_43357 = lshr32(x_43356, trunc_arg_43354);
        x_43358 = res_42395 & 255;
        res_43359 = lshr32(x_43358, 0);
        x_43360 = res_42395 & 65280;
        res_43361 = lshr32(x_43360, 8);
        x_43362 = res_42395 & 16711680;
        res_43363 = lshr32(x_43362, 16);
        x_43364 = res_42395 & -16777216;
        res_43365 = lshr32(x_43364, 24);
        cond_43366 = res_43359 == 0;
        if (cond_43366) {
            res_43367 = 2;
        }
        cond_43381 = res_43361 == 0;
        if (cond_43381) {
            res_43382 = 2;
        }
        cond_43396 = ult8(res_43367, res_43382);
        if (cond_43396) {
            res_43397 = res_43382;
        } else {
            res_43397 = res_43367;
        }
        cond_43398 = res_43363 == 0;
        if (cond_43398) {
            res_43399 = 2;
        }
        cond_43413 = res_43365 == 0;
        if (cond_43413) {
            res_43414 = 2;
        }
        cond_43428 = ult8(res_43399, res_43414);
        if (cond_43428) {
            res_43429 = res_43414;
        } else {
            res_43429 = res_43399;
        }
        cond_43430 = ult8(res_43397, res_43429);
        if (cond_43430) {
            res_43431 = res_43429;
        } else {
            res_43431 = res_43397;
        }
        if (cond_43366) {
            res_43432 = 2;
        }
        trunc_arg_43446 = ule8(res_43431, res_43432);
        if (trunc_arg_43446) {
            x_43447 = 1;
        } else {
            x_43447 = 0;
        }
        cond_43448 = res_43359 == 1;
        if (cond_43448) {
            cond_43449 = 1;
        } else {
            char res_43450 = res_43359 == 2;
            
            cond_43449 = res_43450;
        }
        if (cond_43449) {
            cond_43451 = 1;
        } else {
            char res_43452 = res_43359 == 6;
            
            cond_43451 = res_43452;
        }
        if (cond_43451) {
            cond_43453 = 1;
        } else {
            char res_43454 = res_43359 == 7;
            
            cond_43453 = res_43454;
        }
        if (cond_43453) {
            cond_43455 = 1;
        } else {
            char res_43456 = res_43359 == 8;
            
            cond_43455 = res_43456;
        }
        if (cond_43455) {
            cond_43457 = 1;
        } else {
            char res_43458 = res_43359 == 27;
            
            cond_43457 = res_43458;
        }
        if (cond_43457) {
            res_43459 = 2;
        } else {
            res_43459 = 0;
        }
        res_43460 = x_43447 | res_43459;
        if (cond_43381) {
            res_43461 = 2;
        }
        trunc_arg_43475 = ule8(res_43431, res_43461);
        if (trunc_arg_43475) {
            x_43476 = 1;
        } else {
            x_43476 = 0;
        }
        cond_43477 = res_43361 == 1;
        if (cond_43477) {
            cond_43478 = 1;
        } else {
            char res_43479 = res_43361 == 2;
            
            cond_43478 = res_43479;
        }
        if (cond_43478) {
            cond_43480 = 1;
        } else {
            char res_43481 = res_43361 == 6;
            
            cond_43480 = res_43481;
        }
        if (cond_43480) {
            cond_43482 = 1;
        } else {
            char res_43483 = res_43361 == 7;
            
            cond_43482 = res_43483;
        }
        if (cond_43482) {
            cond_43484 = 1;
        } else {
            char res_43485 = res_43361 == 8;
            
            cond_43484 = res_43485;
        }
        if (cond_43484) {
            cond_43486 = 1;
        } else {
            char res_43487 = res_43361 == 27;
            
            cond_43486 = res_43487;
        }
        if (cond_43486) {
            res_43488 = 2;
        } else {
            res_43488 = 0;
        }
        res_43489 = x_43476 | res_43488;
        if (cond_43398) {
            res_43490 = 2;
        } else {
            char cond_43491;
            int8_t res_43492;
            
            cond_43491 = res_43363 == 1;
            if (cond_43491) {
                res_43492 = 0;
            } else {
                char cond_43493;
                int8_t res_43494;
                
                cond_43493 = res_43363 == 2;
                if (cond_43493) {
                    res_43494 = 0;
                } else {
                    char cond_43495;
                    int8_t res_43496;
                    
                    cond_43495 = res_43363 == 9;
                    if (cond_43495) {
                        res_43496 = 10;
                    } else {
                        char cond_43497;
                        int8_t res_43498;
                        
                        cond_43497 = res_43363 == 27;
                        if (cond_43497) {
                            res_43498 = 7;
                        } else {
                            char cond_43499;
                            char res_43500;
                            int8_t res_43502;
                            
                            cond_43499 = ule32(12, res_43363);
                            if (cond_43499) {
                                char res_43501 = ule32(res_43363, 22);
                                
                                res_43500 = res_43501;
                            } else {
                                res_43500 = 0;
                            }
                            if (res_43500) {
                                res_43502 = 0;
                            } else {
                                int8_t res_43503 = zext_i32_i8(res_43363);
                                
                                res_43502 = res_43503;
                            }
                            res_43498 = res_43502;
                        }
                        res_43496 = res_43498;
                    }
                    res_43494 = res_43496;
                }
                res_43492 = res_43494;
            }
            res_43490 = res_43492;
        }
        trunc_arg_43504 = ule8(res_43431, res_43490);
        if (trunc_arg_43504) {
            x_43505 = 1;
        } else {
            x_43505 = 0;
        }
        cond_43506 = res_43363 == 1;
        if (cond_43506) {
            cond_43507 = 1;
        } else {
            char res_43508 = res_43363 == 2;
            
            cond_43507 = res_43508;
        }
        if (cond_43507) {
            cond_43509 = 1;
        } else {
            char res_43510 = res_43363 == 6;
            
            cond_43509 = res_43510;
        }
        if (cond_43509) {
            cond_43511 = 1;
        } else {
            char res_43512 = res_43363 == 7;
            
            cond_43511 = res_43512;
        }
        if (cond_43511) {
            cond_43513 = 1;
        } else {
            char res_43514 = res_43363 == 8;
            
            cond_43513 = res_43514;
        }
        if (cond_43513) {
            cond_43515 = 1;
        } else {
            char res_43516 = res_43363 == 27;
            
            cond_43515 = res_43516;
        }
        if (cond_43515) {
            res_43517 = 2;
        } else {
            res_43517 = 0;
        }
        res_43518 = x_43505 | res_43517;
        if (cond_43413) {
            res_43519 = 2;
        } else {
            char cond_43520;
            int8_t res_43521;
            
            cond_43520 = res_43365 == 1;
            if (cond_43520) {
                res_43521 = 0;
            } else {
                char cond_43522;
                int8_t res_43523;
                
                cond_43522 = res_43365 == 2;
                if (cond_43522) {
                    res_43523 = 0;
                } else {
                    char cond_43524;
                    int8_t res_43525;
                    
                    cond_43524 = res_43365 == 9;
                    if (cond_43524) {
                        res_43525 = 10;
                    } else {
                        char cond_43526;
                        int8_t res_43527;
                        
                        cond_43526 = res_43365 == 27;
                        if (cond_43526) {
                            res_43527 = 7;
                        } else {
                            char cond_43528;
                            char res_43529;
                            int8_t res_43531;
                            
                            cond_43528 = ule32(12, res_43365);
                            if (cond_43528) {
                                char res_43530 = ule32(res_43365, 22);
                                
                                res_43529 = res_43530;
                            } else {
                                res_43529 = 0;
                            }
                            if (res_43529) {
                                res_43531 = 0;
                            } else {
                                int8_t res_43532 = zext_i32_i8(res_43365);
                                
                                res_43531 = res_43532;
                            }
                            res_43527 = res_43531;
                        }
                        res_43525 = res_43527;
                    }
                    res_43523 = res_43525;
                }
                res_43521 = res_43523;
            }
            res_43519 = res_43521;
        }
        trunc_arg_43533 = ule8(res_43431, res_43519);
        if (trunc_arg_43533) {
            x_43534 = 1;
        } else {
            x_43534 = 0;
        }
        cond_43535 = res_43365 == 1;
        if (cond_43535) {
            cond_43536 = 1;
        } else {
            char res_43537 = res_43365 == 2;
            
            cond_43536 = res_43537;
        }
        if (cond_43536) {
            cond_43538 = 1;
        } else {
            char res_43539 = res_43365 == 6;
            
            cond_43538 = res_43539;
        }
        if (cond_43538) {
            cond_43540 = 1;
        } else {
            char res_43541 = res_43365 == 7;
            
            cond_43540 = res_43541;
        }
        if (cond_43540) {
            cond_43542 = 1;
        } else {
            char res_43543 = res_43365 == 8;
            
            cond_43542 = res_43543;
        }
        if (cond_43542) {
            cond_43544 = 1;
        } else {
            char res_43545 = res_43365 == 27;
            
            cond_43544 = res_43545;
        }
        if (cond_43544) {
            res_43546 = 2;
        } else {
            res_43546 = 0;
        }
        res_43547 = x_43534 | res_43546;
        y_43548 = res_43489 << 2;
        x_43549 = res_43460 | y_43548;
        y_43550 = res_43518 << 4;
        x_43551 = x_43549 | y_43550;
        y_43552 = res_43547 << 6;
        res_43553 = x_43551 | y_43552;
        res_43554 = res_43553 & 85;
        res_43555 = res_43553 & 127;
        cond_43556 = res_43555 == 63;
        if (cond_43556) {
            res_43557 = 0;
            res_43558 = 1;
            res_43559 = 3;
            res_43560 = 2;
        }
        if (cond_42313) {
            res_43639 = res_43557;
        } else {
            char cond_43640;
            int32_t res_43641;
            
            cond_43640 = res_42312 == 1;
            if (cond_43640) {
                res_43641 = res_43558;
            } else {
                char cond_43642;
                int32_t res_43643;
                
                cond_43642 = res_42312 == 2;
                if (cond_43642) {
                    res_43643 = res_43559;
                } else {
                    res_43643 = res_43560;
                }
                res_43641 = res_43643;
            }
            res_43639 = res_43641;
        }
        trunc_arg_43644 = 8 * res_43639;
        y_43645 = 255 << trunc_arg_43644;
        x_43646 = res_42395 & y_43645;
        res_43647 = lshr32(x_43646, trunc_arg_43644);
        cond_43648 = res_43647 == 23;
        if (cond_43648) {
            cond_43649 = 1;
        } else {
            char res_43650 = res_43647 == 24;
            
            cond_43649 = res_43650;
        }
        if (cond_43649) {
            cond_43651 = 1;
        } else {
            char res_43652 = res_43647 == 25;
            
            cond_43651 = res_43652;
        }
        if (cond_43651) {
            cond_43653 = 1;
        } else {
            char res_43654 = res_43647 == 26;
            
            cond_43653 = res_43654;
        }
        if (cond_43653) {
            res_43655 = 1;
        } else {
            char res_43656 = res_43647 == 29;
            
            res_43655 = res_43656;
        }
        if (res_43655) {
            res_43657 = res_42312;
        } else {
            res_43657 = res_43639;
        }
        if (cond_43366) {
            res_43658 = 2;
        } else {
            int8_t res_43659;
            
            if (cond_43448) {
                res_43659 = 0;
            } else {
                char cond_43660;
                int8_t res_43661;
                
                cond_43660 = res_43359 == 2;
                if (cond_43660) {
                    res_43661 = 0;
                } else {
                    char cond_43662;
                    int8_t res_43663;
                    
                    cond_43662 = res_43359 == 9;
                    if (cond_43662) {
                        res_43663 = 10;
                    } else {
                        char cond_43664;
                        int8_t res_43665;
                        
                        cond_43664 = res_43359 == 27;
                        if (cond_43664) {
                            res_43665 = 7;
                        } else {
                            char cond_43666;
                            char res_43667;
                            int8_t res_43669;
                            
                            cond_43666 = ule32(12, res_43359);
                            if (cond_43666) {
                                char res_43668 = ule32(res_43359, 22);
                                
                                res_43667 = res_43668;
                            } else {
                                res_43667 = 0;
                            }
                            if (res_43667) {
                                res_43669 = 0;
                            } else {
                                int8_t res_43670 = zext_i32_i8(res_43359);
                                
                                res_43669 = res_43670;
                            }
                            res_43665 = res_43669;
                        }
                        res_43663 = res_43665;
                    }
                    res_43661 = res_43663;
                }
                res_43659 = res_43661;
            }
            res_43658 = res_43659;
        }
        if (cond_43381) {
            res_43671 = 2;
        } else {
            int8_t res_43672;
            
            if (cond_43477) {
                res_43672 = 0;
            } else {
                char cond_43673;
                int8_t res_43674;
                
                cond_43673 = res_43361 == 2;
                if (cond_43673) {
                    res_43674 = 0;
                } else {
                    char cond_43675;
                    int8_t res_43676;
                    
                    cond_43675 = res_43361 == 9;
                    if (cond_43675) {
                        res_43676 = 10;
                    } else {
                        char cond_43677;
                        int8_t res_43678;
                        
                        cond_43677 = res_43361 == 27;
                        if (cond_43677) {
                            res_43678 = 7;
                        } else {
                            char cond_43679;
                            char res_43680;
                            int8_t res_43682;
                            
                            cond_43679 = ule32(12, res_43361);
                            if (cond_43679) {
                                char res_43681 = ule32(res_43361, 22);
                                
                                res_43680 = res_43681;
                            } else {
                                res_43680 = 0;
                            }
                            if (res_43680) {
                                res_43682 = 0;
                            } else {
                                int8_t res_43683 = zext_i32_i8(res_43361);
                                
                                res_43682 = res_43683;
                            }
                            res_43678 = res_43682;
                        }
                        res_43676 = res_43678;
                    }
                    res_43674 = res_43676;
                }
                res_43672 = res_43674;
            }
            res_43671 = res_43672;
        }
        if (cond_43398) {
            res_43684 = 2;
        } else {
            int8_t res_43685;
            
            if (cond_43506) {
                res_43685 = 0;
            } else {
                char cond_43686;
                int8_t res_43687;
                
                cond_43686 = res_43363 == 2;
                if (cond_43686) {
                    res_43687 = 0;
                } else {
                    char cond_43688;
                    int8_t res_43689;
                    
                    cond_43688 = res_43363 == 9;
                    if (cond_43688) {
                        res_43689 = 10;
                    } else {
                        char cond_43690;
                        int8_t res_43691;
                        
                        cond_43690 = res_43363 == 27;
                        if (cond_43690) {
                            res_43691 = 7;
                        } else {
                            char cond_43692;
                            char res_43693;
                            int8_t res_43695;
                            
                            cond_43692 = ule32(12, res_43363);
                            if (cond_43692) {
                                char res_43694 = ule32(res_43363, 22);
                                
                                res_43693 = res_43694;
                            } else {
                                res_43693 = 0;
                            }
                            if (res_43693) {
                                res_43695 = 0;
                            } else {
                                int8_t res_43696 = zext_i32_i8(res_43363);
                                
                                res_43695 = res_43696;
                            }
                            res_43691 = res_43695;
                        }
                        res_43689 = res_43691;
                    }
                    res_43687 = res_43689;
                }
                res_43685 = res_43687;
            }
            res_43684 = res_43685;
        }
        if (cond_43413) {
            res_43697 = 2;
        } else {
            int8_t res_43698;
            
            if (cond_43535) {
                res_43698 = 0;
            } else {
                char cond_43699;
                int8_t res_43700;
                
                cond_43699 = res_43365 == 2;
                if (cond_43699) {
                    res_43700 = 0;
                } else {
                    char cond_43701;
                    int8_t res_43702;
                    
                    cond_43701 = res_43365 == 9;
                    if (cond_43701) {
                        res_43702 = 10;
                    } else {
                        char cond_43703;
                        int8_t res_43704;
                        
                        cond_43703 = res_43365 == 27;
                        if (cond_43703) {
                            res_43704 = 7;
                        } else {
                            char cond_43705;
                            char res_43706;
                            int8_t res_43708;
                            
                            cond_43705 = ule32(12, res_43365);
                            if (cond_43705) {
                                char res_43707 = ule32(res_43365, 22);
                                
                                res_43706 = res_43707;
                            } else {
                                res_43706 = 0;
                            }
                            if (res_43706) {
                                res_43708 = 0;
                            } else {
                                int8_t res_43709 = zext_i32_i8(res_43365);
                                
                                res_43708 = res_43709;
                            }
                            res_43704 = res_43708;
                        }
                        res_43702 = res_43704;
                    }
                    res_43700 = res_43702;
                }
                res_43698 = res_43700;
            }
            res_43697 = res_43698;
        }
        cond_43710 = ult8(res_43658, res_43671);
        if (cond_43710) {
            res_43711 = res_43671;
            res_43712 = res_43658;
        } else {
            res_43711 = res_43658;
            res_43712 = res_43671;
        }
        cond_43713 = ult8(res_43684, res_43697);
        if (cond_43713) {
            res_43714 = res_43697;
            res_43715 = res_43684;
        } else {
            res_43714 = res_43684;
            res_43715 = res_43697;
        }
        cond_43716 = ult8(res_43711, res_43714);
        if (cond_43716) {
            res_43717 = res_43715;
            res_43718 = res_43711;
        } else {
            res_43717 = res_43712;
            res_43718 = res_43714;
        }
        cond_43719 = ult8(res_43717, res_43718);
        if (cond_43719) {
            res_43720 = res_43718;
        } else {
            res_43720 = res_43717;
        }
        if (cond_43366) {
            res_43721 = 2;
        }
        if (cond_43381) {
            res_43734 = 2;
        }
        cond_43747 = res_43721 == res_43734;
        {
            cond_43748 = 0;
        }
        if (cond_43366) {
            res_43804 = 2;
        }
        trunc_arg_43817 = ule8(res_43720, res_43804);
        if (trunc_arg_43817) {
            x_43818 = 1;
        } else {
            x_43818 = 0;
        }
        if (cond_43448) {
            cond_43819 = 1;
        } else {
            char res_43820 = res_43359 == 2;
            
            cond_43819 = res_43820;
        }
        if (cond_43819) {
            cond_43821 = 1;
        } else {
            char res_43822 = res_43359 == 6;
            
            cond_43821 = res_43822;
        }
        if (cond_43821) {
            cond_43823 = 1;
        } else {
            char res_43824 = res_43359 == 7;
            
            cond_43823 = res_43824;
        }
        if (cond_43823) {
            cond_43825 = 1;
        } else {
            char res_43826 = res_43359 == 8;
            
            cond_43825 = res_43826;
        }
        if (cond_43825) {
            cond_43827 = 1;
        } else {
            char res_43828 = res_43359 == 27;
            
            cond_43827 = res_43828;
        }
        if (cond_43827) {
            res_43829 = 2;
        } else {
            res_43829 = 0;
        }
        res_43830 = x_43818 | res_43829;
        if (cond_43381) {
            res_43831 = 2;
        }
        trunc_arg_43844 = ule8(res_43720, res_43831);
        if (trunc_arg_43844) {
            x_43845 = 1;
        } else {
            x_43845 = 0;
        }
        if (cond_43477) {
            cond_43846 = 1;
        } else {
            char res_43847 = res_43361 == 2;
            
            cond_43846 = res_43847;
        }
        if (cond_43846) {
            cond_43848 = 1;
        } else {
            char res_43849 = res_43361 == 6;
            
            cond_43848 = res_43849;
        }
        if (cond_43848) {
            cond_43850 = 1;
        } else {
            char res_43851 = res_43361 == 7;
            
            cond_43850 = res_43851;
        }
        if (cond_43850) {
            cond_43852 = 1;
        } else {
            char res_43853 = res_43361 == 8;
            
            cond_43852 = res_43853;
        }
        if (cond_43852) {
            cond_43854 = 1;
        } else {
            char res_43855 = res_43361 == 27;
            
            cond_43854 = res_43855;
        }
        if (cond_43854) {
            res_43856 = 2;
        } else {
            res_43856 = 0;
        }
        res_43857 = x_43845 | res_43856;
        if (cond_43398) {
            res_43858 = 2;
        }
        trunc_arg_43871 = ule8(res_43720, res_43858);
        if (trunc_arg_43871) {
            x_43872 = 1;
        } else {
            x_43872 = 0;
        }
        if (cond_43506) {
            cond_43873 = 1;
        } else {
            char res_43874 = res_43363 == 2;
            
            cond_43873 = res_43874;
        }
        if (cond_43873) {
            cond_43875 = 1;
        } else {
            char res_43876 = res_43363 == 6;
            
            cond_43875 = res_43876;
        }
        if (cond_43875) {
            cond_43877 = 1;
        } else {
            char res_43878 = res_43363 == 7;
            
            cond_43877 = res_43878;
        }
        if (cond_43877) {
            cond_43879 = 1;
        } else {
            char res_43880 = res_43363 == 8;
            
            cond_43879 = res_43880;
        }
        if (cond_43879) {
            cond_43881 = 1;
        } else {
            char res_43882 = res_43363 == 27;
            
            cond_43881 = res_43882;
        }
        if (cond_43881) {
            res_43883 = 2;
        } else {
            res_43883 = 0;
        }
        res_43884 = x_43872 | res_43883;
        if (cond_43413) {
            res_43885 = 2;
        }
        trunc_arg_43898 = ule8(res_43720, res_43885);
        if (trunc_arg_43898) {
            x_43899 = 1;
        } else {
            x_43899 = 0;
        }
        if (cond_43535) {
            cond_43900 = 1;
        } else {
            char res_43901 = res_43365 == 2;
            
            cond_43900 = res_43901;
        }
        if (cond_43900) {
            cond_43902 = 1;
        } else {
            char res_43903 = res_43365 == 6;
            
            cond_43902 = res_43903;
        }
        if (cond_43902) {
            cond_43904 = 1;
        } else {
            char res_43905 = res_43365 == 7;
            
            cond_43904 = res_43905;
        }
        if (cond_43904) {
            cond_43906 = 1;
        } else {
            char res_43907 = res_43365 == 8;
            
            cond_43906 = res_43907;
        }
        if (cond_43906) {
            cond_43908 = 1;
        } else {
            char res_43909 = res_43365 == 27;
            
            cond_43908 = res_43909;
        }
        if (cond_43908) {
            res_43910 = 2;
        } else {
            res_43910 = 0;
        }
        res_43911 = x_43899 | res_43910;
        y_43912 = res_43857 << 2;
        x_43913 = res_43830 | y_43912;
        y_43914 = res_43884 << 4;
        x_43915 = x_43913 | y_43914;
        y_43916 = res_43911 << 6;
        res_43917 = x_43915 | y_43916;
        res_43918 = res_43917 & 85;
        res_43919 = res_43917 & 127;
        cond_43920 = res_43919 == 63;
        if (cond_43920) {
            res_43921 = 0;
            res_43922 = 1;
            res_43923 = 3;
            res_43924 = 2;
        } else {
            int8_t res_43925;
            char cond_43926;
            int32_t res_43928;
            int32_t res_43929;
            int32_t res_43930;
            int32_t res_43927;
            
            res_43925 = res_43917 & -33;
            cond_43926 = res_43925 == -49;
            if (cond_43926) {
                res_43927 = 0;
                res_43928 = 1;
                res_43929 = 3;
                res_43930 = 2;
            } else {
                int8_t res_43931;
                int8_t res_43932;
                int8_t res_43933;
                char cond_43934;
                int32_t res_43936;
                int32_t res_43937;
                int32_t res_43938;
                int32_t res_43935;
                
                res_43931 = res_43917 & -9;
                res_43932 = res_43931 & -33;
                res_43933 = res_43932 & 127;
                cond_43934 = res_43933 == 83;
                if (cond_43934) {
                    res_43935 = 1;
                    res_43936 = 0;
                    res_43937 = 2;
                    res_43938 = 3;
                } else {
                    int8_t res_43939;
                    int8_t res_43940;
                    int8_t res_43941;
                    char cond_43942;
                    int32_t res_43944;
                    int32_t res_43945;
                    int32_t res_43946;
                    int32_t res_43943;
                    
                    res_43939 = res_43917 & -3;
                    res_43940 = res_43939 & -33;
                    res_43941 = res_43940 & 127;
                    cond_43942 = res_43941 == 92;
                    if (cond_43942) {
                        res_43943 = 1;
                        res_43944 = 0;
                        res_43945 = 3;
                        res_43946 = 2;
                    } else {
                        int8_t res_43947;
                        int8_t res_43948;
                        char cond_43949;
                        int32_t res_43952;
                        int32_t res_43953;
                        int32_t res_43950;
                        int32_t res_43951;
                        
                        res_43947 = res_43939 & -9;
                        res_43948 = res_43947 & 127;
                        cond_43949 = res_43948 == 48;
                        if (cond_43949) {
                            res_43950 = 0;
                            res_43951 = 1;
                            res_43952 = 3;
                            res_43953 = 2;
                        } else {
                            int8_t res_43954;
                            char cond_43955;
                            int32_t res_43956;
                            int32_t res_43957;
                            int32_t res_43958;
                            int32_t res_43959;
                            
                            res_43954 = res_43947 & -33;
                            cond_43955 = res_43954 == -64;
                            if (cond_43955) {
                                res_43956 = 0;
                                res_43957 = 1;
                                res_43958 = 3;
                                res_43959 = 2;
                            } else {
                                char cond_43960;
                                int32_t res_43964;
                                int32_t res_43961;
                                int32_t res_43962;
                                int32_t res_43963;
                                
                                cond_43960 = res_43918 == 1;
                                if (cond_43960) {
                                    res_43961 = 2;
                                    res_43962 = 1;
                                    res_43963 = 0;
                                    res_43964 = 3;
                                } else {
                                    char cond_43965;
                                    int32_t res_43968;
                                    int32_t res_43969;
                                    int32_t res_43966;
                                    int32_t res_43967;
                                    
                                    cond_43965 = res_43918 == 21;
                                    if (cond_43965) {
                                        res_43966 = 0;
                                        res_43967 = 3;
                                        res_43968 = 2;
                                        res_43969 = 1;
                                    } else {
                                        char cond_43970;
                                        int32_t res_43972;
                                        int32_t res_43973;
                                        int32_t res_43974;
                                        int32_t res_43971;
                                        
                                        cond_43970 = res_43918 == 5;
                                        if (cond_43970) {
                                            res_43971 = 2;
                                            res_43972 = 3;
                                            res_43973 = 0;
                                            res_43974 = 1;
                                        } else {
                                            char cond_43975;
                                            int32_t res_43976;
                                            int32_t res_43977;
                                            int32_t res_43978;
                                            int32_t res_43979;
                                            
                                            cond_43975 = res_43918 == 20;
                                            if (cond_43975) {
                                                res_43976 = 0;
                                                res_43977 = 3;
                                                res_43978 = 2;
                                                res_43979 = 1;
                                            } else {
                                                char cond_43980;
                                                int32_t res_43984;
                                                int32_t res_43981;
                                                int32_t res_43982;
                                                int32_t res_43983;
                                                
                                                cond_43980 = res_43918 == 4;
                                                if (cond_43980) {
                                                    res_43981 = 0;
                                                    res_43982 = 3;
                                                    res_43983 = 2;
                                                    res_43984 = 1;
                                                } else {
                                                    char cond_43985;
                                                    int32_t res_43988;
                                                    int32_t res_43989;
                                                    int32_t res_43986;
                                                    int32_t res_43987;
                                                    
                                                    cond_43985 = res_43918 ==
                                                        69;
                                                    if (cond_43985) {
                                                        res_43986 = 2;
                                                        res_43987 = 1;
                                                        res_43988 = 0;
                                                        res_43989 = 3;
                                                    } else {
                                                        char cond_43990;
                                                        int32_t res_43992;
                                                        int32_t res_43993;
                                                        int32_t res_43994;
                                                        int32_t res_43991;
                                                        
                                                        cond_43990 =
                                                            res_43918 == 65;
                                                        if (cond_43990) {
                                                            res_43991 = 2;
                                                            res_43992 = 1;
                                                            res_43993 = 0;
                                                            res_43994 = 3;
                                                        } else {
                                                            char cond_43995;
                                                            int32_t res_43996;
                                                            int32_t res_43997;
                                                            int32_t res_43998;
                                                            int32_t res_43999;
                                                            
                                                            cond_43995 =
                                                                res_43918 == 17;
                                                            if (cond_43995) {
                                                                res_43996 = 3;
                                                                res_43997 = 1;
                                                                res_43998 = 2;
                                                                res_43999 = 0;
                                                            } else {
                                                                char cond_44000;
                                                                int32_t
                                                                res_44001;
                                                                int32_t
                                                                res_44002;
                                                                
                                                                cond_44000 =
                                                                    res_43918 ==
                                                                    68;
                                                                if (cond_44000) {
                                                                    res_44001 =
                                                                        1;
                                                                    res_44002 =
                                                                        2;
                                                                } else {
                                                                    res_44001 =
                                                                        2;
                                                                    res_44002 =
                                                                        1;
                                                                }
                                                                res_43996 = 0;
                                                                res_43997 =
                                                                    res_44002;
                                                                res_43998 =
                                                                    res_44001;
                                                                res_43999 = 3;
                                                            }
                                                            res_43991 =
                                                                res_43996;
                                                            res_43992 =
                                                                res_43997;
                                                            res_43993 =
                                                                res_43998;
                                                            res_43994 =
                                                                res_43999;
                                                        }
                                                        res_43986 = res_43991;
                                                        res_43987 = res_43992;
                                                        res_43988 = res_43993;
                                                        res_43989 = res_43994;
                                                    }
                                                    res_43981 = res_43986;
                                                    res_43982 = res_43987;
                                                    res_43983 = res_43988;
                                                    res_43984 = res_43989;
                                                }
                                                res_43976 = res_43981;
                                                res_43977 = res_43982;
                                                res_43978 = res_43983;
                                                res_43979 = res_43984;
                                            }
                                            res_43971 = res_43976;
                                            res_43972 = res_43977;
                                            res_43973 = res_43978;
                                            res_43974 = res_43979;
                                        }
                                        res_43966 = res_43971;
                                        res_43967 = res_43972;
                                        res_43968 = res_43973;
                                        res_43969 = res_43974;
                                    }
                                    res_43961 = res_43966;
                                    res_43962 = res_43967;
                                    res_43963 = res_43968;
                                    res_43964 = res_43969;
                                }
                                res_43956 = res_43961;
                                res_43957 = res_43962;
                                res_43958 = res_43963;
                                res_43959 = res_43964;
                            }
                            res_43950 = res_43956;
                            res_43951 = res_43957;
                            res_43952 = res_43958;
                            res_43953 = res_43959;
                        }
                        res_43943 = res_43950;
                        res_43944 = res_43951;
                        res_43945 = res_43952;
                        res_43946 = res_43953;
                    }
                    res_43935 = res_43943;
                    res_43936 = res_43944;
                    res_43937 = res_43945;
                    res_43938 = res_43946;
                }
                res_43927 = res_43935;
                res_43928 = res_43936;
                res_43929 = res_43937;
                res_43930 = res_43938;
            }
            res_43921 = res_43927;
            res_43922 = res_43928;
            res_43923 = res_43929;
            res_43924 = res_43930;
        }
        if (cond_42313) {
            res_44003 = res_43921;
        } else {
            char cond_44004;
            int32_t res_44005;
            
            cond_44004 = res_42312 == 1;
            if (cond_44004) {
                res_44005 = res_43922;
            } else {
                char cond_44006;
                int32_t res_44007;
                
                cond_44006 = res_42312 == 2;
                if (cond_44006) {
                    res_44007 = res_43923;
                } else {
                    res_44007 = res_43924;
                }
                res_44005 = res_44007;
            }
            res_44003 = res_44005;
        }
        trunc_arg_44008 = 8 * res_44003;
        y_44009 = 255 << trunc_arg_44008;
        x_44010 = res_42395 & y_44009;
        res_44011 = lshr32(x_44010, trunc_arg_44008);
        cond_44012 = res_44011 == 23;
        if (cond_44012) {
            cond_44013 = 1;
        } else {
            char res_44014 = res_44011 == 24;
            
            cond_44013 = res_44014;
        }
        if (cond_44013) {
            cond_44015 = 1;
        } else {
            char res_44016 = res_44011 == 25;
            
            cond_44015 = res_44016;
        }
        if (cond_44015) {
            cond_44017 = 1;
        } else {
            char res_44018 = res_44011 == 26;
            
            cond_44017 = res_44018;
        }
        if (cond_44017) {
            res_44019 = 1;
        } else {
            char res_44020 = res_44011 == 29;
            
            res_44019 = res_44020;
        }
        if (res_44019) {
            res_44021 = res_42312;
        } else {
            res_44021 = res_44003;
        }
        if (cond_43556) {
            res_44024 = 0;
            res_44025 = 1;
            res_44022 = 3;
            res_44023 = 2;
        } else {
            int8_t res_44026;
            char cond_44027;
            int32_t res_44028;
            int32_t res_44029;
            int32_t res_44030;
            int32_t res_44031;
            
            res_44026 = res_43553 & -33;
            cond_44027 = res_44026 == -49;
            if (cond_44027) {
                res_44028 = 0;
                res_44029 = 1;
                res_44030 = 3;
                res_44031 = 2;
            } else {
                int8_t res_44032;
                int8_t res_44033;
                int8_t res_44034;
                char cond_44035;
                int32_t res_44036;
                int32_t res_44037;
                int32_t res_44038;
                int32_t res_44039;
                
                res_44032 = res_43553 & -9;
                res_44033 = res_44032 & -33;
                res_44034 = res_44033 & 127;
                cond_44035 = res_44034 == 83;
                if (cond_44035) {
                    res_44036 = 1;
                    res_44037 = 0;
                    res_44038 = 2;
                    res_44039 = 3;
                } else {
                    int8_t res_44040;
                    int8_t res_44041;
                    int8_t res_44042;
                    char cond_44043;
                    int32_t res_44044;
                    int32_t res_44045;
                    int32_t res_44046;
                    int32_t res_44047;
                    
                    res_44040 = res_43553 & -3;
                    res_44041 = res_44040 & -33;
                    res_44042 = res_44041 & 127;
                    cond_44043 = res_44042 == 92;
                    if (cond_44043) {
                        res_44044 = 1;
                        res_44045 = 0;
                        res_44046 = 3;
                        res_44047 = 2;
                    } else {
                        int8_t res_44048;
                        int8_t res_44049;
                        char cond_44050;
                        int32_t res_44052;
                        int32_t res_44053;
                        int32_t res_44054;
                        int32_t res_44051;
                        
                        res_44048 = res_44040 & -9;
                        res_44049 = res_44048 & 127;
                        cond_44050 = res_44049 == 48;
                        if (cond_44050) {
                            res_44051 = 0;
                            res_44052 = 1;
                            res_44053 = 3;
                            res_44054 = 2;
                        } else {
                            int8_t res_44055;
                            char cond_44056;
                            int32_t res_44060;
                            int32_t res_44057;
                            int32_t res_44058;
                            int32_t res_44059;
                            
                            res_44055 = res_44048 & -33;
                            cond_44056 = res_44055 == -64;
                            if (cond_44056) {
                                res_44057 = 0;
                                res_44058 = 1;
                                res_44059 = 3;
                                res_44060 = 2;
                            } else {
                                char cond_44061;
                                int32_t res_44064;
                                int32_t res_44065;
                                int32_t res_44062;
                                int32_t res_44063;
                                
                                cond_44061 = res_43554 == 1;
                                if (cond_44061) {
                                    res_44062 = 2;
                                    res_44063 = 1;
                                    res_44064 = 0;
                                    res_44065 = 3;
                                } else {
                                    char cond_44066;
                                    int32_t res_44068;
                                    int32_t res_44069;
                                    int32_t res_44070;
                                    int32_t res_44067;
                                    
                                    cond_44066 = res_43554 == 21;
                                    if (cond_44066) {
                                        res_44067 = 0;
                                        res_44068 = 3;
                                        res_44069 = 2;
                                        res_44070 = 1;
                                    } else {
                                        char cond_44071;
                                        int32_t res_44072;
                                        int32_t res_44073;
                                        int32_t res_44074;
                                        int32_t res_44075;
                                        
                                        cond_44071 = res_43554 == 5;
                                        if (cond_44071) {
                                            res_44072 = 2;
                                            res_44073 = 3;
                                            res_44074 = 0;
                                            res_44075 = 1;
                                        } else {
                                            char cond_44076;
                                            int32_t res_44080;
                                            int32_t res_44077;
                                            int32_t res_44078;
                                            int32_t res_44079;
                                            
                                            cond_44076 = res_43554 == 20;
                                            if (cond_44076) {
                                                res_44077 = 0;
                                                res_44078 = 3;
                                                res_44079 = 2;
                                                res_44080 = 1;
                                            } else {
                                                char cond_44081;
                                                int32_t res_44084;
                                                int32_t res_44085;
                                                int32_t res_44082;
                                                int32_t res_44083;
                                                
                                                cond_44081 = res_43554 == 4;
                                                if (cond_44081) {
                                                    res_44082 = 0;
                                                    res_44083 = 3;
                                                    res_44084 = 2;
                                                    res_44085 = 1;
                                                } else {
                                                    char cond_44086;
                                                    int32_t res_44088;
                                                    int32_t res_44089;
                                                    int32_t res_44090;
                                                    int32_t res_44087;
                                                    
                                                    cond_44086 = res_43554 ==
                                                        69;
                                                    if (cond_44086) {
                                                        res_44087 = 2;
                                                        res_44088 = 1;
                                                        res_44089 = 0;
                                                        res_44090 = 3;
                                                    } else {
                                                        char cond_44091;
                                                        int32_t res_44092;
                                                        int32_t res_44093;
                                                        int32_t res_44094;
                                                        int32_t res_44095;
                                                        
                                                        cond_44091 =
                                                            res_43554 == 65;
                                                        if (cond_44091) {
                                                            res_44092 = 2;
                                                            res_44093 = 1;
                                                            res_44094 = 0;
                                                            res_44095 = 3;
                                                        } else {
                                                            char cond_44096;
                                                            int32_t res_44100;
                                                            int32_t res_44097;
                                                            int32_t res_44098;
                                                            int32_t res_44099;
                                                            
                                                            cond_44096 =
                                                                res_43554 == 17;
                                                            if (cond_44096) {
                                                                res_44097 = 3;
                                                                res_44098 = 1;
                                                                res_44099 = 2;
                                                                res_44100 = 0;
                                                            } else {
                                                                char cond_44101;
                                                                int32_t
                                                                res_44102;
                                                                int32_t
                                                                res_44103;
                                                                
                                                                cond_44101 =
                                                                    res_43554 ==
                                                                    68;
                                                                if (cond_44101) {
                                                                    res_44102 =
                                                                        1;
                                                                    res_44103 =
                                                                        2;
                                                                } else {
                                                                    res_44102 =
                                                                        2;
                                                                    res_44103 =
                                                                        1;
                                                                }
                                                                res_44097 = 0;
                                                                res_44098 =
                                                                    res_44103;
                                                                res_44099 =
                                                                    res_44102;
                                                                res_44100 = 3;
                                                            }
                                                            res_44092 =
                                                                res_44097;
                                                            res_44093 =
                                                                res_44098;
                                                            res_44094 =
                                                                res_44099;
                                                            res_44095 =
                                                                res_44100;
                                                        }
                                                        res_44087 = res_44092;
                                                        res_44088 = res_44093;
                                                        res_44089 = res_44094;
                                                        res_44090 = res_44095;
                                                    }
                                                    res_44082 = res_44087;
                                                    res_44083 = res_44088;
                                                    res_44084 = res_44089;
                                                    res_44085 = res_44090;
                                                }
                                                res_44077 = res_44082;
                                                res_44078 = res_44083;
                                                res_44079 = res_44084;
                                                res_44080 = res_44085;
                                            }
                                            res_44072 = res_44077;
                                            res_44073 = res_44078;
                                            res_44074 = res_44079;
                                            res_44075 = res_44080;
                                        }
                                        res_44067 = res_44072;
                                        res_44068 = res_44073;
                                        res_44069 = res_44074;
                                        res_44070 = res_44075;
                                    }
                                    res_44062 = res_44067;
                                    res_44063 = res_44068;
                                    res_44064 = res_44069;
                                    res_44065 = res_44070;
                                }
                                res_44057 = res_44062;
                                res_44058 = res_44063;
                                res_44059 = res_44064;
                                res_44060 = res_44065;
                            }
                            res_44051 = res_44057;
                            res_44052 = res_44058;
                            res_44053 = res_44059;
                            res_44054 = res_44060;
                        }
                        res_44044 = res_44051;
                        res_44045 = res_44052;
                        res_44046 = res_44053;
                        res_44047 = res_44054;
                    }
                    res_44036 = res_44044;
                    res_44037 = res_44045;
                    res_44038 = res_44046;
                    res_44039 = res_44047;
                }
                res_44028 = res_44036;
                res_44029 = res_44037;
                res_44030 = res_44038;
                res_44031 = res_44039;
            }
            res_44024 = res_44028;
            res_44025 = res_44029;
            res_44022 = res_44030;
            res_44023 = res_44031;
        }
        eq_x_y_44104 = 0 == res_42312;
        eq_x_zz_44105 = 0 == res_44003;
        p_and_eq_x_y_44106 = res_44019 && eq_x_y_44104;
        not_p_44107 = !res_44019;
        p_and_eq_x_y_44108 = not_p_44107 && eq_x_zz_44105;
        cond_44109 = p_and_eq_x_y_44106 || p_and_eq_x_y_44108;
        if (cond_44109) {
            res_44110 = res_44024;
        } else {
            char eq_x_y_44111;
            char eq_x_zz_44112;
            char p_and_eq_x_y_44113;
            char p_and_eq_x_y_44114;
            char cond_44115;
            int32_t res_44116;
            
            eq_x_y_44111 = 1 == res_42312;
            eq_x_zz_44112 = 1 == res_44003;
            p_and_eq_x_y_44113 = res_44019 && eq_x_y_44111;
            p_and_eq_x_y_44114 = not_p_44107 && eq_x_zz_44112;
            cond_44115 = p_and_eq_x_y_44113 || p_and_eq_x_y_44114;
            if (cond_44115) {
                res_44116 = res_44025;
            } else {
                char eq_x_y_44117;
                char eq_x_zz_44118;
                char p_and_eq_x_y_44119;
                char p_and_eq_x_y_44120;
                char cond_44121;
                int32_t res_44122;
                
                eq_x_y_44117 = 2 == res_42312;
                eq_x_zz_44118 = 2 == res_44003;
                p_and_eq_x_y_44119 = res_44019 && eq_x_y_44117;
                p_and_eq_x_y_44120 = not_p_44107 && eq_x_zz_44118;
                cond_44121 = p_and_eq_x_y_44119 || p_and_eq_x_y_44120;
                if (cond_44121) {
                    res_44122 = res_44022;
                } else {
                    res_44122 = res_44023;
                }
                res_44116 = res_44122;
            }
            res_44110 = res_44116;
        }
        trunc_arg_44123 = 8 * res_44110;
        y_44124 = 255 << trunc_arg_44123;
        x_44125 = res_42395 & y_44124;
        res_44126 = lshr32(x_44125, trunc_arg_44123);
        cond_44127 = res_44126 == 23;
        if (cond_44127) {
            cond_44128 = 1;
        } else {
            char res_44129 = res_44126 == 24;
            
            cond_44128 = res_44129;
        }
        if (cond_44128) {
            cond_44130 = 1;
        } else {
            char res_44131 = res_44126 == 25;
            
            cond_44130 = res_44131;
        }
        if (cond_44130) {
            cond_44132 = 1;
        } else {
            char res_44133 = res_44126 == 26;
            
            cond_44132 = res_44133;
        }
        if (cond_44132) {
            res_44134 = 1;
        } else {
            char res_44135 = res_44126 == 29;
            
            res_44134 = res_44135;
        }
        cond_44136 = res_43359 == res_43361;
        if (cond_44136) {
            char res_44138 = res_43361 == res_43363;
            
            cond_44137 = res_44138;
        } else {
            cond_44137 = 0;
        }
        if (cond_44137) {
            char res_44140 = res_43363 == res_43365;
            
            cond_44139 = res_44140;
        } else {
            cond_44139 = 0;
        }
        if (cond_44139) {
            res_44141 = res_42312;
        } else {
            char cond_44142;
            char cond_44143;
            char cond_44145;
            char cond_44147;
            char res_44149;
            int32_t res_44151;
            
            cond_44142 = res_43357 == 23;
            if (cond_44142) {
                cond_44143 = 1;
            } else {
                char res_44144 = res_43357 == 24;
                
                cond_44143 = res_44144;
            }
            if (cond_44143) {
                cond_44145 = 1;
            } else {
                char res_44146 = res_43357 == 25;
                
                cond_44145 = res_44146;
            }
            if (cond_44145) {
                cond_44147 = 1;
            } else {
                char res_44148 = res_43357 == 26;
                
                cond_44147 = res_44148;
            }
            if (cond_44147) {
                res_44149 = 1;
            } else {
                char res_44150 = res_43357 == 29;
                
                res_44149 = res_44150;
            }
            if (res_44149) {
                res_44151 = res_42312;
            } else {
                char eq_x_zz_44152;
                char not_p_44153;
                char p_and_eq_x_y_44154;
                char condtrue_44155;
                char cond_44156;
                char cond_44157;
                int32_t res_44158;
                
                eq_x_zz_44152 = res_42312 == res_43639;
                not_p_44153 = !res_43655;
                p_and_eq_x_y_44154 = not_p_44153 && eq_x_zz_44152;
                condtrue_44155 = res_43655 || p_and_eq_x_y_44154;
                cond_44156 = !condtrue_44155;
                cond_44157 = cond_44156 || res_43776;
                if (cond_44157) {
                    res_44158 = res_43657;
                } else {
                    char eq_x_y_44159;
                    char eq_x_zz_44160;
                    char p_and_eq_x_y_44161;
                    char p_and_eq_x_y_44162;
                    char eq_x_zz_44163;
                    char not_p_44164;
                    char p_and_eq_x_y_44165;
                    char cond_44166;
                    int32_t res_44167;
                    
                    eq_x_y_44159 = res_44110 == res_42312;
                    eq_x_zz_44160 = res_44110 == res_44003;
                    p_and_eq_x_y_44161 = res_44019 && eq_x_y_44159;
                    p_and_eq_x_y_44162 = not_p_44107 && eq_x_zz_44160;
                    eq_x_zz_44163 = p_and_eq_x_y_44161 || p_and_eq_x_y_44162;
                    not_p_44164 = !res_44134;
                    p_and_eq_x_y_44165 = not_p_44164 && eq_x_zz_44163;
                    cond_44166 = res_44134 || p_and_eq_x_y_44165;
                    if (cond_44166) {
                        res_44167 = res_44021;
                    } else {
                        res_44167 = res_43657;
                    }
                    res_44158 = res_44167;
                }
                res_44151 = res_44158;
            }
            res_44141 = res_44151;
        }
        trunc_arg_44168 = 8 * res_44141;
        y_44169 = 255 << trunc_arg_44168;
        x_44170 = res_42395 & y_44169;
        res_44171 = lshr32(x_44170, trunc_arg_44168);
        cond_44172 = res_44171 == 22;
        if (cond_44172) {
            res_44173 = 0;
        } else {
            char cond_44174;
            char res_44175;
            int32_t res_44177;
            
            cond_44174 = ule32(12, res_44171);
            if (cond_44174) {
                char res_44176 = ule32(res_44171, 22);
                
                res_44175 = res_44176;
            } else {
                res_44175 = 0;
            }
            if (res_44175) {
                char cond_44178;
                int32_t res_44179;
                
                cond_44178 = slt32(x_42310, 50);
                if (cond_44178) {
                    int32_t res_44180 = res_44171 + 1;
                    
                    res_44179 = res_44180;
                } else {
                    res_44179 = res_44171;
                }
                res_44177 = res_44179;
            } else {
                char cond_44181;
                int32_t res_44182;
                
                cond_44181 = res_44171 == 1;
                if (cond_44181) {
                    char cond_44183;
                    int32_t res_44184;
                    
                    cond_44183 = slt32(x_42310, 1);
                    if (cond_44183) {
                        res_44184 = 7;
                    } else {
                        res_44184 = 1;
                    }
                    res_44182 = res_44184;
                } else {
                    char cond_44185;
                    int32_t res_44186;
                    
                    cond_44185 = res_44171 == 2;
                    if (cond_44185) {
                        char cond_44187;
                        int32_t res_44188;
                        
                        cond_44187 = slt32(x_42310, 5);
                        if (cond_44187) {
                            res_44188 = 7;
                        } else {
                            res_44188 = 2;
                        }
                        res_44186 = res_44188;
                    } else {
                        char cond_44189;
                        int32_t res_44190;
                        
                        cond_44189 = res_44171 == 28;
                        if (cond_44189) {
                            int32_t x_44192;
                            int32_t i_44193;
                            int32_t res_44194;
                            
                            *(__global int32_t *) &mem_44230[global_tid_42294 *
                                                             4] = 0;
                            *(__global
                              int32_t *) &mem_44230[(num_threads_42258 +
                                                     global_tid_42294) * 4] = 1;
                            *(__global int32_t *) &mem_44230[(2 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 2;
                            *(__global int32_t *) &mem_44230[(3 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 6;
                            *(__global int32_t *) &mem_44230[(4 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 7;
                            *(__global int32_t *) &mem_44230[(5 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 8;
                            *(__global int32_t *) &mem_44230[(6 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 9;
                            *(__global int32_t *) &mem_44230[(7 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 10;
                            *(__global int32_t *) &mem_44230[(8 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 11;
                            *(__global int32_t *) &mem_44230[(9 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 12;
                            *(__global int32_t *) &mem_44230[(10 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 22;
                            *(__global int32_t *) &mem_44230[(11 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 23;
                            *(__global int32_t *) &mem_44230[(12 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 24;
                            *(__global int32_t *) &mem_44230[(13 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 25;
                            *(__global int32_t *) &mem_44230[(14 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 26;
                            *(__global int32_t *) &mem_44230[(15 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 27;
                            *(__global int32_t *) &mem_44230[(16 *
                                                              num_threads_42258 +
                                                              global_tid_42294) *
                                                             4] = 28;
                            x_44192 = x_42310 * 17;
                            i_44193 = sdiv32(x_44192, 110);
                            res_44194 = *(__global
                                          int32_t *) &mem_44230[(i_44193 *
                                                                 num_threads_42258 +
                                                                 global_tid_42294) *
                                                                4];
                            res_44190 = res_44194;
                        } else {
                            res_44190 = res_44171;
                        }
                        res_44186 = res_44190;
                    }
                    res_44182 = res_44186;
                }
                res_44177 = res_44182;
            }
            res_44173 = res_44177;
        }
    }
    if (thread_active_44270) {
        *(__global int32_t *) &mem_44233[(gtid_42286 * w_36410 + gtid_42287) *
                                         4] = res_44173;
    }
}