Problem:
Score : 500 points

Problem Statement

You are given a tree with N vertices 1,2,\ldots,N, and positive integers c_1,c_2,\ldots,c_N.
The i-th edge in the tree (1 \leq i \leq N-1) connects Vertex a_i and Vertex b_i.

We will write a positive integer on each vertex in T and calculate our score as follows:

On each edge, write the smaller of the integers written on the two endpoints.

Let our score be the sum of the integers written on all the edges.

Find the maximum possible score when we write each of c_1,c_2,\ldots,c_N on one vertex in T, and show one way to achieve it. If an integer occurs multiple times in c_1,c_2,\ldots,c_N, we must use it that number of times.

Constraints

1 \leq N \leq 10000

1 \leq a_i,b_i \leq N

1 \leq c_i \leq 10^5

The given graph is a tree.

Input

Input is given from Standard Input in the following format:

N
a_1 b_1
:
a_{N-1} b_{N-1}
c_1 \ldots c_N

Output

Use the following format:

M
d_1 \ldots d_N

where M is the maximum possible score, and d_i is the integer to write on Vertex i.
d_1,d_2,\ldots,d_N must be a permutation of c_1,c_2,\ldots,c_N.
If there are multiple ways to achieve the maximum score, any of them will be accepted.

Sample Input 1

5
1 2
2 3
3 4
4 5
1 2 3 4 5

Sample Output 1

10
1 2 3 4 5

If we write 1,2,3,4,5 on Vertex 1,2,3,4,5, respectively, the integers written on the four edges will be 1,2,3,4, for the score of 10. This is the maximum possible score.

Sample Input 2

5
1 2
1 3
1 4
1 5
3141 59 26 53 59

Sample Output 2

197
59 26 3141 59 53

c_1,c_2,\ldots,c_N may not be pairwise distinct.

Solution in Haskell (GHC 7.10.3) (judge verdict: Wrong Answer)

import           Control.Monad
import qualified Data.ByteString.Char8       as BS
import           Data.List
import           Data.Maybe
import qualified Data.Vector.Unboxed         as V
import qualified Data.Vector.Unboxed.Mutable as VM


readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine

main = do
  n <- getInt
  vs <- replicateM (n-1) getIntList
  cs <- getIntList

  ws <- VM.new (n+1)
  VM.set ws (0::Int)

  forM_ vs $ \[a, b] -> do
    wa <- VM.read ws a
    VM.write ws a (wa+1)
    wb <- VM.read ws b
    VM.write ws b (wb+1)

  wdict <- forM [1..n] $ \i -> do
    w <- VM.read ws i
    return (w, i)

  let wdict' = sort wdict

  nodes <- VM.new (n+1)
  forM_ (zip cs wdict) $ \(d, (_, i)) -> VM.write nodes (i-1) d
  nodes' <- V.freeze nodes

  print . sum $  fmap (\[a, b] -> min (nodes' V.! (a-1)) (nodes' V.! (b-1))) vs

  forM_ [1..n] $ \i -> do
    when (i > 1) $ putStr " "
    putStr . show $ nodes' V.! (i-1)

  putStrLn ""