cube étoilé

Lfaces := [[[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/2*sqrt(5), 0]], [[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/2*sqrt(5), 0, 0]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/2*sqrt(5), 0, 0]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/2*sqrt(5), 0]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, 0, 1/2*sqrt(5)]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 0, 1/2*sqrt(5)]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/2*sqrt(5), 0]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/2*sqrt(5), 0]], [[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 1/2*sqrt(5), 0]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, 0, -1/2*sqrt(5)]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 0, -1/2*sqrt(5)]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 0, -1/2*sqrt(5)]], [[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, 0, 1/2*sqrt(5)]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, 0, 1/2*sqrt(5)]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, 0, -1/2*sqrt(5)]], [[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/2*sqrt(5), 0]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/2*sqrt(5), 0]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/2*sqrt(5), 0, 0]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/2*sqrt(5), 0]]]

LfacesPOL:=proc(K)  
[[[[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/2*sqrt(5), 0, 0], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [-7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [-7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[1/2*sqrt(5), 0, 0], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[0, -1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/2*sqrt(5), 0, 0], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/2*sqrt(5), 0, 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, -2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/2*sqrt(5), 0, 0], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/2*sqrt(5), 0, 0], [-5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K], [7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [-5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [-2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [-2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[0, 1/2*sqrt(5), 0], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[0, 0, 1/2*sqrt(5)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[0, 0, 1/2*sqrt(5)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[0, -1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K], [0, 7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[0, -1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[0, 1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), -2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[0, 0, -1/2*sqrt(5)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[0, 0, -1/2*sqrt(5)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K], [0, -2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]]], [[[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[0, 0, -1/2*sqrt(5)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, -5/12*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, 7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]]], [[[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 0, 1/3*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[0, 0, 1/2*sqrt(5)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), 0, -7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 1/6*sqrt(5)*K, 5/12*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, 1/3*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K]], [[0, 0, 1/2*sqrt(5)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, 5/12*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[-1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [0, -1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]], [[0, 0, -1/2*sqrt(5)], [-1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K], [0, 2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, -1/6*sqrt(5)*K, -5/12*sqrt(5)*K]]], [[[-1/3*sqrt(5), 1/3*sqrt(5), 1/3*sqrt(5)], [-1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [-1/3*sqrt(5)*K, 1/3*sqrt(5)*K, 0], [2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[0, 1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K], [2/3*sqrt(5)*K/(K - 4), -7/6*sqrt(5)*K/(K - 4), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [-7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [-7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[1/2*sqrt(5), 0, 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4), 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, 1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[-1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [0, 1/3*sqrt(5)*K, -1/3*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[0, 1/2*sqrt(5), 0], [-1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K], [0, -7/6*sqrt(5)*K/(K - 4), 2/3*sqrt(5)*K/(K - 4)], [1/6*sqrt(5)*K, 5/12*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), 1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, 0, -1/3*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K]], [[1/2*sqrt(5), 0, 0], [5/12*sqrt(5)*K, -1/6*sqrt(5)*K, -1/6*sqrt(5)*K], [-7/6*sqrt(5)*K/(K - 4), 0, 2/3*sqrt(5)*K/(K - 4)], [5/12*sqrt(5)*K, 1/6*sqrt(5)*K, -1/6*sqrt(5)*K]]], [[[1/3*sqrt(5), -1/3*sqrt(5), 1/3*sqrt(5)], [1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [-2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]], [[1/3*sqrt(5), -1/3*sqrt(5), -1/3*sqrt(5)], [1/3*sqrt(5)*K, -1/3*sqrt(5)*K, 0], [-2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K]], [[0, -1/2*sqrt(5), 0], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, -1/6*sqrt(5)*K], [-2/3*sqrt(5)*K/(K - 4), 7/6*sqrt(5)*K/(K - 4), 0], [1/6*sqrt(5)*K, -5/12*sqrt(5)*K, 1/6*sqrt(5)*K]]]]: