QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#565010#8472. MajorityMIT Isn’t Training (Jiangqi Dai, Ziqian Zhong, Peter Zhou)#AC ✓2ms6872kbC++141.4kb2024-09-15 19:48:532024-09-15 19:48:53

Judging History

This is the latest submission verdict.

  • [2024-09-15 19:48:53]
  • Judged
  • Verdict: AC
  • Time: 2ms
  • Memory: 6872kb
  • [2024-09-15 19:48:53]
  • Submitted

answer

#include <bits/stdc++.h>
using namespace std;

int n, m;

int tp[100005];
vector<int> hv[100005];
void outp(int v, int t, const vector<int>& h) {
    tp[v] = t;
    hv[v] = h;
}

int tmp[65][65];
vector<int> merge(const vector<int>& a, const vector<int>& b) {
    for(int i = 0; i < (int)a.size(); i++) for(int j = 0; j < (int)b.size(); j++)
        outp(tmp[i][j] = ++m, 0, vector<int>{a[i], b[j]});
    vector<int> ret;
    ret.resize(a.size() + b.size());
    for(int i = 0; i < (int)ret.size(); i++) outp(ret[i] = ++m, 1, vector<int>{});
    for(int i = -1; i < (int)a.size(); i++) for(int j = -1; j < (int)b.size(); j++) {
        int k = i + j + 1;
        if(k == -1) continue;
        vector<int> cur;
        hv[ret[k]].push_back(i == -1 ? b[j] : (j == -1 ? a[i] : tmp[i][j]));
    }
    return ret;
}
vector<int> solve(int l, int r) {
    if(l == r) return vector<int>{l};

    int mid = (l + r) >> 1;
    return merge(solve(l, mid), solve(mid + 1, r));
}

int main() {
    scanf("%d", &n);
    m = n;
    vector<int> ans = solve(1, n);
    outp(++m, 0, vector<int>{ans[(n - 1) / 2]});

    printf("%d\n", m - n);
    for(int i = n + 1; i <= m; i++) {
        if(tp[i] == 0) printf("AND %d", hv[i].size());
        else printf("OR %d", hv[i].size());
        for(auto j : hv[i]) printf(" %d", j); printf("\n");
    }
    return 0;
}

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 100
Accepted
time: 1ms
memory: 6120kb

input:

4

output:

15
AND 2 3 4
OR 2 4 3
OR 1 5
AND 2 1 2
OR 2 2 1
OR 1 8
AND 2 9 6
AND 2 9 7
AND 2 10 6
AND 2 10 7
OR 2 6 9
OR 3 7 11 10
OR 2 12 13
OR 1 14
AND 1 16

result:

ok Random tests passed.

Test #2:

score: 0
Accepted
time: 2ms
memory: 6460kb

input:

64

output:

2401
AND 2 63 64
OR 2 64 63
OR 1 65
AND 2 61 62
OR 2 62 61
OR 1 68
AND 2 69 66
AND 2 69 67
AND 2 70 66
AND 2 70 67
OR 2 66 69
OR 3 67 71 70
OR 2 72 73
OR 1 74
AND 2 59 60
OR 2 60 59
OR 1 79
AND 2 57 58
OR 2 58 57
OR 1 82
AND 2 83 80
AND 2 83 81
AND 2 84 80
AND 2 84 81
OR 2 80 83
OR 3 81 85 84
OR 2 8...

result:

ok Random tests passed.

Test #3:

score: 0
Accepted
time: 2ms
memory: 6280kb

input:

63

output:

2331
AND 2 61 62
OR 2 62 61
OR 1 64
AND 2 65 63
AND 2 66 63
OR 2 63 65
OR 2 67 66
OR 1 68
AND 2 59 60
OR 2 60 59
OR 1 72
AND 2 57 58
OR 2 58 57
OR 1 75
AND 2 76 73
AND 2 76 74
AND 2 77 73
AND 2 77 74
OR 2 73 76
OR 3 74 78 77
OR 2 79 80
OR 1 81
AND 2 82 69
AND 2 82 70
AND 2 82 71
AND 2 83 69
AND 2 83...

result:

ok Random tests passed.

Test #4:

score: 0
Accepted
time: 2ms
memory: 6524kb

input:

62

output:

2262
AND 2 60 61
OR 2 61 60
OR 1 63
AND 2 64 62
AND 2 65 62
OR 2 62 64
OR 2 66 65
OR 1 67
AND 2 58 59
OR 2 59 58
OR 1 71
AND 2 56 57
OR 2 57 56
OR 1 74
AND 2 75 72
AND 2 75 73
AND 2 76 72
AND 2 76 73
OR 2 72 75
OR 3 73 77 76
OR 2 78 79
OR 1 80
AND 2 81 68
AND 2 81 69
AND 2 81 70
AND 2 82 68
AND 2 82...

result:

ok Random tests passed.

Test #5:

score: 0
Accepted
time: 0ms
memory: 6872kb

input:

61

output:

2194
AND 2 59 60
OR 2 60 59
OR 1 62
AND 2 63 61
AND 2 64 61
OR 2 61 63
OR 2 65 64
OR 1 66
AND 2 57 58
OR 2 58 57
OR 1 70
AND 2 55 56
OR 2 56 55
OR 1 73
AND 2 74 71
AND 2 74 72
AND 2 75 71
AND 2 75 72
OR 2 71 74
OR 3 72 76 75
OR 2 77 78
OR 1 79
AND 2 80 67
AND 2 80 68
AND 2 80 69
AND 2 81 67
AND 2 81...

result:

ok Random tests passed.

Test #6:

score: 0
Accepted
time: 2ms
memory: 6296kb

input:

60

output:

