axelbtm2x9@btm2x9:~/Desktop/uni/mysql-codes> time mysql_c_program q=2 k=12 groupid=17848 n=144 d=64 nc=1 b=1 t=10000 nurgls computecode wir rechnen f�r: q=2 k=12 n=144 d=64 b=1 t=10000 gid=17848 numberoforbits=145 maxcols=-1 aufruf = solvediophant -bkz -c100000 -beta80 -p18 -time10000 -o/tmp/filemdWYaO /tmp/filej8F3a3 You did not supply the options -maxnorm*. It is set to 1. Nr. bounded variables=290 cols=290 The RHS is fixed ! upper bounds found. Max=80 Orthogonal defect: 47.934234 First reduction successful Orthogonal defect: 69.768294 Second reduction successful bkz: Orthogonal defect: 69.693840 Third reduction successful Dimension of solution space (k): 145 compared to s-z+2: 145 Number of nonzero entries in the last row: 1 Fq: 80.000000 Fd: 1864262.400000 52056.000 55296.000 41472.000 37783.350 35064.551 33495.866 34561.287 33469.518 45760.903 40121.130 37676.207 35985.918 34886.514 34187.325 33795.061 33297.878 32908.258 32594.702 32379.390 32196.446 32002.256 31836.055 31755.168 31621.641 31561.034 31424.169 31379.506 31289.186 31230.958 31155.517 31107.894 31063.854 34055.336 33497.309 33171.654 32760.160 32559.352 32307.541 32096.440 32054.786 31881.212 31731.433 31600.869 31512.505 31407.794 31314.498 31275.559 31195.784 31123.679 31058.190 31073.870 31012.773 30956.864 30922.432 30873.789 30844.490 34283.802 33669.870 33200.856 32830.865 32531.531 32284.379 32076.858 31900.142 31747.847 31615.237 31498.728 31395.554 31303.551 31220.998 31146.509 31078.958 31371.778 31282.263 31201.827 31129.154 31063.173 31003.000 30947.901 30897.259 30997.640 30942.982 30892.730 30846.371 30803.469 30763.653 30726.600 30692.032 30659.709 30629.417 30600.972 30574.209 30548.983 30525.166 30502.643 30481.312 30547.533 30523.796 30501.346 30480.082 30459.912 30440.754 30422.533 30405.182 31581.582 31469.003 31369.110 32834.697 32534.667 32286.991 32079.068 31902.036 31749.488 31616.673 31499.994 31396.680 31304.558 31221.904 31147.329 31079.703 31018.099 30961.747 30910.002 33980.667 33440.408 33021.137 32686.305 32412.737 32185.028 31992.539 31827.686 33618.969 33161.201 32799.103 32505.520 32262.687 32058.492 31884.393 31734.192 34751.019 64654.609 68073.042 101134.849 116176.826 1363123.146 -1 2 -4 4 -9 9 -10 10 -2 2 -2 2 -2 2 -2 1 -2 3 -2 3 -2 3 -3 2 -2 3 -3 2 -3 2 -3 2 -3 2 -3 2 -2 3 -3 2 -2 3 -3 2 -2 3 -2 3 -2 3 -2 3 -2 3 -3 2 -3 2 -3 2 -2 3 -2 3 -3 2 -3 2 -2 3 -3 2 -3 2 -2 3 -2 3 -3 2 -2 3 -2 3 -3 2 -3 2 -2 3 -2 3 -2 3 -2 3 -3 2 -3 2 -3 2 -2 3 -2 3 -3 2 -3 2 -3 2 -2 3 -3 2 -2 3 -3 2 -3 2 -3 2 -3 2 -2 3 -3 2 -3 2 -2 3 -3 2 -2 3 -2 3 -3 2 -3 2 -2 3 -2 3 -2 3 -3 2 -3 2 -3 2 -2 3 -3 2 -3 2 -2 3 -3 2 -2 3 -2 3 -3 2 -3 2 -3 2 -2 3 -3 2 -3 2 -2 3 -3 2 -3 2 -2 3 -2 3 -2 3 -3 2 -2 3 -3 2 -3 2 -2 3 -2 3 -2 3 -2 3 -3 2 -3 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -2 2 -1 2 -1 2 -1 1 -1 1 0 2 1000000 loops, solutions: 0, fipo: 3732 2000000 loops, solutions: 0, fipo: 5096 3000000 loops, solutions: 0, fipo: 6023 4000000 loops, solutions: 0, fipo: 6889 5000000 loops, solutions: 0, fipo: 7749 6000000 loops, solutions: 0, fipo: 8386 7000000 loops, solutions: 0, fipo: 9077 8000000 loops, solutions: 0, fipo: 9375 9000000 loops, solutions: 0, fipo: 9375 10000000 loops, solutions: 0, fipo: 10195 11000000 loops, solutions: 0, fipo: 10473 12000000 loops, solutions: 0, fipo: 10625 13000000 loops, solutions: 0, fipo: 10625 14000000 loops, solutions: 0, fipo: 11532 15000000 loops, solutions: 0, fipo: 11722 16000000 loops, solutions: 0, fipo: 11875 17000000 loops, solutions: 0, fipo: 12025 18000000 loops, solutions: 0, fipo: 12761 19000000 loops, solutions: 0, fipo: 13093 20000000 loops, solutions: 0, fipo: 13275 21000000 loops, solutions: 0, fipo: 13425 22000000 loops, solutions: 0, fipo: 13572 23000000 loops, solutions: 0, fipo: 13590 24000000 loops, solutions: 0, fipo: 13590 25000000 loops, solutions: 0, fipo: 13590 26000000 loops, solutions: 0, fipo: 13590 27000000 loops, solutions: 0, fipo: 14434 28000000 loops, solutions: 0, fipo: 14676 29000000 loops, solutions: 0, fipo: 14840 30000000 loops, solutions: 0, fipo: 14990 31000000 loops, solutions: 0, fipo: 15140 32000000 loops, solutions: 0, fipo: 15305 33000000 loops, solutions: 0, fipo: 15336 34000000 loops, solutions: 0, fipo: 15336 35000000 loops, solutions: 0, fipo: 15336 36000000 loops, solutions: 0, fipo: 15336 37000000 loops, solutions: 0, fipo: 15336 38000000 loops, solutions: 0, fipo: 15336 39000000 loops, solutions: 0, fipo: 15336 40000000 loops, solutions: 0, fipo: 15336 41000000 loops, solutions: 0, fipo: 15336 42000000 loops, solutions: 0, fipo: 15336 43000000 loops, solutions: 0, fipo: 15336 44000000 loops, solutions: 0, fipo: 15336 45000000 loops, solutions: 0, fipo: 15336 46000000 loops, solutions: 0, fipo: 15336 47000000 loops, solutions: 0, fipo: 15336 48000000 loops, solutions: 0, fipo: 15336 49000000 loops, solutions: 0, fipo: 15336 50000000 loops, solutions: 0, fipo: 15880 51000000 loops, solutions: 0, fipo: 16385 52000000 loops, solutions: 0, fipo: 16557 53000000 loops, solutions: 0, fipo: 16706 54000000 loops, solutions: 0, fipo: 16842 55000000 loops, solutions: 0, fipo: 16985 56000000 loops, solutions: 0, fipo: 17079 57000000 loops, solutions: 0, fipo: 17082 58000000 loops, solutions: 0, fipo: 17246 59000000 loops, solutions: 0, fipo: 17280 60000000 loops, solutions: 0, fipo: 17280 61000000 loops, solutions: 0, fipo: 17280 62000000 loops, solutions: 0, fipo: 17280 63000000 loops, solutions: 0, fipo: 17997 64000000 loops, solutions: 0, fipo: 18422 65000000 loops, solutions: 0, fipo: 18530 66000000 loops, solutions: 0, fipo: 18680 67000000 loops, solutions: 0, fipo: 18830 68000000 loops, solutions: 0, fipo: 18994 69000000 loops, solutions: 0, fipo: 19026 70000000 loops, solutions: 0, fipo: 19157 71000000 loops, solutions: 0, fipo: 19222 72000000 loops, solutions: 0, fipo: 19224 73000000 loops, solutions: 0, fipo: 19224 74000000 loops, solutions: 0, fipo: 19224 75000000 loops, solutions: 0, fipo: 19224 76000000 loops, solutions: 0, fipo: 19389 77000000 loops, solutions: 0, fipo: 19440 78000000 loops, solutions: 0, fipo: 19440 79000000 loops, solutions: 0, fipo: 19440 80000000 loops, solutions: 0, fipo: 19440 81000000 loops, solutions: 0, fipo: 19440 82000000 loops, solutions: 0, fipo: 19440 83000000 loops, solutions: 0, fipo: 19440 84000000 loops, solutions: 0, fipo: 19440 85000000 loops, solutions: 0, fipo: 19440 86000000 loops, solutions: 0, fipo: 19440 87000000 loops, solutions: 0, fipo: 19440 88000000 loops, solutions: 0, fipo: 19440 89000000 loops, solutions: 0, fipo: 19440 90000000 loops, solutions: 0, fipo: 19440 91000000 loops, solutions: 0, fipo: 19440 92000000 loops, solutions: 0, fipo: 19440 93000000 loops, solutions: 0, fipo: 19440 94000000 loops, solutions: 0, fipo: 19440 95000000 loops, solutions: 0, fipo: 19440 96000000 loops, solutions: 0, fipo: 19440 97000000 loops, solutions: 0, fipo: 19440 98000000 loops, solutions: 0, fipo: 19440 99000000 loops, solutions: 0, fipo: 19440 100000000 loops, solutions: 0, fipo: 19440 101000000 loops, solutions: 0, fipo: 19440 102000000 loops, solutions: 0, fipo: 19440 103000000 loops, solutions: 0, fipo: 19440 104000000 loops, solutions: 0, fipo: 19440 105000000 loops, solutions: 0, fipo: 19440 106000000 loops, solutions: 0, fipo: 19440 107000000 loops, solutions: 0, fipo: 19440 108000000 loops, solutions: 0, fipo: 19440 109000000 loops, solutions: 0, fipo: 19440 110000000 loops, solutions: 0, fipo: 19440 111000000 loops, solutions: 0, fipo: 19440 112000000 loops, solutions: 0, fipo: 19440 113000000 loops, solutions: 0, fipo: 19440 114000000 loops, solutions: 0, fipo: 19440 115000000 loops, solutions: 0, fipo: 19440 116000000 loops, solutions: 0, fipo: 19440 117000000 loops, solutions: 0, fipo: 19440 118000000 loops, solutions: 0, fipo: 19440 119000000 loops, solutions: 0, fipo: 19440 120000000 loops, solutions: 0, fipo: 19440 121000000 loops, solutions: 0, fipo: 19440 122000000 loops, solutions: 0, fipo: 19440 123000000 loops, solutions: 0, fipo: 19440 124000000 loops, solutions: 0, fipo: 19440 125000000 loops, solutions: 0, fipo: 19440 126000000 loops, solutions: 0, fipo: 19440 127000000 loops, solutions: 0, fipo: 19440 128000000 loops, solutions: 0, fipo: 19440 129000000 loops, solutions: 0, fipo: 19440 130000000 loops, solutions: 0, fipo: 19440 131000000 loops, solutions: 0, fipo: 19440 132000000 loops, solutions: 0, fipo: 19440 133000000 loops, solutions: 0, fipo: 19440 134000000 loops, solutions: 0, fipo: 19440 135000000 loops, solutions: 0, fipo: 19440 136000000 loops, solutions: 0, fipo: 19440 137000000 loops, solutions: 0, fipo: 19440 138000000 loops, solutions: 0, fipo: 19440 139000000 loops, solutions: 0, fipo: 19440 140000000 loops, solutions: 0, fipo: 19440 141000000 loops, solutions: 0, fipo: 19440 142000000 loops, solutions: 0, fipo: 19440 143000000 loops, solutions: 0, fipo: 19440 144000000 loops, solutions: 0, fipo: 19440 145000000 loops, solutions: 0, fipo: 19440 146000000 loops, solutions: 0, fipo: 19440 147000000 loops, solutions: 0, fipo: 19440 148000000 loops, solutions: 0, fipo: 19440 149000000 loops, solutions: 0, fipo: 19440 150000000 loops, solutions: 0, fipo: 19440 151000000 loops, solutions: 0, fipo: 19440 152000000 loops, solutions: 0, fipo: 19440 153000000 loops, solutions: 0, fipo: 19440 154000000 loops, solutions: 0, fipo: 19440 155000000 loops, solutions: 0, fipo: 19440 156000000 loops, solutions: 0, fipo: 19440 157000000 loops, solutions: 0, fipo: 19440 158000000 loops, solutions: 0, fipo: 19440 159000000 loops, solutions: 0, fipo: 19440 160000000 loops, solutions: 0, fipo: 19440 161000000 loops, solutions: 0, fipo: 19440 162000000 loops, solutions: 0, fipo: 19440 163000000 loops, solutions: 0, fipo: 19440 164000000 loops, solutions: 0, fipo: 22910 165000000 loops, solutions: 0, fipo: 24425 166000000 loops, solutions: 0, fipo: 25380 167000000 loops, solutions: 0, fipo: 26273 168000000 loops, solutions: 0, fipo: 27105 169000000 loops, solutions: 0, fipo: 27549 170000000 loops, solutions: 0, fipo: 28491 171000000 loops, solutions: 0, fipo: 28812 172000000 loops, solutions: 0, fipo: 28815 173000000 loops, solutions: 0, fipo: 29551 174000000 loops, solutions: 0, fipo: 29888 175000000 loops, solutions: 0, fipo: 30065 176000000 loops, solutions: 0, fipo: 30065 177000000 loops, solutions: 0, fipo: 30894 178000000 loops, solutions: 0, fipo: 31136 179000000 loops, solutions: 0, fipo: 31315 180000000 loops, solutions: 0, fipo: 31465 181000000 loops, solutions: 0, fipo: 32199 182000000 loops, solutions: 0, fipo: 32484 183000000 loops, solutions: 0, fipo: 32715 184000000 loops, solutions: 0, fipo: 32862 185000000 loops, solutions: 0, fipo: 32995 186000000 loops, solutions: 0, fipo: 33030 187000000 loops, solutions: 0, fipo: 33030 188000000 loops, solutions: 0, fipo: 33030 189000000 loops, solutions: 0, fipo: 33030 190000000 loops, solutions: 0, fipo: 33859 191000000 loops, solutions: 0, fipo: 34102 192000000 loops, solutions: 0, fipo: 34280 193000000 loops, solutions: 0, fipo: 34430 194000000 loops, solutions: 0, fipo: 34578 195000000 loops, solutions: 0, fipo: 34730 196000000 loops, solutions: 0, fipo: 34776 197000000 loops, solutions: 0, fipo: 34776 198000000 loops, solutions: 0, fipo: 34776 199000000 loops, solutions: 0, fipo: 34776 200000000 loops, solutions: 0, fipo: 34776 201000000 loops, solutions: 0, fipo: 34776 202000000 loops, solutions: 0, fipo: 34776 203000000 loops, solutions: 0, fipo: 34776 204000000 loops, solutions: 0, fipo: 34776 205000000 loops, solutions: 0, fipo: 34776 206000000 loops, solutions: 0, fipo: 34776 207000000 loops, solutions: 0, fipo: 34776 208000000 loops, solutions: 0, fipo: 34776 209000000 loops, solutions: 0, fipo: 34776 210000000 loops, solutions: 0, fipo: 34776 211000000 loops, solutions: 0, fipo: 34776 212000000 loops, solutions: 0, fipo: 34776 213000000 loops, solutions: 0, fipo: 35236 214000000 loops, solutions: 0, fipo: 35740 215000000 loops, solutions: 0, fipo: 35972 216000000 loops, solutions: 0, fipo: 36122 217000000 loops, solutions: 0, fipo: 36239 218000000 loops, solutions: 0, fipo: 36341 219000000 loops, solutions: 0, fipo: 36506 220000000 loops, solutions: 0, fipo: 36522 221000000 loops, solutions: 0, fipo: 36672 222000000 loops, solutions: 0, fipo: 36720 223000000 loops, solutions: 0, fipo: 36720 224000000 loops, solutions: 0, fipo: 36720 225000000 loops, solutions: 0, fipo: 36720 226000000 loops, solutions: 0, fipo: 37360 227000000 loops, solutions: 0, fipo: 37797 228000000 loops, solutions: 0, fipo: 37970 229000000 loops, solutions: 0, fipo: 38118 230000000 loops, solutions: 0, fipo: 38255 231000000 loops, solutions: 0, fipo: 38417 232000000 loops, solutions: 0, fipo: 38466 233000000 loops, solutions: 0, fipo: 38584 234000000 loops, solutions: 0, fipo: 38647 235000000 loops, solutions: 0, fipo: 38664 236000000 loops, solutions: 0, fipo: 38664 237000000 loops, solutions: 0, fipo: 38664 238000000 loops, solutions: 0, fipo: 38664 239000000 loops, solutions: 0, fipo: 38826 240000000 loops, solutions: 0, fipo: 38877 241000000 loops, solutions: 0, fipo: 38880 242000000 loops, solutions: 0, fipo: 38880 243000000 loops, solutions: 0, fipo: 38880 244000000 loops, solutions: 0, fipo: 38880 245000000 loops, solutions: 0, fipo: 38880 246000000 loops, solutions: 0, fipo: 38880 247000000 loops, solutions: 0, fipo: 38880 248000000 loops, solutions: 0, fipo: 38880 249000000 loops, solutions: 0, fipo: 38880 250000000 loops, solutions: 0, fipo: 38880 251000000 loops, solutions: 0, fipo: 38880 252000000 loops, solutions: 0, fipo: 38880 253000000 loops, solutions: 0, fipo: 38880 254000000 loops, solutions: 0, fipo: 38880 255000000 loops, solutions: 0, fipo: 38880 256000000 loops, solutions: 0, fipo: 38880 257000000 loops, solutions: 0, fipo: 40625 258000000 loops, solutions: 0, fipo: 43106 259000000 loops, solutions: 0, fipo: 44094 260000000 loops, solutions: 0, fipo: 45247 261000000 loops, solutions: 0, fipo: 45868 262000000 loops, solutions: 0, fipo: 46744 263000000 loops, solutions: 0, fipo: 47621 264000000 loops, solutions: 0, fipo: 48066 265000000 loops, solutions: 0, fipo: 48255 266000000 loops, solutions: 0, fipo: 48715 267000000 loops, solutions: 0, fipo: 49162 268000000 loops, solutions: 0, fipo: 49451 269000000 loops, solutions: 0, fipo: 49505 270000000 loops, solutions: 0, fipo: 49944 271000000 loops, solutions: 0, fipo: 50468 272000000 loops, solutions: 0, fipo: 50695 273000000 loops, solutions: 0, fipo: 50850 274000000 loops, solutions: 0, fipo: 51075 275000000 loops, solutions: 0, fipo: 51723 276000000 loops, solutions: 0, fipo: 52002 277000000 loops, solutions: 0, fipo: 52176 278000000 loops, solutions: 0, fipo: 52305 279000000 loops, solutions: 0, fipo: 52467 280000000 loops, solutions: 0, fipo: 52470 281000000 loops, solutions: 0, fipo: 52470 282000000 loops, solutions: 0, fipo: 52470 283000000 loops, solutions: 0, fipo: 52887 284000000 loops, solutions: 0, fipo: 53314 285000000 loops, solutions: 0, fipo: 53665 286000000 loops, solutions: 0, fipo: 53816 287000000 loops, solutions: 0, fipo: 53931 288000000 loops, solutions: 0, fipo: 54035 289000000 loops, solutions: 0, fipo: 54200 290000000 loops, solutions: 0, fipo: 54216 291000000 loops, solutions: 0, fipo: 54216 292000000 loops, solutions: 0, fipo: 54216 293000000 loops, solutions: 0, fipo: 54216 294000000 loops, solutions: 0, fipo: 54216 295000000 loops, solutions: 0, fipo: 54216 296000000 loops, solutions: 0, fipo: 54216 297000000 loops, solutions: 0, fipo: 54216 298000000 loops, solutions: 0, fipo: 54216 299000000 loops, solutions: 0, fipo: 54216 300000000 loops, solutions: 0, fipo: 54216 301000000 loops, solutions: 0, fipo: 54216 302000000 loops, solutions: 0, fipo: 54216 303000000 loops, solutions: 0, fipo: 54216 304000000 loops, solutions: 0, fipo: 54216 305000000 loops, solutions: 0, fipo: 54216 306000000 loops, solutions: 0, fipo: 54216 307000000 loops, solutions: 0, fipo: 54940 308000000 loops, solutions: 0, fipo: 55315 309000000 loops, solutions: 0, fipo: 55466 310000000 loops, solutions: 0, fipo: 55601 311000000 loops, solutions: 0, fipo: 55751 312000000 loops, solutions: 0, fipo: 55902 313000000 loops, solutions: 0, fipo: 55962 314000000 loops, solutions: 0, fipo: 56058 315000000 loops, solutions: 0, fipo: 56141 316000000 loops, solutions: 0, fipo: 56160 317000000 loops, solutions: 0, fipo: 56160 318000000 loops, solutions: 0, fipo: 56160 319000000 loops, solutions: 0, fipo: 56160 320000000 loops, solutions: 0, fipo: 56990 321000000 loops, solutions: 0, fipo: 57378 322000000 loops, solutions: 0, fipo: 57410 323000000 loops, solutions: 0, fipo: 57560 324000000 loops, solutions: 0, fipo: 57720 325000000 loops, solutions: 0, fipo: 57875 326000000 loops, solutions: 0, fipo: 57906 327000000 loops, solutions: 0, fipo: 58056 328000000 loops, solutions: 0, fipo: 58104 329000000 loops, solutions: 0, fipo: 58104 330000000 loops, solutions: 0, fipo: 58104 331000000 loops, solutions: 0, fipo: 58104 332000000 loops, solutions: 0, fipo: 58211 333000000 loops, solutions: 0, fipo: 58284 334000000 loops, solutions: 0, fipo: 58320 335000000 loops, solutions: 0, fipo: 58320 336000000 loops, solutions: 0, fipo: 58320 337000000 loops, solutions: 0, fipo: 58320 338000000 loops, solutions: 0, fipo: 58320 339000000 loops, solutions: 0, fipo: 58320 340000000 loops, solutions: 0, fipo: 58320 341000000 loops, solutions: 0, fipo: 58320 342000000 loops, solutions: 0, fipo: 58320 343000000 loops, solutions: 0, fipo: 58320 344000000 loops, solutions: 0, fipo: 58320 345000000 loops, solutions: 0, fipo: 58320 346000000 loops, solutions: 0, fipo: 58320 347000000 loops, solutions: 0, fipo: 58320 348000000 loops, solutions: 0, fipo: 58320 349000000 loops, solutions: 0, fipo: 58320 350000000 loops, solutions: 0, fipo: 58320 351000000 loops, solutions: 0, fipo: 58320 352000000 loops, solutions: 0, fipo: 58320 353000000 loops, solutions: 0, fipo: 58320 354000000 loops, solutions: 0, fipo: 58320 355000000 loops, solutions: 0, fipo: 58320 356000000 loops, solutions: 0, fipo: 58320 357000000 loops, solutions: 0, fipo: 58320 358000000 loops, solutions: 0, fipo: 58320 359000000 loops, solutions: 0, fipo: 58320 360000000 loops, solutions: 0, fipo: 58320 361000000 loops, solutions: 0, fipo: 58320 362000000 loops, solutions: 0, fipo: 58320 363000000 loops, solutions: 0, fipo: 58320 364000000 loops, solutions: 0, fipo: 58320 365000000 loops, solutions: 0, fipo: 58320 366000000 loops, solutions: 0, fipo: 58320 367000000 loops, solutions: 0, fipo: 58320 368000000 loops, solutions: 0, fipo: 58320 369000000 loops, solutions: 0, fipo: 58320 370000000 loops, solutions: 0, fipo: 58320 371000000 loops, solutions: 0, fipo: 58320 372000000 loops, solutions: 0, fipo: 58320 373000000 loops, solutions: 0, fipo: 58320 374000000 loops, solutions: 0, fipo: 58320 375000000 loops, solutions: 0, fipo: 58320 376000000 loops, solutions: 0, fipo: 58320 377000000 loops, solutions: 0, fipo: 58320 378000000 loops, solutions: 0, fipo: 58320 379000000 loops, solutions: 0, fipo: 58320 380000000 loops, solutions: 0, fipo: 58320 381000000 loops, solutions: 0, fipo: 58320 382000000 loops, solutions: 0, fipo: 58320 383000000 loops, solutions: 0, fipo: 58320 384000000 loops, solutions: 0, fipo: 58320 385000000 loops, solutions: 0, fipo: 58320 386000000 loops, solutions: 0, fipo: 58320 387000000 loops, solutions: 0, fipo: 58320 388000000 loops, solutions: 0, fipo: 60105 389000000 loops, solutions: 0, fipo: 62589 390000000 loops, solutions: 0, fipo: 63536 391000000 loops, solutions: 0, fipo: 64704 392000000 loops, solutions: 0, fipo: 65318 393000000 loops, solutions: 0, fipo: 66187 394000000 loops, solutions: 0, fipo: 67071 395000000 loops, solutions: 0, fipo: 67515 396000000 loops, solutions: 0, fipo: 67695 397000000 loops, solutions: 0, fipo: 68155 398000000 loops, solutions: 0, fipo: 68612 399000000 loops, solutions: 0, fipo: 68891 400000000 loops, solutions: 0, fipo: 68945 401000000 loops, solutions: 0, fipo: 69395 402000000 loops, solutions: 0, fipo: 69910 403000000 loops, solutions: 0, fipo: 70139 404000000 loops, solutions: 0, fipo: 70291 405000000 loops, solutions: 0, fipo: 70561 406000000 loops, solutions: 0, fipo: 71164 407000000 loops, solutions: 0, fipo: 71443 408000000 loops, solutions: 0, fipo: 71640 409000000 loops, solutions: 0, fipo: 71745 410000000 loops, solutions: 0, fipo: 71907 411000000 loops, solutions: 0, fipo: 71910 412000000 loops, solutions: 0, fipo: 71910 413000000 loops, solutions: 0, fipo: 71910 414000000 loops, solutions: 0, fipo: 72351 415000000 loops, solutions: 0, fipo: 72770 416000000 loops, solutions: 0, fipo: 73106 417000000 loops, solutions: 0, fipo: 73256 418000000 loops, solutions: 0, fipo: 73373 419000000 loops, solutions: 0, fipo: 73475 420000000 loops, solutions: 0, fipo: 73640 421000000 loops, solutions: 0, fipo: 73656 422000000 loops, solutions: 0, fipo: 73656 423000000 loops, solutions: 0, fipo: 73656 424000000 loops, solutions: 0, fipo: 73656 425000000 loops, solutions: 0, fipo: 73656 426000000 loops, solutions: 0, fipo: 73656 427000000 loops, solutions: 0, fipo: 73656 428000000 loops, solutions: 0, fipo: 73656 429000000 loops, solutions: 0, fipo: 73656 430000000 loops, solutions: 0, fipo: 73656 431000000 loops, solutions: 0, fipo: 73656 432000000 loops, solutions: 0, fipo: 73656 433000000 loops, solutions: 0, fipo: 73656 434000000 loops, solutions: 0, fipo: 73656 435000000 loops, solutions: 0, fipo: 73656 436000000 loops, solutions: 0, fipo: 73656 437000000 loops, solutions: 0, fipo: 73656 438000000 loops, solutions: 0, fipo: 74380 439000000 loops, solutions: 0, fipo: 74756 440000000 loops, solutions: 0, fipo: 74906 441000000 loops, solutions: 0, fipo: 75050 442000000 loops, solutions: 0, fipo: 75191 443000000 loops, solutions: 0, fipo: 75350 444000000 loops, solutions: 0, fipo: 75402 445000000 loops, solutions: 0, fipo: 75503 446000000 loops, solutions: 0, fipo: 75581 447000000 loops, solutions: 0, fipo: 75600 448000000 loops, solutions: 0, fipo: 75600 449000000 loops, solutions: 0, fipo: 75600 450000000 loops, solutions: 0, fipo: 75600 451000000 loops, solutions: 0, fipo: 76432 452000000 loops, solutions: 0, fipo: 76820 453000000 loops, solutions: 0, fipo: 76850 454000000 loops, solutions: 0, fipo: 77000 455000000 loops, solutions: 0, fipo: 77161 456000000 loops, solutions: 0, fipo: 77324 457000000 loops, solutions: 0, fipo: 77346 458000000 loops, solutions: 0, fipo: 77496 459000000 loops, solutions: 0, fipo: 77544 460000000 loops, solutions: 0, fipo: 77544 461000000 loops, solutions: 0, fipo: 77544 462000000 loops, solutions: 0, fipo: 77544 463000000 loops, solutions: 0, fipo: 77652 464000000 loops, solutions: 0, fipo: 77725 465000000 loops, solutions: 0, fipo: 77760 466000000 loops, solutions: 0, fipo: 77760 467000000 loops, solutions: 0, fipo: 77760 468000000 loops, solutions: 0, fipo: 77760 469000000 loops, solutions: 0, fipo: 77760 470000000 loops, solutions: 0, fipo: 77760 471000000 loops, solutions: 0, fipo: 77760 472000000 loops, solutions: 0, fipo: 77760 473000000 loops, solutions: 0, fipo: 77760 474000000 loops, solutions: 0, fipo: 77760 475000000 loops, solutions: 0, fipo: 77760 476000000 loops, solutions: 0, fipo: 77760 477000000 loops, solutions: 0, fipo: 77760 478000000 loops, solutions: 0, fipo: 77760 479000000 loops, solutions: 0, fipo: 77760 480000000 loops, solutions: 0, fipo: 77760 481000000 loops, solutions: 0, fipo: 77760 482000000 loops, solutions: 0, fipo: 77760 483000000 loops, solutions: 0, fipo: 77760 484000000 loops, solutions: 0, fipo: 77760 485000000 loops, solutions: 0, fipo: 77760 486000000 loops, solutions: 0, fipo: 77760 487000000 loops, solutions: 0, fipo: 77760 488000000 loops, solutions: 0, fipo: 77760 489000000 loops, solutions: 0, fipo: 77760 490000000 loops, solutions: 0, fipo: 77760 491000000 loops, solutions: 0, fipo: 77760 492000000 loops, solutions: 0, fipo: 77760 493000000 loops, solutions: 0, fipo: 77760 494000000 loops, solutions: 0, fipo: 77760 495000000 loops, solutions: 0, fipo: 77760 496000000 loops, solutions: 0, fipo: 77760 497000000 loops, solutions: 0, fipo: 79569 498000000 loops, solutions: 0, fipo: 80740 499000000 loops, solutions: 0, fipo: 81390 500000000 loops, solutions: 0, fipo: 81951 501000000 loops, solutions: 0, fipo: 82132 502000000 loops, solutions: 0, fipo: 82132 503000000 loops, solutions: 0, fipo: 82590 504000000 loops, solutions: 0, fipo: 82855 505000000 loops, solutions: 0, fipo: 83315 506000000 loops, solutions: 0, fipo: 83556 507000000 loops, solutions: 0, fipo: 83669 508000000 loops, solutions: 0, fipo: 84229 509000000 loops, solutions: 0, fipo: 84408 510000000 loops, solutions: 0, fipo: 84588 511000000 loops, solutions: 0, fipo: 84635 512000000 loops, solutions: 0, fipo: 84635 513000000 loops, solutions: 0, fipo: 85067 514000000 loops, solutions: 0, fipo: 85262 515000000 loops, solutions: 0, fipo: 85347 516000000 loops, solutions: 0, fipo: 85514 517000000 loops, solutions: 0, fipo: 85585 518000000 loops, solutions: 0, fipo: 86309 519000000 loops, solutions: 0, fipo: 86595 520000000 loops, solutions: 0, fipo: 86834 521000000 loops, solutions: 0, fipo: 86981 522000000 loops, solutions: 0, fipo: 87508 523000000 loops, solutions: 0, fipo: 87708 524000000 loops, solutions: 0, fipo: 87708 525000000 loops, solutions: 0, fipo: 87898 526000000 loops, solutions: 0, fipo: 87935 527000000 loops, solutions: 0, fipo: 88037 528000000 loops, solutions: 0, fipo: 88190 529000000 loops, solutions: 0, fipo: 88661 530000000 loops, solutions: 0, fipo: 88848 531000000 loops, solutions: 0, fipo: 88942 532000000 loops, solutions: 0, fipo: 89050 533000000 loops, solutions: 0, fipo: 89170 534000000 loops, solutions: 0, fipo: 89254 535000000 loops, solutions: 0, fipo: 89398 536000000 loops, solutions: 0, fipo: 89548 537000000 loops, solutions: 0, fipo: 89587 538000000 loops, solutions: 0, fipo: 89604 539000000 loops, solutions: 0, fipo: 89604 540000000 loops, solutions: 0, fipo: 89604 541000000 loops, solutions: 0, fipo: 89604 542000000 loops, solutions: 0, fipo: 89604 543000000 loops, solutions: 0, fipo: 89604 544000000 loops, solutions: 0, fipo: 89604 545000000 loops, solutions: 0, fipo: 89604 546000000 loops, solutions: 0, fipo: 89604 547000000 loops, solutions: 0, fipo: 89604 548000000 loops, solutions: 0, fipo: 89604 549000000 loops, solutions: 0, fipo: 89604 550000000 loops, solutions: 0, fipo: 89604 551000000 loops, solutions: 0, fipo: 89604 552000000 loops, solutions: 0, fipo: 89604 553000000 loops, solutions: 0, fipo: 89604 554000000 loops, solutions: 0, fipo: 89604 555000000 loops, solutions: 0, fipo: 90054 556000000 loops, solutions: 0, fipo: 90485 557000000 loops, solutions: 0, fipo: 90800 558000000 loops, solutions: 0, fipo: 90950 559000000 loops, solutions: 0, fipo: 91067 560000000 loops, solutions: 0, fipo: 91169 561000000 loops, solutions: 0, fipo: 91334 562000000 loops, solutions: 0, fipo: 91350 563000000 loops, solutions: 0, fipo: 91350 564000000 loops, solutions: 0, fipo: 91350 565000000 loops, solutions: 0, fipo: 91350 566000000 loops, solutions: 0, fipo: 91350 567000000 loops, solutions: 0, fipo: 91350 568000000 loops, solutions: 0, fipo: 91350 569000000 loops, solutions: 0, fipo: 91350 570000000 loops, solutions: 0, fipo: 91350 571000000 loops, solutions: 0, fipo: 91350 572000000 loops, solutions: 0, fipo: 91350 573000000 loops, solutions: 0, fipo: 91350 574000000 loops, solutions: 0, fipo: 91864 575000000 loops, solutions: 0, fipo: 92257 576000000 loops, solutions: 0, fipo: 92558 577000000 loops, solutions: 0, fipo: 92708 578000000 loops, solutions: 0, fipo: 92843 579000000 loops, solutions: 0, fipo: 92987 580000000 loops, solutions: 0, fipo: 93090 581000000 loops, solutions: 0, fipo: 93096 582000000 loops, solutions: 0, fipo: 93096 583000000 loops, solutions: 0, fipo: 93096 584000000 loops, solutions: 0, fipo: 93096 585000000 loops, solutions: 0, fipo: 93096 586000000 loops, solutions: 0, fipo: 93610 587000000 loops, solutions: 0, fipo: 93819 588000000 loops, solutions: 0, fipo: 93926 589000000 loops, solutions: 0, fipo: 94010 590000000 loops, solutions: 0, fipo: 94046 591000000 loops, solutions: 0, fipo: 94153 592000000 loops, solutions: 0, fipo: 94301 593000000 loops, solutions: 0, fipo: 94438 594000000 loops, solutions: 0, fipo: 94478 595000000 loops, solutions: 0, fipo: 94587 596000000 loops, solutions: 0, fipo: 94644 597000000 loops, solutions: 0, fipo: 94644 598000000 loops, solutions: 0, fipo: 94644 599000000 loops, solutions: 0, fipo: 94644 600000000 loops, solutions: 0, fipo: 94751 601000000 loops, solutions: 0, fipo: 94824 602000000 loops, solutions: 0, fipo: 94842 603000000 loops, solutions: 0, fipo: 94842 604000000 loops, solutions: 0, fipo: 94946 605000000 loops, solutions: 0, fipo: 95021 606000000 loops, solutions: 0, fipo: 95040 607000000 loops, solutions: 0, fipo: 95584 608000000 loops, solutions: 0, fipo: 95763 609000000 loops, solutions: 0, fipo: 95943 610000000 loops, solutions: 0, fipo: 95990 611000000 loops, solutions: 0, fipo: 96034 612000000 loops, solutions: 0, fipo: 96110 613000000 loops, solutions: 0, fipo: 96273 614000000 loops, solutions: 0, fipo: 96395 615000000 loops, solutions: 0, fipo: 96518 616000000 loops, solutions: 0, fipo: 96556 617000000 loops, solutions: 0, fipo: 96588 618000000 loops, solutions: 0, fipo: 96588 619000000 loops, solutions: 0, fipo: 96588 620000000 loops, solutions: 0, fipo: 96588 621000000 loops, solutions: 0, fipo: 96738 622000000 loops, solutions: 0, fipo: 96786 623000000 loops, solutions: 0, fipo: 96786 624000000 loops, solutions: 0, fipo: 96786 625000000 loops, solutions: 0, fipo: 96936 626000000 loops, solutions: 0, fipo: 96984 627000000 loops, solutions: 0, fipo: 97078 628000000 loops, solutions: 0, fipo: 97117 629000000 loops, solutions: 0, fipo: 97164 630000000 loops, solutions: 0, fipo: 97182 631000000 loops, solutions: 0, fipo: 98818 632000000 loops, solutions: 0, fipo: 99783 633000000 loops, solutions: 0, fipo: 100787 634000000 loops, solutions: 0, fipo: 101394 635000000 loops, solutions: 0, fipo: 101572 636000000 loops, solutions: 0, fipo: 101788 637000000 loops, solutions: 0, fipo: 102200 638000000 loops, solutions: 0, fipo: 102680 639000000 loops, solutions: 0, fipo: 102996 640000000 loops, solutions: 0, fipo: 103125 641000000 loops, solutions: 0, fipo: 103753 642000000 loops, solutions: 0, fipo: 103932 643000000 loops, solutions: 0, fipo: 104462 644000000 loops, solutions: 0, fipo: 104919 645000000 loops, solutions: 0, fipo: 105257 646000000 loops, solutions: 0, fipo: 105783 647000000 loops, solutions: 0, fipo: 105953 648000000 loops, solutions: 0, fipo: 106127 649000000 loops, solutions: 0, fipo: 106262 650000000 loops, solutions: 0, fipo: 106425 651000000 loops, solutions: 0, fipo: 106630 652000000 loops, solutions: 0, fipo: 107052 653000000 loops, solutions: 0, fipo: 107148 654000000 loops, solutions: 0, fipo: 107315 655000000 loops, solutions: 0, fipo: 107496 656000000 loops, solutions: 0, fipo: 107620 657000000 loops, solutions: 0, fipo: 107930 658000000 loops, solutions: 0, fipo: 108288 659000000 loops, solutions: 0, fipo: 108382 660000000 loops, solutions: 0, fipo: 108570 661000000 loops, solutions: 0, fipo: 108727 662000000 loops, solutions: 0, fipo: 108865 663000000 loops, solutions: 0, fipo: 108987 664000000 loops, solutions: 0, fipo: 109044 665000000 loops, solutions: 0, fipo: 109888 666000000 loops, solutions: 0, fipo: 110130 667000000 loops, solutions: 0, fipo: 110294 668000000 loops, solutions: 0, fipo: 110444 669000000 loops, solutions: 0, fipo: 110601 670000000 loops, solutions: 0, fipo: 110759 671000000 loops, solutions: 0, fipo: 110790 672000000 loops, solutions: 0, fipo: 110790 673000000 loops, solutions: 0, fipo: 110790 674000000 loops, solutions: 0, fipo: 110790 675000000 loops, solutions: 0, fipo: 110790 676000000 loops, solutions: 0, fipo: 110790 677000000 loops, solutions: 0, fipo: 110790 678000000 loops, solutions: 0, fipo: 110790 679000000 loops, solutions: 0, fipo: 110790 680000000 loops, solutions: 0, fipo: 110790 681000000 loops, solutions: 0, fipo: 110790 682000000 loops, solutions: 0, fipo: 110790 683000000 loops, solutions: 0, fipo: 110790 684000000 loops, solutions: 0, fipo: 110790 685000000 loops, solutions: 0, fipo: 111470 686000000 loops, solutions: 0, fipo: 111754 687000000 loops, solutions: 0, fipo: 112024 688000000 loops, solutions: 0, fipo: 112170 689000000 loops, solutions: 0, fipo: 112311 690000000 loops, solutions: 0, fipo: 112463 691000000 loops, solutions: 0, fipo: 112536 692000000 loops, solutions: 0, fipo: 112536 693000000 loops, solutions: 0, fipo: 112536 694000000 loops, solutions: 0, fipo: 112536 695000000 loops, solutions: 0, fipo: 112536 696000000 loops, solutions: 0, fipo: 112536 697000000 loops, solutions: 0, fipo: 112536 698000000 loops, solutions: 0, fipo: 112536 699000000 loops, solutions: 0, fipo: 112536 700000000 loops, solutions: 0, fipo: 112536 701000000 loops, solutions: 0, fipo: 113069 702000000 loops, solutions: 0, fipo: 113259 703000000 loops, solutions: 0, fipo: 113366 704000000 loops, solutions: 0, fipo: 113531 705000000 loops, solutions: 0, fipo: 113720 706000000 loops, solutions: 0, fipo: 113771 707000000 loops, solutions: 0, fipo: 113891 708000000 loops, solutions: 0, fipo: 114015 709000000 loops, solutions: 0, fipo: 114081 710000000 loops, solutions: 0, fipo: 114247 711000000 loops, solutions: 0, fipo: 114282 712000000 loops, solutions: 0, fipo: 114282 713000000 loops, solutions: 0, fipo: 114282 714000000 loops, solutions: 0, fipo: 114403 715000000 loops, solutions: 0, fipo: 114475 716000000 loops, solutions: 0, fipo: 114480 717000000 loops, solutions: 0, fipo: 114480 718000000 loops, solutions: 0, fipo: 115097 719000000 loops, solutions: 0, fipo: 115285 720000000 loops, solutions: 0, fipo: 115430 721000000 loops, solutions: 0, fipo: 115562 722000000 loops, solutions: 0, fipo: 115700 723000000 loops, solutions: 0, fipo: 115821 724000000 loops, solutions: 0, fipo: 115918 725000000 loops, solutions: 0, fipo: 116008 726000000 loops, solutions: 0, fipo: 116175 727000000 loops, solutions: 0, fipo: 116226 728000000 loops, solutions: 0, fipo: 116226 729000000 loops, solutions: 0, fipo: 116226 730000000 loops, solutions: 0, fipo: 116271 731000000 loops, solutions: 0, fipo: 116391 732000000 loops, solutions: 0, fipo: 116424 733000000 loops, solutions: 0, fipo: 116424 734000000 loops, solutions: 0, fipo: 116543 735000000 loops, solutions: 0, fipo: 116595 736000000 loops, solutions: 0, fipo: 116622 737000000 loops, solutions: 0, fipo: 117587 738000000 loops, solutions: 0, fipo: 118207 0 0 0 0 0 0 0 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 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 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 72 80 80 72 72 64 64 72 72 80 80 72 72 80 72 72 80 72 72 64 80 72 80 72 80 64 64 80 72 80 72 64 72 64 72 64 72 72 56 64 64 72 72 72 72 72 72 48 72 80 72 80 64 72 80 72 80 80 72 64 72 72 72 72 72 72 64 72 72 72 80 72 80 72 48 64 72 64 80 64 72 80 64 64 72 80 72 80 80 64 80 80 72 64 72 64 80 64 80 80 72 72 64 72 72 80 72 64 72 80 64 80 72 72 72 64 72 80 72 72 80 64 72 72 80 72 72 72 72 72 72 64 72 64 80 64 72 80 64 80 72 72 48 80 48 Prune_cs: 139978352 Prune_only_zeros: 390956286 of 598757015 Prune_hoelder: 67822233 of 207800729 Prune_N: 7830310 Fincke-Pohst: 118443 Loops: 738854610 Stopped after number of solutions: 1 total enumeration time: 0:08:28 real 9m59.723s user 8m28.352s sys 0m2.576s