war eligible, init =0*DEC0, ev (VARIABLE){1*BIN0,2*DEC3,6*BIN4,
& 5*BIN43,6*DEC32, 
& 5*BIN43,7*DEC32}

##</code><code>##

war eligible, init =0*DEC0, ev (VARIABLE){1*BIN0,2*DEC3,6*BIN4,5*BIN43,6*DEC32, 5*BIN43,7*DEC32} 

##</code><code>##

war wear, init =1*DEC1, ev (VARIABLE) { 
& 1*BIN0,2*DEC3,6*BIN4, 
& 5*BIN43,6*DEC32, 
& 5*BIN43,7*DEC32,6*DEC32,6*DEC3, 
& 8*BIN3,6*DEC34 
}

##</code><code>##

war wear, init =1*DEC1, ev (VARIABLE) { 1*BIN0,2*DEC3,6*BIN4, 5*BIN43,6*DEC32, 5*BIN43,7*DEC32,6*DEC32,6*DEC3, 8*BIN3,6*DEC34 }