2127
AND 2 58 59
OR 2 59 58
OR 1 61
AND 2 62 60
AND 2 63 60
OR 2 60 62
OR 2 64 63
OR 1 65
AND 2 56 57
OR 2 57 56
OR 1 69
AND 2 54 55
OR 2 55 54
OR 1 72
AND 2 73 70
AND 2 73 71
AND 2 74 70
AND 2 74 71
OR 2 70 73
OR 3 71 75 74
OR 2 76 77
OR 1 78
AND 2 79 66
AND 2 79 67
AND 2 79 68
AND 2 80 66
AND 2 80...

result:

ok Random tests passed.

Test #7:

score: 0
Accepted
time: 0ms
memory: 6252kb

input:

59

output:

2061
AND 2 57 58
OR 2 58 57
OR 1 60
AND 2 61 59
AND 2 62 59
OR 2 59 61
OR 2 63 62
OR 1 64
AND 2 55 56
OR 2 56 55
OR 1 68
AND 2 53 54
OR 2 54 53
OR 1 71
AND 2 72 69
AND 2 72 70
AND 2 73 69
AND 2 73 70
OR 2 69 72
OR 3 70 74 73
OR 2 75 76
OR 1 77
AND 2 78 65
AND 2 78 66
AND 2 78 67
AND 2 79 65
AND 2 79...

result:

ok Random tests passed.

Test #8:

score: 0
Accepted
time: 2ms
memory: 6264kb

input:

58

output:

1996
AND 2 56 57
OR 2 57 56
OR 1 59
AND 2 60 58
AND 2 61 58
OR 2 58 60
OR 2 62 61
OR 1 63
AND 2 54 55
OR 2 55 54
OR 1 67
AND 2 52 53
OR 2 53 52
OR 1 70
AND 2 71 68
AND 2 71 69
AND 2 72 68
AND 2 72 69
OR 2 68 71
OR 3 69 73 72
OR 2 74 75
OR 1 76
AND 2 77 64
AND 2 77 65
AND 2 77 66
AND 2 78 64
AND 2 78...

result:

ok Random tests passed.

Test #9:

score: 0
Accepted
time: 2ms
memory: 6224kb

input:

57

output:

1932
AND 2 55 56
OR 2 56 55
OR 1 58
AND 2 59 57
AND 2 60 57
OR 2 57 59
OR 2 61 60
OR 1 62
AND 2 53 54
OR 2 54 53
OR 1 66
AND 2 51 52
OR 2 52 51
OR 1 69
AND 2 70 67
AND 2 70 68
AND 2 71 67
AND 2 71 68
OR 2 67 70
OR 3 68 72 71
OR 2 73 74
OR 1 75
AND 2 76 63
AND 2 76 64
AND 2 76 65
AND 2 77 63
AND 2 77...

result:

ok Random tests passed.

Test #10:

score: 0
Accepted
time: 1ms
memory: 6240kb

input:

56

output:

1869
AND 2 54 55
OR 2 55 54
OR 1 57
AND 2 58 56
AND 2 59 56
OR 2 56 58
OR 2 60 59
OR 1 61
AND 2 52 53
OR 2 53 52
OR 1 65
AND 2 50 51
OR 2 51 50
OR 1 68
AND 2 69 66
AND 2 69 67
AND 2 70 66
AND 2 70 67
OR 2 66 69
OR 3 67 71 70
OR 2 72 73
OR 1 74
AND 2 75 62
AND 2 75 63
AND 2 75 64
AND 2 76 62
AND 2 76...

result:

ok Random tests passed.

Test #11:

score: 0
Accepted
time: 1ms
memory: 6444kb

input:

55

output:

1807
AND 2 53 54
OR 2 54 53
OR 1 56
AND 2 57 55
AND 2 58 55
OR 2 55 57
OR 2 59 58
OR 1 60
AND 2 50 51
OR 2 51 50
OR 1 64
AND 2 65 52
AND 2 66 52
OR 2 52 65
OR 2 67 66
OR 1 68
AND 2 69 61
AND 2 69 62
AND 2 69 63
AND 2 70 61
AND 2 70 62
AND 2 70 63
AND 2 71 61
AND 2 71 62
AND 2 71 63
OR 2 61 69
OR 3 6...

result:

ok Random tests passed.

Test #12:

score: 0
Accepted
time: 0ms
memory: 6592kb

input:

54

output:

1746
AND 2 52 53
OR 2 53 52
OR 1 55
AND 2 56 54
AND 2 57 54
OR 2 54 56
OR 2 58 57
OR 1 59
AND 2 49 50
OR 2 50 49
OR 1 63
AND 2 64 51
AND 2 65 51
OR 2 51 64
OR 2 66 65
OR 1 67
AND 2 68 60
AND 2 68 61
AND 2 68 62
AND 2 69 60
AND 2 69 61
AND 2 69 62
AND 2 70 60
AND 2 70 61
AND 2 70 62
OR 2 60 68
OR 3 6...

result:

ok Random tests passed.

Test #13:

score: 0
Accepted
time: 0ms
memory: 6216kb

input:

53

output:

1686
AND 2 51 52
OR 2 52 51
OR 1 54
AND 2 55 53
AND 2 56 53
OR 2 53 55
OR 2 57 56
OR 1 58
AND 2 48 49
OR 2 49 48
OR 1 62
AND 2 63 50
AND 2 64 50
OR 2 50 63
OR 2 65 64
OR 1 66
AND 2 67 59
AND 2 67 60
AND 2 67 61
AND 2 68 59
AND 2 68 60
AND 2 68 61
AND 2 69 59
AND 2 69 60
AND 2 69 61
OR 2 59 67
OR 3 6...

result:

ok Random tests passed.

Test #14:

score: 0
Accepted
time: 1ms
memory: 6580kb

input:

52

output:

