Language: C++

using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;

class B {
    static StreamWriter Out = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false };
    static void Main(string[] args) {
        int N, M;
        Input(out N, out M);
        int[] A;
        Inputs(out A);
        int count = 0;
        for(int i = 0; i < N; i++) {
            if(A[i] >= 4 * M) {
                count++;
            }
        }
        if(count >= M) {
            Print("Yes");
        } else {
            Print("No");
        }
        Out.Flush();
    }
    static T ChangeT<T>(string s) => (T)Convert.ChangeType(s, typeof(T));
    static void Input<A>(out A a) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
    }
    static void Input<A, B>(out A a, out B b) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
        b = ChangeT<B>(words[1]);
    }
    static void Input<A, B, C>(out A a, out B b, out C c) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
        b = ChangeT<B>(words[1]);
        c = ChangeT<C>(words[2]);
    }
    static void Input<A, B, C, D>(out A a, out B b, out C c, out D d) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
        b = ChangeT<B>(words[1]);
        c = ChangeT<C>(words[2]);
        d = ChangeT<D>(words[3]);
    }
    static void Input<A, B, C, D, E>(out A a, out B b, out C c, out D d, out E e) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
        b = ChangeT<B>(words[1]);
        c = ChangeT<C>(words[2]);
        d = ChangeT<D>(words[3]);
        e = ChangeT<E>(words[4]);
    }
    static void Input<A, B, C, D, E, F>(out A a, out B b, out C c, out D d, out E e, out F f) {
        var words = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries);
        a = ChangeT<A>(words[0]);
        b = ChangeT<B>(words[1]);
        c = ChangeT<C>(words[2]);
        d = ChangeT<D>(words[3]);
        e = ChangeT<E>(words[4]);
        f = ChangeT<F>(words[5]);
    }
    static void Inputs<T>(out T[] array) {
        array = Console.ReadLine().Split(new[] { ' ' }, options: StringSplitOptions.RemoveEmptyEntries).Select(s => ChangeT<T>(s)).ToArray();
    }
    static void Print<T>(T s) => Out.WriteLine(s);
    static void Print<T>(params T[] s) => Out.WriteLine(string.Join(" ", s));
    static void Print<T>(IEnumerable<T> e) => Out.WriteLine(string.Join(" ", e));
}

Compiler output:
a.cc:1:7: error: expected nested-name-specifier before 'System'
    1 | using System;
      |       ^~~~~~
a.cc:2:7: error: expected nested-name-specifier before 'System'
    2 | using System.Collections.Generic;
      |       ^~~~~~
a.cc:3:7: error: expected nested-name-specifier before 'System'
    3 | using System.IO;
      |       ^~~~~~
a.cc:4:7: error: expected nested-name-specifier before 'System'
    4 | using System.Linq;
      |       ^~~~~~
a.cc:7:12: error: 'StreamWriter' does not name a type
    7 |     static StreamWriter Out = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false };
      |            ^~~~~~~~~~~~
