let checkPlan cp fm cb =
    let flag = isValid fm cb
    match fm with
    |((bnsman , bnsopt), (tcman, tcopt), (ppsman, ppsopt), ep) ->
        let bnsSUM = sumECTS (Set.union bnsman bnsopt) cb = 45
        let tcSUM = sumECTS (Set.union tcman tcopt) cb = 45
        let ppsSUM = sumECTS (Set.union ppsman ppsopt) cb = 45
        let elSUM = sumECTS cp cb = 180
        bnsSUM && tcSUM && ppsSUM && elSUM;;