fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val n = readInt ()
        val a_s = List.tabulate (n, fn _ => readInt ())
        val b_s = List.tabulate (n, fn _ => readInt ())
        val c_s = List.tabulate (n, fn _ => readInt ())

        val numOfI = List.length (List.filter (fn a => a mod 3 <> 0) a_s)
        val numOfJ = List.length (List.filter (fn b => b mod 3 <> 0) b_s)
        val numOfK = List.length (List.filter (fn c => c mod 3 <> 0) c_s)

        val ans = (Int.toLarge numOfI) * (Int.toLarge numOfJ) * (Int.toLarge numOfK)
    in
        print (LargeInt.toString ans ^ "\n")
    end