#togo=431 h=1: **(Putting (0.227671 CQ GE) into graph...)** h=0 #togo=430 h=1: **(Putting (0.59031653 AC AD) into graph...)** h=0 #togo=429 h=1: **(Putting (0.5932309 FY FZ) into graph...)** h=0 #togo=428 h=1: **(Putting (0.6518975 FE FF) into graph...)** h=0 #togo=427 h=1: **(Putting (0.68851924 GC GD) into graph...)** h=0 #togo=426 h=1: **(Putting (0.71225244 GR GU) into graph...)** h=0 #togo=425 h=1: **(Putting (0.8134073 BH BJ) into graph...)** h=0 #togo=424 h=1: **(Putting (0.8382791 GL GM) into graph...)** h=0 #togo=423 h=1: **(Putting (0.86767316 HN HO) into graph...)** h=0 #togo=422 h=1: **(Putting (0.8842827 CV IL) into graph...)** h=0 #togo=421 h=1: **(Putting (0.8845309 GJ GM) into graph...)** h=0 #togo=420 h=1: **(Putting (0.8901633 BQ BR) into graph...)** h=0 #togo=419 h=1: **(Putting (0.9331802 CA CB) into graph...)** h=0 #togo=418 h=1: **(Putting (0.95346385 KB KC) into graph...)** h=0 #togo=417 h=1: **(Putting (0.9736086 IE IF) into graph...)** h=0 #togo=416 h=1: **(Putting (0.9796816 ER ES) into graph...)** h=0 #togo=415 h=1: - (GK)newLink(GL) reduced: (GK)toShorterLink(GM)moduloOldlink(GL) h=1: **(Putting (0.99599034 GK GM) into graph...)** h=0 #togo=414 h=1: **(Putting (1.009755 DD GA) into graph...)** h=0 #togo=413 h=1: **(Putting (1.012928 EG IO) into graph...)** h=0 #togo=412 h=1: - (JQ)newLink(KC) reduced: (JQ)toShorterLink(KB)moduloOldlink(KC) h=1: **(Putting (1.0358149 JQ KB) into graph...)** h=0 #togo=411 h=1: **(Putting (1.0634564 KN KR) into graph...)** h=0 #togo=410 h=1: **(Putting (1.0661471 AV AW) into graph...)** h=0 #togo=409 h=1: **(Putting (1.066391 FR FS) into graph...)** h=0 #togo=408 h=1: **(Putting (1.0682455 AN HN) into graph...)** h=0 #togo=407 h=1: **(Putting (1.0801255 DE EF) into graph...)** h=0 #togo=406 h=1: **(Putting (1.0810355 KA KB) into graph...)** h=0 #togo=405 h=1: **(Putting (1.1096431 JN JS) into graph...)** h=0 #togo=404 h=1: **(Putting (1.1144283 CC CD) into graph...)** h=0 #togo=403 h=1: **(Putting (1.1217644 DI IS) into graph...)** h=0 #togo=402 h=1: **(Putting (1.1305617 BH JH) into graph...)** h=0 #togo=401 h=1: **(Putting (1.1307373 CU CV) into graph...)** h=0 #togo=400 h=1: **(Putting (1.1580962 BZ CA) into graph...)** h=0 #togo=399 h=1: - (CQ)newLink(JC) reduced: (JC)toShorterLink(GE)moduloOldlink(CQ) h=1: **(Putting (1.1625848 GE JC) into graph...)** h=0 #togo=398 h=1: **(Putting (1.1754545 HD HE) into graph...)** h=0 #togo=397 h=1: **(Putting (1.1757202 DZ FC) into graph...)** h=0 #togo=396 h=1: **(Putting (1.1795691 JQ JW) into graph...)** h=0 #togo=395 h=1: **(Putting (1.201166 FU IU) into graph...)** h=0 #togo=394 h=1: **(Putting (1.212149 DP KE) into graph...)** h=0 #togo=393 h=1: **(Putting (1.2127461 CC JH) into graph...)** h=0 #togo=392 h=1: **(Putting (1.2135844 HZ IA) into graph...)** h=0 #togo=391 h=1: **(Putting (1.2136773 AD HI) into graph...)** h=0 #togo=390 h=1: - (JW)newLink(KK) reduced: (KK)toShorterLink(JQ)moduloOldlink(JW) h=1: **(Putting (1.2096139 JQ KK) into graph...)** h=0 #togo=389 h=1: **(Putting (1.2217661 JQ JS) into graph...)** h=0 #togo=388 h=1: **(Putting (1.2230258 FC FF) into graph...)** h=0 #togo=387 h=1: **(Putting (1.2312951 JG JL) into graph...)** h=0 #togo=386 h=1: **(Putting (1.2412473 CA ET) into graph...)** h=0 #togo=385 h=1: **(Putting (1.2500426 EO EP) into graph...)** h=0 #togo=384 h=1: **(Putting (1.2564715 AA CT) into graph...)** h=0 #togo=383 h=1: **(Putting (1.2613962 DU IA) into graph...)** h=0 #togo=382 h=1: **(Putting (1.2644119 JA KA) into graph...)** h=0 #togo=381 h=1: **(Putting (1.2665225 BV BW) into graph...)** h=0 #togo=380 h=1: **(Putting (1.2672045 HR JC) into graph...)** h=0 #togo=379 h=1: - (BQ)newLink(JQ) reduced: (BQ)toShorterLink(JW)moduloOldlink(JQ) h=1: **(Putting (1.1179845 BQ JW) into graph...)** h=0 #togo=378 h=1: **(Putting (1.2823116 DZ EA) into graph...)** h=0 #togo=377 h=1: **(Putting (1.299432 ES HC) into graph...)** h=0 #togo=376 h=1: **(Putting (1.3320855 BM HC) into graph...)** h=0 #togo=375 h=1: **(Putting (1.3328737 EV FH) into graph...)** h=0 #togo=374 h=1: **(Putting (1.3343104 FA HB) into graph...)** h=0 #togo=373 h=1: **(Putting (1.3361869 FQ IQ) into graph...)** h=0 #togo=372 h=1: **(Putting (1.3390234 EA JV) into graph...)** h=0 #togo=371 h=1: - (JZ)newLink(KB) reduced: (JZ)toShorterLink(KC)moduloOldlink(KB) h=1: **(Putting (1.338984 JZ KC) into graph...)** h=0 #togo=370 h=1: **(Putting (1.3440785 CX CY) into graph...)** h=0 #togo=369 h=1: **(Putting (1.3484509 IF JJ) into graph...)** h=0 #togo=368 h=1: **(Putting (1.3501576 EJ GV) into graph...)** h=0 #togo=367 h=1: **(Putting (1.3547556 HP KR) into graph...)** h=0 #togo=366 h=1: **(Putting (1.3609225 JM JT) into graph...)** h=0 #togo=365 h=1: **(Putting (1.368765 JA KQ) into graph...)** h=0 #togo=364 h=1: **(Putting (1.3723764 FA GV) into graph...)** h=0 #togo=363 h=1: **(Putting (1.3798798 BT DK) into graph...)** h=0 #togo=362 h=1: **(Putting (1.383191 EW JH) into graph...)** h=0 #togo=361 h=1: - (BL)newLink(HC) reduced: (BL)toShorterLink(BM)moduloOldlink(HC) h=1: **(Putting (1.3182681 BL BM) into graph...)** h=0 #togo=360 h=1: **(Putting (1.3845695 FJ GY) into graph...)** h=0 #togo=359 h=1: **(Putting (1.3846111 AO KN) into graph...)** h=0 #togo=358 h=1: **(Putting (1.3850423 FY IS) into graph...)** h=0 #togo=357 h=1: - (DI)newLink(GD) reduced: (GD)toShorterLink(IS)moduloOldlink(DI) h=1: - (FY)oldLink(IS) reduced: (FY)toShorterLink(GD)moduloNewlink(IS) **(Deleted (1.3850423 FY IS) from graph)** **(Putting (1.3732133 GD IS) into graph...)** h=1: **(Putting (1.126359 FY GD) into graph...)** h=0 #togo=356 h=1: **(Putting (1.3929278 EJ GN) into graph...)** h=0 #togo=355 h=1: **(Putting (1.3981602 FC GF) into graph...)** h=0 #togo=354 h=1: - (AG)newLink(JQ) reduced: (AG)toShorterLink(JW)moduloOldlink(JQ) h=1: - (AG)newLink(JW) reduced: (AG)toShorterLink(BQ)moduloOldlink(JW) h=1: **(Putting (1.3866107 AG BQ) into graph...)** h=0 #togo=353 h=1: **(Putting (1.3995639 AI EV) into graph...)** h=0 #togo=352 h=1: **(Putting (1.4002489 EU GX) into graph...)** h=0 #togo=351 h=1: **(Putting (1.4020232 ET HF) into graph...)** h=0 #togo=350 h=1: **(Putting (1.4024603 CQ JI) into graph...)** h=0 #togo=349 h=1: - (GU)newLink(HW) reduced: (HW)toShorterLink(GR)moduloOldlink(GU) h=1: **(Putting (1.4015654 GR HW) into graph...)** h=0 #togo=348 h=1: **(Putting (1.4032398 AT FU) into graph...)** h=0 #togo=347 h=1: **(Putting (1.4036887 GJ KQ) into graph...)** h=0 #togo=346 h=1: **(Putting (1.4038563 AK FC) into graph...)** h=0 #togo=345 h=1: **(Putting (1.404222 AO AP) into graph...)** h=0 #togo=344 h=1: - (BW)newLink(HH) reduced: (HH)toShorterLink(BV)moduloOldlink(BW) h=1: **(Putting (1.398077 BV HH) into graph...)** h=0 #togo=343 h=1: **(Putting (1.4051497 CM KO) into graph...)** h=0 #togo=342 h=1: - (BK)newLink(HO) reduced: (BK)toShorterLink(HN)moduloOldlink(HO) h=1: **(Putting (1.4007565 BK HN) into graph...)** h=0 #togo=341 h=1: **(Putting (1.4055839 BE CG) into graph...)** h=0 #togo=340 h=1: **(Putting (1.4058305 CC GQ) into graph...)** h=0 #togo=339 h=1: - (GJ)newLink(JV) reduced: (JV)toShorterLink(KQ)moduloOldlink(GJ) h=1: - (JA)oldLink(KQ) reduced: (JA)toShorterLink(JV)moduloNewlink(KQ) **(Deleted (1.368765 JA KQ) from graph)** **(Putting (1.3649657 JV KQ) into graph...)** h=1: **(Putting (1.2796694 JA JV) into graph...)** h=0 #togo=338 h=1: **(Putting (1.406248 AC CY) into graph...)** h=0 #togo=337 h=1: **(Putting (1.4064076 HE HF) into graph...)** h=0 #togo=336 h=1: - (BW)newLink(HK) reduced: (HK)toShorterLink(BV)moduloOldlink(BW) h=1: **(Putting (1.4010491 BV HK) into graph...)** h=0 #togo=335 h=1: **(Putting (1.4073911 AC JT) into graph...)** h=0 #togo=334 h=1: **(Putting (1.4078273 DN JO) into graph...)** h=0 #togo=333 h=1: **(Putting (1.4081007 EQ FS) into graph...)** h=0 #togo=332 h=1: - (IB)newLink(KA) reduced: (IB)toShorterLink(JA)moduloOldlink(KA) h=1: **(Putting (1.3082473 IB JA) into graph...)** h=0 #togo=331 h=1: **(Putting (1.4087566 CI EJ) into graph...)** h=0 #togo=330 h=1: **(Putting (1.4088876 BF JT) into graph...)** h=0 #togo=329 h=1: - (BW)newLink(CC) reduced: (BW)toShorterLink(CD)moduloOldlink(CC) h=1: **(Putting (1.4071741 BW CD) into graph...)** h=0 #togo=328 h=1: **(Putting (1.4090981 AR IT) into graph...)** h=0 #togo=327 h=1: - (BF)newLink(JQ) reduced: (JQ)toShorterLink(JT)moduloOldlink(BF) h=1: **(Putting (1.4069402 JQ JT) into graph...)** h=0 #togo=326 h=1: - (BI)newLink(IF) reduced: (BI)toShorterLink(JJ)moduloOldlink(IF) h=1: **(Putting (1.4036269 BI JJ) into graph...)** h=0 #togo=325 h=1: **(Putting (1.4095298 BG FS) into graph...)** h=0 #togo=324 h=1: **(Putting (1.4096051 BV IP) into graph...)** h=0 #togo=323 h=1: **(Putting (1.409814 BO CA) into graph...)** h=0 #togo=322 h=1: **(Putting (1.4098952 CN IW) into graph...)** h=0 #togo=321 h=1: - (AT)newLink(IA) reduced: (AT)toShorterLink(DU)moduloOldlink(IA) h=1: **(Putting (1.2817167 AT DU) into graph...)** h=0 #togo=320 h=1: **(Putting (1.4105788 DT ET) into graph...)** h=0 #togo=319 h=1: **(Putting (1.4106256 EA HS) into graph...)** h=0 #togo=318 h=1: - (BZ)newLink(JQ) reduced: (JQ)toShorterLink(CA)moduloOldlink(BZ) - (BZ)newLink(JQ) reduced: (BZ)toShorterLink(JT)moduloOldlink(JQ) h=2: - (CA)newLink(JQ) reduced: (JQ)toShorterLink(CB)moduloOldlink(CA) - (CA)newLink(JQ) reduced: (CA)toShorterLink(JT)moduloOldlink(JQ) h=3: - (BF)oldLink(JT) reduced: (BF)toShorterLink(CA)moduloNewlink(JT) **(Deleted (1.4088876 BF JT) from graph)** **(Putting (1.4017116 CA JT) into graph...)** h=3: **(Putting (1.4014981 BF CA) into graph...)** h=2: **(Putting (1.4053528 CB JQ) into graph...)** h=1: - (BZ)newLink(JT) reduced: (JT)toShorterLink(CA)moduloOldlink(BZ) - (BZ)newLink(JT) reduced: (BZ)toShorterLink(CA)moduloOldlink(JT) h=0 #togo=317 h=1: - (DB)newLink(IA) reduced: (DB)toShorterLink(DU)moduloOldlink(IA) h=1: **(Putting (1.3975208 DB DU) into graph...)** h=0 #togo=316 h=1: **(Putting (1.4106897 CA JR) into graph...)** h=0 #togo=315 h=1: - (FY)newLink(JQ) reduced: (JQ)toShorterLink(FZ)moduloOldlink(FY) - (FY)newLink(JQ) reduced: (FY)toShorterLink(JW)moduloOldlink(JQ) h=2: **(Putting (1.409862 FZ JQ) into graph...)** h=1: - (FY)newLink(JW) reduced: (JW)toShorterLink(GD)moduloOldlink(FY) - (FY)newLink(JW) reduced: (JW)toShorterLink(FZ)moduloOldlink(FY) - (FY)newLink(JW) reduced: (FY)toShorterLink(BQ)moduloOldlink(JW) h=3: - (FZ)newLink(JW) reduced: (JW)toShorterLink(JQ)moduloOldlink(FZ) - (FZ)newLink(JW) reduced: (FZ)toShorterLink(BQ)moduloOldlink(JW) - (FZ)newLink(JW) reduced: (FZ)toShorterLink(JQ)moduloOldlink(JW) h=3: - (BQ)newLink(FZ) reduced: (BQ)toShorterLink(JQ)moduloOldlink(FZ) h=2: - (GD)newLink(JW) reduced: (JW)toShorterLink(GC)moduloOldlink(GD) h=2: **(Putting (1.4103601 GC JW) into graph...)** h=1: - (BQ)newLink(FY) reduced: (BQ)toShorterLink(FZ)moduloOldlink(FY) h=0 #togo=314 h=1: - (FE)newLink(IP) reduced: (IP)toShorterLink(FF)moduloOldlink(FE) h=1: - (FF)newLink(IP) reduced: (IP)toShorterLink(FC)moduloOldlink(FF) h=1: **(Putting (1.403292 FC IP) into graph...)** h=0 #togo=313 h=1: **(Putting (1.4112 AM IB) into graph...)** h=0 #togo=312 h=1: - (CU)newLink(II) reduced: (II)toShorterLink(CV)moduloOldlink(CU) h=1: - (CV)newLink(II) reduced: (II)toShorterLink(IL)moduloOldlink(CV) h=1: **(Putting (1.4054201 II IL) into graph...)** h=0 #togo=311 h=1: - (BE)newLink(FY) reduced: (BE)toShorterLink(FZ)moduloOldlink(FY) h=1: - (BE)newLink(FZ) reduced: (BE)toShorterLink(JQ)moduloOldlink(FZ) h=1: - (BE)oldLink(CG) reduced: (CG)toShorterLink(JQ)moduloNewlink(BE) **(Deleted (1.4055839 BE CG) from graph)** **(Putting (1.395748 BE JQ) into graph...)** h=1: **(Putting (1.3663679 CG JQ) into graph...)** h=0 #togo=310 h=1: - (JD)newLink(JQ) reduced: (JD)toShorterLink(JS)moduloOldlink(JQ) - (JD)newLink(JQ) reduced: (JD)toShorterLink(KK)moduloOldlink(JQ) h=2: **(Putting (1.2274824 JD KK) into graph...)** h=1: **(Putting (1.3973796 JD JS) into graph...)** h=0 #togo=309 h=1: - (HF)newLink(IA) reduced: (HF)toShorterLink(DU)moduloOldlink(IA) h=1: **(Putting (1.4111414 DU HF) into graph...)** h=0 #togo=308 h=1: **(Putting (1.4117151 CI EH) into graph...)** h=0 #togo=307 h=1: - (CC)newLink(GV) reduced: (CC)toShorterLink(EJ)moduloOldlink(GV) h=1: - (CI)oldLink(EJ) reduced: (CI)toShorterLink(CC)moduloNewlink(EJ) **(Deleted (1.4087566 CI EJ) from graph)** **(Putting (1.4029968 CC EJ) into graph...)** h=1: - (CI)oldLink(EH) reduced: (EH)toShorterLink(CC)moduloNewlink(CI) **(Deleted (1.4117151 CI EH) from graph)** **(Putting (1.3104291 CC CI) into graph...)** h=1: **(Putting (1.4116421 CC EH) into graph...)** h=0 #togo=306 h=1: **(Putting (1.4118603 EL JZ) into graph...)** h=0 #togo=305 h=1: - (AD)newLink(JQ) reduced: (JQ)toShorterLink(AC)moduloOldlink(AD) - (AD)newLink(JQ) reduced: (AD)toShorterLink(CG)moduloOldlink(JQ) - (AD)newLink(JQ) reduced: (AD)toShorterLink(JT)moduloOldlink(JQ) h=3: - (AD)newLink(CG) reduced: (CG)toShorterLink(AC)moduloOldlink(AD) h=3: **(Putting (1.4037997 AC CG) into graph...)** h=2: - (AD)newLink(JT) reduced: (JT)toShorterLink(AC)moduloOldlink(AD) - (AD)newLink(JT) reduced: (AD)toShorterLink(AC)moduloOldlink(JT) h=1: - (AC)newLink(JQ) reduced: (JQ)toShorterLink(CG)moduloOldlink(AC) - (AC)newLink(JQ) reduced: (JQ)toShorterLink(JT)moduloOldlink(AC) - (AC)newLink(JQ) reduced: (AC)toShorterLink(CG)moduloOldlink(JQ) - (AC)newLink(JQ) reduced: (AC)toShorterLink(JT)moduloOldlink(JQ) - (AC)newLink(JQ) reduced: (AC)toShorterLink(JW)moduloOldlink(JQ) h=1: - (AC)newLink(JW) reduced: (JW)toShorterLink(CG)moduloOldlink(AC) - (AC)newLink(JW) reduced: (JW)toShorterLink(JT)moduloOldlink(AC) - (AC)newLink(JW) reduced: (JW)toShorterLink(CY)moduloOldlink(AC) h=3: **(Putting (1.4090213 CY JW) into graph...)** h=2: - (JT)newLink(JW) reduced: (JW)toShorterLink(JQ)moduloOldlink(JT) - (JT)newLink(JW) reduced: (JT)toShorterLink(JQ)moduloOldlink(JW) h=1: - (CG)newLink(JW) reduced: (JW)toShorterLink(JQ)moduloOldlink(CG) - (CG)newLink(JW) reduced: (CG)toShorterLink(JQ)moduloOldlink(JW) h=0 #togo=304 h=1: **(Putting (1.4119792 BI CX) into graph...)** h=0 #togo=303 h=1: - (AN)newLink(JA) reduced: (JA)toShorterLink(HN)moduloOldlink(AN) h=1: - (HN)newLink(JA) reduced: (HN)toShorterLink(JV)moduloOldlink(JA) h=1: **(Putting (1.4070449 HN JV) into graph...)** h=0 #togo=302 h=1: **(Putting (1.4120637 BN IQ) into graph...)** h=0 #togo=301 h=1: - (AR)newLink(JA) reduced: (AR)toShorterLink(IB)moduloOldlink(JA)