#include <bits/stdc++.h> // NeOWami
using namespace std;
 
#define ft first
#define sc second
 
signed main() {
    system("g++ new.cpp -o new -O2");
    system("g++ gen.cpp -o gen -O2");
    system("g++ trau.cpp -o trau-O2"); 
 
    // checker.cpp;
    // system("g++ checker.cpp -o checker - O2");
    for (int i = 1; i <= 10000; i++) {
        cout << "\nTEST: " << i << ": "; 
        system("gen > test.inp");
        auto stc = clock();
        system("trau < test.inp > test.ans");
        auto edc = clock();
        long double dur1 = (long double)(edc - stc) / CLOCKS_PER_SEC;
        cout << "Trau: "; cout << setprecision(6) << fixed << dur1 << "s | "; 
 
        auto start = clock();
        system("new < test.inp > test.out");
        auto ed = clock();
        long double dur = (long double)(ed - start) / CLOCKS_PER_SEC;
 
        if (system("fc test.out test.ans > NUL")) return cout << "WA", 0;
 
        // system("checker < test.inp < test.out > test.checkout");
        // system("checker < test.inp < test.ans > test.checkans");
        // if (system("fc test.checkout test.checkans > NUL")) return cout << "WACHECKER", 0;
 
        cout << "AC";
        cout << " - "; cout << setprecision(6) << fixed << dur << "s "; 
        if (dur > (long double)1.0) return cout << "TLE\n", 0;
    }
    return 0;
}
 

I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+IC8vIE5lT1dhbWkKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCiNkZWZpbmUgZnQgZmlyc3QKI2RlZmluZSBzYyBzZWNvbmQKCnNpZ25lZCBtYWluKCkgewogICAgc3lzdGVtKCJnKysgbmV3LmNwcCAtbyBuZXcgLU8yIik7CiAgICBzeXN0ZW0oImcrKyBnZW4uY3BwIC1vIGdlbiAtTzIiKTsKICAgIHN5c3RlbSgiZysrIHRyYXUuY3BwIC1vIHRyYXUtTzIiKTsgCgogICAgLy8gY2hlY2tlci5jcHA7CiAgICAvLyBzeXN0ZW0oImcrKyBjaGVja2VyLmNwcCAtbyBjaGVja2VyIC0gTzIiKTsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IDEwMDAwOyBpKyspIHsKICAgICAgICBjb3V0IDw8ICJcblRFU1Q6ICIgPDwgaSA8PCAiOiAiOyAKICAgICAgICBzeXN0ZW0oImdlbiA+IHRlc3QuaW5wIik7CiAgICAgICAgYXV0byBzdGMgPSBjbG9jaygpOwogICAgICAgIHN5c3RlbSgidHJhdSA8IHRlc3QuaW5wID4gdGVzdC5hbnMiKTsKICAgICAgICBhdXRvIGVkYyA9IGNsb2NrKCk7CiAgICAgICAgbG9uZyBkb3VibGUgZHVyMSA9IChsb25nIGRvdWJsZSkoZWRjIC0gc3RjKSAvIENMT0NLU19QRVJfU0VDOwogICAgICAgIGNvdXQgPDwgIlRyYXU6ICI7IGNvdXQgPDwgc2V0cHJlY2lzaW9uKDYpIDw8IGZpeGVkIDw8IGR1cjEgPDwgInMgfCAiOyAKICAgICAgICAKICAgICAgICBhdXRvIHN0YXJ0ID0gY2xvY2soKTsKICAgICAgICBzeXN0ZW0oIm5ldyA8IHRlc3QuaW5wID4gdGVzdC5vdXQiKTsKICAgICAgICBhdXRvIGVkID0gY2xvY2soKTsKICAgICAgICBsb25nIGRvdWJsZSBkdXIgPSAobG9uZyBkb3VibGUpKGVkIC0gc3RhcnQpIC8gQ0xPQ0tTX1BFUl9TRUM7CgogICAgICAgIGlmIChzeXN0ZW0oImZjIHRlc3Qub3V0IHRlc3QuYW5zID4gTlVMIikpIHJldHVybiBjb3V0IDw8ICJXQSIsIDA7CgogICAgICAgIC8vIHN5c3RlbSgiY2hlY2tlciA8IHRlc3QuaW5wIDwgdGVzdC5vdXQgPiB0ZXN0LmNoZWNrb3V0Iik7CiAgICAgICAgLy8gc3lzdGVtKCJjaGVja2VyIDwgdGVzdC5pbnAgPCB0ZXN0LmFucyA+IHRlc3QuY2hlY2thbnMiKTsKICAgICAgICAvLyBpZiAoc3lzdGVtKCJmYyB0ZXN0LmNoZWNrb3V0IHRlc3QuY2hlY2thbnMgPiBOVUwiKSkgcmV0dXJuIGNvdXQgPDwgIldBQ0hFQ0tFUiIsIDA7CgogICAgICAgIGNvdXQgPDwgIkFDIjsKICAgICAgICBjb3V0IDw8ICIgLSAiOyBjb3V0IDw8IHNldHByZWNpc2lvbig2KSA8PCBmaXhlZCA8PCBkdXIgPDwgInMgIjsgCiAgICAgICAgaWYgKGR1ciA+IChsb25nIGRvdWJsZSkxLjApIHJldHVybiBjb3V0IDw8ICJUTEVcbiIsIDA7CiAgICB9CiAgICByZXR1cm4gMDsKfQo=