... So, one among the vertices in the set {d 1 , d 3 } must be included in H r . Similarly, one among the vertices {d 11 (7,4,4,8,9,14,20,24,29,34,33) ς(d 37 |H r ) (14,11,9,5,2,9,15,19,24,29,28) ς(d 18 |H r ) (8,5,5,7,8,13,19,23,28,33,32) ς(d 38 |H r ) (15,12,10,6,1,10,16,20,25,30,29) ς(d 19 |H r ) (9,6,6,8,9,14,20,24,29,34,33) ς(d 39 |H r ) (16,13,11,7,0,11,17,21,26,31,30) ς(d 20 |H r ) (10,7,7,9,10,15,21,25,30,35,34) ς(d 40 |H r ) (16,13,11,7,2,11,17,21,26,31,30) ς(d 41 |H r ) (15,12,10,6,5,8,14,18,23,28,27) ς(d 79 |H r ) (28,25,23,17,18,13,7,5,8,13,12) ς(d 42 |H r ) (14,11,9,5,4,7,13,17,22,27,26) ς(d 80 |H r ) (29,26,24,18,19,14,8,6,9,14,13) ς(d 43 |H r ) (15,12,10,4,5,6,12,16,21,26,25) ς(d 81 |H r ) (30,27,25,19,20,15,9,7,10,15,14) ς(d 44 |H r ) (14,11,9,3,6,7,13,17,22,27,26) ς(d 82 |H r ) (24,21,19,13,14,9,5,7,12,17,16) ς(d 45 |H r ) (16,13,11,5,6,5,11,15,20,25,24) ς(d 83 |H r ) (29,26,24,18,19,14,8,6,7,12,11) ς(d 46 |H r ) (17,14,12,6,7,4,10,14,19,24,23) ς(d 84 |H r ) (30,27,25,19,20,15,9,5,6,11,10) ς(d 47 |H r ) (18,15,13,7,8,3,9,13,18,23,22) ς(d 85 |H r ) (29,26,24,18,19,14,8,4,7,12,11) ς(d 48 |H r ) (19,16,14,8,9,2,10,14,19,24,23) ς(d 86 |H r ) (30,27,25,19,20,15,9,5,8,13,12) ς(d 49 |H r ) (20,17,15,9,10,1,11,15,20,25,24) ς(d 87 |H r ) (31,28,26,20,21,16,10,6,5,10,9) ς(d 50 |H r ) (21,18,16,10,11,2,12,16,21,26,25) ς(d 88 |H r ) (32,29,27,21,22,17,11,7,4,9,8) ς(d 51 |H r ) (21,18,16,10,11,0,12,16,21,26,25) ς(d 89 |H r ) (33,30,28,22,23,18,12,8,3,8,7) ς(d 52 |H r ) (18,15,13,7,8,5,9,13,18,23,22) ς(d 90 |H r ) (34,31,29,23,24,19,13,9,2,9,8) ς(d 53 |H r ) (19,16,14,8,9,6,10,14,19,24,23) ς(d 91 |H r ) (35,32,30,24,25,20,14,10,1,10,9) ς(d 54 |H r ) (20,17,15,9,10,7,11,15,20,25,24) ς(d 92 |H r ) (36,33,31,25,26,21,15,11,2,11,10) ς(d 55 |H r ) (19,16,14,8,9,6,8,12,17,22,21) ς(d 93 |H r ) (36,33,31,25,26,21,15,11, 0, 11, 10) ς(d 56 |H r ) (20,17,15,9,10,5,7,11,16,21,20) ς(d 94 |H r ) (34,31,29,23,24,19,13,9,4,7,6) ς(d 57 |H r ) (19,16,14,8,9,4,8,12,17,22,21) ς(d 95 |H r ) (35,32,30,24,25,20,14,10,5,6,5) (20,17,15,9,10,5,9,13,18,23,22) (24,21,19,13,14,9,7,9,14,19,18) (39,36,34,28,29,24,18,14,9,6,3) must be included in the set H r . From the above discussion, it follows that dim(A 116 ) ≥ 11. ...