c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 110; Distribution: paths; Runs: 30; Seed: 1151601918 c % Paths Distribution Parameters: c % Initial connections: = 2 c % Edge density: = 3.000000 c % Shipping cost factor: = 1.500000 c % Max bid set size: = 5 c % Building penalty: = 1.700000 c c c c PSEUDOBOOLEAN 71898 p wcnf 113 1549 71898 134 1 0 1011 2 0 1011 3 0 1011 4 0 1011 5 0 1011 6 0 649 7 0 649 8 0 649 9 0 649 10 0 498 11 0 498 12 0 432 13 0 450 14 0 450 15 0 450 16 0 450 17 0 303 18 0 128 19 0 983 20 0 983 21 0 983 22 0 983 23 0 983 24 0 675 25 0 675 26 0 675 27 0 675 28 0 675 29 0 154 30 0 154 31 0 344 32 0 1008 33 0 1008 34 0 1008 35 0 1008 36 0 1008 37 0 368 38 0 930 39 0 930 40 0 930 41 0 930 42 0 930 43 0 453 44 0 444 45 0 444 46 0 519 47 0 636 48 0 133 49 0 570 50 0 318 51 0 201 52 0 328 53 0 144 54 0 144 55 0 454 56 0 454 57 0 454 58 0 454 59 0 454 60 0 329 61 0 268 62 0 778 63 0 778 64 0 778 65 0 778 66 0 778 67 0 795 68 0 795 69 0 795 70 0 795 71 0 795 72 0 286 73 0 213 74 0 795 75 0 795 76 0 41 77 0 261 78 0 625 79 0 625 80 0 625 81 0 424 82 0 380 83 0 983 84 0 983 85 0 983 86 0 983 87 0 983 88 0 667 89 0 667 90 0 667 91 0 667 92 0 667 93 0 103 94 0 435 95 0 282 96 0 755 97 0 755 98 0 396 99 0 396 100 0 611 101 0 611 102 0 767 103 0 767 104 0 1064 105 0 651 106 0 620 107 0 124 108 0 946 109 0 946 110 0 946 111 0 946 112 0 946 113 0 71898 -1 -60 0 71898 -1 -87 0 71898 -1 -88 0 71898 -1 -98 0 71898 -2 -3 0 71898 -2 -4 0 71898 -2 -5 0 71898 -2 -16 0 71898 -2 -17 0 71898 -2 -48 0 71898 -2 -64 0 71898 -2 -65 0 71898 -2 -6 0 71898 -3 -4 0 71898 -3 -5 0 71898 -3 -11 0 71898 -3 -12 0 71898 -3 -23 0 71898 -3 -44 0 71898 -3 -45 0 71898 -3 -62 0 71898 -3 -69 0 71898 -3 -70 0 71898 -3 -72 0 71898 -3 -73 0 71898 -3 -81 0 71898 -3 -83 0 71898 -3 -86 0 71898 -3 -87 0 71898 -3 -88 0 71898 -3 -93 0 71898 -3 -102 0 71898 -3 -6 0 71898 -3 -22 0 71898 -3 -80 0 71898 -3 -104 0 71898 -3 -16 0 71898 -3 -17 0 71898 -3 -48 0 71898 -3 -64 0 71898 -3 -65 0 71898 -3 -39 0 71898 -3 -75 0 71898 -3 -89 0 71898 -3 -109 0 71898 -4 -5 0 71898 -4 -11 0 71898 -4 -12 0 71898 -4 -23 0 71898 -4 -44 0 71898 -4 -45 0 71898 -4 -62 0 71898 -4 -69 0 71898 -4 -70 0 71898 -4 -72 0 71898 -4 -73 0 71898 -4 -81 0 71898 -4 -83 0 71898 -4 -86 0 71898 -4 -87 0 71898 -4 -88 0 71898 -4 -93 0 71898 -4 -102 0 71898 -4 -6 0 71898 -4 -22 0 71898 -4 -80 0 71898 -4 -104 0 71898 -4 -16 0 71898 -4 -17 0 71898 -4 -48 0 71898 -4 -64 0 71898 -4 -65 0 71898 -4 -9 0 71898 -4 -10 0 71898 -4 -38 0 71898 -4 -40 0 71898 -4 -41 0 71898 -4 -52 0 71898 -4 -55 0 71898 -4 -58 0 71898 -4 -71 0 71898 -4 -76 0 71898 -4 -90 0 71898 -4 -99 0 71898 -4 -110 0 71898 -4 -111 0 71898 -4 -8 0 71898 -4 -43 0 71898 -4 -91 0 71898 -4 -108 0 71898 -4 -32 0 71898 -4 -42 0 71898 -4 -51 0 71898 -4 -53 0 71898 -4 -61 0 71898 -4 -100 0 71898 -4 -112 0 71898 -5 -11 0 71898 -5 -12 0 71898 -5 -23 0 71898 -5 -44 0 71898 -5 -45 0 71898 -5 -62 0 71898 -5 -69 0 71898 -5 -70 0 71898 -5 -72 0 71898 -5 -73 0 71898 -5 -81 0 71898 -5 -83 0 71898 -5 -86 0 71898 -5 -87 0 71898 -5 -88 0 71898 -5 -93 0 71898 -5 -102 0 71898 -5 -6 0 71898 -5 -22 0 71898 -5 -80 0 71898 -5 -104 0 71898 -5 -9 0 71898 -5 -10 0 71898 -5 -32 0 71898 -5 -42 0 71898 -5 -43 0 71898 -5 -51 0 71898 -5 -53 0 71898 -5 -55 0 71898 -5 -58 0 71898 -5 -61 0 71898 -5 -68 0 71898 -5 -77 0 71898 -5 -91 0 71898 -5 -100 0 71898 -5 -112 0 71898 -5 -7 0 71898 -5 -8 0 71898 -5 -37 0 71898 -5 -54 0 71898 -5 -56 0 71898 -5 -60 0 71898 -5 -71 0 71898 -5 -94 0 71898 -5 -16 0 71898 -5 -17 0 71898 -5 -48 0 71898 -5 -64 0 71898 -5 -65 0 71898 -5 -41 0 71898 -5 -52 0 71898 -5 -90 0 71898 -5 -108 0 71898 -5 -111 0 71898 -5 -38 0 71898 -5 -40 0 71898 -5 -76 0 71898 -5 -99 0 71898 -5 -110 0 71898 -6 -13 0 71898 -6 -11 0 71898 -6 -12 0 71898 -6 -22 0 71898 -6 -23 0 71898 -6 -44 0 71898 -6 -72 0 71898 -6 -80 0 71898 -6 -83 0 71898 -6 -104 0 71898 -6 -47 0 71898 -6 -78 0 71898 -6 -79 0 71898 -6 -93 0 71898 -6 -95 0 71898 -6 -102 0 71898 -6 -15 0 71898 -6 -67 0 71898 -6 -74 0 71898 -6 -105 0 71898 -6 -21 0 71898 -6 -24 0 71898 -6 -92 0 71898 -6 -113 0 71898 -7 -8 0 71898 -7 -11 0 71898 -7 -37 0 71898 -7 -42 0 71898 -7 -43 0 71898 -7 -44 0 71898 -7 -54 0 71898 -7 -56 0 71898 -7 -60 0 71898 -7 -70 0 71898 -7 -71 0 71898 -7 -87 0 71898 -7 -91 0 71898 -7 -94 0 71898 -7 -100 0 71898 -7 -112 0 71898 -7 -9 0 71898 -7 -40 0 71898 -7 -76 0 71898 -7 -110 0 71898 -7 -10 0 71898 -8 -10 0 71898 -8 -24 0 71898 -8 -29 0 71898 -8 -35 0 71898 -8 -36 0 71898 -8 -39 0 71898 -8 -41 0 71898 -8 -43 0 71898 -8 -47 0 71898 -8 -75 0 71898 -8 -79 0 71898 -8 -81 0 71898 -8 -95 0 71898 -8 -101 0 71898 -8 -102 0 71898 -8 -106 0 71898 -8 -109 0 71898 -8 -111 0 71898 -8 -113 0 71898 -8 -23 0 71898 -8 -89 0 71898 -8 -90 0 71898 -8 -91 0 71898 -8 -11 0 71898 -8 -37 0 71898 -8 -42 0 71898 -8 -44 0 71898 -8 -54 0 71898 -8 -56 0 71898 -8 -60 0 71898 -8 -70 0 71898 -8 -71 0 71898 -8 -87 0 71898 -8 -94 0 71898 -8 -100 0 71898 -8 -112 0 71898 -8 -12 0 71898 -8 -52 0 71898 -8 -62 0 71898 -8 -69 0 71898 -8 -72 0 71898 -8 -73 0 71898 -8 -83 0 71898 -8 -86 0 71898 -8 -88 0 71898 -8 -108 0 71898 -8 -9 0 71898 -9 -10 0 71898 -9 -12 0 71898 -9 -32 0 71898 -9 -42 0 71898 -9 -43 0 71898 -9 -51 0 71898 -9 -53 0 71898 -9 -55 0 71898 -9 -58 0 71898 -9 -61 0 71898 -9 -68 0 71898 -9 -70 0 71898 -9 -77 0 71898 -9 -88 0 71898 -9 -91 0 71898 -9 -100 0 71898 -9 -112 0 71898 -9 -38 0 71898 -9 -40 0 71898 -9 -41 0 71898 -9 -48 0 71898 -9 -52 0 71898 -9 -69 0 71898 -9 -71 0 71898 -9 -72 0 71898 -9 -76 0 71898 -9 -90 0 71898 -9 -99 0 71898 -9 -110 0 71898 -9 -111 0 71898 -10 -24 0 71898 -10 -29 0 71898 -10 -35 0 71898 -10 -36 0 71898 -10 -39 0 71898 -10 -41 0 71898 -10 -43 0 71898 -10 -47 0 71898 -10 -75 0 71898 -10 -79 0 71898 -10 -81 0 71898 -10 -95 0 71898 -10 -101 0 71898 -10 -102 0 71898 -10 -106 0 71898 -10 -109 0 71898 -10 -111 0 71898 -10 -113 0 71898 -10 -23 0 71898 -10 -89 0 71898 -10 -90 0 71898 -10 -91 0 71898 -10 -12 0 71898 -10 -32 0 71898 -10 -42 0 71898 -10 -51 0 71898 -10 -53 0 71898 -10 -55 0 71898 -10 -58 0 71898 -10 -61 0 71898 -10 -68 0 71898 -10 -70 0 71898 -10 -77 0 71898 -10 -88 0 71898 -10 -100 0 71898 -10 -112 0 71898 -10 -38 0 71898 -10 -40 0 71898 -10 -48 0 71898 -10 -52 0 71898 -10 -69 0 71898 -10 -71 0 71898 -10 -72 0 71898 -10 -76 0 71898 -10 -99 0 71898 -10 -110 0 71898 -10 -11 0 71898 -10 -44 0 71898 -10 -62 0 71898 -10 -73 0 71898 -10 -83 0 71898 -10 -86 0 71898 -10 -87 0 71898 -10 -108 0 71898 -11 -12 0 71898 -11 -23 0 71898 -11 -44 0 71898 -11 -45 0 71898 -11 -62 0 71898 -11 -69 0 71898 -11 -70 0 71898 -11 -72 0 71898 -11 -73 0 71898 -11 -81 0 71898 -11 -83 0 71898 -11 -86 0 71898 -11 -87 0 71898 -11 -88 0 71898 -11 -93 0 71898 -11 -102 0 71898 -11 -22 0 71898 -11 -80 0 71898 -11 -104 0 71898 -11 -37 0 71898 -11 -42 0 71898 -11 -43 0 71898 -11 -54 0 71898 -11 -56 0 71898 -11 -60 0 71898 -11 -71 0 71898 -11 -91 0 71898 -11 -94 0 71898 -11 -100 0 71898 -11 -112 0 71898 -11 -41 0 71898 -11 -52 0 71898 -11 -90 0 71898 -11 -108 0 71898 -11 -111 0 71898 -12 -23 0 71898 -12 -44 0 71898 -12 -45 0 71898 -12 -62 0 71898 -12 -69 0 71898 -12 -70 0 71898 -12 -72 0 71898 -12 -73 0 71898 -12 -81 0 71898 -12 -83 0 71898 -12 -86 0 71898 -12 -87 0 71898 -12 -88 0 71898 -12 -93 0 71898 -12 -102 0 71898 -12 -22 0 71898 -12 -80 0 71898 -12 -104 0 71898 -12 -32 0 71898 -12 -42 0 71898 -12 -43 0 71898 -12 -51 0 71898 -12 -53 0 71898 -12 -55 0 71898 -12 -58 0 71898 -12 -61 0 71898 -12 -68 0 71898 -12 -77 0 71898 -12 -91 0 71898 -12 -100 0 71898 -12 -112 0 71898 -12 -38 0 71898 -12 -40 0 71898 -12 -41 0 71898 -12 -48 0 71898 -12 -52 0 71898 -12 -71 0 71898 -12 -76 0 71898 -12 -90 0 71898 -12 -99 0 71898 -12 -110 0 71898 -12 -111 0 71898 -12 -108 0 71898 -13 -15 0 71898 -13 -67 0 71898 -13 -74 0 71898 -13 -105 0 71898 -14 -66 0 71898 -14 -15 0 71898 -14 -16 0 71898 -14 -17 0 71898 -15 -67 0 71898 -15 -74 0 71898 -15 -105 0 71898 -15 -16 0 71898 -15 -17 0 71898 -16 -30 0 71898 -16 -49 0 71898 -16 -92 0 71898 -16 -17 0 71898 -16 -48 0 71898 -16 -64 0 71898 -16 -65 0 71898 -17 -31 0 71898 -17 -38 0 71898 -17 -53 0 71898 -17 -109 0 71898 -17 -110 0 71898 -17 -111 0 71898 -17 -112 0 71898 -17 -48 0 71898 -17 -64 0 71898 -17 -65 0 71898 -17 -113 0 71898 -18 -36 0 71898 -19 -26 0 71898 -19 -28 0 71898 -19 -29 0 71898 -19 -36 0 71898 -19 -39 0 71898 -19 -40 0 71898 -19 -41 0 71898 -19 -42 0 71898 -19 -43 0 71898 -19 -47 0 71898 -19 -79 0 71898 -19 -80 0 71898 -19 -81 0 71898 -19 -101 0 71898 -19 -102 0 71898 -19 -109 0 71898 -19 -110 0 71898 -19 -111 0 71898 -19 -112 0 71898 -19 -113 0 71898 -20 -21 0 71898 -20 -22 0 71898 -20 -23 0 71898 -20 -24 0 71898 -21 -22 0 71898 -21 -23 0 71898 -21 -24 0 71898 -21 -92 0 71898 -21 -113 0 71898 -21 -29 0 71898 -22 -23 0 71898 -22 -28 0 71898 -22 -72 0 71898 -22 -44 0 71898 -22 -80 0 71898 -22 -83 0 71898 -22 -104 0 71898 -22 -47 0 71898 -22 -78 0 71898 -22 -79 0 71898 -22 -93 0 71898 -22 -95 0 71898 -22 -102 0 71898 -22 -24 0 71898 -22 -92 0 71898 -22 -113 0 71898 -23 -28 0 71898 -23 -72 0 71898 -23 -44 0 71898 -23 -45 0 71898 -23 -62 0 71898 -23 -69 0 71898 -23 -70 0 71898 -23 -73 0 71898 -23 -81 0 71898 -23 -83 0 71898 -23 -86 0 71898 -23 -87 0 71898 -23 -88 0 71898 -23 -93 0 71898 -23 -102 0 71898 -23 -80 0 71898 -23 -104 0 71898 -23 -39 0 71898 -23 -41 0 71898 -23 -43 0 71898 -23 -75 0 71898 -23 -89 0 71898 -23 -90 0 71898 -23 -91 0 71898 -23 -101 0 71898 -23 -106 0 71898 -23 -109 0 71898 -23 -111 0 71898 -23 -24 0 71898 -23 -92 0 71898 -23 -113 0 71898 -24 -29 0 71898 -24 -35 0 71898 -24 -36 0 71898 -24 -39 0 71898 -24 -41 0 71898 -24 -43 0 71898 -24 -47 0 71898 -24 -75 0 71898 -24 -79 0 71898 -24 -81 0 71898 -24 -95 0 71898 -24 -101 0 71898 -24 -102 0 71898 -24 -106 0 71898 -24 -109 0 71898 -24 -111 0 71898 -24 -113 0 71898 -24 -92 0 71898 -24 -26 0 71898 -25 -27 0 71898 -25 -72 0 71898 -25 -26 0 71898 -25 -28 0 71898 -25 -29 0 71898 -26 -28 0 71898 -26 -29 0 71898 -26 -36 0 71898 -26 -39 0 71898 -26 -40 0 71898 -26 -41 0 71898 -26 -42 0 71898 -26 -43 0 71898 -26 -47 0 71898 -26 -79 0 71898 -26 -80 0 71898 -26 -81 0 71898 -26 -101 0 71898 -26 -102 0 71898 -26 -109 0 71898 -26 -110 0 71898 -26 -111 0 71898 -26 -112 0 71898 -26 -113 0 71898 -26 -27 0 71898 -27 -72 0 71898 -27 -107 0 71898 -27 -28 0 71898 -27 -29 0 71898 -28 -29 0 71898 -28 -36 0 71898 -28 -39 0 71898 -28 -40 0 71898 -28 -41 0 71898 -28 -42 0 71898 -28 -43 0 71898 -28 -47 0 71898 -28 -79 0 71898 -28 -80 0 71898 -28 -81 0 71898 -28 -101 0 71898 -28 -102 0 71898 -28 -109 0 71898 -28 -110 0 71898 -28 -111 0 71898 -28 -112 0 71898 -28 -113 0 71898 -28 -72 0 71898 -29 -36 0 71898 -29 -39 0 71898 -29 -40 0 71898 -29 -41 0 71898 -29 -42 0 71898 -29 -43 0 71898 -29 -47 0 71898 -29 -79 0 71898 -29 -80 0 71898 -29 -81 0 71898 -29 -101 0 71898 -29 -102 0 71898 -29 -109 0 71898 -29 -110 0 71898 -29 -111 0 71898 -29 -112 0 71898 -29 -113 0 71898 -29 -35 0 71898 -29 -75 0 71898 -29 -95 0 71898 -29 -106 0 71898 -30 -49 0 71898 -30 -92 0 71898 -30 -31 0 71898 -31 -38 0 71898 -31 -53 0 71898 -31 -109 0 71898 -31 -110 0 71898 -31 -111 0 71898 -31 -112 0 71898 -31 -113 0 71898 -32 -42 0 71898 -32 -43 0 71898 -32 -51 0 71898 -32 -53 0 71898 -32 -55 0 71898 -32 -58 0 71898 -32 -61 0 71898 -32 -68 0 71898 -32 -70 0 71898 -32 -77 0 71898 -32 -88 0 71898 -32 -91 0 71898 -32 -100 0 71898 -32 -112 0 71898 -32 -38 0 71898 -32 -40 0 71898 -32 -41 0 71898 -32 -48 0 71898 -32 -76 0 71898 -32 -90 0 71898 -32 -99 0 71898 -32 -110 0 71898 -32 -111 0 71898 -33 -34 0 71898 -33 -35 0 71898 -33 -36 0 71898 -33 -37 0 71898 -34 -35 0 71898 -34 -36 0 71898 -34 -37 0 71898 -35 -36 0 71898 -35 -39 0 71898 -35 -41 0 71898 -35 -43 0 71898 -35 -47 0 71898 -35 -75 0 71898 -35 -79 0 71898 -35 -81 0 71898 -35 -95 0 71898 -35 -101 0 71898 -35 -102 0 71898 -35 -106 0 71898 -35 -109 0 71898 -35 -111 0 71898 -35 -113 0 71898 -35 -37 0 71898 -36 -39 0 71898 -36 -40 0 71898 -36 -41 0 71898 -36 -42 0 71898 -36 -43 0 71898 -36 -47 0 71898 -36 -79 0 71898 -36 -80 0 71898 -36 -81 0 71898 -36 -101 0 71898 -36 -102 0 71898 -36 -109 0 71898 -36 -110 0 71898 -36 -111 0 71898 -36 -112 0 71898 -36 -113 0 71898 -36 -75 0 71898 -36 -95 0 71898 -36 -106 0 71898 -36 -37 0 71898 -37 -42 0 71898 -37 -43 0 71898 -37 -44 0 71898 -37 -54 0 71898 -37 -56 0 71898 -37 -60 0 71898 -37 -70 0 71898 -37 -71 0 71898 -37 -87 0 71898 -37 -91 0 71898 -37 -94 0 71898 -37 -100 0 71898 -37 -112 0 71898 -37 -58 0 71898 -38 -53 0 71898 -38 -109 0 71898 -38 -110 0 71898 -38 -111 0 71898 -38 -112 0 71898 -38 -40 0 71898 -38 -41 0 71898 -38 -48 0 71898 -38 -52 0 71898 -38 -55 0 71898 -38 -58 0 71898 -38 -69 0 71898 -38 -71 0 71898 -38 -72 0 71898 -38 -76 0 71898 -38 -88 0 71898 -38 -90 0 71898 -38 -99 0 71898 -38 -42 0 71898 -38 -43 0 71898 -38 -51 0 71898 -38 -61 0 71898 -38 -91 0 71898 -38 -100 0 71898 -39 -40 0 71898 -39 -41 0 71898 -39 -42 0 71898 -39 -43 0 71898 -39 -47 0 71898 -39 -79 0 71898 -39 -80 0 71898 -39 -81 0 71898 -39 -101 0 71898 -39 -102 0 71898 -39 -109 0 71898 -39 -110 0 71898 -39 -111 0 71898 -39 -112 0 71898 -39 -113 0 71898 -39 -75 0 71898 -39 -95 0 71898 -39 -106 0 71898 -39 -89 0 71898 -39 -90 0 71898 -39 -91 0 71898 -39 -93 0 71898 -40 -41 0 71898 -40 -42 0 71898 -40 -43 0 71898 -40 -47 0 71898 -40 -79 0 71898 -40 -80 0 71898 -40 -81 0 71898 -40 -101 0 71898 -40 -102 0 71898 -40 -109 0 71898 -40 -110 0 71898 -40 -111 0 71898 -40 -112 0 71898 -40 -113 0 71898 -40 -48 0 71898 -40 -52 0 71898 -40 -55 0 71898 -40 -58 0 71898 -40 -69 0 71898 -40 -71 0 71898 -40 -72 0 71898 -40 -76 0 71898 -40 -88 0 71898 -40 -90 0 71898 -40 -99 0 71898 -40 -51 0 71898 -40 -53 0 71898 -40 -61 0 71898 -40 -91 0 71898 -40 -100 0 71898 -41 -42 0 71898 -41 -43 0 71898 -41 -47 0 71898 -41 -79 0 71898 -41 -80 0 71898 -41 -81 0 71898 -41 -101 0 71898 -41 -102 0 71898 -41 -109 0 71898 -41 -110 0 71898 -41 -111 0 71898 -41 -112 0 71898 -41 -113 0 71898 -41 -75 0 71898 -41 -95 0 71898 -41 -106 0 71898 -41 -89 0 71898 -41 -90 0 71898 -41 -91 0 71898 -41 -48 0 71898 -41 -52 0 71898 -41 -55 0 71898 -41 -58 0 71898 -41 -69 0 71898 -41 -71 0 71898 -41 -72 0 71898 -41 -76 0 71898 -41 -88 0 71898 -41 -99 0 71898 -41 -44 0 71898 -41 -62 0 71898 -41 -70 0 71898 -41 -73 0 71898 -41 -83 0 71898 -41 -86 0 71898 -41 -87 0 71898 -41 -108 0 71898 -41 -51 0 71898 -41 -53 0 71898 -41 -61 0 71898 -41 -100 0 71898 -42 -43 0 71898 -42 -47 0 71898 -42 -79 0 71898 -42 -80 0 71898 -42 -81 0 71898 -42 -101 0 71898 -42 -102 0 71898 -42 -109 0 71898 -42 -110 0 71898 -42 -111 0 71898 -42 -112 0 71898 -42 -113 0 71898 -42 -51 0 71898 -42 -53 0 71898 -42 -55 0 71898 -42 -58 0 71898 -42 -61 0 71898 -42 -68 0 71898 -42 -70 0 71898 -42 -77 0 71898 -42 -88 0 71898 -42 -91 0 71898 -42 -100 0 71898 -42 -44 0 71898 -42 -54 0 71898 -42 -56 0 71898 -42 -60 0 71898 -42 -71 0 71898 -42 -87 0 71898 -42 -94 0 71898 -42 -48 0 71898 -42 -76 0 71898 -42 -90 0 71898 -42 -99 0 71898 -43 -47 0 71898 -43 -79 0 71898 -43 -80 0 71898 -43 -81 0 71898 -43 -101 0 71898 -43 -102 0 71898 -43 -109 0 71898 -43 -110 0 71898 -43 -111 0 71898 -43 -112 0 71898 -43 -113 0 71898 -43 -75 0 71898 -43 -95 0 71898 -43 -106 0 71898 -43 -89 0 71898 -43 -90 0 71898 -43 -91 0 71898 -43 -51 0 71898 -43 -53 0 71898 -43 -55 0 71898 -43 -58 0 71898 -43 -61 0 71898 -43 -68 0 71898 -43 -70 0 71898 -43 -77 0 71898 -43 -88 0 71898 -43 -100 0 71898 -43 -44 0 71898 -43 -54 0 71898 -43 -56 0 71898 -43 -60 0 71898 -43 -71 0 71898 -43 -87 0 71898 -43 -94 0 71898 -43 -52 0 71898 -43 -62 0 71898 -43 -69 0 71898 -43 -72 0 71898 -43 -73 0 71898 -43 -83 0 71898 -43 -86 0 71898 -43 -108 0 71898 -43 -48 0 71898 -43 -76 0 71898 -43 -99 0 71898 -44 -45 0 71898 -44 -62 0 71898 -44 -69 0 71898 -44 -70 0 71898 -44 -72 0 71898 -44 -73 0 71898 -44 -81 0 71898 -44 -83 0 71898 -44 -86 0 71898 -44 -87 0 71898 -44 -88 0 71898 -44 -93 0 71898 -44 -102 0 71898 -44 -80 0 71898 -44 -104 0 71898 -44 -54 0 71898 -44 -56 0 71898 -44 -60 0 71898 -44 -71 0 71898 -44 -91 0 71898 -44 -94 0 71898 -44 -100 0 71898 -44 -112 0 71898 -44 -52 0 71898 -44 -90 0 71898 -44 -108 0 71898 -44 -111 0 71898 -45 -62 0 71898 -45 -69 0 71898 -45 -70 0 71898 -45 -72 0 71898 -45 -73 0 71898 -45 -81 0 71898 -45 -83 0 71898 -45 -86 0 71898 -45 -87 0 71898 -45 -88 0 71898 -45 -93 0 71898 -45 -102 0 71898 -45 -46 0 71898 -46 -65 0 71898 -46 -82 0 71898 -46 -85 0 71898 -46 -97 0 71898 -47 -79 0 71898 -47 -80 0 71898 -47 -81 0 71898 -47 -101 0 71898 -47 -102 0 71898 -47 -109 0 71898 -47 -110 0 71898 -47 -111 0 71898 -47 -112 0 71898 -47 -113 0 71898 -47 -75 0 71898 -47 -95 0 71898 -47 -106 0 71898 -47 -78 0 71898 -47 -93 0 71898 -48 -64 0 71898 -48 -65 0 71898 -48 -52 0 71898 -48 -55 0 71898 -48 -58 0 71898 -48 -69 0 71898 -48 -71 0 71898 -48 -72 0 71898 -48 -76 0 71898 -48 -88 0 71898 -48 -90 0 71898 -48 -99 0 71898 -48 -110 0 71898 -48 -111 0 71898 -48 -51 0 71898 -48 -53 0 71898 -48 -61 0 71898 -48 -91 0 71898 -48 -100 0 71898 -48 -112 0 71898 -49 -92 0 71898 -50 -66 0 71898 -50 -67 0 71898 -51 -53 0 71898 -51 -55 0 71898 -51 -58 0 71898 -51 -61 0 71898 -51 -68 0 71898 -51 -70 0 71898 -51 -77 0 71898 -51 -88 0 71898 -51 -91 0 71898 -51 -100 0 71898 -51 -112 0 71898 -51 -76 0 71898 -51 -90 0 71898 -51 -99 0 71898 -51 -110 0 71898 -51 -111 0 71898 -52 -55 0 71898 -52 -58 0 71898 -52 -69 0 71898 -52 -71 0 71898 -52 -72 0 71898 -52 -76 0 71898 -52 -88 0 71898 -52 -90 0 71898 -52 -99 0 71898 -52 -110 0 71898 -52 -111 0 71898 -52 -62 0 71898 -52 -70 0 71898 -52 -73 0 71898 -52 -83 0 71898 -52 -86 0 71898 -52 -87 0 71898 -52 -91 0 71898 -52 -108 0 71898 -53 -109 0 71898 -53 -110 0 71898 -53 -111 0 71898 -53 -112 0 71898 -53 -55 0 71898 -53 -58 0 71898 -53 -61 0 71898 -53 -68 0 71898 -53 -70 0 71898 -53 -77 0 71898 -53 -88 0 71898 -53 -91 0 71898 -53 -100 0 71898 -53 -76 0 71898 -53 -90 0 71898 -53 -99 0 71898 -54 -56 0 71898 -54 -60 0 71898 -54 -70 0 71898 -54 -71 0 71898 -54 -87 0 71898 -54 -91 0 71898 -54 -94 0 71898 -54 -100 0 71898 -54 -112 0 71898 -54 -55 0 71898 -55 -58 0 71898 -55 -61 0 71898 -55 -68 0 71898 -55 -70 0 71898 -55 -77 0 71898 -55 -88 0 71898 -55 -91 0 71898 -55 -100 0 71898 -55 -112 0 71898 -55 -69 0 71898 -55 -71 0 71898 -55 -72 0 71898 -55 -76 0 71898 -55 -90 0 71898 -55 -99 0 71898 -55 -110 0 71898 -55 -111 0 71898 -56 -60 0 71898 -56 -70 0 71898 -56 -71 0 71898 -56 -87 0 71898 -56 -91 0 71898 -56 -94 0 71898 -56 -100 0 71898 -56 -112 0 71898 -56 -58 0 71898 -56 -57 0 71898 -56 -59 0 71898 -57 -58 0 71898 -57 -59 0 71898 -57 -60 0 71898 -58 -61 0 71898 -58 -68 0 71898 -58 -70 0 71898 -58 -77 0 71898 -58 -88 0 71898 -58 -91 0 71898 -58 -100 0 71898 -58 -112 0 71898 -58 -69 0 71898 -58 -71 0 71898 -58 -72 0 71898 -58 -76 0 71898 -58 -90 0 71898 -58 -99 0 71898 -58 -110 0 71898 -58 -111 0 71898 -58 -59 0 71898 -58 -60 0 71898 -59 -60 0 71898 -59 -86 0 71898 -60 -87 0 71898 -60 -88 0 71898 -60 -98 0 71898 -60 -70 0 71898 -60 -71 0 71898 -60 -91 0 71898 -60 -94 0 71898 -60 -100 0 71898 -60 -112 0 71898 -61 -68 0 71898 -61 -70 0 71898 -61 -77 0 71898 -61 -88 0 71898 -61 -91 0 71898 -61 -100 0 71898 -61 -112 0 71898 -61 -76 0 71898 -61 -90 0 71898 -61 -99 0 71898 -61 -110 0 71898 -61 -111 0 71898 -62 -69 0 71898 -62 -70 0 71898 -62 -72 0 71898 -62 -73 0 71898 -62 -81 0 71898 -62 -83 0 71898 -62 -86 0 71898 -62 -87 0 71898 -62 -88 0 71898 -62 -93 0 71898 -62 -102 0 71898 -62 -90 0 71898 -62 -91 0 71898 -62 -108 0 71898 -62 -111 0 71898 -63 -64 0 71898 -63 -65 0 71898 -63 -66 0 71898 -63 -67 0 71898 -64 -65 0 71898 -64 -66 0 71898 -64 -67 0 71898 -65 -82 0 71898 -65 -66 0 71898 -65 -67 0 71898 -66 -67 0 71898 -67 -74 0 71898 -67 -105 0 71898 -68 -70 0 71898 -68 -77 0 71898 -68 -88 0 71898 -68 -91 0 71898 -68 -100 0 71898 -68 -112 0 71898 -68 -71 0 71898 -68 -98 0 71898 -68 -69 0 71898 -68 -72 0 71898 -69 -70 0 71898 -69 -72 0 71898 -69 -73 0 71898 -69 -81 0 71898 -69 -83 0 71898 -69 -86 0 71898 -69 -87 0 71898 -69 -88 0 71898 -69 -93 0 71898 -69 -102 0 71898 -69 -71 0 71898 -69 -76 0 71898 -69 -90 0 71898 -69 -99 0 71898 -69 -110 0 71898 -69 -111 0 71898 -69 -91 0 71898 -69 -108 0 71898 -69 -97 0 71898 -69 -107 0 71898 -70 -72 0 71898 -70 -73 0 71898 -70 -81 0 71898 -70 -83 0 71898 -70 -86 0 71898 -70 -87 0 71898 -70 -88 0 71898 -70 -93 0 71898 -70 -102 0 71898 -70 -77 0 71898 -70 -91 0 71898 -70 -100 0 71898 -70 -112 0 71898 -70 -71 0 71898 -70 -94 0 71898 -70 -90 0 71898 -70 -108 0 71898 -70 -111 0 71898 -70 -97 0 71898 -70 -107 0 71898 -71 -87 0 71898 -71 -91 0 71898 -71 -94 0 71898 -71 -100 0 71898 -71 -112 0 71898 -71 -72 0 71898 -71 -76 0 71898 -71 -88 0 71898 -71 -90 0 71898 -71 -99 0 71898 -71 -110 0 71898 -71 -111 0 71898 -71 -98 0 71898 -72 -73 0 71898 -72 -81 0 71898 -72 -83 0 71898 -72 -86 0 71898 -72 -87 0 71898 -72 -88 0 71898 -72 -93 0 71898 -72 -102 0 71898 -72 -80 0 71898 -72 -104 0 71898 -72 -76 0 71898 -72 -90 0 71898 -72 -99 0 71898 -72 -110 0 71898 -72 -111 0 71898 -72 -91 0 71898 -72 -108 0 71898 -73 -81 0 71898 -73 -83 0 71898 -73 -86 0 71898 -73 -87 0 71898 -73 -88 0 71898 -73 -93 0 71898 -73 -102 0 71898 -73 -90 0 71898 -73 -91 0 71898 -73 -108 0 71898 -73 -111 0 71898 -74 -105 0 71898 -75 -79 0 71898 -75 -81 0 71898 -75 -95 0 71898 -75 -101 0 71898 -75 -102 0 71898 -75 -106 0 71898 -75 -109 0 71898 -75 -111 0 71898 -75 -113 0 71898 -75 -89 0 71898 -75 -90 0 71898 -75 -91 0 71898 -75 -93 0 71898 -75 -76 0 71898 -76 -88 0 71898 -76 -90 0 71898 -76 -99 0 71898 -76 -110 0 71898 -76 -111 0 71898 -76 -91 0 71898 -76 -100 0 71898 -76 -112 0 71898 -77 -88 0 71898 -77 -91 0 71898 -77 -100 0 71898 -77 -112 0 71898 -78 -79 0 71898 -78 -93 0 71898 -78 -95 0 71898 -78 -102 0 71898 -79 -80 0 71898 -79 -81 0 71898 -79 -101 0 71898 -79 -102 0 71898 -79 -109 0 71898 -79 -110 0 71898 -79 -111 0 71898 -79 -112 0 71898 -79 -113 0 71898 -79 -95 0 71898 -79 -106 0 71898 -79 -93 0 71898 -80 -81 0 71898 -80 -101 0 71898 -80 -102 0 71898 -80 -109 0 71898 -80 -110 0 71898 -80 -111 0 71898 -80 -112 0 71898 -80 -113 0 71898 -80 -83 0 71898 -80 -104 0 71898 -81 -101 0 71898 -81 -102 0 71898 -81 -109 0 71898 -81 -110 0 71898 -81 -111 0 71898 -81 -112 0 71898 -81 -113 0 71898 -81 -95 0 71898 -81 -106 0 71898 -81 -83 0 71898 -81 -86 0 71898 -81 -87 0 71898 -81 -88 0 71898 -81 -93 0 71898 -81 -89 0 71898 -81 -90 0 71898 -81 -91 0 71898 -82 -85 0 71898 -82 -97 0 71898 -83 -86 0 71898 -83 -87 0 71898 -83 -88 0 71898 -83 -93 0 71898 -83 -102 0 71898 -83 -104 0 71898 -83 -90 0 71898 -83 -91 0 71898 -83 -108 0 71898 -83 -111 0 71898 -84 -103 0 71898 -84 -85 0 71898 -84 -86 0 71898 -84 -87 0 71898 -84 -88 0 71898 -85 -86 0 71898 -85 -87 0 71898 -85 -88 0 71898 -85 -104 0 71898 -85 -97 0 71898 -86 -87 0 71898 -86 -88 0 71898 -86 -93 0 71898 -86 -102 0 71898 -86 -90 0 71898 -86 -91 0 71898 -86 -108 0 71898 -86 -111 0 71898 -86 -104 0 71898 -87 -88 0 71898 -87 -98 0 71898 -87 -93 0 71898 -87 -102 0 71898 -87 -91 0 71898 -87 -94 0 71898 -87 -100 0 71898 -87 -112 0 71898 -87 -90 0 71898 -87 -108 0 71898 -87 -111 0 71898 -87 -104 0 71898 -88 -98 0 71898 -88 -93 0 71898 -88 -102 0 71898 -88 -91 0 71898 -88 -100 0 71898 -88 -112 0 71898 -88 -90 0 71898 -88 -99 0 71898 -88 -110 0 71898 -88 -111 0 71898 -88 -108 0 71898 -88 -104 0 71898 -89 -90 0 71898 -89 -91 0 71898 -89 -101 0 71898 -89 -106 0 71898 -89 -109 0 71898 -89 -111 0 71898 -89 -93 0 71898 -89 -92 0 71898 -90 -91 0 71898 -90 -101 0 71898 -90 -106 0 71898 -90 -109 0 71898 -90 -111 0 71898 -90 -99 0 71898 -90 -110 0 71898 -90 -108 0 71898 -90 -100 0 71898 -90 -112 0 71898 -90 -92 0 71898 -90 -93 0 71898 -91 -101 0 71898 -91 -106 0 71898 -91 -109 0 71898 -91 -111 0 71898 -91 -100 0 71898 -91 -112 0 71898 -91 -94 0 71898 -91 -108 0 71898 -91 -99 0 71898 -91 -110 0 71898 -91 -92 0 71898 -91 -93 0 71898 -92 -96 0 71898 -92 -113 0 71898 -92 -93 0 71898 -93 -102 0 71898 -93 -95 0 71898 -93 -109 0 71898 -94 -100 0 71898 -94 -112 0 71898 -95 -101 0 71898 -95 -102 0 71898 -95 -106 0 71898 -95 -109 0 71898 -95 -111 0 71898 -95 -113 0 71898 -96 -113 0 71898 -97 -107 0 71898 -97 -98 0 71898 -99 -110 0 71898 -99 -111 0 71898 -99 -100 0 71898 -99 -112 0 71898 -100 -112 0 71898 -100 -110 0 71898 -100 -111 0 71898 -101 -102 0 71898 -101 -109 0 71898 -101 -110 0 71898 -101 -111 0 71898 -101 -112 0 71898 -101 -113 0 71898 -101 -106 0 71898 -102 -109 0 71898 -102 -110 0 71898 -102 -111 0 71898 -102 -112 0 71898 -102 -113 0 71898 -102 -106 0 71898 -103 -104 0 71898 -106 -109 0 71898 -106 -111 0 71898 -106 -113 0 71898 -108 -111 0 71898 -109 -110 0 71898 -109 -111 0 71898 -109 -112 0 71898 -109 -113 0 71898 -110 -111 0 71898 -110 -112 0 71898 -110 -113 0 71898 -111 -112 0 71898 -111 -113 0 71898 -112 -113 0