34555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 4 5 5 5 ]( 4*a[5]-2*a[4] , 4*a[5]+1*a[4]+1*a[3]+ 10*minD[5] )( 2.110172 , 6.286675999999999 )1.199468800235644

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[3 4 5 5 5 ][ 3 / 3 3 ](4*a[5] -2*a[4] +3*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.53369 , 5.956072 )1.1612771489251454
[3 4 5 5 5 ][ 3 / 3 3 3 ](4*a[5] -1*a[4] +3*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.320406 , 5.793776 )1.1480740530734999
[3 4 5 5 5 ][ 3 / 3 3 3 3 ](5*a[5] -2*a[4] +4*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.9290970000000005 , 5.615751 )1.1407206321592862
[3 4 5 5 5 ][ 3 / 3 4 ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.3713939999999996 , 5.956072 )1.1650655930358904
[3 4 5 5 5 ][ 3 / 3 3 4 ](4*a[5] +1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.158109999999999 , 5.793776 )1.1509939603952584
[3 4 5 5 5 ][ 3 / 3 3 3 4 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.766801000000001 , 5.615751 )1.1432009582676719
[3 4 5 5 5 ][ 3 / 4 4 ](4*a[5] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.209098 , 5.956072 )1.1691108133727497
[3 4 5 5 5 ][ 3 / 3 4 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.9958139999999993 , 5.793776 )1.1540754462724159
[3 4 5 5 5 ][ 3 / 3 3 4 4 ](5*a[5] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.604505 , 5.615751 )1.145802106809072
[3 4 5 5 5 ][ 3 / 4 4 4 ](4*a[5] +2*a[4] -3*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.8335179999999998 , 5.793776 )1.1573345625097826
[3 4 5 5 5 ][ 3 / 3 4 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.442209 , 5.615751 )1.148533989890813
[3 4 5 5 5 ][ 3 / 4 4 4 4 ](5*a[5] +2*a[4] -4*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.279913 , 5.615751 )1.1514083518683877
[3 4 5 5 5 ][ 3 / 3 5 ](5*a[5] -3*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.1933689999999997 , 5.956072 )1.1695174842251013
[3 4 5 5 5 ][ 3 / 3 3 5 ](5*a[5] -2*a[4] +2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.9800849999999994 , 5.793776 )1.1543832317208895
[3 4 5 5 5 ][ 3 / 3 3 3 5 ](6*a[5] -3*a[4] +3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.588775999999999 , 5.615751 )1.1460608686629241
[3 4 5 5 5 ][ 3 / 4 5 ](5*a[5] -2*a[4] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.0310729999999997 , 5.956072 )1.1738799847888046
[3 4 5 5 5 ][ 3 / 3 4 5 ](5*a[5] -1*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.8177889999999994 , 5.793776 )1.1576603844774074
[3 4 5 5 5 ][ 3 / 3 3 4 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.42648 , 5.615751 )1.1488061013232977
[3 4 5 5 5 ][ 3 / 4 4 5 ](5*a[5] -2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.6554929999999994 , 5.793776 )1.1611347317662426
[3 4 5 5 5 ][ 3 / 3 4 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.264184 , 5.615751 )1.151694950915444
[3 4 5 5 5 ][ 3 / 4 4 4 5 ](6*a[5] -3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.101888 , 5.615751 )1.1547404558595356
[3 4 5 5 5 ][ 3 / 5 5 ](6*a[5] -4*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 2.853048 , 5.956072 )1.1790439150078895
[3 4 5 5 5 ][ 3 / 3 5 5 ](6*a[5] -3*a[4] +1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.6397639999999996 , 5.793776 )1.1614826383876942
[3 4 5 5 5 ][ 3 / 3 3 5 5 ](7*a[5] -4*a[4] +2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.248455 , 5.615751 )1.1519831164583838
[3 4 5 5 5 ][ 3 / 4 5 5 ](6*a[5] -2*a[4] -1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.4774679999999996 , 5.793776 )1.165197484783767
[3 4 5 5 5 ][ 3 / 3 4 5 5 ](7*a[5] -3*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.086158999999999 , 5.615751 )1.1550444611005903
[3 4 5 5 5 ][ 3 / 4 4 5 5 ](7*a[5] -2*a[4] -2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 3.923863 , 5.615751 )1.158278832379942
[3 4 5 5 5 ][ 3 / 5 5 5 ](7*a[5] -4*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.2994429999999997 , 5.793776 )1.1695549871637816
[3 4 5 5 5 ][ 3 / 3 5 5 5 ](8*a[5] -5*a[4] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 3.9081339999999996 , 5.615751 )1.1586021458966351
[3 4 5 5 5 ][ 3 / 4 5 5 5 ](8*a[5] -4*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 3.7458379999999996 , 5.615751 )1.1620462583624245
[3 4 5 5 5 ][ 3 / 5 5 5 5 ](9*a[5] -6*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 3.5678129999999997 , 5.615751 )1.1660683956302293
[3 4 5 5 5 ][ 4 / 3 3 ](4*a[5] -2*a[4] +4*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 4.008196 , 5.956072 )1.151440276968025
[3 4 5 5 5 ][ 4 / 3 3 3 ](4*a[5] -1*a[4] +4*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.794912 , 5.793776 )1.1403419540860753
[3 4 5 5 5 ][ 4 / 3 3 3 3 ](5*a[5] -2*a[4] +5*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.403602999999999 , 5.615751 )1.134079728489518
[3 4 5 5 5 ][ 4 / 3 4 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.8458999999999994 , 5.956072 )1.1546169597056464
[3 4 5 5 5 ][ 4 / 3 3 4 ](4*a[5] +2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.6326160000000005 , 5.793776 )1.142862514598949
[3 4 5 5 5 ][ 4 / 3 3 3 4 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.241306999999999 , 5.615751 )1.1362559733603317
[3 4 5 5 5 ][ 4 / 4 4 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.6836039999999994 , 5.956072 )1.157982713377327
[3 4 5 5 5 ][ 4 / 3 4 4 ](4*a[5] +1*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.470319999999999 , 5.793776 )1.1455085778895862
[3 4 5 5 5 ][ 4 / 3 3 4 4 ](5*a[5] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.0790109999999995 , 5.615751 )1.1385289678499493
[3 4 5 5 5 ][ 4 / 4 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.308024 , 5.793776 )1.1482914003957814
[3 4 5 5 5 ][ 4 / 3 4 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.916715 , 5.615751 )1.140905875899029
[3 4 5 5 5 ][ 4 / 4 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.754419 , 5.615751 )1.1433951125855193
[3 4 5 5 5 ][ 4 / 3 5 ](5*a[5] -3*a[4] +3*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.6678749999999996 , 5.956072 )1.1583197765107482
[3 4 5 5 5 ][ 4 / 3 3 5 ](5*a[5] -2*a[4] +3*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.454591000000001 , 5.793776 )1.145772215057112
[3 4 5 5 5 ][ 4 / 3 3 3 5 ](6*a[5] -3*a[4] +4*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.063281999999999 , 5.615751 )1.1387546188132982
[3 4 5 5 5 ][ 4 / 4 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.5055789999999996 , 5.956072 )1.1619162055686352
[3 4 5 5 5 ][ 4 / 3 4 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.292294999999999 , 5.793776 )1.1485687437645746
[3 4 5 5 5 ][ 4 / 3 3 4 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.900986 , 5.615751 )1.141142094609848
[3 4 5 5 5 ][ 4 / 4 4 5 ](5*a[5] -1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.129999 , 5.793776 )1.1515156714824435
[3 4 5 5 5 ][ 4 / 3 4 4 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.73869 , 5.615751 )1.143642653661242
[3 4 5 5 5 ][ 4 / 4 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.5763940000000005 , 5.615751 )1.1462655501727097
[3 4 5 5 5 ][ 4 / 5 5 ](6*a[5] -4*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.3275539999999997 , 5.956072 )1.166131776546255
[3 4 5 5 5 ][ 4 / 3 5 5 ](6*a[5] -3*a[4] +2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.114269999999999 , 5.793776 )1.151809757008137
[3 4 5 5 5 ][ 4 / 3 3 5 5 ](7*a[5] -4*a[4] +3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.722961 , 5.615751 )1.1438912378459285
[3 4 5 5 5 ][ 4 / 4 5 5 ](6*a[5] -2*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.951974 , 5.793776 )1.1549375958290886
[3 4 5 5 5 ][ 4 / 3 4 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.560665 , 5.615751 )1.1465267152593108
[3 4 5 5 5 ][ 4 / 4 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.398368999999999 , 5.615751 )1.149295912040571
[3 4 5 5 5 ][ 4 / 5 5 5 ](7*a[5] -4*a[4] +1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.773949 , 5.793776 )1.158578623190983
[3 4 5 5 5 ][ 4 / 3 5 5 5 ](8*a[5] -5*a[4] +2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.382639999999999 , 5.615751 )1.1495718504675485
[3 4 5 5 5 ][ 4 / 4 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.220343999999999 , 5.615751 )1.1525016079653136
[3 4 5 5 5 ][ 4 / 5 5 5 5 ](9*a[5] -6*a[4] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.042318999999999 , 5.615751 )1.155900414298532
[3 4 5 5 5 ][ 3 4 / 3 ](4*a[5] -2*a[4] +3*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.5336899999999996 , 5.821887 )1.1634250287038508
[3 4 5 5 5 ][ 3 4 / 3 3 ](4*a[5] -1*a[4] +3*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.320406 , 6.134097000000001 )1.143406333791158
[3 4 5 5 5 ][ 3 4 / 3 3 3 ](5*a[5] -2*a[4] +4*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.929096999999999 , 5.793775999999999 )1.1383460398491299
[3 4 5 5 5 ][ 3 4 / 4 ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.3713939999999996 , 5.821887 )1.1672820961742625
[3 4 5 5 5 ][ 3 4 / 3 4 ](4*a[5] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.15811 , 6.134097000000001 )1.146202430939921
[3 4 5 5 5 ][ 3 4 / 3 3 4 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.766800999999999 , 5.793775999999999 )1.14076996255437
[3 4 5 5 5 ][ 3 4 / 4 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.9958139999999998 , 6.134097000000001 )1.149152325279142
[3 4 5 5 5 ][ 3 4 / 3 4 4 ](5*a[5] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.604505 , 5.793775999999999 )1.1433114280400793
[3 4 5 5 5 ][ 3 4 / 4 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.442209 , 5.793775999999999 )1.1459805507534706
[3 4 5 5 5 ][ 3 4 / 5 ](5*a[5] -3*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.1933689999999997 , 5.821887 )1.1718154664100071
[3 4 5 5 5 ][ 3 4 / 3 5 ](5*a[5] -2*a[4] +2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.980085 , 6.134097000000001 )1.149446937267259
[3 4 5 5 5 ][ 3 4 / 3 3 5 ](6*a[5] -3*a[4] +3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.588775999999999 , 5.793775999999999 )1.1435643891667806
[3 4 5 5 5 ][ 3 4 / 4 5 ](5*a[5] -1*a[4] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.817789 , 6.134097000000001 )1.1525828425856737
[3 4 5 5 5 ][ 3 4 / 3 4 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.42648 , 5.793775999999999 )1.1462464413834388
[3 4 5 5 5 ][ 3 4 / 4 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.264183999999999 , 5.793775999999999 )1.1490681107055374
[3 4 5 5 5 ][ 3 4 / 5 5 ](6*a[5] -3*a[4] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.639764 , 6.134097000000001 )1.1562391347690766
[3 4 5 5 5 ][ 3 4 / 3 5 5 ](7*a[5] -4*a[4] +2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.248455 , 5.793775999999999 )1.149349451375444
[3 4 5 5 5 ][ 3 4 / 4 5 5 ](7*a[5] -3*a[4] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.086158999999999 , 5.793775999999999 )1.1523391730724943
[3 4 5 5 5 ][ 3 4 / 5 5 5 ](8*a[5] -5*a[4] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 3.9081339999999996 , 5.793775999999999 )1.155812978268557
[3 4 5 5 5 ][ 5 / 3 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.8459 , 5.956072 )1.1546169597056464
[3 4 5 5 5 ][ 5 / 3 3 3 ](4*a[5] +2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.6326160000000005 , 5.793776 )1.142862514598949
[3 4 5 5 5 ][ 5 / 3 3 3 3 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.241307 , 5.615751 )1.1362559733603317
[3 4 5 5 5 ][ 5 / 3 4 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.6836039999999994 , 5.956072 )1.157982713377327
[3 4 5 5 5 ][ 5 / 3 3 4 ](4*a[5] +1*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.470319999999999 , 5.793776 )1.1455085778895862
[3 4 5 5 5 ][ 5 / 3 3 3 4 ](5*a[5] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 5.079011 , 5.615751 )1.1385289678499493
[3 4 5 5 5 ][ 5 / 4 4 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.521308 , 5.956072 )1.1615577454036947
[3 4 5 5 5 ][ 5 / 3 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.308024 , 5.793776 )1.1482914003957814
[3 4 5 5 5 ][ 5 / 3 3 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.916715 , 5.615751 )1.140905875899029
[3 4 5 5 5 ][ 5 / 4 4 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.145728 , 5.793776 )1.151223157999759
[3 4 5 5 5 ][ 5 / 3 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.754419 , 5.615751 )1.1433951125855193
[3 4 5 5 5 ][ 5 / 4 4 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.592123 , 5.615751 )1.1460057565265374
[3 4 5 5 5 ][ 5 / 3 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.5055789999999996 , 5.956072 )1.1619162055686352
[3 4 5 5 5 ][ 5 / 3 3 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.292294999999999 , 5.793776 )1.1485687437645746
[3 4 5 5 5 ][ 5 / 3 3 3 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.9009860000000005 , 5.615751 )1.141142094609848
[3 4 5 5 5 ][ 5 / 4 5 ](5*a[5] -1*a[4] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.3432829999999996 , 5.956072 )1.1657470583105745
[3 4 5 5 5 ][ 5 / 3 4 5 ](5*a[5] -1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 4.129999 , 5.793776 )1.1515156714824435
[3 4 5 5 5 ][ 5 / 3 3 4 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.73869 , 5.615751 )1.143642653661242
[3 4 5 5 5 ][ 5 / 4 4 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.9677029999999993 , 5.793776 )1.1546268129978048
[3 4 5 5 5 ][ 5 / 3 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.576394 , 5.615751 )1.1462655501727097
[3 4 5 5 5 ][ 5 / 4 4 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.414098 , 5.615751 )1.149021365139249
[3 4 5 5 5 ][ 5 / 5 5 ](6*a[5] -3*a[4] , 4*a[5] +1*a[4] +2*a[3] +4minD[5] ), ( 3.1652579999999997 , 5.956072 )1.170251347947999
[3 4 5 5 5 ][ 5 / 3 5 5 ](6*a[5] -2*a[4] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.9519739999999994 , 5.793776 )1.1549375958290886
[3 4 5 5 5 ][ 5 / 3 3 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.560665 , 5.615751 )1.1465267152593108
[3 4 5 5 5 ][ 5 / 4 5 5 ](6*a[5] -1*a[4] -2*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.7896779999999994 , 5.793776 )1.1582474864861936
[3 4 5 5 5 ][ 5 / 3 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.398369 , 5.615751 )1.149295912040571
[3 4 5 5 5 ][ 5 / 4 4 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.236072999999999 , 5.615751 )1.152210809077549
[3 4 5 5 5 ][ 5 / 5 5 5 ](7*a[5] -3*a[4] -1*a[3] , 4*a[5] +2*a[4] +4minD[5] ), ( 3.6116529999999996 , 5.793776 )1.1621096857550959
[3 4 5 5 5 ][ 5 / 3 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.220343999999999 , 5.615751 )1.1525016079653136
[3 4 5 5 5 ][ 5 / 4 5 5 5 ](8*a[5] -3*a[4] -2*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 4.058047999999999 , 5.615751 )1.1555918193941448
[3 4 5 5 5 ][ 5 / 5 5 5 5 ](9*a[5] -5*a[4] -1*a[3] , 5*a[5] +1*a[3] +4minD[5] ), ( 3.8800229999999996 , 5.615751 )1.1591844371560778
[3 4 5 5 5 ][ 3 5 / 3 ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.3713939999999996 , 5.821887 )1.1672820961742625
[3 4 5 5 5 ][ 3 5 / 3 3 ](4*a[5] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.158109999999999 , 6.134097000000001 )1.146202430939921
[3 4 5 5 5 ][ 3 5 / 3 3 3 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.766801 , 5.793775999999999 )1.14076996255437
[3 4 5 5 5 ][ 3 5 / 4 ](4*a[5] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.2090979999999996 , 5.821887 )1.171401143764895
[3 4 5 5 5 ][ 3 5 / 3 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.9958139999999993 , 6.134097000000001 )1.149152325279142
[3 4 5 5 5 ][ 3 5 / 3 3 4 ](5*a[5] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.6045050000000005 , 5.793775999999999 )1.1433114280400793
[3 4 5 5 5 ][ 3 5 / 4 4 ](4*a[5] +2*a[4] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.8335179999999993 , 6.134097000000001 )1.15227110968591
[3 4 5 5 5 ][ 3 5 / 3 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.442209 , 5.793775999999999 )1.1459805507534706
[3 4 5 5 5 ][ 3 5 / 4 4 4 ](5*a[5] +2*a[4] -4*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.279913 , 5.793775999999999 )1.1487881663126949
[3 4 5 5 5 ][ 3 5 / 5 ](5*a[5] -2*a[4] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.0310729999999997 , 5.821887 )1.176258326756388
[3 4 5 5 5 ][ 3 5 / 3 5 ](5*a[5] -1*a[4] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.8177889999999994 , 6.134097000000001 )1.1525828425856737
[3 4 5 5 5 ][ 3 5 / 3 3 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.42648 , 5.793775999999999 )1.1462464413834388
[3 4 5 5 5 ][ 3 5 / 4 5 ](5*a[5] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.6554929999999994 , 6.134097000000001 )1.155906466826559
[3 4 5 5 5 ][ 3 5 / 3 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.264183999999999 , 5.793775999999999 )1.1490681107055374
[3 4 5 5 5 ][ 3 5 / 4 4 5 ](6*a[5] -3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.101888 , 5.793775999999999 )1.152042285731786
[3 4 5 5 5 ][ 3 5 / 5 5 ](6*a[5] -2*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.4774679999999996 , 6.134097000000001 )1.1597913660565369
[3 4 5 5 5 ][ 3 5 / 3 5 5 ](7*a[5] -3*a[4] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.086158999999999 , 5.793775999999999 )1.1523391730724943
[3 4 5 5 5 ][ 3 5 / 4 5 5 ](7*a[5] -2*a[4] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 3.9238629999999994 , 5.793775999999999 )1.1554974267320273
[3 4 5 5 5 ][ 3 5 / 5 5 5 ](8*a[5] -4*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 3.7458379999999996 , 5.793775999999999 )1.159175146643061
[3 4 5 5 5 ][ 4 5 / 3 ](4*a[5] -1*a[4] +2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.8458999999999994 , 5.821887 )1.1566455106055038
[3 4 5 5 5 ][ 4 5 / 3 3 ](4*a[5] +2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.632616 , 6.134097000000001 )1.1384137039984696
[3 4 5 5 5 ][ 4 5 / 3 3 3 ](5*a[5] -1*a[4] +3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 5.241307 , 5.793775999999999 )1.1339820724048066
[3 4 5 5 5 ][ 4 5 / 4 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.6836039999999994 , 5.821887 )1.1600714053236754
[3 4 5 5 5 ][ 4 5 / 3 4 ](4*a[5] +1*a[4] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.47032 , 6.134097000000001 )1.1409490149861115
[3 4 5 5 5 ][ 4 5 / 3 3 4 ](5*a[5] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 5.0790109999999995 , 5.793775999999999 )1.1362038007921833
[3 4 5 5 5 ][ 4 5 / 4 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.308024 , 6.134097000000001 )1.1436145894631897
[3 4 5 5 5 ][ 4 5 / 3 4 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.916714999999999 , 5.793775999999999 )1.1385271135550301
[3 4 5 5 5 ][ 4 5 / 4 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.7544189999999995 , 5.793775999999999 )1.1409595674896065
[3 4 5 5 5 ][ 4 5 / 5 ](5*a[5] -2*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.5055789999999996 , 5.821887 )1.1640754981741173
[3 4 5 5 5 ][ 4 5 / 3 5 ](5*a[5] -1*a[4] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.292295 , 6.134097000000001 )1.1438801631015614
[3 4 5 5 5 ][ 4 5 / 3 3 5 ](6*a[5] -2*a[4] +2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.900985999999999 , 5.793775999999999 )1.138757865130369
[3 4 5 5 5 ][ 4 5 / 4 5 ](5*a[5] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.129999 , 6.134097000000001 )1.1467019364502784
[3 4 5 5 5 ][ 4 5 / 3 4 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.738689999999999 , 5.793775999999999 )1.1412015526997807
[3 4 5 5 5 ][ 4 5 / 4 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.576394 , 5.793775999999999 )1.1437644370535094
[3 4 5 5 5 ][ 4 5 / 5 5 ](6*a[5] -2*a[4] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.951974 , 6.134097000000001 )1.1499774935775986
[3 4 5 5 5 ][ 4 5 / 3 5 5 ](7*a[5] -3*a[4] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.560664999999999 , 5.793775999999999 )1.1440194709238891
[3 4 5 5 5 ][ 4 5 / 4 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.398369 , 5.793775999999999 )1.1467248225989575
[3 4 5 5 5 ][ 4 5 / 5 5 5 ](8*a[5] -4*a[4] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.220343999999999 , 5.793775999999999 )1.1498559597267055
[3 4 5 5 5 ][ 3 4 5 / ](4*a[5] -1*a[4] +1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.3713939999999996 , 5.687702 )1.1695756963389203
[3 4 5 5 5 ][ 3 4 5 / 3 ](4*a[5] +1*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.15811 , 5.999912 )1.1480443569012302
[3 4 5 5 5 ][ 3 4 5 / 3 3 ](5*a[5] -1*a[4] +2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.766800999999999 , 6.134097 )1.1364083631588426
[3 4 5 5 5 ][ 3 4 5 / 4 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.9958139999999998 , 5.999912 )1.1510446571722428
[3 4 5 5 5 ][ 3 4 5 / 3 4 ](5*a[5] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.604505 , 6.134097 )1.1388439765826228
[3 4 5 5 5 ][ 3 4 5 / 4 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.442208999999999 , 6.134097 )1.1414010853001448
[3 4 5 5 5 ][ 3 4 5 / 5 ](5*a[5] -1*a[4] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.817789 , 5.999912 )1.1545343258103882
[3 4 5 5 5 ][ 3 4 5 / 3 5 ](6*a[5] -2*a[4] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.426479999999999 , 6.134097 )1.1416558430666344
[3 4 5 5 5 ][ 3 4 5 / 4 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.264183999999999 , 6.134097 )1.1443584441645598
[3 4 5 5 5 ][ 3 4 5 / 5 5 ](7*a[5] -3*a[4] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.086158999999999 , 6.134097 )1.1474903102027791
[3 4 5 5 5 ][ 5 5 / 3 ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.683604 , 5.821887 )1.1600714053236754
[3 4 5 5 5 ][ 5 5 / 3 3 ](4*a[5] +1*a[4] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.470319999999999 , 6.134097000000001 )1.1409490149861115
[3 4 5 5 5 ][ 5 5 / 3 3 3 ](5*a[5] +1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 5.079011000000001 , 5.793775999999999 )1.1362038007921833
[3 4 5 5 5 ][ 5 5 / 4 ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.521308 , 5.821887 )1.1637107001255949
[3 4 5 5 5 ][ 5 5 / 3 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.308024 , 6.134097000000001 )1.1436145894631897
[3 4 5 5 5 ][ 5 5 / 3 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.916715 , 5.793775999999999 )1.1385271135550301
[3 4 5 5 5 ][ 5 5 / 4 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.145728 , 6.134097000000001 )1.146421890260473
[3 4 5 5 5 ][ 5 5 / 3 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.754419 , 5.793775999999999 )1.1409595674896065
[3 4 5 5 5 ][ 5 5 / 4 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.592123000000001 , 5.793775999999999 )1.1435104521453137
[3 4 5 5 5 ][ 5 5 / 5 ](5*a[5] -1*a[4] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +3minD[5] ), ( 3.343283 , 5.821887 )1.167975914818567
[3 4 5 5 5 ][ 5 5 / 3 5 ](5*a[5] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 4.129999 , 6.134097000000001 )1.1467019364502784
[3 4 5 5 5 ][ 5 5 / 3 3 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.73869 , 5.793775999999999 )1.1412015526997807
[3 4 5 5 5 ][ 5 5 / 4 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.9677029999999993 , 6.134097000000001 )1.1496799309529364
[3 4 5 5 5 ][ 5 5 / 3 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.5763940000000005 , 5.793775999999999 )1.1437644370535094
[3 4 5 5 5 ][ 5 5 / 4 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.414097999999999 , 5.793775999999999 )1.1464565164283798
[3 4 5 5 5 ][ 5 5 / 5 5 ](6*a[5] -1*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +3minD[5] ), ( 3.7896779999999994 , 6.134097000000001 )1.1531446723951773
[3 4 5 5 5 ][ 5 5 / 3 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.398369000000001 , 5.793775999999999 )1.1467248225989575
[3 4 5 5 5 ][ 5 5 / 4 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.236072999999999 , 5.793775999999999 )1.1495720080044867
[3 4 5 5 5 ][ 5 5 / 5 5 5 ](8*a[5] -3*a[4] -2*a[3] , 5*a[5] +1*a[4] +3minD[5] ), ( 4.058047999999999 , 5.793775999999999 )1.1528738293176362
[3 4 5 5 5 ][ 3 5 5 / ](4*a[5] -1*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.209098 , 5.687702 )1.1737717410308224
[3 4 5 5 5 ][ 3 5 5 / 3 ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.9958139999999993 , 5.999912 )1.1510446571722428
[3 4 5 5 5 ][ 3 5 5 / 3 3 ](5*a[5] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.604505 , 6.134097 )1.1388439765826228
[3 4 5 5 5 ][ 3 5 5 / 4 ](4*a[5] +2*a[4] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.8335179999999993 , 5.999912 )1.1542170897743957
[3 4 5 5 5 ][ 3 5 5 / 3 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.442209 , 6.134097 )1.1414010853001448
[3 4 5 5 5 ][ 3 5 5 / 4 4 ](5*a[5] +2*a[4] -4*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.2799130000000005 , 6.134097 )1.144090307844777
[3 4 5 5 5 ][ 3 5 5 / 5 ](5*a[5] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.6554929999999994 , 5.999912 )1.157915580020447
[3 4 5 5 5 ][ 3 5 5 / 3 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.264184 , 6.134097 )1.1443584441645598
[3 4 5 5 5 ][ 3 5 5 / 4 5 ](6*a[5] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.101888 , 6.134097 )1.1472061135034959
[3 4 5 5 5 ][ 3 5 5 / 5 5 ](7*a[5] -2*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 3.923863 , 6.134097 )1.1505131159343913
[3 4 5 5 5 ][ 4 5 5 / ](4*a[5] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.6836039999999994 , 5.687702 )1.1622320525715326
[3 4 5 5 5 ][ 4 5 5 / 3 ](4*a[5] +1*a[4] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.470319999999999 , 5.999912 )1.142702162605984
[3 4 5 5 5 ][ 4 5 5 / 3 3 ](5*a[5] +1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 5.0790109999999995 , 6.134097 )1.1320306433112979
[3 4 5 5 5 ][ 4 5 5 / 4 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.308024 , 5.999912 )1.1454125408530562
[3 4 5 5 5 ][ 4 5 5 / 3 4 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.916715 , 6.134097 )1.134258220426729
[3 4 5 5 5 ][ 4 5 5 / 4 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.754418999999999 , 6.134097 )1.136590052888661
[3 4 5 5 5 ][ 4 5 5 / 5 ](5*a[5] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.129999 , 5.999912 )1.1485523887384577
[3 4 5 5 5 ][ 4 5 5 / 3 5 ](6*a[5] -1*a[4] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.73869 , 6.134097 )1.1368218686015632
[3 4 5 5 5 ][ 4 5 5 / 4 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.576393999999999 , 6.134097 )1.1392779785501783
[3 4 5 5 5 ][ 4 5 5 / 5 5 ](7*a[5] -2*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.398368999999999 , 6.134097 )1.1421140717438816
[3 4 5 5 5 ][ 3 4 5 5 / ](4*a[5] +1*a[4] -1*a[3] , 4*a[5] +2*a[4] +1*a[3] +1minD[5] ), ( 3.9958139999999998 , 5.865727 )1.1529999639198196
[3 4 5 5 5 ][ 3 4 5 5 / 3 ](5*a[5] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.604505 , 5.999912 )1.1405618110667401
[3 4 5 5 5 ][ 3 4 5 5 / 4 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.442209 , 5.999912 )1.1431618549032372
[3 4 5 5 5 ][ 3 4 5 5 / 5 ](6*a[5] -1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.264184 , 5.999912 )1.1461689163565703
[3 4 5 5 5 ][ 5 5 5 / ](4*a[5] +1*a[4] -2*a[3] , 4*a[5] +1*a[4] +2*a[3] +2minD[5] ), ( 3.521308 , 5.687702 )1.1659382513097265
[3 4 5 5 5 ][ 5 5 5 / 3 ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.308024 , 5.999912 )1.1454125408530562
[3 4 5 5 5 ][ 5 5 5 / 3 3 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.916715 , 6.134097 )1.134258220426729
[3 4 5 5 5 ][ 5 5 5 / 4 ](4*a[5] +3*a[4] -4*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 4.145728 , 5.999912 )1.1482675085954694
[3 4 5 5 5 ][ 5 5 5 / 3 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.754419 , 6.134097 )1.136590052888661
[3 4 5 5 5 ][ 5 5 5 / 4 4 ](5*a[5] +3*a[4] -5*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.592123 , 6.134097 )1.1390346430580782
[3 4 5 5 5 ][ 5 5 5 / 5 ](5*a[5] +1*a[4] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +2minD[5] ), ( 3.9677029999999998 , 5.999912 )1.1515814324110298
[3 4 5 5 5 ][ 5 5 5 / 3 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.5763940000000005 , 6.134097 )1.1392779785501783
[3 4 5 5 5 ][ 5 5 5 / 4 5 ](6*a[5] +1*a[4] -4*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.414098 , 6.134097 )1.1418570888661281
[3 4 5 5 5 ][ 5 5 5 / 5 5 ](7*a[5] -1*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +2minD[5] ), ( 4.236073 , 6.134097 )1.1448408751720531
[3 4 5 5 5 ][ 3 5 5 5 / ](4*a[5] +2*a[4] -3*a[3] , 4*a[5] +2*a[4] +1*a[3] +1minD[5] ), ( 3.8335179999999998 , 5.865727 )1.1562281383726138
[3 4 5 5 5 ][ 3 5 5 5 / 3 ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.442209 , 5.999912 )1.1431618549032372
[3 4 5 5 5 ][ 3 5 5 5 / 4 ](5*a[5] +2*a[4] -4*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.279913 , 5.999912 )1.1458963308089152
[3 4 5 5 5 ][ 3 5 5 5 / 5 ](6*a[5] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.101888 , 5.999912 )1.1490651201345574
[3 4 5 5 5 ][ 4 5 5 5 / ](4*a[5] +2*a[4] -2*a[3] , 4*a[5] +2*a[4] +1*a[3] +1minD[5] ), ( 4.3080240000000005 , 5.865727 )1.1472699709558503
[3 4 5 5 5 ][ 4 5 5 5 / 3 ](5*a[5] +1*a[4] -1*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.916715 , 5.999912 )1.135899940805595
[3 4 5 5 5 ][ 4 5 5 5 / 4 ](5*a[5] +2*a[4] -3*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.7544189999999995 , 5.999912 )1.1382703520451118
[3 4 5 5 5 ][ 4 5 5 5 / 5 ](6*a[5] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +1minD[5] ), ( 4.576394 , 5.999912 )1.1410030210313318
[3 4 5 5 5 ][ 3 4 5 5 5 / ](5*a[5] +1*a[4] -2*a[3] , 5*a[5] +1*a[4] +1*a[3] +0minD[5] ), ( 4.442209 , 5.865727 )1.1449804171081908

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 3 4 5 5 5 ]( 4*a[5]-2*a[4] , 4*a[5]+1*a[4]+3*a[3]+ 3*minD[5] )( 2.110172 , 6.296392999999999 )1.1992727969873958
Neighbors deg(u)Branching BVBN
[3 4 5 5 5 ]d': 3( 4*a[5]-2*a[4] , 4*a[5]+1*a[4]+2*a[3]+ max(5, 2*(5-3))*minD[5] )( 2.110172 , 6.090256999999999 )1.2035370348118803