45555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 4 5 5 5 5 ]( 5*a[5]-3*a[4]-1*a[3] , 5*a[5]+1*a[4]+ 10*minD[5] )( 1.769851 , 6.733070999999999 )1.2064418577944294

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[4 5 5 5 5 ][ 4 / 3 3 ](5*a[5] -3*a[4] +3*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.6678749999999996 , 6.402467 )1.1518244652275627
[4 5 5 5 5 ][ 4 / 3 3 3 ](5*a[5] -2*a[4] +3*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.454591000000001 , 6.240171 )1.1398512254109157
[4 5 5 5 5 ][ 4 / 3 3 3 3 ](6*a[5] -3*a[4] +4*a[3] , 6*a[5] +4minD[5] ), ( 5.063281999999999 , 6.062146 )1.1330984139055191
[4 5 5 5 5 ][ 4 / 3 4 ](5*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.5055789999999996 , 6.402467 )1.1552224547510417
[4 5 5 5 5 ][ 4 / 3 3 4 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.292294999999999 , 6.240171 )1.1424953283050203
[4 5 5 5 5 ][ 4 / 3 3 3 4 ](6*a[5] -2*a[4] +2*a[3] , 6*a[5] +4minD[5] ), ( 4.900986 , 6.062146 )1.1353552461676586
[4 5 5 5 5 ][ 4 / 4 4 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.3432829999999996 , 6.402467 )1.1588403070648978
[4 5 5 5 5 ][ 4 / 3 4 4 ](5*a[5] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.129999 , 6.240171 )1.1452803989459215
[4 5 5 5 5 ][ 4 / 3 3 4 4 ](6*a[5] -1*a[4] , 6*a[5] +4minD[5] ), ( 4.738689999999999 , 6.062146 )1.1377182901474538
[4 5 5 5 5 ][ 4 / 4 4 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.967703 , 6.240171 )1.1482195708108096
[4 5 5 5 5 ][ 4 / 3 4 4 4 ](6*a[5] -2*a[3] , 6*a[5] +4minD[5] ), ( 4.576394 , 6.062146 )1.1401961014181758
[4 5 5 5 5 ][ 4 / 4 4 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +4minD[5] ), ( 4.414097999999999 , 6.062146 )1.1427983684016538
[4 5 5 5 5 ][ 4 / 3 5 ](6*a[5] -4*a[4] +2*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.3275539999999997 , 6.402467 )1.1592034991921194
[4 5 5 5 5 ][ 4 / 3 3 5 ](6*a[5] -3*a[4] +2*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.114269999999999 , 6.240171 )1.1455583232716184
[4 5 5 5 5 ][ 4 / 3 3 3 5 ](7*a[5] -4*a[4] +3*a[3] , 6*a[5] +4minD[5] ), ( 4.722961 , 6.062146 )1.137953190619729
[4 5 5 5 5 ][ 4 / 4 5 ](6*a[5] -3*a[4] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.1652579999999997 , 6.402467 )1.1630917613302931
[4 5 5 5 5 ][ 4 / 3 4 5 ](6*a[5] -2*a[4] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.951974 , 6.240171 )1.1485130756773227
[4 5 5 5 5 ][ 4 / 3 3 4 5 ](7*a[5] -3*a[4] +1*a[3] , 6*a[5] +4minD[5] ), ( 4.560664999999999 , 6.062146 )1.1404425692221782
[4 5 5 5 5 ][ 4 / 4 4 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.789678 , 6.240171 )1.1516385050734388
[4 5 5 5 5 ][ 4 / 3 4 4 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +4minD[5] ), ( 4.398368999999999 , 6.062146 )1.1430574885039957
[4 5 5 5 5 ][ 4 / 4 4 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +4minD[5] ), ( 4.236072999999999 , 6.062146 )1.145808836580888
[4 5 5 5 5 ][ 4 / 5 5 ](7*a[5] -5*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 2.987233 , 6.402467 )1.1676777431878396
[4 5 5 5 5 ][ 4 / 3 5 5 ](7*a[5] -4*a[4] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.773949 , 6.240171 )1.1519510030605922
[4 5 5 5 5 ][ 4 / 3 3 5 5 ](8*a[5] -5*a[4] +2*a[3] , 6*a[5] +4minD[5] ), ( 4.382639999999999 , 6.062146 )1.1433179727584848
[4 5 5 5 5 ][ 4 / 4 5 5 ](7*a[5] -3*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.611653 , 6.240171 )1.1552835483254114
[4 5 5 5 5 ][ 4 / 3 4 5 5 ](8*a[5] -4*a[4] , 6*a[5] +4minD[5] ), ( 4.220343999999999 , 6.062146 )1.1460832594824923
[4 5 5 5 5 ][ 4 / 4 4 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +4minD[5] ), ( 4.058047999999999 , 6.062146 )1.148998701991296
[4 5 5 5 5 ][ 4 / 5 5 5 ](8*a[5] -5*a[4] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.433628 , 6.240171 )1.1591813936957567
[4 5 5 5 5 ][ 4 / 3 5 5 5 ](9*a[5] -6*a[4] +1*a[3] , 6*a[5] +4minD[5] ), ( 4.042318999999999 , 6.062146 )1.149289613623219
[4 5 5 5 5 ][ 4 / 4 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 6*a[5] +4minD[5] ), ( 3.8800229999999996 , 6.062146 )1.1523865056089255
[4 5 5 5 5 ][ 4 / 5 5 5 5 ](10*a[5] -7*a[4] , 6*a[5] +4minD[5] ), ( 3.7019979999999997 , 6.062146 )1.1559939170022626
[4 5 5 5 5 ][ 5 / 3 3 ](5*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.505579 , 6.402467 )1.1552224547510417
[4 5 5 5 5 ][ 5 / 3 3 3 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.292294999999999 , 6.240171 )1.1424953283050203
[4 5 5 5 5 ][ 5 / 3 3 3 3 ](6*a[5] -2*a[4] +2*a[3] , 6*a[5] +4minD[5] ), ( 4.900986 , 6.062146 )1.1353552461676586
[4 5 5 5 5 ][ 5 / 3 4 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.3432829999999996 , 6.402467 )1.1588403070648978
[4 5 5 5 5 ][ 5 / 3 3 4 ](5*a[5] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 4.129999 , 6.240171 )1.1452803989459215
[4 5 5 5 5 ][ 5 / 3 3 3 4 ](6*a[5] -1*a[4] , 6*a[5] +4minD[5] ), ( 4.73869 , 6.062146 )1.1377182901474538
[4 5 5 5 5 ][ 5 / 4 4 ](5*a[5] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.180987 , 6.402467 )1.1627032443486744
[4 5 5 5 5 ][ 5 / 3 4 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.9677029999999993 , 6.240171 )1.1482195708108096
[4 5 5 5 5 ][ 5 / 3 3 4 4 ](6*a[5] -2*a[3] , 6*a[5] +4minD[5] ), ( 4.5763940000000005 , 6.062146 )1.1401961014181758
[4 5 5 5 5 ][ 5 / 4 4 4 ](5*a[5] +2*a[4] -5*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.8054069999999998 , 6.240171 )1.15132759875216
[4 5 5 5 5 ][ 5 / 3 4 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +4minD[5] ), ( 4.414097999999999 , 6.062146 )1.1427983684016538
[4 5 5 5 5 ][ 5 / 4 4 4 4 ](6*a[5] +2*a[4] -6*a[3] , 6*a[5] +4minD[5] ), ( 4.251802 , 6.062146 )1.1455359529583187
[4 5 5 5 5 ][ 5 / 3 5 ](6*a[5] -3*a[4] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.1652579999999997 , 6.402467 )1.1630917613302931
[4 5 5 5 5 ][ 5 / 3 3 5 ](6*a[5] -2*a[4] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.9519739999999994 , 6.240171 )1.1485130756773227
[4 5 5 5 5 ][ 5 / 3 3 3 5 ](7*a[5] -3*a[4] +1*a[3] , 6*a[5] +4minD[5] ), ( 4.560665 , 6.062146 )1.1404425692221782
[4 5 5 5 5 ][ 5 / 4 5 ](6*a[5] -2*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 3.0029619999999997 , 6.402467 )1.1672578948565826
[4 5 5 5 5 ][ 5 / 3 4 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.7896779999999994 , 6.240171 )1.1516385050734388
[4 5 5 5 5 ][ 5 / 3 3 4 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +4minD[5] ), ( 4.398369 , 6.062146 )1.1430574885039957
[4 5 5 5 5 ][ 5 / 4 4 5 ](6*a[5] -4*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.6273819999999994 , 6.240171 )1.1549517479804783
[4 5 5 5 5 ][ 5 / 3 4 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +4minD[5] ), ( 4.236072999999999 , 6.062146 )1.145808836580888
[4 5 5 5 5 ][ 5 / 4 4 4 5 ](7*a[5] -5*a[3] , 6*a[5] +4minD[5] ), ( 4.073777 , 6.062146 )1.1487091959981313
[4 5 5 5 5 ][ 5 / 5 5 ](7*a[5] -4*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +4minD[5] ), ( 2.824937 , 6.402467 )1.17218995059706
[4 5 5 5 5 ][ 5 / 3 5 5 ](7*a[5] -3*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.6116529999999996 , 6.240171 )1.1552835483254114
[4 5 5 5 5 ][ 5 / 3 3 5 5 ](8*a[5] -4*a[4] , 6*a[5] +4minD[5] ), ( 4.220344 , 6.062146 )1.1460832594824923
[4 5 5 5 5 ][ 5 / 4 5 5 ](7*a[5] -2*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.4493569999999996 , 6.240171 )1.158826059457089
[4 5 5 5 5 ][ 5 / 3 4 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +4minD[5] ), ( 4.058047999999999 , 6.062146 )1.148998701991296
[4 5 5 5 5 ][ 5 / 4 4 5 5 ](8*a[5] -2*a[4] -4*a[3] , 6*a[5] +4minD[5] ), ( 3.895752 , 6.062146 )1.152078676271296
[4 5 5 5 5 ][ 5 / 5 5 5 ](8*a[5] -4*a[4] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +4minD[5] ), ( 3.2713319999999997 , 6.240171 )1.1629814670541234
[4 5 5 5 5 ][ 5 / 3 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 6*a[5] +4minD[5] ), ( 3.8800229999999996 , 6.062146 )1.1523865056089255
[4 5 5 5 5 ][ 5 / 4 5 5 5 ](9*a[5] -4*a[4] -3*a[3] , 6*a[5] +4minD[5] ), ( 3.7177269999999996 , 6.062146 )1.155665688825951
[4 5 5 5 5 ][ 5 / 5 5 5 5 ](10*a[5] -6*a[4] -2*a[3] , 6*a[5] +4minD[5] ), ( 3.5397019999999997 , 6.062146 )1.1594954348867414
[4 5 5 5 5 ][ 4 5 / 3 ](5*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.5055789999999996 , 6.268281999999999 )1.157160067656127
[4 5 5 5 5 ][ 4 5 / 3 3 ](5*a[5] -1*a[4] +1*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 4.292294999999999 , 6.580492 )1.1382742134241082
[4 5 5 5 5 ][ 4 5 / 3 3 3 ](6*a[5] -2*a[4] +2*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.900986 , 6.240171 )1.1332149001555085
[4 5 5 5 5 ][ 4 5 / 4 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.3432829999999996 , 6.268281999999999 )1.1608390785836493
[4 5 5 5 5 ][ 4 5 / 3 4 ](5*a[5] -1*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 4.129999 , 6.580492 )1.1409483942566905
[4 5 5 5 5 ][ 4 5 / 3 3 4 ](6*a[5] -1*a[4] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.73869 , 6.240171 )1.1355276839601216
[4 5 5 5 5 ][ 4 5 / 4 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.9677029999999998 , 6.580492 )1.143769583401763
[4 5 5 5 5 ][ 4 5 / 3 4 4 ](6*a[5] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.576393999999999 , 6.240171 )1.1379522644090325
[4 5 5 5 5 ][ 4 5 / 4 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.414097999999999 , 6.240171 )1.140498388047932
[4 5 5 5 5 ][ 4 5 / 5 ](6*a[5] -3*a[4] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.1652579999999997 , 6.268281999999999 )1.1651633357119666
[4 5 5 5 5 ][ 4 5 / 3 5 ](6*a[5] -2*a[4] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.951974 , 6.580492 )1.1440512996445011
[4 5 5 5 5 ][ 4 5 / 3 3 5 ](7*a[5] -3*a[4] +1*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.560664999999998 , 6.240171 )1.1381935932676142
[4 5 5 5 5 ][ 4 5 / 4 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.789678 , 6.580492 )1.1470503436970372
[4 5 5 5 5 ][ 4 5 / 3 4 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.398368999999999 , 6.240171 )1.1407519673247477
[4 5 5 5 5 ][ 4 5 / 4 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.236072999999999 , 6.240171 )1.1434435835389045
[4 5 5 5 5 ][ 4 5 / 5 5 ](7*a[5] -3*a[4] -1*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.611653 , 6.580492 )1.1505468850563116
[4 5 5 5 5 ][ 4 5 / 3 5 5 ](8*a[5] -4*a[4] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.220343999999999 , 6.240171 )1.143712040507486
[4 5 5 5 5 ][ 4 5 / 4 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.058047999999999 , 6.240171 )1.1465635417443327
[4 5 5 5 5 ][ 4 5 / 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 3.8800229999999996 , 6.240171 )1.149876607635584
[4 5 5 5 5 ][ 5 5 / 3 ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.343283 , 6.268281999999999 )1.1608390785836493
[4 5 5 5 5 ][ 5 5 / 3 3 ](5*a[5] -1*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 4.129999 , 6.580492 )1.1409483942566905
[4 5 5 5 5 ][ 5 5 / 3 3 3 ](6*a[5] -1*a[4] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.738690000000001 , 6.240171 )1.1355276839601216
[4 5 5 5 5 ][ 5 5 / 4 ](5*a[5] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.180987 , 6.268281999999999 )1.1647680966648573
[4 5 5 5 5 ][ 5 5 / 3 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.9677029999999993 , 6.580492 )1.143769583401763
[4 5 5 5 5 ][ 5 5 / 3 3 4 ](6*a[5] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.576394 , 6.240171 )1.1379522644090325
[4 5 5 5 5 ][ 5 5 / 4 4 ](5*a[5] +2*a[4] -5*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.8054069999999993 , 6.580492 )1.146752099065201
[4 5 5 5 5 ][ 5 5 / 3 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.414098 , 6.240171 )1.140498388047932
[4 5 5 5 5 ][ 5 5 / 4 4 4 ](6*a[5] +2*a[4] -6*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.251802 , 6.240171 )1.143176654666771
[4 5 5 5 5 ][ 5 5 / 5 ](6*a[5] -2*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +3minD[5] ), ( 3.002962 , 6.268281999999999 )1.1694014034169613
[4 5 5 5 5 ][ 5 5 / 3 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.7896779999999994 , 6.580492 )1.1470503436970372
[4 5 5 5 5 ][ 5 5 / 3 3 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.398369 , 6.240171 )1.1407519673247477
[4 5 5 5 5 ][ 5 5 / 4 5 ](6*a[5] -4*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.6273819999999994 , 6.580492 )1.1502286818790342
[4 5 5 5 5 ][ 5 5 / 3 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.236072999999999 , 6.240171 )1.1434435835389045
[4 5 5 5 5 ][ 5 5 / 4 4 5 ](7*a[5] -5*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.073777 , 6.240171 )1.146280430408856
[4 5 5 5 5 ][ 5 5 / 5 5 ](7*a[5] -2*a[4] -3*a[3] , 5*a[5] +2*a[4] +3minD[5] ), ( 3.4493569999999996 , 6.580492 )1.1539439966418648
[4 5 5 5 5 ][ 5 5 / 3 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 4.058047999999999 , 6.240171 )1.1465635417443327
[4 5 5 5 5 ][ 5 5 / 4 5 5 ](8*a[5] -2*a[4] -4*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 3.895752 , 6.240171 )1.1495756313659835
[4 5 5 5 5 ][ 5 5 / 5 5 5 ](9*a[5] -4*a[4] -3*a[3] , 6*a[5] +1*a[4] -1*a[3] +3minD[5] ), ( 3.717727 , 6.240171 )1.1530830123168738
[4 5 5 5 5 ][ 4 5 5 / ](5*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.3432829999999996 , 6.134097 )1.1629029515673133
[4 5 5 5 5 ][ 4 5 5 / 3 ](5*a[5] -1*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.129999 , 6.446307 )1.1426164005465582
[4 5 5 5 5 ][ 4 5 5 / 3 3 ](6*a[5] -1*a[4] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.738689999999999 , 6.580492 )1.1315806211304127
[4 5 5 5 5 ][ 4 5 5 / 4 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 3.9677029999999998 , 6.446307 )1.1454829247270304
[4 5 5 5 5 ][ 4 5 5 / 3 4 ](6*a[5] -2*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.576394 , 6.580492 )1.133910489067539
[4 5 5 5 5 ][ 4 5 5 / 4 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.414097999999999 , 6.580492 )1.1363563305313686
[4 5 5 5 5 ][ 4 5 5 / 5 ](6*a[5] -1*a[4] -2*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 3.789678 , 6.446307 )1.148816642336426
[4 5 5 5 5 ][ 4 5 5 / 3 5 ](7*a[5] -2*a[4] -1*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.398369 , 6.580492 )1.1365999089078762
[4 5 5 5 5 ][ 4 5 5 / 4 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.236072999999999 , 6.580492 )1.1391848397818296
[4 5 5 5 5 ][ 4 5 5 / 5 5 ](8*a[5] -3*a[4] -2*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.058047999999999 , 6.580492 )1.1421801628659727
[4 5 5 5 5 ][ 5 5 5 / ](5*a[5] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.180987 , 6.134097 )1.1669003520826264
[4 5 5 5 5 ][ 5 5 5 / 3 ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 3.9677029999999998 , 6.446307 )1.1454829247270304
[4 5 5 5 5 ][ 5 5 5 / 3 3 ](6*a[5] -2*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.5763940000000005 , 6.580492 )1.133910489067539
[4 5 5 5 5 ][ 5 5 5 / 4 ](5*a[5] +2*a[4] -5*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 3.8054069999999998 , 6.446307 )1.1485135474181027
[4 5 5 5 5 ][ 5 5 5 / 3 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.414097999999999 , 6.580492 )1.1363563305313686
[4 5 5 5 5 ][ 5 5 5 / 4 4 ](6*a[5] +2*a[4] -6*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.251802 , 6.580492 )1.1389284000906135
[4 5 5 5 5 ][ 5 5 5 / 5 ](6*a[5] -4*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 3.627382 , 6.446307 )1.1520467157615224
[4 5 5 5 5 ][ 5 5 5 / 3 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.236072999999999 , 6.580492 )1.1391848397818296
[4 5 5 5 5 ][ 5 5 5 / 4 5 ](7*a[5] -5*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 4.073777 , 6.580492 )1.1419083829234997
[4 5 5 5 5 ][ 5 5 5 / 5 5 ](8*a[5] -2*a[4] -4*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 3.895752 , 6.580492 )1.145071067272076
[4 5 5 5 5 ][ 4 5 5 5 / ](5*a[5] +1*a[4] -3*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 3.967703 , 6.3121220000000005 )1.1472494165528515
[4 5 5 5 5 ][ 4 5 5 5 / 3 ](6*a[5] -2*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.5763940000000005 , 6.446306999999999 )1.1354671249715833
[4 5 5 5 5 ][ 4 5 5 5 / 4 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.414097999999999 , 6.446306999999999 )1.1379514925679368
[4 5 5 5 5 ][ 4 5 5 5 / 5 ](7*a[5] -1*a[4] -3*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.236072999999999 , 6.446306999999999 )1.1408247273925034
[4 5 5 5 5 ][ 5 5 5 5 / ](5*a[5] +2*a[4] -5*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 3.8054069999999998 , 6.3121220000000005 )1.15033010284684
[4 5 5 5 5 ][ 5 5 5 5 / 3 ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.414098 , 6.446306999999999 )1.1379514925679368
[4 5 5 5 5 ][ 5 5 5 5 / 4 ](6*a[5] +2*a[4] -6*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.251802 , 6.446306999999999 )1.1405642923062018
[4 5 5 5 5 ][ 5 5 5 5 / 5 ](7*a[5] -5*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 4.073777 , 6.446306999999999 )1.1435918272919785
[4 5 5 5 5 ][ 4 5 5 5 5 / ](6*a[5] +1*a[4] -4*a[3] , 6*a[5] +1*a[4] +0minD[5] ), ( 4.414097999999999 , 6.312122 )1.1395957241631056

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 4 5 5 5 5 ]( 5*a[5]-3*a[4]-1*a[3] , 5*a[5]+1*a[4]+2*a[3]+ 3*minD[5] )( 1.769851 , 6.742787999999999 )1.2062461709888195
Neighbors deg(u)Branching BVBN
[4 5 5 5 5 ]d': 3( 5*a[5]-3*a[4]-1*a[3] , 5*a[5]+1*a[4]+1*a[3]+ max(5, 2*(5-3))*minD[5] )( 1.769851 , 6.536651999999998 )1.2104982185479245