a.cc:8:22: error: 'string' has not been declared
    8 |     static void Main(string[] args) {
      |                      ^~~~~~
a.cc:8:31: error: expected ',' or '...' before 'args'
    8 |     static void Main(string[] args) {
      |                               ^~~~
a.cc:26:12: error: 'T' does not name a type
   26 |     static T ChangeT<T>(string s) => (T)Convert.ChangeType(s, typeof(T));
      |            ^
a.cc:27:17: error: variable or field 'Input' declared void
   27 |     static void Input<A>(out A a) {
      |                 ^~~~~
a.cc:27:17: error: expected ';' at end of member declaration
   27 |     static void Input<A>(out A a) {
      |                 ^~~~~
      |                      ;
a.cc:27:22: error: expected unqualified-id before '<' token
   27 |     static void Input<A>(out A a) {
      |                      ^
a.cc:31:17: error: variable or field 'Input' declared void
   31 |     static void Input<A, B>(out A a, out B b) {
      |                 ^~~~~
a.cc:31:17: error: expected ';' at end of member declaration
   31 |     static void Input<A, B>(out A a, out B b) {
      |                 ^~~~~
      |                      ;
a.cc:31:22: error: expected unqualified-id before '<' token
   31 |     static void Input<A, B>(out A a, out B b) {
      |                      ^
a.cc:36:17: error: variable or field 'Input' declared void
   36 |     static void Input<A, B, C>(out A a, out B b, out C c) {
      |                 ^~~~~
a.cc:36:17: error: expected ';' at end of member declaration
   36 |     static void Input<A, B, C>(out A a, out B b, out C c) {
      |                 ^~~~~
      |                      ;
a.cc:36:22: error: expected unqualified-id before '<' token
   36 |     static void Input<A, B, C>(out A a, out B b, out C c) {
      |                      ^
a.cc:42:17: error: variable or field 'Input' declared void
   42 |     static void Input<A, B, C, D>(out A a, out B b, out C c, out D d) {
      |                 ^~~~~
a.cc:42:17: error: expected ';' at end of member declaration
   42 |     static void Input<A, B, C, D>(out A a, out B b, out C c, out D d) {
      |                 ^~~~~
      |                      ;
a.cc:42:22: error: expected unqualified-id before '<' token
   42 |     static void Input<A, B, C, D>(out A a, out B b, out C c, out D d) {
      |                      ^
a.cc:49:17: error: variable or field 'Input' declared void
   49 |     static void Input<A, B, C, D, E>(out A a, out B b, out C c, out D d, out E e) {
      |                 ^~~~~
a.cc:49:17: error: expected ';' at end of member declaration
   49 |     static void Input<A, B, C, D, E>(out A a, out B b, out C c, out D d, out E e) {
      |                 ^~~~~
      |                      ;
a.cc:49:22: error: expected unqualified-id before '<' token
   49 |     static void Input<A, B, C, D, E>(out A a, out B b, out C c, out D d, out E e) {
      |                      ^
a.cc:57:17: error: variable or field 'Input' declared void
   57 |     static void Input<A, B, C, D, E, F>(out A a, out B b, out C c, out D d, out E e, out F f) {
      |                 ^~~~~
a.cc:57:17: error: expected ';' at end of member declaration
   57 |     static void Input<A, B, C, D, E, F>(out A a, out B b, out C c, out D d, out E e, out F f) {
      |                 ^~~~~
      |                      ;
a.cc:57:22: error: expected unqualified-id before '<' token
   57 |     static void Input<A, B, C, D, E, F>(out A a, out B b, out C c, out D d, out E e, out F f) {
      |                      ^
a.cc:66:17: error: variable or field 'Inputs' declared void
   66 |     static void Inputs<T>(out T[] array) {
      |                 ^~~~~~
a.cc:66:17: error: expected ';' at end of member declaration
   66 |     static void Inputs<T>(out T[] array) {
      |                 ^~~~~~
      |                       ;
a.cc:66:23: error: expected unqualified-id before '<' token
   66 |     static void Inputs<T>(out T[] array) {
      |                       ^
a.cc:69:17: error: variable or field 'Print' declared void
   69 |     static void Print<T>(T s) => Out.WriteLine(s);
      |                 ^~~~~
a.cc:69:17: error: expected ';' at end of member declaration
   69 |     static void Print<T>(T s) => Out.WriteLine(s);
      |                 ^~~~~
      |                      ;
a.cc:69:22: error: expected unqualified-id before '<' token
   69 |     static void Print<T>(T s) => Out.WriteLine(s);
      |                      ^
a.cc:70:17: error: variable or field 'Print' declared void
   70 |     static void Print<T>(params T[] s) => Out.WriteLine(string.Join(" ", s));
      |                 ^~~~~
a.cc:70:17: error: expected ';' at end of member declaration
   70 |     static void Print<T>(params T[] s) => Out.WriteLine(string.Join(" ", s));
      |                 ^~~~~
      |                      ;
a.cc:70:22: error: expected unqualified-id before '<' token
   70 |     static void Print<T>(params T[] s) => Out.WriteLine(string.Join(" ", s));
      |                      ^
a.cc:71:17: error: variable or field 'Print' declared void
   71 |     static void Print<T>(IEnumerable<T> e) => Out.WriteLine(string.Join(" ", e));
      |                 ^~~~~
a.cc:71:17: error: expected ';' at end of member declaration
   71 |     static void Print<T>(IEnumerable<T> e) => Out.WriteLine(string.Join(" ", e));
      |                 ^~~~~
      |                      ;
a.cc:71:22: error: expected unqualified-id before '<' token
   71 |     static void Print<T>(IEnumerable<T> e) => Out.WriteLine(string.Join(" ", e));
      |                      ^
a.cc:72:2: error: expected ';' after class definition
   72 | }
      |  ^
      |  ;
a.cc: In static member function 'static void B::Main(int*)':
a.cc:10:15: error: 'out' was not declared in this scope
   10 |         Input(out N, out M);
      |               ^~~
a.cc:10:26: error: expected ')' before 'M'
   10 |         Input(out N, out M);
      |                          ^
a.cc:10:14: note: to match this '('
   10 |         Input(out N, out M);
      |              ^
a.cc:10:9: error: 'Input' was not declared in this scope
   10 |         Input(out N, out M);
      |         ^~~~~
a.cc:11:12: error: structured binding declaration cannot have type 'int'
   11 |         int[] A;
      |            ^~
a.cc:11:12: note: type must be cv-qualified 'auto' or reference to cv-qualified 'auto'
a.cc:11:12: error: empty structured binding declaration
a.cc:11:15: error: expected initializer before 'A'
   11 |         int[] A;
      |               ^
a.cc:12:20: error: expected ')' before 'A'
   12 |         Inputs(out A);
      |                    ^
a.cc:12:15: note: to match this '('
   12 |         Inputs(out A);
      |               ^
a.cc:12:9: error: 'Inputs' was not declared in this scope
   12 |         Inputs(out A);
      |         ^~~~~~
a.cc:15:16: error: 'A' was not declared in this scope
   15 |             if(A[i] >= 4 * M) {
      |                ^
a.cc:20:13: error: 'Print' was not declared in this scope; did you mean 'int'?
   20 |             Print("Yes");
      |             ^~~~~
      |             int
a.cc:22:13: error: 'Print' was not declared in this scope; did you mean 'int'?
   22 |             Print("No");
      |             ^~~~~
      |             int
a.cc:24:9: error: 'Out' was not declared in this scope
   24 |         Out.Flush();
      |         ^~~