function initGlobals606() { 
}


function main768() { 
    local integer a_a175
    local integer a_b196
    local integer a_c876
    local integer b_a448
    local integer b_b157
    local integer b_c132
    local integer c_a916
    local integer c_b164
    local integer c_c168
    local integer tuple_temp172
    local integer tuple_temp728
    local integer tuple_temp206
    local integer tuple_temp210
    local integer tuple_temp137
    local integer tuple_temp806
    local integer tuple_temp127
    local integer tuple_temp935
    local integer tuple_temp147
    initGlobals606();
    tuple_temp_172 = 1;
    tuple_temp_728 = 2;
    tuple_temp_206 = 3;
    a_a_175 = tuple_temp_172;
    a_b_196 = tuple_temp_728;
    a_c_876 = tuple_temp_206;
    tuple_temp_210 = 1;
    tuple_temp_137 = 2;
    tuple_temp_806 = 3;
    b_a_448 = tuple_temp_210;
    b_b_157 = tuple_temp_137;
    b_c_132 = tuple_temp_806;
    tuple_temp_127 = 1;
    tuple_temp_935 = 1;
    tuple_temp_147 = 3;
    c_a_916 = tuple_temp_127;
    c_b_164 = tuple_temp_935;
    c_c_168 = tuple_temp_147;
    if ((((a_a_175 == b_a_448) and (a_b_196 == b_b_157)) and (a_c_876 == b_c_132)) and (not (((b_a_448 == c_a_916) and (b_b_157 == c_b_164)) and (b_c_132 == c_c_168)))) {
        testSuccess142();
    } else {
    };
}


function config187() { 
}


IS_NATIVE function testSuccess142() { 
}