#include using namespace std; #define _p(...) (void)printf(__VA_ARGS__) #define forr(x,arr) for(auto&& x:arr) #define _overload3(_1,_2,_3,name,...) name #define _rep2(i,n) _rep3(i,0,n) #define _rep3(i,a,b) for(int i=int(a);i=int(a);i--) #define rrep(...) _overload3(__VA_ARGS__,_rrep3,_rrep2,)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define bit(n) (1LL<<(n)) #define sz(x) ((int)(x).size()) #define fst first #define snd second using ll=long long;using pii=pair; using vb=vector;using vs=vector; using vi=vector;using vvi=vector;using vvvi=vector; using vl=vector;using vvl=vector;using vvvl=vector; using vd=vector;using vvd=vector;using vvvd=vector; using vpii=vector;using vvpii=vector;using vvvpii=vector; templateT read(){T t;cin>>t;return t;} templateostream&operator<<(ostream&o,const pair&p){o<<'('< bool amin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; } int dp[2][15001]; void Main() { int n = read(); int p = read(); vvi R(4, vi(n, 1)); rep(i, n) { R[0][i] = read(); R[1][i] = read(); R[2][i] = read(); } auto &cur = dp[0]; auto &nex = dp[1]; memset(cur, 0x3f, sizeof(nex)); cur[0] = 0; rep(i, n) { memset(nex, 0x3f, sizeof(nex)); rep(j, p+1) { rep(k, 4) { if (j+k <= p) amin(nex[j+k], cur[j] + R[k][i]); } } swap(cur, nex); } double ans = cur[p]; ans /= n; cout << fixed << setprecision(10) << ans << endl; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); Main(); return 0; }