c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 130; Distribution: paths; Runs: 30; Seed: 1151601921 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 96171 p wcnf 131 1519 96171 381 1 0 203 2 0 512 3 0 731 4 0 731 5 0 731 6 0 731 7 0 731 8 0 671 9 0 671 10 0 671 11 0 671 12 0 477 13 0 477 14 0 1051 15 0 1051 16 0 1051 17 0 1051 18 0 1051 19 0 542 20 0 1150 21 0 1150 22 0 1150 23 0 1150 24 0 1150 25 0 218 26 0 218 27 0 665 28 0 665 29 0 665 30 0 881 31 0 881 32 0 1113 33 0 1113 34 0 1113 35 0 1113 36 0 1113 37 0 895 38 0 895 39 0 895 40 0 895 41 0 895 42 0 646 43 0 646 44 0 646 45 0 1039 46 0 1039 47 0 1039 48 0 1039 49 0 1039 50 0 826 51 0 480 52 0 649 53 0 649 54 0 649 55 0 649 56 0 649 57 0 300 58 0 570 59 0 570 60 0 570 61 0 570 62 0 570 63 0 851 64 0 414 65 0 557 66 0 557 67 0 557 68 0 682 69 0 682 70 0 397 71 0 1101 72 0 1101 73 0 1101 74 0 1101 75 0 1101 76 0 190 77 0 1051 78 0 1051 79 0 284 80 0 284 81 0 477 82 0 953 83 0 629 84 0 857 85 0 857 86 0 857 87 0 857 88 0 857 89 0 585 90 0 585 91 0 631 92 0 1212 93 0 1212 94 0 1212 95 0 1212 96 0 1212 97 0 79 98 0 79 99 0 799 100 0 799 101 0 799 102 0 707 103 0 825 104 0 825 105 0 798 106 0 798 107 0 798 108 0 798 109 0 798 110 0 142 111 0 142 112 0 519 113 0 519 114 0 519 115 0 519 116 0 519 117 0 794 118 0 573 119 0 573 120 0 968 121 0 200 122 0 200 123 0 186 124 0 893 125 0 893 126 0 893 127 0 893 128 0 893 129 0 80 130 0 80 131 0 96171 -1 -17 0 96171 -1 -25 0 96171 -1 -35 0 96171 -1 -47 0 96171 -1 -48 0 96171 -1 -49 0 96171 -1 -50 0 96171 -1 -76 0 96171 -2 -13 0 96171 -2 -16 0 96171 -2 -28 0 96171 -2 -29 0 96171 -2 -66 0 96171 -2 -68 0 96171 -2 -70 0 96171 -2 -82 0 96171 -2 -84 0 96171 -3 -28 0 96171 -3 -84 0 96171 -4 -6 0 96171 -4 -8 0 96171 -4 -22 0 96171 -4 -24 0 96171 -4 -65 0 96171 -4 -74 0 96171 -4 -75 0 96171 -4 -105 0 96171 -4 -5 0 96171 -4 -36 0 96171 -4 -37 0 96171 -4 -88 0 96171 -4 -89 0 96171 -4 -106 0 96171 -4 -125 0 96171 -4 -126 0 96171 -4 -7 0 96171 -5 -7 0 96171 -5 -21 0 96171 -5 -23 0 96171 -5 -72 0 96171 -5 -73 0 96171 -5 -104 0 96171 -5 -10 0 96171 -5 -12 0 96171 -5 -22 0 96171 -5 -24 0 96171 -5 -35 0 96171 -5 -36 0 96171 -5 -37 0 96171 -5 -44 0 96171 -5 -74 0 96171 -5 -75 0 96171 -5 -87 0 96171 -5 -88 0 96171 -5 -89 0 96171 -5 -96 0 96171 -5 -105 0 96171 -5 -106 0 96171 -5 -125 0 96171 -5 -126 0 96171 -5 -6 0 96171 -5 -8 0 96171 -6 -8 0 96171 -6 -22 0 96171 -6 -24 0 96171 -6 -65 0 96171 -6 -74 0 96171 -6 -75 0 96171 -6 -105 0 96171 -6 -11 0 96171 -6 -87 0 96171 -6 -7 0 96171 -6 -38 0 96171 -6 -40 0 96171 -6 -107 0 96171 -6 -127 0 96171 -6 -129 0 96171 -7 -21 0 96171 -7 -23 0 96171 -7 -72 0 96171 -7 -73 0 96171 -7 -104 0 96171 -7 -38 0 96171 -7 -40 0 96171 -7 -107 0 96171 -7 -127 0 96171 -7 -129 0 96171 -7 -12 0 96171 -7 -45 0 96171 -7 -83 0 96171 -7 -86 0 96171 -7 -102 0 96171 -7 -108 0 96171 -7 -110 0 96171 -7 -128 0 96171 -7 -8 0 96171 -8 -22 0 96171 -8 -24 0 96171 -8 -65 0 96171 -8 -74 0 96171 -8 -75 0 96171 -8 -105 0 96171 -8 -39 0 96171 -8 -41 0 96171 -8 -51 0 96171 -8 -52 0 96171 -8 -61 0 96171 -8 -63 0 96171 -8 -92 0 96171 -8 -94 0 96171 -8 -108 0 96171 -8 -118 0 96171 -8 -128 0 96171 -8 -11 0 96171 -8 -87 0 96171 -9 -44 0 96171 -9 -96 0 96171 -9 -10 0 96171 -9 -11 0 96171 -9 -12 0 96171 -10 -12 0 96171 -10 -22 0 96171 -10 -24 0 96171 -10 -35 0 96171 -10 -36 0 96171 -10 -37 0 96171 -10 -44 0 96171 -10 -74 0 96171 -10 -75 0 96171 -10 -87 0 96171 -10 -88 0 96171 -10 -89 0 96171 -10 -96 0 96171 -10 -105 0 96171 -10 -106 0 96171 -10 -125 0 96171 -10 -126 0 96171 -10 -20 0 96171 -10 -32 0 96171 -10 -43 0 96171 -10 -95 0 96171 -10 -101 0 96171 -10 -11 0 96171 -11 -12 0 96171 -11 -45 0 96171 -11 -71 0 96171 -11 -94 0 96171 -11 -97 0 96171 -11 -124 0 96171 -11 -102 0 96171 -11 -87 0 96171 -12 -45 0 96171 -12 -71 0 96171 -12 -94 0 96171 -12 -97 0 96171 -12 -124 0 96171 -12 -22 0 96171 -12 -24 0 96171 -12 -35 0 96171 -12 -36 0 96171 -12 -37 0 96171 -12 -44 0 96171 -12 -74 0 96171 -12 -75 0 96171 -12 -87 0 96171 -12 -88 0 96171 -12 -89 0 96171 -12 -96 0 96171 -12 -105 0 96171 -12 -106 0 96171 -12 -125 0 96171 -12 -126 0 96171 -12 -102 0 96171 -12 -83 0 96171 -12 -86 0 96171 -12 -107 0 96171 -12 -108 0 96171 -12 -110 0 96171 -12 -127 0 96171 -12 -128 0 96171 -12 -129 0 96171 -13 -16 0 96171 -13 -28 0 96171 -13 -29 0 96171 -13 -66 0 96171 -13 -68 0 96171 -13 -70 0 96171 -13 -82 0 96171 -13 -84 0 96171 -13 -49 0 96171 -13 -14 0 96171 -14 -67 0 96171 -14 -50 0 96171 -14 -51 0 96171 -14 -68 0 96171 -14 -94 0 96171 -14 -97 0 96171 -14 -118 0 96171 -15 -17 0 96171 -15 -57 0 96171 -15 -123 0 96171 -15 -18 0 96171 -15 -46 0 96171 -15 -16 0 96171 -15 -19 0 96171 -16 -28 0 96171 -16 -29 0 96171 -16 -66 0 96171 -16 -68 0 96171 -16 -70 0 96171 -16 -82 0 96171 -16 -84 0 96171 -16 -17 0 96171 -16 -47 0 96171 -16 -18 0 96171 -16 -19 0 96171 -17 -57 0 96171 -17 -123 0 96171 -17 -47 0 96171 -17 -25 0 96171 -17 -35 0 96171 -17 -48 0 96171 -17 -49 0 96171 -17 -50 0 96171 -17 -76 0 96171 -17 -18 0 96171 -17 -19 0 96171 -18 -23 0 96171 -18 -24 0 96171 -18 -25 0 96171 -18 -34 0 96171 -18 -58 0 96171 -18 -64 0 96171 -18 -73 0 96171 -18 -75 0 96171 -18 -79 0 96171 -18 -123 0 96171 -18 -122 0 96171 -18 -46 0 96171 -18 -19 0 96171 -19 -48 0 96171 -19 -90 0 96171 -19 -91 0 96171 -19 -53 0 96171 -19 -55 0 96171 -19 -92 0 96171 -19 -114 0 96171 -19 -115 0 96171 -19 -116 0 96171 -20 -32 0 96171 -20 -43 0 96171 -20 -95 0 96171 -20 -101 0 96171 -21 -23 0 96171 -21 -72 0 96171 -21 -73 0 96171 -21 -104 0 96171 -21 -22 0 96171 -21 -34 0 96171 -21 -75 0 96171 -21 -79 0 96171 -21 -24 0 96171 -21 -25 0 96171 -22 -24 0 96171 -22 -65 0 96171 -22 -74 0 96171 -22 -75 0 96171 -22 -105 0 96171 -22 -35 0 96171 -22 -36 0 96171 -22 -37 0 96171 -22 -44 0 96171 -22 -87 0 96171 -22 -88 0 96171 -22 -89 0 96171 -22 -96 0 96171 -22 -106 0 96171 -22 -125 0 96171 -22 -126 0 96171 -22 -34 0 96171 -22 -73 0 96171 -22 -79 0 96171 -22 -23 0 96171 -22 -25 0 96171 -23 -72 0 96171 -23 -73 0 96171 -23 -104 0 96171 -23 -24 0 96171 -23 -25 0 96171 -23 -34 0 96171 -23 -58 0 96171 -23 -64 0 96171 -23 -75 0 96171 -23 -79 0 96171 -23 -123 0 96171 -23 -33 0 96171 -23 -74 0 96171 -23 -78 0 96171 -24 -65 0 96171 -24 -74 0 96171 -24 -75 0 96171 -24 -105 0 96171 -24 -25 0 96171 -24 -34 0 96171 -24 -58 0 96171 -24 -64 0 96171 -24 -73 0 96171 -24 -79 0 96171 -24 -123 0 96171 -24 -35 0 96171 -24 -36 0 96171 -24 -37 0 96171 -24 -44 0 96171 -24 -87 0 96171 -24 -88 0 96171 -24 -89 0 96171 -24 -96 0 96171 -24 -106 0 96171 -24 -125 0 96171 -24 -126 0 96171 -24 -33 0 96171 -24 -72 0 96171 -24 -78 0 96171 -25 -34 0 96171 -25 -58 0 96171 -25 -64 0 96171 -25 -73 0 96171 -25 -75 0 96171 -25 -79 0 96171 -25 -123 0 96171 -25 -30 0 96171 -25 -50 0 96171 -25 -68 0 96171 -25 -76 0 96171 -25 -104 0 96171 -25 -105 0 96171 -25 -35 0 96171 -25 -47 0 96171 -25 -48 0 96171 -25 -49 0 96171 -26 -27 0 96171 -26 -36 0 96171 -26 -37 0 96171 -26 -38 0 96171 -26 -39 0 96171 -26 -40 0 96171 -26 -41 0 96171 -26 -53 0 96171 -26 -54 0 96171 -26 -55 0 96171 -26 -56 0 96171 -26 -57 0 96171 -26 -61 0 96171 -26 -63 0 96171 -26 -80 0 96171 -26 -81 0 96171 -26 -88 0 96171 -26 -89 0 96171 -26 -92 0 96171 -26 -106 0 96171 -26 -107 0 96171 -26 -108 0 96171 -26 -125 0 96171 -26 -126 0 96171 -26 -127 0 96171 -26 -128 0 96171 -26 -129 0 96171 -26 -62 0 96171 -26 -91 0 96171 -26 -99 0 96171 -26 -103 0 96171 -26 -115 0 96171 -26 -116 0 96171 -26 -131 0 96171 -27 -37 0 96171 -27 -40 0 96171 -27 -41 0 96171 -27 -54 0 96171 -27 -55 0 96171 -27 -60 0 96171 -27 -63 0 96171 -27 -81 0 96171 -27 -89 0 96171 -27 -91 0 96171 -27 -99 0 96171 -27 -106 0 96171 -27 -107 0 96171 -27 -108 0 96171 -27 -112 0 96171 -27 -116 0 96171 -27 -117 0 96171 -27 -120 0 96171 -27 -126 0 96171 -27 -129 0 96171 -27 -131 0 96171 -27 -56 0 96171 -27 -62 0 96171 -27 -90 0 96171 -27 -98 0 96171 -27 -114 0 96171 -27 -130 0 96171 -27 -36 0 96171 -27 -38 0 96171 -27 -39 0 96171 -27 -53 0 96171 -27 -57 0 96171 -27 -61 0 96171 -27 -80 0 96171 -27 -88 0 96171 -27 -92 0 96171 -27 -125 0 96171 -27 -127 0 96171 -27 -128 0 96171 -28 -29 0 96171 -28 -66 0 96171 -28 -68 0 96171 -28 -70 0 96171 -28 -82 0 96171 -28 -84 0 96171 -28 -30 0 96171 -29 -66 0 96171 -29 -68 0 96171 -29 -70 0 96171 -29 -82 0 96171 -29 -84 0 96171 -29 -42 0 96171 -29 -89 0 96171 -29 -109 0 96171 -29 -110 0 96171 -29 -112 0 96171 -29 -113 0 96171 -29 -114 0 96171 -29 -116 0 96171 -29 -37 0 96171 -29 -40 0 96171 -29 -41 0 96171 -29 -60 0 96171 -29 -62 0 96171 -29 -63 0 96171 -29 -81 0 96171 -29 -120 0 96171 -29 -126 0 96171 -29 -129 0 96171 -29 -30 0 96171 -30 -50 0 96171 -30 -68 0 96171 -30 -76 0 96171 -30 -88 0 96171 -30 -111 0 96171 -30 -115 0 96171 -30 -117 0 96171 -30 -97 0 96171 -30 -119 0 96171 -30 -120 0 96171 -31 -93 0 96171 -31 -32 0 96171 -32 -43 0 96171 -32 -95 0 96171 -32 -101 0 96171 -32 -83 0 96171 -32 -96 0 96171 -33 -72 0 96171 -33 -74 0 96171 -33 -78 0 96171 -33 -34 0 96171 -33 -35 0 96171 -33 -36 0 96171 -33 -37 0 96171 -34 -58 0 96171 -34 -64 0 96171 -34 -73 0 96171 -34 -75 0 96171 -34 -79 0 96171 -34 -123 0 96171 -34 -35 0 96171 -34 -36 0 96171 -34 -37 0 96171 -35 -36 0 96171 -35 -37 0 96171 -35 -44 0 96171 -35 -74 0 96171 -35 -75 0 96171 -35 -87 0 96171 -35 -88 0 96171 -35 -89 0 96171 -35 -96 0 96171 -35 -105 0 96171 -35 -106 0 96171 -35 -125 0 96171 -35 -126 0 96171 -35 -65 0 96171 -35 -48 0 96171 -35 -70 0 96171 -35 -47 0 96171 -35 -49 0 96171 -35 -50 0 96171 -35 -76 0 96171 -36 -37 0 96171 -36 -44 0 96171 -36 -74 0 96171 -36 -75 0 96171 -36 -87 0 96171 -36 -88 0 96171 -36 -89 0 96171 -36 -96 0 96171 -36 -105 0 96171 -36 -106 0 96171 -36 -125 0 96171 -36 -126 0 96171 -36 -38 0 96171 -36 -39 0 96171 -36 -57 0 96171 -36 -59 0 96171 -36 -61 0 96171 -36 -80 0 96171 -36 -119 0 96171 -36 -127 0 96171 -36 -128 0 96171 -36 -40 0 96171 -36 -41 0 96171 -36 -53 0 96171 -36 -54 0 96171 -36 -55 0 96171 -36 -56 0 96171 -36 -63 0 96171 -36 -81 0 96171 -36 -92 0 96171 -36 -107 0 96171 -36 -108 0 96171 -36 -129 0 96171 -36 -42 0 96171 -36 -58 0 96171 -37 -40 0 96171 -37 -41 0 96171 -37 -54 0 96171 -37 -55 0 96171 -37 -60 0 96171 -37 -63 0 96171 -37 -81 0 96171 -37 -89 0 96171 -37 -91 0 96171 -37 -99 0 96171 -37 -106 0 96171 -37 -107 0 96171 -37 -108 0 96171 -37 -112 0 96171 -37 -116 0 96171 -37 -117 0 96171 -37 -120 0 96171 -37 -126 0 96171 -37 -129 0 96171 -37 -131 0 96171 -37 -44 0 96171 -37 -74 0 96171 -37 -75 0 96171 -37 -87 0 96171 -37 -88 0 96171 -37 -96 0 96171 -37 -105 0 96171 -37 -125 0 96171 -37 -42 0 96171 -37 -62 0 96171 -37 -38 0 96171 -37 -39 0 96171 -37 -53 0 96171 -37 -56 0 96171 -37 -57 0 96171 -37 -61 0 96171 -37 -80 0 96171 -37 -92 0 96171 -37 -127 0 96171 -37 -128 0 96171 -37 -58 0 96171 -38 -39 0 96171 -38 -57 0 96171 -38 -59 0 96171 -38 -61 0 96171 -38 -80 0 96171 -38 -119 0 96171 -38 -125 0 96171 -38 -127 0 96171 -38 -128 0 96171 -38 -40 0 96171 -38 -41 0 96171 -38 -53 0 96171 -38 -54 0 96171 -38 -55 0 96171 -38 -56 0 96171 -38 -63 0 96171 -38 -81 0 96171 -38 -88 0 96171 -38 -89 0 96171 -38 -92 0 96171 -38 -106 0 96171 -38 -107 0 96171 -38 -108 0 96171 -38 -126 0 96171 -38 -129 0 96171 -38 -42 0 96171 -38 -58 0 96171 -39 -41 0 96171 -39 -51 0 96171 -39 -52 0 96171 -39 -61 0 96171 -39 -63 0 96171 -39 -92 0 96171 -39 -94 0 96171 -39 -108 0 96171 -39 -118 0 96171 -39 -128 0 96171 -39 -57 0 96171 -39 -59 0 96171 -39 -80 0 96171 -39 -119 0 96171 -39 -125 0 96171 -39 -127 0 96171 -39 -40 0 96171 -39 -53 0 96171 -39 -54 0 96171 -39 -55 0 96171 -39 -56 0 96171 -39 -81 0 96171 -39 -88 0 96171 -39 -89 0 96171 -39 -106 0 96171 -39 -107 0 96171 -39 -126 0 96171 -39 -129 0 96171 -39 -42 0 96171 -39 -58 0 96171 -40 -41 0 96171 -40 -54 0 96171 -40 -55 0 96171 -40 -60 0 96171 -40 -63 0 96171 -40 -81 0 96171 -40 -89 0 96171 -40 -91 0 96171 -40 -99 0 96171 -40 -106 0 96171 -40 -107 0 96171 -40 -108 0 96171 -40 -112 0 96171 -40 -116 0 96171 -40 -117 0 96171 -40 -120 0 96171 -40 -126 0 96171 -40 -129 0 96171 -40 -131 0 96171 -40 -42 0 96171 -40 -62 0 96171 -40 -53 0 96171 -40 -56 0 96171 -40 -57 0 96171 -40 -61 0 96171 -40 -80 0 96171 -40 -88 0 96171 -40 -92 0 96171 -40 -125 0 96171 -40 -127 0 96171 -40 -128 0 96171 -40 -58 0 96171 -41 -51 0 96171 -41 -52 0 96171 -41 -61 0 96171 -41 -63 0 96171 -41 -92 0 96171 -41 -94 0 96171 -41 -108 0 96171 -41 -118 0 96171 -41 -128 0 96171 -41 -54 0 96171 -41 -55 0 96171 -41 -60 0 96171 -41 -81 0 96171 -41 -89 0 96171 -41 -91 0 96171 -41 -99 0 96171 -41 -106 0 96171 -41 -107 0 96171 -41 -112 0 96171 -41 -116 0 96171 -41 -117 0 96171 -41 -120 0 96171 -41 -126 0 96171 -41 -129 0 96171 -41 -131 0 96171 -41 -42 0 96171 -41 -62 0 96171 -41 -53 0 96171 -41 -56 0 96171 -41 -57 0 96171 -41 -80 0 96171 -41 -88 0 96171 -41 -125 0 96171 -41 -127 0 96171 -41 -58 0 96171 -42 -89 0 96171 -42 -109 0 96171 -42 -110 0 96171 -42 -112 0 96171 -42 -113 0 96171 -42 -114 0 96171 -42 -116 0 96171 -42 -60 0 96171 -42 -62 0 96171 -42 -63 0 96171 -42 -81 0 96171 -42 -120 0 96171 -42 -126 0 96171 -42 -129 0 96171 -42 -86 0 96171 -42 -87 0 96171 -42 -57 0 96171 -42 -58 0 96171 -43 -95 0 96171 -43 -101 0 96171 -43 -44 0 96171 -43 -45 0 96171 -44 -74 0 96171 -44 -75 0 96171 -44 -87 0 96171 -44 -88 0 96171 -44 -89 0 96171 -44 -96 0 96171 -44 -105 0 96171 -44 -106 0 96171 -44 -125 0 96171 -44 -126 0 96171 -44 -45 0 96171 -45 -71 0 96171 -45 -94 0 96171 -45 -97 0 96171 -45 -124 0 96171 -45 -102 0 96171 -45 -83 0 96171 -45 -86 0 96171 -45 -107 0 96171 -45 -108 0 96171 -45 -110 0 96171 -45 -127 0 96171 -45 -128 0 96171 -45 -129 0 96171 -46 -47 0 96171 -46 -48 0 96171 -46 -49 0 96171 -46 -50 0 96171 -47 -48 0 96171 -47 -49 0 96171 -47 -50 0 96171 -47 -76 0 96171 -48 -70 0 96171 -48 -49 0 96171 -48 -50 0 96171 -48 -76 0 96171 -49 -50 0 96171 -49 -83 0 96171 -49 -93 0 96171 -49 -95 0 96171 -49 -96 0 96171 -49 -66 0 96171 -49 -76 0 96171 -50 -68 0 96171 -50 -76 0 96171 -50 -83 0 96171 -50 -93 0 96171 -50 -95 0 96171 -50 -96 0 96171 -50 -51 0 96171 -50 -67 0 96171 -50 -94 0 96171 -50 -97 0 96171 -50 -118 0 96171 -51 -52 0 96171 -51 -61 0 96171 -51 -63 0 96171 -51 -92 0 96171 -51 -94 0 96171 -51 -108 0 96171 -51 -118 0 96171 -51 -128 0 96171 -51 -67 0 96171 -51 -68 0 96171 -51 -97 0 96171 -52 -61 0 96171 -52 -63 0 96171 -52 -92 0 96171 -52 -94 0 96171 -52 -108 0 96171 -52 -118 0 96171 -52 -128 0 96171 -53 -54 0 96171 -53 -55 0 96171 -53 -56 0 96171 -53 -57 0 96171 -53 -61 0 96171 -53 -63 0 96171 -53 -80 0 96171 -53 -81 0 96171 -53 -88 0 96171 -53 -89 0 96171 -53 -92 0 96171 -53 -106 0 96171 -53 -107 0 96171 -53 -108 0 96171 -53 -125 0 96171 -53 -126 0 96171 -53 -127 0 96171 -53 -128 0 96171 -53 -129 0 96171 -53 -62 0 96171 -53 -91 0 96171 -53 -99 0 96171 -53 -103 0 96171 -53 -115 0 96171 -53 -116 0 96171 -53 -131 0 96171 -53 -114 0 96171 -54 -55 0 96171 -54 -60 0 96171 -54 -63 0 96171 -54 -81 0 96171 -54 -89 0 96171 -54 -91 0 96171 -54 -99 0 96171 -54 -106 0 96171 -54 -107 0 96171 -54 -108 0 96171 -54 -112 0 96171 -54 -116 0 96171 -54 -117 0 96171 -54 -120 0 96171 -54 -126 0 96171 -54 -129 0 96171 -54 -131 0 96171 -54 -56 0 96171 -54 -57 0 96171 -54 -61 0 96171 -54 -80 0 96171 -54 -88 0 96171 -54 -92 0 96171 -54 -125 0 96171 -54 -127 0 96171 -54 -128 0 96171 -54 -113 0 96171 -55 -60 0 96171 -55 -63 0 96171 -55 -81 0 96171 -55 -89 0 96171 -55 -91 0 96171 -55 -99 0 96171 -55 -106 0 96171 -55 -107 0 96171 -55 -108 0 96171 -55 -112 0 96171 -55 -116 0 96171 -55 -117 0 96171 -55 -120 0 96171 -55 -126 0 96171 -55 -129 0 96171 -55 -131 0 96171 -55 -56 0 96171 -55 -62 0 96171 -55 -90 0 96171 -55 -98 0 96171 -55 -114 0 96171 -55 -130 0 96171 -55 -57 0 96171 -55 -61 0 96171 -55 -80 0 96171 -55 -88 0 96171 -55 -92 0 96171 -55 -125 0 96171 -55 -127 0 96171 -55 -128 0 96171 -55 -115 0 96171 -56 -62 0 96171 -56 -90 0 96171 -56 -98 0 96171 -56 -114 0 96171 -56 -130 0 96171 -56 -57 0 96171 -56 -61 0 96171 -56 -63 0 96171 -56 -80 0 96171 -56 -81 0 96171 -56 -88 0 96171 -56 -89 0 96171 -56 -92 0 96171 -56 -106 0 96171 -56 -107 0 96171 -56 -108 0 96171 -56 -125 0 96171 -56 -126 0 96171 -56 -127 0 96171 -56 -128 0 96171 -56 -129 0 96171 -56 -91 0 96171 -56 -99 0 96171 -56 -103 0 96171 -56 -115 0 96171 -56 -116 0 96171 -56 -131 0 96171 -56 -113 0 96171 -56 -117 0 96171 -57 -123 0 96171 -57 -59 0 96171 -57 -61 0 96171 -57 -80 0 96171 -57 -119 0 96171 -57 -125 0 96171 -57 -127 0 96171 -57 -128 0 96171 -57 -63 0 96171 -57 -81 0 96171 -57 -88 0 96171 -57 -89 0 96171 -57 -92 0 96171 -57 -106 0 96171 -57 -107 0 96171 -57 -108 0 96171 -57 -126 0 96171 -57 -129 0 96171 -57 -58 0 96171 -58 -64 0 96171 -58 -73 0 96171 -58 -75 0 96171 -58 -79 0 96171 -58 -123 0 96171 -59 -61 0 96171 -59 -80 0 96171 -59 -119 0 96171 -59 -125 0 96171 -59 -127 0 96171 -59 -128 0 96171 -59 -60 0 96171 -59 -62 0 96171 -59 -97 0 96171 -59 -103 0 96171 -59 -63 0 96171 -60 -63 0 96171 -60 -81 0 96171 -60 -89 0 96171 -60 -91 0 96171 -60 -99 0 96171 -60 -106 0 96171 -60 -107 0 96171 -60 -108 0 96171 -60 -112 0 96171 -60 -116 0 96171 -60 -117 0 96171 -60 -120 0 96171 -60 -126 0 96171 -60 -129 0 96171 -60 -131 0 96171 -60 -62 0 96171 -60 -97 0 96171 -60 -103 0 96171 -60 -61 0 96171 -61 -63 0 96171 -61 -92 0 96171 -61 -94 0 96171 -61 -108 0 96171 -61 -118 0 96171 -61 -128 0 96171 -61 -71 0 96171 -61 -77 0 96171 -61 -80 0 96171 -61 -119 0 96171 -61 -125 0 96171 -61 -127 0 96171 -61 -81 0 96171 -61 -88 0 96171 -61 -89 0 96171 -61 -106 0 96171 -61 -107 0 96171 -61 -126 0 96171 -61 -129 0 96171 -61 -62 0 96171 -62 -90 0 96171 -62 -98 0 96171 -62 -114 0 96171 -62 -130 0 96171 -62 -63 0 96171 -62 -81 0 96171 -62 -120 0 96171 -62 -126 0 96171 -62 -129 0 96171 -62 -91 0 96171 -62 -92 0 96171 -62 -99 0 96171 -62 -103 0 96171 -62 -115 0 96171 -62 -116 0 96171 -62 -131 0 96171 -62 -97 0 96171 -63 -92 0 96171 -63 -94 0 96171 -63 -108 0 96171 -63 -118 0 96171 -63 -128 0 96171 -63 -71 0 96171 -63 -77 0 96171 -63 -81 0 96171 -63 -89 0 96171 -63 -91 0 96171 -63 -99 0 96171 -63 -106 0 96171 -63 -107 0 96171 -63 -112 0 96171 -63 -116 0 96171 -63 -117 0 96171 -63 -120 0 96171 -63 -126 0 96171 -63 -129 0 96171 -63 -131 0 96171 -63 -80 0 96171 -63 -88 0 96171 -63 -125 0 96171 -63 -127 0 96171 -64 -73 0 96171 -64 -75 0 96171 -64 -79 0 96171 -64 -123 0 96171 -64 -121 0 96171 -65 -74 0 96171 -65 -75 0 96171 -65 -105 0 96171 -66 -68 0 96171 -66 -70 0 96171 -66 -82 0 96171 -66 -84 0 96171 -66 -67 0 96171 -67 -68 0 96171 -67 -94 0 96171 -67 -97 0 96171 -67 -118 0 96171 -68 -76 0 96171 -68 -70 0 96171 -68 -82 0 96171 -68 -84 0 96171 -68 -94 0 96171 -68 -97 0 96171 -68 -118 0 96171 -69 -70 0 96171 -70 -82 0 96171 -70 -84 0 96171 -71 -77 0 96171 -71 -94 0 96171 -71 -97 0 96171 -71 -124 0 96171 -72 -73 0 96171 -72 -104 0 96171 -72 -74 0 96171 -72 -78 0 96171 -72 -75 0 96171 -72 -76 0 96171 -73 -104 0 96171 -73 -75 0 96171 -73 -79 0 96171 -73 -123 0 96171 -73 -74 0 96171 -73 -76 0 96171 -74 -75 0 96171 -74 -105 0 96171 -74 -87 0 96171 -74 -88 0 96171 -74 -89 0 96171 -74 -96 0 96171 -74 -106 0 96171 -74 -125 0 96171 -74 -126 0 96171 -74 -78 0 96171 -74 -76 0 96171 -75 -105 0 96171 -75 -79 0 96171 -75 -123 0 96171 -75 -87 0 96171 -75 -88 0 96171 -75 -89 0 96171 -75 -96 0 96171 -75 -106 0 96171 -75 -125 0 96171 -75 -126 0 96171 -75 -76 0 96171 -76 -104 0 96171 -76 -105 0 96171 -77 -94 0 96171 -78 -79 0 96171 -79 -123 0 96171 -80 -119 0 96171 -80 -125 0 96171 -80 -127 0 96171 -80 -128 0 96171 -80 -81 0 96171 -80 -88 0 96171 -80 -89 0 96171 -80 -92 0 96171 -80 -106 0 96171 -80 -107 0 96171 -80 -108 0 96171 -80 -126 0 96171 -80 -129 0 96171 -81 -89 0 96171 -81 -91 0 96171 -81 -99 0 96171 -81 -106 0 96171 -81 -107 0 96171 -81 -108 0 96171 -81 -112 0 96171 -81 -116 0 96171 -81 -117 0 96171 -81 -120 0 96171 -81 -126 0 96171 -81 -129 0 96171 -81 -131 0 96171 -81 -88 0 96171 -81 -92 0 96171 -81 -125 0 96171 -81 -127 0 96171 -81 -128 0 96171 -82 -84 0 96171 -83 -93 0 96171 -83 -95 0 96171 -83 -96 0 96171 -83 -86 0 96171 -83 -102 0 96171 -83 -107 0 96171 -83 -108 0 96171 -83 -110 0 96171 -83 -127 0 96171 -83 -128 0 96171 -83 -129 0 96171 -85 -109 0 96171 -85 -86 0 96171 -85 -87 0 96171 -85 -88 0 96171 -85 -89 0 96171 -86 -87 0 96171 -86 -110 0 96171 -86 -102 0 96171 -86 -107 0 96171 -86 -108 0 96171 -86 -127 0 96171 -86 -128 0 96171 -86 -129 0 96171 -86 -88 0 96171 -86 -89 0 96171 -87 -88 0 96171 -87 -89 0 96171 -87 -96 0 96171 -87 -105 0 96171 -87 -106 0 96171 -87 -125 0 96171 -87 -126 0 96171 -87 -110 0 96171 -88 -89 0 96171 -88 -96 0 96171 -88 -105 0 96171 -88 -106 0 96171 -88 -125 0 96171 -88 -126 0 96171 -88 -111 0 96171 -88 -115 0 96171 -88 -117 0 96171 -88 -92 0 96171 -88 -107 0 96171 -88 -108 0 96171 -88 -127 0 96171 -88 -128 0 96171 -88 -129 0 96171 -89 -91 0 96171 -89 -99 0 96171 -89 -106 0 96171 -89 -107 0 96171 -89 -108 0 96171 -89 -112 0 96171 -89 -116 0 96171 -89 -117 0 96171 -89 -120 0 96171 -89 -126 0 96171 -89 -129 0 96171 -89 -131 0 96171 -89 -96 0 96171 -89 -105 0 96171 -89 -125 0 96171 -89 -109 0 96171 -89 -110 0 96171 -89 -113 0 96171 -89 -114 0 96171 -89 -92 0 96171 -89 -127 0 96171 -89 -128 0 96171 -90 -98 0 96171 -90 -114 0 96171 -90 -130 0 96171 -90 -91 0 96171 -91 -99 0 96171 -91 -106 0 96171 -91 -107 0 96171 -91 -108 0 96171 -91 -112 0 96171 -91 -116 0 96171 -91 -117 0 96171 -91 -120 0 96171 -91 -126 0 96171 -91 -129 0 96171 -91 -131 0 96171 -91 -92 0 96171 -91 -103 0 96171 -91 -115 0 96171 -92 -94 0 96171 -92 -108 0 96171 -92 -118 0 96171 -92 -128 0 96171 -92 -106 0 96171 -92 -107 0 96171 -92 -125 0 96171 -92 -126 0 96171 -92 -127 0 96171 -92 -129 0 96171 -92 -99 0 96171 -92 -103 0 96171 -92 -115 0 96171 -92 -116 0 96171 -92 -131 0 96171 -92 -114 0 96171 -93 -95 0 96171 -93 -96 0 96171 -93 -94 0 96171 -93 -97 0 96171 -94 -108 0 96171 -94 -118 0 96171 -94 -128 0 96171 -94 -97 0 96171 -94 -124 0 96171 -94 -95 0 96171 -94 -96 0 96171 -95 -96 0 96171 -95 -101 0 96171 -95 -97 0 96171 -96 -105 0 96171 -96 -106 0 96171 -96 -125 0 96171 -96 -126 0 96171 -96 -97 0 96171 -97 -124 0 96171 -97 -118 0 96171 -97 -119 0 96171 -97 -120 0 96171 -97 -103 0 96171 -98 -114 0 96171 -98 -130 0 96171 -98 -99 0 96171 -99 -106 0 96171 -99 -107 0 96171 -99 -108 0 96171 -99 -112 0 96171 -99 -116 0 96171 -99 -117 0 96171 -99 -120 0 96171 -99 -126 0 96171 -99 -129 0 96171 -99 -131 0 96171 -99 -103 0 96171 -99 -115 0 96171 -100 -101 0 96171 -100 -102 0 96171 -101 -102 0 96171 -102 -103 0 96171 -102 -107 0 96171 -102 -108 0 96171 -102 -110 0 96171 -102 -127 0 96171 -102 -128 0 96171 -102 -129 0 96171 -103 -115 0 96171 -103 -116 0 96171 -103 -131 0 96171 -104 -105 0 96171 -105 -106 0 96171 -105 -125 0 96171 -105 -126 0 96171 -106 -107 0 96171 -106 -108 0 96171 -106 -112 0 96171 -106 -116 0 96171 -106 -117 0 96171 -106 -120 0 96171 -106 -126 0 96171 -106 -129 0 96171 -106 -131 0 96171 -106 -125 0 96171 -106 -127 0 96171 -106 -128 0 96171 -106 -109 0 96171 -106 -110 0 96171 -107 -108 0 96171 -107 -112 0 96171 -107 -116 0 96171 -107 -117 0 96171 -107 -120 0 96171 -107 -126 0 96171 -107 -129 0 96171 -107 -131 0 96171 -107 -125 0 96171 -107 -127 0 96171 -107 -128 0 96171 -107 -110 0 96171 -107 -109 0 96171 -108 -112 0 96171 -108 -116 0 96171 -108 -117 0 96171 -108 -120 0 96171 -108 -126 0 96171 -108 -129 0 96171 -108 -131 0 96171 -108 -125 0 96171 -108 -127 0 96171 -108 -128 0 96171 -108 -118 0 96171 -108 -110 0 96171 -108 -109 0 96171 -109 -110 0 96171 -109 -112 0 96171 -109 -113 0 96171 -109 -114 0 96171 -109 -116 0 96171 -110 -112 0 96171 -110 -113 0 96171 -110 -114 0 96171 -110 -116 0 96171 -110 -127 0 96171 -110 -128 0 96171 -110 -129 0 96171 -111 -115 0 96171 -111 -117 0 96171 -111 -112 0 96171 -112 -113 0 96171 -112 -114 0 96171 -112 -116 0 96171 -112 -117 0 96171 -112 -120 0 96171 -112 -126 0 96171 -112 -129 0 96171 -112 -131 0 96171 -113 -114 0 96171 -113 -116 0 96171 -113 -117 0 96171 -113 -115 0 96171 -114 -116 0 96171 -114 -130 0 96171 -114 -115 0 96171 -114 -117 0 96171 -115 -117 0 96171 -115 -116 0 96171 -115 -131 0 96171 -116 -117 0 96171 -116 -120 0 96171 -116 -126 0 96171 -116 -129 0 96171 -116 -131 0 96171 -117 -120 0 96171 -117 -126 0 96171 -117 -129 0 96171 -117 -131 0 96171 -118 -128 0 96171 -119 -125 0 96171 -119 -127 0 96171 -119 -128 0 96171 -119 -120 0 96171 -120 -126 0 96171 -120 -129 0 96171 -120 -131 0 96171 -122 -123 0 96171 -125 -126 0 96171 -125 -127 0 96171 -125 -128 0 96171 -125 -129 0 96171 -126 -127 0 96171 -126 -128 0 96171 -126 -129 0 96171 -126 -131 0 96171 -127 -128 0 96171 -127 -129 0 96171 -128 -129 0 96171 -129 -131 0 96171 -130 -131 0