** Upgrading to 10-d gr (25 50 11 36 61 22 47 8 33 58). #togo=322 h=1: **(Putting (3.245038 FP FU) into graph...)** h=0 #togo=321 h=1: **(Putting (3.2093701 BV HE) into graph...)** h=0 #togo=320 h=1: **(Putting (3.1986816 DP HP) into graph...)** h=0 #togo=319 h=1: **(Putting (3.1932323 CT JJ) into graph...)** h=0 #togo=318 h=1: - (DP)oldLink(HP) reduced: (HP)toShorterLink(CP)moduloNewlink(DP) **(Deleted (3.1986816 DP HP) from graph)** **(Putting (3.0304031 CP DP) into graph...)** h=1: **(Putting (2.588009 CP HP) into graph...)** h=0 #togo=317 h=1: **(Putting (3.0135555 DI IH) into graph...)** h=0 #togo=316 h=1: **(Putting (3.0116782 AD BE) into graph...)** h=0 #togo=315 h=1: - (AD)oldLink(BE) reduced: (AD)toShorterLink(CT)moduloNewlink(BE) **(Deleted (3.0116782 AD BE) from graph)** - (CT)oldLink(JJ) reduced: (JJ)toShorterLink(BE)moduloNewlink(CT) **(Deleted (3.1932323 CT JJ) from graph)** **(Putting (3.011314 BE CT) into graph...)** h=2: **(Putting (2.0004423 AD CT) into graph...)** h=1: **(Putting (2.0570474 BE JJ) into graph...)** h=0 #togo=314 h=1: **(Putting (3.0012312 BL IY) into graph...)** h=0 #togo=313 h=1: **(Putting (2.9916444 CL GZ) into graph...)** h=0 #togo=312 h=1: **(Putting (2.9876294 FM KD) into graph...)** h=0 #togo=311 h=1: **(Putting (2.982983 BH HW) into graph...)** h=0 #togo=310 h=1: **(Putting (2.9646544 AS CK) into graph...)** h=0 #togo=309 h=1: **(Putting (2.9583514 CM CW) into graph...)** h=0 #togo=308 h=1: - (BE)oldLink(CT) reduced: (CT)toShorterLink(CV)moduloNewlink(BE) **(Deleted (3.011314 BE CT) from graph)** **(Putting (2.9321024 BE CV) into graph...)** h=1: **(Putting (0.6171873 CT CV) into graph...)** h=0 #togo=307 h=1: - (DI)oldLink(IH) reduced: (DI)toShorterLink(HL)moduloNewlink(IH) **(Deleted (3.0135555 DI IH) from graph)** **(Putting (2.923262 HL IH) into graph...)** h=1: **(Putting (2.7665277 DI HL) into graph...)** h=0 #togo=306 h=1: **(Putting (2.9198694 JE JN) into graph...)** h=0 #togo=305 h=1: - (CL)oldLink(GZ) reduced: (GZ)toShorterLink(DC)moduloNewlink(CL) **(Deleted (2.9916444 CL GZ) from graph)** **(Putting (2.9122226 CL DC) into graph...)** h=1: **(Putting (2.7885456 DC GZ) into graph...)** h=0 #togo=304 h=1: - (JE)oldLink(JN) reduced: (JE)toShorterLink(AM)moduloNewlink(JN) **(Deleted (2.9198694 JE JN) from graph)** **(Putting (2.874693 AM JN) into graph...)** h=1: **(Putting (0.8174818 AM JE) into graph...)** h=0 #togo=303 h=1: **(Putting (2.8535566 AL HI) into graph...)** h=0 #togo=302 h=1: **(Putting (2.8360164 BH BR) into graph...)** h=0 #togo=301 h=1: **(Putting (2.8282862 AF BW) into graph...)** h=0 #togo=300 h=1: **(Putting (2.8256884 EY GZ) into graph...)** h=0 #togo=299 h=1: - (FP)oldLink(FU) reduced: (FU)toShorterLink(IU)moduloNewlink(FP) **(Deleted (3.245038 FP FU) from graph)** **(Putting (2.7866545 FP IU) into graph...)** h=1: **(Putting (1.2723933 FU IU) into graph...)** h=0 #togo=298 h=1: **(Putting (2.712273 FX HN) into graph...)** h=0 #togo=297 h=1: **(Putting (2.683351 AZ HY) into graph...)** h=0 #togo=296 h=1: **(Putting (2.6805427 EH EK) into graph...)** h=0 #togo=295 h=1: - (AF)oldLink(BW) reduced: (BW)toShorterLink(HK)moduloNewlink(AF) **(Deleted (2.8282862 AF BW) from graph)** **(Putting (2.6653636 AF HK) into graph...)** h=1: **(Putting (0.9902706 BW HK) into graph...)** h=0 #togo=294 h=1: **(Putting (2.6542664 AG FD) into graph...)** h=0 #togo=293 h=1: **(Putting (2.6472623 BJ GD) into graph...)** h=0 #togo=292 h=1: - (BH)oldLink(BR) reduced: (BH)toShorterLink(JH)moduloNewlink(BR) **(Deleted (2.8360164 BH BR) from graph)** **(Putting (2.6313758 BR JH) into graph...)** h=1: **(Putting (1.820977 BH JH) into graph...)** h=0 #togo=291 h=1: - (AG)oldLink(FD) reduced: (FD)toShorterLink(GF)moduloNewlink(AG) **(Deleted (2.6542664 AG FD) from graph)** **(Putting (2.602077 AG GF) into graph...)** h=1: **(Putting (2.0391634 FD GF) into graph...)** h=0 #togo=290 h=1: - (BR)oldLink(JH) reduced: (BR)toShorterLink(KB)moduloNewlink(JH) **(Deleted (2.6313758 BR JH) from graph)** **(Putting (2.5975733 JH KB) into graph...)** h=1: **(Putting (2.110722 BR KB) into graph...)** h=0 #togo=289 h=1: - (BA)newLink(CP) reduced: (BA)toShorterLink(HP)moduloOldlink(CP) h=1: **(Putting (1.8482783 BA HP) into graph...)** h=0 #togo=288 h=1: **(Putting (2.5896142 HR KC) into graph...)** h=0 #togo=287 h=1: **(Putting (2.5818722 EI HG) into graph...)** h=0 #togo=286 h=1: - (BE)oldLink(CV) reduced: (BE)toShorterLink(JD)moduloNewlink(CV) **(Deleted (2.9321024 BE CV) from graph)** **(Putting (2.5741246 CV JD) into graph...)** h=1: **(Putting (2.386515 BE JD) into graph...)** h=0 #togo=285 h=1: **(Putting (2.5705624 GJ GR) into graph...)** h=0 #togo=284 h=1: - (BV)oldLink(HE) reduced: (BV)toShorterLink(IV)moduloNewlink(HE) **(Deleted (3.2093701 BV HE) from graph)** **(Putting (2.5696337 HE IV) into graph...)** h=1: **(Putting (2.4068358 BV IV) into graph...)** h=0 #togo=283 h=1: - (DI)oldLink(HL) reduced: (DI)toShorterLink(EE)moduloNewlink(HL) **(Deleted (2.7665277 DI HL) from graph)** - (HL)oldLink(IH) reduced: (IH)toShorterLink(EE)moduloNewlink(HL) **(Deleted (2.923262 HL IH) from graph)** **(Putting (2.5619214 EE HL) into graph...)** h=2: **(Putting (2.1120868 EE IH) into graph...)** h=1: **(Putting (2.2376144 DI EE) into graph...)** h=0 #togo=282 h=1: - (HE)oldLink(IV) reduced: (IV)toShorterLink(JL)moduloNewlink(HE) **(Deleted (2.5696337 HE IV) from graph)** **(Putting (2.5541527 HE JL) into graph...)** h=1: - (BV)oldLink(IV) reduced: (BV)toShorterLink(JL)moduloNewlink(IV) **(Deleted (2.4068358 BV IV) from graph)** **(Putting (1.7412815 IV JL) into graph...)** h=1: **(Putting (1.876293 BV JL) into graph...)** h=0 #togo=281 h=1: **(Putting (2.5442576 DT DU) into graph...)** h=0 #togo=280 h=1: - (AG)oldLink(GF) reduced: (AG)toShorterLink(GH)moduloNewlink(GF) **(Deleted (2.602077 AG GF) from graph)** **(Putting (2.5426157 GF GH) into graph...)** h=1: **(Putting (2.0892804 AG GH) into graph...)** h=0 #togo=279 h=1: **(Putting (2.5424836 DL EQ) into graph...)** h=0 #togo=278 h=1: **(Putting (2.5246053 AT HY) into graph...)** h=0 #togo=277 h=1: **(Putting (2.5205436 DF GM) into graph...)** h=0 #togo=276 h=1: **(Putting (2.510347 BT GA) into graph...)** h=0 #togo=275 h=1: **(Putting (2.5034773 FZ JM) into graph...)** h=0 #togo=274 h=1: - (BL)oldLink(IY) reduced: (IY)toShorterLink(EF)moduloNewlink(BL) **(Deleted (3.0012312 BL IY) from graph)** **(Putting (2.4965055 BL EF) into graph...)** h=1: **(Putting (1.8486423 EF IY) into graph...)** h=0 #togo=273 h=1: **(Putting (2.4941626 HV KA) into graph...)** h=0 #togo=272 h=1: **(Putting (2.4924476 FH HA) into graph...)** h=0 #togo=271 h=1: - (CP)oldLink(DP) reduced: (CP)toShorterLink(EA)moduloNewlink(DP) **(Deleted (3.0304031 CP DP) from graph)** **(Putting (2.4901774 DP EA) into graph...)** h=1: - (CP)oldLink(HP) reduced: (HP)toShorterLink(EA)moduloNewlink(CP) **(Deleted (2.588009 CP HP) from graph)** **(Putting (2.445921 CP EA) into graph...)** h=1: **(Putting (2.2228558 EA HP) into graph...)** h=0 #togo=270 h=1: - (EY)oldLink(GZ) reduced: (EY)toShorterLink(EJ)moduloNewlink(GZ) **(Deleted (2.8256884 EY GZ) from graph)** - (DC)oldLink(GZ) reduced: (DC)toShorterLink(EJ)moduloNewlink(GZ) **(Deleted (2.7885456 DC GZ) from graph)** **(Putting (2.4827633 EJ GZ) into graph...)** h=2: **(Putting (1.731186 EJ EY) into graph...)** h=1: - (CL)oldLink(DC) reduced: (CL)toShorterLink(EJ)moduloNewlink(DC) **(Deleted (2.9122226 CL DC) from graph)** **(Putting (2.1844316 DC EJ) into graph...)** h=1: - (CL)newLink(EJ) reduced: (CL)toShorterLink(EY)moduloOldlink(EJ) h=1: **(Putting (1.6570807 CL EY) into graph...)** h=0 #togo=269 h=1: - (FD)newLink(FT) reduced: (FT)toShorterLink(GF)moduloOldlink(FD) h=1: - (GF)oldLink(GH) reduced: (GH)toShorterLink(FT)moduloNewlink(GF) **(Deleted (2.5426157 GF GH) from graph)** **(Putting (2.162478 FT GF) into graph...)** h=1: **(Putting (1.9494467 FT GH) into graph...)** h=0 #togo=268 h=1: - (BG)newLink(HP) reduced: (BG)toShorterLink(EA)moduloOldlink(HP) - (BG)newLink(HP) reduced: (BG)toShorterLink(BA)moduloOldlink(HP) h=2: - (CP)oldLink(EA) reduced: (CP)toShorterLink(BG)moduloNewlink(EA) **(Deleted (2.445921 CP EA) from graph)** **(Putting (1.7285309 BG EA) into graph...)** h=2: **(Putting (1.7817587 BA BG) into graph...)** h=1: **(Putting (2.1192935 BG CP) into graph...)** h=0 #togo=267 h=1: **(Putting (2.4400783 EV IM) into graph...)** h=0 #togo=266 h=1: - (CP)newLink(DN) reduced: (DN)toShorterLink(BG)moduloOldlink(CP) h=1: **(Putting (2.008648 BG DN) into graph...)** h=0 #togo=265 h=1: **(Putting (2.4294302 FN IX) into graph...)** h=0 #togo=264 h=1: - (JL)newLink(KA) reduced: (KA)toShorterLink(IV)moduloOldlink(JL) - (HE)oldLink(JL) reduced: (HE)toShorterLink(KA)moduloNewlink(JL) **(Deleted (2.5541527 HE JL) from graph)** - (HV)oldLink(KA) reduced: (HV)toShorterLink(JL)moduloNewlink(KA) **(Deleted (2.4941626 HV KA) from graph)** h=3: **(Putting (1.7296408 IV KA) into graph...)** h=2: - (HV)newLink(JL) reduced: (HV)toShorterLink(IV)moduloOldlink(JL) h=2: **(Putting (2.2352026 HV IV) into graph...)** h=1: **(Putting (2.252462 HE KA) into graph...)** h=0 #togo=263 h=1: **(Putting (2.4169416 FB FF) into graph...)** h=0 #togo=262 h=1: - (EI)oldLink(HG) reduced: (EI)toShorterLink(KK)moduloNewlink(HG) **(Deleted (2.5818722 EI HG) from graph)** **(Putting (2.4130592 HG KK) into graph...)** h=1: **(Putting (2.4272883 EI KK) into graph...)** h=0 #togo=261 h=1: **(Putting (2.411388 DK HG) into graph...)** h=0 #togo=260 h=1: **(Putting (2.4104078 IE KG) into graph...)** h=0 #togo=259 h=1: - (EJ)oldLink(GZ) reduced: (EJ)toShorterLink(EU)moduloNewlink(GZ) **(Deleted (2.4827633 EJ GZ) from graph)** **(Putting (2.4054217 EU GZ) into graph...)** h=1: - (DC)oldLink(EJ) reduced: (DC)toShorterLink(EU)moduloNewlink(EJ) **(Deleted (2.1844316 DC EJ) from graph)** - (EJ)oldLink(EY) reduced: (EY)toShorterLink(EU)moduloNewlink(EJ) **(Deleted (1.731186 EJ EY) from graph)** **(Putting (1.4031318 EJ EU) into graph...)** h=2: - (EU)newLink(EY) reduced: (EU)toShorterLink(CL)moduloOldlink(EY) h=2: **(Putting (1.552721 CL EU) into graph...)** h=1: **(Putting (2.1700108 DC EU) into graph...)** h=0 #togo=258 h=1: **(Putting (2.3888826 HH II) into graph...)** h=0 #togo=257 h=1: **(Putting (2.3834138 DD JW) into graph...)** h=0 #togo=256 h=1: **(Putting (2.3733022 BO JY) into graph...)** h=0 #togo=255 h=1: **(Putting (2.3711305 CQ EL) into graph...)** h=0 #togo=254 h=1: - (DF)oldLink(GM) reduced: (GM)toShorterLink(IG)moduloNewlink(DF) **(Deleted (2.5205436 DF GM) from graph)** **(Putting (2.3666742 DF IG) into graph...)** h=1: **(Putting (1.4383992 GM IG) into graph...)** h=0 #togo=253 h=1: - (DN)newLink(HR) reduced: (HR)toShorterLink(BG)moduloOldlink(DN) - (HR)oldLink(KC) reduced: (KC)toShorterLink(DN)moduloNewlink(HR) **(Deleted (2.5896142 HR KC) from graph)** h=2: - (BG)oldLink(CP) reduced: (CP)toShorterLink(HR)moduloNewlink(BG) **(Deleted (2.1192935 BG CP) from graph)** **(Putting (1.499942 BG HR) into graph...)** h=2: **(Putting (1.4408975 CP HR) into graph...)** h=1: **(Putting (2.1242442 DN KC) into graph...)** h=0 #togo=252 h=1: **(Putting (2.3595145 FW HX) into graph...)** h=0 #togo=251 h=1: **(Putting (2.358207 DX JB) into graph...)** h=0 #togo=250 h=1: **(Putting (2.351519 FC GQ) into graph...)** h=0 #togo=249 h=1: **(Putting (2.3514178 AY IK) into graph...)** h=0 #togo=248 h=1: - (HH)oldLink(II) reduced: (HH)toShorterLink(EY)moduloNewlink(II) **(Deleted (2.3888826 HH II) from graph)** **(Putting (2.3435643 EY II) into graph...)** h=1: **(Putting (2.1771789 EY HH) into graph...)** h=0 #togo=247 h=1: - (FP)oldLink(IU) reduced: (IU)toShorterLink(FE)moduloNewlink(FP) **(Deleted (2.7866545 FP IU) from graph)** **(Putting (2.331544 FE FP) into graph...)** h=1: **(Putting (2.171541 FE IU) into graph...)** h=0 #togo=246 h=1: - (FW)oldLink(HX) reduced: (HX)toShorterLink(BP)moduloNewlink(FW) **(Deleted (2.3595145 FW HX) from graph)** **(Putting (2.331251 BP FW) into graph...)** h=1: **(Putting (2.1716368 BP HX) into graph...)** h=0 #togo=245 h=1: **(Putting (2.3294823 CR GN) into graph...)** h=0 #togo=244 h=1: - (CP)newLink(EP) reduced: (EP)toShorterLink(HR)moduloOldlink(CP) h=1: - (EP)newLink(HR) reduced: (EP)toShorterLink(BG)moduloOldlink(HR) h=1: **(Putting (0.8893397 BG EP) into graph...)** h=0 #togo=243 h=1: **(Putting (2.3249054 CA KJ) into graph...)** h=0 #togo=242 h=1: - (FM)oldLink(KD) reduced: (KD)toShorterLink(GU)moduloNewlink(FM) **(Deleted (2.9876294 FM KD) from graph)** **(Putting (2.317172 FM GU) into graph...)** h=1: **(Putting (2.6236417 GU KD) into graph...)** h=0 #togo=241 h=1: - (FC)oldLink(GQ) reduced: (GQ)toShorterLink(CY)moduloNewlink(FC) **(Deleted (2.351519 FC GQ) from graph)** **(Putting (2.313843 CY FC) into graph...)** h=1: **(Putting (2.0543277 CY GQ) into graph...)** h=0 #togo=240 h=1: **(Putting (2.3107033 BX JA) into graph...)** h=0 #togo=239 h=1: - (HP)newLink(IA) reduced: (IA)toShorterLink(EA)moduloOldlink(HP) - (HP)newLink(IA) reduced: (IA)toShorterLink(BA)moduloOldlink(HP) h=2: - (BA)oldLink(BG) reduced: (BG)toShorterLink(IA)moduloNewlink(BA) **(Deleted (1.7817587 BA BG) from graph)** **(Putting (1.5196352 BA IA) into graph...)** h=2: **(Putting (1.0517553 BG IA) into graph...)** h=1: - (EA)newLink(IA) reduced: (IA)toShorterLink(BG)moduloOldlink(EA) - (DP)oldLink(EA) reduced: (DP)toShorterLink(IA)moduloNewlink(EA) **(Deleted (2.4901774 DP EA) from graph)** - (EA)newLink(IA) reduced: (EA)toShorterLink(BG)moduloOldlink(IA) h=1: **(Putting (2.4576256 DP IA) into graph...)** h=0 #togo=238 h=1: - (BW)newLink(HV) reduced: (BW)toShorterLink(IV)moduloOldlink(HV) h=1: - (BW)newLink(IV) reduced: (IV)toShorterLink(HK)moduloOldlink(BW) - (BW)newLink(IV) reduced: (BW)toShorterLink(KA)moduloOldlink(IV) - (BW)newLink(IV) reduced: (BW)toShorterLink(JL)moduloOldlink(IV) h=3: - (AF)oldLink(HK) reduced: (AF)toShorterLink(IV)moduloNewlink(HK) **(Deleted (2.6653636 AF HK) from graph)** **(Putting (1.782074 HK IV) into graph...)** h=3: **(Putting (1.9274056 BW JL) into graph...)** h=2: - (BW)newLink(KA) reduced: (KA)toShorterLink(HK)moduloOldlink(BW) h=2: - (HK)newLink(KA) reduced: (KA)toShorterLink(IV)moduloOldlink(HK) - (HK)newLink(KA) reduced: (HK)toShorterLink(IV)moduloOldlink(KA) h=1: - (AF)newLink(IV) reduced: (AF)toShorterLink(HV)moduloOldlink(IV) - (AF)newLink(IV) reduced: (AF)toShorterLink(JL)moduloOldlink(IV) h=2: **(Putting (1.7866468 AF HV) into graph...)** h=1: **(Putting (1.9328787 AF JL) into graph...)** h=0 #togo=237 h=1: - (EI)oldLink(KK) reduced: (EI)toShorterLink(HF)moduloNewlink(KK) **(Deleted (2.4272883 EI KK) from graph)** - (HG)oldLink(KK) reduced: (HG)toShorterLink(HF)moduloNewlink(KK) **(Deleted (2.4130592 HG KK) from graph)** **(Putting (2.2867358 HF KK) into graph...)** h=2: - (DK)oldLink(HG) reduced: (DK)toShorterLink(HF)moduloNewlink(HG) **(Deleted (2.411388 DK HG) from graph)** **(Putting (1.5153491 HF HG) into graph...)** h=2: **(Putting (1.2988118 DK HF) into graph...)** h=1: **(Putting (2.0680535 EI HF) into graph...)** h=0 #togo=236 h=1: - (BJ)oldLink(GD) reduced: (GD)toShorterLink(FY)moduloNewlink(BJ) **(Deleted (2.6472623 BJ GD) from graph)** **(Putting (2.2867198 BJ FY) into graph...)** h=1: **(Putting (2.3862047 FY GD) into graph...)** h=0 #togo=235 h=1: - (BJ)oldLink(FY) reduced: (FY)toShorterLink(GM)moduloNewlink(BJ) **(Deleted (2.2867198 BJ FY) from graph)** **(Putting (2.2759223 BJ GM) into graph...)** h=1: - (FY)newLink(GM) reduced: (FY)toShorterLink(IG)moduloOldlink(GM) h=1: - (DF)oldLink(IG) reduced: (DF)toShorterLink(FY)moduloNewlink(IG) **(Deleted (2.3666742 DF IG) from graph)** **(Putting (1.2544988 FY IG) into graph...)** h=1: **(Putting (2.0625584 DF FY) into graph...)** h=0 #togo=234 h=1: - (BE)oldLink(JD) reduced: (BE)toShorterLink(DO)moduloNewlink(JD) **(Deleted (2.386515 BE JD) from graph)** **(Putting (2.2657697 DO JD) into graph...)** h=1: - (BE)oldLink(JJ) reduced: (JJ)toShorterLink(DO)moduloNewlink(BE) **(Deleted (2.0570474 BE JJ) from graph)** **(Putting (1.1224844 BE DO) into graph...)** h=1: **(Putting (1.8506688 DO JJ) into graph...)** h=0 #togo=233 h=1: - (AN)newLink(BA) reduced: (AN)toShorterLink(IA)moduloOldlink(BA) - (AN)newLink(BA) reduced: (AN)toShorterLink(HP)moduloOldlink(BA) h=2: - (DP)oldLink(IA) reduced: (DP)toShorterLink(AN)moduloNewlink(IA) **(Deleted (2.4576256 DP IA) from graph)** **(Putting (1.6741844 AN IA) into graph...)** h=2: - (EA)oldLink(HP) reduced: (EA)toShorterLink(AN)moduloNewlink(HP) **(Deleted (2.2228558 EA HP) from graph)** **(Putting (2.0891337 AN HP) into graph...)** h=2: - (AN)newLink(EA) reduced: (EA)toShorterLink(IA)moduloOldlink(AN) - (AN)newLink(EA) reduced: (AN)toShorterLink(BG)moduloOldlink(EA) h=2: - (AN)newLink(BG) reduced: (BG)toShorterLink(IA)moduloOldlink(AN) - (AN)newLink(BG) reduced: (AN)toShorterLink(IA)moduloOldlink(BG) - (AN)newLink(BG) reduced: (AN)toShorterLink(EP)moduloOldlink(BG) - (AN)newLink(BG) reduced: (AN)toShorterLink(HR)moduloOldlink(BG) h=3: - (AN)oldLink(IA) reduced: (IA)toShorterLink(EP)moduloNewlink(AN) **(Deleted (1.6741844 AN IA) from graph)** **(Putting (1.4567552 AN EP) into graph...)** h=3: - (EP)newLink(IA) reduced: (IA)toShorterLink(BG)moduloOldlink(EP) - (EP)newLink(IA) reduced: (EP)toShorterLink(BG)moduloOldlink(IA) h=2: **(Putting (1.56378 AN HR) into graph...)** h=1: **(Putting (2.2687752 AN DP) into graph...)** h=0 #togo=232 h=1: **(Putting (2.2607534 AU GP) into graph...)** h=0 #togo=231 h=1: **(Putting (2.2557251 ES JX) into graph...)** h=0 #togo=230 h=1: **(Putting (2.2453566 AV CD) into graph...)** h=0 #togo=229 h=1: - (BT)oldLink(GA) reduced: (BT)toShorterLink(AW)moduloNewlink(GA) **(Deleted (2.510347 BT GA) from graph)** **(Putting (2.2364414 AW GA) into graph...)** h=1: **(Putting (1.8961517 AW BT) into graph...)** h=0 #togo=228 h=1: - (IV)newLink(JU) reduced: (JU)toShorterLink(HK)moduloOldlink(IV) h=1: **(Putting (2.0658572 HK JU) into graph...)** h=0 #togo=227 h=1: **(Putting (2.2115967 BC CX) into graph...)** h=0 #togo=226 h=1: **(Putting (2.2105 DI EM) into graph...)** h=0 #togo=225 h=1: **(Putting (2.2060747 FT ID) into graph...)** h=0 #togo=224 h=1: **(Putting (2.2060134 GK IC) into graph...)** h=0 #togo=223 h=1: - (CR)oldLink(GN) reduced: (GN)toShorterLink(GG)moduloNewlink(CR) **(Deleted (2.3294823 CR GN) from graph)** **(Putting (2.2045293 CR GG) into graph...)** h=1: **(Putting (1.6672992 GG GN) into graph...)** h=0 #togo=222 h=1: - (AW)oldLink(GA) reduced: (AW)toShorterLink(BF)moduloNewlink(GA) **(Deleted (2.2364414 AW GA) from graph)** **(Putting (2.2028418 BF GA) into graph...)** h=1: **(Putting (2.0839002 AW BF) into graph...)** h=0 #togo=221 h=1: **(Putting (2.2007892 DR GI) into graph...)** h=0 #togo=220 h=1: - (JH)oldLink(KB) reduced: (KB)toShorterLink(JV)moduloNewlink(JH) **(Deleted (2.5975733 JH KB) from graph)** - (JH)newLink(JV) reduced: (JV)toShorterLink(BH)moduloOldlink(JH) h=2: - (BH)oldLink(HW) reduced: (HW)toShorterLink(JV)moduloNewlink(BH) **(Deleted (2.982983 BH HW) from graph)** **(Putting (1.877476 BH JV) into graph...)** h=2: - (JV)newLink(KB) reduced: (JV)toShorterLink(BR)moduloOldlink(KB) h=2: **(Putting (2.0229442 BR JV) into graph...)** h=1: **(Putting (2.9609313 HW JV) into graph...)** h=0 #togo=219 h=1: **(Putting (2.1905365 CN GY) into graph...)** h=0 #togo=218 h=1: - (CP)newLink(FR) reduced: (FR)toShorterLink(HR)moduloOldlink(CP) h=1: - (FR)newLink(HR) reduced: (FR)toShorterLink(BG)moduloOldlink(HR) h=1: - (BG)oldLink(EA) reduced: (EA)toShorterLink(FR)moduloNewlink(BG) **(Deleted (1.7285309 BG EA) from graph)** **(Putting (0.7790461 BG FR) into graph...)** h=1: **(Putting (1.2237961 EA FR) into graph...)** h=0 #togo=217 h=1: - (CA)oldLink(KJ) reduced: (CA)toShorterLink(BZ)moduloNewlink(KJ) **(Deleted (2.3249054 CA KJ) from graph)** **(Putting (2.1857443 BZ KJ) into graph...)** h=1: **(Putting (1.7986634 BZ CA) into graph...)** h=0 #togo=216 h=1: - (AL)oldLink(HI) reduced: (AL)toShorterLink(JE)moduloNewlink(HI) **(Deleted (2.8535566 AL HI) from graph)** **(Putting (2.185326 HI JE) into graph...)** h=1: **(Putting (1.5924855 AL JE) into graph...)** h=0 #togo=215 h=1: - (FB)oldLink(FF) reduced: (FB)toShorterLink(IU)moduloNewlink(FF) **(Deleted (2.4169416 FB FF) from graph)** - (FF)newLink(IU) reduced: (FF)toShorterLink(FE)moduloOldlink(IU) h=2: - (FE)oldLink(FP) reduced: (FP)toShorterLink(FF)moduloNewlink(FE) **(Deleted (2.331544 FE FP) from graph)** **(Putting (0.8822416 FE FF) into graph...)** h=2: **(Putting (1.1877021 FB IU) into graph...)** h=1: **(Putting (2.0904205 FF FP) into graph...)** h=0 #togo=214 h=1: - (BC)oldLink(CX) reduced: (BC)toShorterLink(JS)moduloNewlink(CX) **(Deleted (2.2115967 BC CX) from graph)** **(Putting (2.1832106 CX JS) into graph...)** h=1: **(Putting (1.7665557 BC JS) into graph...)** h=0 #togo=213 h=1: - (DI)oldLink(EE) reduced: (EE)toShorterLink(GC)moduloNewlink(DI) **(Deleted (2.2376144 DI EE) from graph)** **(Putting (2.17618 DI GC) into graph...)** h=1: **(Putting (1.5206263 EE GC) into graph...)** h=0 #togo=212 h=1: **(Putting (2.1728344 AK HM) into graph...)** h=0 #togo=211 h=1: - (EJ)newLink(JP) reduced: (JP)toShorterLink(EU)moduloOldlink(EJ) h=1: - (DC)oldLink(EU) reduced: (DC)toShorterLink(JP)moduloNewlink(EU) **(Deleted (2.1700108 DC EU) from graph)** - (EU)oldLink(GZ) reduced: (GZ)toShorterLink(JP)moduloNewlink(EU) **(Deleted (2.4054217 EU GZ) from graph)** **(Putting (1.7466116 EU JP) into graph...)** h=2: **(Putting (1.8381138 GZ JP) into graph...)** h=1: **(Putting (2.0097 DC JP) into graph...)** h=0 #togo=210 h=1: **(Putting (2.1659455 CU KH) into graph...)** h=0 #togo=209 h=1: **(Putting (2.1568868 EW JR) into graph...)** h=0 #togo=208 h=1: - (EW)oldLink(JR) reduced: (JR)toShorterLink(EY)moduloNewlink(EW) **(Deleted (2.1568868 EW JR) from graph)** - (EY)oldLink(HH) reduced: (HH)toShorterLink(EW)moduloNewlink(EY) **(Deleted (2.1771789 EY HH) from graph)** - (EY)oldLink(II) reduced: (II)toShorterLink(EW)moduloNewlink(EY) **(Deleted (2.3435643 EY II) from graph)** **(Putting (2.155766 EW EY) into graph...)** h=3: - (CL)oldLink(EY) reduced: (CL)toShorterLink(JR)moduloNewlink(EY) **(Deleted (1.6570807 CL EY) from graph)** **(Putting (1.6220773 EY JR) into graph...)** h=3: - (CL)newLink(JR) reduced: (JR)toShorterLink(EU)moduloOldlink(CL) h=3: **(Putting (1.4815916 EU JR) into graph...)** h=2: **(Putting (2.1537454 EW HH) into graph...)** h=1: **(Putting (2.3102012 EW II) into graph...)** h=0 #togo=207 h=1: - (FT)oldLink(ID) reduced: (FT)toShorterLink(JR)moduloNewlink(ID) **(Deleted (2.2060747 FT ID) from graph)** - (ID)newLink(JR) reduced: (ID)toShorterLink(EU)moduloOldlink(JR) h=2: **(Putting (1.073751 EU ID) into graph...)** h=1: - (FT)oldLink(GF) reduced: (GF)toShorterLink(JR)moduloNewlink(FT) **(Deleted (2.162478 FT GF) from graph)** **(Putting (1.3574979 FT JR) into graph...)** h=1: - (FD)oldLink(GF) reduced: (FD)toShorterLink(JR)moduloNewlink(GF) **(Deleted (2.0391634 FD GF) from graph)** - (EY)oldLink(JR) reduced: (EY)toShorterLink(GF)moduloNewlink(JR) **(Deleted (1.6220773 EY JR) from graph)** **(Putting (1.5962049 GF JR) into graph...)** h=2: - (EW)oldLink(EY) reduced: (EW)toShorterLink(GF)moduloNewlink(EY) **(Deleted (2.155766 EW EY) from graph)** **(Putting (1.4093969 EY GF) into graph...)** h=2: - (FD)newLink(JR) reduced: (FD)toShorterLink(EU)moduloOldlink(JR) h=2: - (EU)newLink(FD) reduced: (FD)toShorterLink(ID)moduloOldlink(EU) h=2: **(Putting (1.6960384 FD ID) into graph...)** h=1: **(Putting (2.03421 EW GF) into graph...)** h=0 #togo=206 h=1: - (BJ)oldLink(GM) reduced: (GM)toShorterLink(IE)moduloNewlink(BJ) **(Deleted (2.2759223 BJ GM) from graph)** - (IE)oldLink(KG) reduced: (KG)toShorterLink(BJ)moduloNewlink(IE) **(Deleted (2.4104078 IE KG) from graph)** **(Putting (2.142935 BJ IE) into graph...)** h=2: **(Putting (2.0550961 GM IE) into graph...)** h=1: **(Putting (2.2153635 BJ KG) into graph...)** h=0 #togo=205 h=1: - (AS)oldLink(CK) reduced: (CK)toShorterLink(CJ)moduloNewlink(AS) **(Deleted (2.9646544 AS CK) from graph)** **(Putting (2.1396396 AS CJ) into graph...)** h=1: **(Putting (2.517794 CJ CK) into graph...)** h=0 #togo=204 h=1: - (FN)oldLink(IX) reduced: (FN)toShorterLink(AC)moduloNewlink(IX) **(Deleted (2.4294302 FN IX) from graph)** **(Putting (2.130348 AC IX) into graph...)** h=1: **(Putting (1.7004036 AC FN) into graph...)** h=0 #togo=203 h=1: - (DT)oldLink(DU) reduced: (DT)toShorterLink(DC)moduloNewlink(DU) **(Deleted (2.5442576 DT DU) from graph)** **(Putting (2.1255753 DC DU) into graph...)** h=1: - (DC)newLink(DT) reduced: (DT)toShorterLink(JP)moduloOldlink(DC) h=1: **(Putting (1.9535949 DT JP) into graph...)** h=0 #togo=202 h=1: **(Putting (2.1171675 EO IY) into graph...)** h=0 #togo=201 h=1: - (BP)oldLink(FW) reduced: (BP)toShorterLink(FA)moduloNewlink(FW) **(Deleted (2.331251 BP FW) from graph)** **(Putting (2.117123 FA FW) into graph...)** h=1: - (BP)oldLink(HX) reduced: (HX)toShorterLink(FA)moduloNewlink(BP) **(Deleted (2.1716368 BP HX) from graph)** **(Putting (1.8407147 BP FA) into graph...)** h=1: **(Putting (0.94369364 FA HX) into graph...)** h=0 #togo=200 h=1: - (DX)oldLink(JB) reduced: (JB)toShorterLink(AI)moduloNewlink(DX) **(Deleted (2.358207 DX JB) from graph)** **(Putting (2.116069 AI DX) into graph...)** h=1: **(Putting (1.9017024 AI JB) into graph...)** h=0 #togo=199 h=1: - (AG)newLink(DK) reduced: (DK)toShorterLink(GH)moduloOldlink(AG) - (AG)newLink(DK) reduced: (AG)toShorterLink(HF)moduloOldlink(DK) h=2: - (FT)oldLink(GH) reduced: (FT)toShorterLink(DK)moduloNewlink(GH) **(Deleted (1.9494467 FT GH) from graph)** **(Putting (1.4022505 DK GH) into graph...)** h=2: **(Putting (1.4313585 DK FT) into graph...)** h=1: - (AG)oldLink(GH) reduced: (GH)toShorterLink(HF)moduloNewlink(AG) **(Deleted (2.0892804 AG GH) from graph)** - (AG)newLink(HF) reduced: (AG)toShorterLink(HG)moduloOldlink(HF) h=2: **(Putting (1.8649651 AG HG) into graph...)** h=1: - (GH)newLink(HF) reduced: (HF)toShorterLink(DK)moduloOldlink(GH) - (GH)newLink(HF) reduced: (GH)toShorterLink(DK)moduloOldlink(HF) h=0 #togo=198 h=1: **(Putting (2.1156418 BQ FG) into graph...)** h=0 #togo=197 h=1: **(Putting (2.1155694 BA EG) into graph...)** h=0 #togo=196 h=1: - (DN)newLink(EJ) reduced: (EJ)toShorterLink(BG)moduloOldlink(DN) - (DN)newLink(EJ) reduced: (DN)toShorterLink(EU)moduloOldlink(EJ) h=2: - (BG)newLink(EJ) reduced: (EJ)toShorterLink(IA)moduloOldlink(BG) - (BG)newLink(EJ) reduced: (EJ)toShorterLink(HR)moduloOldlink(BG) - (BG)newLink(EJ) reduced: (BG)toShorterLink(EU)moduloOldlink(EJ) h=4: - (BG)newLink(EU) reduced: (EU)toShorterLink(FR)moduloOldlink(BG) - (BG)oldLink(HR) reduced: (HR)toShorterLink(EU)moduloNewlink(BG) **(Deleted (1.499942 BG HR) from graph)** - (BG)oldLink(DN) reduced: (DN)toShorterLink(EU)moduloNewlink(BG) **(Deleted (2.008648 BG DN) from graph)** - (EU)oldLink(JP) reduced: (JP)toShorterLink(BG)moduloNewlink(EU) **(Deleted (1.7466116 EU JP) from graph)** - (CL)oldLink(EU) reduced: (CL)toShorterLink(BG)moduloNewlink(EU) **(Deleted (1.552721 CL EU) from graph)** h=7: - (AN)oldLink(HR) reduced: (AN)toShorterLink(EU)moduloNewlink(HR) **(Deleted (1.56378 AN HR) from graph)** **(Putting (1.2007458 EU HR) into graph...)** h=7: - (AN)newLink(EU) reduced: (AN)toShorterLink(ID)moduloOldlink(EU) h=7: **(Putting (1.1569701 AN ID) into graph...)** h=6: **(Putting (1.4100353 BG JP) into graph...)** h=5: **(Putting (1.439928 EU FR) into graph...)** h=4: **(Putting (1.4764866 BG CL) into graph...)** h=3: - (EJ)newLink(HR) reduced: (HR)toShorterLink(EU)moduloOldlink(EJ) - (EJ)newLink(HR) reduced: (EJ)toShorterLink(EU)moduloOldlink(HR) h=2: - (EJ)newLink(IA) reduced: (IA)toShorterLink(EU)moduloOldlink(EJ) - (EJ)newLink(IA) reduced: (EJ)toShorterLink(BA)moduloOldlink(IA) h=3: - (BA)oldLink(EG) reduced: (EG)toShorterLink(EJ)moduloNewlink(BA) **(Deleted (2.1155694 BA EG) from graph)** - (BA)oldLink(HP) reduced: (HP)toShorterLink(EJ)moduloNewlink(BA) **(Deleted (1.8482783 BA HP) from graph)** **(Putting (1.6951656 BA EJ) into graph...)** h=4: - (AN)oldLink(HP) reduced: (AN)toShorterLink(EJ)moduloNewlink(HP) **(Deleted (2.0891337 AN HP) from graph)** **(Putting (1.2230061 EJ HP) into graph...)** h=4: - (AN)newLink(EJ) reduced: (AN)toShorterLink(EU)moduloOldlink(EJ) h=3: - (EG)newLink(EJ) reduced: (EG)toShorterLink(EU)moduloOldlink(EJ) h=3: - (EG)newLink(EU) reduced: (EG)toShorterLink(HR)moduloOldlink(EU) h=3: - (EG)newLink(HR) reduced: (EG)toShorterLink(CP)moduloOldlink(HR) h=3: **(Putting (0.8303698 CP EG) into graph...)** h=2: - (EU)newLink(IA) reduced: (IA)toShorterLink(FR)moduloOldlink(EU) - (EU)newLink(IA) reduced: (IA)toShorterLink(HR)moduloOldlink(EU) - (EU)newLink(IA) reduced: (EU)toShorterLink(BG)moduloOldlink(IA) h=3: - (FR)newLink(IA) reduced: (IA)toShorterLink(BG)moduloOldlink(FR) - (FR)newLink(IA) reduced: (FR)toShorterLink(BG)moduloOldlink(IA) h=2: - (HR)newLink(IA) reduced: (HR)toShorterLink(BG)moduloOldlink(IA) h=1: **(Putting (1.9048249 DN EU) into graph...)** h=0 #togo=195 h=1: - (GU)oldLink(KD) reduced: (KD)toShorterLink(FQ)moduloNewlink(GU) **(Deleted (2.6236417 GU KD) from graph)** **(Putting (2.096345 FQ GU) into graph...)** h=1: **(Putting (2.1491988 FQ KD) into graph...)** h=0 #togo=194 h=1: **(Putting (2.0902276 JG JI) into graph...)** h=0 #togo=193 h=1: - (DM)newLink(EA) reduced: (DM)toShorterLink(FR)moduloOldlink(EA) h=1: **(Putting (1.2835962 DM FR) into graph...)** h=0 #togo=192 h=1: **(Putting (2.0776234 DE DZ) into graph...)** h=0 #togo=191 h=1: - (AV)oldLink(CD) reduced: (CD)toShorterLink(GA)moduloNewlink(AV) **(Deleted (2.2453566 AV CD) from graph)** - (BF)oldLink(GA) reduced: (BF)toShorterLink(AV)moduloNewlink(GA) **(Deleted (2.2028418 BF GA) from graph)** **(Putting (2.0581496 AV GA) into graph...)** h=2: **(Putting (1.6685992 CD GA) into graph...)** h=1: - (AW)oldLink(BF) reduced: (AW)toShorterLink(AV)moduloNewlink(BF) **(Deleted (2.0839002 AW BF) from graph)** **(Putting (1.773992 AV BF) into graph...)** h=1: **(Putting (1.3639525 AV AW) into graph...)** h=0 #togo=190 h=1: - (AT)oldLink(HY) reduced: (HY)toShorterLink(GB)moduloNewlink(AT) **(Deleted (2.5246053 AT HY) from graph)** **(Putting (2.038089 AT GB) into graph...)** h=1: - (AZ)oldLink(HY) reduced: (AZ)toShorterLink(GB)moduloNewlink(HY) **(Deleted (2.683351 AZ HY) from graph)** **(Putting (2.1103354 GB HY) into graph...)** h=1: **(Putting (2.012443 AZ GB) into graph...)** h=0 #togo=189 h=1: **(Putting (2.0334399 AL CC) into graph...)** h=0 #togo=188 h=1: - (BW)newLink(EY) reduced: (EY)toShorterLink(HK)moduloOldlink(BW) - (BW)newLink(EY) reduced: (BW)toShorterLink(GF)moduloOldlink(EY) h=2: - (BW)oldLink(JL) reduced: (JL)toShorterLink(GF)moduloNewlink(BW) **(Deleted (1.9274056 BW JL) from graph)** - (EW)oldLink(GF) reduced: (EW)toShorterLink(BW)moduloNewlink(GF) **(Deleted (2.03421 EW GF) from graph)** **(Putting (1.8316091 BW GF) into graph...)** h=3: **(Putting (1.9016842 GF JL) into graph...)** h=2: - (EW)oldLink(II) reduced: (II)toShorterLink(BW)moduloNewlink(EW) **(Deleted (2.3102012 EW II) from graph)** - (EW)oldLink(HH) reduced: (HH)toShorterLink(BW)moduloNewlink(EW) **(Deleted (2.1537454 EW HH) from graph)** **(Putting (1.910724 BW EW) into graph...)** h=3: - (BW)newLink(HH) reduced: (HH)toShorterLink(HK)moduloOldlink(BW) h=3: **(Putting (1.8522607 HH HK) into graph...)** h=2: - (HK)oldLink(JU) reduced: (JU)toShorterLink(EY)moduloNewlink(HK) **(Deleted (2.0658572 HK JU) from graph)** **(Putting (2.0029218 EY HK) into graph...)** h=2: **(Putting (1.9516683 EY JU) into graph...)** h=1: - (BW)newLink(II) reduced: (II)toShorterLink(HK)moduloOldlink(BW) h=1: - (HK)newLink(II) reduced: (II)toShorterLink(IV)moduloOldlink(HK) h=1: - (II)newLink(IV) reduced: (II)toShorterLink(KA)moduloOldlink(IV) h=1: **(Putting (1.4481091 II KA) into graph...)** h=0 #togo=187 h=1: **(Putting (2.0184836 AE CO) into graph...)** h=0 #togo=186 h=1: **(Putting (2.0051968 ES JK) into graph...)** h=0 #togo=185 h=1: - (BL)oldLink(EF) reduced: (EF)toShorterLink(DS)moduloNewlink(BL) **(Deleted (2.4965055 BL EF) from graph)** **(Putting (1.98317 BL DS) into graph...)** h=1: **(Putting (2.4792993 DS EF) into graph...)** h=0 #togo=184 h=1: - (AF)newLink(CQ) reduced: (CQ)toShorterLink(JL)moduloOldlink(AF) h=1: - (BV)oldLink(JL) reduced: (BV)toShorterLink(CQ)moduloNewlink(JL) **(Deleted (1.876293 BV JL) from graph)** **(Putting (1.412661 CQ JL) into graph...)** h=1: **(Putting (1.7498091 BV CQ) into graph...)** h=0 #togo=183 h=1: **(Putting (1.9793413 BD CD) into graph...)** h=0 #togo=182 h=1: - (GK)oldLink(IC) reduced: (GK)toShorterLink(EY)moduloNewlink(IC) **(Deleted (2.2060134 GK IC) from graph)** **(Putting (1.9790415 EY IC) into graph...)** h=1: - (EY)newLink(GK) reduced: (GK)toShorterLink(GF)moduloOldlink(EY) h=1: **(Putting (1.4980806 GF GK) into graph...)** h=0 #togo=181 h=1: **(Putting (1.9761472 HO KR) into graph...)** h=0 #togo=180 h=1: **(Putting (1.9746317 CA EC) into graph...)** h=0 #togo=179 h=1: **(Putting (1.9733812 AQ FE) into graph...)** h=0 #togo=178 h=1: **(Putting (1.9731455 HZ IJ) into graph...)** h=0 #togo=177 h=1: **(Putting (1.9699234 GT HL) into graph...)** h=0 #togo=176 h=1: - (BZ)oldLink(KJ) reduced: (BZ)toShorterLink(KP)moduloNewlink(KJ) **(Deleted (2.1857443 BZ KJ) from graph)** **(Putting (1.9649026 KJ KP) into graph...)** h=1: - (BZ)oldLink(CA) reduced: (CA)toShorterLink(KP)moduloNewlink(BZ) **(Deleted (1.7986634 BZ CA) from graph)** **(Putting (1.0197546 BZ KP) into graph...)** h=1: **(Putting (1.5852001 CA KP) into graph...)** h=0 #togo=175 h=1: - (BW)newLink(JR) reduced: (JR)toShorterLink(GF)moduloOldlink(BW) - (BW)newLink(JR) reduced: (JR)toShorterLink(HK)moduloOldlink(BW) - (BW)newLink(JR) reduced: (BW)toShorterLink(GF)moduloOldlink(JR) - (BW)newLink(JR) reduced: (BW)toShorterLink(EU)moduloOldlink(JR) h=2: - (BW)oldLink(EW) reduced: (EW)toShorterLink(EU)moduloNewlink(BW) **(Deleted (1.910724 BW EW) from graph)** - (BW)newLink(EU) reduced: (EU)toShorterLink(HK)moduloOldlink(BW) h=3: - (EU)newLink(EW) reduced: (EW)toShorterLink(ID)moduloOldlink(EU) h=3: **(Putting (1.3335339 EW ID) into graph...)** h=2: - (EY)oldLink(HK) reduced: (EY)toShorterLink(EU)moduloNewlink(HK) **(Deleted (2.0029218 EY HK) from graph)** - (HH)oldLink(HK) reduced: (HH)toShorterLink(EU)moduloNewlink(HK) **(Deleted (1.8522607 HH HK) from graph)** - (HK)oldLink(IV) reduced: (IV)toShorterLink(EU)moduloNewlink(HK) **(Deleted (1.782074 HK IV) from graph)** **(Putting (1.5683727 EU HK) into graph...)** h=3: **(Putting (1.6610978 EU HH) into graph...)** h=2: - (EU)newLink(IV) reduced: (IV)toShorterLink(ID)moduloOldlink(EU) - (HV)oldLink(IV) reduced: (HV)toShorterLink(EU)moduloNewlink(IV) **(Deleted (2.2352026 HV IV) from graph)** - (IV)oldLink(KA) reduced: (KA)toShorterLink(EU)moduloNewlink(IV) **(Deleted (1.7296408 IV KA) from graph)** - (IV)oldLink(JL) reduced: (JL)toShorterLink(EU)moduloNewlink(IV) **(Deleted (1.7412815 IV JL) from graph)** h=5: - (FD)oldLink(ID) reduced: (FD)toShorterLink(IV)moduloNewlink(ID) **(Deleted (1.6960384 FD ID) from graph)** **(Putting (1.435094 ID IV) into graph...)** h=5: **(Putting (1.2591382 FD IV) into graph...)** h=4: - (EU)newLink(JL) reduced: (JL)toShorterLink(ID)moduloOldlink(EU) - (EU)newLink(JL) reduced: (EU)toShorterLink(CQ)moduloOldlink(JL) - (AF)oldLink(JL) reduced: (AF)toShorterLink(EU)moduloNewlink(JL) **(Deleted (1.9328787 AF JL) from graph)** h=6: - (EU)oldLink(HH) reduced: (HH)toShorterLink(CQ)moduloNewlink(EU) **(Deleted (1.6610978 EU HH) from graph)** - (EU)oldLink(HK) reduced: (HK)toShorterLink(CQ)moduloNewlink(EU) **(Deleted (1.5683727 EU HK) from graph)** **(Putting (1.1392494 CQ EU) into graph...)** h=7: - (CQ)oldLink(EL) reduced: (EL)toShorterLink(HK)moduloNewlink(CQ) **(Deleted (2.3711305 CQ EL) from graph)** **(Putting (1.2400919 CQ HK) into graph...)** h=7: - (ID)newLink(JL) reduced: (JL)toShorterLink(EW)moduloOldlink(ID) - (CQ)oldLink(JL) reduced: (CQ)toShorterLink(ID)moduloNewlink(JL) **(Deleted (1.412661 CQ JL) from graph)** h=8: **(Putting (0.83992493 EW JL) into graph...)** h=7: - (CQ)newLink(ID) reduced: (ID)toShorterLink(EU)moduloOldlink(CQ) - (CQ)newLink(ID) reduced: (CQ)toShorterLink(EU)moduloOldlink(ID) h=6: - (EU)newLink(HV) reduced: (HV)toShorterLink(JR)moduloOldlink(EU) - (AF)oldLink(HV) reduced: (AF)toShorterLink(EU)moduloNewlink(HV) **(Deleted (1.7866468 AF HV) from graph)** h=6: **(Putting (1.0971519 HV JR) into graph...)** h=5: - (AF)newLink(EU) reduced: (AF)toShorterLink(ID)moduloOldlink(EU) h=5: **(Putting (1.5382907 AF ID) into graph...)** h=4: **(Putting (1.603658 CQ HH) into graph...)** h=3: - (EU)newLink(KA) reduced: (KA)toShorterLink(HR)moduloOldlink(EU) - (EU)newLink(KA) reduced: (KA)toShorterLink(ID)moduloOldlink(EU) - (HE)oldLink(KA) reduced: (HE)toShorterLink(EU)moduloNewlink(KA) **(Deleted (2.252462 HE KA) from graph)** h=5: **(Putting (1.267173 ID KA) into graph...)** h=4: - (HR)newLink(KA) reduced: (HR)toShorterLink(ID)moduloOldlink(KA) h=4: - (HR)newLink(ID) reduced: (ID)toShorterLink(EU)moduloOldlink(HR) - (HR)newLink(ID) reduced: (HR)toShorterLink(AN)moduloOldlink(ID) - (HR)newLink(ID) reduced: (HR)toShorterLink(EU)moduloOldlink(ID) h=3: - (HK)newLink(JR) reduced: (HK)toShorterLink(EU)moduloOldlink(JR) h=2: - (EU)newLink(HE) reduced: (HE)toShorterLink(ID)moduloOldlink(EU) h=2: - (HE)newLink(ID) reduced: (HE)toShorterLink(AF)moduloOldlink(ID) h=2: **(Putting (1.4996321 AF HE) into graph...)** h=1: **(Putting (2.2771602 EL HK) into graph...)** h=0 #togo=174 h=1: **(Putting (1.9525424 DZ EX) into graph...)** h=0 #togo=173 h=1: - (AQ)oldLink(FE) reduced: (FE)toShorterLink(GB)moduloNewlink(AQ) **(Deleted (1.9733812 AQ FE) from graph)** - (GB)oldLink(HY) reduced: (HY)toShorterLink(AQ)moduloNewlink(GB) **(Deleted (2.1103354 GB HY) from graph)** - (AT)oldLink(GB) reduced: (AT)toShorterLink(AQ)moduloNewlink(GB) **(Deleted (2.038089 AT GB) from graph)** **(Putting (1.951724 AQ GB) into graph...)** h=3: **(Putting (1.5725577 FE GB) into graph...)** h=2: **(Putting (1.8835051 AQ AT) into graph...)** h=1: **(Putting (2.037793 AQ HY) into graph...)** h=0 #togo=172 h=1: - (EL)oldLink(HK) reduced: (HK)toShorterLink(JC)moduloNewlink(EL) **(Deleted (2.2771602 EL HK) from graph)** **(Putting (1.9490707 EL JC) into graph...)** h=1: - (HK)newLink(JC) reduced: (JC)toShorterLink(CQ)moduloOldlink(HK) h=1: **(Putting (1.2429616 CQ JC) into graph...)** h=0 #togo=171 h=1: **(Putting (1.9463083 KN KS) into graph...)** h=0 #togo=170 h=1: - (ES)newLink(GZ) reduced: (ES)toShorterLink(JP)moduloOldlink(GZ) h=1: **(Putting (1.5612097 ES JP) into graph...)** h=0 #togo=169 h=1: - (FZ)oldLink(JM) reduced: (FZ)toShorterLink(HT)moduloNewlink(JM) **(Deleted (2.5034773 FZ JM) from graph)** **(Putting (1.9412189 HT JM) into graph...)** h=1: **(Putting (1.8288223 FZ HT) into graph...)** h=0 #togo=168 h=1: - (BK)newLink(FY) reduced: (BK)toShorterLink(IG)moduloOldlink(FY) h=1: **(Putting (1.8260529 BK IG) into graph...)** h=0 #togo=167 h=1: - (HF)newLink(HM) reduced: (HM)toShorterLink(DK)moduloOldlink(HF) - (AK)oldLink(HM) reduced: (AK)toShorterLink(HF)moduloNewlink(HM) **(Deleted (2.1728344 AK HM) from graph)** h=2: **(Putting (1.1649467 DK HM) into graph...)** h=1: - (HF)oldLink(KK) reduced: (KK)toShorterLink(AK)moduloNewlink(HF) **(Deleted (2.2867358 HF KK) from graph)** **(Putting (1.390669 AK HF) into graph...)** h=1: **(Putting (1.8498073 AK KK) into graph...)** h=0 #togo=166 h=1: - (AS)oldLink(CJ) reduced: (CJ)toShorterLink(EN)moduloNewlink(AS) **(Deleted (2.1396396 AS CJ) from graph)** **(Putting (1.9330752 AS EN) into graph...)** h=1: - (CJ)oldLink(CK) reduced: (CK)toShorterLink(EN)moduloNewlink(CJ) **(Deleted (2.517794 CJ CK) from graph)** **(Putting (1.7951186 CJ EN) into graph...)** h=1: **(Putting (1.7293562 CK EN) into graph...)** h=0 #togo=165 h=1: - (GV)newLink(JP) reduced: (GV)toShorterLink(ES)moduloOldlink(JP) - (GV)newLink(JP) reduced: (GV)toShorterLink(BG)moduloOldlink(JP) h=2: - (ES)oldLink(JX) reduced: (JX)toShorterLink(GV)moduloNewlink(ES) **(Deleted (2.2557251 ES JX) from graph)** **(Putting (1.5707244 ES GV) into graph...)** h=2: - (BG)newLink(GV) reduced: (GV)toShorterLink(CL)moduloOldlink(BG) h=2: **(Putting (1.3419992 CL GV) into graph...)** h=1: **(Putting (2.016787 GV JX) into graph...)** h=0 #togo=164 h=1: - (AN)newLink(CL) reduced: (CL)toShorterLink(EP)moduloOldlink(AN) - (AN)newLink(CL) reduced: (AN)toShorterLink(GV)moduloOldlink(CL) - (AN)newLink(CL) reduced: (AN)toShorterLink(BG)moduloOldlink(CL) h=2: **(Putting (1.6229497 AN GV) into graph...)** h=1: - (CL)newLink(EP) reduced: (EP)toShorterLink(BG)moduloOldlink(CL) - (CL)newLink(EP) reduced: (CL)toShorterLink(BG)moduloOldlink(EP) h=0 #togo=163 h=1: - (AN)oldLink(DP) reduced: (AN)toShorterLink(JQ)moduloNewlink(DP) **(Deleted (2.2687752 AN DP) from graph)** **(Putting (1.9190811 DP JQ) into graph...)** h=1: - (AN)oldLink(EP) reduced: (EP)toShorterLink(JQ)moduloNewlink(AN) **(Deleted (1.4567552 AN EP) from graph)** **(Putting (1.2643443 AN JQ) into graph...)** h=1: **(Putting (1.2751247 EP JQ) into graph...)** h=0 #togo=162 h=1: - (DL)oldLink(EQ) reduced: (EQ)toShorterLink(IT)moduloNewlink(DL) **(Deleted (2.5424836 DL EQ) from graph)** **(Putting (1.9164399 DL IT) into graph...)** h=1: **(Putting (1.6911385 EQ IT) into graph...)** h=0 #togo=161 h=1: **(Putting (1.9148805 BT KA) into graph...)** h=0 #togo=160 h=1: - (DI)oldLink(EM) reduced: (DI)toShorterLink(HS)moduloNewlink(EM) **(Deleted (2.2105 DI EM) from graph)** **(Putting (1.9015727 EM HS) into graph...)** h=1: **(Putting (1.6686956 DI HS) into graph...)** h=0 #togo=159 h=1: **(Putting (1.9014171 BA BS) into graph...)** h=0 #togo=158 h=1: - (BQ)oldLink(FG) reduced: (BQ)toShorterLink(GW)moduloNewlink(FG) **(Deleted (2.1156418 BQ FG) from graph)** **(Putting (1.8977166 FG GW) into graph...)** h=1: **(Putting (1.9463667 BQ GW) into graph...)** h=0 #togo=157 h=1: - (EV)oldLink(IM) reduced: (EV)toShorterLink(AX)moduloNewlink(IM) **(Deleted (2.4400783 EV IM) from graph)** **(Putting (1.8789425 AX IM) into graph...)** h=1: **(Putting (1.6205187 AX EV) into graph...)** h=0 #togo=156 h=1: - (AM)oldLink(JN) reduced: (AM)toShorterLink(HV)moduloNewlink(JN) **(Deleted (2.874693 AM JN) from graph)** **(Putting (1.874451 HV JN) into graph...)** h=1: - (AM)newLink(HV) reduced: (HV)toShorterLink(JE)moduloOldlink(AM) - (AM)newLink(HV) reduced: (AM)toShorterLink(JR)moduloOldlink(HV) h=2: - (AM)newLink(JR) reduced: (JR)toShorterLink(JE)moduloOldlink(AM) - (AM)newLink(JR) reduced: (AM)toShorterLink(FT)moduloOldlink(JR) - (AM)newLink(JR) reduced: (AM)toShorterLink(EU)moduloOldlink(JR) h=4: - (AM)newLink(EU) reduced: (EU)toShorterLink(JE)moduloOldlink(AM) h=4: - (HI)oldLink(JE) reduced: (HI)toShorterLink(EU)moduloNewlink(JE) **(Deleted (2.185326 HI JE) from graph)** **(Putting (1.9634697 EU JE) into graph...)** h=4: **(Putting (1.8652031 EU HI) into graph...)** h=3: - (JE)newLink(JR) reduced: (JR)toShorterLink(EU)moduloOldlink(JE) - (JE)newLink(JR) reduced: (JE)toShorterLink(FT)moduloOldlink(JR) - (JE)newLink(JR) reduced: (JE)toShorterLink(EU)moduloOldlink(JR) h=3: - (FT)newLink(JE) reduced: (FT)toShorterLink(EU)moduloOldlink(JE) h=3: - (EU)newLink(FT) reduced: (FT)toShorterLink(JR)moduloOldlink(EU) - (EU)newLink(FT) reduced: (EU)toShorterLink(JR)moduloOldlink(FT) h=2: - (AM)newLink(FT) reduced: (FT)toShorterLink(JE)moduloOldlink(AM) h=1: - (HV)newLink(JE) reduced: (JE)toShorterLink(JR)moduloOldlink(HV) - (HV)newLink(JE) reduced: (HV)toShorterLink(EU)moduloOldlink(JE) h=0 #togo=155 h=1: - (FE)oldLink(IU) reduced: (IU)toShorterLink(FA)moduloNewlink(FE) **(Deleted (2.171541 FE IU) from graph)** **(Putting (1.8725953 FA FE) into graph...)** h=1: **(Putting (1.2208183 FA IU) into graph...)** h=0 #togo=154 h=1: - (AU)oldLink(GP) reduced: (GP)toShorterLink(JR)moduloNewlink(AU) **(Deleted (2.2607534 AU GP) from graph)** - (AU)newLink(JR) reduced: (AU)toShorterLink(EU)moduloOldlink(JR) h=2: **(Putting (0.9636783 AU EU) into graph...)** h=1: **(Putting (1.8613107 GP JR) into graph...)** h=0 #togo=153 h=1: - (ES)oldLink(JK) reduced: (ES)toShorterLink(BY)moduloNewlink(JK) **(Deleted (2.0051968 ES JK) from graph)** **(Putting (1.8710934 BY JK) into graph...)** h=1: - (BY)newLink(ES) reduced: (BY)toShorterLink(GV)moduloOldlink(ES) h=1: - (AN)oldLink(GV) reduced: (AN)toShorterLink(BY)moduloNewlink(GV) **(Deleted (1.6229497 AN GV) from graph)** - (GV)oldLink(JX) reduced: (JX)toShorterLink(BY)moduloNewlink(GV) **(Deleted (2.016787 GV JX) from graph)** **(Putting (1.4434184 BY GV) into graph...)** h=2: - (BY)oldLink(JK) reduced: (JK)toShorterLink(AN)moduloNewlink(BY) **(Deleted (1.8710934 BY JK) from graph)** **(Putting (1.3026869 AN BY) into graph...)** h=2: **(Putting (1.8246827 AN JK) into graph...)** h=1: **(Putting (1.9202458 BY JX) into graph...)** h=0 #togo=152 h=1: - (AN)newLink(JO) reduced: (JO)toShorterLink(BY)moduloOldlink(AN) - (AN)newLink(JO) reduced: (JO)toShorterLink(ID)moduloOldlink(AN) h=2: - (ID)newLink(JO) reduced: (JO)toShorterLink(EU)moduloOldlink(ID) h=2: - (DN)oldLink(EU) reduced: (DN)toShorterLink(JO)moduloNewlink(EU) **(Deleted (1.9048249 DN EU) from graph)** - (EU)oldLink(JR) reduced: (JR)toShorterLink(JO)moduloNewlink(EU) **(Deleted (1.4815916 EU JR) from graph)** - (EJ)oldLink(EU) reduced: (EJ)toShorterLink(JO)moduloNewlink(EU) **(Deleted (1.4031318 EJ EU) from graph)** **(Putting (1.2128754 EU JO) into graph...)** h=4: - (GF)oldLink(JR) reduced: (GF)toShorterLink(JO)moduloNewlink(JR) **(Deleted (1.5962049 GF JR) from graph)** - (FT)oldLink(JR) reduced: (FT)toShorterLink(JO)moduloNewlink(JR) **(Deleted (1.3574979 FT JR) from graph)** **(Putting (1.2152544 JO JR) into graph...)** h=5: - (GF)oldLink(JL) reduced: (JL)toShorterLink(JO)moduloNewlink(GF) **(Deleted (1.9016842 GF JL) from graph)** - (BW)oldLink(GF) reduced: (BW)toShorterLink(JO)moduloNewlink(GF) **(Deleted (1.8316091 BW GF) from graph)** **(Putting (1.2959338 GF JO) into graph...)** h=6: **(Putting (1.3355591 FT JO) into graph...)** h=5: - (BA)oldLink(EJ) reduced: (BA)toShorterLink(JO)moduloNewlink(EJ) **(Deleted (1.6951656 BA EJ) from graph)** **(Putting (1.3507591 EJ JO) into graph...)** h=5: - (BA)oldLink(BS) reduced: (BS)toShorterLink(JO)moduloNewlink(BA) **(Deleted (1.9014171 BA BS) from graph)** **(Putting (1.3919076 BA JO) into graph...)** h=5: **(Putting (1.4177746 BS JO) into graph...)** h=4: **(Putting (1.5134546 BW JO) into graph...)** h=3: - (BY)newLink(JO) reduced: (JO)toShorterLink(GV)moduloOldlink(BY) - (BY)newLink(JO) reduced: (BY)toShorterLink(EJ)moduloOldlink(JO) - (BY)newLink(JO) reduced: (BY)toShorterLink(EU)moduloOldlink(JO) h=5: - (BY)oldLink(JX) reduced: (JX)toShorterLink(EJ)moduloNewlink(BY) **(Deleted (1.9202458 BY JX) from graph)** **(Putting (1.0421962 BY EJ) into graph...)** h=5: - (BY)newLink(EU) reduced: (EU)toShorterLink(EJ)moduloOldlink(BY) - (BY)newLink(EU) reduced: (EU)toShorterLink(AN)moduloOldlink(BY) - (BY)oldLink(GV) reduced: (GV)toShorterLink(EU)moduloNewlink(BY) **(Deleted (1.4434184 BY GV) from graph)** h=5: - (ES)oldLink(GV) reduced: (ES)toShorterLink(EU)moduloNewlink(GV) **(Deleted (1.5707244 ES GV) from graph)** **(Putting (1.4060203 EU GV) into graph...)** h=5: - (EU)oldLink(JE) reduced: (JE)toShorterLink(ES)moduloNewlink(EU) **(Deleted (1.9634697 EU JE) from graph)** - (ES)newLink(EU) reduced: (ES)toShorterLink(HR)moduloOldlink(EU) h=6: **(Putting (1.1463116 ES HR) into graph...)** h=5: - (GV)newLink(JO) reduced: (JO)toShorterLink(EU)moduloOldlink(GV) - (GV)newLink(JO) reduced: (JO)toShorterLink(CL)moduloOldlink(GV) - (GV)newLink(JO) reduced: (GV)toShorterLink(EJ)moduloOldlink(JO) - (GV)newLink(JO) reduced: (GV)toShorterLink(EU)moduloOldlink(JO) h=6: - (EJ)newLink(GV) reduced: (GV)toShorterLink(BY)moduloOldlink(EJ) - (EJ)newLink(GV) reduced: (EJ)toShorterLink(EU)moduloOldlink(GV) h=5: - (CL)newLink(JO) reduced: (JO)toShorterLink(BG)moduloOldlink(CL) - (CL)newLink(JO) reduced: (CL)toShorterLink(FT)moduloOldlink(JO) - (CL)newLink(JO) reduced: (CL)toShorterLink(JR)moduloOldlink(JO) - (CL)newLink(JO) reduced: (CL)toShorterLink(EU)moduloOldlink(JO) h=6: - (BG)newLink(JO) reduced: (BG)toShorterLink(BS)moduloOldlink(JO) h=6: - (BG)newLink(BS) reduced: (BS)toShorterLink(FR)moduloOldlink(BG) h=6: **(Putting (1.1762062 BS FR) into graph...)** h=5: - (CL)newLink(FT) reduced: (CL)toShorterLink(DK)moduloOldlink(FT) h=5: - (CL)newLink(DK) reduced: (CL)toShorterLink(GH)moduloOldlink(DK) h=5: **(Putting (1.2301618 CL GH) into graph...)** h=4: **(Putting (1.8018618 DN JO) into graph...)** h=3: - (JL)newLink(JO) reduced: (JO)toShorterLink(EW)moduloOldlink(JL) - (JL)newLink(JO) reduced: (JL)toShorterLink(EU)moduloOldlink(JO) h=3: - (EW)newLink(JO) reduced: (JO)toShorterLink(ID)moduloOldlink(EW) - (EW)newLink(JO) reduced: (EW)toShorterLink(EJ)moduloOldlink(JO) - (EW)newLink(JO) reduced: (EW)toShorterLink(EU)moduloOldlink(JO) h=3: **(Putting (1.6165713 EJ EW) into graph...)** h=2: **(Putting (1.8331151 EJ JX) into graph...)** h=1: - (ES)newLink(JE) reduced: (ES)toShorterLink(AM)moduloOldlink(JE) h=1: **(Putting (1.5511072 AM ES) into graph...)** h=0 #togo=151 h=1: - (FA)newLink(IM) reduced: (IM)toShorterLink(IU)moduloOldlink(FA) - (FA)oldLink(FW) reduced: (FW)toShorterLink(IM)moduloNewlink(FA) **(Deleted (2.117123 FA FW) from graph)** - (AX)oldLink(IM) reduced: (AX)toShorterLink(FA)moduloNewlink(IM) **(Deleted (1.8789425 AX IM) from graph)** h=3: - (FA)oldLink(FE) reduced: (FE)toShorterLink(AX)moduloNewlink(FA) **(Deleted (1.8725953 FA FE) from graph)** **(Putting (1.5246 AX FA) into graph...)** h=3: - (AX)newLink(FE) reduced: (AX)toShorterLink(FF)moduloOldlink(FE) h=3: **(Putting (1.3588824 AX FF) into graph...)** h=2: **(Putting (1.6183238 FW IM) into graph...)** h=1: - (IM)newLink(IU) reduced: (IM)toShorterLink(FB)moduloOldlink(IU) h=1: **(Putting (1.4365351 FB IM) into graph...)** h=0 #togo=150 h=1: **(Putting (1.8540016 II IN) into graph...)** h=0 #togo=149 h=1: - (EH)oldLink(EK) reduced: (EK)toShorterLink(HX)moduloNewlink(EH) **(Deleted (2.6805427 EH EK) from graph)** **(Putting (1.8475126 EH HX) into graph...)** h=1: - (EK)newLink(HX) reduced: (EK)toShorterLink(FA)moduloOldlink(HX) h=1: **(Putting (1.3450778 EK FA) into graph...)** h=0 #togo=148 h=1: - (EM)oldLink(HS) reduced: (HS)toShorterLink(CG)moduloNewlink(EM) **(Deleted (1.9015727 EM HS) from graph)** **(Putting (1.8460239 CG EM) into graph...)** h=1: **(Putting (1.1980557 CG HS) into graph...)** h=0 #togo=147 h=1: - (AK)oldLink(KK) reduced: (AK)toShorterLink(AH)moduloNewlink(KK) **(Deleted (1.8498073 AK KK) from graph)** **(Putting (1.8416948 AH KK) into graph...)** h=1: - (AK)oldLink(HF) reduced: (HF)toShorterLink(AH)moduloNewlink(AK) **(Deleted (1.390669 AK HF) from graph)** **(Putting (1.3849431 AH AK) into graph...)** h=1: **(Putting (1.1783143 AH HF) into graph...)** h=0 #togo=146 h=1: **(Putting (1.8392826 DJ HK) into graph...)** h=0 #togo=145 h=1: - (BU)newLink(CQ) reduced: (BU)toShorterLink(EU)moduloOldlink(CQ) h=1: - (BU)newLink(EU) reduced: (BU)toShorterLink(AU)moduloOldlink(EU) h=1: **(Putting (1.4456499 AU BU) into graph...)** h=0 #togo=144 h=1: - (BU)newLink(JL) reduced: (JL)toShorterLink(AU)moduloOldlink(BU) h=1: - (AU)newLink(JL) reduced: (JL)toShorterLink(EU)moduloOldlink(AU) - (AU)newLink(JL) reduced: (AU)toShorterLink(EW)moduloOldlink(JL) h=1: - (AU)newLink(EW) reduced: (EW)toShorterLink(EU)moduloOldlink(AU) - (AU)newLink(EW) reduced: (AU)toShorterLink(ID)moduloOldlink(EW) h=1: - (AU)newLink(ID) reduced: (ID)toShorterLink(EU)moduloOldlink(AU) - (AF)oldLink(ID) reduced: (AF)toShorterLink(AU)moduloNewlink(ID) **(Deleted (1.5382907 AF ID) from graph)** - (AU)newLink(ID) reduced: (AU)toShorterLink(AN)moduloOldlink(ID) - (AU)newLink(ID) reduced: (AU)toShorterLink(EU)moduloOldlink(ID) h=2: **(Putting (0.999014 AN AU) into graph...)** h=1: **(Putting (1.298595 AF AU) into graph...)** h=0 #togo=143 h=1: **(Putting (1.8231382 AR HU) into graph...)** h=0 #togo=142 h=1: - (FH)oldLink(HA) reduced: (HA)toShorterLink(IS)moduloNewlink(FH) **(Deleted (2.4924476 FH HA) from graph)** **(Putting (1.8231146 FH IS) into graph...)** h=1: **(Putting (1.2734591 HA IS) into graph...)** h=0 #togo=141 h=1: **(Putting (1.822802 DY FZ) into graph...)** h=0 #togo=140 h=1: - (FK)newLink(HA) reduced: (FK)toShorterLink(IS)moduloOldlink(HA) h=1: - (FH)oldLink(IS) reduced: (FH)toShorterLink(FK)moduloNewlink(IS) **(Deleted (1.8231146 FH IS) from graph)** **(Putting (1.3870534 FK IS) into graph...)** h=1: **(Putting (1.5806166 FH FK) into graph...)** h=0 #togo=139 h=1: - (GJ)oldLink(GR) reduced: (GJ)toShorterLink(IY)moduloNewlink(GR) **(Deleted (2.5705624 GJ GR) from graph)** - (EO)oldLink(IY) reduced: (EO)toShorterLink(GR)moduloNewlink(IY) **(Deleted (2.1171675 EO IY) from graph)** **(Putting (1.8124653 GR IY) into graph...)** h=2: **(Putting (1.7404468 EO GR) into graph...)** h=1: **(Putting (2.163419 GJ IY) into graph...)** h=0 #togo=138 h=1: - (GJ)oldLink(IY) reduced: (IY)toShorterLink(AP)moduloNewlink(GJ) **(Deleted (2.163419 GJ IY) from graph)** **(Putting (1.8111802 AP GJ) into graph...)** h=1: - (AP)newLink(IY) reduced: (AP)toShorterLink(GR)moduloOldlink(IY) h=1: **(Putting (1.7254606 AP GR) into graph...)** h=0 #togo=137 h=1: - (AI)oldLink(JB) reduced: (AI)toShorterLink(KQ)moduloNewlink(JB) **(Deleted (1.9017024 AI JB) from graph)** **(Putting (1.8038913 JB KQ) into graph...)** h=1: - (AI)oldLink(DX) reduced: (DX)toShorterLink(KQ)moduloNewlink(AI) **(Deleted (2.116069 AI DX) from graph)** **(Putting (1.3040009 AI KQ) into graph...)** h=1: **(Putting (1.5823795 DX KQ) into graph...)** h=0 #togo=136 h=1: **(Putting (1.8027533 CI FJ) into graph...)** h=0 #togo=135 h=1: **(Putting (1.8013725 BC JN) into graph...)** h=0 #togo=134 h=1: **(Putting (1.7963356 BB HB) into graph...)** h=0 #togo=133 h=1: - (BY)newLink(DX) reduced: (BY)toShorterLink(KQ)moduloOldlink(DX) h=1: **(Putting (1.2882571 BY KQ) into graph...)** h=0 #togo=132 h=1: **(Putting (1.7841383 AH DH) into graph...)** h=0 #togo=131 h=1: - (CR)oldLink(GG) reduced: (GG)toShorterLink(AO)moduloNewlink(CR) **(Deleted (2.2045293 CR GG) from graph)** **(Putting (1.7804003 AO CR) into graph...)** h=1: - (AO)newLink(GG) reduced: (AO)toShorterLink(GN)moduloOldlink(GG) h=1: **(Putting (1.6891814 AO GN) into graph...)** h=0 #togo=130 h=1: - (DM)newLink(EP) reduced: (EP)toShorterLink(FR)moduloOldlink(DM) - (DM)newLink(EP) reduced: (DM)toShorterLink(JQ)moduloOldlink(EP) - (DM)newLink(EP) reduced: (DM)toShorterLink(BG)moduloOldlink(EP) h=3: - (EP)oldLink(JQ) reduced: (JQ)toShorterLink(FR)moduloNewlink(EP) **(Deleted (1.2751247 EP JQ) from graph)** - (EP)newLink(FR) reduced: (FR)toShorterLink(BG)moduloOldlink(EP) - (EP)newLink(FR) reduced: (EP)toShorterLink(BG)moduloOldlink(FR) h=3: **(Putting (1.1394347 FR JQ) into graph...)** h=2: - (BG)newLink(DM) reduced: (DM)toShorterLink(FR)moduloOldlink(BG) - (BG)newLink(DM) reduced: (BG)toShorterLink(FR)moduloOldlink(DM) h=1: - (DM)newLink(JQ) reduced: (JQ)toShorterLink(FR)moduloOldlink(DM) - (DM)newLink(JQ) reduced: (DM)toShorterLink(FR)moduloOldlink(JQ) h=0 #togo=129 h=1: - (DS)oldLink(EF) reduced: (EF)toShorterLink(DQ)moduloNewlink(DS) **(Deleted (2.4792993 DS EF) from graph)** **(Putting (1.768892 DQ DS) into graph...)** h=1: **(Putting (2.1835105 DQ EF) into graph...)** h=0 #togo=128 h=1: **(Putting (1.7677058 FS KO) into graph...)** h=0 #togo=127 h=1: - (DQ)oldLink(EF) reduced: (EF)toShorterLink(EQ)moduloNewlink(DQ) **(Deleted (2.1835105 DQ EF) from graph)** **(Putting (1.7639874 DQ EQ) into graph...)** h=1: - (EF)oldLink(IY) reduced: (IY)toShorterLink(EQ)moduloNewlink(EF) **(Deleted (1.8486423 EF IY) from graph)** **(Putting (1.3631214 EF EQ) into graph...)** h=1: - (GR)oldLink(IY) reduced: (GR)toShorterLink(EQ)moduloNewlink(IY) **(Deleted (1.8124653 GR IY) from graph)** **(Putting (1.5508895 EQ IY) into graph...)** h=1: - (EQ)newLink(GR) reduced: (EQ)toShorterLink(EO)moduloOldlink(GR) h=1: **(Putting (1.4659076 EO EQ) into graph...)** h=0 #togo=126 h=1: - (FK)newLink(HQ) reduced: (HQ)toShorterLink(FH)moduloOldlink(FK) h=1: **(Putting (1.721073 FH HQ) into graph...)** h=0 #togo=125 h=1: - (AY)oldLink(IK) reduced: (IK)toShorterLink(CE)moduloNewlink(AY) **(Deleted (2.3514178 AY IK) from graph)** **(Putting (1.7605928 AY CE) into graph...)** h=1: **(Putting (1.9334792 CE IK) into graph...)** h=0 #togo=124 h=1: **(Putting (1.7550857 GO IZ) into graph...)** h=0 #togo=123 h=1: - (CY)oldLink(GQ) reduced: (GQ)toShorterLink(KH)moduloNewlink(CY) **(Deleted (2.0543277 CY GQ) from graph)** - (CU)oldLink(KH) reduced: (CU)toShorterLink(CY)moduloNewlink(KH) **(Deleted (2.1659455 CU KH) from graph)** **(Putting (1.7533557 CY KH) into graph...)** h=2: **(Putting (1.0711651 GQ KH) into graph...)** h=1: **(Putting (1.579895 CU CY) into graph...)** h=0 #togo=122 h=0 #togo=121 h=1: - (HO)oldLink(KR) reduced: (HO)toShorterLink(IQ)moduloNewlink(KR) **(Deleted (1.9761472 HO KR) from graph)** **(Putting (1.748697 IQ KR) into graph...)** h=1: **(Putting (1.6770309 HO IQ) into graph...)** h=0 #togo=120 h=1: - (AZ)oldLink(GB) reduced: (GB)toShorterLink(BY)moduloNewlink(AZ) **(Deleted (2.012443 AZ GB) from graph)** - (AZ)newLink(BY) reduced: (AZ)toShorterLink(KQ)moduloOldlink(BY) - (AZ)newLink(BY) reduced: (AZ)toShorterLink(EJ)moduloOldlink(BY) - (AZ)newLink(BY) reduced: (AZ)toShorterLink(AN)moduloOldlink(BY) h=4: - (BY)newLink(GB) reduced: (GB)toShorterLink(EJ)moduloOldlink(BY) h=4: **(Putting (1.35342 EJ GB) into graph...)** h=3: **(Putting (1.5783284 AZ EJ) into graph...)** h=2: - (AN)newLink(AZ) reduced: (AN)toShorterLink(EJ)moduloOldlink(AZ) h=1: - (AZ)newLink(KQ) reduced: (KQ)toShorterLink(EJ)moduloOldlink(AZ) h=1: - (EJ)newLink(KQ) reduced: (KQ)toShorterLink(BY)moduloOldlink(EJ) - (EJ)newLink(KQ) reduced: (EJ)toShorterLink(BY)moduloOldlink(KQ) h=0 #togo=119 h=1: **(Putting (1.7352772 IS KM) into graph...)** h=0 #togo=118 h=1: - (BN)newLink(BS) reduced: (BN)toShorterLink(FR)moduloOldlink(BS) - (BN)newLink(BS) reduced: (BN)toShorterLink(JO)moduloOldlink(BS) h=2: - (FT)oldLink(JO) reduced: (FT)toShorterLink(BN)moduloNewlink(JO) **(Deleted (1.3355591 FT JO) from graph)** - (BN)newLink(JO) reduced: (BN)toShorterLink(EU)moduloOldlink(JO) h=3: **(Putting (1.112449 BN FT) into graph...)** h=2: **(Putting (1.1819161 BN EU) into graph...)** h=1: - (BN)newLink(FR) reduced: (FR)toShorterLink(EU)moduloOldlink(BN) - (BN)newLink(FR) reduced: (BN)toShorterLink(EU)moduloOldlink(FR) h=0 #togo=117 h=1: **(Putting (1.7291112 AR HS) into graph...)** h=0 #togo=116 h=1: - (DI)oldLink(GC) reduced: (GC)toShorterLink(ER)moduloNewlink(DI) **(Deleted (2.17618 DI GC) from graph)** **(Putting (1.7289623 DI ER) into graph...)** h=1: **(Putting (1.8942629 ER GC) into graph...)** h=0 #togo=115 h=1: - (AS)oldLink(EN) reduced: (AS)toShorterLink(IU)moduloNewlink(EN) **(Deleted (1.9330752 AS EN) from graph)** - (EN)newLink(IU) reduced: (EN)toShorterLink(FA)moduloOldlink(IU) h=2: - (EN)newLink(FA) reduced: (EN)toShorterLink(AX)moduloOldlink(FA) h=2: - (AX)oldLink(FF) reduced: (FF)toShorterLink(EN)moduloNewlink(AX) **(Deleted (1.3588824 AX FF) from graph)** **(Putting (1.261521 AX EN) into graph...)** h=2: - (CK)oldLink(EN) reduced: (CK)toShorterLink(FF)moduloNewlink(EN) **(Deleted (1.7293562 CK EN) from graph)** **(Putting (1.2817601 EN FF) into graph...)** h=2: **(Putting (1.6320413 CK FF) into graph...)** h=1: - (AS)newLink(IU) reduced: (AS)toShorterLink(FA)moduloOldlink(IU) h=1: **(Putting (1.8236125 AS FA) into graph...)** h=0 #togo=114 h=1: - (DR)oldLink(GI) reduced: (DR)toShorterLink(FN)moduloNewlink(GI) **(Deleted (2.2007892 DR GI) from graph)** **(Putting (1.7217823 FN GI) into graph...)** h=1: - (DR)newLink(FN) reduced: (DR)toShorterLink(AC)moduloOldlink(FN) h=1: **(Putting (1.1212424 AC DR) into graph...)** h=0 #togo=113 h=1: - (DZ)oldLink(EX) reduced: (EX)toShorterLink(IG)moduloNewlink(DZ) **(Deleted (1.9525424 DZ EX) from graph)** - (DZ)newLink(IG) reduced: (DZ)toShorterLink(FY)moduloOldlink(IG) h=2: **(Putting (1.351949 DZ FY) into graph...)** h=1: - (EX)newLink(IG) reduced: (EX)toShorterLink(GM)moduloOldlink(IG) h=1: **(Putting (1.4874567 EX GM) into graph...)** h=0 #togo=112 h=1: - (CM)oldLink(CW) reduced: (CW)toShorterLink(HC)moduloNewlink(CM) **(Deleted (2.9583514 CM CW) from graph)** **(Putting (1.7077498 CM HC) into graph...)** h=1: **(Putting (2.6420388 CW HC) into graph...)** h=0 #togo=111 h=1: **(Putting (1.7050558 CI IF) into graph...)** h=0 #togo=110 h=1: - (BB)oldLink(HB) reduced: (HB)toShorterLink(BZ)moduloNewlink(BB) **(Deleted (1.7963356 BB HB) from graph)** **(Putting (1.6953317 BB BZ) into graph...)** h=1: - (BZ)newLink(HB) reduced: (HB)toShorterLink(KP)moduloOldlink(BZ) h=1: - (KJ)oldLink(KP) reduced: (KJ)toShorterLink(HB)moduloNewlink(KP) **(Deleted (1.9649026 KJ KP) from graph)** **(Putting (1.3204483 HB KP) into graph...)** h=1: **(Putting (1.9365281 HB KJ) into graph...)** h=0 #togo=109 h=1: **(Putting (1.6857862 FW GN) into graph...)** h=0 #togo=108 h=1: - (BE)newLink(JT) reduced: (JT)toShorterLink(DO)moduloOldlink(BE) h=1: - (DO)oldLink(JD) reduced: (JD)toShorterLink(JT)moduloNewlink(DO) **(Deleted (2.2657697 DO JD) from graph)** **(Putting (1.6268858 DO JT) into graph...)** h=1: - (CV)oldLink(JD) reduced: (CV)toShorterLink(JT)moduloNewlink(JD) **(Deleted (2.5741246 CV JD) from graph)** **(Putting (1.48689 JD JT) into graph...)** h=1: **(Putting (1.7520595 CV JT) into graph...)** h=0 #togo=107 h=1: - (FI)newLink(GA) reduced: (FI)toShorterLink(CD)moduloOldlink(GA) - (AV)oldLink(GA) reduced: (AV)toShorterLink(FI)moduloNewlink(GA) **(Deleted (2.0581496 AV GA) from graph)** h=2: - (BD)oldLink(CD) reduced: (BD)toShorterLink(FI)moduloNewlink(CD) **(Deleted (1.9793413 BD CD) from graph)** **(Putting (1.3405635 CD FI) into graph...)** h=2: - (AV)newLink(FI) reduced: (FI)toShorterLink(AW)moduloOldlink(AV) h=2: - (AW)oldLink(BT) reduced: (BT)toShorterLink(FI)moduloNewlink(AW) **(Deleted (1.8961517 AW BT) from graph)** **(Putting (1.2777749 AW FI) into graph...)** h=2: - (BT)oldLink(KA) reduced: (KA)toShorterLink(FI)moduloNewlink(BT) **(Deleted (1.9148805 BT KA) from graph)** - (BT)newLink(FI) reduced: (BT)toShorterLink(CD)moduloOldlink(FI) h=3: **(Putting (1.2251315 BT CD) into graph...)** h=2: - (FI)newLink(KA) reduced: (KA)toShorterLink(CD)moduloOldlink(FI) - (FI)newLink(KA) reduced: (FI)toShorterLink(ID)moduloOldlink(KA) h=3: - (AN)oldLink(ID) reduced: (AN)toShorterLink(FI)moduloNewlink(ID) **(Deleted (1.1569701 AN ID) from graph)** - (FI)newLink(ID) reduced: (FI)toShorterLink(EU)moduloOldlink(ID) h=4: - (EU)oldLink(HI) reduced: (HI)toShorterLink(FI)moduloNewlink(EU) **(Deleted (1.8652031 EU HI) from graph)** - (EU)oldLink(FR) reduced: (FR)toShorterLink(FI)moduloNewlink(EU) **(Deleted (1.439928 EU FR) from graph)** **(Putting (0.78259224 EU FI) into graph...)** h=5: - (AN)oldLink(JK) reduced: (JK)toShorterLink(FI)moduloNewlink(AN) **(Deleted (1.8246827 AN JK) from graph)** **(Putting (1.1049842 AN FI) into graph...)** h=5: **(Putting (1.1296607 FI FR) into graph...)** h=4: - (CD)oldLink(GA) reduced: (GA)toShorterLink(KA)moduloNewlink(CD) **(Deleted (1.6685992 CD GA) from graph)** **(Putting (1.4305352 CD KA) into graph...)** h=4: **(Putting (1.4349567 GA KA) into graph...)** h=3: **(Putting (1.5572171 FI JK) into graph...)** h=2: **(Putting (1.6937364 FI HI) into graph...)** h=1: - (BD)newLink(FI) reduced: (BD)toShorterLink(EU)moduloOldlink(FI) h=1: - (BD)newLink(EU) reduced: (BD)toShorterLink(BN)moduloOldlink(EU) - (BD)newLink(EU) reduced: (BD)toShorterLink(HR)moduloOldlink(EU) h=2: **(Putting (1.1863898 BD HR) into graph...)** h=1: - (BD)newLink(BN) reduced: (BN)toShorterLink(HR)moduloOldlink(BD) h=1: - (BN)newLink(HR) reduced: (HR)toShorterLink(EU)moduloOldlink(BN) - (BN)newLink(HR) reduced: (BN)toShorterLink(EU)moduloOldlink(HR) h=0 #togo=106 h=1: **(Putting (1.6761492 BH EG) into graph...)** h=0 #togo=105 h=1: - (EJ)newLink(FA) reduced: (FA)toShorterLink(JO)moduloOldlink(EJ) - (EJ)newLink(FA) reduced: (EJ)toShorterLink(AX)moduloOldlink(FA) h=2: - (AX)oldLink(EN) reduced: (EN)toShorterLink(EJ)moduloNewlink(AX) **(Deleted (1.261521 AX EN) from graph)** - (EJ)oldLink(JO) reduced: (JO)toShorterLink(AX)moduloNewlink(EJ) **(Deleted (1.3507591 EJ JO) from graph)** **(Putting (1.10969 AX EJ) into graph...)** h=3: - (AX)oldLink(FA) reduced: (FA)toShorterLink(JO)moduloNewlink(AX) **(Deleted (1.5246 AX FA) from graph)** **(Putting (0.99871343 AX JO) into graph...)** h=2: **(Putting (1.1861662 EJ EN) into graph...)** h=1: - (EK)oldLink(FA) reduced: (EK)toShorterLink(JO)moduloNewlink(FA) **(Deleted (1.3450778 EK FA) from graph)** **(Putting (1.27961 FA JO) into graph...)** h=1: **(Putting (1.2732506 EK JO) into graph...)** h=0 #togo=104 h=1: - (AP)oldLink(GJ) reduced: (GJ)toShorterLink(FQ)moduloNewlink(AP) **(Deleted (1.8111802 AP GJ) from graph)** - (FQ)oldLink(GU) reduced: (GU)toShorterLink(AP)moduloNewlink(FQ) **(Deleted (2.096345 FQ GU) from graph)** **(Putting (1.6741339 AP FQ) into graph...)** h=2: - (AP)oldLink(GR) reduced: (GR)toShorterLink(GU)moduloNewlink(AP) **(Deleted (1.7254606 AP GR) from graph)** **(Putting (1.6516681 AP GU) into graph...)** h=2: - (EO)oldLink(GR) reduced: (EO)toShorterLink(GU)moduloNewlink(GR) **(Deleted (1.7404468 EO GR) from graph)** **(Putting (1.2329118 GR GU) into graph...)** h=2: - (FM)oldLink(GU) reduced: (FM)toShorterLink(EO)moduloNewlink(GU) **(Deleted (2.317172 FM GU) from graph)** **(Putting (1.5423858 EO GU) into graph...)** h=2: **(Putting (1.7672988 FQ GJ) into graph...)** h=1: **(Putting (1.8664055 EO FM) into graph...)** h=0 #togo=103 h=1: - (CN)oldLink(GY) reduced: (GY)toShorterLink(HK)moduloNewlink(CN) **(Deleted (2.1905365 CN GY) from graph)** - (CN)newLink(HK) reduced: (CN)toShorterLink(CQ)moduloOldlink(HK) h=2: **(Putting (1.3747971 CN CQ) into graph...)** h=1: - (GY)newLink(HK) reduced: (GY)toShorterLink(BW)moduloOldlink(HK) h=1: **(Putting (1.5219404 BW GY) into graph...)** h=0 #togo=102 h=1: - (DD)oldLink(JW) reduced: (DD)toShorterLink(KE)moduloNewlink(JW) **(Deleted (2.3834138 DD JW) from graph)** **(Putting (1.6623496 JW KE) into graph...)** h=1: **(Putting (1.8425856 DD KE) into graph...)** h=0 #togo=101 h=1: - (EN)newLink(EP) reduced: (EN)toShorterLink(BG)moduloOldlink(EP) h=1: **(Putting (1.629882 BG EN) into graph...)** h=0 #togo=100 h=1: - (BC)oldLink(JS) reduced: (BC)toShorterLink(DW)moduloNewlink(JS) **(Deleted (1.7665557 BC JS) from graph)** - (CX)oldLink(JS) reduced: (CX)toShorterLink(DW)moduloNewlink(JS) **(Deleted (2.1832106 CX JS) from graph)** **(Putting (1.6597086 DW JS) into graph...)** h=2: **(Putting (1.2192839 CX DW) into graph...)** h=1: **(Putting (1.6800534 BC DW) into graph...)** h=0 #togo=99 h=1: - (AK)newLink(JF) reduced: (JF)toShorterLink(AH)moduloOldlink(AK) h=1: - (AH)oldLink(DH) reduced: (DH)toShorterLink(JF)moduloNewlink(AH) **(Deleted (1.7841383 AH DH) from graph)** **(Putting (1.6548852 AH JF) into graph...)** h=1: **(Putting (1.6849838 DH JF) into graph...)** h=0 #togo=98 h=1: - (FU)newLink(IR) reduced: (IR)toShorterLink(IU)moduloOldlink(FU) h=1: **(Putting (1.6336524 IR IU) into graph...)** h=0 #togo=97 h=1: **(Putting (1.6526132 FN GF) into graph...)** h=0 #togo=96 h=1: **(Putting (1.6473726 FV IA) into graph...)** h=0 #togo=95 h=1: **(Putting (1.6362705 AE AK) into graph...)** h=0 #togo=94 h=1: - (CE)newLink(EW) reduced: (CE)toShorterLink(EJ)moduloOldlink(EW) h=1: - (CE)oldLink(IK) reduced: (IK)toShorterLink(EJ)moduloNewlink(CE) **(Deleted (1.9334792 CE IK) from graph)** - (CE)newLink(EJ) reduced: (CE)toShorterLink(AX)moduloOldlink(EJ) h=2: - (AX)newLink(CE) reduced: (CE)toShorterLink(JO)moduloOldlink(AX) h=2: - (BW)oldLink(JO) reduced: (BW)toShorterLink(CE)moduloNewlink(JO) **(Deleted (1.5134546 BW JO) from graph)** **(Putting (1.0557289 CE JO) into graph...)** h=2: - (BW)oldLink(GY) reduced: (GY)toShorterLink(CE)moduloNewlink(BW) **(Deleted (1.5219404 BW GY) from graph)** **(Putting (1.1794683 BW CE) into graph...)** h=2: **(Putting (1.339638 CE GY) into graph...)** h=1: **(Putting (1.5705802 EJ IK) into graph...)** h=0 #togo=93 h=1: - (GQ)newLink(HG) reduced: (GQ)toShorterLink(HF)moduloOldlink(HG) h=1: **(Putting (1.2264652 GQ HF) into graph...)** h=0 #togo=92 h=1: **(Putting (1.6219397 GT IT) into graph...)** h=0 #togo=91 h=1: **(Putting (1.6188601 CH ET) into graph...)** h=0 #togo=90 h=1: **(Putting (1.6151803 DB FS) into graph...)** h=0 #togo=89 h=1: - (BR)oldLink(KB) reduced: (KB)toShorterLink(CD)moduloNewlink(BR) **(Deleted (2.110722 BR KB) from graph)** **(Putting (1.6126642 BR CD) into graph...)** h=1: **(Putting (1.2308853 CD KB) into graph...)** h=0 #togo=88 h=1: - (EK)newLink(FC) reduced: (FC)toShorterLink(JO)moduloOldlink(EK) - (CY)oldLink(FC) reduced: (CY)toShorterLink(EK)moduloNewlink(FC) **(Deleted (2.313843 CY FC) from graph)** h=2: - (FC)newLink(JO) reduced: (FC)toShorterLink(FA)moduloOldlink(JO) - (FC)newLink(JO) reduced: (FC)toShorterLink(BS)moduloOldlink(JO) h=3: - (AS)oldLink(FA) reduced: (AS)toShorterLink(FC)moduloNewlink(FA) **(Deleted (1.8236125 AS FA) from graph)** **(Putting (1.337912 FA FC) into graph...)** h=3: **(Putting (1.3551472 BS FC) into graph...)** h=2: **(Putting (1.7573636 AS FC) into graph...)** h=1: - (CY)newLink(EK) reduced: (EK)toShorterLink(KH)moduloOldlink(CY) - (CY)newLink(EK) reduced: (CY)toShorterLink(JO)moduloOldlink(EK) h=2: - (EK)newLink(KH) reduced: (KH)toShorterLink(JO)moduloOldlink(EK) - (EK)newLink(KH) reduced: (EK)toShorterLink(GQ)moduloOldlink(KH) h=3: - (JO)newLink(KH) reduced: (KH)toShorterLink(AX)moduloOldlink(JO) - (CY)oldLink(KH) reduced: (CY)toShorterLink(JO)moduloNewlink(KH) **(Deleted (1.7533557 CY KH) from graph)** h=3: - (AX)oldLink(EV) reduced: (EV)toShorterLink(KH)moduloNewlink(AX) **(Deleted (1.6205187 AX EV) from graph)** **(Putting (1.0783621 AX KH) into graph...)** h=3: **(Putting (1.2891756 EK GQ) into graph...)** h=2: - (CY)newLink(JO) reduced: (CY)toShorterLink(AX)moduloOldlink(JO) h=2: **(Putting (1.1793392 AX CY) into graph...)** h=1: - (EV)newLink(KH) reduced: (EV)toShorterLink(GQ)moduloOldlink(KH) h=1: **(Putting (1.3808033 EV GQ) into graph...)** h=0 #togo=87 h=1: **(Putting (1.594682 CS CZ) into graph...)** h=0 #togo=86 h=0 #togo=85 h=1: - (AJ)newLink(FI) reduced: (AJ)toShorterLink(EU)moduloOldlink(FI) h=1: - (AJ)newLink(EU) reduced: (AJ)toShorterLink(BN)moduloOldlink(EU) - (AJ)newLink(EU) reduced: (AJ)toShorterLink(JO)moduloOldlink(EU) h=2: **(Putting (1.1323383 AJ BN) into graph...)** h=1: - (BS)oldLink(JO) reduced: (BS)toShorterLink(AJ)moduloNewlink(JO) **(Deleted (1.4177746 BS JO) from graph)** **(Putting (1.1678369 AJ JO) into graph...)** h=1: **(Putting (1.4131248 AJ BS) into graph...)** h=0 #togo=84 h=1: - (CA)oldLink(EC) reduced: (EC)toShorterLink(CE)moduloNewlink(CA) **(Deleted (1.9746317 CA EC) from graph)** **(Putting (1.5534601 CA CE) into graph...)** h=1: **(Putting (1.8128147 CE EC) into graph...)** h=0 #togo=83 h=1: - (BW)newLink(JA) reduced: (JA)toShorterLink(HK)moduloOldlink(BW) - (BX)oldLink(JA) reduced: (BX)toShorterLink(BW)moduloNewlink(JA) **(Deleted (2.3107033 BX JA) from graph)** h=2: **(Putting (1.3798039 HK JA) into graph...)** h=1: **(Putting (1.8606285 BW BX) into graph...)** h=0 #togo=82 h=1: - (AD)oldLink(CT) reduced: (AD)toShorterLink(DZ)moduloNewlink(CT) **(Deleted (2.0004423 AD CT) from graph)** **(Putting (1.549196 CT DZ) into graph...)** h=1: **(Putting (1.1716703 AD DZ) into graph...)** h=0 #togo=81 h=1: - (BD)newLink(KI) reduced: (KI)toShorterLink(HR)moduloOldlink(BD) h=1: **(Putting (0.97726285 HR KI) into graph...)** h=0 #togo=80 h=1: **(Putting (1.5435034 AD IE) into graph...)** h=0 #togo=79 h=0 #togo=78 h=1: **(Putting (1.5389374 EZ FO) into graph...)** h=0 #togo=77 h=1: **(Putting (1.5365415 GK GL) into graph...)** h=0 #togo=76 h=1: - (BM)newLink(KA) reduced: (BM)toShorterLink(GA)moduloOldlink(KA) h=1: **(Putting (1.4264404 BM GA) into graph...)** h=0 #togo=75 h=1: - (DB)oldLink(FS) reduced: (DB)toShorterLink(FR)moduloNewlink(FS) **(Deleted (1.6151803 DB FS) from graph)** **(Putting (1.5279194 FR FS) into graph...)** h=1: **(Putting (1.4984529 DB FR) into graph...)** h=0 #togo=74 h=1: - (AR)oldLink(HU) reduced: (HU)toShorterLink(IX)moduloNewlink(AR) **(Deleted (1.8231382 AR HU) from graph)** - (AC)oldLink(IX) reduced: (AC)toShorterLink(AR)moduloNewlink(IX) **(Deleted (2.130348 AC IX) from graph)** **(Putting (1.5231603 AR IX) into graph...)** h=2: - (AC)oldLink(FN) reduced: (FN)toShorterLink(AR)moduloNewlink(AC) **(Deleted (1.7004036 AC FN) from graph)** - (AR)oldLink(HS) reduced: (HS)toShorterLink(AC)moduloNewlink(AR) **(Deleted (1.7291112 AR HS) from graph)** **(Putting (1.1771852 AC AR) into graph...)** h=3: - (FN)oldLink(GF) reduced: (GF)toShorterLink(AR)moduloNewlink(FN) **(Deleted (1.6526132 FN GF) from graph)** **(Putting (1.5821553 AR FN) into graph...)** h=3: - (AR)newLink(GF) reduced: (AR)toShorterLink(JO)moduloOldlink(GF) h=3: **(Putting (1.2297746 AR JO) into graph...)** h=2: **(Putting (1.5871495 HU IX) into graph...)** h=1: - (AC)newLink(HS) reduced: (HS)toShorterLink(DR)moduloOldlink(AC) h=1: **(Putting (1.5945176 DR HS) into graph...)** h=0 #togo=73 h=1: **(Putting (1.519949 DR IO) into graph...)** h=0 #togo=72 h=1: - (AC)newLink(GS) reduced: (GS)toShorterLink(AR)moduloOldlink(AC) h=1: **(Putting (1.3746665 AR GS) into graph...)** h=0 #togo=71 h=1: - (HT)oldLink(JM) reduced: (HT)toShorterLink(EB)moduloNewlink(JM) **(Deleted (1.9412189 HT JM) from graph)** **(Putting (1.5098356 EB JM) into graph...)** h=1: - (FZ)oldLink(HT) reduced: (FZ)toShorterLink(EB)moduloNewlink(HT) **(Deleted (1.8288223 FZ HT) from graph)** **(Putting (1.5293356 EB HT) into graph...)** h=1: **(Putting (1.7834517 EB FZ) into graph...)** h=0 #togo=70 h=0 #togo=69 h=1: - (BP)oldLink(FA) reduced: (FA)toShorterLink(HN)moduloNewlink(BP) **(Deleted (1.8407147 BP FA) from graph)** - (FX)oldLink(HN) reduced: (FX)toShorterLink(BP)moduloNewlink(HN) **(Deleted (2.712273 FX HN) from graph)** **(Putting (1.4908847 BP HN) into graph...)** h=2: - (FA)newLink(HN) reduced: (HN)toShorterLink(IU)moduloOldlink(FA) h=2: - (IR)oldLink(IU) reduced: (IR)toShorterLink(HN)moduloNewlink(IU) **(Deleted (1.6336524 IR IU) from graph)** **(Putting (1.1893711 HN IU) into graph...)** h=2: **(Putting (1.4856453 HN IR) into graph...)** h=1: **(Putting (2.530535 BP FX) into graph...)** h=0 #togo=68 h=1: - (BB)oldLink(BZ) reduced: (BB)toShorterLink(DV)moduloNewlink(BZ) **(Deleted (1.6953317 BB BZ) from graph)** - (BZ)newLink(DV) reduced: (DV)toShorterLink(KP)moduloOldlink(BZ) h=2: - (CA)oldLink(KP) reduced: (CA)toShorterLink(DV)moduloNewlink(KP) **(Deleted (1.5852001 CA KP) from graph)** **(Putting (1.3731579 DV KP) into graph...)** h=2: - (CA)oldLink(CE) reduced: (CE)toShorterLink(DV)moduloNewlink(CA) **(Deleted (1.5534601 CA CE) from graph)** **(Putting (1.0854688 CA DV) into graph...)** h=2: - (CE)oldLink(EC) reduced: (EC)toShorterLink(DV)moduloNewlink(CE) **(Deleted (1.8128147 CE EC) from graph)** - (CE)newLink(DV) reduced: (DV)toShorterLink(JO)moduloOldlink(CE) h=3: - (FA)oldLink(JO) reduced: (FA)toShorterLink(DV)moduloNewlink(JO) **(Deleted (1.27961 FA JO) from graph)** - (DV)newLink(JO) reduced: (DV)toShorterLink(AX)moduloOldlink(JO) - (EU)oldLink(JO) reduced: (EU)toShorterLink(DV)moduloNewlink(JO) **(Deleted (1.2128754 EU JO) from graph)** h=5: **(Putting (0.90663016 DV EU) into graph...)** h=4: **(Putting (1.0307758 DV FA) into graph...)** h=3: **(Putting (1.1686363 AX DV) into graph...)** h=2: - (BB)newLink(DV) reduced: (BB)toShorterLink(FA)moduloOldlink(DV) h=2: **(Putting (1.4364624 BB FA) into graph...)** h=1: - (DV)newLink(EC) reduced: (EC)toShorterLink(EU)moduloOldlink(DV) h=1: **(Putting (1.4182341 EC EU) into graph...)** h=0 #togo=67 h=1: - (ED)newLink(FD) reduced: (ED)toShorterLink(IV)moduloOldlink(FD) h=1: - (ID)oldLink(IV) reduced: (ID)toShorterLink(ED)moduloNewlink(IV) **(Deleted (1.435094 ID IV) from graph)** **(Putting (1.1941876 ED IV) into graph...)** h=1: **(Putting (1.1589396 ED ID) into graph...)** h=0 #togo=66 h=1: **(Putting (1.4813744 IY IZ) into graph...)** h=0 #togo=65 h=1: **(Putting (1.4717155 FZ KF) into graph...)** h=0 #togo=64 h=1: - (DR)oldLink(HS) reduced: (HS)toShorterLink(EB)moduloNewlink(DR) **(Deleted (1.5945176 DR HS) from graph)** - (EB)oldLink(FZ) reduced: (FZ)toShorterLink(DR)moduloNewlink(EB) **(Deleted (1.7834517 EB FZ) from graph)** - (EB)oldLink(HT) reduced: (HT)toShorterLink(DR)moduloNewlink(EB) **(Deleted (1.5293356 EB HT) from graph)** **(Putting (1.4595039 DR EB) into graph...)** h=3: **(Putting (1.1375424 DR HT) into graph...)** h=2: **(Putting (1.4929987 EB HS) into graph...)** h=1: - (DY)oldLink(FZ) reduced: (DY)toShorterLink(DR)moduloNewlink(FZ) **(Deleted (1.822802 DY FZ) from graph)** **(Putting (1.53494 DR FZ) into graph...)** h=1: - (DR)oldLink(IO) reduced: (IO)toShorterLink(DY)moduloNewlink(DR) **(Deleted (1.519949 DR IO) from graph)** **(Putting (1.4592261 DR DY) into graph...)** h=1: **(Putting (1.1268154 DY IO) into graph...)** h=0 #togo=63 h=1: **(Putting (1.4569873 FI KL) into graph...)** h=0 #togo=62 h=1: - (EC)newLink(KQ) reduced: (KQ)toShorterLink(EU)moduloOldlink(EC) h=1: - (EU)newLink(KQ) reduced: (KQ)toShorterLink(DV)moduloOldlink(EU) - (EU)newLink(KQ) reduced: (KQ)toShorterLink(FI)moduloOldlink(EU) h=2: **(Putting (1.0559375 DV KQ) into graph...)** h=1: - (FI)newLink(KQ) reduced: (FI)toShorterLink(DV)moduloOldlink(KQ) - (AI)oldLink(KQ) reduced: (AI)toShorterLink(FI)moduloNewlink(KQ) **(Deleted (1.3040009 AI KQ) from graph)** h=2: - (DV)newLink(FI) reduced: (FI)toShorterLink(EU)moduloOldlink(DV) - (FI)oldLink(KL) reduced: (KL)toShorterLink(DV)moduloNewlink(FI) **(Deleted (1.4569873 FI KL) from graph)** - (DV)newLink(FI) reduced: (DV)toShorterLink(EU)moduloOldlink(FI) h=2: **(Putting (1.2884294 AI FI) into graph...)** h=1: **(Putting (1.3734646 DV KL) into graph...)** h=0 #togo=61 h=1: **(Putting (1.4412135 GS GX) into graph...)** h=0 #togo=60 h=1: - (EE)oldLink(IH) reduced: (EE)toShorterLink(IX)moduloNewlink(IH) **(Deleted (2.1120868 EE IH) from graph)** - (AR)oldLink(IX) reduced: (AR)toShorterLink(IH)moduloNewlink(IX) **(Deleted (1.5231603 AR IX) from graph)** **(Putting (1.4407642 IH IX) into graph...)** h=2: - (EE)oldLink(GC) reduced: (GC)toShorterLink(IX)moduloNewlink(EE) **(Deleted (1.5206263 EE GC) from graph)** - (EE)oldLink(HL) reduced: (HL)toShorterLink(IX)moduloNewlink(EE) **(Deleted (2.5619214 EE HL) from graph)** **(Putting (0.95286167 EE IX) into graph...)** h=3: - (ER)oldLink(GC) reduced: (ER)toShorterLink(IX)moduloNewlink(GC) **(Deleted (1.8942629 ER GC) from graph)** **(Putting (1.2989714 GC IX) into graph...)** h=3: **(Putting (1.4699597 AR IH) into graph...)** h=2: **(Putting (1.7330844 ER IX) into graph...)** h=1: - (HL)newLink(IX) reduced: (IX)toShorterLink(GT)moduloOldlink(HL) - (HL)newLink(IX) reduced: (HL)toShorterLink(ER)moduloOldlink(IX) - (HL)newLink(IX) reduced: (HL)toShorterLink(HU)moduloOldlink(IX) h=3: **(Putting (1.3642751 HL HU) into graph...)** h=2: **(Putting (1.9052733 ER HL) into graph...)** h=1: - (GT)newLink(IX) reduced: (IX)toShorterLink(IT)moduloOldlink(GT) - (GT)newLink(IX) reduced: (GT)toShorterLink(ER)moduloOldlink(IX) - (GT)newLink(IX) reduced: (GT)toShorterLink(HU)moduloOldlink(IX) h=3: - (GT)newLink(HU) reduced: (HU)toShorterLink(HL)moduloOldlink(GT) - (GT)newLink(HU) reduced: (GT)toShorterLink(HL)moduloOldlink(HU) h=2: - (IT)newLink(IX) reduced: (IX)toShorterLink(EQ)moduloOldlink(IT) - (IT)newLink(IX) reduced: (IT)toShorterLink(ER)moduloOldlink(IX) - (IT)newLink(IX) reduced: (IT)toShorterLink(GC)moduloOldlink(IX) h=4: **(Putting (1.356252 EQ IX) into graph...)** h=3: **(Putting (1.6574696 ER IT) into graph...)** h=2: - (GC)newLink(IT) reduced: (GC)toShorterLink(ER)moduloOldlink(IT) h=1: - (ER)newLink(GT) reduced: (GT)toShorterLink(IT)moduloOldlink(ER) - (ER)newLink(GT) reduced: (GT)toShorterLink(HL)moduloOldlink(ER) - (ER)newLink(GT) reduced: (ER)toShorterLink(IT)moduloOldlink(GT) - (ER)newLink(GT) reduced: (ER)toShorterLink(HL)moduloOldlink(GT) h=0 #togo=59 h=1: - (DD)oldLink(KE) reduced: (DD)toShorterLink(KI)moduloNewlink(KE) **(Deleted (1.8425856 DD KE) from graph)** **(Putting (1.431797 KE KI) into graph...)** h=1: - (DD)newLink(KI) reduced: (DD)toShorterLink(HR)moduloOldlink(KI) h=1: - (DD)newLink(HR) reduced: (DD)toShorterLink(BD)moduloOldlink(HR) h=1: **(Putting (1.1781169 BD DD) into graph...)** h=0 #togo=58 h=1: - (DR)oldLink(EB) reduced: (EB)toShorterLink(GW)moduloNewlink(DR) **(Deleted (1.4595039 DR EB) from graph)** - (DR)newLink(GW) reduced: (GW)toShorterLink(AC)moduloOldlink(DR) - (BQ)oldLink(GW) reduced: (BQ)toShorterLink(DR)moduloNewlink(GW) **(Deleted (1.9463667 BQ GW) from graph)** - (FG)oldLink(GW) reduced: (FG)toShorterLink(DR)moduloNewlink(GW) **(Deleted (1.8977166 FG GW) from graph)** h=4: **(Putting (1.2752948 AC GW) into graph...)** h=3: **(Putting (1.4013575 EB GW) into graph...)** h=2: - (DR)newLink(FG) reduced: (FG)toShorterLink(HT)moduloOldlink(DR) h=2: **(Putting (1.5379002 FG HT) into graph...)** h=1: - (BQ)newLink(DR) reduced: (BQ)toShorterLink(AC)moduloOldlink(DR) h=1: **(Putting (1.6801608 AC BQ) into graph...)** h=0 #togo=57 h=1: - (CI)oldLink(IF) reduced: (IF)toShorterLink(DO)moduloNewlink(CI) **(Deleted (1.7050558 CI IF) from graph)** **(Putting (1.4247665 CI DO) into graph...)** h=1: - (DO)oldLink(JJ) reduced: (JJ)toShorterLink(IF)moduloNewlink(DO) **(Deleted (1.8506688 DO JJ) from graph)** **(Putting (1.4802428 DO IF) into graph...)** h=1: **(Putting (1.5997117 IF JJ) into graph...)** h=0 #togo=56 h=0 #togo=55 h=1: - (FB)oldLink(IM) reduced: (FB)toShorterLink(JP)moduloNewlink(IM) **(Deleted (1.4365351 FB IM) from graph)** - (DT)oldLink(JP) reduced: (DT)toShorterLink(IM)moduloNewlink(JP) **(Deleted (1.9535949 DT JP) from graph)** - (DC)oldLink(JP) reduced: (DC)toShorterLink(IM)moduloNewlink(JP) **(Deleted (2.0097 DC JP) from graph)** **(Putting (1.4140136 IM JP) into graph...)** h=3: - (BG)oldLink(JP) reduced: (BG)toShorterLink(FB)moduloNewlink(JP) **(Deleted (1.4100353 BG JP) from graph)** **(Putting (0.936083 FB JP) into graph...)** h=3: - (FB)oldLink(IU) reduced: (IU)toShorterLink(BG)moduloNewlink(FB) **(Deleted (1.1877021 FB IU) from graph)** **(Putting (1.10102 BG FB) into graph...)** h=3: - (FA)oldLink(IU) reduced: (FA)toShorterLink(BG)moduloNewlink(IU) **(Deleted (1.2208183 FA IU) from graph)** **(Putting (1.1552539 BG IU) into graph...)** h=3: - (BG)oldLink(CL) reduced: (CL)toShorterLink(FA)moduloNewlink(BG) **(Deleted (1.4764866 BG CL) from graph)** - (BG)oldLink(IA) reduced: (IA)toShorterLink(FA)moduloNewlink(BG) **(Deleted (1.0517553 BG IA) from graph)** **(Putting (0.94498104 BG FA) into graph...)** h=4: **(Putting (1.0501779 FA IA) into graph...)** h=3: **(Putting (1.3295373 CL FA) into graph...)** h=2: **(Putting (1.8537772 DT IM) into graph...)** h=1: **(Putting (1.8665533 DC IM) into graph...)** h=0 #togo=54 h=1: **(Putting (1.4066494 AW BI) into graph...)** h=0 #togo=53 h=1: **(Putting (1.4060067 EG HU) into graph...)** h=0 #togo=52 h=1: **(Putting (1.3967983 CF EH) into graph...)** h=0 #togo=51 h=1: - (DM)newLink(IL) reduced: (IL)toShorterLink(FR)moduloOldlink(DM) h=1: - (FR)oldLink(FS) reduced: (FS)toShorterLink(IL)moduloNewlink(FR) **(Deleted (1.5279194 FR FS) from graph)** - (FR)newLink(IL) reduced: (IL)toShorterLink(BG)moduloOldlink(FR) h=2: **(Putting (1.101372 FS IL) into graph...)** h=1: **(Putting (1.3674304 BG IL) into graph...)** h=0 #togo=50 h=1: - (AJ)newLink(HB) reduced: (HB)toShorterLink(BN)moduloOldlink(AJ) h=1: - (BN)oldLink(EU) reduced: (EU)toShorterLink(HB)moduloNewlink(BN) **(Deleted (1.1819161 BN EU) from graph)** - (HB)oldLink(KP) reduced: (KP)toShorterLink(BN)moduloNewlink(HB) **(Deleted (1.3204483 HB KP) from graph)** **(Putting (0.86323106 BN HB) into graph...)** h=2: - (EU)newLink(HB) reduced: (HB)toShorterLink(FI)moduloOldlink(EU) - (HB)oldLink(KJ) reduced: (KJ)toShorterLink(EU)moduloNewlink(HB) **(Deleted (1.9365281 HB KJ) from graph)** h=3: **(Putting (0.95698565 FI HB) into graph...)** h=2: - (BN)newLink(KP) reduced: (BN)toShorterLink(BZ)moduloOldlink(KP) h=2: **(Putting (1.0647376 BN BZ) into graph...)** h=1: - (EU)newLink(KJ) reduced: (KJ)toShorterLink(AU)moduloOldlink(EU) h=1: **(Putting (1.755517 AU KJ) into graph...)** h=0 #togo=49 h=1: **(Putting (1.380094 IO JT) into graph...)** h=0 #togo=48 h=1: - (DB)oldLink(FR) reduced: (FR)toShorterLink(KI)moduloNewlink(DB) **(Deleted (1.4984529 DB FR) from graph)** **(Putting (1.3788133 DB KI) into graph...)** h=1: - (FR)newLink(KI) reduced: (KI)toShorterLink(JQ)moduloOldlink(FR) h=1: - (KE)oldLink(KI) reduced: (KE)toShorterLink(JQ)moduloNewlink(KI) **(Deleted (1.431797 KE KI) from graph)** **(Putting (1.0606533 JQ KI) into graph...)** h=1: - (DP)oldLink(JQ) reduced: (DP)toShorterLink(KE)moduloNewlink(JQ) **(Deleted (1.9190811 DP JQ) from graph)** **(Putting (1.3100288 JQ KE) into graph...)** h=1: - (DP)newLink(KE) reduced: (DP)toShorterLink(JW)moduloOldlink(KE) h=1: **(Putting (1.6240987 DP JW) into graph...)** h=0 #togo=47 h=1: **(Putting (1.3726567 DG DV) into graph...)** h=0 #togo=46 h=1: **(Putting (1.3682092 AA AB) into graph...)** h=0 #togo=45 h=1: - (AA)oldLink(AB) reduced: (AA)toShorterLink(BS)moduloNewlink(AB) **(Deleted (1.3682092 AA AB) from graph)** - (AJ)oldLink(BS) reduced: (AJ)toShorterLink(AB)moduloNewlink(BS) **(Deleted (1.4131248 AJ BS) from graph)** - (AB)newLink(BS) reduced: (AB)toShorterLink(FR)moduloOldlink(BS) h=3: **(Putting (1.1289437 AB FR) into graph...)** h=2: **(Putting (1.2358646 AA BS) into graph...)** h=1: - (AB)newLink(AJ) reduced: (AB)toShorterLink(JO)moduloOldlink(AJ) - (AB)newLink(AJ) reduced: (AB)toShorterLink(BN)moduloOldlink(AJ) h=2: **(Putting (0.8739325 AB BN) into graph...)** h=1: - (AB)newLink(JO) reduced: (JO)toShorterLink(BN)moduloOldlink(AB) h=0 #togo=44 h=1: - (DV)newLink(FL) reduced: (FL)toShorterLink(AX)moduloOldlink(DV) - (DV)newLink(FL) reduced: (FL)toShorterLink(FA)moduloOldlink(DV) h=2: - (AX)newLink(FL) reduced: (FL)toShorterLink(KH)moduloOldlink(AX) h=2: **(Putting (1.2942965 FL KH) into graph...)** h=1: **(Putting (1.3168118 FA FL) into graph...)** h=0 #togo=43 h=1: - (FN)oldLink(GI) reduced: (FN)toShorterLink(HG)moduloNewlink(GI) **(Deleted (1.7217823 FN GI) from graph)** - (AG)oldLink(HG) reduced: (AG)toShorterLink(GI)moduloNewlink(HG) **(Deleted (1.8649651 AG HG) from graph)** **(Putting (1.3452843 GI HG) into graph...)** h=2: **(Putting (1.2430129 AG GI) into graph...)** h=1: **(Putting (1.6246411 FN HG) into graph...)** h=0 #togo=42 h=1: - (DK)oldLink(FT) reduced: (FT)toShorterLink(FK)moduloNewlink(DK) **(Deleted (1.4313585 DK FT) from graph)** **(Putting (1.3423721 DK FK) into graph...)** h=1: **(Putting (1.3406076 FK FT) into graph...)** h=0 #togo=41 h=1: - (FU)newLink(HN) reduced: (HN)toShorterLink(IU)moduloOldlink(FU) - (FU)newLink(HN) reduced: (FU)toShorterLink(IU)moduloOldlink(HN) h=0 #togo=40 h=1: **(Putting (1.3040532 EO EZ) into graph...)** h=0 #togo=39 h=1: - (HZ)oldLink(IJ) reduced: (IJ)toShorterLink(EG)moduloNewlink(HZ) **(Deleted (1.9731455 HZ IJ) from graph)** **(Putting (1.3007405 EG HZ) into graph...)** h=1: **(Putting (1.525928 EG IJ) into graph...)** h=0 #togo=38 h=1: **(Putting (1.2886709 FJ HZ) into graph...)** h=0 #togo=37 h=0 #togo=36 h=1: **(Putting (1.2734013 IB JC) into graph...)** h=0 #togo=35 h=1: - (DH)oldLink(JF) reduced: (JF)toShorterLink(HC)moduloNewlink(DH) **(Deleted (1.6849838 DH JF) from graph)** - (CM)oldLink(HC) reduced: (CM)toShorterLink(DH)moduloNewlink(HC) **(Deleted (1.7077498 CM HC) from graph)** **(Putting (1.2727761 DH HC) into graph...)** h=2: **(Putting (1.4746219 CM DH) into graph...)** h=1: **(Putting (1.524091 HC JF) into graph...)** h=0 #togo=34 h=0 #togo=33 h=1: - (DM)oldLink(FR) reduced: (FR)toShorterLink(IQ)moduloNewlink(DM) **(Deleted (1.2835962 DM FR) from graph)** - (HO)oldLink(IQ) reduced: (HO)toShorterLink(DM)moduloNewlink(IQ) **(Deleted (1.6770309 HO IQ) from graph)** **(Putting (1.2582189 DM IQ) into graph...)** h=2: - (FR)newLink(IQ) reduced: (IQ)toShorterLink(BG)moduloOldlink(FR) - (IQ)oldLink(KR) reduced: (KR)toShorterLink(FR)moduloNewlink(IQ) **(Deleted (1.748697 IQ KR) from graph)** h=3: - (BG)oldLink(IL) reduced: (IL)toShorterLink(IQ)moduloNewlink(BG) **(Deleted (1.3674304 BG IL) from graph)** **(Putting (0.8041609 BG IQ) into graph...)** h=3: **(Putting (1.2972997 IL IQ) into graph...)** h=2: **(Putting (1.6518716 DM HO) into graph...)** h=1: - (FR)newLink(KR) reduced: (KR)toShorterLink(BG)moduloOldlink(FR) h=1: **(Putting (1.4033384 BG KR) into graph...)** h=0 #togo=32 h=1: **(Putting (1.2394032 EI HD) into graph...)** h=0 #togo=31 h=1: - (EV)newLink(FI) reduced: (EV)toShorterLink(AN)moduloOldlink(FI) - (EV)newLink(FI) reduced: (EV)toShorterLink(EU)moduloOldlink(FI) h=2: - (EU)newLink(EV) reduced: (EV)toShorterLink(AU)moduloOldlink(EU) h=2: - (AU)oldLink(KJ) reduced: (KJ)toShorterLink(EV)moduloNewlink(AU) **(Deleted (1.755517 AU KJ) from graph)** - (AU)oldLink(BU) reduced: (BU)toShorterLink(EV)moduloNewlink(AU) **(Deleted (1.4456499 AU BU) from graph)** **(Putting (0.88103044 AU EV) into graph...)** h=3: - (AN)newLink(EV) reduced: (EV)toShorterLink(AU)moduloOldlink(AN) - (AN)newLink(EV) reduced: (AN)toShorterLink(AU)moduloOldlink(EV) h=2: **(Putting (1.1624235 BU EV) into graph...)** h=1: **(Putting (1.4810916 EV KJ) into graph...)** h=0 #togo=30 h=1: - (CV)oldLink(JT) reduced: (JT)toShorterLink(GU)moduloNewlink(CV) **(Deleted (1.7520595 CV JT) from graph)** **(Putting (1.2369279 CV GU) into graph...)** h=1: - (GU)newLink(JT) reduced: (JT)toShorterLink(EO)moduloOldlink(GU) h=1: - (EO)oldLink(FM) reduced: (FM)toShorterLink(JT)moduloNewlink(EO) **(Deleted (1.8664055 EO FM) from graph)** **(Putting (1.3214663 EO JT) into graph...)** h=1: **(Putting (1.5273845 FM JT) into graph...)** h=0 #togo=29 h=1: - (BN)newLink(JI) reduced: (JI)toShorterLink(BZ)moduloOldlink(BN) - (JG)oldLink(JI) reduced: (JG)toShorterLink(BN)moduloNewlink(JI) **(Deleted (2.0902276 JG JI) from graph)** h=2: **(Putting (1.1029795 BZ JI) into graph...)** h=1: - (BN)newLink(JG) reduced: (JG)toShorterLink(AB)moduloOldlink(BN) h=1: **(Putting (1.3320254 AB JG) into graph...)** h=0 #togo=28 h=1: - (AB)newLink(FT) reduced: (FT)toShorterLink(BN)moduloOldlink(AB) - (FK)oldLink(FT) reduced: (FK)toShorterLink(AB)moduloNewlink(FT) **(Deleted (1.3406076 FK FT) from graph)** - (AB)newLink(FT) reduced: (AB)toShorterLink(BN)moduloOldlink(FT) h=1: **(Putting (1.1142505 AB FK) into graph...)** h=0 #togo=27 h=1: - (AQ)oldLink(HY) reduced: (AQ)toShorterLink(BG)moduloNewlink(HY) **(Deleted (2.037793 AQ HY) from graph)** **(Putting (1.1862719 BG HY) into graph...)** h=1: - (AQ)oldLink(AT) reduced: (AT)toShorterLink(BG)moduloNewlink(AQ) **(Deleted (1.8835051 AQ AT) from graph)** **(Putting (1.6112692 AQ BG) into graph...)** h=1: - (AT)newLink(BG) reduced: (AT)toShorterLink(IQ)moduloOldlink(BG) - (AT)newLink(BG) reduced: (AT)toShorterLink(IU)moduloOldlink(BG) h=2: **(Putting (1.4704746 AT IU) into graph...)** h=1: - (AT)newLink(IQ) reduced: (IQ)toShorterLink(IU)moduloOldlink(AT) h=1: - (IQ)newLink(IU) reduced: (IU)toShorterLink(BG)moduloOldlink(IQ) - (IQ)newLink(IU) reduced: (IQ)toShorterLink(BG)moduloOldlink(IU) h=0 #togo=26 h=1: - (BO)oldLink(JY) reduced: (JY)toShorterLink(IL)moduloNewlink(BO) **(Deleted (2.3733022 BO JY) from graph)** **(Putting (1.1818525 BO IL) into graph...)** h=1: **(Putting (1.9122341 IL JY) into graph...)** h=0 #togo=25 h=1: - (CD)oldLink(KB) reduced: (CD)toShorterLink(GC)moduloNewlink(KB) **(Deleted (1.2308853 CD KB) from graph)** **(Putting (1.1711913 GC KB) into graph...)** h=1: **(Putting (1.1546526 CD GC) into graph...)** h=0 #togo=24 h=1: **(Putting (1.1496437 HE HF) into graph...)** h=0 #togo=23 h=1: - (CS)newLink(JQ) reduced: (CS)toShorterLink(FR)moduloOldlink(JQ) h=1: - (CS)oldLink(CZ) reduced: (CZ)toShorterLink(FR)moduloNewlink(CS) **(Deleted (1.594682 CS CZ) from graph)** **(Putting (0.8681416 CS FR) into graph...)** h=1: **(Putting (1.5691468 CZ FR) into graph...)** h=0 #togo=22 h=1: - (GF)oldLink(JO) reduced: (JO)toShorterLink(AA)moduloNewlink(GF) **(Deleted (1.2959338 GF JO) from graph)** - (GF)oldLink(GK) reduced: (GK)toShorterLink(AA)moduloNewlink(GF) **(Deleted (1.4980806 GF GK) from graph)** **(Putting (1.1441802 AA GF) into graph...)** h=2: - (AR)oldLink(JO) reduced: (AR)toShorterLink(AA)moduloNewlink(JO) **(Deleted (1.2297746 AR JO) from graph)** - (JO)oldLink(JR) reduced: (JR)toShorterLink(AA)moduloNewlink(JO) **(Deleted (1.2152544 JO JR) from graph)** **(Putting (0.8568704 AA JO) into graph...)** h=3: **(Putting (1.1071879 AA JR) into graph...)** h=2: **(Putting (1.1505424 AA AR) into graph...)** h=1: - (GK)oldLink(GL) reduced: (GL)toShorterLink(AA)moduloNewlink(GK) **(Deleted (1.5365415 GK GL) from graph)** **(Putting (1.4976009 AA GK) into graph...)** h=1: **(Putting (1.4406399 AA GL) into graph...)** h=0 #togo=21 h=0 #togo=20 h=0 #togo=19 h=1: - (AX)oldLink(DV) reduced: (AX)toShorterLink(CB)moduloNewlink(DV) **(Deleted (1.1686363 AX DV) from graph)** **(Putting (1.1175818 CB DV) into graph...)** h=1: - (AX)newLink(CB) reduced: (CB)toShorterLink(JO)moduloOldlink(AX) h=1: - (CE)oldLink(JO) reduced: (CE)toShorterLink(CB)moduloNewlink(JO) **(Deleted (1.0557289 CE JO) from graph)** **(Putting (1.0012561 CB JO) into graph...)** h=1: **(Putting (0.9775269 CB CE) into graph...)** h=0 #togo=18 h=1: - (EO)oldLink(EZ) reduced: (EO)toShorterLink(IQ)moduloNewlink(EZ) **(Deleted (1.3040532 EO EZ) from graph)** **(Putting (1.0978216 EZ IQ) into graph...)** h=1: - (IL)oldLink(IQ) reduced: (IL)toShorterLink(EO)moduloNewlink(IQ) **(Deleted (1.2972997 IL IQ) from graph)** - (EO)newLink(IQ) reduced: (EO)toShorterLink(BG)moduloOldlink(IQ) h=2: - (BG)oldLink(KR) reduced: (KR)toShorterLink(EO)moduloNewlink(BG) **(Deleted (1.4033384 BG KR) from graph)** **(Putting (0.90050626 BG EO) into graph...)** h=2: - (EO)oldLink(GU) reduced: (GU)toShorterLink(IL)moduloNewlink(EO) **(Deleted (1.5423858 EO GU) from graph)** - (IL)oldLink(JY) reduced: (JY)toShorterLink(EO)moduloNewlink(IL) **(Deleted (1.9122341 IL JY) from graph)** **(Putting (1.0843186 EO IL) into graph...)** h=3: - (BO)oldLink(IL) reduced: (BO)toShorterLink(GU)moduloNewlink(IL) **(Deleted (1.1818525 BO IL) from graph)** **(Putting (0.8870877 GU IL) into graph...)** h=3: **(Putting (0.9604462 BO GU) into graph...)** h=2: **(Putting (1.3876003 EO KR) into graph...)** h=1: **(Putting (1.7662587 EO JY) into graph...)** h=0 #togo=17 h=1: - (EU)newLink(JN) reduced: (JN)toShorterLink(ID)moduloOldlink(EU) - (BC)oldLink(JN) reduced: (BC)toShorterLink(EU)moduloNewlink(JN) **(Deleted (1.8013725 BC JN) from graph)** - (HV)oldLink(JN) reduced: (HV)toShorterLink(EU)moduloNewlink(JN) **(Deleted (1.874451 HV JN) from graph)** h=2: - (EW)oldLink(ID) reduced: (EW)toShorterLink(JN)moduloNewlink(ID) **(Deleted (1.3335339 EW ID) from graph)** **(Putting (1.0161921 ID JN) into graph...)** h=2: **(Putting (0.9718298 EW JN) into graph...)** h=1: - (BC)oldLink(DW) reduced: (DW)toShorterLink(EU)moduloNewlink(BC) **(Deleted (1.6800534 BC DW) from graph)** - (BC)newLink(EU) reduced: (BC)toShorterLink(HR)moduloOldlink(EU) h=2: - (CP)oldLink(HR) reduced: (CP)toShorterLink(BC)moduloNewlink(HR) **(Deleted (1.4408975 CP HR) from graph)** **(Putting (0.98133683 BC HR) into graph...)** h=2: - (BC)newLink(CP) reduced: (BC)toShorterLink(EG)moduloOldlink(CP) h=2: - (EG)oldLink(IJ) reduced: (IJ)toShorterLink(BC)moduloNewlink(EG) **(Deleted (1.525928 EG IJ) from graph)** **(Putting (1.3023102 BC EG) into graph...)** h=2: - (BC)newLink(IJ) reduced: (IJ)toShorterLink(HR)moduloOldlink(BC) h=2: - (HR)newLink(IJ) reduced: (IJ)toShorterLink(KI)moduloOldlink(HR) h=2: - (JQ)oldLink(KI) reduced: (JQ)toShorterLink(IJ)moduloNewlink(KI) **(Deleted (1.0606533 JQ KI) from graph)** **(Putting (0.8732904 IJ KI) into graph...)** h=2: - (AN)oldLink(JQ) reduced: (AN)toShorterLink(IJ)moduloNewlink(JQ) **(Deleted (1.2643443 AN JQ) from graph)** **(Putting (1.0400642 IJ JQ) into graph...)** h=2: **(Putting (1.0497209 AN IJ) into graph...)** h=1: - (DW)newLink(EU) reduced: (DW)toShorterLink(CQ)moduloOldlink(EU) h=1: - (CQ)newLink(DW) reduced: (CQ)toShorterLink(CX)moduloOldlink(DW) h=1: - (BV)oldLink(CQ) reduced: (BV)toShorterLink(CX)moduloNewlink(CQ) **(Deleted (1.7498091 BV CQ) from graph)** **(Putting (1.4988201 CQ CX) into graph...)** h=1: **(Putting (1.5898483 BV CX) into graph...)** h=0 #togo=16 h=1: - (DR)oldLink(DY) reduced: (DR)toShorterLink(JD)moduloNewlink(DY) **(Deleted (1.4592261 DR DY) from graph)** **(Putting (1.080255 DY JD) into graph...)** h=1: - (DR)oldLink(FZ) reduced: (FZ)toShorterLink(JD)moduloNewlink(DR) **(Deleted (1.53494 DR FZ) from graph)** - (JD)oldLink(JT) reduced: (JT)toShorterLink(DR)moduloNewlink(JD) **(Deleted (1.48689 JD JT) from graph)** **(Putting (1.2193394 DR JD) into graph...)** h=2: - (DR)oldLink(HT) reduced: (HT)toShorterLink(JT)moduloNewlink(DR) **(Deleted (1.1375424 DR HT) from graph)** - (EO)oldLink(JT) reduced: (EO)toShorterLink(DR)moduloNewlink(JT) **(Deleted (1.3214663 EO JT) from graph)** **(Putting (1.1098796 DR JT) into graph...)** h=3: **(Putting (1.116739 HT JT) into graph...)** h=2: **(Putting (1.2540662 DR EO) into graph...)** h=1: **(Putting (1.4103166 FZ JD) into graph...)** h=0 #togo=15 h=1: - (BG)newLink(KN) reduced: (KN)toShorterLink(IQ)moduloOldlink(BG) - (BG)oldLink(IU) reduced: (IU)toShorterLink(KN)moduloNewlink(BG) **(Deleted (1.1552539 BG IU) from graph)** - (BG)oldLink(EN) reduced: (EN)toShorterLink(KN)moduloNewlink(BG) **(Deleted (1.629882 BG EN) from graph)** - (KN)oldLink(KS) reduced: (KS)toShorterLink(BG)moduloNewlink(KN) **(Deleted (1.9463083 KN KS) from graph)** h=4: **(Putting (0.9702341 IQ KN) into graph...)** h=3: - (AT)oldLink(IU) reduced: (AT)toShorterLink(KN)moduloNewlink(IU) **(Deleted (1.4704746 AT IU) from graph)** **(Putting (1.0758841 IU KN) into graph...)** h=3: **(Putting (1.0907393 AT KN) into graph...)** h=2: **(Putting (1.3107846 EN KN) into graph...)** h=1: - (BG)newLink(KS) reduced: (KS)toShorterLink(HY)moduloOldlink(BG) h=1: **(Putting (1.6121944 HY KS) into graph...)** h=0 #togo=14 h=1: - (AA)oldLink(GL) reduced: (AA)toShorterLink(IW)moduloNewlink(GL) **(Deleted (1.4406399 AA GL) from graph)** **(Putting (1.0612547 GL IW) into graph...)** h=1: - (AA)newLink(IW) reduced: (IW)toShorterLink(JO)moduloOldlink(AA) h=1: **(Putting (1.3250422 IW JO) into graph...)** h=0 #togo=13 h=0 #togo=12 h=1: - (FU)oldLink(IU) reduced: (FU)toShorterLink(HO)moduloNewlink(IU) **(Deleted (1.2723933 FU IU) from graph)** **(Putting (0.9857327 HO IU) into graph...)** h=1: **(Putting (1.1844741 FU HO) into graph...)** h=0 #togo=11 h=1: - (DV)oldLink(KL) reduced: (DV)toShorterLink(DA)moduloNewlink(KL) **(Deleted (1.3734646 DV KL) from graph)** **(Putting (0.97579503 DA KL) into graph...)** h=1: **(Putting (1.3607384 DA DV) into graph...)** h=0 #togo=10 h=0 #togo=9 h=0 #togo=8 h=1: **(Putting (0.8957991 GE HJ) into graph...)** h=0 #togo=7 h=1: **(Putting (0.8926646 ED IP) into graph...)** h=0 #togo=6 h=1: - (AC)oldLink(DR) reduced: (DR)toShorterLink(FK)moduloNewlink(AC) **(Deleted (1.1212424 AC DR) from graph)** **(Putting (0.89160335 AC FK) into graph...)** h=1: - (AB)oldLink(FK) reduced: (AB)toShorterLink(DR)moduloNewlink(FK) **(Deleted (1.1142505 AB FK) from graph)** **(Putting (0.9306909 DR FK) into graph...)** h=1: **(Putting (0.6979927 AB DR) into graph...)** h=0 #togo=5 h=1: - (AV)oldLink(BF) reduced: (BF)toShorterLink(AA)moduloNewlink(AV) **(Deleted (1.773992 AV BF) from graph)** **(Putting (0.8345256 AA AV) into graph...)** h=1: - (AA)newLink(BF) reduced: (BF)toShorterLink(JO)moduloOldlink(AA) h=1: **(Putting (1.3180254 BF JO) into graph...)** h=0 #togo=4 h=1: - (GL)oldLink(IW) reduced: (GL)toShorterLink(HT)moduloNewlink(IW) **(Deleted (1.0612547 GL IW) from graph)** **(Putting (0.82722235 HT IW) into graph...)** h=1: **(Putting (0.7870364 GL HT) into graph...)** h=0 #togo=3 h=1: - (CH)oldLink(ET) reduced: (ET)toShorterLink(ED)moduloNewlink(CH) **(Deleted (1.6188601 CH ET) from graph)** **(Putting (0.75785214 CH ED) into graph...)** h=1: - (ED)newLink(ET) reduced: (ET)toShorterLink(ID)moduloOldlink(ED) - (ED)newLink(ET) reduced: (ET)toShorterLink(IV)moduloOldlink(ED) h=2: **(Putting (1.3144344 ET IV) into graph...)** h=1: **(Putting (1.3733746 ET ID) into graph...)** h=0 #togo=2 h=1: - (GC)oldLink(KB) reduced: (GC)toShorterLink(JZ)moduloNewlink(KB) **(Deleted (1.1711913 GC KB) from graph)** **(Putting (0.6194337 JZ KB) into graph...)** h=1: **(Putting (1.088779 GC JZ) into graph...)** h=0 #togo=1 h=1: - (GE)oldLink(HJ) reduced: (HJ)toShorterLink(CQ)moduloNewlink(GE) **(Deleted (0.8957991 GE HJ) from graph)** **(Putting (0.47203526 CQ GE) into graph...)** h=1: **(Putting (0.82794183 CQ HJ) into graph...)** h=0 #togo=0 * That took 12 seconds = 0.2 minutes. * Summary: (:DONE 914 322)