#include <bits/stdc++.h>

#ifdef THEMIS
#include "testlib_themis.h"
const std::string TASK_NAME = "KMAX"; // Tên mã bài cho Themis
#else
#include "testlib.h"
#endif // THEMIS

using namespace std;

void check() {
    // 1. Đọc dữ liệu Input (inf)
    int n = inf.readInt(); // Đọc N
    
    // Lưu mảng A, sử dụng index từ 1 để dễ xử lý với L, R
    // Dùng long long vì giá trị a_i lên tới 10^9
    vector<long long> a(n + 1);
    for (int i = 1; i <= n; ++i) {
        a[i] = inf.readLong();
    }

    // 2. Đọc đáp án của Jury (ans)
    // Chúng ta chỉ cần quan tâm trọng số lớn nhất Jury tìm được
    long long jury_val = ans.readLong();
    // Đọc bỏ qua L và R của Jury (vì User có thể tìm ra đoạn khác có cùng trọng số)
    ans.readLong(); 
    ans.readLong();

    // 3. Đọc output của User (ouf)
    long long user_val = ouf.readLong();
    // Đọc L, R và kiểm tra luôn điều kiện 1 <= L, R <= N
    int user_l = ouf.readInt(1, n, "user_l"); 
    int user_r = ouf.readInt(1, n, "user_r");

    // 4. Kiểm tra logic
    
    // Kiểm tra L <= R
    if (user_l > user_r) {
        quitf(_wa, "Invalid range: L (%d) > R (%d)", user_l, user_r);
    }

    // Kiểm tra xem User có tìm được trọng số tối ưu như Jury không
    if (user_val < jury_val) {
        quitf(_wa, "Not optimal. Jury found %lld, but User found %lld", jury_val, user_val);
    }
    
    // Nếu User in ra số lớn hơn Jury -> Jury sai hoặc User in bừa
    if (user_val > jury_val) {
        quitf(_wa, "User output (%lld) exceeds Jury answer (%lld).", user_val, jury_val);
    }

    // Kiểm tra tính trung thực: 
    // Tính lại trọng số thực tế dựa trên đoạn [user_l, user_r] mà User in ra
    long long current_min = a[user_l];
    for (int i = user_l + 1; i <= user_r; ++i) {
        current_min = min(current_min, a[i]);
    }

    long long calculated_val = current_min * (long long)(user_r - user_l + 1);

    // So sánh trọng số tính lại với trọng số User in ra
    if (calculated_val != user_val) {
        quitf(_wa, "Wrong calculation. Range [%d, %d] has weight %lld, but User claimed %lld", 
              user_l, user_r, calculated_val, user_val);
    }

    // Nếu vượt qua tất cả bài kiểm tra
    quitf(_ok, "Correct! Weight: %lld, Range: [%d, %d]", user_val, user_l, user_r);
}

int main(int argc, char *argv[]) {
#ifdef THEMIS
    registerTestlibThemis(TASK_NAME + ".inp", TASK_NAME + ".out");
#else
    registerTestlibCmd(argc, argv);
#endif
    check();
    return 0;
}