úÎÐÁc      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_` a b None !"(3=BHKM        None !"(3=BHKM    None !"(3=BHKM >The upper bound of two kinds is real, unless both are integral>The upper bound of two kinds is real, unless both are integral CThe kind of a linear function: it can be integral (Z) or real (R).#KAny linear function can be made into a real, as it is the upper bound / top$Integral variable%$Integral variable with coefficient 1& Real variable' Real variable with coefficient 1(An integral constant,=Negate a linear function. Negation does not change the kind. !"#$%&'()*+,-./012 !"#$%&'()*+,-./012 "!#$%&'()*+,-./012 "!#$%&'()*+,-./012-./0None !"(3=BHKM 3456789:;<=> 3456789:;<= 3<;:987654=>3 <;:987654=>5689:;<None !"(3=BHKM ?@ABCDEFGHIJK ?@ABCDEFGHIJK EGF?@ABCDKJIH?@ABCDEGFHIJK None !"(3=BHKM; !"#$%&'()*+,-./0123456789:;<=?@ABCDEFGHIJKNone !"(3=BHKMLMNOPLMNOPLMNOPLMNOPNone !"(3=BHKMQRSTUVQRSTUVSTQRUVQRSTUVNone !"(3=BHKM WXYZ[\]^_ WXYZ[\]^_ WXYZ[^]\_WXYZ[\]^_ None !"(3=BHKM`ab`ab`ab`ab None !"(3=BHKMLMNOPQRSTUVWXYZ[\]^_`abc    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHHIJKLMNOPQRS&&T;UVW<<FXHHIKLPQSY Z [ \] limp-0.1.0.0Numeric.Limp.RepNumeric.Limp.Program.BoundsNumeric.Limp.Program.LinearNumeric.Limp.Program.ConstraintNumeric.Limp.Program.ProgramNumeric.Limp.Canon.LinearNumeric.Limp.Canon.ConstraintNumeric.Limp.Canon.ProgramNumeric.Limp.Canon.ConvertNumeric.Limp.ProgramNumeric.Limp.Canon IntDouble AssignmentRepZRfromZzOfrOfzrOfunwrapRTFCo:R:ZIntDoubleTFCo:R:RIntDouble$fRepIntDoubleBBoundsBoundRBoundZ lowerUpperZlowerZupperZbinary lowerUpperRlowerRupperRKRepKMergeLinearLRLZKKRKZtoRzz1rr1conc0c1on2neg.**..+..-.evalevalR ConstraintCTrue:!:&&Between:>:>=:<:<=:==check$fMonoidConstraintProgram _objective _direction _constraints_bounds DirectionMaximiseMinimisebounds constraints direction objectivemkLinear varsOfLinear Constraint1C1varsOfConstraint varsOfProgramlinear constraintprogram