44555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 4 4 5 5 5 ]( 4*a[5]-1*a[4]-2*a[3] , 4*a[5]+2*a[4]+ 10*minD[5] )( 1.947876 , 6.598885999999999 )1.200477952512002

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[4 4 5 5 5 ][ 4 / 3 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.8458999999999994 , 6.268282 )1.150146359501494
[4 4 5 5 5 ][ 4 / 3 3 3 ](4*a[5] +2*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.6326160000000005 , 6.105986 )1.1387676041926362
[4 4 5 5 5 ][ 4 / 3 3 3 3 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 5.241306999999999 , 5.927961 )1.132332589275922
[4 4 5 5 5 ][ 4 / 3 4 ](4*a[5] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.6836039999999994 , 6.268282 )1.1533810707008614
[4 4 5 5 5 ][ 4 / 3 3 4 ](4*a[5] +1*a[4] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.470319999999999 , 6.105986 )1.141311636378454
[4 4 5 5 5 ][ 4 / 3 3 3 4 ](5*a[5] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 5.0790109999999995 , 5.927961 )1.1345176245588222
[4 4 5 5 5 ][ 4 / 4 4 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.5213079999999994 , 6.268282 )1.156815702538432
[4 4 5 5 5 ][ 4 / 3 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.308024 , 6.105986 )1.143986551904457
[4 4 5 5 5 ][ 4 / 3 3 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.916715 , 5.927961 )1.1368019949781332
[4 4 5 5 5 ][ 4 / 4 4 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.145728 , 6.105986 )1.1468035203003892
[4 4 5 5 5 ][ 4 / 3 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.754419 , 5.927961 )1.1391938126214964
[4 4 5 5 5 ][ 4 / 4 4 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.592122999999999 , 5.927961 )1.141701525077743
[4 4 5 5 5 ][ 4 / 3 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.5055789999999996 , 6.268282 )1.157160067656127
[4 4 5 5 5 ][ 4 / 3 3 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.292294999999999 , 6.105986 )1.1442530787595684
[4 4 5 5 5 ][ 4 / 3 3 3 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.900986 , 5.927961 )1.1370289653671142
[4 4 5 5 5 ][ 4 / 4 5 ](5*a[5] -1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.3432829999999996 , 6.268282 )1.1608390785836493
[4 4 5 5 5 ][ 4 / 3 4 5 ](5*a[5] -1*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.129999 , 6.105986 )1.1470846941271073
[4 4 5 5 5 ][ 4 / 3 3 4 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.73869 , 5.927961 )1.139431644387806
[4 4 5 5 5 ][ 4 / 4 4 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.9677029999999998 , 6.105986 )1.1500731939466498
[4 4 5 5 5 ][ 4 / 3 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.576393999999999 , 5.927961 )1.1419511314917643
[4 4 5 5 5 ][ 4 / 4 4 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.414097999999999 , 5.927961 )1.1445975004473745
[4 4 5 5 5 ][ 4 / 5 5 ](6*a[5] -3*a[4] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.1652579999999997 , 6.268282 )1.1651633357119666
[4 4 5 5 5 ][ 4 / 3 5 5 ](6*a[5] -2*a[4] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.951974 , 6.105986 )1.1503717489834353
[4 4 5 5 5 ][ 4 / 3 3 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.560665 , 5.927961 )1.1422017802105826
[4 4 5 5 5 ][ 4 / 4 5 5 ](6*a[5] -1*a[4] -2*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.789678 , 6.105986 )1.1535501446130478
[4 4 5 5 5 ][ 4 / 3 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.398368999999999 , 5.927961 )1.1448610308639013
[4 4 5 5 5 ][ 4 / 4 4 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.236072999999999 , 5.927961 )1.1476593884915536
[4 4 5 5 5 ][ 4 / 5 5 5 ](7*a[5] -3*a[4] -1*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.611653 , 6.105986 )1.1572577655190186
[4 4 5 5 5 ][ 4 / 3 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.220343999999999 , 5.927961 )1.147938468772295
[4 4 5 5 5 ][ 4 / 4 5 5 5 ](8*a[5] -3*a[4] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.058047999999999 , 5.927961 )1.1509042648902024
[4 4 5 5 5 ][ 4 / 5 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.8800229999999996 , 5.927961 )1.1543508255218817
[4 4 5 5 5 ][ 4 4 / 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.8459 , 6.134097000000001 )1.1520267808960067
[4 4 5 5 5 ][ 4 4 / 3 3 ](4*a[5] +2*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.6326160000000005 , 6.446306999999999 )1.1346345562751408
[4 4 5 5 5 ][ 4 4 / 3 3 3 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 5.241306999999999 , 6.105986 )1.1302246279896389
[4 4 5 5 5 ][ 4 4 / 4 ](4*a[5] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.683604 , 6.134097000000001 )1.1553164842609522
[4 4 5 5 5 ][ 4 4 / 3 4 ](4*a[5] +1*a[4] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.470319999999999 , 6.446306999999999 )1.1370768980627108
[4 4 5 5 5 ][ 4 4 / 3 3 4 ](5*a[5] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 5.0790109999999995 , 6.105986 )1.1323627010184518
[4 4 5 5 5 ][ 4 4 / 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.308024 , 6.446306999999999 )1.139644028344213
[4 4 5 5 5 ][ 4 4 / 3 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.916715 , 6.105986 )1.1345978782474546
[4 4 5 5 5 ][ 4 4 / 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.754419 , 6.105986 )1.1369377348753889
[4 4 5 5 5 ][ 4 4 / 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.505579 , 6.134097000000001 )1.1591600899209782
[4 4 5 5 5 ][ 4 4 / 3 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.292294999999999 , 6.446306999999999 )1.1398998610491033
[4 4 5 5 5 ][ 4 4 / 3 3 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.900986 , 6.105986 )1.1348198242225482
[4 4 5 5 5 ][ 4 4 / 4 5 ](5*a[5] -1*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.129999 , 6.446306999999999 )1.1426164005465582
[4 4 5 5 5 ][ 4 4 / 3 4 5 ](6*a[5] -1*a[4] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.73869 , 6.105986 )1.1371703090735832
[4 4 5 5 5 ][ 4 4 / 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.576393999999999 , 6.105986 )1.139634738760593
[4 4 5 5 5 ][ 4 4 / 5 5 ](6*a[5] -2*a[4] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.951974 , 6.446306999999999 )1.145769241617338
[4 4 5 5 5 ][ 4 4 / 3 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.560665 , 6.105986 )1.1398800345553748
[4 4 5 5 5 ][ 4 4 / 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.398369 , 6.105986 )1.1424807017766072
[4 4 5 5 5 ][ 4 4 / 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.220344 , 6.105986 )1.145489963590179
[4 4 5 5 5 ][ 5 / 3 3 ](4*a[5] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.683604 , 6.268282 )1.1533810707008614
[4 4 5 5 5 ][ 5 / 3 3 3 ](4*a[5] +1*a[4] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.47032 , 6.105986 )1.141311636378454
[4 4 5 5 5 ][ 5 / 3 3 3 3 ](5*a[5] +1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 5.0790109999999995 , 5.927961 )1.1345176245588222
[4 4 5 5 5 ][ 5 / 3 4 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.5213079999999994 , 6.268282 )1.156815702538432
[4 4 5 5 5 ][ 5 / 3 3 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.308024 , 6.105986 )1.143986551904457
[4 4 5 5 5 ][ 5 / 3 3 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.916715 , 5.927961 )1.1368019949781332
[4 4 5 5 5 ][ 5 / 4 4 ](4*a[5] +2*a[4] -4*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.359012 , 6.268282 )1.1604721318387827
[4 4 5 5 5 ][ 5 / 3 4 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.145727999999999 , 6.105986 )1.1468035203003892
[4 4 5 5 5 ][ 5 / 3 3 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.7544189999999995 , 5.927961 )1.1391938126214964
[4 4 5 5 5 ][ 5 / 4 4 4 ](4*a[5] +4*a[4] -6*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.9834319999999996 , 6.105986 )1.1497763697647454
[4 4 5 5 5 ][ 5 / 3 4 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.592123 , 5.927961 )1.141701525077743
[4 4 5 5 5 ][ 5 / 4 4 4 4 ](5*a[5] +4*a[4] -7*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.4298269999999995 , 5.927961 )1.1443351840581162
[4 4 5 5 5 ][ 5 / 3 5 ](5*a[5] -1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.3432829999999996 , 6.268282 )1.1608390785836493
[4 4 5 5 5 ][ 5 / 3 3 5 ](5*a[5] -1*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 4.129999 , 6.105986 )1.1470846941271073
[4 4 5 5 5 ][ 5 / 3 3 3 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.73869 , 5.927961 )1.139431644387806
[4 4 5 5 5 ][ 5 / 4 5 ](5*a[5] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.180987 , 6.268282 )1.1647680966648573
[4 4 5 5 5 ][ 5 / 3 4 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.9677029999999993 , 6.105986 )1.1500731939466498
[4 4 5 5 5 ][ 5 / 3 3 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.576394 , 5.927961 )1.1419511314917643
[4 4 5 5 5 ][ 5 / 4 4 5 ](5*a[5] +2*a[4] -5*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.8054069999999998 , 6.105986 )1.1532340832958767
[4 4 5 5 5 ][ 5 / 3 4 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.414098 , 5.927961 )1.1445975004473745
[4 4 5 5 5 ][ 5 / 4 4 4 5 ](6*a[5] +2*a[4] -6*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.251802 , 5.927961 )1.1473818563082245
[4 4 5 5 5 ][ 5 / 5 5 ](6*a[5] -2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +4minD[5] ), ( 3.002962 , 6.268282 )1.1694014034169613
[4 4 5 5 5 ][ 5 / 3 5 5 ](6*a[5] -1*a[4] -2*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.7896779999999994 , 6.105986 )1.1535501446130478
[4 4 5 5 5 ][ 5 / 3 3 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.398369 , 5.927961 )1.1448610308639013
[4 4 5 5 5 ][ 5 / 4 5 5 ](6*a[5] -4*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.627382 , 6.105986 )1.1569202031855892
[4 4 5 5 5 ][ 5 / 3 4 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.236072999999999 , 5.927961 )1.1476593884915536
[4 4 5 5 5 ][ 5 / 4 4 5 5 ](7*a[5] -5*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.073777 , 5.927961 )1.1506096945831377
[4 4 5 5 5 ][ 5 / 5 5 5 ](7*a[5] -2*a[4] -3*a[3] , 4*a[5] +3*a[4] -1*a[3] +4minD[5] ), ( 3.449357 , 6.105986 )1.1608614079959814
[4 4 5 5 5 ][ 5 / 3 5 5 5 ](8*a[5] -3*a[4] -2*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 4.058047999999999 , 5.927961 )1.1509042648902024
[4 4 5 5 5 ][ 5 / 4 5 5 5 ](8*a[5] -2*a[4] -4*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.895752 , 5.927961 )1.1540376593745936
[4 4 5 5 5 ][ 5 / 5 5 5 5 ](9*a[5] -4*a[4] -3*a[3] , 5*a[5] +1*a[4] +4minD[5] ), ( 3.717727 , 5.927961 )1.1576875445892345
[4 4 5 5 5 ][ 4 5 / 3 ](4*a[5] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.6836039999999994 , 6.134097000000001 )1.1553164842609522
[4 4 5 5 5 ][ 4 5 / 3 3 ](4*a[5] +1*a[4] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.47032 , 6.446306999999999 )1.1370768980627108
[4 4 5 5 5 ][ 4 5 / 3 3 3 ](5*a[5] +1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 5.079011 , 6.105986 )1.1323627010184518
[4 4 5 5 5 ][ 4 5 / 4 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.5213079999999994 , 6.134097000000001 )1.1588098912478828
[4 4 5 5 5 ][ 4 5 / 3 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.308024 , 6.446306999999999 )1.139644028344213
[4 4 5 5 5 ][ 4 5 / 3 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.916715 , 6.105986 )1.1345978782474546
[4 4 5 5 5 ][ 4 5 / 4 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.145728 , 6.446306999999999 )1.1423469019865087
[4 4 5 5 5 ][ 4 5 / 3 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.7544189999999995 , 6.105986 )1.1369377348753889
[4 4 5 5 5 ][ 4 5 / 4 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.592123 , 6.105986 )1.139390631826315
[4 4 5 5 5 ][ 4 5 / 5 ](5*a[5] -1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.3432829999999996 , 6.134097000000001 )1.1629029515673133
[4 4 5 5 5 ][ 4 5 / 3 5 ](5*a[5] -1*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.129999 , 6.446306999999999 )1.1426164005465582
[4 4 5 5 5 ][ 4 5 / 3 3 5 ](6*a[5] -1*a[4] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.738689999999999 , 6.105986 )1.1371703090735832
[4 4 5 5 5 ][ 4 5 / 4 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.9677029999999998 , 6.446306999999999 )1.1454829247270304
[4 4 5 5 5 ][ 4 5 / 3 4 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.576394 , 6.105986 )1.139634738760593
[4 4 5 5 5 ][ 4 5 / 4 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.414097999999999 , 6.105986 )1.1422229317857888
[4 4 5 5 5 ][ 4 5 / 5 5 ](6*a[5] -1*a[4] -2*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.789678 , 6.446306999999999 )1.148816642336426
[4 4 5 5 5 ][ 4 5 / 3 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.398369 , 6.105986 )1.1424807017766072
[4 4 5 5 5 ][ 4 5 / 4 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.236072999999999 , 6.105986 )1.1452170754671067
[4 4 5 5 5 ][ 4 5 / 5 5 5 ](8*a[5] -3*a[4] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.058047999999999 , 6.105986 )1.1483893357299728
[4 4 5 5 5 ][ 4 4 5 / ](4*a[5] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.683604 , 5.999912 )1.1573154022231456
[4 4 5 5 5 ][ 4 4 5 / 3 ](4*a[5] +1*a[4] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.47032 , 6.312122 )1.1387071628624843
[4 4 5 5 5 ][ 4 4 5 / 3 3 ](5*a[5] +1*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 5.0790109999999995 , 6.446307 )1.1284831134298254
[4 4 5 5 5 ][ 4 4 5 / 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.308024 , 6.312122 )1.1413155184190797
[4 4 5 5 5 ][ 4 4 5 / 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.916715 , 6.446307 )1.1306302921587348
[4 4 5 5 5 ][ 4 4 5 / 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.7544189999999995 , 6.446307 )1.132877599678204
[4 4 5 5 5 ][ 4 4 5 / 5 ](5*a[5] -1*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.129999 , 6.312122 )1.1443361206884262
[4 4 5 5 5 ][ 4 4 5 / 3 5 ](6*a[5] -1*a[4] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.738689999999999 , 6.446307 )1.1331010158335608
[4 4 5 5 5 ][ 4 4 5 / 4 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.576394 , 6.446307 )1.1354671249715833
[4 4 5 5 5 ][ 4 4 5 / 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.398369 , 6.446307 )1.1381989984764733
[4 4 5 5 5 ][ 5 5 / 3 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.521308 , 6.134097000000001 )1.1588098912478828
[4 4 5 5 5 ][ 5 5 / 3 3 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.308024 , 6.446306999999999 )1.139644028344213
[4 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] +3minD[5] ), ( 4.916715 , 6.105986 )1.1345978782474546
[4 4 5 5 5 ][ 5 5 / 4 ](4*a[5] +2*a[4] -4*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.3590120000000003 , 6.134097000000001 )1.1625293824704301
[4 4 5 5 5 ][ 5 5 / 3 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 4.145728 , 6.446306999999999 )1.1423469019865087
[4 4 5 5 5 ][ 5 5 / 3 3 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.754419 , 6.105986 )1.1369377348753889
[4 4 5 5 5 ][ 5 5 / 4 4 ](4*a[5] +4*a[4] -6*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.983431999999999 , 6.446306999999999 )1.145198157959134
[4 4 5 5 5 ][ 5 5 / 3 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.592122999999999 , 6.105986 )1.139390631826315
[4 4 5 5 5 ][ 5 5 / 4 4 4 ](5*a[5] +4*a[4] -7*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.4298269999999995 , 6.105986 )1.1419663663005484
[4 4 5 5 5 ][ 5 5 / 5 ](5*a[5] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.1809870000000005 , 6.134097000000001 )1.1669003520826264
[4 4 5 5 5 ][ 5 5 / 3 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.9677029999999998 , 6.446306999999999 )1.1454829247270304
[4 4 5 5 5 ][ 5 5 / 3 3 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.5763940000000005 , 6.105986 )1.139634738760593
[4 4 5 5 5 ][ 5 5 / 4 5 ](5*a[5] +2*a[4] -5*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.8054069999999993 , 6.446306999999999 )1.1485135474181027
[4 4 5 5 5 ][ 5 5 / 3 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.414097999999999 , 6.105986 )1.1422229317857888
[4 4 5 5 5 ][ 5 5 / 4 4 5 ](6*a[5] +2*a[4] -6*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.251802 , 6.105986 )1.1449455675030455
[4 4 5 5 5 ][ 5 5 / 5 5 ](6*a[5] -4*a[3] , 4*a[5] +3*a[4] +3minD[5] ), ( 3.6273819999999994 , 6.446306999999999 )1.1520467157615224
[4 4 5 5 5 ][ 5 5 / 3 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.236072999999999 , 6.105986 )1.1452170754671067
[4 4 5 5 5 ][ 5 5 / 4 5 5 ](7*a[5] -5*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 4.073777 , 6.105986 )1.1481013937649664
[4 4 5 5 5 ][ 5 5 / 5 5 5 ](8*a[5] -2*a[4] -4*a[3] , 5*a[5] +2*a[4] -1*a[3] +3minD[5] ), ( 3.8957520000000003 , 6.105986 )1.151452288849999
[4 4 5 5 5 ][ 4 5 5 / ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.5213079999999994 , 5.999912 )1.1608699223146743
[4 4 5 5 5 ][ 4 5 5 / 3 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.308024 , 6.312122 )1.1413155184190797
[4 4 5 5 5 ][ 4 5 5 / 3 3 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.916715 , 6.446307 )1.1306302921587348
[4 4 5 5 5 ][ 4 5 5 / 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.145728 , 6.312122 )1.1440622216724479
[4 4 5 5 5 ][ 4 5 5 / 3 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.754419 , 6.446307 )1.132877599678204
[4 4 5 5 5 ][ 4 5 5 / 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.592122999999999 , 6.446307 )1.1352327887439297
[4 4 5 5 5 ][ 4 5 5 / 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 3.9677029999999998 , 6.312122 )1.1472494165528515
[4 4 5 5 5 ][ 4 5 5 / 3 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.5763940000000005 , 6.446307 )1.1354671249715833
[4 4 5 5 5 ][ 4 5 5 / 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.414097999999999 , 6.446307 )1.1379514925679368
[4 4 5 5 5 ][ 4 5 5 / 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.236072999999999 , 6.446307 )1.1408247273925034
[4 4 5 5 5 ][ 4 4 5 5 / ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +3*a[4] +1minD[5] ), ( 4.308024 , 6.177937 )1.1430394210328128
[4 4 5 5 5 ][ 4 4 5 5 / 3 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.916715 , 6.3121220000000005 )1.132157911625068
[4 4 5 5 5 ][ 4 4 5 5 / 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.754419 , 6.3121220000000005 )1.1344407573885276
[4 4 5 5 5 ][ 4 4 5 5 / 5 ](6*a[5] -2*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.5763940000000005 , 6.3121220000000005 )1.137071657635568
[4 4 5 5 5 ][ 5 5 5 / ](4*a[5] +2*a[4] -4*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.359012 , 5.999912 )1.1646550587703464
[4 4 5 5 5 ][ 5 5 5 / 3 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 4.145728 , 6.312122 )1.1440622216724479
[4 4 5 5 5 ][ 5 5 5 / 3 3 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.7544189999999995 , 6.446307 )1.132877599678204
[4 4 5 5 5 ][ 5 5 5 / 4 ](4*a[5] +4*a[4] -6*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 3.9834319999999996 , 6.312122 )1.1469600071809696
[4 4 5 5 5 ][ 5 5 5 / 3 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.592123 , 6.446307 )1.1352327887439297
[4 4 5 5 5 ][ 5 5 5 / 4 4 ](5*a[5] +4*a[4] -7*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.4298269999999995 , 6.446307 )1.137705328687633
[4 4 5 5 5 ][ 5 5 5 / 5 ](5*a[5] +2*a[4] -5*a[3] , 4*a[5] +3*a[4] +2minD[5] ), ( 3.8054069999999998 , 6.312122 )1.15033010284684
[4 4 5 5 5 ][ 5 5 5 / 3 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.414098 , 6.446307 )1.1379514925679368
[4 4 5 5 5 ][ 5 5 5 / 4 5 ](6*a[5] +2*a[4] -6*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.251802 , 6.446307 )1.1405642923062018
[4 4 5 5 5 ][ 5 5 5 / 5 5 ](7*a[5] -5*a[3] , 5*a[5] +2*a[4] +2minD[5] ), ( 4.073777 , 6.446307 )1.1435918272919785
[4 4 5 5 5 ][ 4 5 5 5 / ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +3*a[4] +1minD[5] ), ( 4.145728 , 6.177937 )1.145831530580236
[4 4 5 5 5 ][ 4 5 5 5 / 3 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.754419 , 6.3121220000000005 )1.1344407573885276
[4 4 5 5 5 ][ 4 5 5 5 / 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.592123 , 6.3121220000000005 )1.1368334233532271
[4 4 5 5 5 ][ 4 5 5 5 / 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +2*a[4] +1minD[5] ), ( 4.414098 , 6.3121220000000005 )1.1395957241631056
[4 4 5 5 5 ][ 4 4 5 5 5 / ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +2*a[4] +0minD[5] ), ( 4.754419 , 6.177937 )1.136052542820138

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 4 4 5 5 5 ]( 4*a[5]-1*a[4]-2*a[3] , 4*a[5]+2*a[4]+2*a[3]+ 3*minD[5] )( 1.947876 , 6.608603 )1.200287115111969
Neighbors deg(u)Branching BVBN
[4 4 5 5 5 ]d': 3( 4*a[5]-1*a[4]-2*a[3] , 4*a[5]+2*a[4]+1*a[3]+ max(5, 2*(5-3))*minD[5] )( 1.947876 , 6.402467 )1.204433193225942