@text C:\PAJEK\DATA\ERDOS\99\JEDRO\jedro99e.kin File: 7. C:\PAJEK\DATA\ERDOS\99\JEDRO\Jedro99e.net (36) Scene obtained using Pajek http://vlado.fmf.uni-lj.si/pub/networks/pajek/ Vladimir Batagelj & Andrej Mrvar University of Ljubljana, Slovenia @kinemage 1 @caption File: 7. C:\PAJEK\DATA\ERDOS\99\JEDRO\Jedro99e.net (36) @fontsizeword 18 @zoom 1.00 @thinline @zclipoff @group {Complete} dominant animate movieview = 1 @balllist 1 color=yellow radius= 0.20 {Alon} 4.1840 17.0740 6.0000 {Chung} 4.1840 17.0740 9.0000 {Frankl} 4.1840 17.0740 5.0000 {Furedi} 4.1840 17.0740 8.0000 {Graham} 4.1840 17.0740 7.0000 {Kleitman} 4.1840 17.0740 10.0000 @balllist 2 color=green radius= 0.20 {Babai} 15.4840 2.4400 3.0000 {Simonovits} 15.4840 2.4400 5.0000 {Sos} 15.4840 2.4400 7.0000 {Szemeredi} 15.4840 2.4400 6.0000 @balllist 3 color=red radius= 0.20 {Bollobas} 2.8360 10.7320 4.0000 {Spencer} 2.8360 10.7320 5.0000 {West} 2.8360 10.7320 10.0000 @balllist 4 color=blue radius= 0.20 {Burr} 18.7100 8.2920 8.0000 {Harary} 18.7100 8.2920 9.0000 {Nesetril} 18.7100 8.2920 6.0000 {Rodl} 18.7100 8.2920 7.0000 @balllist 5 color=hotpink radius= 0.20 {Chartrand} 10.9260 19.0240 14.0000 {Goddard} 10.9260 19.0240 12.0000 {Kubicka} 10.9260 19.0240 15.0000 {Kubicki} 10.9260 19.0240 13.0000 {Oellermann} 10.9260 19.0240 11.0000 @balllist 6 color=white radius= 0.20 {Chen} 11.6120 13.6580 18.0000 {Faudree} 11.6120 13.6580 13.0000 {Gould} 11.6120 13.6580 17.0000 {Gyarfas} 11.6120 13.6580 12.0000 {Jacobson} 11.6120 13.6580 16.0000 {Lehel} 11.6120 13.6580 14.0000 {Schelp} 11.6120 13.6580 11.0000 {Lesniak} 11.6120 13.6580 15.0000 @balllist 7 color=orange radius= 0.20 {Hajnal} 5.1060 3.9020 2.0000 {Lovasz} 5.1060 3.9020 3.0000 {Pach} 5.1060 3.9020 5.0000 @balllist 8 color=purple radius= 0.20 {Rousseau} 19.1840 15.6100 17.0000 {Tuza} 19.1840 15.6100 8.0000 @balllist 9 color=brown radius= 0.20 {Trotter} 9.3060 0.4880 5.0000 @vectorlist {Edges} color= bluetint P 4.184, 17.074, 6.000 15.484, 2.440, 3.000 P 4.184, 17.074, 6.000 2.836, 10.732, 4.000 P 4.184, 17.074, 6.000 4.184, 17.074, 9.000 P 4.184, 17.074, 6.000 11.612, 13.658, 13.000 P 4.184, 17.074, 6.000 4.184, 17.074, 5.000 P 4.184, 17.074, 6.000 4.184, 17.074, 8.000 P 4.184, 17.074, 6.000 4.184, 17.074, 7.000 P 4.184, 17.074, 6.000 5.106, 3.902, 2.000 P 4.184, 17.074, 6.000 4.184, 17.074, 10.000 P 4.184, 17.074, 6.000 5.106, 3.902, 3.000 P 4.184, 17.074, 6.000 18.710, 8.292, 6.000 P 4.184, 17.074, 6.000 18.710, 8.292, 7.000 P 4.184, 17.074, 6.000 2.836, 10.732, 5.000 P 4.184, 17.074, 6.000 15.484, 2.440, 6.000 P 4.184, 17.074, 6.000 9.306, 0.488, 5.000 P 4.184, 17.074, 6.000 19.184, 15.610, 8.000 P 15.484, 2.440, 3.000 4.184, 17.074, 9.000 P 15.484, 2.440, 3.000 4.184, 17.074, 5.000 P 15.484, 2.440, 3.000 4.184, 17.074, 7.000 P 15.484, 2.440, 3.000 5.106, 3.902, 3.000 P 15.484, 2.440, 3.000 18.710, 8.292, 6.000 P 15.484, 2.440, 3.000 18.710, 8.292, 7.000 P 15.484, 2.440, 3.000 15.484, 2.440, 5.000 P 15.484, 2.440, 3.000 15.484, 2.440, 7.000 P 15.484, 2.440, 3.000 2.836, 10.732, 5.000 P 2.836, 10.732, 4.000 4.184, 17.074, 9.000 P 2.836, 10.732, 4.000 4.184, 17.074, 7.000 P 2.836, 10.732, 4.000 18.710, 8.292, 9.000 P 2.836, 10.732, 4.000 18.710, 8.292, 6.000 P 2.836, 10.732, 4.000 15.484, 2.440, 5.000 P 2.836, 10.732, 4.000 2.836, 10.732, 5.000 P 2.836, 10.732, 4.000 15.484, 2.440, 6.000 P 18.710, 8.292, 8.000 11.612, 13.658, 13.000 P 18.710, 8.292, 8.000 4.184, 17.074, 5.000 P 18.710, 8.292, 8.000 11.612, 13.658, 17.000 P 18.710, 8.292, 8.000 4.184, 17.074, 7.000 P 18.710, 8.292, 8.000 11.612, 13.658, 12.000 P 18.710, 8.292, 8.000 18.710, 8.292, 9.000 P 18.710, 8.292, 8.000 11.612, 13.658, 16.000 P 18.710, 8.292, 8.000 5.106, 3.902, 3.000 P 18.710, 8.292, 8.000 18.710, 8.292, 6.000 P 18.710, 8.292, 8.000 18.710, 8.292, 7.000 P 18.710, 8.292, 8.000 19.184, 15.610, 17.000 P 18.710, 8.292, 8.000 11.612, 13.658, 11.000 P 18.710, 8.292, 8.000 15.484, 2.440, 7.000 P 10.926, 19.024, 14.000 4.184, 17.074, 9.000 P 10.926, 19.024, 14.000 10.926, 19.024, 12.000 P 10.926, 19.024, 14.000 11.612, 13.658, 17.000 P 10.926, 19.024, 14.000 4.184, 17.074, 7.000 P 10.926, 19.024, 14.000 18.710, 8.292, 9.000 P 10.926, 19.024, 14.000 11.612, 13.658, 16.000 P 10.926, 19.024, 14.000 10.926, 19.024, 15.000 P 10.926, 19.024, 14.000 10.926, 19.024, 13.000 P 10.926, 19.024, 14.000 11.612, 13.658, 14.000 P 10.926, 19.024, 14.000 10.926, 19.024, 11.000 P 10.926, 19.024, 14.000 19.184, 15.610, 17.000 P 11.612, 13.658, 18.000 11.612, 13.658, 13.000 P 11.612, 13.658, 18.000 11.612, 13.658, 17.000 P 11.612, 13.658, 18.000 11.612, 13.658, 12.000 P 11.612, 13.658, 18.000 11.612, 13.658, 16.000 P 11.612, 13.658, 18.000 11.612, 13.658, 14.000 P 11.612, 13.658, 18.000 19.184, 15.610, 17.000 P 11.612, 13.658, 18.000 11.612, 13.658, 11.000 P 11.612, 13.658, 18.000 2.836, 10.732, 10.000 P 4.184, 17.074, 9.000 4.184, 17.074, 5.000 P 4.184, 17.074, 9.000 4.184, 17.074, 8.000 P 4.184, 17.074, 9.000 10.926, 19.024, 12.000 P 4.184, 17.074, 9.000 4.184, 17.074, 7.000 P 4.184, 17.074, 9.000 11.612, 13.658, 12.000 P 4.184, 17.074, 9.000 4.184, 17.074, 10.000 P 4.184, 17.074, 9.000 10.926, 19.024, 11.000 P 4.184, 17.074, 9.000 2.836, 10.732, 5.000 P 4.184, 17.074, 9.000 15.484, 2.440, 6.000 P 4.184, 17.074, 9.000 9.306, 0.488, 5.000 P 11.612, 13.658, 13.000 4.184, 17.074, 8.000 P 11.612, 13.658, 13.000 10.926, 19.024, 12.000 P 11.612, 13.658, 13.000 11.612, 13.658, 17.000 P 11.612, 13.658, 13.000 11.612, 13.658, 12.000 P 11.612, 13.658, 13.000 18.710, 8.292, 9.000 P 11.612, 13.658, 13.000 11.612, 13.658, 16.000 P 11.612, 13.658, 13.000 11.612, 13.658, 14.000 P 11.612, 13.658, 13.000 5.106, 3.902, 5.000 P 11.612, 13.658, 13.000 19.184, 15.610, 17.000 P 11.612, 13.658, 13.000 11.612, 13.658, 11.000 P 11.612, 13.658, 13.000 15.484, 2.440, 5.000 P 11.612, 13.658, 13.000 15.484, 2.440, 7.000 P 11.612, 13.658, 13.000 2.836, 10.732, 5.000 P 11.612, 13.658, 13.000 19.184, 15.610, 8.000 P 4.184, 17.074, 5.000 4.184, 17.074, 8.000 P 4.184, 17.074, 5.000 4.184, 17.074, 7.000 P 4.184, 17.074, 5.000 4.184, 17.074, 10.000 P 4.184, 17.074, 5.000 5.106, 3.902, 3.000 P 4.184, 17.074, 5.000 5.106, 3.902, 5.000 P 4.184, 17.074, 5.000 18.710, 8.292, 7.000 P 4.184, 17.074, 8.000 11.612, 13.658, 17.000 P 4.184, 17.074, 8.000 4.184, 17.074, 7.000 P 4.184, 17.074, 8.000 11.612, 13.658, 12.000 P 4.184, 17.074, 8.000 5.106, 3.902, 2.000 P 4.184, 17.074, 8.000 4.184, 17.074, 10.000 P 4.184, 17.074, 8.000 5.106, 3.902, 3.000 P 4.184, 17.074, 8.000 5.106, 3.902, 5.000 P 4.184, 17.074, 8.000 18.710, 8.292, 7.000 P 4.184, 17.074, 8.000 15.484, 2.440, 7.000 P 4.184, 17.074, 8.000 9.306, 0.488, 5.000 P 10.926, 19.024, 12.000 4.184, 17.074, 10.000 P 10.926, 19.024, 12.000 10.926, 19.024, 15.000 P 10.926, 19.024, 12.000 10.926, 19.024, 13.000 P 10.926, 19.024, 12.000 10.926, 19.024, 11.000 P 10.926, 19.024, 12.000 5.106, 3.902, 5.000 P 11.612, 13.658, 17.000 11.612, 13.658, 12.000 P 11.612, 13.658, 17.000 11.612, 13.658, 16.000 P 11.612, 13.658, 17.000 10.926, 19.024, 15.000 P 11.612, 13.658, 17.000 10.926, 19.024, 13.000 P 11.612, 13.658, 17.000 11.612, 13.658, 14.000 P 11.612, 13.658, 17.000 18.710, 8.292, 7.000 P 11.612, 13.658, 17.000 19.184, 15.610, 17.000 P 11.612, 13.658, 17.000 11.612, 13.658, 11.000 P 11.612, 13.658, 17.000 2.836, 10.732, 10.000 P 4.184, 17.074, 7.000 18.710, 8.292, 9.000 P 4.184, 17.074, 7.000 4.184, 17.074, 10.000 P 4.184, 17.074, 7.000 5.106, 3.902, 3.000 P 4.184, 17.074, 7.000 18.710, 8.292, 6.000 P 4.184, 17.074, 7.000 10.926, 19.024, 11.000 P 4.184, 17.074, 7.000 18.710, 8.292, 7.000 P 4.184, 17.074, 7.000 15.484, 2.440, 5.000 P 4.184, 17.074, 7.000 15.484, 2.440, 7.000 P 4.184, 17.074, 7.000 2.836, 10.732, 5.000 P 11.612, 13.658, 12.000 11.612, 13.658, 16.000 P 11.612, 13.658, 12.000 11.612, 13.658, 14.000 P 11.612, 13.658, 12.000 18.710, 8.292, 6.000 P 11.612, 13.658, 12.000 18.710, 8.292, 7.000 P 11.612, 13.658, 12.000 19.184, 15.610, 17.000 P 11.612, 13.658, 12.000 11.612, 13.658, 11.000 P 11.612, 13.658, 12.000 15.484, 2.440, 6.000 P 11.612, 13.658, 12.000 9.306, 0.488, 5.000 P 11.612, 13.658, 12.000 19.184, 15.610, 8.000 P 11.612, 13.658, 12.000 2.836, 10.732, 10.000 P 5.106, 3.902, 2.000 5.106, 3.902, 3.000 P 5.106, 3.902, 2.000 5.106, 3.902, 5.000 P 5.106, 3.902, 2.000 18.710, 8.292, 7.000 P 5.106, 3.902, 2.000 15.484, 2.440, 5.000 P 5.106, 3.902, 2.000 15.484, 2.440, 7.000 P 5.106, 3.902, 2.000 15.484, 2.440, 6.000 P 18.710, 8.292, 9.000 11.612, 13.658, 16.000 P 18.710, 8.292, 9.000 10.926, 19.024, 15.000 P 18.710, 8.292, 9.000 10.926, 19.024, 13.000 P 18.710, 8.292, 9.000 18.710, 8.292, 6.000 P 18.710, 8.292, 9.000 10.926, 19.024, 11.000 P 18.710, 8.292, 9.000 18.710, 8.292, 7.000 P 18.710, 8.292, 9.000 9.306, 0.488, 5.000 P 11.612, 13.658, 16.000 10.926, 19.024, 15.000 P 11.612, 13.658, 16.000 10.926, 19.024, 13.000 P 11.612, 13.658, 16.000 11.612, 13.658, 14.000 P 11.612, 13.658, 16.000 10.926, 19.024, 11.000 P 11.612, 13.658, 16.000 19.184, 15.610, 17.000 P 11.612, 13.658, 16.000 11.612, 13.658, 11.000 P 11.612, 13.658, 16.000 19.184, 15.610, 8.000 P 11.612, 13.658, 16.000 2.836, 10.732, 10.000 P 4.184, 17.074, 10.000 5.106, 3.902, 5.000 P 4.184, 17.074, 10.000 2.836, 10.732, 5.000 P 10.926, 19.024, 15.000 10.926, 19.024, 13.000 P 10.926, 19.024, 15.000 11.612, 13.658, 14.000 P 10.926, 19.024, 15.000 10.926, 19.024, 11.000 P 10.926, 19.024, 13.000 11.612, 13.658, 14.000 P 10.926, 19.024, 13.000 10.926, 19.024, 11.000 P 11.612, 13.658, 14.000 18.710, 8.292, 6.000 P 11.612, 13.658, 14.000 10.926, 19.024, 11.000 P 11.612, 13.658, 14.000 18.710, 8.292, 7.000 P 11.612, 13.658, 14.000 11.612, 13.658, 11.000 P 11.612, 13.658, 14.000 19.184, 15.610, 8.000 P 11.612, 13.658, 14.000 2.836, 10.732, 10.000 P 5.106, 3.902, 3.000 18.710, 8.292, 6.000 P 5.106, 3.902, 3.000 5.106, 3.902, 5.000 P 5.106, 3.902, 3.000 15.484, 2.440, 5.000 P 5.106, 3.902, 3.000 2.836, 10.732, 5.000 P 18.710, 8.292, 6.000 18.710, 8.292, 7.000 P 18.710, 8.292, 6.000 11.612, 13.658, 11.000 P 5.106, 3.902, 5.000 18.710, 8.292, 7.000 P 5.106, 3.902, 5.000 15.484, 2.440, 5.000 P 5.106, 3.902, 5.000 2.836, 10.732, 5.000 P 5.106, 3.902, 5.000 15.484, 2.440, 6.000 P 18.710, 8.292, 7.000 11.612, 13.658, 11.000 P 18.710, 8.292, 7.000 2.836, 10.732, 5.000 P 18.710, 8.292, 7.000 15.484, 2.440, 6.000 P 18.710, 8.292, 7.000 9.306, 0.488, 5.000 P 19.184, 15.610, 17.000 11.612, 13.658, 11.000 P 11.612, 13.658, 11.000 15.484, 2.440, 5.000 P 11.612, 13.658, 11.000 15.484, 2.440, 7.000 P 11.612, 13.658, 11.000 19.184, 15.610, 8.000 P 11.612, 13.658, 11.000 2.836, 10.732, 10.000 P 15.484, 2.440, 5.000 15.484, 2.440, 7.000 P 15.484, 2.440, 5.000 2.836, 10.732, 5.000 P 4.184, 17.074, 5.000 15.484, 2.440, 7.000 P 18.710, 8.292, 8.000 2.836, 10.732, 5.000 P 2.836, 10.732, 5.000 15.484, 2.440, 6.000 P 2.836, 10.732, 5.000 9.306, 0.488, 5.000 P 15.484, 2.440, 3.000 15.484, 2.440, 6.000 P 4.184, 17.074, 7.000 15.484, 2.440, 6.000 P 15.484, 2.440, 5.000 15.484, 2.440, 6.000 P 15.484, 2.440, 7.000 15.484, 2.440, 6.000 P 15.484, 2.440, 6.000 9.306, 0.488, 5.000 P 5.106, 3.902, 3.000 9.306, 0.488, 5.000 P 9.306, 0.488, 5.000 19.184, 15.610, 8.000 P 4.184, 17.074, 9.000 19.184, 15.610, 8.000 P 4.184, 17.074, 8.000 19.184, 15.610, 8.000 P 5.106, 3.902, 2.000 19.184, 15.610, 8.000 P 18.710, 8.292, 9.000 19.184, 15.610, 8.000 P 18.710, 8.292, 6.000 19.184, 15.610, 8.000 P 5.106, 3.902, 5.000 19.184, 15.610, 8.000 P 18.710, 8.292, 7.000 19.184, 15.610, 8.000 P 19.184, 15.610, 17.000 19.184, 15.610, 8.000 P 15.484, 2.440, 6.000 19.184, 15.610, 8.000 P 4.184, 17.074, 6.000 2.836, 10.732, 10.000 P 2.836, 10.732, 4.000 2.836, 10.732, 10.000 P 4.184, 17.074, 10.000 2.836, 10.732, 10.000 P 10.926, 19.024, 15.000 2.836, 10.732, 10.000 P 10.926, 19.024, 13.000 2.836, 10.732, 10.000 P 2.836, 10.732, 5.000 2.836, 10.732, 10.000 P 9.306, 0.488, 5.000 2.836, 10.732, 10.000 P 10.926, 19.024, 14.000 11.612, 13.658, 15.000 P 11.612, 13.658, 18.000 11.612, 13.658, 15.000 P 11.612, 13.658, 13.000 11.612, 13.658, 15.000 P 10.926, 19.024, 12.000 11.612, 13.658, 15.000 P 11.612, 13.658, 17.000 11.612, 13.658, 15.000 P 11.612, 13.658, 12.000 11.612, 13.658, 15.000 P 11.612, 13.658, 16.000 11.612, 13.658, 15.000 P 11.612, 13.658, 14.000 11.612, 13.658, 15.000 P 10.926, 19.024, 11.000 11.612, 13.658, 15.000 P 11.612, 13.658, 11.000 11.612, 13.658, 15.000 @group {class=1} dominant animate movieview = 1 @balllist 1 color=yellow radius= 0.20 {Alon} 4.1840 17.0740 6.0000 {Chung} 4.1840 17.0740 9.0000 {Frankl} 4.1840 17.0740 5.0000 {Furedi} 4.1840 17.0740 8.0000 {Graham} 4.1840 17.0740 7.0000 {Kleitman} 4.1840 17.0740 10.0000 @vectorlist {Edges} color= bluetint P 4.184, 17.074, 6.000 4.184, 17.074, 9.000 P 4.184, 17.074, 6.000 4.184, 17.074, 5.000 P 4.184, 17.074, 6.000 4.184, 17.074, 8.000 P 4.184, 17.074, 6.000 4.184, 17.074, 7.000 P 4.184, 17.074, 6.000 4.184, 17.074, 10.000 P 4.184, 17.074, 9.000 4.184, 17.074, 5.000 P 4.184, 17.074, 9.000 4.184, 17.074, 8.000 P 4.184, 17.074, 9.000 4.184, 17.074, 7.000 P 4.184, 17.074, 9.000 4.184, 17.074, 10.000 P 4.184, 17.074, 5.000 4.184, 17.074, 8.000 P 4.184, 17.074, 5.000 4.184, 17.074, 7.000 P 4.184, 17.074, 5.000 4.184, 17.074, 10.000 P 4.184, 17.074, 8.000 4.184, 17.074, 7.000 P 4.184, 17.074, 8.000 4.184, 17.074, 10.000 P 4.184, 17.074, 7.000 4.184, 17.074, 10.000 @group {class=2} dominant animate movieview = 1 @balllist 2 color=green radius= 0.20 {Babai} 15.4840 2.4400 3.0000 {Simonovits} 15.4840 2.4400 5.0000 {Sos} 15.4840 2.4400 7.0000 {Szemeredi} 15.4840 2.4400 6.0000 @vectorlist {Edges} color= bluetint P 15.484, 2.440, 3.000 15.484, 2.440, 5.000 P 15.484, 2.440, 3.000 15.484, 2.440, 7.000 P 15.484, 2.440, 5.000 15.484, 2.440, 7.000 P 15.484, 2.440, 3.000 15.484, 2.440, 6.000 P 15.484, 2.440, 5.000 15.484, 2.440, 6.000 P 15.484, 2.440, 7.000 15.484, 2.440, 6.000 @group {class=3} dominant animate movieview = 1 @balllist 3 color=red radius= 0.20 {Bollobas} 2.8360 10.7320 4.0000 {Spencer} 2.8360 10.7320 5.0000 {West} 2.8360 10.7320 10.0000 @vectorlist {Edges} color= bluetint P 2.836, 10.732, 4.000 2.836, 10.732, 5.000 P 2.836, 10.732, 4.000 2.836, 10.732, 10.000 P 2.836, 10.732, 5.000 2.836, 10.732, 10.000 @group {class=4} dominant animate movieview = 1 @balllist 4 color=blue radius= 0.20 {Burr} 18.7100 8.2920 8.0000 {Harary} 18.7100 8.2920 9.0000 {Nesetril} 18.7100 8.2920 6.0000 {Rodl} 18.7100 8.2920 7.0000 @vectorlist {Edges} color= bluetint P 18.710, 8.292, 8.000 18.710, 8.292, 9.000 P 18.710, 8.292, 8.000 18.710, 8.292, 6.000 P 18.710, 8.292, 8.000 18.710, 8.292, 7.000 P 18.710, 8.292, 9.000 18.710, 8.292, 6.000 P 18.710, 8.292, 9.000 18.710, 8.292, 7.000 P 18.710, 8.292, 6.000 18.710, 8.292, 7.000 @group {class=5} dominant animate movieview = 1 @balllist 5 color=hotpink radius= 0.20 {Chartrand} 10.9260 19.0240 14.0000 {Goddard} 10.9260 19.0240 12.0000 {Kubicka} 10.9260 19.0240 15.0000 {Kubicki} 10.9260 19.0240 13.0000 {Oellermann} 10.9260 19.0240 11.0000 @vectorlist {Edges} color= bluetint P 10.926, 19.024, 14.000 10.926, 19.024, 12.000 P 10.926, 19.024, 14.000 10.926, 19.024, 15.000 P 10.926, 19.024, 14.000 10.926, 19.024, 13.000 P 10.926, 19.024, 14.000 10.926, 19.024, 11.000 P 10.926, 19.024, 12.000 10.926, 19.024, 15.000 P 10.926, 19.024, 12.000 10.926, 19.024, 13.000 P 10.926, 19.024, 12.000 10.926, 19.024, 11.000 P 10.926, 19.024, 15.000 10.926, 19.024, 13.000 P 10.926, 19.024, 15.000 10.926, 19.024, 11.000 P 10.926, 19.024, 13.000 10.926, 19.024, 11.000 @group {class=6} dominant animate movieview = 1 @balllist 6 color=white radius= 0.20 {Chen} 11.6120 13.6580 18.0000 {Faudree} 11.6120 13.6580 13.0000 {Gould} 11.6120 13.6580 17.0000 {Gyarfas} 11.6120 13.6580 12.0000 {Jacobson} 11.6120 13.6580 16.0000 {Lehel} 11.6120 13.6580 14.0000 {Schelp} 11.6120 13.6580 11.0000 {Lesniak} 11.6120 13.6580 15.0000 @vectorlist {Edges} color= bluetint P 11.612, 13.658, 18.000 11.612, 13.658, 13.000 P 11.612, 13.658, 18.000 11.612, 13.658, 17.000 P 11.612, 13.658, 18.000 11.612, 13.658, 12.000 P 11.612, 13.658, 18.000 11.612, 13.658, 16.000 P 11.612, 13.658, 18.000 11.612, 13.658, 14.000 P 11.612, 13.658, 18.000 11.612, 13.658, 11.000 P 11.612, 13.658, 13.000 11.612, 13.658, 17.000 P 11.612, 13.658, 13.000 11.612, 13.658, 12.000 P 11.612, 13.658, 13.000 11.612, 13.658, 16.000 P 11.612, 13.658, 13.000 11.612, 13.658, 14.000 P 11.612, 13.658, 13.000 11.612, 13.658, 11.000 P 11.612, 13.658, 17.000 11.612, 13.658, 12.000 P 11.612, 13.658, 17.000 11.612, 13.658, 16.000 P 11.612, 13.658, 17.000 11.612, 13.658, 14.000 P 11.612, 13.658, 17.000 11.612, 13.658, 11.000 P 11.612, 13.658, 12.000 11.612, 13.658, 16.000 P 11.612, 13.658, 12.000 11.612, 13.658, 14.000 P 11.612, 13.658, 12.000 11.612, 13.658, 11.000 P 11.612, 13.658, 16.000 11.612, 13.658, 14.000 P 11.612, 13.658, 16.000 11.612, 13.658, 11.000 P 11.612, 13.658, 14.000 11.612, 13.658, 11.000 P 11.612, 13.658, 18.000 11.612, 13.658, 15.000 P 11.612, 13.658, 13.000 11.612, 13.658, 15.000 P 11.612, 13.658, 17.000 11.612, 13.658, 15.000 P 11.612, 13.658, 12.000 11.612, 13.658, 15.000 P 11.612, 13.658, 16.000 11.612, 13.658, 15.000 P 11.612, 13.658, 14.000 11.612, 13.658, 15.000 P 11.612, 13.658, 11.000 11.612, 13.658, 15.000 @group {class=7} dominant animate movieview = 1 @balllist 7 color=orange radius= 0.20 {Hajnal} 5.1060 3.9020 2.0000 {Lovasz} 5.1060 3.9020 3.0000 {Pach} 5.1060 3.9020 5.0000 @vectorlist {Edges} color= bluetint P 5.106, 3.902, 2.000 5.106, 3.902, 3.000 P 5.106, 3.902, 2.000 5.106, 3.902, 5.000 P 5.106, 3.902, 3.000 5.106, 3.902, 5.000 @group {class=8} dominant animate movieview = 1 @balllist 8 color=purple radius= 0.20 {Rousseau} 19.1840 15.6100 17.0000 {Tuza} 19.1840 15.6100 8.0000 @vectorlist {Edges} color= bluetint P 19.184, 15.610, 17.000 19.184, 15.610, 8.000 @group {class=9} dominant animate movieview = 1 @balllist 9 color=brown radius= 0.20 {Trotter} 9.3060 0.4880 5.0000