#include <bits/stdc++.h>
 
#define FOR(i, a, b) for(auto i=a; i<=b; ++i)
#define REP(i, a, b) for(auto i=a; i<b; ++i)
#define FORI(i, a, b) for(auto i=a; i!=b+1-2*(a>b); i+=1-2*(a>b))
#define REPI(i, a, b) for(auto i=a-(a>b); i!=b-(a>b); i+=1-2*(a>b))
#define ALL(v) v.begin(),v.end()
#define mp(a, b) make_pair(a, b)
#define pb(a) push_back(a)
#define pf(a) push_front(a)
#define eb(a, b) emplace_back(a, b)
#define fir first
#define sec second
#define what_is(x) cout<<#x<<" is "<<x<<endl;
#define type(x) typeid(x).name()
#define ms(arr, val) memset(arr, val, sizeof(arr))
#define min3(a,b,c) min(min(a,b),c)
#define max3(a,b,c) max(max(a,b),c)
#define PI acos(-1)
#define open_read freopen("christmas.in", "r", stdin)
#define open_write freopen("christmas.out", "w", stdout)
 
using namespace std;
 
typedef long long LL;
typedef long double LD;
typedef unsigned long long ULL;
typedef pair<double, double> PDD;
typedef pair<int, int> PII;
typedef pair<int, PII> PIPII;
typedef pair<PII, PII> PPIIPII;
typedef pair<LL, LL> PLL;
typedef pair<ULL, ULL> PUU;
typedef pair<LL, PLL> PLPLL;
typedef pair<PLL, PLL> PPLLPLL;
typedef pair<int, LL> PIL;
typedef pair<LL, int> PLI;
 
template<typename T, typename T1>
ostream& operator << (ostream &out, pair<T, T1> obj) {
    out << "(" << obj.first << ", " << obj.second << ")";
    return out;
}
 
template<typename T, typename T1>
ostream& operator << (ostream &out, map<T, T1> cont) {
    typename map<T, T1>::const_iterator itr = cont.begin();
    typename map<T, T1>::const_iterator ends = cont.end();
 
    for(; itr != ends; ++itr) {
        out << *itr << " ";
    }
 
    out<<endl;
    return out;
} 

template<typename T>
ostream& operator << (ostream &out, set<T> cont) {
    typename set<T>::const_iterator itr = cont.begin();
    typename set<T>::const_iterator ends = cont.end();
    
    for(; itr != ends; ++itr) {
        out << *itr << " ";
    }
 
    out << endl;
    return out;
}
  
template<typename T>
ostream& operator << (ostream &out, multiset<T> cont) {
    typename multiset<T>::const_iterator itr = cont.begin();
    typename multiset<T>::const_iterator ends = cont.end();
 
    for (; itr != ends; ++itr) {
        out << *itr << " ";
    }
 
    out << endl;
    return out;
}

template<typename T, template<typename ELEM, typename ALLOC=allocator<ELEM>> class CONT>
ostream& operator << (ostream &out, CONT<T> cont) {
    typename CONT<T>::const_iterator itr = cont.begin();
    typename CONT<T>::const_iterator ends = cont.end();
 
    for (; itr != ends; ++itr) {
        out << *itr << " ";
    }
 
    out << endl;
    return out;
}
 
template<typename T, unsigned int N, typename CTy, typename CTr>
typename enable_if<!is_same<T, char>::value, basic_ostream<CTy, CTr> &>::type
operator << (basic_ostream<CTy, CTr> &out, const T (&arr)[N]) {
    REP (i, 0, N) {
        out << arr[i] << " ";
    }
 
    out << endl;
    return out;
}
  
template<typename T>
T GCD(T a, T b) {
    T min_v = min(a, b);
    T max_v = max(a, b);
 
    while (min_v) {
        T temp = max_v % min_v;
        max_v = min_v;
        min_v = temp;
    }
 
    return max_v;
}
 
template<typename T>
T LCM(T a, T b) {
    return (a * b) / gcd(a, b);
}
 
template<typename T>
T fastExpPow(T base, T exp, T mod) {
    T res = 1;
 
    while (exp) {
        if (exp & 1) {
            res *= base;
            res %= mod;
        }
 
        exp >>= 1;
        base *= base;
        base %= mod;
    }
 
    return res % mod;
}
 
/*#################################################################################################################
###################################################################################################################
###################################################################################################################
#################################################################################################################*/

int N, M;
int seq[20];
vector<tuple<int, int, int, int>> info;
LL maxSum = 0;


void allPossible(int pos = 1, int num = 1) {
    if (pos > N) {
        LL sum = 0;

        for (auto elem: info) {
            int A, B, C, D;
            tie(A, B, C, D) = elem;

            if (seq[B] - seq[A] == C) {
                sum += D;
            }
        }
        
        maxSum = max(maxSum, sum);
        return;
    }

    FOR (i, num, M) { 
        seq[pos] = i;
        allPossible(pos + 1, i);
    }
}


int main() {
    int Q;
    scanf("%d%d%d", &N, &M, &Q);

    FOR (i, 1, Q) {
        int A, B, C, D;
        scanf("%d%d%d%d", &A, &B, &C, &D);
        info.pb(make_tuple(A, B, C, D));
    }
    
    allPossible();

    printf("%lld\n", maxSum);
    return 0;
}  


Measured memory_bytes: 3808