rank 3: candidates z>=0 with G z >= -neg in [0,4]^1: 2, max coordinate used 1
rank 3, d=1: 1 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=2: 2 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=3: 3 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=4: 4 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=5: 5 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=6: 6 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=7: 7 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=8: 8 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=9: 9 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=10: 10 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=11: 11 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=12: 12 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=13: 13 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=14: 14 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=15: 15 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=16: 16 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=17: 17 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=18: 18 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=19: 19 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=20: 20 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=21: 21 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=22: 22 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=23: 23 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=24: 24 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=25: 25 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=26: 26 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=27: 27 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=28: 28 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=29: 29 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=30: 30 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=31: 31 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=32: 32 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=33: 33 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=34: 34 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=35: 35 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=36: 36 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=37: 37 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=38: 38 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=39: 39 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=40: 40 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=41: 41 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=42: 42 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=43: 43 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=44: 44 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=45: 45 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=46: 46 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=47: 47 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=48: 48 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=49: 49 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=50: 50 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=51: 51 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=52: 52 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=53: 53 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=54: 54 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=55: 55 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=56: 56 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=57: 57 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=58: 58 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=59: 59 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=60: 60 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=61: 61 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=62: 62 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=63: 63 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=64: 64 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=65: 65 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=66: 66 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=67: 67 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=68: 68 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=69: 69 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=70: 70 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=71: 71 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=72: 72 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=73: 73 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=74: 74 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=75: 75 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=76: 76 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=77: 77 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=78: 78 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=79: 79 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=80: 80 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=81: 81 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=82: 82 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=83: 83 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=84: 84 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=85: 85 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=86: 86 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=87: 87 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=88: 88 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=89: 89 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=90: 90 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=91: 91 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=92: 92 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=93: 93 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=94: 94 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=95: 95 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=96: 96 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=97: 97 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=98: 98 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=99: 99 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=100: 100 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=101: 101 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=102: 102 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=103: 103 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=104: 104 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=105: 105 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=106: 106 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=107: 107 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=108: 108 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=109: 109 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=110: 110 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=111: 111 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=112: 112 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=113: 113 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=114: 114 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=115: 115 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=116: 116 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=117: 117 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=118: 118 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=119: 119 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=120: 120 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=121: 121 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=122: 122 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=123: 123 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=124: 124 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=125: 125 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=126: 126 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=127: 127 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=128: 128 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=129: 129 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=130: 130 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=131: 131 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=132: 132 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=133: 133 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=134: 134 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=135: 135 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=136: 136 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=137: 137 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=138: 138 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=139: 139 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=140: 140 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=141: 141 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=142: 142 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=143: 143 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=144: 144 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=145: 145 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=146: 146 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=147: 147 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=148: 148 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=149: 149 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=150: 150 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=151: 151 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=152: 152 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=153: 153 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=154: 154 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=155: 155 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=156: 156 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=157: 157 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=158: 158 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=159: 159 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=160: 160 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=161: 161 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=162: 162 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=163: 163 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=164: 164 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=165: 165 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=166: 166 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=167: 167 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=168: 168 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=169: 169 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=170: 170 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=171: 171 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=172: 172 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=173: 173 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=174: 174 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=175: 175 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=176: 176 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=177: 177 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=178: 178 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=179: 179 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=180: 180 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=181: 181 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=182: 182 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=183: 183 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=184: 184 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=185: 185 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=186: 186 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=187: 187 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=188: 188 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=189: 189 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=190: 190 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=191: 191 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=192: 192 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=193: 193 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=194: 194 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=195: 195 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=196: 196 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=197: 197 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=198: 198 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=199: 199 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
rank 3, d=200: 200 classes x=k/d, without integer z (z>=0, candidate list): 0 ; 0.0s
