# Transformation from a corresponding .mc file. Remember that objective values must be negated. 60 945 1 1 -28.000000 2 2 -30.000000 3 3 -30.000000 4 4 -30.000000 5 5 -34.000000 6 6 -28.000000 7 7 -22.000000 8 8 -19.000000 9 9 -36.000000 10 10 -27.000000 11 11 -29.000000 12 12 -32.000000 13 13 -25.000000 14 14 -27.000000 15 15 -29.000000 16 16 -36.000000 17 17 -26.000000 18 18 -33.000000 19 19 -31.000000 20 20 -31.000000 21 21 -31.000000 22 22 -24.000000 23 23 -34.000000 24 24 -24.000000 25 25 -31.000000 26 26 -29.000000 27 27 -32.000000 28 28 -33.000000 29 29 -27.000000 30 30 -23.000000 31 31 -29.000000 32 32 -33.000000 33 33 -36.000000 34 34 -32.000000 35 35 -31.000000 36 36 -30.000000 37 37 -28.000000 38 38 -23.000000 39 39 -28.000000 40 40 -33.000000 41 41 -30.000000 42 42 -28.000000 43 43 -34.000000 44 44 -24.000000 45 45 -34.000000 46 46 -37.000000 47 47 -30.000000 48 48 -30.000000 49 49 -33.000000 50 50 -27.000000 51 51 -32.000000 52 52 -26.000000 53 53 -22.000000 54 54 -19.000000 55 55 -27.000000 56 56 -37.000000 57 57 -34.000000 58 58 -30.000000 59 59 -32.000000 60 60 -30.000000 1 18 2.000000 1 59 2.000000 1 32 2.000000 1 30 2.000000 1 12 2.000000 1 26 2.000000 1 58 2.000000 1 11 2.000000 1 33 2.000000 1 34 2.000000 1 19 2.000000 1 16 2.000000 1 28 2.000000 1 14 2.000000 1 55 2.000000 1 10 2.000000 1 23 2.000000 1 46 2.000000 1 5 2.000000 1 47 2.000000 1 57 2.000000 1 56 2.000000 1 36 2.000000 1 20 2.000000 1 21 2.000000 1 51 2.000000 1 15 2.000000 1 39 2.000000 2 59 2.000000 2 46 2.000000 2 54 2.000000 2 40 2.000000 2 34 2.000000 2 11 2.000000 2 23 2.000000 2 56 2.000000 2 52 2.000000 2 10 2.000000 2 20 2.000000 2 32 2.000000 2 26 2.000000 2 37 2.000000 2 53 2.000000 2 3 2.000000 2 19 2.000000 2 42 2.000000 2 5 2.000000 2 7 2.000000 2 35 2.000000 2 41 2.000000 2 36 2.000000 2 50 2.000000 2 28 2.000000 2 31 2.000000 2 29 2.000000 2 49 2.000000 2 12 2.000000 2 38 2.000000 3 28 2.000000 3 18 2.000000 3 33 2.000000 3 47 2.000000 3 48 2.000000 3 49 2.000000 3 13 2.000000 3 8 2.000000 3 45 2.000000 3 37 2.000000 3 41 2.000000 3 50 2.000000 3 60 2.000000 3 43 2.000000 3 12 2.000000 3 32 2.000000 3 5 2.000000 3 27 2.000000 3 51 2.000000 3 38 2.000000 3 10 2.000000 3 34 2.000000 3 40 2.000000 3 26 2.000000 3 9 2.000000 3 58 2.000000 3 25 2.000000 3 46 2.000000 3 59 2.000000 4 24 2.000000 4 9 2.000000 4 5 2.000000 4 33 2.000000 4 13 2.000000 4 38 2.000000 4 41 2.000000 4 58 2.000000 4 39 2.000000 4 14 2.000000 4 25 2.000000 4 49 2.000000 4 22 2.000000 4 37 2.000000 4 7 2.000000 4 34 2.000000 4 59 2.000000 4 31 2.000000 4 16 2.000000 4 50 2.000000 4 15 2.000000 4 55 2.000000 4 45 2.000000 4 6 2.000000 4 30 2.000000 4 43 2.000000 4 18 2.000000 4 27 2.000000 4 26 2.000000 4 21 2.000000 5 10 2.000000 5 45 2.000000 5 12 2.000000 5 32 2.000000 5 20 2.000000 5 8 2.000000 5 16 2.000000 5 56 2.000000 5 54 2.000000 5 21 2.000000 5 37 2.000000 5 19 2.000000 5 14 2.000000 5 28 2.000000 5 34 2.000000 5 38 2.000000 5 52 2.000000 5 51 2.000000 5 13 2.000000 5 27 2.000000 5 43 2.000000 5 23 2.000000 5 39 2.000000 5 6 2.000000 5 55 2.000000 5 15 2.000000 5 33 2.000000 5 50 2.000000 5 49 2.000000 5 17 2.000000 6 18 2.000000 6 19 2.000000 6 57 2.000000 6 59 2.000000 6 46 2.000000 6 33 2.000000 6 22 2.000000 6 36 2.000000 6 8 2.000000 6 15 2.000000 6 9 2.000000 6 17 2.000000 6 53 2.000000 6 31 2.000000 6 42 2.000000 6 30 2.000000 6 37 2.000000 6 10 2.000000 6 29 2.000000 6 51 2.000000 6 14 2.000000 6 49 2.000000 6 50 2.000000 6 39 2.000000 6 45 2.000000 6 58 2.000000 7 13 2.000000 7 45 2.000000 7 27 2.000000 7 56 2.000000 7 55 2.000000 7 60 2.000000 7 31 2.000000 7 52 2.000000 7 26 2.000000 7 35 2.000000 7 40 2.000000 7 9 2.000000 7 59 2.000000 7 11 2.000000 7 32 2.000000 7 46 2.000000 7 17 2.000000 7 48 2.000000 7 23 2.000000 7 50 2.000000 8 36 2.000000 8 11 2.000000 8 25 2.000000 8 19 2.000000 8 45 2.000000 8 27 2.000000 8 46 2.000000 8 43 2.000000 8 52 2.000000 8 21 2.000000 8 31 2.000000 8 26 2.000000 8 60 2.000000 8 28 2.000000 8 13 2.000000 8 48 2.000000 9 44 2.000000 9 52 2.000000 9 49 2.000000 9 33 2.000000 9 25 2.000000 9 47 2.000000 9 60 2.000000 9 58 2.000000 9 48 2.000000 9 27 2.000000 9 22 2.000000 9 45 2.000000 9 34 2.000000 9 29 2.000000 9 54 2.000000 9 26 2.000000 9 39 2.000000 9 59 2.000000 9 20 2.000000 9 16 2.000000 9 57 2.000000 9 19 2.000000 9 10 2.000000 9 12 2.000000 9 40 2.000000 9 46 2.000000 9 14 2.000000 9 18 2.000000 9 37 2.000000 9 56 2.000000 9 17 2.000000 9 51 2.000000 10 14 2.000000 10 43 2.000000 10 27 2.000000 10 41 2.000000 10 32 2.000000 10 42 2.000000 10 60 2.000000 10 45 2.000000 10 36 2.000000 10 56 2.000000 10 29 2.000000 10 28 2.000000 10 23 2.000000 10 53 2.000000 10 20 2.000000 10 40 2.000000 10 22 2.000000 10 25 2.000000 10 30 2.000000 10 39 2.000000 10 49 2.000000 11 53 2.000000 11 28 2.000000 11 59 2.000000 11 27 2.000000 11 60 2.000000 11 33 2.000000 11 42 2.000000 11 57 2.000000 11 32 2.000000 11 50 2.000000 11 46 2.000000 11 16 2.000000 11 47 2.000000 11 15 2.000000 11 49 2.000000 11 17 2.000000 11 51 2.000000 11 52 2.000000 11 43 2.000000 11 24 2.000000 11 56 2.000000 11 13 2.000000 11 44 2.000000 11 21 2.000000 11 20 2.000000 12 36 2.000000 12 17 2.000000 12 23 2.000000 12 31 2.000000 12 39 2.000000 12 52 2.000000 12 37 2.000000 12 33 2.000000 12 14 2.000000 12 15 2.000000 12 55 2.000000 12 58 2.000000 12 43 2.000000 12 38 2.000000 12 50 2.000000 12 57 2.000000 12 54 2.000000 12 49 2.000000 12 27 2.000000 12 28 2.000000 12 24 2.000000 12 32 2.000000 12 40 2.000000 12 60 2.000000 12 45 2.000000 12 25 2.000000 12 26 2.000000 13 58 2.000000 13 41 2.000000 13 50 2.000000 13 46 2.000000 13 18 2.000000 13 26 2.000000 13 51 2.000000 13 17 2.000000 13 47 2.000000 13 19 2.000000 13 55 2.000000 13 21 2.000000 13 15 2.000000 13 28 2.000000 13 34 2.000000 13 52 2.000000 13 32 2.000000 13 22 2.000000 13 44 2.000000 14 21 2.000000 14 23 2.000000 14 41 2.000000 14 26 2.000000 14 37 2.000000 14 47 2.000000 14 50 2.000000 14 30 2.000000 14 20 2.000000 14 32 2.000000 14 35 2.000000 14 16 2.000000 14 27 2.000000 14 42 2.000000 14 54 2.000000 14 34 2.000000 14 60 2.000000 14 28 2.000000 14 59 2.000000 14 29 2.000000 15 41 2.000000 15 31 2.000000 15 50 2.000000 15 24 2.000000 15 52 2.000000 15 58 2.000000 15 21 2.000000 15 33 2.000000 15 35 2.000000 15 39 2.000000 15 20 2.000000 15 44 2.000000 15 43 2.000000 15 53 2.000000 15 16 2.000000 15 23 2.000000 15 57 2.000000 15 49 2.000000 15 27 2.000000 15 28 2.000000 15 34 2.000000 15 30 2.000000 16 51 2.000000 16 19 2.000000 16 23 2.000000 16 56 2.000000 16 24 2.000000 16 57 2.000000 16 60 2.000000 16 41 2.000000 16 47 2.000000 16 35 2.000000 16 32 2.000000 16 30 2.000000 16 34 2.000000 16 33 2.000000 16 28 2.000000 16 17 2.000000 16 44 2.000000 16 31 2.000000 16 48 2.000000 16 36 2.000000 16 21 2.000000 16 39 2.000000 16 49 2.000000 16 50 2.000000 16 46 2.000000 16 43 2.000000 16 45 2.000000 16 52 2.000000 16 40 2.000000 17 45 2.000000 17 57 2.000000 17 49 2.000000 17 52 2.000000 17 28 2.000000 17 23 2.000000 17 37 2.000000 17 46 2.000000 17 59 2.000000 17 33 2.000000 17 35 2.000000 17 31 2.000000 17 25 2.000000 17 56 2.000000 17 48 2.000000 17 36 2.000000 17 47 2.000000 17 32 2.000000 18 56 2.000000 18 26 2.000000 18 19 2.000000 18 25 2.000000 18 33 2.000000 18 41 2.000000 18 55 2.000000 18 38 2.000000 18 43 2.000000 18 22 2.000000 18 36 2.000000 18 40 2.000000 18 59 2.000000 18 32 2.000000 18 21 2.000000 18 27 2.000000 18 28 2.000000 18 31 2.000000 18 51 2.000000 18 57 2.000000 18 46 2.000000 18 34 2.000000 18 39 2.000000 18 44 2.000000 18 47 2.000000 18 35 2.000000 18 20 2.000000 19 49 2.000000 19 28 2.000000 19 43 2.000000 19 31 2.000000 19 45 2.000000 19 32 2.000000 19 21 2.000000 19 24 2.000000 19 55 2.000000 19 47 2.000000 19 27 2.000000 19 42 2.000000 19 56 2.000000 19 33 2.000000 19 54 2.000000 19 23 2.000000 19 40 2.000000 19 30 2.000000 19 59 2.000000 19 26 2.000000 19 39 2.000000 19 44 2.000000 20 36 2.000000 20 49 2.000000 20 58 2.000000 20 43 2.000000 20 33 2.000000 20 39 2.000000 20 34 2.000000 20 56 2.000000 20 28 2.000000 20 32 2.000000 20 31 2.000000 20 48 2.000000 20 45 2.000000 20 51 2.000000 20 50 2.000000 20 42 2.000000 20 44 2.000000 20 40 2.000000 20 37 2.000000 20 27 2.000000 20 47 2.000000 20 46 2.000000 21 47 2.000000 21 26 2.000000 21 41 2.000000 21 45 2.000000 21 36 2.000000 21 40 2.000000 21 25 2.000000 21 51 2.000000 21 39 2.000000 21 37 2.000000 21 50 2.000000 21 38 2.000000 21 32 2.000000 21 22 2.000000 21 43 2.000000 21 60 2.000000 21 24 2.000000 21 58 2.000000 21 34 2.000000 21 42 2.000000 22 58 2.000000 22 56 2.000000 22 44 2.000000 22 46 2.000000 22 48 2.000000 22 45 2.000000 22 35 2.000000 22 49 2.000000 22 37 2.000000 22 41 2.000000 22 52 2.000000 22 28 2.000000 22 33 2.000000 22 42 2.000000 22 36 2.000000 22 29 2.000000 22 55 2.000000 23 55 2.000000 23 29 2.000000 23 30 2.000000 23 49 2.000000 23 26 2.000000 23 45 2.000000 23 50 2.000000 23 59 2.000000 23 31 2.000000 23 43 2.000000 23 24 2.000000 23 32 2.000000 23 46 2.000000 23 28 2.000000 23 56 2.000000 23 33 2.000000 23 27 2.000000 23 25 2.000000 23 47 2.000000 23 60 2.000000 23 48 2.000000 23 54 2.000000 23 57 2.000000 24 25 2.000000 24 34 2.000000 24 27 2.000000 24 46 2.000000 24 51 2.000000 24 41 2.000000 24 43 2.000000 24 56 2.000000 24 55 2.000000 24 54 2.000000 24 39 2.000000 24 38 2.000000 24 32 2.000000 24 59 2.000000 24 44 2.000000 24 40 2.000000 25 41 2.000000 25 49 2.000000 25 39 2.000000 25 51 2.000000 25 28 2.000000 25 32 2.000000 25 55 2.000000 25 48 2.000000 25 38 2.000000 25 40 2.000000 25 35 2.000000 25 45 2.000000 25 50 2.000000 25 44 2.000000 25 42 2.000000 25 59 2.000000 25 43 2.000000 25 31 2.000000 25 37 2.000000 25 29 2.000000 26 32 2.000000 26 35 2.000000 26 29 2.000000 26 45 2.000000 26 46 2.000000 26 43 2.000000 26 48 2.000000 26 27 2.000000 26 42 2.000000 26 41 2.000000 26 28 2.000000 26 40 2.000000 26 50 2.000000 26 38 2.000000 26 47 2.000000 27 51 2.000000 27 33 2.000000 27 47 2.000000 27 52 2.000000 27 46 2.000000 27 36 2.000000 27 60 2.000000 27 57 2.000000 27 50 2.000000 27 28 2.000000 27 38 2.000000 27 48 2.000000 27 35 2.000000 27 44 2.000000 27 54 2.000000 28 36 2.000000 28 33 2.000000 28 55 2.000000 28 31 2.000000 28 49 2.000000 28 42 2.000000 28 48 2.000000 28 30 2.000000 28 37 2.000000 28 39 2.000000 28 59 2.000000 28 43 2.000000 29 48 2.000000 29 33 2.000000 29 40 2.000000 29 46 2.000000 29 36 2.000000 29 41 2.000000 29 56 2.000000 29 55 2.000000 29 32 2.000000 29 45 2.000000 29 30 2.000000 29 57 2.000000 29 53 2.000000 29 51 2.000000 29 39 2.000000 29 60 2.000000 29 52 2.000000 29 43 2.000000 30 41 2.000000 30 34 2.000000 30 56 2.000000 30 38 2.000000 30 51 2.000000 30 46 2.000000 30 58 2.000000 30 50 2.000000 30 48 2.000000 30 40 2.000000 30 55 2.000000 30 57 2.000000 31 59 2.000000 31 40 2.000000 31 34 2.000000 31 48 2.000000 31 57 2.000000 31 38 2.000000 31 45 2.000000 31 32 2.000000 31 36 2.000000 31 42 2.000000 31 43 2.000000 31 33 2.000000 31 35 2.000000 31 56 2.000000 32 41 2.000000 32 49 2.000000 32 43 2.000000 32 58 2.000000 32 44 2.000000 32 34 2.000000 32 60 2.000000 32 50 2.000000 32 42 2.000000 32 56 2.000000 32 33 2.000000 33 59 2.000000 33 60 2.000000 33 37 2.000000 33 56 2.000000 33 55 2.000000 33 38 2.000000 33 35 2.000000 33 46 2.000000 33 53 2.000000 33 49 2.000000 33 41 2.000000 33 45 2.000000 33 48 2.000000 33 43 2.000000 33 52 2.000000 34 58 2.000000 34 39 2.000000 34 40 2.000000 34 56 2.000000 34 55 2.000000 34 51 2.000000 34 35 2.000000 34 50 2.000000 34 37 2.000000 34 42 2.000000 34 53 2.000000 34 57 2.000000 34 38 2.000000 34 36 2.000000 34 48 2.000000 35 40 2.000000 35 48 2.000000 35 56 2.000000 35 51 2.000000 35 41 2.000000 35 39 2.000000 35 42 2.000000 35 38 2.000000 35 46 2.000000 35 58 2.000000 35 57 2.000000 35 49 2.000000 35 45 2.000000 35 47 2.000000 35 52 2.000000 35 53 2.000000 35 59 2.000000 36 49 2.000000 36 51 2.000000 36 53 2.000000 36 37 2.000000 36 57 2.000000 36 46 2.000000 36 45 2.000000 36 47 2.000000 36 60 2.000000 36 52 2.000000 36 39 2.000000 36 48 2.000000 36 43 2.000000 37 59 2.000000 37 52 2.000000 37 40 2.000000 37 44 2.000000 37 54 2.000000 37 43 2.000000 37 42 2.000000 37 58 2.000000 37 47 2.000000 37 56 2.000000 37 51 2.000000 38 56 2.000000 38 60 2.000000 38 59 2.000000 38 40 2.000000 38 51 2.000000 38 44 2.000000 38 39 2.000000 39 57 2.000000 39 40 2.000000 39 42 2.000000 39 58 2.000000 39 49 2.000000 39 44 2.000000 39 56 2.000000 40 49 2.000000 40 53 2.000000 40 57 2.000000 40 45 2.000000 40 58 2.000000 40 59 2.000000 40 52 2.000000 40 41 2.000000 40 43 2.000000 40 55 2.000000 40 51 2.000000 41 51 2.000000 41 59 2.000000 41 54 2.000000 41 47 2.000000 41 55 2.000000 41 46 2.000000 41 58 2.000000 41 56 2.000000 41 42 2.000000 41 45 2.000000 42 56 2.000000 42 57 2.000000 42 60 2.000000 42 45 2.000000 42 58 2.000000 42 47 2.000000 42 44 2.000000 42 46 2.000000 42 49 2.000000 43 46 2.000000 43 51 2.000000 43 56 2.000000 43 49 2.000000 43 58 2.000000 43 53 2.000000 43 55 2.000000 43 47 2.000000 43 59 2.000000 44 60 2.000000 44 46 2.000000 44 50 2.000000 44 47 2.000000 44 48 2.000000 44 58 2.000000 44 45 2.000000 45 60 2.000000 45 57 2.000000 45 53 2.000000 45 50 2.000000 45 58 2.000000 45 51 2.000000 45 46 2.000000 46 57 2.000000 46 56 2.000000 46 47 2.000000 46 60 2.000000 46 55 2.000000 46 49 2.000000 46 58 2.000000 46 53 2.000000 46 51 2.000000 47 59 2.000000 47 52 2.000000 47 56 2.000000 47 51 2.000000 47 57 2.000000 47 54 2.000000 47 60 2.000000 48 59 2.000000 48 53 2.000000 48 57 2.000000 48 52 2.000000 48 60 2.000000 48 54 2.000000 48 55 2.000000 48 58 2.000000 48 49 2.000000 49 53 2.000000 49 55 2.000000 49 56 2.000000 49 52 2.000000 49 57 2.000000 50 60 2.000000 50 57 2.000000 50 59 2.000000 50 54 2.000000 51 54 2.000000 51 57 2.000000 51 52 2.000000 51 59 2.000000 51 55 2.000000 52 53 2.000000 52 57 2.000000 52 58 2.000000 53 55 2.000000 53 59 2.000000 53 60 2.000000 53 56 2.000000 53 57 2.000000 54 56 2.000000 54 58 2.000000 54 57 2.000000 54 60 2.000000 55 59 2.000000 55 57 2.000000 56 60 2.000000 56 58 2.000000 56 59 2.000000 56 57 2.000000 57 58 2.000000 57 60 2.000000 58 60 2.000000 59 60 2.000000