LOC EQ_L7 P1 *
LOC EQ_L6 P2 *
LOC EQ_L5 P3 *
LOC EQ_L4 P4 *
LOC EQ_L3 P5 *
LOC EQ_L2 P6 *
LOC EQ_L1 P7 *
LOC EQ_L0 P8 *
LOC GT_L7 P9 *
LOC GT_L6 P10 *
LOC GT_L5 P11 *
LOC GT_L4 P13 *
LOC GT_L3 P14 *
LOC GT_L2 P21 *
LOC GT_L1 P22 *
LOC GT_L0 P23 *
LOC PEQQ P15 *
LOC PNEQ P16 *
LOC PGTQ P17 *
LOC PGEQ P18 *
LOC PLTQ P19 *
LOC PLEQ P20 *
OPTIMIZE * balance *