1627
AND 2 50 51
OR 2 51 50
OR 1 53
AND 2 54 52
AND 2 55 52
OR 2 52 54
OR 2 56 55
OR 1 57
AND 2 47 48
OR 2 48 47
OR 1 61
AND 2 62 49
AND 2 63 49
OR 2 49 62
OR 2 64 63
OR 1 65
AND 2 66 58
AND 2 66 59
AND 2 66 60
AND 2 67 58
AND 2 67 59
AND 2 67 60
AND 2 68 58
AND 2 68 59
AND 2 68 60
OR 2 58 66
OR 3 5...

result:

ok Random tests passed.

Test #15:

score: 0
Accepted
time: 2ms
memory: 6312kb

input:

51

output:

1569
AND 2 49 50
OR 2 50 49
OR 1 52
AND 2 53 51
AND 2 54 51
OR 2 51 53
OR 2 55 54
OR 1 56
AND 2 46 47
OR 2 47 46
OR 1 60
AND 2 61 48
AND 2 62 48
OR 2 48 61
OR 2 63 62
OR 1 64
AND 2 65 57
AND 2 65 58
AND 2 65 59
AND 2 66 57
AND 2 66 58
AND 2 66 59
AND 2 67 57
AND 2 67 58
AND 2 67 59
OR 2 57 65
OR 3 5...

result:

ok Random tests passed.

Test #16:

score: 0
Accepted
time: 2ms
memory: 6232kb

input:

50

output:

1512
AND 2 48 49
OR 2 49 48
OR 1 51
AND 2 52 50
AND 2 53 50
OR 2 50 52
OR 2 54 53
OR 1 55
AND 2 45 46
OR 2 46 45
OR 1 59
AND 2 60 47
AND 2 61 47
OR 2 47 60
OR 2 62 61
OR 1 63
AND 2 64 56
AND 2 64 57
AND 2 64 58
AND 2 65 56
AND 2 65 57
AND 2 65 58
AND 2 66 56
AND 2 66 57
AND 2 66 58
OR 2 56 64
OR 3 5...

result:

ok Random tests passed.

Test #17:

score: 0
Accepted
time: 2ms
memory: 6496kb

input:

49

output:

1456
AND 2 47 48
OR 2 48 47
OR 1 50
AND 2 51 49
AND 2 52 49
OR 2 49 51
OR 2 53 52
OR 1 54
AND 2 44 45
OR 2 45 44
OR 1 58
AND 2 59 46
AND 2 60 46
OR 2 46 59
OR 2 61 60
OR 1 62
AND 2 63 55
AND 2 63 56
AND 2 63 57
AND 2 64 55
AND 2 64 56
AND 2 64 57
AND 2 65 55
AND 2 65 56
AND 2 65 57
OR 2 55 63
OR 3 5...

result:

ok Random tests passed.

Test #18:

score: 0
Accepted
time: 1ms
memory: 6776kb

input:

48

output:

1401
AND 2 46 47
OR 2 47 46
OR 1 49
AND 2 50 48
AND 2 51 48
OR 2 48 50
OR 2 52 51
OR 1 53
AND 2 43 44
OR 2 44 43
OR 1 57
AND 2 58 45
AND 2 59 45
OR 2 45 58
OR 2 60 59
OR 1 61
AND 2 62 54
AND 2 62 55
AND 2 62 56
AND 2 63 54
AND 2 63 55
AND 2 63 56
AND 2 64 54
AND 2 64 55
AND 2 64 56
OR 2 54 62
OR 3 5...

result:

ok Random tests passed.

Test #19:

score: 0
Accepted
time: 1ms
memory: 6472kb

input:

47

output:

1347
AND 2 46 47
OR 2 47 46
OR 1 48
AND 2 43 44
OR 2 44 43
OR 1 51
AND 2 52 45
AND 2 53 45
OR 2 45 52
OR 2 54 53
OR 1 55
AND 2 56 49
AND 2 56 50
AND 2 57 49
AND 2 57 50
AND 2 58 49
AND 2 58 50
OR 2 49 56
OR 3 50 59 57
OR 3 60 61 58
OR 2 62 63
OR 1 64
AND 2 40 41
OR 2 41 40
OR 1 70
AND 2 71 42
AND 2 ...

result:

ok Random tests passed.

Test #20:

score: 0
Accepted
time: 0ms
memory: 6200kb

input:

46

output:

1294
AND 2 45 46
OR 2 46 45
OR 1 47
AND 2 42 43
OR 2 43 42
OR 1 50
AND 2 51 44
AND 2 52 44
OR 2 44 51
OR 2 53 52
OR 1 54
AND 2 55 48
AND 2 55 49
AND 2 56 48
AND 2 56 49
AND 2 57 48
AND 2 57 49
OR 2 48 55
OR 3 49 58 56
OR 3 59 60 57
OR 2 61 62
OR 1 63
AND 2 39 40
OR 2 40 39
OR 1 69
AND 2 70 41
AND 2 ...

result:

ok Random tests passed.

Test #21:

score: 0
Accepted
time: 1ms
memory: 6524kb

input:

45

output:

1242
AND 2 44 45
OR 2 45 44
OR 1 46
AND 2 41 42
OR 2 42 41
OR 1 49
AND 2 50 43
AND 2 51 43
OR 2 43 50
OR 2 52 51
OR 1 53
AND 2 54 47
AND 2 54 48
AND 2 55 47
AND 2 55 48
AND 2 56 47
AND 2 56 48
OR 2 47 54
OR 3 48 57 55
OR 3 58 59 56
OR 2 60 61
OR 1 62
AND 2 38 39
OR 2 39 38
OR 1 68
AND 2 69 40
AND 2 ...

result:

ok Random tests passed.

Test #22:

score: 0
Accepted
time: 0ms
memory: 6516kb

input:

44

output:

1191
AND 2 43 44
OR 2 44 43
OR 1 45
AND 2 40 41
OR 2 41 40
OR 1 48
AND 2 49 42
AND 2 50 42
OR 2 42 49
OR 2 51 50
OR 1 52
AND 2 53 46
AND 2 53 47
AND 2 54 46
AND 2 54 47
AND 2 55 46
AND 2 55 47
OR 2 46 53
OR 3 47 56 54
OR 3 57 58 55
OR 2 59 60
OR 1 61
AND 2 37 38
OR 2 38 37
OR 1 67
AND 2 68 39
AND 2 ...

