#togo=431 h=1: **(Putting (1.4142138 BD HZ) into graph...)** h=0 #togo=430 h=1: **(Putting (1.4142138 ET JH) into graph...)** h=0 #togo=429 h=1: **(Putting (1.4142137 IA II) into graph...)** h=0 #togo=428 h=1: - (IA)oldLink(II) reduced: (II)toShorterLink(FY)moduloNewlink(IA) **(Deleted (1.4142137 IA II) from graph)** **(Putting (1.4142137 FY IA) into graph...)** h=1: **(Putting (1.4137765 FY II) into graph...)** h=0 #togo=427 h=1: - (FY)oldLink(IA) reduced: (FY)toShorterLink(GJ)moduloNewlink(IA) **(Deleted (1.4142137 FY IA) from graph)** **(Putting (1.4142137 GJ IA) into graph...)** h=1: **(Putting (1.414165 FY GJ) into graph...)** h=0 #togo=426 h=1: **(Putting (1.4142137 FL GV) into graph...)** h=0 #togo=425 h=1: - (BD)oldLink(HZ) reduced: (HZ)toShorterLink(JB)moduloNewlink(BD) **(Deleted (1.4142138 BD HZ) from graph)** **(Putting (1.4142137 BD JB) into graph...)** h=1: **(Putting (1.4116257 HZ JB) into graph...)** h=0 #togo=424 h=1: - (FL)oldLink(GV) reduced: (FL)toShorterLink(JQ)moduloNewlink(GV) **(Deleted (1.4142137 FL GV) from graph)** **(Putting (1.4142137 GV JQ) into graph...)** h=1: **(Putting (1.414206 FL JQ) into graph...)** h=0 #togo=423 h=1: **(Putting (1.4142135 BW GY) into graph...)** h=0 #togo=422 h=1: **(Putting (1.4142135 AK DR) into graph...)** h=0 #togo=421 h=1: - (AK)oldLink(DR) reduced: (DR)toShorterLink(IZ)moduloNewlink(AK) **(Deleted (1.4142135 AK DR) from graph)** **(Putting (1.4142135 AK IZ) into graph...)** h=1: **(Putting (1.4138302 DR IZ) into graph...)** h=0 #togo=420 h=1: - (BD)oldLink(JB) reduced: (JB)toShorterLink(GU)moduloNewlink(BD) **(Deleted (1.4142137 BD JB) from graph)** **(Putting (1.4142134 BD GU) into graph...)** h=1: - (GU)newLink(JB) reduced: (GU)toShorterLink(HZ)moduloOldlink(JB) h=1: **(Putting (1.4139773 GU HZ) into graph...)** h=0 #togo=419 h=1: - (AK)oldLink(IZ) reduced: (IZ)toShorterLink(IP)moduloNewlink(AK) **(Deleted (1.4142135 AK IZ) from graph)** **(Putting (1.4142134 AK IP) into graph...)** h=1: **(Putting (1.4135302 IP IZ) into graph...)** h=0 #togo=418 h=1: **(Putting (1.4142133 DN EU) into graph...)** h=0 #togo=417 h=1: **(Putting (1.4142126 DX KO) into graph...)** h=0 #togo=416 h=1: **(Putting (1.414211 HA IF) into graph...)** h=0 #togo=415 h=1: **(Putting (1.4142102 BA CW) into graph...)** h=0 #togo=414 h=1: **(Putting (1.4142078 FS KI) into graph...)** h=0 #togo=413 h=1: - (FY)newLink(HB) reduced: (HB)toShorterLink(GJ)moduloOldlink(FY) h=1: - (GJ)oldLink(IA) reduced: (IA)toShorterLink(HB)moduloNewlink(GJ) **(Deleted (1.4142137 GJ IA) from graph)** **(Putting (1.4141921 GJ HB) into graph...)** h=1: **(Putting (1.4139344 HB IA) into graph...)** h=0 #togo=412 h=1: - (FS)oldLink(KI) reduced: (KI)toShorterLink(EV)moduloNewlink(FS) **(Deleted (1.4142078 FS KI) from graph)** **(Putting (1.4142059 EV FS) into graph...)** h=1: **(Putting (1.3920149 EV KI) into graph...)** h=0 #togo=411 h=1: - (DN)oldLink(EU) reduced: (EU)toShorterLink(FT)moduloNewlink(DN) **(Deleted (1.4142133 DN EU) from graph)** **(Putting (1.4142053 DN FT) into graph...)** h=1: **(Putting (1.4138954 EU FT) into graph...)** h=0 #togo=410 h=1: - (HB)newLink(KJ) reduced: (KJ)toShorterLink(IA)moduloOldlink(HB) h=1: **(Putting (1.4137021 IA KJ) into graph...)** h=0 #togo=409 h=1: **(Putting (1.4142039 BS EF) into graph...)** h=0 #togo=408 h=1: **(Putting (1.4142009 AY GT) into graph...)** h=0 #togo=407 h=1: **(Putting (1.4141997 AS AX) into graph...)** h=0 #togo=406 h=1: - (FZ)newLink(HZ) reduced: (FZ)toShorterLink(GU)moduloOldlink(HZ) - (FZ)newLink(HZ) reduced: (FZ)toShorterLink(JB)moduloOldlink(HZ) h=2: **(Putting (1.4138949 FZ JB) into graph...)** h=1: - (BD)oldLink(GU) reduced: (BD)toShorterLink(FZ)moduloNewlink(GU) **(Deleted (1.4142134 BD GU) from graph)** **(Putting (1.4139899 FZ GU) into graph...)** h=1: **(Putting (1.4140035 BD FZ) into graph...)** h=0 #togo=405 h=1: - (DN)oldLink(FT) reduced: (FT)toShorterLink(EJ)moduloNewlink(DN) **(Deleted (1.4142053 DN FT) from graph)** **(Putting (1.414198 DN EJ) into graph...)** h=1: **(Putting (1.3786255 EJ FT) into graph...)** h=0 #togo=404 h=1: - (EJ)newLink(IF) reduced: (IF)toShorterLink(FT)moduloOldlink(EJ) - (DN)oldLink(EJ) reduced: (DN)toShorterLink(IF)moduloNewlink(EJ) **(Deleted (1.414198 DN EJ) from graph)** - (HA)oldLink(IF) reduced: (HA)toShorterLink(EJ)moduloNewlink(IF) **(Deleted (1.414211 HA IF) from graph)** **(Putting (1.4141977 EJ IF) into graph...)** h=3: - (EJ)oldLink(IF) reduced: (EJ)toShorterLink(FT)moduloNewlink(IF) **(Deleted (1.4141977 EJ IF) from graph)** **(Putting (1.4135486 FT IF) into graph...)** h=2: - (EJ)newLink(HA) reduced: (HA)toShorterLink(FT)moduloOldlink(EJ) h=2: - (EU)oldLink(FT) reduced: (EU)toShorterLink(HA)moduloNewlink(FT) **(Deleted (1.4138954 EU FT) from graph)** **(Putting (1.4138335 FT HA) into graph...)** h=2: **(Putting (1.3313091 EU HA) into graph...)** h=1: **(Putting (1.414197 DN IF) into graph...)** h=0 #togo=403 h=1: - (EN)newLink(HB) reduced: (EN)toShorterLink(IA)moduloOldlink(HB) h=1: **(Putting (1.413842 EN IA) into graph...)** h=0 #togo=402 h=1: - (CC)newLink(HB) reduced: (CC)toShorterLink(IA)moduloOldlink(HB) - (CC)newLink(HB) reduced: (CC)toShorterLink(GJ)moduloOldlink(HB) h=2: - (EN)oldLink(IA) reduced: (EN)toShorterLink(CC)moduloNewlink(IA) **(Deleted (1.413842 EN IA) from graph)** - (IA)oldLink(KJ) reduced: (KJ)toShorterLink(CC)moduloNewlink(IA) **(Deleted (1.4137021 IA KJ) from graph)** **(Putting (1.4083781 CC IA) into graph...)** h=3: **(Putting (1.4116158 CC EN) into graph...)** h=2: **(Putting (1.4119631 CC KJ) into graph...)** h=1: - (CC)newLink(GJ) reduced: (CC)toShorterLink(FY)moduloOldlink(GJ) h=1: - (CC)newLink(FY) reduced: (FY)toShorterLink(KJ)moduloOldlink(CC) h=1: **(Putting (1.4131565 FY KJ) into graph...)** h=0 #togo=401 h=1: **(Putting (1.414195 DA IB) into graph...)** h=0 #togo=400 h=1: - (BS)oldLink(EF) reduced: (EF)toShorterLink(CJ)moduloNewlink(BS) **(Deleted (1.4142039 BS EF) from graph)** **(Putting (1.4141942 BS CJ) into graph...)** h=1: **(Putting (1.4130774 CJ EF) into graph...)** h=0 #togo=399 h=1: **(Putting (1.4141937 EP ER) into graph...)** h=0 #togo=398 h=1: **(Putting (1.4141935 HV JA) into graph...)** h=0 #togo=397 h=1: **(Putting (1.4141917 AH FC) into graph...)** h=0 #togo=396 h=1: **(Putting (1.4141904 HK IX) into graph...)** h=0 #togo=395 h=1: - (ET)oldLink(JH) reduced: (JH)toShorterLink(IB)moduloNewlink(ET) **(Deleted (1.4142138 ET JH) from graph)** - (DA)oldLink(IB) reduced: (DA)toShorterLink(ET)moduloNewlink(IB) **(Deleted (1.414195 DA IB) from graph)** **(Putting (1.4141845 ET IB) into graph...)** h=2: **(Putting (1.4105757 DA ET) into graph...)** h=1: **(Putting (1.4132872 IB JH) into graph...)** h=0 #togo=394 h=1: - (EV)oldLink(FS) reduced: (EV)toShorterLink(JF)moduloNewlink(FS) **(Deleted (1.4142059 EV FS) from graph)** **(Putting (1.4141841 FS JF) into graph...)** h=1: **(Putting (1.3161292 EV JF) into graph...)** h=0 #togo=393 h=1: - (FS)oldLink(JF) reduced: (JF)toShorterLink(DH)moduloNewlink(FS) **(Deleted (1.4141841 FS JF) from graph)** **(Putting (1.414184 DH FS) into graph...)** h=1: - (DH)newLink(JF) reduced: (DH)toShorterLink(EV)moduloOldlink(JF) h=1: **(Putting (1.4026866 DH EV) into graph...)** h=0 #togo=392 h=1: **(Putting (1.414182 AR FH) into graph...)** h=0 #togo=391 h=1: - (AO)newLink(IA) reduced: (AO)toShorterLink(CC)moduloOldlink(IA) - (AO)newLink(IA) reduced: (AO)toShorterLink(HB)moduloOldlink(IA) h=2: **(Putting (1.4133924 AO CC) into graph...)** h=1: - (GJ)oldLink(HB) reduced: (GJ)toShorterLink(AO)moduloNewlink(HB) **(Deleted (1.4141921 GJ HB) from graph)** **(Putting (1.4140882 AO HB) into graph...)** h=1: - (FY)oldLink(GJ) reduced: (FY)toShorterLink(AO)moduloNewlink(GJ) **(Deleted (1.414165 FY GJ) from graph)** **(Putting (1.4139646 AO GJ) into graph...)** h=1: - (AO)newLink(FY) reduced: (FY)toShorterLink(CC)moduloOldlink(AO) h=0 #togo=390 h=1: **(Putting (1.4141812 BB CY) into graph...)** h=0 #togo=389 h=1: - (DH)oldLink(FS) reduced: (DH)toShorterLink(HX)moduloNewlink(FS) **(Deleted (1.414184 DH FS) from graph)** **(Putting (1.4141806 FS HX) into graph...)** h=1: **(Putting (1.4141582 DH HX) into graph...)** h=0 #togo=388 h=1: - (DX)oldLink(KO) reduced: (KO)toShorterLink(GO)moduloNewlink(DX) **(Deleted (1.4142126 DX KO) from graph)** ^Z