function initGlobals121() { 
}


function main127() { 
    local integer a_a193
    local integer a_b210
    local integer a_c278
    local integer b_a129
    local integer b_b155
    local integer b_c189
    local integer c_a899
    local integer c_b846
    local integer c_c206
    local integer tuple_temp303
    local integer tuple_temp114
    local integer tuple_temp191
    local integer tuple_temp681
    local integer tuple_temp131
    local integer tuple_temp128
    local integer tuple_temp139
    local integer tuple_temp178
    local integer tuple_temp167
    initGlobals121();
    tuple_temp_303 = 1;
    tuple_temp_114 = 2;
    tuple_temp_191 = 3;
    a_a_193 = tuple_temp_303;
    a_b_210 = tuple_temp_114;
    a_c_278 = tuple_temp_191;
    tuple_temp_681 = 1;
    tuple_temp_131 = 2;
    tuple_temp_128 = 3;
    b_a_129 = tuple_temp_681;
    b_b_155 = tuple_temp_131;
    b_c_189 = tuple_temp_128;
    tuple_temp_139 = 1;
    tuple_temp_178 = 1;
    tuple_temp_167 = 3;
    c_a_899 = tuple_temp_139;
    c_b_846 = tuple_temp_178;
    c_c_206 = tuple_temp_167;
    if ((((a_a_193 != c_a_899) or (a_b_210 != c_b_846)) or (a_c_278 != c_c_206)) and (not (((a_a_193 != b_a_129) or (a_b_210 != b_b_155)) or (a_c_278 != b_c_189)))) {
        testSuccess140();
    } else {
    };
}


function config157() { 
}


IS_NATIVE function testSuccess140() { 
}