result:

ok Random tests passed.

Test #23:

score: 0
Accepted
time: 1ms
memory: 6520kb

input:

43

output:

1141
AND 2 42 43
OR 2 43 42
OR 1 44
AND 2 39 40
OR 2 40 39
OR 1 47
AND 2 48 41
AND 2 49 41
OR 2 41 48
OR 2 50 49
OR 1 51
AND 2 52 45
AND 2 52 46
AND 2 53 45
AND 2 53 46
AND 2 54 45
AND 2 54 46
OR 2 45 52
OR 3 46 55 53
OR 3 56 57 54
OR 2 58 59
OR 1 60
AND 2 37 38
OR 2 38 37
OR 1 66
AND 2 34 35
OR 2 3...

result:

ok Random tests passed.

Test #24:

score: 0
Accepted
time: 1ms
memory: 6480kb

input:

42

output:

1092
AND 2 41 42
OR 2 42 41
OR 1 43
AND 2 38 39
OR 2 39 38
OR 1 46
AND 2 47 40
AND 2 48 40
OR 2 40 47
OR 2 49 48
OR 1 50
AND 2 51 44
AND 2 51 45
AND 2 52 44
AND 2 52 45
AND 2 53 44
AND 2 53 45
OR 2 44 51
OR 3 45 54 52
OR 3 55 56 53
OR 2 57 58
OR 1 59
AND 2 36 37
OR 2 37 36
OR 1 65
AND 2 33 34
OR 2 3...

result:

ok Random tests passed.

Test #25:

score: 0
Accepted
time: 2ms
memory: 6192kb

input:

41

output:

1044
AND 2 40 41
OR 2 41 40
OR 1 42
AND 2 37 38
OR 2 38 37
OR 1 45
AND 2 46 39
AND 2 47 39
OR 2 39 46
OR 2 48 47
OR 1 49
AND 2 50 43
AND 2 50 44
AND 2 51 43
AND 2 51 44
AND 2 52 43
AND 2 52 44
OR 2 43 50
OR 3 44 53 51
OR 3 54 55 52
OR 2 56 57
OR 1 58
AND 2 35 36
OR 2 36 35
OR 1 64
AND 2 32 33
OR 2 3...

result:

ok Random tests passed.

Test #26:

score: 0
Accepted
time: 2ms
memory: 6512kb

input:

40

output:

997
AND 2 39 40
OR 2 40 39
OR 1 41
AND 2 36 37
OR 2 37 36
OR 1 44
AND 2 45 38
AND 2 46 38
OR 2 38 45
OR 2 47 46
OR 1 48
AND 2 49 42
AND 2 49 43
AND 2 50 42
AND 2 50 43
AND 2 51 42
AND 2 51 43
OR 2 42 49
OR 3 43 52 50
OR 3 53 54 51
OR 2 55 56
OR 1 57
AND 2 34 35
OR 2 35 34
OR 1 63
AND 2 31 32
OR 2 32...

result:

ok Random tests passed.

Test #27:

score: 0
Accepted
time: 0ms
memory: 6228kb

input:

39

output:

951
AND 2 38 39
OR 2 39 38
OR 1 40
AND 2 36 37
OR 2 37 36
OR 1 43
AND 2 44 41
AND 2 44 42
AND 2 45 41
AND 2 45 42
OR 2 41 44
OR 3 42 46 45
OR 2 47 48
OR 1 49
AND 2 34 35
OR 2 35 34
OR 1 54
AND 2 31 32
OR 2 32 31
OR 1 57
AND 2 58 33
AND 2 59 33
OR 2 33 58
OR 2 60 59
OR 1 61
AND 2 62 55
AND 2 62 56
AN...

result:

ok Random tests passed.

Test #28:

score: 0
Accepted
time: 1ms
memory: 6516kb

input:

38

output:

906
AND 2 37 38
OR 2 38 37
OR 1 39
AND 2 35 36
OR 2 36 35
OR 1 42
AND 2 43 40
AND 2 43 41
AND 2 44 40
AND 2 44 41
OR 2 40 43
OR 3 41 45 44
OR 2 46 47
OR 1 48
AND 2 33 34
OR 2 34 33
OR 1 53
AND 2 30 31
OR 2 31 30
OR 1 56
AND 2 57 32
AND 2 58 32
OR 2 32 57
OR 2 59 58
OR 1 60
AND 2 61 54
AND 2 61 55
AN...

result:

ok Random tests passed.

Test #29:

score: 0
Accepted
time: 1ms
memory: 6208kb

input:

37

output:

862
AND 2 36 37
OR 2 37 36
OR 1 38
AND 2 34 35
OR 2 35 34
OR 1 41
AND 2 42 39
AND 2 42 40
AND 2 43 39
AND 2 43 40
OR 2 39 42
OR 3 40 44 43
OR 2 45 46
OR 1 47
AND 2 32 33
OR 2 33 32
OR 1 52
AND 2 29 30
OR 2 30 29
OR 1 55
AND 2 56 31
AND 2 57 31
OR 2 31 56
OR 2 58 57
OR 1 59
AND 2 60 53
AND 2 60 54
AN...

result:

ok Random tests passed.

Test #30:

score: 0
Accepted
time: 1ms
memory: 6180kb

input:

36

output:

819
AND 2 35 36
OR 2 36 35
OR 1 37
AND 2 33 34
OR 2 34 33
OR 1 40
AND 2 41 38
AND 2 41 39
AND 2 42 38
AND 2 42 39
OR 2 38 41
OR 3 39 43 42
OR 2 44 45
OR 1 46
AND 2 31 32
OR 2 32 31
OR 1 51
AND 2 28 29
OR 2 29 28
OR 1 54
AND 2 55 30
AND 2 56 30
OR 2 30 55
OR 2 57 56
OR 1 58
AND 2 59 52
AND 2 59 53
AN...

