function initGlobals499() { 
}


function main256() { 
    initGlobals499();
    init_test148();
}


function config732() { 
}


function init_test148() { 
    local integer a_a183
    local integer a_b202
    local integer a_c832
    local integer b_a182
    local integer b_b141
    local integer b_c139
    local integer c_a128
    local integer c_b167
    local integer c_c904
    local integer tuple_temp214
    local integer tuple_temp397
    local integer tuple_temp650
    local integer tuple_temp645
    local integer tuple_temp949
    local integer tuple_temp152
    local integer tuple_temp134
    local integer tuple_temp378
    local integer tuple_temp100
    tuple_temp_214 = 1;
    tuple_temp_397 = 2;
    tuple_temp_650 = 3;
    a_a_183 = tuple_temp_214;
    a_b_202 = tuple_temp_397;
    a_c_832 = tuple_temp_650;
    tuple_temp_645 = 1;
    tuple_temp_949 = 2;
    tuple_temp_152 = 3;
    b_a_182 = tuple_temp_645;
    b_b_141 = tuple_temp_949;
    b_c_139 = tuple_temp_152;
    tuple_temp_134 = 1;
    tuple_temp_378 = 1;
    tuple_temp_100 = 3;
    c_a_128 = tuple_temp_134;
    c_b_167 = tuple_temp_378;
    c_c_904 = tuple_temp_100;
    if ((((a_a_183 == b_a_182) and (a_b_202 == b_b_141)) and (a_c_832 == b_c_139)) and (not (((b_a_182 == c_a_128) and (b_b_141 == c_b_167)) and (b_c_139 == c_c_904)))) {
        testSuccess490();
    } else {
    };
}


IS_NATIVE function testSuccess490() { 
}