function initGlobals156() { 
}


function main205() { 
    initGlobals156();
    init_Test212();
}


function config347() { 
}


function init_Test212() { 
    if foo986(852478) {
        testSuccess671();
    } else {
    };
}


function foo986(integer x826) returns boolean { 
    return (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((x_826 == 1) or (x_826 == 852056)) or (x_826 == 852064)) or (x_826 == 852065)) or (x_826 == 852067)) or (x_826 == 852068)) or (x_826 == 852076)) or (x_826 == 852077)) or (x_826 == 852090)) or (x_826 == 852091)) or (x_826 == 852100)) or (x_826 == 852102)) or (x_826 == 852103)) or (x_826 == 852107)) or (x_826 == 852108)) or (x_826 == 852129)) or (x_826 == 852130)) or (x_826 == 852133)) or (x_826 == 852134)) or (x_826 == 852136)) or (x_826 == 852137)) or (x_826 == 852150)) or (x_826 == 852151)) or (x_826 == 852174)) or (x_826 == 852158)) or (x_826 == 852159)) or (x_826 == 852162)) or (x_826 == 852163)) or (x_826 == 852174)) or (x_826 == 852175)) or (x_826 == 852177)) or (x_826 == 852178)) or (x_826 == 852191)) or (x_826 == 852192)) or (x_826 == 852198)) or (x_826 == 852199)) or (x_826 == 852203)) or (x_826 == 852204)) or (x_826 == 852212)) or (x_826 == 852213)) or (x_826 == 852244)) or (x_826 == 852245)) or (x_826 == 852249)) or (x_826 == 852250)) or (x_826 == 852255)) or (x_826 == 852256)) or (x_826 == 852458)) or (x_826 == 852459)) or (x_826 == 852478)) or (x_826 == 852479)) or (x_826 == 852484)) or (x_826 == 852485)) or (x_826 == 852515)) or (x_826 == 852516)) or (x_826 == 852522)) or (x_826 == 852523)) or (x_826 == 852540)) or (x_826 == 852541)) or (x_826 == 852543)) or (x_826 == 852544)) or (x_826 == 852546)) or (x_826 == 852547)) or (x_826 == 852549)) or (x_826 == 852550)) or (x_826 == 852552)) or (x_826 == 852553)) or (x_826 == 852562)) or (x_826 == 852563)) or (x_826 == 852571)) or (x_826 == 852578)) or (x_826 == 852579)) or (x_826 == 852589)) or (x_826 == 852590)) or (x_826 == 852602)) or (x_826 == 852603)) or (x_826 == 852671)) or (x_826 == 852672));
}


IS_NATIVE function testSuccess671() { 
}