All input will be a sequence of traces defining the functions, binary constraints and area con- straints, in that purchase. Comment traces (starting up with a ‘#’ character) may possibly also look in the file, and your software really should be capable to system and discard these strains. 这也是