result:

ok Random tests passed.

Test #31:

score: 0
Accepted
time: 1ms
memory: 6212kb

input:

35

output:

777
AND 2 34 35
OR 2 35 34
OR 1 36
AND 2 32 33
OR 2 33 32
OR 1 39
AND 2 40 37
AND 2 40 38
AND 2 41 37
AND 2 41 38
OR 2 37 40
OR 3 38 42 41
OR 2 43 44
OR 1 45
AND 2 30 31
OR 2 31 30
OR 1 50
AND 2 28 29
OR 2 29 28
OR 1 53
AND 2 54 51
AND 2 54 52
AND 2 55 51
AND 2 55 52
OR 2 51 54
OR 3 52 56 55
OR 2 57...

result:

ok Random tests passed.

Test #32:

score: 0
Accepted
time: 1ms
memory: 6216kb

input:

34

output:

736
AND 2 33 34
OR 2 34 33
OR 1 35
AND 2 31 32
OR 2 32 31
OR 1 38
AND 2 39 36
AND 2 39 37
AND 2 40 36
AND 2 40 37
OR 2 36 39
OR 3 37 41 40
OR 2 42 43
OR 1 44
AND 2 29 30
OR 2 30 29
OR 1 49
AND 2 27 28
OR 2 28 27
OR 1 52
AND 2 53 50
AND 2 53 51
AND 2 54 50
AND 2 54 51
OR 2 50 53
OR 3 51 55 54
OR 2 56...

result:

ok Random tests passed.

Test #33:

score: 0
Accepted
time: 1ms
memory: 6496kb

input:

33

output:

696
AND 2 32 33
OR 2 33 32
OR 1 34
AND 2 30 31
OR 2 31 30
OR 1 37
AND 2 38 35
AND 2 38 36
AND 2 39 35
AND 2 39 36
OR 2 35 38
OR 3 36 40 39
OR 2 41 42
OR 1 43
AND 2 28 29
OR 2 29 28
OR 1 48
AND 2 26 27
OR 2 27 26
OR 1 51
AND 2 52 49
AND 2 52 50
AND 2 53 49
AND 2 53 50
OR 2 49 52
OR 3 50 54 53
OR 2 55...

result:

ok Random tests passed.

Test #34:

score: 0
Accepted
time: 1ms
memory: 6488kb

input:

32

output:

657
AND 2 31 32
OR 2 32 31
OR 1 33
AND 2 29 30
OR 2 30 29
OR 1 36
AND 2 37 34
AND 2 37 35
AND 2 38 34
AND 2 38 35
OR 2 34 37
OR 3 35 39 38
OR 2 40 41
OR 1 42
AND 2 27 28
OR 2 28 27
OR 1 47
AND 2 25 26
OR 2 26 25
OR 1 50
AND 2 51 48
AND 2 51 49
AND 2 52 48
AND 2 52 49
OR 2 48 51
OR 3 49 53 52
OR 2 54...

result:

ok Random tests passed.

Test #35:

score: 0
Accepted
time: 0ms
memory: 6200kb

input:

31

output:

620
AND 2 29 30
OR 2 30 29
OR 1 32
AND 2 33 31
AND 2 34 31
OR 2 31 33
OR 2 35 34
OR 1 36
AND 2 27 28
OR 2 28 27
OR 1 40
AND 2 25 26
OR 2 26 25
OR 1 43
AND 2 44 41
AND 2 44 42
AND 2 45 41
AND 2 45 42
OR 2 41 44
OR 3 42 46 45
OR 2 47 48
OR 1 49
AND 2 50 37
AND 2 50 38
AND 2 50 39
AND 2 51 37
AND 2 51 ...

result:

ok Random tests passed.

Test #36:

score: 0
Accepted
time: 0ms
memory: 6212kb

input:

30

output:

584
AND 2 28 29
OR 2 29 28
OR 1 31
AND 2 32 30
AND 2 33 30
OR 2 30 32
OR 2 34 33
OR 1 35
AND 2 26 27
OR 2 27 26
OR 1 39
AND 2 24 25
OR 2 25 24
OR 1 42
AND 2 43 40
AND 2 43 41
AND 2 44 40
AND 2 44 41
OR 2 40 43
OR 3 41 45 44
OR 2 46 47
OR 1 48
AND 2 49 36
AND 2 49 37
AND 2 49 38
AND 2 50 36
AND 2 50 ...

result:

ok Random tests passed.

Test #37:

score: 0
Accepted
time: 0ms
memory: 6184kb

input:

29

output:

549
AND 2 27 28
OR 2 28 27
OR 1 30
AND 2 31 29
AND 2 32 29
OR 2 29 31
OR 2 33 32
OR 1 34
AND 2 25 26
OR 2 26 25
OR 1 38
AND 2 23 24
OR 2 24 23
OR 1 41
AND 2 42 39
AND 2 42 40
AND 2 43 39
AND 2 43 40
OR 2 39 42
OR 3 40 44 43
OR 2 45 46
OR 1 47
AND 2 48 35
AND 2 48 36
AND 2 48 37
AND 2 49 35
AND 2 49 ...

result:

ok Random tests passed.

Test #38:

score: 0
Accepted
time: 1ms
memory: 6448kb

input:

28

output:

515
AND 2 26 27
OR 2 27 26
OR 1 29
AND 2 30 28
AND 2 31 28
OR 2 28 30
OR 2 32 31
OR 1 33
AND 2 24 25
OR 2 25 24
OR 1 37
AND 2 22 23
OR 2 23 22
OR 1 40
AND 2 41 38
AND 2 41 39
AND 2 42 38
AND 2 42 39
OR 2 38 41
OR 3 39 43 42
OR 2 44 45
OR 1 46
AND 2 47 34
AND 2 47 35
AND 2 47 36
AND 2 48 34
AND 2 48 ...

