function initGlobals133() { 
}


function main194() { 
    initGlobals133();
    init_test870();
}


function config207() { 
}


function init_test870() { 
    local integer a_a110
    local integer a_b382
    local integer a_c156
    local integer b_a118
    local integer b_b392
    local integer b_c347
    local integer c_a116
    local integer c_b495
    local integer c_c701
    local integer tuple_temp606
    local integer tuple_temp124
    local integer tuple_temp142
    local integer tuple_temp768
    local integer tuple_temp192
    local integer tuple_temp187
    local integer tuple_temp749
    local integer tuple_temp526
    local integer tuple_temp122
    tuple_temp_606 = 1;
    tuple_temp_124 = 2;
    tuple_temp_142 = 3;
    a_a_110 = tuple_temp_606;
    a_b_382 = tuple_temp_124;
    a_c_156 = tuple_temp_142;
    tuple_temp_768 = 1;
    tuple_temp_192 = 2;
    tuple_temp_187 = 3;
    b_a_118 = tuple_temp_768;
    b_b_392 = tuple_temp_192;
    b_c_347 = tuple_temp_187;
    tuple_temp_749 = 1;
    tuple_temp_526 = 1;
    tuple_temp_122 = 3;
    c_a_116 = tuple_temp_749;
    c_b_495 = tuple_temp_526;
    c_c_701 = tuple_temp_122;
    if ((((a_a_110 == b_a_118) and (a_b_382 == b_b_392)) and (a_c_156 == b_c_347)) and (not (((b_a_118 == c_a_116) and (b_b_392 == c_b_495)) and (b_c_347 == c_c_701)))) {
        testSuccess531();
    } else {
    };
}


IS_NATIVE function testSuccess531() { 
}