Since 5.5 I've been having problems creating smart labels that are dependent on other smart labels. Can you recreate the criteria for the Installed: SEP 12.1.4013.4013 label within the Distribute: SEP 12.1.4013.4013 64-bit search?