log "-----------------------------------"
log "		inv0001"
log " master scenario"
log " Valid sequences of primitives"
log "-----------------------------------"
include "inv1001"
include "inv1002"
include "inv1003"
include "inv1004"
include "inv1005"
