(4,1234,[([0],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([1],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+0.0, 0.707106781 :+ 0.0]), ([2],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([3],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([0],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([1],[0.707106781 :+ 0.0,-0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([2],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0]), ([3],[0.707106781 :+ 0.0, -0.707106781 :+ 0.0, 0.707106781 :+ 0.0, 0.707106781 :+ 0.0])])