c Filename:  ii8a4.sat
c
c Source: Mauricio Resende (AT&T Bell Labs)  (mgcr@gauss.att.com)
c
c Reference: "A continuous approach to inductive inference" by
c Kamath, Karmarkar, Ramakrishnan, and Resende (Math Prog 57,
c 215--238) (1992).
c
c Note: Instance is satisfiable
c
p cnf 396 2798
 1 2
 0 
 3 4
 0 
 5 6
 0 
 7 8
 0 
 9 10
 0 
 11 12
 0 
 13 14
 0 
 15 16
 0 
 17 18
 0 
 19 20
 0 
 21 22
 0 
 23 24
 0 
 25 26
 0 
 27 28
 0 
 29 30
 0 
 31 32
 0 
 33 34
 0 
 35 36
 0 
 37 38
 0 
 39 40
 0 
 41 42
 0 
 43 44
 0 
 45 46
 0 
 47 48
 0 
 49 50
 0 
 51 52
 0 
 53 54
 0 
 55 56
 0 
 57 58
 0 
 59 60
 0 
 61 62
 0 
 63 64
 0 
 65 66
 0 
 67 68
 0 
 69 70
 0 
 71 72
 0 
 73 74
 0 
 75 76
 0 
 77 78
 0 
 79 80
 0 
 81 82
 0 
 83 84
 0 
 85 86
 0 
 87 88
 0 
 89 90
 0 
 91 92
 0 
 93 94
 0 
 95 96
 0 
 -2 -3 -6 -8 -9 -12
 -14 -16
 0 
 -18 -19 -22 -24 -25 -28
 -30 -32
 0 
 -34 -35 -38 -40 -41 -44
 -46 -48
 0 
 -50 -51 -54 -56 -57 -60
 -62 -64
 0 
 -66 -67 -70 -72 -73 -76
 -78 -80
 0 
 -82 -83 -86 -88 -89 -92
 -94 -96
 0 
 -1 -4 -6 -7 -10 -11
 -13 -16
 0 
 -17 -20 -22 -23 -26 -27
 -29 -32
 0 
 -33 -36 -38 -39 -42 -43
 -45 -48
 0 
 -49 -52 -54 -55 -58 -59
 -61 -64
 0 
 -65 -68 -70 -71 -74 -75
 -77 -80
 0 
 -81 -84 -86 -87 -90 -91
 -93 -96
 0 
 -2 -3 -6 -8 -9 -11
 -14 -15
 0 
 -18 -19 -22 -24 -25 -27
 -30 -31
 0 
 -34 -35 -38 -40 -41 -43
 -46 -47
 0 
 -50 -51 -54 -56 -57 -59
 -62 -63
 0 
 -66 -67 -70 -72 -73 -75
 -78 -79
 0 
 -82 -83 -86 -88 -89 -91
 -94 -95
 0 
 -1 -3 -5 -7 -9 -12
 -13 -15
 0 
 -17 -19 -21 -23 -25 -28
 -29 -31
 0 
 -33 -35 -37 -39 -41 -44
 -45 -47
 0 
 -49 -51 -53 -55 -57 -60
 -61 -63
 0 
 -65 -67 -69 -71 -73 -76
 -77 -79
 0 
 -81 -83 -85 -87 -89 -92
 -93 -95
 0 
 -2 -3 -6 -7 -9 -11
 -13 -16
 0 
 -18 -19 -22 -23 -25 -27
 -29 -32
 0 
 -34 -35 -38 -39 -41 -43
 -45 -48
 0 
 -50 -51 -54 -55 -57 -59
 -61 -64
 0 
 -66 -67 -70 -71 -73 -75
 -77 -80
 0 
 -82 -83 -86 -87 -89 -91
 -93 -96
 0 
 -1 -4 -6 -8 -10 -11
 -14 -16
 0 
 -17 -20 -22 -24 -26 -27
 -30 -32
 0 
 -33 -36 -38 -40 -42 -43
 -46 -48
 0 
 -49 -52 -54 -56 -58 -59
 -62 -64
 0 
 -65 -68 -70 -72 -74 -75
 -78 -80
 0 
 -81 -84 -86 -88 -90 -91
 -94 -96
 0 
 -1 -4 -5 -7 -10 -11
 -13 -15
 0 
 -17 -20 -21 -23 -26 -27
 -29 -31
 0 
 -33 -36 -37 -39 -42 -43
 -45 -47
 0 
 -49 -52 -53 -55 -58 -59
 -61 -63
 0 
 -65 -68 -69 -71 -74 -75
 -77 -79
 0 
 -81 -84 -85 -87 -90 -91
 -93 -95
 0 
 -2 -3 -6 -7 -10 -11
 -13 -15
 0 
 -18 -19 -22 -23 -26 -27
 -29 -31
 0 
 -34 -35 -38 -39 -42 -43
 -45 -47
 0 
 -50 -51 -54 -55 -58 -59
 -61 -63
 0 
 -66 -67 -70 -71 -74 -75
 -77 -79
 0 
 -82 -83 -86 -87 -90 -91
 -93 -95
 0 
 -1 -3 -5 -7 -9 -11
 -14 -16
 0 
 -17 -19 -21 -23 -25 -27
 -30 -32
 0 
 -33 -35 -37 -39 -41 -43
 -46 -48
 0 
 -49 -51 -53 -55 -57 -59
 -62 -64
 0 
 -65 -67 -69 -71 -73 -75
 -78 -80
 0 
 -81 -83 -85 -87 -89 -91
 -94 -96
 0 
 -1 -4 -6 -7 -9 -11
 -14 -16
 0 
 -17 -20 -22 -23 -25 -27
 -30 -32
 0 
 -33 -36 -38 -39 -41 -43
 -46 -48
 0 
 -49 -52 -54 -55 -57 -59
 -62 -64
 0 
 -65 -68 -70 -71 -73 -75
 -78 -80
 0 
 -81 -84 -86 -87 -89 -91
 -94 -96
 0 
 -2 -3 -6 -8 -9 -11
 -14 -15
 0 
 -18 -19 -22 -24 -25 -27
 -30 -31
 0 
 -34 -35 -38 -40 -41 -43
 -46 -47
 0 
 -50 -51 -54 -56 -57 -59
 -62 -63
 0 
 -66 -67 -70 -72 -73 -75
 -78 -79
 0 
 -82 -83 -86 -88 -89 -91
 -94 -95
 0 
 -2 -3 -5 -7 -9 -11
 -13 -15
 0 
 -18 -19 -21 -23 -25 -27
 -29 -31
 0 
 -34 -35 -37 -39 -41 -43
 -45 -47
 0 
 -50 -51 -53 -55 -57 -59
 -61 -63
 0 
 -66 -67 -69 -71 -73 -75
 -77 -79
 0 
 -82 -83 -85 -87 -89 -91
 -93 -95
 0 
 -1 -3 -6 -7 -10 -11
 -13 -16
 0 
 -17 -19 -22 -23 -26 -27
 -29 -32
 0 
 -33 -35 -38 -39 -42 -43
 -45 -48
 0 
 -49 -51 -54 -55 -58 -59
 -61 -64
 0 
 -65 -67 -70 -71 -74 -75
 -77 -80
 0 
 -81 -83 -86 -87 -90 -91
 -93 -96
 0 
 -1 -3 -6 -7 -9 -12
 -13 -15
 0 
 -17 -19 -22 -23 -25 -28
 -29 -31
 0 
 -33 -35 -38 -39 -41 -44
 -45 -47
 0 
 -49 -51 -54 -55 -57 -60
 -61 -63
 0 
 -65 -67 -70 -71 -73 -76
 -77 -79
 0 
 -81 -83 -86 -87 -89 -92
 -93 -95
 0 
 -1 -3 -6 -8 -10 -12
 -14 -15
 0 
 -17 -19 -22 -24 -26 -28
 -30 -31
 0 
 -33 -35 -38 -40 -42 -44
 -46 -47
 0 
 -49 -51 -54 -56 -58 -60
 -62 -63
 0 
 -65 -67 -70 -72 -74 -76
 -78 -79
 0 
 -81 -83 -86 -88 -90 -92
 -94 -95
 0 
 -1 -3 -5 -7 -10 -11
 -14 -16
 0 
 -17 -19 -21 -23 -26 -27
 -30 -32
 0 
 -33 -35 -37 -39 -42 -43
 -46 -48
 0 
 -49 -51 -53 -55 -58 -59
 -62 -64
 0 
 -65 -67 -69 -71 -74 -75
 -78 -80
 0 
 -81 -83 -85 -87 -90 -91
 -94 -96
 0 
 -2 -3 -6 -7 -10 -12
 -14 -16
 0 
 -18 -19 -22 -23 -26 -28
 -30 -32
 0 
 -34 -35 -38 -39 -42 -44
 -46 -48
 0 
 -50 -51 -54 -55 -58 -60
 -62 -64
 0 
 -66 -67 -70 -71 -74 -76
 -78 -80
 0 
 -82 -83 -86 -87 -90 -92
 -94 -96
 0 
 -1 -3 -6 -7 -9 -11
 -13 -16
 0 
 -17 -19 -22 -23 -25 -27
 -29 -32
 0 
 -33 -35 -38 -39 -41 -43
 -45 -48
 0 
 -49 -51 -54 -55 -57 -59
 -61 -64
 0 
 -65 -67 -70 -71 -73 -75
 -77 -80
 0 
 -81 -83 -86 -87 -89 -91
 -93 -96
 0 
 -1 -3 -6 -7 -9 -12
 -13 -16
 0 
 -17 -19 -22 -23 -25 -28
 -29 -32
 0 
 -33 -35 -38 -39 -41 -44
 -45 -48
 0 
 -49 -51 -54 -55 -57 -60
 -61 -64
 0 
 -65 -67 -70 -71 -73 -76
 -77 -80
 0 
 -81 -83 -86 -87 -89 -92
 -93 -96
 0 
 -1 -3 -6 -8 -10 -12
 -14 -16
 0 
 -17 -19 -22 -24 -26 -28
 -30 -32
 0 
 -33 -35 -38 -40 -42 -44
 -46 -48
 0 
 -49 -51 -54 -56 -58 -60
 -62 -64
 0 
 -65 -67 -70 -72 -74 -76
 -78 -80
 0 
 -81 -83 -86 -88 -90 -92
 -94 -96
 0 
 -1 -4 -6 -8 -9 -12
 -14 -15
 0 
 -17 -20 -22 -24 -25 -28
 -30 -31
 0 
 -33 -36 -38 -40 -41 -44
 -46 -47
 0 
 -49 -52 -54 -56 -57 -60
 -62 -63
 0 
 -65 -68 -70 -72 -73 -76
 -78 -79
 0 
 -81 -84 -86 -88 -89 -92
 -94 -95
 0 
 -1 -3 -5 -7 -9 -12
 -13 -15
 0 
 -17 -19 -21 -23 -25 -28
 -29 -31
 0 
 -33 -35 -37 -39 -41 -44
 -45 -47
 0 
 -49 -51 -53 -55 -57 -60
 -61 -63
 0 
 -65 -67 -69 -71 -73 -76
 -77 -79
 0 
 -81 -83 -85 -87 -89 -92
 -93 -95
 0 
 -1 -3 -5 -7 -9 -11
 -14 -16
 0 
 -17 -19 -21 -23 -25 -27
 -30 -32
 0 
 -33 -35 -37 -39 -41 -43
 -46 -48
 0 
 -49 -51 -53 -55 -57 -59
 -62 -64
 0 
 -65 -67 -69 -71 -73 -75
 -78 -80
 0 
 -81 -83 -85 -87 -89 -91
 -94 -96
 0 
 -1 -4 -6 -7 -10 -11
 -13 -15
 0 
 -17 -20 -22 -23 -26 -27
 -29 -31
 0 
 -33 -36 -38 -39 -42 -43
 -45 -47
 0 
 -49 -52 -54 -55 -58 -59
 -61 -63
 0 
 -65 -68 -70 -71 -74 -75
 -77 -79
 0 
 -81 -84 -86 -87 -90 -91
 -93 -95
 0 
 -1 -3 -6 -7 -10 -12
 -13 -15
 0 
 -17 -19 -22 -23 -26 -28
 -29 -31
 0 
 -33 -35 -38 -39 -42 -44
 -45 -47
 0 
 -49 -51 -54 -55 -58 -60
 -61 -63
 0 
 -65 -67 -70 -71 -74 -76
 -77 -79
 0 
 -81 -83 -86 -87 -90 -92
 -93 -95
 0 
 -2 -3 -6 -7 -10 -11
 -13 -16
 0 
 -18 -19 -22 -23 -26 -27
 -29 -32
 0 
 -34 -35 -38 -39 -42 -43
 -45 -48
 0 
 -50 -51 -54 -55 -58 -59
 -61 -64
 0 
 -66 -67 -70 -71 -74 -75
 -77 -80
 0 
 -82 -83 -86 -87 -90 -91
 -93 -96
 0 
 -1 -3 -6 -8 -10 -11
 -14 -15
 0 
 -17 -19 -22 -24 -26 -27
 -30 -31
 0 
 -33 -35 -38 -40 -42 -43
 -46 -47
 0 
 -49 -51 -54 -56 -58 -59
 -62 -63
 0 
 -65 -67 -70 -72 -74 -75
 -78 -79
 0 
 -81 -83 -86 -88 -90 -91
 -94 -95
 0 
 -1 -3 -6 -7 -10 -12
 -14 -15
 0 
 -17 -19 -22 -23 -26 -28
 -30 -31
 0 
 -33 -35 -38 -39 -42 -44
 -46 -47
 0 
 -49 -51 -54 -55 -58 -60
 -62 -63
 0 
 -65 -67 -70 -71 -74 -76
 -78 -79
 0 
 -81 -83 -86 -87 -90 -92
 -94 -95
 0 
 -2 -3 -6 -8 -9 -11
 -14 -16
 0 
 -18 -19 -22 -24 -25 -27
 -30 -32
 0 
 -34 -35 -38 -40 -41 -43
 -46 -48
 0 
 -50 -51 -54 -56 -57 -59
 -62 -64
 0 
 -66 -67 -70 -72 -73 -75
 -78 -80
 0 
 -82 -83 -86 -88 -89 -91
 -94 -96
 0 
 -1 -3 -6 -7 -10 -12
 -13 -15
 0 
 -17 -19 -22 -23 -26 -28
 -29 -31
 0 
 -33 -35 -38 -39 -42 -44
 -45 -47
 0 
 -49 -51 -54 -55 -58 -60
 -61 -63
 0 
 -65 -67 -70 -71 -74 -76
 -77 -79
 0 
 -81 -83 -86 -87 -90 -92
 -93 -95
 0 
 -1 -4 -6 -7 -10 -11
 -14 -16
 0 
 -17 -20 -22 -23 -26 -27
 -30 -32
 0 
 -33 -36 -38 -39 -42 -43
 -46 -48
 0 
 -49 -52 -54 -55 -58 -59
 -62 -64
 0 
 -65 -68 -70 -71 -74 -75
 -78 -80
 0 
 -81 -84 -86 -87 -90 -91
 -94 -96
 0 
 -1 -4 -6 -7 -10 -12
 -14 -15
 0 
 -17 -20 -22 -23 -26 -28
 -30 -31
 0 
 -33 -36 -38 -39 -42 -44
 -46 -47
 0 
 -49 -52 -54 -55 -58 -60
 -62 -63
 0 
 -65 -68 -70 -71 -74 -76
 -78 -79
 0 
 -81 -84 -86 -87 -90 -92
 -94 -95
 0 
 -1 -4 -5 -7 -10 -11
 -14 -15
 0 
 -17 -20 -21 -23 -26 -27
 -30 -31
 0 
 -33 -36 -37 -39 -42 -43
 -46 -47
 0 
 -49 -52 -53 -55 -58 -59
 -62 -63
 0 
 -65 -68 -69 -71 -74 -75
 -78 -79
 0 
 -81 -84 -85 -87 -90 -91
 -94 -95
 0 
 -1 -3 -6 -7 -9 -11
 -14 -15
 0 
 -17 -19 -22 -23 -25 -27
 -30 -31
 0 
 -33 -35 -38 -39 -41 -43
 -46 -47
 0 
 -49 -51 -54 -55 -57 -59
 -62 -63
 0 
 -65 -67 -70 -71 -73 -75
 -78 -79
 0 
 -81 -83 -86 -87 -89 -91
 -94 -95
 0 
 -2 -3 -6 -7 -9 -12
 -14 -16
 0 
 -18 -19 -22 -23 -25 -28
 -30 -32
 0 
 -34 -35 -38 -39 -41 -44
 -46 -48
 0 
 -50 -51 -54 -55 -57 -60
 -62 -64
 0 
 -66 -67 -70 -71 -73 -76
 -78 -80
 0 
 -82 -83 -86 -87 -89 -92
 -94 -96
 0 
 -1 -4 -5 -7 -10 -11
 -13 -15
 0 
 -17 -20 -21 -23 -26 -27
 -29 -31
 0 
 -33 -36 -37 -39 -42 -43
 -45 -47
 0 
 -49 -52 -53 -55 -58 -59
 -61 -63
 0 
 -65 -68 -69 -71 -74 -75
 -77 -79
 0 
 -81 -84 -85 -87 -90 -91
 -93 -95
 0 
 -1 -3 -5 -7 -10 -11
 -14 -15
 0 
 -17 -19 -21 -23 -26 -27
 -30 -31
 0 
 -33 -35 -37 -39 -42 -43
 -46 -47
 0 
 -49 -51 -53 -55 -58 -59
 -62 -63
 0 
 -65 -67 -69 -71 -74 -75
 -78 -79
 0 
 -81 -83 -85 -87 -90 -91
 -94 -95
 0 
 -1 -3 -5 -7 -9 -11
 -14 -16
 0 
 -17 -19 -21 -23 -25 -27
 -30 -32
 0 
 -33 -35 -37 -39 -41 -43
 -46 -48
 0 
 -49 -51 -53 -55 -57 -59
 -62 -64
 0 
 -65 -67 -69 -71 -73 -75
 -78 -80
 0 
 -81 -83 -85 -87 -89 -91
 -94 -96
 0 
 -2 -4 -6 -7 -9 -12
 -13 -15
 0 
 -18 -20 -22 -23 -25 -28
 -29 -31
 0 
 -34 -36 -38 -39 -41 -44
 -45 -47
 0 
 -50 -52 -54 -55 -57 -60
 -61 -63
 0 
 -66 -68 -70 -71 -73 -76
 -77 -79
 0 
 -82 -84 -86 -87 -89 -92
 -93 -95
 0 
 -1 -3 -6 -8 -9 -12
 -14 -16
 0 
 -17 -19 -22 -24 -25 -28
 -30 -32
 0 
 -33 -35 -38 -40 -41 -44
 -46 -48
 0 
 -49 -51 -54 -56 -57 -60
 -62 -64
 0 
 -65 -67 -70 -72 -73 -76
 -78 -80
 0 
 -81 -83 -86 -88 -89 -92
 -94 -96
 0 
 -2 -4 -6 -8 -9 -12
 -14 -15
 0 
 -18 -20 -22 -24 -25 -28
 -30 -31
 0 
 -34 -36 -38 -40 -41 -44
 -46 -47
 0 
 -50 -52 -54 -56 -57 -60
 -62 -63
 0 
 -66 -68 -70 -72 -73 -76
 -78 -79
 0 
 -82 -84 -86 -88 -89 -92
 -94 -95
 0 
 -1 -3 -5 -7 -10 -11
 -14 -16
 0 
 -17 -19 -21 -23 -26 -27
 -30 -32
 0 
 -33 -35 -37 -39 -42 -43
 -46 -48
 0 
 -49 -51 -53 -55 -58 -59
 -62 -64
 0 
 -65 -67 -69 -71 -74 -75
 -78 -80
 0 
 -81 -83 -85 -87 -90 -91
 -94 -96
 0 
 -2 -3 -5 -7 -9 -12
 -13 -16
 0 
 -18 -19 -21 -23 -25 -28
 -29 -32
 0 
 -34 -35 -37 -39 -41 -44
 -45 -48
 0 
 -50 -51 -53 -55 -57 -60
 -61 -64
 0 
 -66 -67 -69 -71 -73 -76
 -77 -80
 0 
 -82 -83 -85 -87 -89 -92
 -93 -96
 0 
 -1 -4 -6 -7 -10 -11
 -13 -16
 0 
 -17 -20 -22 -23 -26 -27
 -29 -32
 0 
 -33 -36 -38 -39 -42 -43
 -45 -48
 0 
 -49 -52 -54 -55 -58 -59
 -61 -64
 0 
 -65 -68 -70 -71 -74 -75
 -77 -80
 0 
 -81 -84 -86 -87 -90 -91
 -93 -96
 0 
 -1 -3 -6 -8 -10 -11
 -14 -16
 0 
 -17 -19 -22 -24 -26 -27
 -30 -32
 0 
 -33 -35 -38 -40 -42 -43
 -46 -48
 0 
 -49 -51 -54 -56 -58 -59
 -62 -64
 0 
 -65 -67 -70 -72 -74 -75
 -78 -80
 0 
 -81 -83 -86 -88 -90 -91
 -94 -96
 0 
 -2 -4 -6 -7 -9 -12
 -14 -16
 0 
 -18 -20 -22 -23 -25 -28
 -30 -32
 0 
 -34 -36 -38 -39 -41 -44
 -46 -48
 0 
 -50 -52 -54 -55 -57 -60
 -62 -64
 0 
 -66 -68 -70 -71 -73 -76
 -78 -80
 0 
 -82 -84 -86 -87 -89 -92
 -94 -96
 0 
 -2 -4 -6 -7 -10 -12
 -14 -16
 0 
 -18 -20 -22 -23 -26 -28
 -30 -32
 0 
 -34 -36 -38 -39 -42 -44
 -46 -48
 0 
 -50 -52 -54 -55 -58 -60
 -62 -64
 0 
 -66 -68 -70 -71 -74 -76
 -78 -80
 0 
 -82 -84 -86 -87 -90 -92
 -94 -96
 0 
 -1 -4 -6 -8 -9 -12
 -14 -15
 0 
 -17 -20 -22 -24 -25 -28
 -30 -31
 0 
 -33 -36 -38 -40 -41 -44
 -46 -47
 0 
 -49 -52 -54 -56 -57 -60
 -62 -63
 0 
 -65 -68 -70 -72 -73 -76
 -78 -79
 0 
 -81 -84 -86 -88 -89 -92
 -94 -95
 0 
 -1 -3 -6 -7 -9 -12
 -13 -15
 0 
 -17 -19 -22 -23 -25 -28
 -29 -31
 0 
 -33 -35 -38 -39 -41 -44
 -45 -47
 0 
 -49 -51 -54 -55 -57 -60
 -61 -63
 0 
 -65 -67 -70 -71 -73 -76
 -77 -79
 0 
 -81 -83 -86 -87 -89 -92
 -93 -95
 0 
 -1 -3 -6 -8 -9 -11
 -14 -15
 0 
 -17 -19 -22 -24 -25 -27
 -30 -31
 0 
 -33 -35 -38 -40 -41 -43
 -46 -47
 0 
 -49 -51 -54 -56 -57 -59
 -62 -63
 0 
 -65 -67 -70 -72 -73 -75
 -78 -79
 0 
 -81 -83 -86 -88 -89 -91
 -94 -95
 0 
 1 -97
 0 
 3 -97
 0 
 5 -97
 0 
 8 -97
 0 
 10 -97
 0 
 11 -97
 0 
 13 -97
 0 
 15 -97
 0 
 17 -98
 0 
 19 -98
 0 
 21 -98
 0 
 24 -98
 0 
 26 -98
 0 
 27 -98
 0 
 29 -98
 0 
 31 -98
 0 
 33 -99
 0 
 35 -99
 0 
 37 -99
 0 
 40 -99
 0 
 42 -99
 0 
 43 -99
 0 
 45 -99
 0 
 47 -99
 0 
 49 -100
 0 
 51 -100
 0 
 53 -100
 0 
 56 -100
 0 
 58 -100
 0 
 59 -100
 0 
 61 -100
 0 
 63 -100
 0 
 65 -101
 0 
 67 -101
 0 
 69 -101
 0 
 72 -101
 0 
 74 -101
 0 
 75 -101
 0 
 77 -101
 0 
 79 -101
 0 
 81 -102
 0 
 83 -102
 0 
 85 -102
 0 
 88 -102
 0 
 90 -102
 0 
 91 -102
 0 
 93 -102
 0 
 95 -102
 0 
 2 -103
 0 
 3 -103
 0 
 6 -103
 0 
 8 -103
 0 
 9 -103
 0 
 12 -103
 0 
 13 -103
 0 
 16 -103
 0 
 18 -104
 0 
 19 -104
 0 
 22 -104
 0 
 24 -104
 0 
 25 -104
 0 
 28 -104
 0 
 29 -104
 0 
 32 -104
 0 
 34 -105
 0 
 35 -105
 0 
 38 -105
 0 
 40 -105
 0 
 41 -105
 0 
 44 -105
 0 
 45 -105
 0 
 48 -105
 0 
 50 -106
 0 
 51 -106
 0 
 54 -106
 0 
 56 -106
 0 
 57 -106
 0 
 60 -106
 0 
 61 -106
 0 
 64 -106
 0 
 66 -107
 0 
 67 -107
 0 
 70 -107
 0 
 72 -107
 0 
 73 -107
 0 
 76 -107
 0 
 77 -107
 0 
 80 -107
 0 
 82 -108
 0 
 83 -108
 0 
 86 -108
 0 
 88 -108
 0 
 89 -108
 0 
 92 -108
 0 
 93 -108
 0 
 96 -108
 0 
 2 -109
 0 
 4 -109
 0 
 5 -109
 0 
 8 -109
 0 
 10 -109
 0 
 11 -109
 0 
 13 -109
 0 
 16 -109
 0 
 18 -110
 0 
 20 -110
 0 
 21 -110
 0 
 24 -110
 0 
 26 -110
 0 
 27 -110
 0 
 29 -110
 0 
 32 -110
 0 
 34 -111
 0 
 36 -111
 0 
 37 -111
 0 
 40 -111
 0 
 42 -111
 0 
 43 -111
 0 
 45 -111
 0 
 48 -111
 0 
 50 -112
 0 
 52 -112
 0 
 53 -112
 0 
 56 -112
 0 
 58 -112
 0 
 59 -112
 0 
 61 -112
 0 
 64 -112
 0 
 66 -113
 0 
 68 -113
 0 
 69 -113
 0 
 72 -113
 0 
 74 -113
 0 
 75 -113
 0 
 77 -113
 0 
 80 -113
 0 
 82 -114
 0 
 84 -114
 0 
 85 -114
 0 
 88 -114
 0 
 90 -114
 0 
 91 -114
 0 
 93 -114
 0 
 96 -114
 0 
 2 -115
 0 
 4 -115
 0 
 5 -115
 0 
 7 -115
 0 
 9 -115
 0 
 11 -115
 0 
 14 -115
 0 
 15 -115
 0 
 18 -116
 0 
 20 -116
 0 
 21 -116
 0 
 23 -116
 0 
 25 -116
 0 
 27 -116
 0 
 30 -116
 0 
 31 -116
 0 
 34 -117
 0 
 36 -117
 0 
 37 -117
 0 
 39 -117
 0 
 41 -117
 0 
 43 -117
 0 
 46 -117
 0 
 47 -117
 0 
 50 -118
 0 
 52 -118
 0 
 53 -118
 0 
 55 -118
 0 
 57 -118
 0 
 59 -118
 0 
 62 -118
 0 
 63 -118
 0 
 66 -119
 0 
 68 -119
 0 
 69 -119
 0 
 71 -119
 0 
 73 -119
 0 
 75 -119
 0 
 78 -119
 0 
 79 -119
 0 
 82 -120
 0 
 84 -120
 0 
 85 -120
 0 
 87 -120
 0 
 89 -120
 0 
 91 -120
 0 
 94 -120
 0 
 95 -120
 0 
 1 -121
 0 
 3 -121
 0 
 5 -121
 0 
 8 -121
 0 
 9 -121
 0 
 11 -121
 0 
 13 -121
 0 
 16 -121
 0 
 17 -122
 0 
 19 -122
 0 
 21 -122
 0 
 24 -122
 0 
 25 -122
 0 
 27 -122
 0 
 29 -122
 0 
 32 -122
 0 
 33 -123
 0 
 35 -123
 0 
 37 -123
 0 
 40 -123
 0 
 41 -123
 0 
 43 -123
 0 
 45 -123
 0 
 48 -123
 0 
 49 -124
 0 
 51 -124
 0 
 53 -124
 0 
 56 -124
 0 
 57 -124
 0 
 59 -124
 0 
 61 -124
 0 
 64 -124
 0 
 65 -125
 0 
 67 -125
 0 
 69 -125
 0 
 72 -125
 0 
 73 -125
 0 
 75 -125
 0 
 77 -125
 0 
 80 -125
 0 
 81 -126
 0 
 83 -126
 0 
 85 -126
 0 
 88 -126
 0 
 89 -126
 0 
 91 -126
 0 
 93 -126
 0 
 96 -126
 0 
 1 -127
 0 
 4 -127
 0 
 5 -127
 0 
 8 -127
 0 
 10 -127
 0 
 12 -127
 0 
 14 -127
 0 
 16 -127
 0 
 17 -128
 0 
 20 -128
 0 
 21 -128
 0 
 24 -128
 0 
 26 -128
 0 
 28 -128
 0 
 30 -128
 0 
 32 -128
 0 
 33 -129
 0 
 36 -129
 0 
 37 -129
 0 
 40 -129
 0 
 42 -129
 0 
 44 -129
 0 
 46 -129
 0 
 48 -129
 0 
 49 -130
 0 
 52 -130
 0 
 53 -130
 0 
 56 -130
 0 
 58 -130
 0 
 60 -130
 0 
 62 -130
 0 
 64 -130
 0 
 65 -131
 0 
 68 -131
 0 
 69 -131
 0 
 72 -131
 0 
 74 -131
 0 
 76 -131
 0 
 78 -131
 0 
 80 -131
 0 
 81 -132
 0 
 84 -132
 0 
 85 -132
 0 
 88 -132
 0 
 90 -132
 0 
 92 -132
 0 
 94 -132
 0 
 96 -132
 0 
 1 -133
 0 
 4 -133
 0 
 5 -133
 0 
 8 -133
 0 
 10 -133
 0 
 11 -133
 0 
 13 -133
 0 
 16 -133
 0 
 17 -134
 0 
 20 -134
 0 
 21 -134
 0 
 24 -134
 0 
 26 -134
 0 
 27 -134
 0 
 29 -134
 0 
 32 -134
 0 
 33 -135
 0 
 36 -135
 0 
 37 -135
 0 
 40 -135
 0 
 42 -135
 0 
 43 -135
 0 
 45 -135
 0 
 48 -135
 0 
 49 -136
 0 
 52 -136
 0 
 53 -136
 0 
 56 -136
 0 
 58 -136
 0 
 59 -136
 0 
 61 -136
 0 
 64 -136
 0 
 65 -137
 0 
 68 -137
 0 
 69 -137
 0 
 72 -137
 0 
 74 -137
 0 
 75 -137
 0 
 77 -137
 0 
 80 -137
 0 
 81 -138
 0 
 84 -138
 0 
 85 -138
 0 
 88 -138
 0 
 90 -138
 0 
 91 -138
 0 
 93 -138
 0 
 96 -138
 0 
 2 -139
 0 
 3 -139
 0 
 5 -139
 0 
 8 -139
 0 
 10 -139
 0 
 11 -139
 0 
 13 -139
 0 
 16 -139
 0 
 18 -140
 0 
 19 -140
 0 
 21 -140
 0 
 24 -140
 0 
 26 -140
 0 
 27 -140
 0 
 29 -140
 0 
 32 -140
 0 
 34 -141
 0 
 35 -141
 0 
 37 -141
 0 
 40 -141
 0 
 42 -141
 0 
 43 -141
 0 
 45 -141
 0 
 48 -141
 0 
 50 -142
 0 
 51 -142
 0 
 53 -142
 0 
 56 -142
 0 
 58 -142
 0 
 59 -142
 0 
 61 -142
 0 
 64 -142
 0 
 66 -143
 0 
 67 -143
 0 
 69 -143
 0 
 72 -143
 0 
 74 -143
 0 
 75 -143
 0 
 77 -143
 0 
 80 -143
 0 
 82 -144
 0 
 83 -144
 0 
 85 -144
 0 
 88 -144
 0 
 90 -144
 0 
 91 -144
 0 
 93 -144
 0 
 96 -144
 0 
 1 -145
 0 
 3 -145
 0 
 6 -145
 0 
 8 -145
 0 
 9 -145
 0 
 11 -145
 0 
 13 -145
 0 
 15 -145
 0 
 17 -146
 0 
 19 -146
 0 
 22 -146
 0 
 24 -146
 0 
 25 -146
 0 
 27 -146
 0 
 29 -146
 0 
 31 -146
 0 
 33 -147
 0 
 35 -147
 0 
 38 -147
 0 
 40 -147
 0 
 41 -147
 0 
 43 -147
 0 
 45 -147
 0 
 47 -147
 0 
 49 -148
 0 
 51 -148
 0 
 54 -148
 0 
 56 -148
 0 
 57 -148
 0 
 59 -148
 0 
 61 -148
 0 
 63 -148
 0 
 65 -149
 0 
 67 -149
 0 
 70 -149
 0 
 72 -149
 0 
 73 -149
 0 
 75 -149
 0 
 77 -149
 0 
 79 -149
 0 
 81 -150
 0 
 83 -150
 0 
 86 -150
 0 
 88 -150
 0 
 89 -150
 0 
 91 -150
 0 
 93 -150
 0 
 95 -150
 0 
 1 -151
 0 
 3 -151
 0 
 6 -151
 0 
 8 -151
 0 
 10 -151
 0 
 12 -151
 0 
 13 -151
 0 
 15 -151
 0 
 17 -152
 0 
 19 -152
 0 
 22 -152
 0 
 24 -152
 0 
 26 -152
 0 
 28 -152
 0 
 29 -152
 0 
 31 -152
 0 
 33 -153
 0 
 35 -153
 0 
 38 -153
 0 
 40 -153
 0 
 42 -153
 0 
 44 -153
 0 
 45 -153
 0 
 47 -153
 0 
 49 -154
 0 
 51 -154
 0 
 54 -154
 0 
 56 -154
 0 
 58 -154
 0 
 60 -154
 0 
 61 -154
 0 
 63 -154
 0 
 65 -155
 0 
 67 -155
 0 
 70 -155
 0 
 72 -155
 0 
 74 -155
 0 
 76 -155
 0 
 77 -155
 0 
 79 -155
 0 
 81 -156
 0 
 83 -156
 0 
 86 -156
 0 
 88 -156
 0 
 90 -156
 0 
 92 -156
 0 
 93 -156
 0 
 95 -156
 0 
 2 -157
 0 
 3 -157
 0 
 5 -157
 0 
 8 -157
 0 
 9 -157
 0 
 12 -157
 0 
 14 -157
 0 
 16 -157
 0 
 18 -158
 0 
 19 -158
 0 
 21 -158
 0 
 24 -158
 0 
 25 -158
 0 
 28 -158
 0 
 30 -158
 0 
 32 -158
 0 
 34 -159
 0 
 35 -159
 0 
 37 -159
 0 
 40 -159
 0 
 41 -159
 0 
 44 -159
 0 
 46 -159
 0 
 48 -159
 0 
 50 -160
 0 
 51 -160
 0 
 53 -160
 0 
 56 -160
 0 
 57 -160
 0 
 60 -160
 0 
 62 -160
 0 
 64 -160
 0 
 66 -161
 0 
 67 -161
 0 
 69 -161
 0 
 72 -161
 0 
 73 -161
 0 
 76 -161
 0 
 78 -161
 0 
 80 -161
 0 
 82 -162
 0 
 83 -162
 0 
 85 -162
 0 
 88 -162
 0 
 89 -162
 0 
 92 -162
 0 
 94 -162
 0 
 96 -162
 0 
 1 -163
 0 
 4 -163
 0 
 5 -163
 0 
 8 -163
 0 
 10 -163
 0 
 12 -163
 0 
 13 -163
 0 
 16 -163
 0 
 17 -164
 0 
 20 -164
 0 
 21 -164
 0 
 24 -164
 0 
 26 -164
 0 
 28 -164
 0 
 29 -164
 0 
 32 -164
 0 
 33 -165
 0 
 36 -165
 0 
 37 -165
 0 
 40 -165
 0 
 42 -165
 0 
 44 -165
 0 
 45 -165
 0 
 48 -165
 0 
 49 -166
 0 
 52 -166
 0 
 53 -166
 0 
 56 -166
 0 
 58 -166
 0 
 60 -166
 0 
 61 -166
 0 
 64 -166
 0 
 65 -167
 0 
 68 -167
 0 
 69 -167
 0 
 72 -167
 0 
 74 -167
 0 
 76 -167
 0 
 77 -167
 0 
 80 -167
 0 
 81 -168
 0 
 84 -168
 0 
 85 -168
 0 
 88 -168
 0 
 90 -168
 0 
 92 -168
 0 
 93 -168
 0 
 96 -168
 0 
 2 -169
 0 
 4 -169
 0 
 5 -169
 0 
 7 -169
 0 
 10 -169
 0 
 11 -169
 0 
 14 -169
 0 
 15 -169
 0 
 18 -170
 0 
 20 -170
 0 
 21 -170
 0 
 23 -170
 0 
 26 -170
 0 
 27 -170
 0 
 30 -170
 0 
 31 -170
 0 
 34 -171
 0 
 36 -171
 0 
 37 -171
 0 
 39 -171
 0 
 42 -171
 0 
 43 -171
 0 
 46 -171
 0 
 47 -171
 0 
 50 -172
 0 
 52 -172
 0 
 53 -172
 0 
 55 -172
 0 
 58 -172
 0 
 59 -172
 0 
 62 -172
 0 
 63 -172
 0 
 66 -173
 0 
 68 -173
 0 
 69 -173
 0 
 71 -173
 0 
 74 -173
 0 
 75 -173
 0 
 78 -173
 0 
 79 -173
 0 
 82 -174
 0 
 84 -174
 0 
 85 -174
 0 
 87 -174
 0 
 90 -174
 0 
 91 -174
 0 
 94 -174
 0 
 95 -174
 0 
 1 -175
 0 
 3 -175
 0 
 6 -175
 0 
 8 -175
 0 
 9 -175
 0 
 11 -175
 0 
 13 -175
 0 
 16 -175
 0 
 17 -176
 0 
 19 -176
 0 
 22 -176
 0 
 24 -176
 0 
 25 -176
 0 
 27 -176
 0 
 29 -176
 0 
 32 -176
 0 
 33 -177
 0 
 35 -177
 0 
 38 -177
 0 
 40 -177
 0 
 41 -177
 0 
 43 -177
 0 
 45 -177
 0 
 48 -177
 0 
 49 -178
 0 
 51 -178
 0 
 54 -178
 0 
 56 -178
 0 
 57 -178
 0 
 59 -178
 0 
 61 -178
 0 
 64 -178
 0 
 65 -179
 0 
 67 -179
 0 
 70 -179
 0 
 72 -179
 0 
 73 -179
 0 
 75 -179
 0 
 77 -179
 0 
 80 -179
 0 
 81 -180
 0 
 83 -180
 0 
 86 -180
 0 
 88 -180
 0 
 89 -180
 0 
 91 -180
 0 
 93 -180
 0 
 96 -180
 0 
 2 -181
 0 
 3 -181
 0 
 5 -181
 0 
 8 -181
 0 
 10 -181
 0 
 12 -181
 0 
 13 -181
 0 
 16 -181
 0 
 18 -182
 0 
 19 -182
 0 
 21 -182
 0 
 24 -182
 0 
 26 -182
 0 
 28 -182
 0 
 29 -182
 0 
 32 -182
 0 
 34 -183
 0 
 35 -183
 0 
 37 -183
 0 
 40 -183
 0 
 42 -183
 0 
 44 -183
 0 
 45 -183
 0 
 48 -183
 0 
 50 -184
 0 
 51 -184
 0 
 53 -184
 0 
 56 -184
 0 
 58 -184
 0 
 60 -184
 0 
 61 -184
 0 
 64 -184
 0 
 66 -185
 0 
 67 -185
 0 
 69 -185
 0 
 72 -185
 0 
 74 -185
 0 
 76 -185
 0 
 77 -185
 0 
 80 -185
 0 
 82 -186
 0 
 83 -186
 0 
 85 -186
 0 
 88 -186
 0 
 90 -186
 0 
 92 -186
 0 
 93 -186
 0 
 96 -186
 0 
 1 -187
 0 
 3 -187
 0 
 5 -187
 0 
 8 -187
 0 
 10 -187
 0 
 12 -187
 0 
 13 -187
 0 
 15 -187
 0 
 17 -188
 0 
 19 -188
 0 
 21 -188
 0 
 24 -188
 0 
 26 -188
 0 
 28 -188
 0 
 29 -188
 0 
 31 -188
 0 
 33 -189
 0 
 35 -189
 0 
 37 -189
 0 
 40 -189
 0 
 42 -189
 0 
 44 -189
 0 
 45 -189
 0 
 47 -189
 0 
 49 -190
 0 
 51 -190
 0 
 53 -190
 0 
 56 -190
 0 
 58 -190
 0 
 60 -190
 0 
 61 -190
 0 
 63 -190
 0 
 65 -191
 0 
 67 -191
 0 
 69 -191
 0 
 72 -191
 0 
 74 -191
 0 
 76 -191
 0 
 77 -191
 0 
 79 -191
 0 
 81 -192
 0 
 83 -192
 0 
 85 -192
 0 
 88 -192
 0 
 90 -192
 0 
 92 -192
 0 
 93 -192
 0 
 95 -192
 0 
 1 -193
 0 
 3 -193
 0 
 5 -193
 0 
 8 -193
 0 
 9 -193
 0 
 11 -193
 0 
 14 -193
 0 
 15 -193
 0 
 17 -194
 0 
 19 -194
 0 
 21 -194
 0 
 24 -194
 0 
 25 -194
 0 
 27 -194
 0 
 30 -194
 0 
 31 -194
 0 
 33 -195
 0 
 35 -195
 0 
 37 -195
 0 
 40 -195
 0 
 41 -195
 0 
 43 -195
 0 
 46 -195
 0 
 47 -195
 0 
 49 -196
 0 
 51 -196
 0 
 53 -196
 0 
 56 -196
 0 
 57 -196
 0 
 59 -196
 0 
 62 -196
 0 
 63 -196
 0 
 65 -197
 0 
 67 -197
 0 
 69 -197
 0 
 72 -197
 0 
 73 -197
 0 
 75 -197
 0 
 78 -197
 0 
 79 -197
 0 
 81 -198
 0 
 83 -198
 0 
 85 -198
 0 
 88 -198
 0 
 89 -198
 0 
 91 -198
 0 
 94 -198
 0 
 95 -198
 0 
 2 -199
 0 
 3 -199
 0 
 5 -199
 0 
 8 -199
 0 
 10 -199
 0 
 11 -199
 0 
 13 -199
 0 
 16 -199
 0 
 18 -200
 0 
 19 -200
 0 
 21 -200
 0 
 24 -200
 0 
 26 -200
 0 
 27 -200
 0 
 29 -200
 0 
 32 -200
 0 
 34 -201
 0 
 35 -201
 0 
 37 -201
 0 
 40 -201
 0 
 42 -201
 0 
 43 -201
 0 
 45 -201
 0 
 48 -201
 0 
 50 -202
 0 
 51 -202
 0 
 53 -202
 0 
 56 -202
 0 
 58 -202
 0 
 59 -202
 0 
 61 -202
 0 
 64 -202
 0 
 66 -203
 0 
 67 -203
 0 
 69 -203
 0 
 72 -203
 0 
 74 -203
 0 
 75 -203
 0 
 77 -203
 0 
 80 -203
 0 
 82 -204
 0 
 83 -204
 0 
 85 -204
 0 
 88 -204
 0 
 90 -204
 0 
 91 -204
 0 
 93 -204
 0 
 96 -204
 0 
 2 -205
 0 
 4 -205
 0 
 5 -205
 0 
 8 -205
 0 
 10 -205
 0 
 12 -205
 0 
 13 -205
 0 
 16 -205
 0 
 18 -206
 0 
 20 -206
 0 
 21 -206
 0 
 24 -206
 0 
 26 -206
 0 
 28 -206
 0 
 29 -206
 0 
 32 -206
 0 
 34 -207
 0 
 36 -207
 0 
 37 -207
 0 
 40 -207
 0 
 42 -207
 0 
 44 -207
 0 
 45 -207
 0 
 48 -207
 0 
 50 -208
 0 
 52 -208
 0 
 53 -208
 0 
 56 -208
 0 
 58 -208
 0 
 60 -208
 0 
 61 -208
 0 
 64 -208
 0 
 66 -209
 0 
 68 -209
 0 
 69 -209
 0 
 72 -209
 0 
 74 -209
 0 
 76 -209
 0 
 77 -209
 0 
 80 -209
 0 
 82 -210
 0 
 84 -210
 0 
 85 -210
 0 
 88 -210
 0 
 90 -210
 0 
 92 -210
 0 
 93 -210
 0 
 96 -210
 0 
 1 -211
 0 
 3 -211
 0 
 5 -211
 0 
 8 -211
 0 
 9 -211
 0 
 12 -211
 0 
 13 -211
 0 
 15 -211
 0 
 17 -212
 0 
 19 -212
 0 
 21 -212
 0 
 24 -212
 0 
 25 -212
 0 
 28 -212
 0 
 29 -212
 0 
 31 -212
 0 
 33 -213
 0 
 35 -213
 0 
 37 -213
 0 
 40 -213
 0 
 41 -213
 0 
 44 -213
 0 
 45 -213
 0 
 47 -213
 0 
 49 -214
 0 
 51 -214
 0 
 53 -214
 0 
 56 -214
 0 
 57 -214
 0 
 60 -214
 0 
 61 -214
 0 
 63 -214
 0 
 65 -215
 0 
 67 -215
 0 
 69 -215
 0 
 72 -215
 0 
 73 -215
 0 
 76 -215
 0 
 77 -215
 0 
 79 -215
 0 
 81 -216
 0 
 83 -216
 0 
 85 -216
 0 
 88 -216
 0 
 89 -216
 0 
 92 -216
 0 
 93 -216
 0 
 95 -216
 0 
 2 -217
 0 
 3 -217
 0 
 5 -217
 0 
 8 -217
 0 
 10 -217
 0 
 11 -217
 0 
 14 -217
 0 
 15 -217
 0 
 18 -218
 0 
 19 -218
 0 
 21 -218
 0 
 24 -218
 0 
 26 -218
 0 
 27 -218
 0 
 30 -218
 0 
 31 -218
 0 
 34 -219
 0 
 35 -219
 0 
 37 -219
 0 
 40 -219
 0 
 42 -219
 0 
 43 -219
 0 
 46 -219
 0 
 47 -219
 0 
 50 -220
 0 
 51 -220
 0 
 53 -220
 0 
 56 -220
 0 
 58 -220
 0 
 59 -220
 0 
 62 -220
 0 
 63 -220
 0 
 66 -221
 0 
 67 -221
 0 
 69 -221
 0 
 72 -221
 0 
 74 -221
 0 
 75 -221
 0 
 78 -221
 0 
 79 -221
 0 
 82 -222
 0 
 83 -222
 0 
 85 -222
 0 
 88 -222
 0 
 90 -222
 0 
 91 -222
 0 
 94 -222
 0 
 95 -222
 0 
 1 -223
 0 
 4 -223
 0 
 6 -223
 0 
 8 -223
 0 
 10 -223
 0 
 12 -223
 0 
 13 -223
 0 
 15 -223
 0 
 17 -224
 0 
 20 -224
 0 
 22 -224
 0 
 24 -224
 0 
 26 -224
 0 
 28 -224
 0 
 29 -224
 0 
 31 -224
 0 
 33 -225
 0 
 36 -225
 0 
 38 -225
 0 
 40 -225
 0 
 42 -225
 0 
 44 -225
 0 
 45 -225
 0 
 47 -225
 0 
 49 -226
 0 
 52 -226
 0 
 54 -226
 0 
 56 -226
 0 
 58 -226
 0 
 60 -226
 0 
 61 -226
 0 
 63 -226
 0 
 65 -227
 0 
 68 -227
 0 
 70 -227
 0 
 72 -227
 0 
 74 -227
 0 
 76 -227
 0 
 77 -227
 0 
 79 -227
 0 
 81 -228
 0 
 84 -228
 0 
 86 -228
 0 
 88 -228
 0 
 90 -228
 0 
 92 -228
 0 
 93 -228
 0 
 95 -228
 0 
 1 -229
 0 
 3 -229
 0 
 6 -229
 0 
 8 -229
 0 
 9 -229
 0 
 12 -229
 0 
 13 -229
 0 
 16 -229
 0 
 17 -230
 0 
 19 -230
 0 
 22 -230
 0 
 24 -230
 0 
 25 -230
 0 
 28 -230
 0 
 29 -230
 0 
 32 -230
 0 
 33 -231
 0 
 35 -231
 0 
 38 -231
 0 
 40 -231
 0 
 41 -231
 0 
 44 -231
 0 
 45 -231
 0 
 48 -231
 0 
 49 -232
 0 
 51 -232
 0 
 54 -232
 0 
 56 -232
 0 
 57 -232
 0 
 60 -232
 0 
 61 -232
 0 
 64 -232
 0 
 65 -233
 0 
 67 -233
 0 
 70 -233
 0 
 72 -233
 0 
 73 -233
 0 
 76 -233
 0 
 77 -233
 0 
 80 -233
 0 
 81 -234
 0 
 83 -234
 0 
 86 -234
 0 
 88 -234
 0 
 89 -234
 0 
 92 -234
 0 
 93 -234
 0 
 96 -234
 0 
 2 -235
 0 
 4 -235
 0 
 5 -235
 0 
 8 -235
 0 
 9 -235
 0 
 12 -235
 0 
 13 -235
 0 
 16 -235
 0 
 18 -236
 0 
 20 -236
 0 
 21 -236
 0 
 24 -236
 0 
 25 -236
 0 
 28 -236
 0 
 29 -236
 0 
 32 -236
 0 
 34 -237
 0 
 36 -237
 0 
 37 -237
 0 
 40 -237
 0 
 41 -237
 0 
 44 -237
 0 
 45 -237
 0 
 48 -237
 0 
 50 -238
 0 
 52 -238
 0 
 53 -238
 0 
 56 -238
 0 
 57 -238
 0 
 60 -238
 0 
 61 -238
 0 
 64 -238
 0 
 66 -239
 0 
 68 -239
 0 
 69 -239
 0 
 72 -239
 0 
 73 -239
 0 
 76 -239
 0 
 77 -239
 0 
 80 -239
 0 
 82 -240
 0 
 84 -240
 0 
 85 -240
 0 
 88 -240
 0 
 89 -240
 0 
 92 -240
 0 
 93 -240
 0 
 96 -240
 0 
 1 -241
 0 
 3 -241
 0 
 6 -241
 0 
 8 -241
 0 
 9 -241
 0 
 11 -241
 0 
 13 -241
 0 
 16 -241
 0 
 17 -242
 0 
 19 -242
 0 
 22 -242
 0 
 24 -242
 0 
 25 -242
 0 
 27 -242
 0 
 29 -242
 0 
 32 -242
 0 
 33 -243
 0 
 35 -243
 0 
 38 -243
 0 
 40 -243
 0 
 41 -243
 0 
 43 -243
 0 
 45 -243
 0 
 48 -243
 0 
 49 -244
 0 
 51 -244
 0 
 54 -244
 0 
 56 -244
 0 
 57 -244
 0 
 59 -244
 0 
 61 -244
 0 
 64 -244
 0 
 65 -245
 0 
 67 -245
 0 
 70 -245
 0 
 72 -245
 0 
 73 -245
 0 
 75 -245
 0 
 77 -245
 0 
 80 -245
 0 
 81 -246
 0 
 83 -246
 0 
 86 -246
 0 
 88 -246
 0 
 89 -246
 0 
 91 -246
 0 
 93 -246
 0 
 96 -246
 0 
 2 -247
 0 
 4 -247
 0 
 5 -247
 0 
 7 -247
 0 
 10 -247
 0 
 11 -247
 0 
 13 -247
 0 
 16 -247
 0 
 18 -248
 0 
 20 -248
 0 
 21 -248
 0 
 23 -248
 0 
 26 -248
 0 
 27 -248
 0 
 29 -248
 0 
 32 -248
 0 
 34 -249
 0 
 36 -249
 0 
 37 -249
 0 
 39 -249
 0 
 42 -249
 0 
 43 -249
 0 
 45 -249
 0 
 48 -249
 0 
 50 -250
 0 
 52 -250
 0 
 53 -250
 0 
 55 -250
 0 
 58 -250
 0 
 59 -250
 0 
 61 -250
 0 
 64 -250
 0 
 66 -251
 0 
 68 -251
 0 
 69 -251
 0 
 71 -251
 0 
 74 -251
 0 
 75 -251
 0 
 77 -251
 0 
 80 -251
 0 
 82 -252
 0 
 84 -252
 0 
 85 -252
 0 
 87 -252
 0 
 90 -252
 0 
 91 -252
 0 
 93 -252
 0 
 96 -252
 0 
 1 -253
 0 
 4 -253
 0 
 5 -253
 0 
 8 -253
 0 
 9 -253
 0 
 11 -253
 0 
 14 -253
 0 
 15 -253
 0 
 17 -254
 0 
 20 -254
 0 
 21 -254
 0 
 24 -254
 0 
 25 -254
 0 
 27 -254
 0 
 30 -254
 0 
 31 -254
 0 
 33 -255
 0 
 36 -255
 0 
 37 -255
 0 
 40 -255
 0 
 41 -255
 0 
 43 -255
 0 
 46 -255
 0 
 47 -255
 0 
 49 -256
 0 
 52 -256
 0 
 53 -256
 0 
 56 -256
 0 
 57 -256
 0 
 59 -256
 0 
 62 -256
 0 
 63 -256
 0 
 65 -257
 0 
 68 -257
 0 
 69 -257
 0 
 72 -257
 0 
 73 -257
 0 
 75 -257
 0 
 78 -257
 0 
 79 -257
 0 
 81 -258
 0 
 84 -258
 0 
 85 -258
 0 
 88 -258
 0 
 89 -258
 0 
 91 -258
 0 
 94 -258
 0 
 95 -258
 0 
 1 -259
 0 
 3 -259
 0 
 5 -259
 0 
 8 -259
 0 
 10 -259
 0 
 12 -259
 0 
 14 -259
 0 
 15 -259
 0 
 17 -260
 0 
 19 -260
 0 
 21 -260
 0 
 24 -260
 0 
 26 -260
 0 
 28 -260
 0 
 30 -260
 0 
 31 -260
 0 
 33 -261
 0 
 35 -261
 0 
 37 -261
 0 
 40 -261
 0 
 42 -261
 0 
 44 -261
 0 
 46 -261
 0 
 47 -261
 0 
 49 -262
 0 
 51 -262
 0 
 53 -262
 0 
 56 -262
 0 
 58 -262
 0 
 60 -262
 0 
 62 -262
 0 
 63 -262
 0 
 65 -263
 0 
 67 -263
 0 
 69 -263
 0 
 72 -263
 0 
 74 -263
 0 
 76 -263
 0 
 78 -263
 0 
 79 -263
 0 
 81 -264
 0 
 83 -264
 0 
 85 -264
 0 
 88 -264
 0 
 90 -264
 0 
 92 -264
 0 
 94 -264
 0 
 95 -264
 0 
 1 -265
 0 
 4 -265
 0 
 5 -265
 0 
 8 -265
 0 
 10 -265
 0 
 12 -265
 0 
 14 -265
 0 
 16 -265
 0 
 17 -266
 0 
 20 -266
 0 
 21 -266
 0 
 24 -266
 0 
 26 -266
 0 
 28 -266
 0 
 30 -266
 0 
 32 -266
 0 
 33 -267
 0 
 36 -267
 0 
 37 -267
 0 
 40 -267
 0 
 42 -267
 0 
 44 -267
 0 
 46 -267
 0 
 48 -267
 0 
 49 -268
 0 
 52 -268
 0 
 53 -268
 0 
 56 -268
 0 
 58 -268
 0 
 60 -268
 0 
 62 -268
 0 
 64 -268
 0 
 65 -269
 0 
 68 -269
 0 
 69 -269
 0 
 72 -269
 0 
 74 -269
 0 
 76 -269
 0 
 78 -269
 0 
 80 -269
 0 
 81 -270
 0 
 84 -270
 0 
 85 -270
 0 
 88 -270
 0 
 90 -270
 0 
 92 -270
 0 
 94 -270
 0 
 96 -270
 0 
 1 -271
 0 
 4 -271
 0 
 6 -271
 0 
 8 -271
 0 
 9 -271
 0 
 12 -271
 0 
 13 -271
 0 
 15 -271
 0 
 17 -272
 0 
 20 -272
 0 
 22 -272
 0 
 24 -272
 0 
 25 -272
 0 
 28 -272
 0 
 29 -272
 0 
 31 -272
 0 
 33 -273
 0 
 36 -273
 0 
 38 -273
 0 
 40 -273
 0 
 41 -273
 0 
 44 -273
 0 
 45 -273
 0 
 47 -273
 0 
 49 -274
 0 
 52 -274
 0 
 54 -274
 0 
 56 -274
 0 
 57 -274
 0 
 60 -274
 0 
 61 -274
 0 
 63 -274
 0 
 65 -275
 0 
 68 -275
 0 
 70 -275
 0 
 72 -275
 0 
 73 -275
 0 
 76 -275
 0 
 77 -275
 0 
 79 -275
 0 
 81 -276
 0 
 84 -276
 0 
 86 -276
 0 
 88 -276
 0 
 89 -276
 0 
 92 -276
 0 
 93 -276
 0 
 95 -276
 0 
 1 -277
 0 
 3 -277
 0 
 6 -277
 0 
 8 -277
 0 
 10 -277
 0 
 12 -277
 0 
 13 -277
 0 
 16 -277
 0 
 17 -278
 0 
 19 -278
 0 
 22 -278
 0 
 24 -278
 0 
 26 -278
 0 
 28 -278
 0 
 29 -278
 0 
 32 -278
 0 
 33 -279
 0 
 35 -279
 0 
 38 -279
 0 
 40 -279
 0 
 42 -279
 0 
 44 -279
 0 
 45 -279
 0 
 48 -279
 0 
 49 -280
 0 
 51 -280
 0 
 54 -280
 0 
 56 -280
 0 
 58 -280
 0 
 60 -280
 0 
 61 -280
 0 
 64 -280
 0 
 65 -281
 0 
 67 -281
 0 
 70 -281
 0 
 72 -281
 0 
 74 -281
 0 
 76 -281
 0 
 77 -281
 0 
 80 -281
 0 
 81 -282
 0 
 83 -282
 0 
 86 -282
 0 
 88 -282
 0 
 90 -282
 0 
 92 -282
 0 
 93 -282
 0 
 96 -282
 0 
 2 -283
 0 
 4 -283
 0 
 5 -283
 0 
 8 -283
 0 
 10 -283
 0 
 11 -283
 0 
 14 -283
 0 
 15 -283
 0 
 18 -284
 0 
 20 -284
 0 
 21 -284
 0 
 24 -284
 0 
 26 -284
 0 
 27 -284
 0 
 30 -284
 0 
 31 -284
 0 
 34 -285
 0 
 36 -285
 0 
 37 -285
 0 
 40 -285
 0 
 42 -285
 0 
 43 -285
 0 
 46 -285
 0 
 47 -285
 0 
 50 -286
 0 
 52 -286
 0 
 53 -286
 0 
 56 -286
 0 
 58 -286
 0 
 59 -286
 0 
 62 -286
 0 
 63 -286
 0 
 66 -287
 0 
 68 -287
 0 
 69 -287
 0 
 72 -287
 0 
 74 -287
 0 
 75 -287
 0 
 78 -287
 0 
 79 -287
 0 
 82 -288
 0 
 84 -288
 0 
 85 -288
 0 
 88 -288
 0 
 90 -288
 0 
 91 -288
 0 
 94 -288
 0 
 95 -288
 0 
 2 -289
 0 
 3 -289
 0 
 5 -289
 0 
 8 -289
 0 
 9 -289
 0 
 11 -289
 0 
 14 -289
 0 
 16 -289
 0 
 18 -290
 0 
 19 -290
 0 
 21 -290
 0 
 24 -290
 0 
 25 -290
 0 
 27 -290
 0 
 30 -290
 0 
 32 -290
 0 
 34 -291
 0 
 35 -291
 0 
 37 -291
 0 
 40 -291
 0 
 41 -291
 0 
 43 -291
 0 
 46 -291
 0 
 48 -291
 0 
 50 -292
 0 
 51 -292
 0 
 53 -292
 0 
 56 -292
 0 
 57 -292
 0 
 59 -292
 0 
 62 -292
 0 
 64 -292
 0 
 66 -293
 0 
 67 -293
 0 
 69 -293
 0 
 72 -293
 0 
 73 -293
 0 
 75 -293
 0 
 78 -293
 0 
 80 -293
 0 
 82 -294
 0 
 83 -294
 0 
 85 -294
 0 
 88 -294
 0 
 89 -294
 0 
 91 -294
 0 
 94 -294
 0 
 96 -294
 0 
 2 -295
 0 
 4 -295
 0 
 6 -295
 0 
 8 -295
 0 
 9 -295
 0 
 12 -295
 0 
 13 -295
 0 
 15 -295
 0 
 18 -296
 0 
 20 -296
 0 
 22 -296
 0 
 24 -296
 0 
 25 -296
 0 
 28 -296
 0 
 29 -296
 0 
 31 -296
 0 
 34 -297
 0 
 36 -297
 0 
 38 -297
 0 
 40 -297
 0 
 41 -297
 0 
 44 -297
 0 
 45 -297
 0 
 47 -297
 0 
 50 -298
 0 
 52 -298
 0 
 54 -298
 0 
 56 -298
 0 
 57 -298
 0 
 60 -298
 0 
 61 -298
 0 
 63 -298
 0 
 66 -299
 0 
 68 -299
 0 
 70 -299
 0 
 72 -299
 0 
 73 -299
 0 
 76 -299
 0 
 77 -299
 0 
 79 -299
 0 
 82 -300
 0 
 84 -300
 0 
 86 -300
 0 
 88 -300
 0 
 89 -300
 0 
 92 -300
 0 
 93 -300
 0 
 95 -300
 0 
 2 -301
 0 
 4 -301
 0 
 5 -301
 0 
 8 -301
 0 
 10 -301
 0 
 12 -301
 0 
 14 -301
 0 
 16 -301
 0 
 18 -302
 0 
 20 -302
 0 
 21 -302
 0 
 24 -302
 0 
 26 -302
 0 
 28 -302
 0 
 30 -302
 0 
 32 -302
 0 
 34 -303
 0 
 36 -303
 0 
 37 -303
 0 
 40 -303
 0 
 42 -303
 0 
 44 -303
 0 
 46 -303
 0 
 48 -303
 0 
 50 -304
 0 
 52 -304
 0 
 53 -304
 0 
 56 -304
 0 
 58 -304
 0 
 60 -304
 0 
 62 -304
 0 
 64 -304
 0 
 66 -305
 0 
 68 -305
 0 
 69 -305
 0 
 72 -305
 0 
 74 -305
 0 
 76 -305
 0 
 78 -305
 0 
 80 -305
 0 
 82 -306
 0 
 84 -306
 0 
 85 -306
 0 
 88 -306
 0 
 90 -306
 0 
 92 -306
 0 
 94 -306
 0 
 96 -306
 0 
 2 -307
 0 
 3 -307
 0 
 6 -307
 0 
 8 -307
 0 
 9 -307
 0 
 11 -307
 0 
 13 -307
 0 
 15 -307
 0 
 18 -308
 0 
 19 -308
 0 
 22 -308
 0 
 24 -308
 0 
 25 -308
 0 
 27 -308
 0 
 29 -308
 0 
 31 -308
 0 
 34 -309
 0 
 35 -309
 0 
 38 -309
 0 
 40 -309
 0 
 41 -309
 0 
 43 -309
 0 
 45 -309
 0 
 47 -309
 0 
 50 -310
 0 
 51 -310
 0 
 54 -310
 0 
 56 -310
 0 
 57 -310
 0 
 59 -310
 0 
 61 -310
 0 
 63 -310
 0 
 66 -311
 0 
 67 -311
 0 
 70 -311
 0 
 72 -311
 0 
 73 -311
 0 
 75 -311
 0 
 77 -311
 0 
 79 -311
 0 
 82 -312
 0 
 83 -312
 0 
 86 -312
 0 
 88 -312
 0 
 89 -312
 0 
 91 -312
 0 
 93 -312
 0 
 95 -312
 0 
 2 -313
 0 
 4 -313
 0 
 5 -313
 0 
 7 -313
 0 
 10 -313
 0 
 11 -313
 0 
 13 -313
 0 
 15 -313
 0 
 18 -314
 0 
 20 -314
 0 
 21 -314
 0 
 23 -314
 0 
 26 -314
 0 
 27 -314
 0 
 29 -314
 0 
 31 -314
 0 
 34 -315
 0 
 36 -315
 0 
 37 -315
 0 
 39 -315
 0 
 42 -315
 0 
 43 -315
 0 
 45 -315
 0 
 47 -315
 0 
 50 -316
 0 
 52 -316
 0 
 53 -316
 0 
 55 -316
 0 
 58 -316
 0 
 59 -316
 0 
 61 -316
 0 
 63 -316
 0 
 66 -317
 0 
 68 -317
 0 
 69 -317
 0 
 71 -317
 0 
 74 -317
 0 
 75 -317
 0 
 77 -317
 0 
 79 -317
 0 
 82 -318
 0 
 84 -318
 0 
 85 -318
 0 
 87 -318
 0 
 90 -318
 0 
 91 -318
 0 
 93 -318
 0 
 95 -318
 0 
 2 -319
 0 
 3 -319
 0 
 5 -319
 0 
 8 -319
 0 
 10 -319
 0 
 11 -319
 0 
 13 -319
 0 
 15 -319
 0 
 18 -320
 0 
 19 -320
 0 
 21 -320
 0 
 24 -320
 0 
 26 -320
 0 
 27 -320
 0 
 29 -320
 0 
 31 -320
 0 
 34 -321
 0 
 35 -321
 0 
 37 -321
 0 
 40 -321
 0 
 42 -321
 0 
 43 -321
 0 
 45 -321
 0 
 47 -321
 0 
 50 -322
 0 
 51 -322
 0 
 53 -322
 0 
 56 -322
 0 
 58 -322
 0 
 59 -322
 0 
 61 -322
 0 
 63 -322
 0 
 66 -323
 0 
 67 -323
 0 
 69 -323
 0 
 72 -323
 0 
 74 -323
 0 
 75 -323
 0 
 77 -323
 0 
 79 -323
 0 
 82 -324
 0 
 83 -324
 0 
 85 -324
 0 
 88 -324
 0 
 90 -324
 0 
 91 -324
 0 
 93 -324
 0 
 95 -324
 0 
 1 -325
 0 
 3 -325
 0 
 5 -325
 0 
 8 -325
 0 
 9 -325
 0 
 12 -325
 0 
 13 -325
 0 
 16 -325
 0 
 17 -326
 0 
 19 -326
 0 
 21 -326
 0 
 24 -326
 0 
 25 -326
 0 
 28 -326
 0 
 29 -326
 0 
 32 -326
 0 
 33 -327
 0 
 35 -327
 0 
 37 -327
 0 
 40 -327
 0 
 41 -327
 0 
 44 -327
 0 
 45 -327
 0 
 48 -327
 0 
 49 -328
 0 
 51 -328
 0 
 53 -328
 0 
 56 -328
 0 
 57 -328
 0 
 60 -328
 0 
 61 -328
 0 
 64 -328
 0 
 65 -329
 0 
 67 -329
 0 
 69 -329
 0 
 72 -329
 0 
 73 -329
 0 
 76 -329
 0 
 77 -329
 0 
 80 -329
 0 
 81 -330
 0 
 83 -330
 0 
 85 -330
 0 
 88 -330
 0 
 89 -330
 0 
 92 -330
 0 
 93 -330
 0 
 96 -330
 0 
 1 -331
 0 
 4 -331
 0 
 6 -331
 0 
 8 -331
 0 
 9 -331
 0 
 12 -331
 0 
 13 -331
 0 
 15 -331
 0 
 17 -332
 0 
 20 -332
 0 
 22 -332
 0 
 24 -332
 0 
 25 -332
 0 
 28 -332
 0 
 29 -332
 0 
 31 -332
 0 
 33 -333
 0 
 36 -333
 0 
 38 -333
 0 
 40 -333
 0 
 41 -333
 0 
 44 -333
 0 
 45 -333
 0 
 47 -333
 0 
 49 -334
 0 
 52 -334
 0 
 54 -334
 0 
 56 -334
 0 
 57 -334
 0 
 60 -334
 0 
 61 -334
 0 
 63 -334
 0 
 65 -335
 0 
 68 -335
 0 
 70 -335
 0 
 72 -335
 0 
 73 -335
 0 
 76 -335
 0 
 77 -335
 0 
 79 -335
 0 
 81 -336
 0 
 84 -336
 0 
 86 -336
 0 
 88 -336
 0 
 89 -336
 0 
 92 -336
 0 
 93 -336
 0 
 95 -336
 0 
 2 -337
 0 
 4 -337
 0 
 6 -337
 0 
 8 -337
 0 
 9 -337
 0 
 12 -337
 0 
 13 -337
 0 
 15 -337
 0 
 18 -338
 0 
 20 -338
 0 
 22 -338
 0 
 24 -338
 0 
 25 -338
 0 
 28 -338
 0 
 29 -338
 0 
 31 -338
 0 
 34 -339
 0 
 36 -339
 0 
 38 -339
 0 
 40 -339
 0 
 41 -339
 0 
 44 -339
 0 
 45 -339
 0 
 47 -339
 0 
 50 -340
 0 
 52 -340
 0 
 54 -340
 0 
 56 -340
 0 
 57 -340
 0 
 60 -340
 0 
 61 -340
 0 
 63 -340
 0 
 66 -341
 0 
 68 -341
 0 
 70 -341
 0 
 72 -341
 0 
 73 -341
 0 
 76 -341
 0 
 77 -341
 0 
 79 -341
 0 
 82 -342
 0 
 84 -342
 0 
 86 -342
 0 
 88 -342
 0 
 89 -342
 0 
 92 -342
 0 
 93 -342
 0 
 95 -342
 0 
 2 -343
 0 
 4 -343
 0 
 5 -343
 0 
 8 -343
 0 
 9 -343
 0 
 12 -343
 0 
 14 -343
 0 
 15 -343
 0 
 18 -344
 0 
 20 -344
 0 
 21 -344
 0 
 24 -344
 0 
 25 -344
 0 
 28 -344
 0 
 30 -344
 0 
 31 -344
 0 
 34 -345
 0 
 36 -345
 0 
 37 -345
 0 
 40 -345
 0 
 41 -345
 0 
 44 -345
 0 
 46 -345
 0 
 47 -345
 0 
 50 -346
 0 
 52 -346
 0 
 53 -346
 0 
 56 -346
 0 
 57 -346
 0 
 60 -346
 0 
 62 -346
 0 
 63 -346
 0 
 66 -347
 0 
 68 -347
 0 
 69 -347
 0 
 72 -347
 0 
 73 -347
 0 
 76 -347
 0 
 78 -347
 0 
 79 -347
 0 
 82 -348
 0 
 84 -348
 0 
 85 -348
 0 
 88 -348
 0 
 89 -348
 0 
 92 -348
 0 
 94 -348
 0 
 95 -348
 0 
 1 -349
 0 
 4 -349
 0 
 6 -349
 0 
 8 -349
 0 
 10 -349
 0 
 12 -349
 0 
 13 -349
 0 
 16 -349
 0 
 17 -350
 0 
 20 -350
 0 
 22 -350
 0 
 24 -350
 0 
 26 -350
 0 
 28 -350
 0 
 29 -350
 0 
 32 -350
 0 
 33 -351
 0 
 36 -351
 0 
 38 -351
 0 
 40 -351
 0 
 42 -351
 0 
 44 -351
 0 
 45 -351
 0 
 48 -351
 0 
 49 -352
 0 
 52 -352
 0 
 54 -352
 0 
 56 -352
 0 
 58 -352
 0 
 60 -352
 0 
 61 -352
 0 
 64 -352
 0 
 65 -353
 0 
 68 -353
 0 
 70 -353
 0 
 72 -353
 0 
 74 -353
 0 
 76 -353
 0 
 77 -353
 0 
 80 -353
 0 
 81 -354
 0 
 84 -354
 0 
 86 -354
 0 
 88 -354
 0 
 90 -354
 0 
 92 -354
 0 
 93 -354
 0 
 96 -354
 0 
 1 -355
 0 
 4 -355
 0 
 5 -355
 0 
 8 -355
 0 
 9 -355
 0 
 12 -355
 0 
 14 -355
 0 
 16 -355
 0 
 17 -356
 0 
 20 -356
 0 
 21 -356
 0 
 24 -356
 0 
 25 -356
 0 
 28 -356
 0 
 30 -356
 0 
 32 -356
 0 
 33 -357
 0 
 36 -357
 0 
 37 -357
 0 
 40 -357
 0 
 41 -357
 0 
 44 -357
 0 
 46 -357
 0 
 48 -357
 0 
 49 -358
 0 
 52 -358
 0 
 53 -358
 0 
 56 -358
 0 
 57 -358
 0 
 60 -358
 0 
 62 -358
 0 
 64 -358
 0 
 65 -359
 0 
 68 -359
 0 
 69 -359
 0 
 72 -359
 0 
 73 -359
 0 
 76 -359
 0 
 78 -359
 0 
 80 -359
 0 
 81 -360
 0 
 84 -360
 0 
 85 -360
 0 
 88 -360
 0 
 89 -360
 0 
 92 -360
 0 
 94 -360
 0 
 96 -360
 0 
 2 -361
 0 
 3 -361
 0 
 6 -361
 0 
 8 -361
 0 
 10 -361
 0 
 11 -361
 0 
 13 -361
 0 
 15 -361
 0 
 18 -362
 0 
 19 -362
 0 
 22 -362
 0 
 24 -362
 0 
 26 -362
 0 
 27 -362
 0 
 29 -362
 0 
 31 -362
 0 
 34 -363
 0 
 35 -363
 0 
 38 -363
 0 
 40 -363
 0 
 42 -363
 0 
 43 -363
 0 
 45 -363
 0 
 47 -363
 0 
 50 -364
 0 
 51 -364
 0 
 54 -364
 0 
 56 -364
 0 
 58 -364
 0 
 59 -364
 0 
 61 -364
 0 
 63 -364
 0 
 66 -365
 0 
 67 -365
 0 
 70 -365
 0 
 72 -365
 0 
 74 -365
 0 
 75 -365
 0 
 77 -365
 0 
 79 -365
 0 
 82 -366
 0 
 83 -366
 0 
 86 -366
 0 
 88 -366
 0 
 90 -366
 0 
 91 -366
 0 
 93 -366
 0 
 95 -366
 0 
 2 -367
 0 
 3 -367
 0 
 5 -367
 0 
 8 -367
 0 
 10 -367
 0 
 11 -367
 0 
 13 -367
 0 
 16 -367
 0 
 18 -368
 0 
 19 -368
 0 
 21 -368
 0 
 24 -368
 0 
 26 -368
 0 
 27 -368
 0 
 29 -368
 0 
 32 -368
 0 
 34 -369
 0 
 35 -369
 0 
 37 -369
 0 
 40 -369
 0 
 42 -369
 0 
 43 -369
 0 
 45 -369
 0 
 48 -369
 0 
 50 -370
 0 
 51 -370
 0 
 53 -370
 0 
 56 -370
 0 
 58 -370
 0 
 59 -370
 0 
 61 -370
 0 
 64 -370
 0 
 66 -371
 0 
 67 -371
 0 
 69 -371
 0 
 72 -371
 0 
 74 -371
 0 
 75 -371
 0 
 77 -371
 0 
 80 -371
 0 
 82 -372
 0 
 83 -372
 0 
 85 -372
 0 
 88 -372
 0 
 90 -372
 0 
 91 -372
 0 
 93 -372
 0 
 96 -372
 0 
 2 -373
 0 
 4 -373
 0 
 6 -373
 0 
 7 -373
 0 
 9 -373
 0 
 11 -373
 0 
 13 -373
 0 
 16 -373
 0 
 18 -374
 0 
 20 -374
 0 
 22 -374
 0 
 23 -374
 0 
 25 -374
 0 
 27 -374
 0 
 29 -374
 0 
 32 -374
 0 
 34 -375
 0 
 36 -375
 0 
 38 -375
 0 
 39 -375
 0 
 41 -375
 0 
 43 -375
 0 
 45 -375
 0 
 48 -375
 0 
 50 -376
 0 
 52 -376
 0 
 54 -376
 0 
 55 -376
 0 
 57 -376
 0 
 59 -376
 0 
 61 -376
 0 
 64 -376
 0 
 66 -377
 0 
 68 -377
 0 
 70 -377
 0 
 71 -377
 0 
 73 -377
 0 
 75 -377
 0 
 77 -377
 0 
 80 -377
 0 
 82 -378
 0 
 84 -378
 0 
 86 -378
 0 
 87 -378
 0 
 89 -378
 0 
 91 -378
 0 
 93 -378
 0 
 96 -378
 0 
 1 -379
 0 
 3 -379
 0 
 6 -379
 0 
 8 -379
 0 
 9 -379
 0 
 12 -379
 0 
 13 -379
 0 
 16 -379
 0 
 17 -380
 0 
 19 -380
 0 
 22 -380
 0 
 24 -380
 0 
 25 -380
 0 
 28 -380
 0 
 29 -380
 0 
 32 -380
 0 
 33 -381
 0 
 35 -381
 0 
 38 -381
 0 
 40 -381
 0 
 41 -381
 0 
 44 -381
 0 
 45 -381
 0 
 48 -381
 0 
 49 -382
 0 
 51 -382
 0 
 54 -382
 0 
 56 -382
 0 
 57 -382
 0 
 60 -382
 0 
 61 -382
 0 
 64 -382
 0 
 65 -383
 0 
 67 -383
 0 
 70 -383
 0 
 72 -383
 0 
 73 -383
 0 
 76 -383
 0 
 77 -383
 0 
 80 -383
 0 
 81 -384
 0 
 83 -384
 0 
 86 -384
 0 
 88 -384
 0 
 89 -384
 0 
 92 -384
 0 
 93 -384
 0 
 96 -384
 0 
 2 -385
 0 
 3 -385
 0 
 6 -385
 0 
 8 -385
 0 
 10 -385
 0 
 11 -385
 0 
 13 -385
 0 
 16 -385
 0 
 18 -386
 0 
 19 -386
 0 
 22 -386
 0 
 24 -386
 0 
 26 -386
 0 
 27 -386
 0 
 29 -386
 0 
 32 -386
 0 
 34 -387
 0 
 35 -387
 0 
 38 -387
 0 
 40 -387
 0 
 42 -387
 0 
 43 -387
 0 
 45 -387
 0 
 48 -387
 0 
 50 -388
 0 
 51 -388
 0 
 54 -388
 0 
 56 -388
 0 
 58 -388
 0 
 59 -388
 0 
 61 -388
 0 
 64 -388
 0 
 66 -389
 0 
 67 -389
 0 
 70 -389
 0 
 72 -389
 0 
 74 -389
 0 
 75 -389
 0 
 77 -389
 0 
 80 -389
 0 
 82 -390
 0 
 83 -390
 0 
 86 -390
 0 
 88 -390
 0 
 90 -390
 0 
 91 -390
 0 
 93 -390
 0 
 96 -390
 0 
 2 -391
 0 
 4 -391
 0 
 5 -391
 0 
 7 -391
 0 
 9 -391
 0 
 11 -391
 0 
 14 -391
 0 
 16 -391
 0 
 18 -392
 0 
 20 -392
 0 
 21 -392
 0 
 23 -392
 0 
 25 -392
 0 
 27 -392
 0 
 30 -392
 0 
 32 -392
 0 
 34 -393
 0 
 36 -393
 0 
 37 -393
 0 
 39 -393
 0 
 41 -393
 0 
 43 -393
 0 
 46 -393
 0 
 48 -393
 0 
 50 -394
 0 
 52 -394
 0 
 53 -394
 0 
 55 -394
 0 
 57 -394
 0 
 59 -394
 0 
 62 -394
 0 
 64 -394
 0 
 66 -395
 0 
 68 -395
 0 
 69 -395
 0 
 71 -395
 0 
 73 -395
 0 
 75 -395
 0 
 78 -395
 0 
 80 -395
 0 
 82 -396
 0 
 84 -396
 0 
 85 -396
 0 
 87 -396
 0 
 89 -396
 0 
 91 -396
 0 
 94 -396
 0 
 96 -396
 0 
 97 98 99 100 101 102
 0 
 103 104 105 106 107 108
 0 
 109 110 111 112 113 114
 0 
 115 116 117 118 119 120
 0 
 121 122 123 124 125 126
 0 
 127 128 129 130 131 132
 0 
 133 134 135 136 137 138
 0 
 139 140 141 142 143 144
 0 
 145 146 147 148 149 150
 0 
 151 152 153 154 155 156
 0 
 157 158 159 160 161 162
 0 
 163 164 165 166 167 168
 0 
 169 170 171 172 173 174
 0 
 175 176 177 178 179 180
 0 
 181 182 183 184 185 186
 0 
 187 188 189 190 191 192
 0 
 193 194 195 196 197 198
 0 
 199 200 201 202 203 204
 0 
 205 206 207 208 209 210
 0 
 211 212 213 214 215 216
 0 
 217 218 219 220 221 222
 0 
 223 224 225 226 227 228
 0 
 229 230 231 232 233 234
 0 
 235 236 237 238 239 240
 0 
 241 242 243 244 245 246
 0 
 247 248 249 250 251 252
 0 
 253 254 255 256 257 258
 0 
 259 260 261 262 263 264
 0 
 265 266 267 268 269 270
 0 
 271 272 273 274 275 276
 0 
 277 278 279 280 281 282
 0 
 283 284 285 286 287 288
 0 
 289 290 291 292 293 294
 0 
 295 296 297 298 299 300
 0 
 301 302 303 304 305 306
 0 
 307 308 309 310 311 312
 0 
 313 314 315 316 317 318
 0 
 319 320 321 322 323 324
 0 
 325 326 327 328 329 330
 0 
 331 332 333 334 335 336
 0 
 337 338 339 340 341 342
 0 
 343 344 345 346 347 348
 0 
 349 350 351 352 353 354
 0 
 355 356 357 358 359 360
 0 
 361 362 363 364 365 366
 0 
 367 368 369 370 371 372
 0 
 373 374 375 376 377 378
 0 
 379 380 381 382 383 384
 0 
 385 386 387 388 389 390
 0 
 391 392 393 394 395 396
 0