constant default_min_val = -1e9 : double_type, hidden;
constant default_max_val = +1e9 : double_type, hidden;

concept param_value_min(default_min_val) {
    -150 = { pid=165; }
    -100 = { pid=166; }
    0 = { pid=260260; }
    0 = { pid=228028; }
    0 = { pid=49; }
    0 = { pid=207; }
    25 = { pid=168; }
    0 = { pid=260242; }
    160 = { pid=167; }
    0 = { pid=260509; }
    5 = { pid=151175; }
    0 = { pid=260257; }
    0 = { pid=59; }
    -60000 = { pid=228001; }
    0 = { pid=151163; }
    -3.5 = { pid=151131; }
    -10 = { pid=260259; }
    -13000 = { pid=129; }
    -1300 = { pid=156; }
    0 = { pid=3075; }
    0 = { pid=172; }
    -0.05 = { pid=3062; }
    0 = { pid=260210; }
    0 = { pid=3073; }
    160 = { pid=121; }
    85000 = { pid=151; }
    270 = { pid=151126; }
    -1 = { pid=140230; }
    0 = { pid=140221; }
    0 = { pid=3074; }
    150 = { pid=122; }
    0 = { pid=140214; }
    -3.5 = { pid=151132; }
    0 = { pid=151225; }
    -1300 = { pid=228002; }
    0 = { pid=140231; }
    0 = { pid=260430; }
    170 = { pid=3; }
    -1 = { pid=60; }
    100 = { pid=54; }
    0 = { pid=157; }
    -4 = { pid=151145; }
    0 = { pid=151219; }
    160 = { pid=34; }
    0 = { pid=31; }
    0 = { pid=174098; }
    0 = { pid=140229; }
    120 = { pid=235; }
    20 = { pid=228032; }
    10 = { pid=33; }
    0 = { pid=3066; }
    -1e-10 = { pid=228141; }
    0.005 = { pid=260367; }
    -1000 = { pid=260364; }
    0 = { pid=228039; }
    0 = { pid=228087; }
    -20 = { pid=228086; }
    170 = { pid=260360; }
    170 = { pid=228139; }
    170 = { pid=228096; }
    170 = { pid=228095; }
    0 = { pid=43; }
    0 = { pid=247; }
    0 = { pid=246; }
    -0.1 = { pid=133; }
    0 = { pid=189; }
    43000 = { pid=134; }
    0 = { pid=173; }
    140 = { pid=130; }
    -3 = { pid=260057; }
    -50 = { pid=136; }
    -250 = { pid=131; }
    -250 = { pid=132; }
    -30 = { pid=135; }
    0 = { pid=260199; }
    0 = { pid=3031; }
    0 = { pid=10; }
} : double_type, hidden;

concept param_value_max(default_max_val) {
    150 = { pid=165; }
    100 = { pid=166; }
    360.1 = { pid=260260; }
    140 = { pid=228028; }
    100 = { pid=49; }
    300 = { pid=207; }
    350 = { pid=168; }
    160 = { pid=260242; }
    370 = { pid=167; }
    100 = { pid=260509; }
    50 = { pid=151175; }
    100 = { pid=260257; }
    40000 = { pid=59; }
    5 = { pid=228001; }
    1500 = { pid=151163; }
    3.5 = { pid=151131; }
    5 = { pid=260259; }
    350000 = { pid=129; }
    35000 = { pid=156; }
    100 = { pid=3075; }
    1 = { pid=172; }
    130 = { pid=3062; }
    1 = { pid=260210; }
    100 = { pid=3073; }
    380 = { pid=121; }
    125000 = { pid=151; }
    308 = { pid=151126; }
    360.5 = { pid=140230; }
    35 = { pid=140221; }
    100 = { pid=3074; }
    330 = { pid=122; }
    35 = { pid=140214; }
    3.5 = { pid=151132; }
    4000 = { pid=151225; }
    8888 = { pid=228002; }
    50 = { pid=140231; }
    30 = { pid=260430; }
    1200 = { pid=3; }
    1 = { pid=60; }
    108000 = { pid=54; }
    180 = { pid=157; }
    4 = { pid=151145; }
    50 = { pid=151219; }
    320 = { pid=34; }
    1.001 = { pid=31; }
    15 = { pid=174098; }
    35 = { pid=140229; }
    380 = { pid=235; }
    100 = { pid=228032; }
    1000 = { pid=33; }
    5 = { pid=3066; }
    15000 = { pid=228141; }
    100 = { pid=260367; }
    1000 = { pid=260364; }
    2000 = { pid=228039; }
    2000 = { pid=228087; }
    2000 = { pid=228086; }
    350 = { pid=260360; }
    350 = { pid=228139; }
    350 = { pid=228096; }
    350 = { pid=228095; }
    10 = { pid=43; }
    0.01 = { pid=247; }
    1e+06 = { pid=246; }
    0.1 = { pid=133; }
    3600 = { pid=189; }
    115000 = { pid=134; }
    10 = { pid=173; }
    400 = { pid=130; }
    150 = { pid=260057; }
    220 = { pid=136; }
    250 = { pid=131; }
    250 = { pid=132; }
    30 = { pid=135; }
    1 = { pid=260199; }
    360.1 = { pid=3031; }
    300 = { pid=10; }
} : double_type, hidden;