% A list of values for the numeric symbols used in the library

% Needed for module TIME
numeric_symbol MaxTime=9

% Needed for module TRANSFER
numeric_symbol MaxAmount=9

% Needed for module BUY
numeric_symbol MaxPrice=5
