axelbtm2x9@btm2x9:~/Desktop/uni/mysql-codes> time mysql_c_program q=2 k=12 groupid=23286 n=255 d=120 nc=1 b=1 t=10000 nurgls computecode wir rechnen f�r: q=2 k=12 n=255 d=120 b=1 t=10000 gid=23286 numberoforbits=85 maxcols=-1 aufruf = solvediophant -bkz -c100000 -beta80 -p18 -time10000 -o/tmp/fileDH4tJp /tmp/file1VrgL5 You did not supply the options -maxnorm*. It is set to 1. Nr. bounded variables=170 cols=170 The RHS is fixed ! upper bounds found. Max=135 Orthogonal defect: 25.880622 First reduction successful Orthogonal defect: 26.270113 Second reduction successful bkz: Orthogonal defect: 26.172996 Third reduction successful Dimension of solution space (k): 85 compared to s-z+2: 85 Number of nonzero entries in the last row: 1 Fq: 135.000000 Fd: 3119591.475000 146312.000 109734.000 97541.333 91445.000 153992.000 115494.000 102661.333 96245.000 92395.200 89828.667 87995.429 86620.500 85551.111 84695.600 83995.636 83412.333 82918.769 82495.714 90831.275 88723.908 87173.663 85985.404 85045.601 84283.703 83653.562 83123.720 82671.997 82282.301 81942.678 81644.059 81379.441 81143.331 80931.356 86089.190 85128.719 84351.765 83710.317 83171.769 82713.198 82318.021 81973.942 81671.652 81403.974 81165.285 80951.118 80757.878 80582.642 80423.004 84508.494 83840.661 83281.871 82807.432 82399.585 82045.230 81734.490 81459.780 81215.176 80995.988 80798.448 80619.502 80456.641 80307.790 80171.216 83718.147 83178.392 82718.874 82322.939 81978.245 81675.448 81407.347 81168.303 80953.833 80760.335 80584.875 80425.043 80278.841 80144.595 80020.898 91949.013 89517.311 87765.882 86444.294 85411.603 4228538.290 2335286.943 -2 2 -2 1 -1 1 -1 1 -1 2 -1 2 -2 1 -2 1 -1 2 -1 2 -2 1 -1 2 -1 2 -2 1 -2 1 -1 2 -2 1 -1 2 -1 2 -1 2 -1 2 -2 1 -2 1 -1 2 -2 1 -1 2 -1 2 -1 2 -1 2 -2 1 -1 2 -1 2 -1 2 -2 1 -1 2 -1 2 -2 1 -2 1 -2 1 -1 2 -2 1 -2 1 -1 2 -1 2 -1 2 -2 1 -1 2 -1 2 -1 2 -2 1 -1 2 -1 2 -2 1 -2 1 -2 1 -1 2 -2 1 -2 1 -1 2 -1 2 -1 2 -1 2 -2 1 -1 2 -1 2 -1 2 -2 1 -1 2 -2 1 -2 1 -1 2 -1 2 -1 2 -2 1 -2 1 -2 1 -2 1 -1 2 -1 2 -2 1 -1 2 -2 1 -2 1 -1 1 0 2 1000000 loops, solutions: 0, fipo: 0 2000000 loops, solutions: 0, fipo: 0 3000000 loops, solutions: 0, fipo: 0 4000000 loops, solutions: 0, fipo: 0 5000000 loops, solutions: 0, fipo: 0 6000000 loops, solutions: 0, fipo: 0 7000000 loops, solutions: 0, fipo: 0 8000000 loops, solutions: 0, fipo: 0 9000000 loops, solutions: 0, fipo: 0 10000000 loops, solutions: 0, fipo: 0 11000000 loops, solutions: 0, fipo: 0 12000000 loops, solutions: 0, fipo: 0 13000000 loops, solutions: 0, fipo: 0 14000000 loops, solutions: 0, fipo: 0 15000000 loops, solutions: 0, fipo: 0 16000000 loops, solutions: 0, fipo: 0 17000000 loops, solutions: 0, fipo: 0 18000000 loops, solutions: 0, fipo: 0 19000000 loops, solutions: 0, fipo: 0 20000000 loops, solutions: 0, fipo: 0 21000000 loops, solutions: 0, fipo: 0 22000000 loops, solutions: 0, fipo: 0 23000000 loops, solutions: 0, fipo: 0 24000000 loops, solutions: 0, fipo: 0 25000000 loops, solutions: 0, fipo: 0 26000000 loops, solutions: 0, fipo: 0 27000000 loops, solutions: 0, fipo: 0 28000000 loops, solutions: 0, fipo: 0 29000000 loops, solutions: 0, fipo: 0 30000000 loops, solutions: 0, fipo: 0 31000000 loops, solutions: 0, fipo: 0 32000000 loops, solutions: 0, fipo: 0 33000000 loops, solutions: 0, fipo: 0 34000000 loops, solutions: 0, fipo: 0 35000000 loops, solutions: 0, fipo: 0 36000000 loops, solutions: 0, fipo: 0 37000000 loops, solutions: 0, fipo: 0 38000000 loops, solutions: 0, fipo: 0 39000000 loops, solutions: 0, fipo: 0 40000000 loops, solutions: 0, fipo: 0 41000000 loops, solutions: 0, fipo: 0 42000000 loops, solutions: 0, fipo: 0 43000000 loops, solutions: 0, fipo: 0 44000000 loops, solutions: 0, fipo: 0 45000000 loops, solutions: 0, fipo: 0 46000000 loops, solutions: 0, fipo: 0 47000000 loops, solutions: 0, fipo: 0 48000000 loops, solutions: 0, fipo: 0 49000000 loops, solutions: 0, fipo: 0 50000000 loops, solutions: 0, fipo: 0 51000000 loops, solutions: 0, fipo: 0 52000000 loops, solutions: 0, fipo: 0 53000000 loops, solutions: 0, fipo: 0 54000000 loops, solutions: 0, fipo: 0 55000000 loops, solutions: 0, fipo: 0 56000000 loops, solutions: 0, fipo: 0 57000000 loops, solutions: 0, fipo: 0 58000000 loops, solutions: 0, fipo: 0 59000000 loops, solutions: 0, fipo: 0 60000000 loops, solutions: 0, fipo: 0 61000000 loops, solutions: 0, fipo: 0 62000000 loops, solutions: 0, fipo: 0 63000000 loops, solutions: 0, fipo: 0 64000000 loops, solutions: 0, fipo: 0 65000000 loops, solutions: 0, fipo: 0 66000000 loops, solutions: 0, fipo: 0 67000000 loops, solutions: 0, fipo: 0 68000000 loops, solutions: 0, fipo: 0 69000000 loops, solutions: 0, fipo: 0 70000000 loops, solutions: 0, fipo: 0 71000000 loops, solutions: 0, fipo: 0 72000000 loops, solutions: 0, fipo: 0 73000000 loops, solutions: 0, fipo: 0 74000000 loops, solutions: 0, fipo: 0 75000000 loops, solutions: 0, fipo: 0 76000000 loops, solutions: 0, fipo: 0 77000000 loops, solutions: 0, fipo: 0 78000000 loops, solutions: 0, fipo: 0 79000000 loops, solutions: 0, fipo: 0 80000000 loops, solutions: 0, fipo: 0 81000000 loops, solutions: 0, fipo: 0 82000000 loops, solutions: 0, fipo: 0 83000000 loops, solutions: 0, fipo: 0 84000000 loops, solutions: 0, fipo: 0 85000000 loops, solutions: 0, fipo: 0 86000000 loops, solutions: 0, fipo: 0 87000000 loops, solutions: 0, fipo: 0 88000000 loops, solutions: 0, fipo: 0 89000000 loops, solutions: 0, fipo: 0 90000000 loops, solutions: 0, fipo: 0 91000000 loops, solutions: 0, fipo: 0 92000000 loops, solutions: 0, fipo: 0 93000000 loops, solutions: 0, fipo: 0 94000000 loops, solutions: 0, fipo: 0 95000000 loops, solutions: 0, fipo: 0 96000000 loops, solutions: 0, fipo: 0 97000000 loops, solutions: 0, fipo: 0 98000000 loops, solutions: 0, fipo: 0 99000000 loops, solutions: 0, fipo: 0 100000000 loops, solutions: 0, fipo: 0 101000000 loops, solutions: 0, fipo: 0 102000000 loops, solutions: 0, fipo: 0 103000000 loops, solutions: 0, fipo: 0 104000000 loops, solutions: 0, fipo: 0 105000000 loops, solutions: 0, fipo: 0 106000000 loops, solutions: 0, fipo: 0 107000000 loops, solutions: 0, fipo: 0 108000000 loops, solutions: 0, fipo: 0 109000000 loops, solutions: 0, fipo: 0 110000000 loops, solutions: 0, fipo: 0 111000000 loops, solutions: 0, fipo: 0 112000000 loops, solutions: 0, fipo: 0 113000000 loops, solutions: 0, fipo: 0 114000000 loops, solutions: 0, fipo: 0 115000000 loops, solutions: 0, fipo: 0 116000000 loops, solutions: 0, fipo: 0 117000000 loops, solutions: 0, fipo: 0 118000000 loops, solutions: 0, fipo: 0 119000000 loops, solutions: 0, fipo: 0 120000000 loops, solutions: 0, fipo: 0 121000000 loops, solutions: 0, fipo: 0 122000000 loops, solutions: 0, fipo: 0 123000000 loops, solutions: 0, fipo: 0 124000000 loops, solutions: 0, fipo: 0 125000000 loops, solutions: 0, fipo: 0 126000000 loops, solutions: 0, fipo: 0 127000000 loops, solutions: 0, fipo: 0 128000000 loops, solutions: 0, fipo: 0 129000000 loops, solutions: 0, fipo: 0 130000000 loops, solutions: 0, fipo: 0 131000000 loops, solutions: 0, fipo: 0 132000000 loops, solutions: 0, fipo: 0 133000000 loops, solutions: 0, fipo: 0 134000000 loops, solutions: 0, fipo: 0 135000000 loops, solutions: 0, fipo: 0 136000000 loops, solutions: 0, fipo: 0 137000000 loops, solutions: 0, fipo: 0 138000000 loops, solutions: 0, fipo: 0 139000000 loops, solutions: 0, fipo: 0 140000000 loops, solutions: 0, fipo: 0 141000000 loops, solutions: 0, fipo: 0 142000000 loops, solutions: 0, fipo: 0 143000000 loops, solutions: 0, fipo: 0 144000000 loops, solutions: 0, fipo: 0 145000000 loops, solutions: 0, fipo: 0 146000000 loops, solutions: 0, fipo: 0 147000000 loops, solutions: 0, fipo: 0 148000000 loops, solutions: 0, fipo: 0 149000000 loops, solutions: 0, fipo: 0 150000000 loops, solutions: 0, fipo: 0 151000000 loops, solutions: 0, fipo: 0 152000000 loops, solutions: 0, fipo: 0 153000000 loops, solutions: 0, fipo: 0 154000000 loops, solutions: 0, fipo: 0 155000000 loops, solutions: 0, fipo: 0 156000000 loops, solutions: 0, fipo: 0 157000000 loops, solutions: 0, fipo: 0 158000000 loops, solutions: 0, fipo: 0 159000000 loops, solutions: 0, fipo: 0 160000000 loops, solutions: 0, fipo: 0 161000000 loops, solutions: 0, fipo: 0 162000000 loops, solutions: 0, fipo: 0 163000000 loops, solutions: 0, fipo: 0 164000000 loops, solutions: 0, fipo: 0 165000000 loops, solutions: 0, fipo: 0 166000000 loops, solutions: 0, fipo: 0 167000000 loops, solutions: 0, fipo: 0 168000000 loops, solutions: 0, fipo: 0 169000000 loops, solutions: 0, fipo: 0 170000000 loops, solutions: 0, fipo: 0 171000000 loops, solutions: 0, fipo: 0 172000000 loops, solutions: 0, fipo: 0 173000000 loops, solutions: 0, fipo: 0 174000000 loops, solutions: 0, fipo: 0 175000000 loops, solutions: 0, fipo: 0 176000000 loops, solutions: 0, fipo: 0 177000000 loops, solutions: 0, fipo: 0 178000000 loops, solutions: 0, fipo: 0 179000000 loops, solutions: 0, fipo: 0 180000000 loops, solutions: 0, fipo: 0 181000000 loops, solutions: 0, fipo: 0 182000000 loops, solutions: 0, fipo: 0 183000000 loops, solutions: 0, fipo: 0 184000000 loops, solutions: 0, fipo: 0 185000000 loops, solutions: 0, fipo: 0 186000000 loops, solutions: 0, fipo: 0 187000000 loops, solutions: 0, fipo: 0 188000000 loops, solutions: 0, fipo: 0 189000000 loops, solutions: 0, fipo: 0 190000000 loops, solutions: 0, fipo: 0 191000000 loops, solutions: 0, fipo: 0 192000000 loops, solutions: 0, fipo: 0 193000000 loops, solutions: 0, fipo: 0 194000000 loops, solutions: 0, fipo: 0 195000000 loops, solutions: 0, fipo: 0 196000000 loops, solutions: 0, fipo: 0 197000000 loops, solutions: 0, fipo: 0 198000000 loops, solutions: 0, fipo: 0 199000000 loops, solutions: 0, fipo: 0 200000000 loops, solutions: 0, fipo: 0 201000000 loops, solutions: 0, fipo: 0 202000000 loops, solutions: 0, fipo: 0 203000000 loops, solutions: 0, fipo: 0 204000000 loops, solutions: 0, fipo: 0 205000000 loops, solutions: 0, fipo: 0 206000000 loops, solutions: 0, fipo: 0 207000000 loops, solutions: 0, fipo: 0 208000000 loops, solutions: 0, fipo: 0 209000000 loops, solutions: 0, fipo: 0 210000000 loops, solutions: 0, fipo: 0 211000000 loops, solutions: 0, fipo: 0 212000000 loops, solutions: 0, fipo: 0 213000000 loops, solutions: 0, fipo: 0 214000000 loops, solutions: 0, fipo: 0 215000000 loops, solutions: 0, fipo: 0 216000000 loops, solutions: 0, fipo: 0 217000000 loops, solutions: 0, fipo: 0 218000000 loops, solutions: 0, fipo: 0 219000000 loops, solutions: 0, fipo: 0 220000000 loops, solutions: 0, fipo: 0 221000000 loops, solutions: 0, fipo: 0 222000000 loops, solutions: 0, fipo: 0 223000000 loops, solutions: 0, fipo: 0 224000000 loops, solutions: 0, fipo: 0 225000000 loops, solutions: 0, fipo: 0 226000000 loops, solutions: 0, fipo: 0 227000000 loops, solutions: 0, fipo: 0 228000000 loops, solutions: 0, fipo: 0 229000000 loops, solutions: 0, fipo: 0 230000000 loops, solutions: 0, fipo: 0 231000000 loops, solutions: 0, fipo: 0 232000000 loops, solutions: 0, fipo: 0 233000000 loops, solutions: 0, fipo: 0 234000000 loops, solutions: 0, fipo: 0 235000000 loops, solutions: 0, fipo: 0 236000000 loops, solutions: 0, fipo: 0 237000000 loops, solutions: 0, fipo: 0 238000000 loops, solutions: 0, fipo: 0 239000000 loops, solutions: 0, fipo: 0 240000000 loops, solutions: 0, fipo: 0 241000000 loops, solutions: 0, fipo: 0 242000000 loops, solutions: 0, fipo: 0 243000000 loops, solutions: 0, fipo: 0 244000000 loops, solutions: 0, fipo: 0 245000000 loops, solutions: 0, fipo: 0 246000000 loops, solutions: 0, fipo: 0 247000000 loops, solutions: 0, fipo: 0 248000000 loops, solutions: 0, fipo: 0 249000000 loops, solutions: 0, fipo: 0 250000000 loops, solutions: 0, fipo: 0 251000000 loops, solutions: 0, fipo: 0 252000000 loops, solutions: 0, fipo: 0 253000000 loops, solutions: 0, fipo: 0 254000000 loops, solutions: 0, fipo: 0 255000000 loops, solutions: 0, fipo: 0 256000000 loops, solutions: 0, fipo: 0 257000000 loops, solutions: 0, fipo: 0 258000000 loops, solutions: 0, fipo: 0 259000000 loops, solutions: 0, fipo: 0 260000000 loops, solutions: 0, fipo: 0 261000000 loops, solutions: 0, fipo: 0 262000000 loops, solutions: 0, fipo: 0 263000000 loops, solutions: 0, fipo: 0 264000000 loops, solutions: 0, fipo: 0 265000000 loops, solutions: 0, fipo: 0 266000000 loops, solutions: 0, fipo: 0 267000000 loops, solutions: 0, fipo: 0 268000000 loops, solutions: 0, fipo: 0 269000000 loops, solutions: 0, fipo: 0 270000000 loops, solutions: 0, fipo: 0 271000000 loops, solutions: 0, fipo: 0 272000000 loops, solutions: 0, fipo: 0 273000000 loops, solutions: 0, fipo: 0 274000000 loops, solutions: 0, fipo: 0 275000000 loops, solutions: 0, fipo: 0 276000000 loops, solutions: 0, fipo: 0 277000000 loops, solutions: 0, fipo: 0 278000000 loops, solutions: 0, fipo: 0 279000000 loops, solutions: 0, fipo: 0 280000000 loops, solutions: 0, fipo: 0 281000000 loops, solutions: 0, fipo: 0 282000000 loops, solutions: 0, fipo: 0 283000000 loops, solutions: 0, fipo: 0 284000000 loops, solutions: 0, fipo: 0 285000000 loops, solutions: 0, fipo: 0 286000000 loops, solutions: 0, fipo: 0 287000000 loops, solutions: 0, fipo: 0 288000000 loops, solutions: 0, fipo: 0 289000000 loops, solutions: 0, fipo: 0 290000000 loops, solutions: 0, fipo: 0 291000000 loops, solutions: 0, fipo: 0 292000000 loops, solutions: 0, fipo: 0 293000000 loops, solutions: 0, fipo: 0 294000000 loops, solutions: 0, fipo: 0 295000000 loops, solutions: 0, fipo: 0 296000000 loops, solutions: 0, fipo: 0 297000000 loops, solutions: 0, fipo: 0 298000000 loops, solutions: 0, fipo: 0 299000000 loops, solutions: 0, fipo: 0 300000000 loops, solutions: 0, fipo: 0 301000000 loops, solutions: 0, fipo: 0 302000000 loops, solutions: 0, fipo: 0 303000000 loops, solutions: 0, fipo: 0 304000000 loops, solutions: 0, fipo: 0 305000000 loops, solutions: 0, fipo: 0 306000000 loops, solutions: 0, fipo: 0 307000000 loops, solutions: 0, fipo: 0 308000000 loops, solutions: 0, fipo: 0 309000000 loops, solutions: 0, fipo: 0 310000000 loops, solutions: 0, fipo: 0 311000000 loops, solutions: 0, fipo: 0 312000000 loops, solutions: 0, fipo: 0 313000000 loops, solutions: 0, fipo: 0 314000000 loops, solutions: 0, fipo: 0 315000000 loops, solutions: 0, fipo: 0 316000000 loops, solutions: 0, fipo: 0 317000000 loops, solutions: 0, fipo: 0 318000000 loops, solutions: 0, fipo: 0 319000000 loops, solutions: 0, fipo: 0 320000000 loops, solutions: 0, fipo: 0 321000000 loops, solutions: 0, fipo: 0 322000000 loops, solutions: 0, fipo: 0 323000000 loops, solutions: 0, fipo: 0 324000000 loops, solutions: 0, fipo: 0 325000000 loops, solutions: 0, fipo: 0 326000000 loops, solutions: 0, fipo: 0 327000000 loops, solutions: 0, fipo: 0 328000000 loops, solutions: 0, fipo: 0 329000000 loops, solutions: 0, fipo: 0 330000000 loops, solutions: 0, fipo: 0 331000000 loops, solutions: 0, fipo: 0 332000000 loops, solutions: 0, fipo: 0 333000000 loops, solutions: 0, fipo: 0 334000000 loops, solutions: 0, fipo: 0 335000000 loops, solutions: 0, fipo: 0 336000000 loops, solutions: 0, fipo: 0 337000000 loops, solutions: 0, fipo: 0 338000000 loops, solutions: 0, fipo: 0 339000000 loops, solutions: 0, fipo: 0 340000000 loops, solutions: 0, fipo: 0 341000000 loops, solutions: 0, fipo: 0 342000000 loops, solutions: 0, fipo: 0 343000000 loops, solutions: 0, fipo: 0 344000000 loops, solutions: 0, fipo: 0 345000000 loops, solutions: 0, fipo: 0 346000000 loops, solutions: 0, fipo: 0 347000000 loops, solutions: 0, fipo: 0 348000000 loops, solutions: 0, fipo: 0 349000000 loops, solutions: 0, fipo: 0 350000000 loops, solutions: 0, fipo: 0 351000000 loops, solutions: 0, fipo: 0 352000000 loops, solutions: 0, fipo: 0 353000000 loops, solutions: 0, fipo: 0 354000000 loops, solutions: 0, fipo: 0 355000000 loops, solutions: 0, fipo: 0 356000000 loops, solutions: 0, fipo: 0 357000000 loops, solutions: 0, fipo: 0 358000000 loops, solutions: 0, fipo: 0 359000000 loops, solutions: 0, fipo: 0 360000000 loops, solutions: 0, fipo: 0 361000000 loops, solutions: 0, fipo: 0 362000000 loops, solutions: 0, fipo: 0 363000000 loops, solutions: 0, fipo: 0 364000000 loops, solutions: 0, fipo: 0 365000000 loops, solutions: 0, fipo: 0 366000000 loops, solutions: 0, fipo: 0 367000000 loops, solutions: 0, fipo: 0 368000000 loops, solutions: 0, fipo: 0 369000000 loops, solutions: 0, fipo: 0 370000000 loops, solutions: 0, fipo: 0 371000000 loops, solutions: 0, fipo: 0 372000000 loops, solutions: 0, fipo: 0 373000000 loops, solutions: 0, fipo: 0 374000000 loops, solutions: 0, fipo: 0 375000000 loops, solutions: 0, fipo: 0 376000000 loops, solutions: 0, fipo: 0 377000000 loops, solutions: 0, fipo: 0 378000000 loops, solutions: 0, fipo: 0 379000000 loops, solutions: 0, fipo: 0 380000000 loops, solutions: 0, fipo: 0 381000000 loops, solutions: 0, fipo: 0 382000000 loops, solutions: 0, fipo: 0 383000000 loops, solutions: 0, fipo: 0 384000000 loops, solutions: 0, fipo: 0 385000000 loops, solutions: 0, fipo: 0 386000000 loops, solutions: 0, fipo: 0 387000000 loops, solutions: 0, fipo: 0 388000000 loops, solutions: 0, fipo: 0 389000000 loops, solutions: 0, fipo: 0 390000000 loops, solutions: 0, fipo: 0 391000000 loops, solutions: 0, fipo: 0 392000000 loops, solutions: 0, fipo: 0 393000000 loops, solutions: 0, fipo: 0 394000000 loops, solutions: 0, fipo: 0 395000000 loops, solutions: 0, fipo: 0 396000000 loops, solutions: 0, fipo: 0 397000000 loops, solutions: 0, fipo: 0 398000000 loops, solutions: 0, fipo: 0 399000000 loops, solutions: 0, fipo: 0 400000000 loops, solutions: 0, fipo: 0 401000000 loops, solutions: 0, fipo: 0 402000000 loops, solutions: 0, fipo: 0 403000000 loops, solutions: 0, fipo: 0 404000000 loops, solutions: 0, fipo: 0 405000000 loops, solutions: 0, fipo: 0 406000000 loops, solutions: 0, fipo: 0 407000000 loops, solutions: 0, fipo: 0 408000000 loops, solutions: 0, fipo: 0 409000000 loops, solutions: 0, fipo: 0 410000000 loops, solutions: 0, fipo: 0 411000000 loops, solutions: 0, fipo: 0 412000000 loops, solutions: 0, fipo: 0 413000000 loops, solutions: 0, fipo: 0 414000000 loops, solutions: 0, fipo: 0 415000000 loops, solutions: 0, fipo: 0 416000000 loops, solutions: 0, fipo: 0 417000000 loops, solutions: 0, fipo: 0 418000000 loops, solutions: 0, fipo: 0 419000000 loops, solutions: 0, fipo: 0 420000000 loops, solutions: 0, fipo: 0 421000000 loops, solutions: 0, fipo: 0 422000000 loops, solutions: 0, fipo: 0 423000000 loops, solutions: 0, fipo: 0 424000000 loops, solutions: 0, fipo: 0 425000000 loops, solutions: 0, fipo: 0 426000000 loops, solutions: 0, fipo: 0 427000000 loops, solutions: 0, fipo: 0 428000000 loops, solutions: 0, fipo: 0 429000000 loops, solutions: 0, fipo: 0 430000000 loops, solutions: 0, fipo: 0 431000000 loops, solutions: 0, fipo: 0 432000000 loops, solutions: 0, fipo: 0 433000000 loops, solutions: 0, fipo: 0 434000000 loops, solutions: 0, fipo: 0 435000000 loops, solutions: 0, fipo: 0 436000000 loops, solutions: 0, fipo: 0 437000000 loops, solutions: 0, fipo: 0 438000000 loops, solutions: 0, fipo: 0 439000000 loops, solutions: 0, fipo: 0 440000000 loops, solutions: 0, fipo: 0 441000000 loops, solutions: 0, fipo: 0 442000000 loops, solutions: 0, fipo: 0 443000000 loops, solutions: 0, fipo: 0 444000000 loops, solutions: 0, fipo: 0 445000000 loops, solutions: 0, fipo: 0 446000000 loops, solutions: 0, fipo: 0 447000000 loops, solutions: 0, fipo: 0 448000000 loops, solutions: 0, fipo: 0 449000000 loops, solutions: 0, fipo: 0 450000000 loops, solutions: 0, fipo: 0 451000000 loops, solutions: 0, fipo: 0 452000000 loops, solutions: 0, fipo: 0 453000000 loops, solutions: 0, fipo: 0 454000000 loops, solutions: 0, fipo: 0 455000000 loops, solutions: 0, fipo: 0 456000000 loops, solutions: 0, fipo: 0 457000000 loops, solutions: 0, fipo: 0 458000000 loops, solutions: 0, fipo: 0 459000000 loops, solutions: 0, fipo: 0 460000000 loops, solutions: 0, fipo: 0 461000000 loops, solutions: 0, fipo: 0 462000000 loops, solutions: 0, fipo: 0 463000000 loops, solutions: 0, fipo: 0 .... -2073000000 loops, solutions: 0, fipo: 0 -2072000000 loops, solutions: 0, fipo: 0 -2071000000 loops, solutions: 0, fipo: 0 -2070000000 loops, solutions: 0, fipo: 0 -2069000000 loops, solutions: 0, fipo: 0 -2068000000 loops, solutions: 0, fipo: 0 -2067000000 loops, solutions: 0, fipo: 0 -2066000000 loops, solutions: 0, fipo: 0 -2065000000 loops, solutions: 0, fipo: 0 -2064000000 loops, solutions: 0, fipo: 0 -2063000000 loops, solutions: 0, fipo: 0 -2062000000 loops, solutions: 0, fipo: 0 -2061000000 loops, solutions: 0, fipo: 0 -2060000000 loops, solutions: 0, fipo: 0 -2059000000 loops, solutions: 0, fipo: 0 -2058000000 loops, solutions: 0, fipo: 0 -2057000000 loops, solutions: 0, fipo: 0 -2056000000 loops, solutions: 0, fipo: 0 -2055000000 loops, solutions: 0, fipo: 0 -2054000000 loops, solutions: 0, fipo: 0 -2053000000 loops, solutions: 0, fipo: 0 -2052000000 loops, solutions: 0, fipo: 0 -2051000000 loops, solutions: 0, fipo: 0 -2050000000 loops, solutions: 0, fipo: 0 -2049000000 loops, solutions: 0, fipo: 0 -2048000000 loops, solutions: 0, fipo: 0 -2047000000 loops, solutions: 0, fipo: 0 -2046000000 loops, solutions: 0, fipo: 0 -2045000000 loops, solutions: 0, fipo: 0 -2044000000 loops, solutions: 0, fipo: 0 -2043000000 loops, solutions: 0, fipo: 0 -2042000000 loops, solutions: 0, fipo: 0 -2041000000 loops, solutions: 0, fipo: 0 -2040000000 loops, solutions: 0, fipo: 0 -2039000000 loops, solutions: 0, fipo: 0 -2038000000 loops, solutions: 0, fipo: 0 -2037000000 loops, solutions: 0, fipo: 0 -2036000000 loops, solutions: 0, fipo: 0 -2035000000 loops, solutions: 0, fipo: 0 -2034000000 loops, solutions: 0, fipo: 0 -2033000000 loops, solutions: 0, fipo: 0 -2032000000 loops, solutions: 0, fipo: 0 -2031000000 loops, solutions: 0, fipo: 0 -2030000000 loops, solutions: 0, fipo: 0 -2029000000 loops, solutions: 0, fipo: 0 -2028000000 loops, solutions: 0, fipo: 0 -2027000000 loops, solutions: 0, fipo: 0 -2026000000 loops, solutions: 0, fipo: 0 -2025000000 loops, solutions: 0, fipo: 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 127 135 119 127 119 135 135 119 119 135 135 119 135 135 119 135 135 135 119 119 119 135 119 135 119 119 135 119 119 119 135 119 135 119 135 119 135 119 135 135 135 119 135 135 135 119 135 135 119 119 135 135 119 135 135 135 135 135 135 119 119 135 127 135 135 119 119 119 119 135 119 135 119 135 127 119 119 135 119 127 119 119 119 119 119 Prune_cs: 643138728 Prune_only_zeros: 678497369 of 1627116449 Prune_hoelder: 305480268 of 948619080 Prune_N: 32170020 Fincke-Pohst: 0 Loops: -2024711234 Stopped after number of solutions: 1 total enumeration time: 0:17:55 real 18m23.973s user 17m55.827s sys 0m4.056s