result:

ok Random tests passed.

Test #39:

score: 0
Accepted
time: 1ms
memory: 6160kb

input:

27

output:

482
AND 2 25 26
OR 2 26 25
OR 1 28
AND 2 29 27
AND 2 30 27
OR 2 27 29
OR 2 31 30
OR 1 32
AND 2 22 23
OR 2 23 22
OR 1 36
AND 2 37 24
AND 2 38 24
OR 2 24 37
OR 2 39 38
OR 1 40
AND 2 41 33
AND 2 41 34
AND 2 41 35
AND 2 42 33
AND 2 42 34
AND 2 42 35
AND 2 43 33
AND 2 43 34
AND 2 43 35
OR 2 33 41
OR 3 34...

result:

ok Random tests passed.

Test #40:

score: 0
Accepted
time: 1ms
memory: 6488kb

input:

26

output:

450
AND 2 24 25
OR 2 25 24
OR 1 27
AND 2 28 26
AND 2 29 26
OR 2 26 28
OR 2 30 29
OR 1 31
AND 2 21 22
OR 2 22 21
OR 1 35
AND 2 36 23
AND 2 37 23
OR 2 23 36
OR 2 38 37
OR 1 39
AND 2 40 32
AND 2 40 33
AND 2 40 34
AND 2 41 32
AND 2 41 33
AND 2 41 34
AND 2 42 32
AND 2 42 33
AND 2 42 34
OR 2 32 40
OR 3 33...

result:

ok Random tests passed.

Test #41:

score: 0
Accepted
time: 1ms
memory: 6156kb

input:

25

output:

419
AND 2 23 24
OR 2 24 23
OR 1 26
AND 2 27 25
AND 2 28 25
OR 2 25 27
OR 2 29 28
OR 1 30
AND 2 20 21
OR 2 21 20
OR 1 34
AND 2 35 22
AND 2 36 22
OR 2 22 35
OR 2 37 36
OR 1 38
AND 2 39 31
AND 2 39 32
AND 2 39 33
AND 2 40 31
AND 2 40 32
AND 2 40 33
AND 2 41 31
AND 2 41 32
AND 2 41 33
OR 2 31 39
OR 3 32...

result:

ok Random tests passed.

Test #42:

score: 0
Accepted
time: 1ms
memory: 6448kb

input:

24

output:

389
AND 2 22 23
OR 2 23 22
OR 1 25
AND 2 26 24
AND 2 27 24
OR 2 24 26
OR 2 28 27
OR 1 29
AND 2 19 20
OR 2 20 19
OR 1 33
AND 2 34 21
AND 2 35 21
OR 2 21 34
OR 2 36 35
OR 1 37
AND 2 38 30
AND 2 38 31
AND 2 38 32
AND 2 39 30
AND 2 39 31
AND 2 39 32
AND 2 40 30
AND 2 40 31
AND 2 40 32
OR 2 30 38
OR 3 31...

result:

ok Random tests passed.

Test #43:

score: 0
Accepted
time: 1ms
memory: 6160kb

input:

23

output:

360
AND 2 22 23
OR 2 23 22
OR 1 24
AND 2 19 20
OR 2 20 19
OR 1 27
AND 2 28 21
AND 2 29 21
OR 2 21 28
OR 2 30 29
OR 1 31
AND 2 32 25
AND 2 32 26
AND 2 33 25
AND 2 33 26
AND 2 34 25
AND 2 34 26
OR 2 25 32
OR 3 26 35 33
OR 3 36 37 34
OR 2 38 39
OR 1 40
AND 2 16 17
OR 2 17 16
OR 1 46
AND 2 47 18
AND 2 4...

result:

ok Random tests passed.

Test #44:

score: 0
Accepted
time: 1ms
memory: 6184kb

input:

22

output:

332
AND 2 21 22
OR 2 22 21
OR 1 23
AND 2 18 19
OR 2 19 18
OR 1 26
AND 2 27 20
AND 2 28 20
OR 2 20 27
OR 2 29 28
OR 1 30
AND 2 31 24
AND 2 31 25
AND 2 32 24
AND 2 32 25
AND 2 33 24
AND 2 33 25
OR 2 24 31
OR 3 25 34 32
OR 3 35 36 33
OR 2 37 38
OR 1 39
AND 2 15 16
OR 2 16 15
OR 1 45
AND 2 46 17
AND 2 4...

result:

ok Random tests passed.

Test #45:

score: 0
Accepted
time: 1ms
memory: 6444kb

input:

21

output:

305
AND 2 20 21
OR 2 21 20
OR 1 22
AND 2 17 18
OR 2 18 17
OR 1 25
AND 2 26 19
AND 2 27 19
OR 2 19 26
OR 2 28 27
OR 1 29
AND 2 30 23
AND 2 30 24
AND 2 31 23
AND 2 31 24
AND 2 32 23
AND 2 32 24
OR 2 23 30
OR 3 24 33 31
OR 3 34 35 32
OR 2 36 37
OR 1 38
AND 2 15 16
OR 2 16 15
OR 1 44
AND 2 12 13
OR 2 13...

result:

ok Random tests passed.

Test #46:

score: 0
Accepted
time: 1ms
memory: 6180kb

input:

20

output:

279
AND 2 19 20
OR 2 20 19
OR 1 21
AND 2 16 17
OR 2 17 16
OR 1 24
AND 2 25 18
AND 2 26 18
OR 2 18 25
OR 2 27 26
OR 1 28
AND 2 29 22
AND 2 29 23
AND 2 30 22
AND 2 30 23
AND 2 31 22
AND 2 31 23
OR 2 22 29
OR 3 23 32 30
OR 3 33 34 31
OR 2 35 36
OR 1 37
AND 2 14 15
OR 2 15 14
OR 1 43
AND 2 11 12
OR 2 12...

