<s> EXECUTORSERVICE_SHUTDOWN = <NUM_LIT> <EOL> EXECUTORSERVICE_ISSHUTDOWN = <NUM_LIT> <EOL> EXECUTORSERVICE_CANCELONPARTITION = <NUM_LIT> <EOL> EXECUTORSERVICE_CANCELONADDRESS = <NUM_LIT> <EOL> EXECUTORSERVICE_SUBMITTOPARTITION = <NUM_LIT> <EOL> EXECUTORSERVICE_SUBMITTOADDRESS = <NUM_LIT> </s>
