666666

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 6 6 6 6 6 6 ]o>=3: ( 7*a[6]-6*a[5] , 7*a[6]+ 18*minD[6] )( 1.3302750000000008 , 7.908357000000001 )1.2089095130953904
[ 6 6 6 6 6 6 ] i=0: ( 7*a[6]-6*a[5] , 7*a[6]+ 16*minD[6] )( 1.3302750000000008 , 7.791393000000001 )1.2110747559961577
[ 6 6 6 6 6 6 ] i=1: ( 7*a[6]-6*a[5] , 7*a[6]+ 15*minD[6] )( 1.3302750000000008 , 7.732911000000001 )1.2121774543676374
[ 6 6 6 6 6 6 ] i=2: ( 7*a[6]-6*a[5] , 7*a[6]+ 10*minD[6]+ 2*minD[5] )( 1.3302750000000008 , 7.708871000000001 )1.212634802423735
[ 6 6 6 6 6 6 ] i=3: ( 7*a[6]-6*a[5] , 7*a[6]+ 9*minD[6]+ 3*minD[5] )( 1.3302750000000008 , 7.784574000000001 )1.211202580823828
[ 6 6 6 6 6 6 ] i=4: ( 7*a[6]-6*a[5] , 7*a[6]+ 8*minD[6]+ 4*minD[5] )( 1.3302750000000008 , 7.860277000000001 )1.209793104751216
[ 6 6 6 6 6 6 ] i=5: ( 7*a[6]-6*a[5] , 7*a[6]+ 7*minD[6]+ 5*minD[5] )( 1.3302750000000008 , 7.935980000000001 )1.2084058791282677
[ 6 6 6 6 6 6 ] i=6: ( 7*a[6]-6*a[5] , 7*a[6]+ 6*minD[6]+ 6*minD[5] )( 1.3302750000000008 , 8.011683000000001 )1.2070400675018593

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[6 6 6 6 6 6 ][ 6 / 3 3 ](7*a[6] -5*a[5] -1*a[4] +3*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.8879780000000004 , 7.622597000000001 )1.1531841446473101
[6 6 6 6 6 6 ][ 6 / 3 3 3 ](7*a[6] -5*a[5] +3*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.6746940000000006 , 7.460301000000001 )1.138682586253739
[6 6 6 6 6 6 ][ 6 / 3 3 3 3 ](7*a[6] -4*a[5] -1*a[4] +4*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 4.283385 , 7.282276 )1.1306321208200694
[6 6 6 6 6 6 ][ 6 / 3 3 3 3 3 ](8*a[6] -5*a[5] -1*a[4] +5*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.8163730000000005 , 7.206573000000001 )1.1240326639941336
[6 6 6 6 6 6 ][ 6 / 3 4 ](7*a[6] -5*a[5] +1*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.725682 , 7.622597000000001 )1.157276444930057
[6 6 6 6 6 6 ][ 6 / 3 3 4 ](7*a[6] -5*a[5] +1*a[4] +1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.5123980000000006 , 7.460301000000001 )1.141685209654108
[6 6 6 6 6 6 ][ 6 / 3 3 3 4 ](7*a[6] -4*a[5] +2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 4.1210890000000004 , 7.282276 )1.1331124950705143
[6 6 6 6 6 6 ][ 6 / 3 3 3 3 4 ](8*a[6] -5*a[5] +3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.654077000000001 , 7.206573000000001 )1.1261592958228734
[6 6 6 6 6 6 ][ 6 / 4 4 ](7*a[6] -5*a[5] +1*a[4] -1*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.5633860000000004 , 7.622597000000001 )1.161701392507306
[6 6 6 6 6 6 ][ 6 / 3 4 4 ](7*a[6] -5*a[5] +2*a[4] -1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.3501020000000006 , 7.460301000000001 )1.1448783747017142
[6 6 6 6 6 6 ][ 6 / 3 3 4 4 ](7*a[6] -4*a[5] +1*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.958793 , 7.282276 )1.1357281587705457
[6 6 6 6 6 6 ][ 6 / 3 3 3 4 4 ](8*a[6] -5*a[5] +1*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.4917810000000005 , 7.206573000000001 )1.1283893026816068
[6 6 6 6 6 6 ][ 6 / 4 4 4 ](7*a[6] -5*a[5] +3*a[4] -3*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.1878060000000006 , 7.460301000000001 )1.1482843270618255
[6 6 6 6 6 6 ][ 6 / 3 4 4 4 ](7*a[6] -4*a[5] +2*a[4] -2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.7964970000000005 , 7.282276 )1.13849203761393
[6 6 6 6 6 6 ][ 6 / 3 3 4 4 4 ](8*a[6] -5*a[5] +2*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.329485 , 7.206573000000001 )1.1307311821478196
[6 6 6 6 6 6 ][ 6 / 4 4 4 4 ](7*a[6] -4*a[5] +3*a[4] -4*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.6342010000000005 , 7.282276 )1.141419256325638
[6 6 6 6 6 6 ][ 6 / 3 4 4 4 4 ](8*a[6] -5*a[5] +3*a[4] -3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.167189 , 7.206573000000001 )1.133195152443079
[6 6 6 6 6 6 ][ 6 / 4 4 4 4 4 ](8*a[6] -5*a[5] +4*a[4] -5*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.004893 , 7.206573000000001 )1.1357919750360512
[6 6 6 6 6 6 ][ 6 / 3 5 ](7*a[6] -4*a[5] -2*a[4] +2*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.547657 , 7.622597000000001 )1.1621496131470768
[6 6 6 6 6 6 ][ 6 / 3 3 5 ](7*a[6] -4*a[5] -1*a[4] +2*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.3343730000000007 , 7.460301000000001 )1.1451987833213095
[6 6 6 6 6 6 ][ 6 / 3 3 3 5 ](7*a[6] -3*a[5] -2*a[4] +3*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.9430640000000006 , 7.282276 )1.1359893126158056
[6 6 6 6 6 6 ][ 6 / 3 3 3 3 5 ](8*a[6] -4*a[5] -2*a[4] +4*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.476052000000001 , 7.206573000000001 )1.1286112555744519
[6 6 6 6 6 6 ][ 6 / 4 5 ](7*a[6] -4*a[5] -1*a[4] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.385361 , 7.622597000000001 )1.166996617026301
[6 6 6 6 6 6 ][ 6 / 3 4 5 ](7*a[6] -4*a[5] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.1720770000000003 , 7.460301000000001 )1.148626461857733
[6 6 6 6 6 6 ][ 6 / 3 3 4 5 ](7*a[6] -3*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.780768 , 7.282276 )1.1387683771412211
[6 6 6 6 6 6 ][ 6 / 3 3 3 4 5 ](8*a[6] -4*a[5] -1*a[4] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.313756 , 7.206573000000001 )1.1309644258058262
[6 6 6 6 6 6 ][ 6 / 4 4 5 ](7*a[6] -4*a[5] +1*a[4] -2*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.0097810000000007 , 7.460301000000001 )1.1522946935304401
[6 6 6 6 6 6 ][ 6 / 3 4 4 5 ](7*a[6] -3*a[5] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.618472 , 7.282276 )1.1417122468957526
[6 6 6 6 6 6 ][ 6 / 3 3 4 4 5 ](8*a[6] -4*a[5] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.151459999999999 , 7.206573000000001 )1.1334407465790317
[6 6 6 6 6 6 ][ 6 / 4 4 4 5 ](7*a[6] -3*a[5] +1*a[4] -3*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.4561760000000006 , 7.282276 )1.1448383752907523
[6 6 6 6 6 6 ][ 6 / 3 4 4 4 5 ](8*a[6] -4*a[5] +1*a[4] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.989164 , 7.206573000000001 )1.1360513119947313
[6 6 6 6 6 6 ][ 6 / 4 4 4 4 5 ](8*a[6] -4*a[5] +2*a[4] -4*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.826868 , 7.206573000000001 )1.1388088811151644
[6 6 6 6 6 6 ][ 6 / 5 5 ](7*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.207336 , 7.622597000000001 )1.1728327149074507
[6 6 6 6 6 6 ][ 6 / 3 5 5 ](7*a[6] -3*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.9940520000000004 , 7.460301000000001 )1.1526640886585622
[6 6 6 6 6 6 ][ 6 / 3 3 5 5 ](7*a[6] -2*a[5] -3*a[4] +2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.6027430000000003 , 7.282276 )1.1420069426212374
[6 6 6 6 6 6 ][ 6 / 3 3 3 5 5 ](8*a[6] -3*a[5] -3*a[4] +3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.135731 , 7.206573000000001 )1.133687672898321
[6 6 6 6 6 6 ][ 6 / 4 5 5 ](7*a[6] -3*a[5] -1*a[4] -1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.8317560000000004 , 7.460301000000001 )1.156631476392771
[6 6 6 6 6 6 ][ 6 / 3 4 5 5 ](7*a[6] -2*a[5] -2*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.4404470000000003 , 7.282276 )1.1451517267255533
[6 6 6 6 6 6 ][ 6 / 3 3 4 5 5 ](8*a[6] -3*a[5] -2*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.973435 , 7.206573000000001 )1.1363118448740614
[6 6 6 6 6 6 ][ 6 / 4 4 5 5 ](7*a[6] -2*a[5] -1*a[4] -2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.2781510000000003 , 7.282276 )1.1485008105530647
[6 6 6 6 6 6 ][ 6 / 3 4 4 5 5 ](8*a[6] -3*a[5] -1*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.811139 , 7.206573000000001 )1.1390844464390406
[6 6 6 6 6 6 ][ 6 / 4 4 4 5 5 ](8*a[6] -3*a[5] -3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.6488430000000003 , 7.206573000000001 )1.1420204687022555
[6 6 6 6 6 6 ][ 6 / 5 5 5 ](7*a[6] -2*a[5] -3*a[4] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.6537310000000005 , 7.460301000000001 )1.1613429040730099
[6 6 6 6 6 6 ][ 6 / 3 5 5 5 ](7*a[6] -1*a[5] -4*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.2624220000000004 , 7.282276 )1.1488370956002714
[6 6 6 6 6 6 ][ 6 / 3 3 5 5 5 ](8*a[6] -2*a[5] -4*a[4] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.79541 , 7.206573000000001 )1.1393615379125022
[6 6 6 6 6 6 ][ 6 / 4 5 5 5 ](7*a[6] -1*a[5] -3*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.1001260000000004 , 7.282276 )1.152437958428553
[6 6 6 6 6 6 ][ 6 / 3 4 5 5 5 ](8*a[6] -2*a[5] -3*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.633114 , 7.206573000000001 )1.1423142347052753
[6 6 6 6 6 6 ][ 6 / 4 4 5 5 5 ](8*a[6] -2*a[5] -2*a[4] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.470818 , 7.206573000000001 )1.1454491393880388
[6 6 6 6 6 6 ][ 6 / 5 5 5 5 ](7*a[6] -5*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.9221010000000005 , 7.282276 )1.1566871368077074
[6 6 6 6 6 6 ][ 6 / 3 5 5 5 5 ](8*a[6] -1*a[5] -5*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.455089 , 7.206573000000001 )1.1457632947840886
[6 6 6 6 6 6 ][ 6 / 4 5 5 5 5 ](8*a[6] -1*a[5] -4*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.292793 , 7.206573000000001 )1.149121156577574
[6 6 6 6 6 6 ][ 6 / 5 5 5 5 5 ](8*a[6] -6*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.114768 , 7.206573000000001 )1.1530677964482505
[6 6 6 6 6 6 ][ 6 / 3 6 ](8*a[6] -6*a[5] -1*a[4] +2*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.471954 , 7.622597000000001 )1.164358741687039
[6 6 6 6 6 6 ][ 6 / 3 3 6 ](8*a[6] -6*a[5] +2*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.258670000000001 , 7.460301000000001 )1.1467695002474714
[6 6 6 6 6 6 ][ 6 / 3 3 3 6 ](8*a[6] -5*a[5] -1*a[4] +3*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.8673610000000007 , 7.282276 )1.1372660481615158
[6 6 6 6 6 6 ][ 6 / 3 3 3 3 6 ](9*a[6] -6*a[5] -1*a[4] +4*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.400349 , 7.206573000000001 )1.1296941852102262
[6 6 6 6 6 6 ][ 6 / 4 6 ](8*a[6] -6*a[5] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.309658 , 7.622597000000001 )1.1694067830575163
[6 6 6 6 6 6 ][ 6 / 3 4 6 ](8*a[6] -6*a[5] +1*a[4] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 3.0963740000000004 , 7.460301000000001 )1.1503059683978125
[6 6 6 6 6 6 ][ 6 / 3 3 4 6 ](8*a[6] -5*a[5] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.7050650000000003 , 7.282276 )1.140120012446903
[6 6 6 6 6 6 ][ 6 / 3 3 3 4 6 ](9*a[6] -6*a[5] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.238053 , 7.206573000000001 )1.132103670129333
[6 6 6 6 6 6 ][ 6 / 4 4 6 ](8*a[6] -6*a[5] +2*a[4] -2*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.934078000000001 , 7.460301000000001 )1.1540964047783668
[6 6 6 6 6 6 ][ 6 / 3 4 4 6 ](8*a[6] -5*a[5] +1*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.5427690000000003 , 7.282276 )1.1431465881802876
[6 6 6 6 6 6 ][ 6 / 3 3 4 4 6 ](9*a[6] -6*a[5] +1*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.075756999999999 , 7.206573000000001 )1.1346410020312632
[6 6 6 6 6 6 ][ 6 / 4 4 4 6 ](8*a[6] -5*a[5] +2*a[4] -3*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.3804730000000007 , 7.282276 )1.1463643935071117
[6 6 6 6 6 6 ][ 6 / 3 4 4 4 6 ](9*a[6] -6*a[5] +2*a[4] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.9134610000000003 , 7.206573000000001 )1.1373183183307363
[6 6 6 6 6 6 ][ 6 / 4 4 4 4 6 ](9*a[6] -6*a[5] +3*a[4] -4*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.7511650000000003 , 7.206573000000001 )1.1401494550397702
[6 6 6 6 6 6 ][ 6 / 5 6 ](8*a[6] -5*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.1316330000000003 , 7.622597000000001 )1.175502745688787
[6 6 6 6 6 6 ][ 6 / 3 5 6 ](8*a[6] -5*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.9183490000000005 , 7.460301000000001 )1.154478554617239
[6 6 6 6 6 6 ][ 6 / 3 3 5 6 ](8*a[6] -4*a[5] -2*a[4] +2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.5270400000000004 , 7.282276 )1.1434498180434018
[6 6 6 6 6 6 ][ 6 / 3 3 3 5 6 ](9*a[6] -5*a[5] -2*a[4] +3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 4.060028 , 7.206573000000001 )1.1348941325910247
[6 6 6 6 6 6 ][ 6 / 4 5 6 ](8*a[6] -5*a[5] -1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.7560530000000005 , 7.460301000000001 )1.1585859839349693
[6 6 6 6 6 6 ][ 6 / 3 4 5 6 ](8*a[6] -4*a[5] -1*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.3647440000000004 , 7.282276 )1.146687045268779
[6 6 6 6 6 6 ][ 6 / 3 3 4 5 6 ](9*a[6] -5*a[5] -1*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.897732 , 7.206573000000001 )1.1375857577208817
[6 6 6 6 6 6 ][ 6 / 4 4 5 6 ](8*a[6] -4*a[5] -2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.2024480000000004 , 7.282276 )1.150139578681539
[6 6 6 6 6 6 ][ 6 / 3 4 4 5 6 ](9*a[6] -5*a[5] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.735436 , 7.206573000000001 )1.1404326464473877
[6 6 6 6 6 6 ][ 6 / 4 4 4 5 6 ](9*a[6] -5*a[5] +1*a[4] -3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.5731400000000004 , 7.206573000000001 )1.1434504414975908
[6 6 6 6 6 6 ][ 6 / 5 5 6 ](8*a[6] -4*a[5] -2*a[4] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.5780280000000007 , 7.460301000000001 )1.1634739218275147
[6 6 6 6 6 6 ][ 6 / 3 5 5 6 ](8*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.1867190000000005 , 7.282276 )1.1504864491968745
[6 6 6 6 6 6 ][ 6 / 3 3 5 5 6 ](9*a[6] -4*a[5] -3*a[4] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.719707 , 7.206573000000001 )1.1407173746418604
[6 6 6 6 6 6 ][ 6 / 4 5 5 6 ](8*a[6] -3*a[5] -2*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.0244230000000005 , 7.282276 )1.154204384902015
[6 6 6 6 6 6 ][ 6 / 3 4 5 5 6 ](9*a[6] -4*a[5] -2*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.557411 , 7.206573000000001 )1.1437527409797097
[6 6 6 6 6 6 ][ 6 / 4 4 5 5 6 ](9*a[6] -4*a[5] -1*a[4] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.395115 , 7.206573000000001 )1.1469791397692002
[6 6 6 6 6 6 ][ 6 / 5 5 5 6 ](8*a[6] -2*a[5] -4*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.8463980000000006 , 7.282276 )1.1585991054931752
[6 6 6 6 6 6 ][ 6 / 3 5 5 5 6 ](9*a[6] -3*a[5] -4*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.3793860000000002 , 7.206573000000001 )1.1473027653832637
[6 6 6 6 6 6 ][ 6 / 4 5 5 5 6 ](9*a[6] -3*a[5] -3*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.2170900000000002 , 7.206573000000001 )1.150763906851124
[6 6 6 6 6 6 ][ 6 / 5 5 5 5 6 ](9*a[6] -2*a[5] -5*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.0390650000000003 , 7.206573000000001 )1.1548380635286983
[6 6 6 6 6 6 ][ 6 / 6 6 ](9*a[6] -7*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[3] +5minD[6] ), ( 2.05593 , 7.622597000000001 )1.1782983237083817
[6 6 6 6 6 6 ][ 6 / 3 6 6 ](9*a[6] -7*a[5] +1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.8426460000000002 , 7.460301000000001 )1.1563559644750958
[6 6 6 6 6 6 ][ 6 / 3 3 6 6 ](9*a[6] -6*a[5] -1*a[4] +2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.4513370000000005 , 7.282276 )1.1449344723340864
[6 6 6 6 6 6 ][ 6 / 3 3 3 6 6 ](10*a[6] -7*a[5] -1*a[4] +3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.984325 , 7.206573000000001 )1.136131321193943
[6 6 6 6 6 6 ][ 6 / 4 6 6 ](9*a[6] -7*a[5] +1*a[4] -1*a[3] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.6803500000000007 , 7.460301000000001 )1.1606124595611977
[6 6 6 6 6 6 ][ 6 / 3 4 6 6 ](9*a[6] -6*a[5] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.289041 , 7.282276 )1.148269237573963
[6 6 6 6 6 6 ][ 6 / 3 3 4 6 6 ](10*a[6] -7*a[5] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.8220289999999997 , 7.206573000000001 )1.138893454043488
[6 6 6 6 6 6 ][ 6 / 4 4 6 6 ](9*a[6] -6*a[5] +1*a[4] -2*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.1267450000000006 , 7.282276 )1.1518304751457518
[6 6 6 6 6 6 ][ 6 / 3 4 4 6 6 ](10*a[6] -7*a[5] +1*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.659733 , 7.206573000000001 )1.1418179219616937
[6 6 6 6 6 6 ][ 6 / 4 4 4 6 6 ](10*a[6] -7*a[5] +2*a[4] -3*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.4974370000000006 , 7.206573000000001 )1.1449216584628767
[6 6 6 6 6 6 ][ 6 / 5 6 6 ](9*a[6] -6*a[5] -1*a[4] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.502325000000001 , 7.460301000000001 )1.1656885787404958
[6 6 6 6 6 6 ][ 6 / 3 5 6 6 ](9*a[6] -5*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.1110160000000002 , 7.282276 )1.1521886529592984
[6 6 6 6 6 6 ][ 6 / 3 3 5 6 6 ](10*a[6] -6*a[5] -2*a[4] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.644004 , 7.206573000000001 )1.1421106507645957
[6 6 6 6 6 6 ][ 6 / 4 5 6 6 ](9*a[6] -5*a[5] -1*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.9487200000000007 , 7.282276 )1.15603023899689
[6 6 6 6 6 6 ][ 6 / 3 4 5 6 6 ](10*a[6] -6*a[5] -1*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.4817080000000002 , 7.206573000000001 )1.1452327102429258
[6 6 6 6 6 6 ][ 6 / 4 4 5 6 6 ](10*a[6] -6*a[5] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.319412 , 7.206573000000001 )1.1485555338996145
[6 6 6 6 6 6 ][ 6 / 5 5 6 6 ](9*a[6] -4*a[5] -3*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.770695000000001 , 7.282276 )1.1605795421175928
[6 6 6 6 6 6 ][ 6 / 3 5 5 6 6 ](10*a[6] -5*a[5] -3*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.3036830000000004 , 7.206573000000001 )1.1488890186948688
[6 6 6 6 6 6 ][ 6 / 4 5 5 6 6 ](10*a[6] -5*a[5] -2*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.141387 , 7.206573000000001 )1.1524588575011934
[6 6 6 6 6 6 ][ 6 / 5 5 5 6 6 ](10*a[6] -4*a[5] -4*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 2.963362 , 7.206573000000001 )1.1566676789762826
[6 6 6 6 6 6 ][ 6 / 6 6 6 ](10*a[6] -8*a[5] , 7*a[6] +1*a[4] -1*a[3] +5minD[6] ), ( 2.4266220000000005 , 7.460301000000001 )1.1679926650698667
[6 6 6 6 6 6 ][ 6 / 3 6 6 6 ](10*a[6] -7*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 3.0353130000000004 , 7.282276 )1.1539466951858475
[6 6 6 6 6 6 ][ 6 / 3 3 6 6 6 ](11*a[6] -8*a[5] -1*a[4] +2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.568301 , 7.206573000000001 )1.1435431878809021
[6 6 6 6 6 6 ][ 6 / 4 6 6 6 ](10*a[6] -7*a[5] -1*a[3] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.8730170000000004 , 7.282276 )1.1579192561694795
[6 6 6 6 6 6 ][ 6 / 3 4 6 6 6 ](11*a[6] -8*a[5] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.406005 , 7.206573000000001 )1.1467563317366078
[6 6 6 6 6 6 ][ 6 / 4 4 6 6 6 ](11*a[6] -8*a[5] +1*a[4] -2*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.243709 , 7.206573000000001 )1.150180422504361
[6 6 6 6 6 6 ][ 6 / 5 6 6 6 ](10*a[6] -6*a[5] -2*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.6949920000000005 , 7.282276 )1.1626326620799041
[6 6 6 6 6 6 ][ 6 / 3 5 6 6 6 ](11*a[6] -7*a[5] -2*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.22798 , 7.206573000000001 )1.1505244772868464
[6 6 6 6 6 6 ][ 6 / 4 5 6 6 6 ](11*a[6] -7*a[5] -1*a[4] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.065684 , 7.206573000000001 )1.1542089903859352
[6 6 6 6 6 6 ][ 6 / 5 5 6 6 6 ](11*a[6] -6*a[5] -3*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 2.887659 , 7.206573000000001 )1.1585603817502952
[6 6 6 6 6 6 ][ 6 / 6 6 6 6 ](11*a[6] -8*a[5] -1*a[4] , 7*a[6] +1*a[5] -1*a[4] +5minD[6] ), ( 2.6192890000000006 , 7.282276 )1.1647629213463644
[6 6 6 6 6 6 ][ 6 / 3 6 6 6 6 ](12*a[6] -9*a[5] -1*a[4] +1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 3.152277 , 7.206573000000001 )1.152211600383246
[6 6 6 6 6 6 ][ 6 / 4 6 6 6 6 ](12*a[6] -9*a[5] -1*a[3] , 8*a[6] -1*a[5] +5minD[6] ), ( 2.989981 , 7.206573000000001 )1.156017334868974
[6 6 6 6 6 6 ][ 6 / 5 6 6 6 6 ](12*a[6] -8*a[5] -2*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 2.8119560000000003 , 7.206573000000001 )1.1605199743204453
[6 6 6 6 6 6 ][ 6 / 6 6 6 6 6 ](13*a[6] -10*a[5] -1*a[4] , 8*a[6] -1*a[5] +5minD[6] ), ( 2.7362530000000005 , 7.206573000000001 )1.1625503269297224
[6 6 6 6 6 6 ][ 6 6 / 3 ](7*a[6] -4*a[5] -2*a[4] +2*a[3] , 7*a[6] +1*a[3] +4minD[6] ), ( 2.547657 , 7.564115000000001 )1.1629348723959332
[6 6 6 6 6 6 ][ 6 6 / 3 3 ](7*a[6] -4*a[5] -1*a[4] +2*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 3.334373 , 7.876325000000001 )1.1405349833544676
[6 6 6 6 6 6 ][ 6 6 / 3 3 3 ](7*a[6] -3*a[5] -2*a[4] +3*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.9430640000000006 , 7.536004 )1.1332989504437183
[6 6 6 6 6 6 ][ 6 6 / 3 3 3 3 ](8*a[6] -4*a[5] -2*a[4] +4*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 4.476052000000001 , 7.282276000000001 )1.1278476913637505
[6 6 6 6 6 6 ][ 6 6 / 4 ](7*a[6] -4*a[5] -1*a[4] , 7*a[6] +1*a[3] +4minD[6] ), ( 2.385361 , 7.564115000000001 )1.167813478567171
[6 6 6 6 6 6 ][ 6 6 / 3 4 ](7*a[6] -4*a[5] , 7*a[6] +1*a[4] +4minD[6] ), ( 3.172077 , 7.876325000000001 )1.1438149668412467
[6 6 6 6 6 6 ][ 6 6 / 3 3 4 ](7*a[6] -3*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.780768 , 7.536004 )1.1360042349248451
[6 6 6 6 6 6 ][ 6 6 / 3 3 3 4 ](8*a[6] -4*a[5] -1*a[4] +2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 4.313756 , 7.282276000000001 )1.1301821437831587
[6 6 6 6 6 6 ][ 6 6 / 4 4 ](7*a[6] -4*a[5] +1*a[4] -2*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 3.009781 , 7.876325000000001 )1.1473237924618713
[6 6 6 6 6 6 ][ 6 6 / 3 4 4 ](7*a[6] -3*a[5] -1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.618472 , 7.536004 )1.1388691786270602
[6 6 6 6 6 6 ][ 6 6 / 3 3 4 4 ](8*a[6] -4*a[5] , 8*a[6] -1*a[4] +4minD[6] ), ( 4.15146 , 7.282276000000001 )1.1326385195969866
[6 6 6 6 6 6 ][ 6 6 / 4 4 4 ](7*a[6] -3*a[5] +1*a[4] -3*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.4561760000000006 , 7.536004 )1.1419108700252358
[6 6 6 6 6 6 ][ 6 6 / 3 4 4 4 ](8*a[6] -4*a[5] +1*a[4] -2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.989164 , 7.282276000000001 )1.1352278725608258
[6 6 6 6 6 6 ][ 6 6 / 4 4 4 4 ](8*a[6] -4*a[5] +2*a[4] -4*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.826868 , 7.282276000000001 )1.1379629159230753
[6 6 6 6 6 6 ][ 6 6 / 5 ](7*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[3] +4minD[6] ), ( 2.207336 , 7.564115000000001 )1.173688313336396
[6 6 6 6 6 6 ][ 6 6 / 3 5 ](7*a[6] -3*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.994052 , 7.876325000000001 )1.1476769742379012
[6 6 6 6 6 6 ][ 6 6 / 3 3 5 ](7*a[6] -2*a[5] -3*a[4] +2*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.6027430000000003 , 7.536004 )1.139155911071615
[6 6 6 6 6 6 ][ 6 6 / 3 3 3 5 ](8*a[6] -3*a[5] -3*a[4] +3*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 4.135731 , 7.282276000000001 )1.1328834135025243
[6 6 6 6 6 6 ][ 6 6 / 4 5 ](7*a[6] -3*a[5] -1*a[4] -1*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.831756 , 7.876325000000001 )1.1514703071428742
[6 6 6 6 6 6 ][ 6 6 / 3 4 5 ](7*a[6] -2*a[5] -2*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.4404470000000003 , 7.536004 )1.1422157774888555
[6 6 6 6 6 6 ][ 6 6 / 3 3 4 5 ](8*a[6] -3*a[5] -2*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.973435 , 7.282276000000001 )1.1354863371490787
[6 6 6 6 6 6 ][ 6 6 / 4 4 5 ](7*a[6] -2*a[5] -1*a[4] -2*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.2781510000000003 , 7.536004 )1.145473852542128
[6 6 6 6 6 6 ][ 6 6 / 3 4 4 5 ](8*a[6] -3*a[5] -1*a[4] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.811139 , 7.282276000000001 )1.1382362185941726
[6 6 6 6 6 6 ][ 6 6 / 4 4 4 5 ](8*a[6] -3*a[5] -3*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.6488430000000003 , 7.282276000000001 )1.1411479935690605
[6 6 6 6 6 6 ][ 6 6 / 5 5 ](7*a[6] -2*a[5] -3*a[4] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.653731 , 7.876325000000001 )1.155973048818476
[6 6 6 6 6 6 ][ 6 6 / 3 5 5 ](7*a[6] -1*a[5] -4*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.2624220000000004 , 7.536004 )1.1458008547672234
[6 6 6 6 6 6 ][ 6 6 / 3 3 5 5 ](8*a[6] -2*a[5] -4*a[4] +2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.79541 , 7.282276000000001 )1.1385111977720566
[6 6 6 6 6 6 ][ 6 6 / 4 5 5 ](7*a[6] -1*a[5] -3*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.1001260000000004 , 7.536004 )1.14930299784261
[6 6 6 6 6 6 ][ 6 6 / 3 4 5 5 ](8*a[6] -2*a[5] -3*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.633114 , 7.282276000000001 )1.141439447032537
[6 6 6 6 6 6 ][ 6 6 / 4 4 5 5 ](8*a[6] -2*a[5] -2*a[4] -2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.470818 , 7.282276000000001 )1.1445483069642177
[6 6 6 6 6 6 ][ 6 6 / 5 5 5 ](7*a[6] -5*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 2.9221010000000005 , 7.536004 )1.1534341983439904
[6 6 6 6 6 6 ][ 6 6 / 3 5 5 5 ](8*a[6] -1*a[5] -5*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.455089 , 7.282276000000001 )1.144859937125978
[6 6 6 6 6 6 ][ 6 6 / 4 5 5 5 ](8*a[6] -1*a[5] -4*a[4] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.292793 , 7.282276000000001 )1.1481897099518645
[6 6 6 6 6 6 ][ 6 6 / 5 5 5 5 ](8*a[6] -6*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.114768 , 7.282276000000001 )1.1521030433958261
[6 6 6 6 6 6 ][ 6 6 / 6 ](8*a[6] -5*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[3] +4minD[6] ), ( 2.1316330000000003 , 7.564115000000001 )1.1763762678381522
[6 6 6 6 6 6 ][ 6 6 / 3 6 ](8*a[6] -5*a[5] -1*a[4] +1*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.918349 , 7.876325000000001 )1.14941197273537
[6 6 6 6 6 6 ][ 6 6 / 3 3 6 ](8*a[6] -4*a[5] -2*a[4] +2*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.5270400000000004 , 7.536004 )1.1405599501442287
[6 6 6 6 6 6 ][ 6 6 / 3 3 3 6 ](9*a[6] -5*a[5] -2*a[4] +3*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 4.060028000000001 , 7.282276000000001 )1.1340800351285167
[6 6 6 6 6 6 ][ 6 6 / 4 6 ](8*a[6] -5*a[5] -1*a[3] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.756053 , 7.876325000000001 )1.1533385721100242
[6 6 6 6 6 6 ][ 6 6 / 3 4 6 ](8*a[6] -4*a[5] -1*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.3647440000000004 , 7.536004 )1.1437095455536095
[6 6 6 6 6 6 ][ 6 6 / 3 3 4 6 ](9*a[6] -5*a[5] -1*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.897732 , 7.282276000000001 )1.1367499262988727
[6 6 6 6 6 6 ][ 6 6 / 4 4 6 ](8*a[6] -4*a[5] -2*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.2024480000000004 , 7.536004 )1.14706759708055
[6 6 6 6 6 6 ][ 6 6 / 3 4 4 6 ](9*a[6] -5*a[5] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.735436 , 7.282276000000001 )1.1395734313067227
[6 6 6 6 6 6 ][ 6 6 / 4 4 4 6 ](9*a[6] -5*a[5] +1*a[4] -3*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.5731400000000004 , 7.282276000000001 )1.142566287843318
[6 6 6 6 6 6 ][ 6 6 / 5 6 ](8*a[6] -4*a[5] -2*a[4] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.578028 , 7.876325000000001 )1.1580090893259607
[6 6 6 6 6 6 ][ 6 6 / 3 5 6 ](8*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.1867190000000005 , 7.536004 )1.1474050834923588
[6 6 6 6 6 6 ][ 6 6 / 3 3 5 6 ](9*a[6] -4*a[5] -3*a[4] +2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.719707 , 7.282276000000001 )1.1398557170634211
[6 6 6 6 6 6 ][ 6 6 / 4 5 6 ](8*a[6] -3*a[5] -2*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.0244230000000005 , 7.536004 )1.1510204927308678
[6 6 6 6 6 6 ][ 6 6 / 3 4 5 6 ](9*a[6] -4*a[5] -2*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.557411 , 7.282276000000001 )1.1428659400838599
[6 6 6 6 6 6 ][ 6 6 / 4 4 5 6 ](9*a[6] -4*a[5] -1*a[4] -2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.395115 , 7.282276000000001 )1.1460657225425432
[6 6 6 6 6 6 ][ 6 6 / 5 5 6 ](8*a[6] -2*a[5] -4*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 2.8463980000000006 , 7.536004 )1.1552929356712502
[6 6 6 6 6 6 ][ 6 6 / 3 5 5 6 ](9*a[6] -3*a[5] -4*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.3793860000000002 , 7.282276000000001 )1.14638663952327
[6 6 6 6 6 6 ][ 6 6 / 4 5 5 6 ](9*a[6] -3*a[5] -3*a[4] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.2170900000000002 , 7.282276000000001 )1.1498186062338323
[6 6 6 6 6 6 ][ 6 6 / 5 5 5 6 ](9*a[6] -2*a[5] -5*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.0390650000000003 , 7.282276000000001 )1.1538581260394098
[6 6 6 6 6 6 ][ 6 6 / 6 6 ](9*a[6] -6*a[5] -1*a[4] , 7*a[6] +1*a[4] +4minD[6] ), ( 2.5023250000000004 , 7.876325000000001 )1.1601245093459802
[6 6 6 6 6 6 ][ 6 6 / 3 6 6 ](9*a[6] -5*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 3.1110160000000007 , 7.536004 )1.1490603982120722
[6 6 6 6 6 6 ][ 6 6 / 3 3 6 6 ](10*a[6] -6*a[5] -2*a[4] +2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.6440040000000002 , 7.282276000000001 )1.1412375721018928
[6 6 6 6 6 6 ][ 6 6 / 4 6 6 ](9*a[6] -5*a[5] -1*a[4] -1*a[3] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 2.9487200000000002 , 7.536004 )1.1527957221020946
[6 6 6 6 6 6 ][ 6 6 / 3 4 6 6 ](10*a[6] -6*a[5] -1*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.481708 , 7.282276000000001 )1.1443336230110068
[6 6 6 6 6 6 ][ 6 6 / 4 4 6 6 ](10*a[6] -6*a[5] -2*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.3194120000000003 , 7.282276000000001 )1.1476287717369973
[6 6 6 6 6 6 ][ 6 6 / 5 6 6 ](9*a[6] -4*a[5] -3*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 2.7706950000000004 , 7.536004 )1.1572178542683007
[6 6 6 6 6 6 ][ 6 6 / 3 5 6 6 ](10*a[6] -5*a[5] -3*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.303683 , 7.282276000000001 )1.1479595191591545
[6 6 6 6 6 6 ][ 6 6 / 4 5 6 6 ](10*a[6] -5*a[5] -2*a[4] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.1413870000000004 , 7.282276000000001 )1.1514992324238023
[6 6 6 6 6 6 ][ 6 6 / 5 5 6 6 ](10*a[6] -4*a[5] -4*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 2.9633620000000005 , 7.282276000000001 )1.1556723757492537
[6 6 6 6 6 6 ][ 6 6 / 6 6 6 ](10*a[6] -6*a[5] -2*a[4] , 7*a[6] +1*a[5] -1*a[3] +4minD[6] ), ( 2.6949920000000005 , 7.536004 )1.1592131105404675
[6 6 6 6 6 6 ][ 6 6 / 3 6 6 6 ](11*a[6] -7*a[5] -2*a[4] +1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.22798 , 7.282276000000001 )1.1495811452207827
[6 6 6 6 6 6 ][ 6 6 / 4 6 6 6 ](11*a[6] -7*a[5] -1*a[4] -1*a[3] , 8*a[6] -1*a[4] +4minD[6] ), ( 3.065684 , 7.282276000000001 )1.1532344003804793
[6 6 6 6 6 6 ][ 6 6 / 5 6 6 6 ](11*a[6] -6*a[5] -3*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 2.887659 , 7.282276000000001 )1.157548881610499
[6 6 6 6 6 6 ][ 6 6 / 6 6 6 6 ](12*a[6] -8*a[5] -2*a[4] , 8*a[6] -1*a[4] +4minD[6] ), ( 2.8119560000000003 , 7.282276000000001 )1.159491428187961
[6 6 6 6 6 6 ][ 6 6 6 / ](7*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[3] +3minD[6] ), ( 2.207336 , 7.505633 )1.1745545350824078
[6 6 6 6 6 6 ][ 6 6 6 / 3 ](7*a[6] -3*a[5] -2*a[4] +1*a[3] , 7*a[6] +1*a[4] +3minD[6] ), ( 2.994052 , 7.817843000000001 )1.1483536494923716
[6 6 6 6 6 6 ][ 6 6 6 / 3 3 ](7*a[6] -2*a[5] -3*a[4] +2*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.6027430000000003 , 7.952028 )1.1347791429778287
[6 6 6 6 6 6 ][ 6 6 6 / 3 3 3 ](8*a[6] -3*a[5] -3*a[4] +3*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 4.135731000000001 , 7.536004 )1.1302750345420998
[6 6 6 6 6 6 ][ 6 6 6 / 4 ](7*a[6] -3*a[5] -1*a[4] -1*a[3] , 7*a[6] +1*a[4] +3minD[6] ), ( 2.831756 , 7.817843000000001 )1.1521704539281625
[6 6 6 6 6 6 ][ 6 6 6 / 3 4 ](7*a[6] -2*a[5] -2*a[4] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.440447 , 7.952028 )1.137709803443954
[6 6 6 6 6 6 ][ 6 6 6 / 3 3 4 ](8*a[6] -3*a[5] -2*a[4] +1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.973435 , 7.536004 )1.1328092152238902
[6 6 6 6 6 6 ][ 6 6 6 / 4 4 ](7*a[6] -2*a[5] -1*a[4] -2*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.2781510000000003 , 7.952028 )1.1408293818704642
[6 6 6 6 6 6 ][ 6 6 6 / 3 4 4 ](8*a[6] -3*a[5] -1*a[4] -1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.811139 , 7.536004 )1.135486183449079
[6 6 6 6 6 6 ][ 6 6 6 / 4 4 4 ](8*a[6] -3*a[5] -3*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.6488430000000003 , 7.536004 )1.1383202430791637
[6 6 6 6 6 6 ][ 6 6 6 / 5 ](7*a[6] -2*a[5] -3*a[4] , 7*a[6] +1*a[4] +3minD[6] ), ( 2.653731 , 7.817843000000001 )1.156701331868211
[6 6 6 6 6 6 ][ 6 6 6 / 3 5 ](7*a[6] -1*a[5] -4*a[4] +1*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.262422 , 7.952028 )1.1411425603149368
[6 6 6 6 6 6 ][ 6 6 6 / 3 3 5 ](8*a[6] -2*a[5] -4*a[4] +2*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.79541 , 7.536004 )1.1357538381886065
[6 6 6 6 6 6 ][ 6 6 6 / 4 5 ](7*a[6] -1*a[5] -3*a[4] -1*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.100126 , 7.952028 )1.144494433239014
[6 6 6 6 6 6 ][ 6 6 6 / 3 4 5 ](8*a[6] -2*a[5] -3*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.633114 , 7.536004 )1.1386037627801147
[6 6 6 6 6 6 ][ 6 6 6 / 4 4 5 ](8*a[6] -2*a[5] -2*a[4] -2*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.470818 , 7.536004 )1.1416288084963253
[6 6 6 6 6 6 ][ 6 6 6 / 5 5 ](7*a[6] -5*a[4] , 7*a[6] +1*a[5] +3minD[6] ), ( 2.922101 , 7.952028 )1.1484470357927936
[6 6 6 6 6 6 ][ 6 6 6 / 3 5 5 ](8*a[6] -1*a[5] -5*a[4] +1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.455089 , 7.536004 )1.1419320108274207
[6 6 6 6 6 6 ][ 6 6 6 / 4 5 5 ](8*a[6] -1*a[5] -4*a[4] -1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.292793 , 7.536004 )1.1451711116985808
[6 6 6 6 6 6 ][ 6 6 6 / 5 5 5 ](8*a[6] -6*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.114768 , 7.536004 )1.1489771413540086
[6 6 6 6 6 6 ][ 6 6 6 / 6 ](8*a[6] -4*a[5] -2*a[4] , 7*a[6] +1*a[4] +3minD[6] ), ( 2.578028 , 7.817843000000001 )1.1587500247777445
[6 6 6 6 6 6 ][ 6 6 6 / 3 6 ](8*a[6] -3*a[5] -3*a[4] +1*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.186719 , 7.952028 )1.1426780358613888
[6 6 6 6 6 6 ][ 6 6 6 / 3 3 6 ](9*a[6] -4*a[5] -3*a[4] +2*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.719707 , 7.536004 )1.1370624099407944
[6 6 6 6 6 6 ][ 6 6 6 / 4 6 ](8*a[6] -3*a[5] -2*a[4] -1*a[3] , 7*a[6] +1*a[5] +3minD[6] ), ( 3.024423 , 7.952028 )1.146137909281999
[6 6 6 6 6 6 ][ 6 6 6 / 3 4 6 ](9*a[6] -4*a[5] -2*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.557411 , 7.536004 )1.139991877399145
[6 6 6 6 6 6 ][ 6 6 6 / 4 4 6 ](9*a[6] -4*a[5] -1*a[4] -2*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.395115 , 7.536004 )1.143104996218202
[6 6 6 6 6 6 ][ 6 6 6 / 5 6 ](8*a[6] -2*a[5] -4*a[4] , 7*a[6] +1*a[5] +3minD[6] ), ( 2.846398 , 7.952028 )1.1502248966836832
[6 6 6 6 6 6 ][ 6 6 6 / 3 5 6 ](9*a[6] -3*a[5] -4*a[4] +1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.3793860000000002 , 7.536004 )1.1434170876532377
[6 6 6 6 6 6 ][ 6 6 6 / 4 5 6 ](9*a[6] -3*a[5] -3*a[4] -1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.2170900000000002 , 7.536004 )1.1467555479062121
[6 6 6 6 6 6 ][ 6 6 6 / 5 5 6 ](9*a[6] -2*a[5] -5*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.0390650000000003 , 7.536004 )1.1506838754687603
[6 6 6 6 6 6 ][ 6 6 6 / 6 6 ](9*a[6] -4*a[5] -3*a[4] , 7*a[6] +1*a[5] +3minD[6] ), ( 2.770695 , 7.952028 )1.1520657019891538
[6 6 6 6 6 6 ][ 6 6 6 / 3 6 6 ](10*a[6] -5*a[5] -3*a[4] +1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.3036830000000004 , 7.536004 )1.144947286492123
[6 6 6 6 6 6 ][ 6 6 6 / 4 6 6 ](10*a[6] -5*a[5] -2*a[4] -1*a[3] , 8*a[6] -1*a[3] +3minD[6] ), ( 3.141387 , 7.536004 )1.1483899645822395
[6 6 6 6 6 6 ][ 6 6 6 / 5 6 6 ](10*a[6] -4*a[5] -4*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 2.963362 , 7.536004 )1.152447774565241
[6 6 6 6 6 6 ][ 6 6 6 / 6 6 6 ](11*a[6] -6*a[5] -3*a[4] , 8*a[6] -1*a[3] +3minD[6] ), ( 2.887659 , 7.536004 )1.1542720415683945
[6 6 6 6 6 6 ][ 6 6 6 6 / ](7*a[6] -2*a[5] -3*a[4] , 7*a[6] +1*a[4] +2minD[6] ), ( 2.6537310000000005 , 7.759361000000001 )1.1574378793212867
[6 6 6 6 6 6 ][ 6 6 6 6 / 3 ](7*a[6] -1*a[5] -4*a[4] +1*a[3] , 7*a[6] +1*a[5] +2minD[6] ), ( 3.262422 , 7.893546000000001 )1.1417748725515398
[6 6 6 6 6 6 ][ 6 6 6 6 / 3 3 ](8*a[6] -2*a[5] -4*a[4] +2*a[3] , 8*a[6] +2minD[6] ), ( 3.7954100000000004 , 7.952028 )1.1315192613770446
[6 6 6 6 6 6 ][ 6 6 6 6 / 4 ](7*a[6] -1*a[5] -3*a[4] -1*a[3] , 7*a[6] +1*a[5] +2minD[6] ), ( 3.1001260000000004 , 7.893546000000001 )1.1451470369113195
[6 6 6 6 6 6 ][ 6 6 6 6 / 3 4 ](8*a[6] -2*a[5] -3*a[4] , 8*a[6] +2minD[6] ), ( 3.633114 , 7.952028 )1.1342500919956453
[6 6 6 6 6 6 ][ 6 6 6 6 / 4 4 ](8*a[6] -2*a[5] -2*a[4] -2*a[3] , 8*a[6] +2minD[6] ), ( 3.4708180000000004 , 7.952028 )1.1371476485571046
[6 6 6 6 6 6 ][ 6 6 6 6 / 5 ](7*a[6] -5*a[4] , 7*a[6] +1*a[5] +2minD[6] ), ( 2.9221010000000005 , 7.893546000000001 )1.1491238326118611
[6 6 6 6 6 6 ][ 6 6 6 6 / 3 5 ](8*a[6] -1*a[5] -5*a[4] +1*a[3] , 8*a[6] +2minD[6] ), ( 3.455089 , 7.952028 )1.137437987309157
[6 6 6 6 6 6 ][ 6 6 6 6 / 4 5 ](8*a[6] -1*a[5] -4*a[4] -1*a[3] , 8*a[6] +2minD[6] ), ( 3.2927930000000005 , 7.952028 )1.1405396354684565
[6 6 6 6 6 6 ][ 6 6 6 6 / 5 5 ](8*a[6] -6*a[4] , 8*a[6] +2minD[6] ), ( 3.1147680000000006 , 7.952028 )1.1441826898715595
[6 6 6 6 6 6 ][ 6 6 6 6 / 6 ](8*a[6] -2*a[5] -4*a[4] , 7*a[6] +1*a[5] +2minD[6] ), ( 2.8463980000000006 , 7.893546000000001 )1.150912633773778
[6 6 6 6 6 6 ][ 6 6 6 6 / 3 6 ](9*a[6] -3*a[5] -4*a[4] +1*a[3] , 8*a[6] +2minD[6] ), ( 3.3793860000000002 , 7.952028 )1.1388603655153693
[6 6 6 6 6 6 ][ 6 6 6 6 / 4 6 ](9*a[6] -3*a[5] -3*a[4] -1*a[3] , 8*a[6] +2minD[6] ), ( 3.2170900000000007 , 7.952028 )1.142056384334295
[6 6 6 6 6 6 ][ 6 6 6 6 / 5 6 ](9*a[6] -2*a[5] -5*a[4] , 8*a[6] +2minD[6] ), ( 3.039065000000001 , 7.952028 )1.1458158794500017
[6 6 6 6 6 6 ][ 6 6 6 6 / 6 6 ](10*a[6] -4*a[5] -4*a[4] , 8*a[6] +2minD[6] ), ( 2.963362000000001 , 7.952028 )1.1475033386055657
[6 6 6 6 6 6 ][ 6 6 6 6 6 / ](7*a[6] -5*a[4] , 7*a[6] +1*a[5] +1minD[6] ), ( 2.9221010000000005 , 7.835064 )1.1498083620290562
[6 6 6 6 6 6 ][ 6 6 6 6 6 / 3 ](8*a[6] -1*a[5] -5*a[4] +1*a[3] , 8*a[6] +1minD[6] ), ( 3.455089 , 7.893546 )1.1380481352144136
[6 6 6 6 6 6 ][ 6 6 6 6 6 / 4 ](8*a[6] -1*a[5] -4*a[4] -1*a[3] , 8*a[6] +1minD[6] ), ( 3.292793 , 7.893546 )1.1411684851644226
[6 6 6 6 6 6 ][ 6 6 6 6 6 / 5 ](8*a[6] -6*a[4] , 8*a[6] +1minD[6] ), ( 3.114768 , 7.893546 )1.1448333755609028
[6 6 6 6 6 6 ][ 6 6 6 6 6 / 6 ](9*a[6] -2*a[5] -5*a[4] , 8*a[6] +1minD[6] ), ( 3.0390650000000003 , 7.893546 )1.1464765723600405
[6 6 6 6 6 6 ][ 6 6 6 6 6 6 / ](8*a[6] -6*a[4] , 8*a[6] +0minD[6] ), ( 3.114768 , 7.835064 )1.1454915277937374

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 6 6 6 6 6 6 ]( 7*a[6]-6*a[5] , 7*a[6]+2*a[3]+ 3*minD[6] )( 1.3302750000000008 , 7.980139000000001 )1.2076065347968958
Neighbors deg(u)Branching BVBN
[6 6 6 6 6 6 ]d': 3( 7*a[6]-6*a[5] , 7*a[6]+1*a[3]+ max(5, 2*(6-3))*minD[6] )( 1.3302750000000008 , 7.681079 )1.2131663552380425
[6 6 6 6 6 6 ]d': 4( 7*a[6]-6*a[5] , 7*a[6]+1*a[4]+ max(5, 2*(6-4))*minD[6] )( 1.3302750000000008 , 7.934807000000001 )1.2084271166199625