result:

ok Random tests passed.

Test #47:

score: 0
Accepted
time: 1ms
memory: 6472kb

input:

19

output:

254
AND 2 18 19
OR 2 19 18
OR 1 20
AND 2 16 17
OR 2 17 16
OR 1 23
AND 2 24 21
AND 2 24 22
AND 2 25 21
AND 2 25 22
OR 2 21 24
OR 3 22 26 25
OR 2 27 28
OR 1 29
AND 2 14 15
OR 2 15 14
OR 1 34
AND 2 11 12
OR 2 12 11
OR 1 37
AND 2 38 13
AND 2 39 13
OR 2 13 38
OR 2 40 39
OR 1 41
AND 2 42 35
AND 2 42 36
AN...

result:

ok Random tests passed.

Test #48:

score: 0
Accepted
time: 1ms
memory: 6128kb

input:

18

output:

230
AND 2 17 18
OR 2 18 17
OR 1 19
AND 2 15 16
OR 2 16 15
OR 1 22
AND 2 23 20
AND 2 23 21
AND 2 24 20
AND 2 24 21
OR 2 20 23
OR 3 21 25 24
OR 2 26 27
OR 1 28
AND 2 13 14
OR 2 14 13
OR 1 33
AND 2 10 11
OR 2 11 10
OR 1 36
AND 2 37 12
AND 2 38 12
OR 2 12 37
OR 2 39 38
OR 1 40
AND 2 41 34
AND 2 41 35
AN...

result:

ok Random tests passed.

Test #49:

score: 0
Accepted
time: 1ms
memory: 6176kb

input:

17

output:

207
AND 2 16 17
OR 2 17 16
OR 1 18
AND 2 14 15
OR 2 15 14
OR 1 21
AND 2 22 19
AND 2 22 20
AND 2 23 19
AND 2 23 20
OR 2 19 22
OR 3 20 24 23
OR 2 25 26
OR 1 27
AND 2 12 13
OR 2 13 12
OR 1 32
AND 2 10 11
OR 2 11 10
OR 1 35
AND 2 36 33
AND 2 36 34
AND 2 37 33
AND 2 37 34
OR 2 33 36
OR 3 34 38 37
OR 2 39...

result:

ok Random tests passed.

Test #50:

score: 0
Accepted
time: 1ms
memory: 6184kb

input:

16

output:

185
AND 2 15 16
OR 2 16 15
OR 1 17
AND 2 13 14
OR 2 14 13
OR 1 20
AND 2 21 18
AND 2 21 19
AND 2 22 18
AND 2 22 19
OR 2 18 21
OR 3 19 23 22
OR 2 24 25
OR 1 26
AND 2 11 12
OR 2 12 11
OR 1 31
AND 2 9 10
OR 2 10 9
OR 1 34
AND 2 35 32
AND 2 35 33
AND 2 36 32
AND 2 36 33
OR 2 32 35
OR 3 33 37 36
OR 2 38 3...

result:

ok Random tests passed.

Test #51:

score: 0
Accepted
time: 1ms
memory: 6396kb

input:

15

output:

165
AND 2 13 14
OR 2 14 13
OR 1 16
AND 2 17 15
AND 2 18 15
OR 2 15 17
OR 2 19 18
OR 1 20
AND 2 11 12
OR 2 12 11
OR 1 24
AND 2 9 10
OR 2 10 9
OR 1 27
AND 2 28 25
AND 2 28 26
AND 2 29 25
AND 2 29 26
OR 2 25 28
OR 3 26 30 29
OR 2 31 32
OR 1 33
AND 2 34 21
AND 2 34 22
AND 2 34 23
AND 2 35 21
AND 2 35 22...

result:

ok Random tests passed.

Test #52:

score: 0
Accepted
time: 1ms
memory: 6128kb

input:

14

output:

146
AND 2 12 13
OR 2 13 12
OR 1 15
AND 2 16 14
AND 2 17 14
OR 2 14 16
OR 2 18 17
OR 1 19
AND 2 10 11
OR 2 11 10
OR 1 23
AND 2 8 9
OR 2 9 8
OR 1 26
AND 2 27 24
AND 2 27 25
AND 2 28 24
AND 2 28 25
OR 2 24 27
OR 3 25 29 28
OR 2 30 31
OR 1 32
AND 2 33 20
AND 2 33 21
AND 2 33 22
AND 2 34 20
AND 2 34 21
A...

result:

ok Random tests passed.

Test #53:

score: 0
Accepted
time: 1ms
memory: 6180kb

input:

13

output:

128
AND 2 11 12
OR 2 12 11
OR 1 14
AND 2 15 13
AND 2 16 13
OR 2 13 15
OR 2 17 16
OR 1 18
AND 2 8 9
OR 2 9 8
OR 1 22
AND 2 23 10
AND 2 24 10
OR 2 10 23
OR 2 25 24
OR 1 26
AND 2 27 19
AND 2 27 20
AND 2 27 21
AND 2 28 19
AND 2 28 20
AND 2 28 21
AND 2 29 19
AND 2 29 20
AND 2 29 21
OR 2 19 27
OR 3 20 30 ...

result:

ok Random tests passed.

Test #54:

score: 0
Accepted
time: 1ms
memory: 6244kb

input:

12

output:

111
AND 2 10 11
OR 2 11 10
OR 1 13
AND 2 14 12
AND 2 15 12
OR 2 12 14
OR 2 16 15
OR 1 17
AND 2 7 8
OR 2 8 7
OR 1 21
AND 2 22 9
AND 2 23 9
OR 2 9 22
OR 2 24 23
OR 1 25
AND 2 26 18
AND 2 26 19
AND 2 26 20
AND 2 27 18
AND 2 27 19
AND 2 27 20
AND 2 28 18
AND 2 28 19
AND 2 28 20
OR 2 18 26
OR 3 19 29 27
...

