function initGlobals135() { 
}


function main342() { 
    local integer a_a134
    local integer a_b196
    local integer a_c719
    local integer b_a821
    local integer b_b833
    local integer b_c814
    local integer c_a988
    local integer c_b220
    local integer c_c117
    local integer tuple_temp973
    local integer tuple_temp124
    local integer tuple_temp194
    local integer tuple_temp168
    local integer tuple_temp160
    local integer tuple_temp214
    local integer tuple_temp662
    local integer tuple_temp123
    local integer tuple_temp188
    initGlobals135();
    tuple_temp_973 = 1;
    tuple_temp_124 = 2;
    tuple_temp_194 = 3;
    a_a_134 = tuple_temp_973;
    a_b_196 = tuple_temp_124;
    a_c_719 = tuple_temp_194;
    tuple_temp_168 = 1;
    tuple_temp_160 = 2;
    tuple_temp_214 = 3;
    b_a_821 = tuple_temp_168;
    b_b_833 = tuple_temp_160;
    b_c_814 = tuple_temp_214;
    tuple_temp_662 = 1;
    tuple_temp_123 = 1;
    tuple_temp_188 = 3;
    c_a_988 = tuple_temp_662;
    c_b_220 = tuple_temp_123;
    c_c_117 = tuple_temp_188;
    if ((((a_a_134 == b_a_821) and (a_b_196 == b_b_833)) and (a_c_719 == b_c_814)) and (not (((b_a_821 == c_a_988) and (b_b_833 == c_b_220)) and (b_c_814 == c_c_117)))) {
        testSuccess916();
    } else {
    };
}


function config683() { 
}


IS_NATIVE function testSuccess916() { 
}