Lemma 12. There exist decompositions of the following types: 8+[4, 9+[4, 7 which we denote by L 2 . J 12 → [6, 6+[6, 7+[6, 5 which we denote by L 3 . J 16 → Most of the decompositions J |V(F)| → F that we need can be obtained from the decompositions given in Lemma 16 by using the ⊕ operation, but we also need a few other small decompositions and these are given in the following lemma. Lemma 17. The following decompositions exist: J 8 → [8], J 12 → [12], J 8 → [4, 4], J 12 → [4, 8], J 16 → [4, 12], J 12 → [6, 6], J 16 → [6, 10], J 20 → [10, 10], J 12 → [4, 4, 4], J 16 → [4, 6, 6], J 20 → [4, 6, 10], J 24 → [4, 10, 10]. Proof. The decomposition J 8 → [8] is given