result:

ok Random tests passed.

Test #55:

score: 0
Accepted
time: 1ms
memory: 6436kb

input:

11

output:

95
AND 2 10 11
OR 2 11 10
OR 1 12
AND 2 7 8
OR 2 8 7
OR 1 15
AND 2 16 9
AND 2 17 9
OR 2 9 16
OR 2 18 17
OR 1 19
AND 2 20 13
AND 2 20 14
AND 2 21 13
AND 2 21 14
AND 2 22 13
AND 2 22 14
OR 2 13 20
OR 3 14 23 21
OR 3 24 25 22
OR 2 26 27
OR 1 28
AND 2 4 5
OR 2 5 4
OR 1 34
AND 2 35 6
AND 2 36 6
OR 2 6 35...

result:

ok Random tests passed.

Test #56:

score: 0
Accepted
time: 1ms
memory: 6436kb

input:

10

output:

80
AND 2 9 10
OR 2 10 9
OR 1 11
AND 2 6 7
OR 2 7 6
OR 1 14
AND 2 15 8
AND 2 16 8
OR 2 8 15
OR 2 17 16
OR 1 18
AND 2 19 12
AND 2 19 13
AND 2 20 12
AND 2 20 13
AND 2 21 12
AND 2 21 13
OR 2 12 19
OR 3 13 22 20
OR 3 23 24 21
OR 2 25 26
OR 1 27
AND 2 4 5
OR 2 5 4
OR 1 33
AND 2 1 2
OR 2 2 1
OR 1 36
AND 2 ...

result:

ok Random tests passed.

Test #57:

score: 0
Accepted
time: 1ms
memory: 6132kb

input:

9

output:

66
AND 2 8 9
OR 2 9 8
OR 1 10
AND 2 6 7
OR 2 7 6
OR 1 13
AND 2 14 11
AND 2 14 12
AND 2 15 11
AND 2 15 12
OR 2 11 14
OR 3 12 16 15
OR 2 17 18
OR 1 19
AND 2 4 5
OR 2 5 4
OR 1 24
AND 2 1 2
OR 2 2 1
OR 1 27
AND 2 28 3
AND 2 29 3
OR 2 3 28
OR 2 30 29
OR 1 31
AND 2 32 25
AND 2 32 26
AND 2 33 25
AND 2 33 2...

result:

ok Random tests passed.

Test #58:

score: 0
Accepted
time: 0ms
memory: 6176kb

input:

8

output:

53
AND 2 7 8
OR 2 8 7
OR 1 9
AND 2 5 6
OR 2 6 5
OR 1 12
AND 2 13 10
AND 2 13 11
AND 2 14 10
AND 2 14 11
OR 2 10 13
OR 3 11 15 14
OR 2 16 17
OR 1 18
AND 2 3 4
OR 2 4 3
OR 1 23
AND 2 1 2
OR 2 2 1
OR 1 26
AND 2 27 24
AND 2 27 25
AND 2 28 24
AND 2 28 25
OR 2 24 27
OR 3 25 29 28
OR 2 30 31
OR 1 32
AND 2 ...

result:

ok Random tests passed.

Test #59:

score: 0
Accepted
time: 0ms
memory: 6176kb

input:

7

output:

42
AND 2 5 6
OR 2 6 5
OR 1 8
AND 2 9 7
AND 2 10 7
OR 2 7 9
OR 2 11 10
OR 1 12
AND 2 3 4
OR 2 4 3
OR 1 16
AND 2 1 2
OR 2 2 1
OR 1 19
AND 2 20 17
AND 2 20 18
AND 2 21 17
AND 2 21 18
OR 2 17 20
OR 3 18 22 21
OR 2 23 24
OR 1 25
AND 2 26 13
AND 2 26 14
AND 2 26 15
AND 2 27 13
AND 2 27 14
AND 2 27 15
AND ...

result:

ok Random tests passed.

Test #60:

score: 0
Accepted
time: 0ms
memory: 6256kb

input:

6

output:

32
AND 2 4 5
OR 2 5 4
OR 1 7
AND 2 8 6
AND 2 9 6
OR 2 6 8
OR 2 10 9
OR 1 11
AND 2 1 2
OR 2 2 1
OR 1 15
AND 2 16 3
AND 2 17 3
OR 2 3 16
OR 2 18 17
OR 1 19
AND 2 20 12
AND 2 20 13
AND 2 20 14
AND 2 21 12
AND 2 21 13
AND 2 21 14
AND 2 22 12
AND 2 22 13
AND 2 22 14
OR 2 12 20
OR 3 13 23 21
OR 4 14 24 26...

result:

ok Random tests passed.

Test #61:

score: 0
Accepted
time: 1ms
memory: 6172kb

input:

5

output:

23
AND 2 4 5
OR 2 5 4
OR 1 6
AND 2 1 2
OR 2 2 1
OR 1 9
AND 2 10 3
AND 2 11 3
OR 2 3 10
OR 2 12 11
OR 1 13
AND 2 14 7
AND 2 14 8
AND 2 15 7
AND 2 15 8
AND 2 16 7
AND 2 16 8
OR 2 7 14
OR 3 8 17 15
OR 3 18 19 16
OR 2 20 21
OR 1 22
AND 1 25

result:

ok Random tests passed.

Test #62:

score: 0
Accepted
time: 1ms
memory: 6192kb

input:

3

output:

9
AND 2 1 2
OR 2 2 1
OR 1 4
AND 2 5 3
AND 2 6 3
OR 2 3 5
OR 2 7 6
OR 1 8
AND 1 10

result:

ok Random tests passed.

Test #63:

score: 0
Accepted
time: 1ms
memory: 6464kb

input:

2

output:

4
AND 2 1 2
OR 2 2 1
OR 1 3
AND 1 4

result:

ok Random tests passed.