QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#446495#8472. Majority5abAC ✓1ms3964kbC++201.4kb2024-06-17 11:42:242024-06-17 11:42:26

Judging History

This is the latest submission verdict.

  • [2024-06-17 11:42:26]
  • Judged
  • Verdict: AC
  • Time: 1ms
  • Memory: 3964kb
  • [2024-06-17 11:42:24]
  • Submitted

answer

/* name: F
 * author: 5ab
 * created at: 2024-06-17
 */
#include <bits/stdc++.h>
using namespace std;

#define all(x) (x).begin(), (x).end()
#define ssz(x) (int((x).size()))

auto chmax = [](auto& x, auto y) { if (x < y) x = y; };
auto chmin = [](auto& x, auto y) { if (y < x) x = y; };

using ll = long long;

enum { AND = 0, OR = 1 };
const char *str[2] = { "AND", "OR" };

vector<pair<int, vector<int>>> ans;
int ind;

vector<int> make(int l, int r)
{
	if (l == r)
		return { l };
	int mid = (l + r) >> 1;
	auto ls = make(l, mid);
	auto rs = make(mid + 1, r);
	
	vector<int> res;
	for (int i = 1; i <= r - l + 1; i++)
	{
		vector<int> cs;
		for (int j = 0; j <= i && j <= ssz(ls); j++)
			if (i - j >= 0 && i - j <= ssz(rs))
			{
				int sx;
				if (j == 0)
					sx = rs[i - j - 1];
				else if (i - j == 0)
					sx = ls[j - 1];
				else
				{
					sx = ind++;
					ans.emplace_back(AND, vector{ ls[j - 1], rs[i - j - 1] });
				}
				cs.push_back(sx);
			}
		res.push_back(ind++);
		ans.emplace_back(OR, cs);
	}
	return res;
}

signed main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
	
	int n;
	
	cin >> n;
	ind = n + 1;
	auto res = make(1, n);
	ans.resize(res[(n - 1) / 2] - n);
	
	cout << ssz(ans) << "\n";
	for (auto &[x, y] : ans)
	{
		cout << str[x] << " " << ssz(y);
		for (int z : y)
			cout << " " << z;
		cout << "\n";
	}
	
	return 0;
}
// started coding at: 06-17 11:20:57

詳細信息

Test #1:

score: 100
Accepted
time: 0ms
memory: 3608kb

input:

4

output:

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

result:

ok Random tests passed.

Test #2:

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

input:

64

output:

1840
OR 2 2 1
AND 2 1 2
OR 1 66
OR 2 4 3
AND 2 3 4
OR 1 69
OR 2 68 65
AND 2 65 68
OR 3 70 72 67
AND 2 65 70
AND 2 67 68
OR 2 74 75
AND 2 67 70
OR 1 77
OR 2 6 5
AND 2 5 6
OR 1 80
OR 2 8 7
AND 2 7 8
OR 1 83
OR 2 82 79
AND 2 79 82
OR 3 84 86 81
AND 2 79 84
AND 2 81 82
OR 2 88 89
AND 2 81 84
OR 1 91
OR ...

result:

ok Random tests passed.

Test #3:

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

input:

63

output:

1803
OR 2 2 1
AND 2 1 2
OR 1 65
OR 2 4 3
AND 2 3 4
OR 1 68
OR 2 67 64
AND 2 64 67
OR 3 69 71 66
AND 2 64 69
AND 2 66 67
OR 2 73 74
AND 2 66 69
OR 1 76
OR 2 6 5
AND 2 5 6
OR 1 79
OR 2 8 7
AND 2 7 8
OR 1 82
OR 2 81 78
AND 2 78 81
OR 3 83 85 80
AND 2 78 83
AND 2 80 81
OR 2 87 88
AND 2 80 83
OR 1 90
OR ...

result:

ok Random tests passed.

Test #4:

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

input:

62

output:

1734
OR 2 2 1
AND 2 1 2
OR 1 64
OR 2 4 3
AND 2 3 4
OR 1 67
OR 2 66 63
AND 2 63 66
OR 3 68 70 65
AND 2 63 68
AND 2 65 66
OR 2 72 73
AND 2 65 68
OR 1 75
OR 2 6 5
AND 2 5 6
OR 1 78
OR 2 8 7
AND 2 7 8
OR 1 81
OR 2 80 77
AND 2 77 80
OR 3 82 84 79
AND 2 77 82
AND 2 79 80
OR 2 86 87
AND 2 79 82
OR 1 89
OR ...

result:

ok Random tests passed.

Test #5:

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

input:

61

output:

1698
OR 2 2 1
AND 2 1 2
OR 1 63
OR 2 4 3
AND 2 3 4
OR 1 66
OR 2 65 62
AND 2 62 65
OR 3 67 69 64
AND 2 62 67
AND 2 64 65
OR 2 71 72
AND 2 64 67
OR 1 74
OR 2 6 5
AND 2 5 6
OR 1 77
OR 2 8 7
AND 2 7 8
OR 1 80
OR 2 79 76
AND 2 76 79
OR 3 81 83 78
AND 2 76 81
AND 2 78 79
OR 2 85 86
AND 2 78 81
OR 1 88
OR ...

result:

ok Random tests passed.

Test #6:

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

input:

60

output:

1631
OR 2 2 1
AND 2 1 2
OR 1 62
OR 2 4 3
AND 2 3 4
OR 1 65
OR 2 64 61
AND 2 61 64
OR 3 66 68 63
AND 2 61 66
AND 2 63 64
OR 2 70 71
AND 2 63 66
OR 1 73
OR 2 6 5
AND 2 5 6
OR 1 76
OR 2 8 7
AND 2 7 8
OR 1 79
OR 2 78 75
AND 2 75 78
OR 3 80 82 77
AND 2 75 80
AND 2 77 78
OR 2 84 85
AND 2 77 80
OR 1 87
OR ...

result:

ok Random tests passed.

Test #7:

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

input:

59

output:

1596
OR 2 2 1
AND 2 1 2
OR 1 61
OR 2 4 3
AND 2 3 4
OR 1 64
OR 2 63 60
AND 2 60 63
OR 3 65 67 62
AND 2 60 65
AND 2 62 63
OR 2 69 70
AND 2 62 65
OR 1 72
OR 2 6 5
AND 2 5 6
OR 1 75
OR 2 8 7
AND 2 7 8
OR 1 78
OR 2 77 74
AND 2 74 77
OR 3 79 81 76
AND 2 74 79
AND 2 76 77
OR 2 83 84
AND 2 76 79
OR 1 86
OR ...

result:

ok Random tests passed.

Test #8:

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

input:

58

output:

1531
OR 2 2 1
AND 2 1 2
OR 1 60
OR 2 4 3
AND 2 3 4
OR 1 63
OR 2 62 59
AND 2 59 62
OR 3 64 66 61
AND 2 59 64
AND 2 61 62
OR 2 68 69
AND 2 61 64
OR 1 71
OR 2 6 5
AND 2 5 6
OR 1 74
OR 2 8 7
AND 2 7 8
OR 1 77
OR 2 76 73
AND 2 73 76
OR 3 78 80 75
AND 2 73 78
AND 2 75 76
OR 2 82 83
AND 2 75 78
OR 1 85
OR ...

result:

ok Random tests passed.

Test #9:

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

input:

57

output:

1497
OR 2 2 1
AND 2 1 2
OR 1 59
OR 2 4 3
AND 2 3 4
OR 1 62
OR 2 61 58
AND 2 58 61
OR 3 63 65 60
AND 2 58 63
AND 2 60 61
OR 2 67 68
AND 2 60 63
OR 1 70
OR 2 6 5
AND 2 5 6
OR 1 73
OR 2 8 7
AND 2 7 8
OR 1 76
OR 2 75 72
AND 2 72 75
OR 3 77 79 74
AND 2 72 77
AND 2 74 75
OR 2 81 82
AND 2 74 77
OR 1 84
OR ...

result:

ok Random tests passed.

Test #10:

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

input:

56

output:

1434
OR 2 2 1
AND 2 1 2
OR 1 58
OR 2 4 3
AND 2 3 4
OR 1 61
OR 2 60 57
AND 2 57 60
OR 3 62 64 59
AND 2 57 62
AND 2 59 60
OR 2 66 67
AND 2 59 62
OR 1 69
OR 2 6 5
AND 2 5 6
OR 1 72
OR 2 7 71
AND 2 71 7
OR 2 75 73
AND 2 73 7
OR 1 77
OR 2 74 63
AND 2 63 74
OR 3 76 80 65
AND 2 63 76
AND 2 65 74
OR 4 78 82...

result:

ok Random tests passed.

Test #11:

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

input:

55

output:

1401
OR 2 2 1
AND 2 1 2
OR 1 57
OR 2 4 3
AND 2 3 4
OR 1 60
OR 2 59 56
AND 2 56 59
OR 3 61 63 58
AND 2 56 61
AND 2 58 59
OR 2 65 66
AND 2 58 61
OR 1 68
OR 2 6 5
AND 2 5 6
OR 1 71
OR 2 7 70
AND 2 70 7
OR 2 74 72
AND 2 72 7
OR 1 76
OR 2 73 62
AND 2 62 73
OR 3 75 79 64
AND 2 62 75
AND 2 64 73
OR 4 77 81...

result:

ok Random tests passed.

Test #12:

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

input:

54

output:

1340
OR 2 2 1
AND 2 1 2
OR 1 56
OR 2 4 3
AND 2 3 4
OR 1 59
OR 2 58 55
AND 2 55 58
OR 3 60 62 57
AND 2 55 60
AND 2 57 58
OR 2 64 65
AND 2 57 60
OR 1 67
OR 2 6 5
AND 2 5 6
OR 1 70
OR 2 7 69
AND 2 69 7
OR 2 73 71
AND 2 71 7
OR 1 75
OR 2 72 61
AND 2 61 72
OR 3 74 78 63
AND 2 61 74
AND 2 63 72
OR 4 76 80...

result:

ok Random tests passed.

Test #13:

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

input:

53

output:

1308
OR 2 2 1
AND 2 1 2
OR 1 55
OR 2 4 3
AND 2 3 4
OR 1 58
OR 2 57 54
AND 2 54 57
OR 3 59 61 56
AND 2 54 59
AND 2 56 57
OR 2 63 64
AND 2 56 59
OR 1 66
OR 2 6 5
AND 2 5 6
OR 1 69
OR 2 7 68
AND 2 68 7
OR 2 72 70
AND 2 70 7
OR 1 74
OR 2 71 60
AND 2 60 71
OR 3 73 77 62
AND 2 60 73
AND 2 62 71
OR 4 75 79...

result:

ok Random tests passed.

Test #14:

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

input:

52

output:

1249
OR 2 2 1
AND 2 1 2
OR 1 54
OR 2 4 3
AND 2 3 4
OR 1 57
OR 2 56 53
AND 2 53 56
OR 3 58 60 55
AND 2 53 58
AND 2 55 56
OR 2 62 63
AND 2 55 58
OR 1 65
OR 2 6 5
AND 2 5 6
OR 1 68
OR 2 7 67
AND 2 67 7
OR 2 71 69
AND 2 69 7
OR 1 73
OR 2 70 59
AND 2 59 70
OR 3 72 76 61
AND 2 59 72
AND 2 61 70
OR 4 74 78...

result:

ok Random tests passed.

Test #15:

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

input:

51

output:

1218
OR 2 2 1
AND 2 1 2
OR 1 53
OR 2 4 3
AND 2 3 4
OR 1 56
OR 2 55 52
AND 2 52 55
OR 3 57 59 54
AND 2 52 57
AND 2 54 55
OR 2 61 62
AND 2 54 57
OR 1 64
OR 2 6 5
AND 2 5 6
OR 1 67
OR 2 7 66
AND 2 66 7
OR 2 70 68
AND 2 68 7
OR 1 72
OR 2 69 58
AND 2 58 69
OR 3 71 75 60
AND 2 58 71
AND 2 60 69
OR 4 73 77...

result:

ok Random tests passed.

Test #16:

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

input:

50

output:

1161
OR 2 2 1
AND 2 1 2
OR 1 52
OR 2 4 3
AND 2 3 4
OR 1 55
OR 2 54 51
AND 2 51 54
OR 3 56 58 53
AND 2 51 56
AND 2 53 54
OR 2 60 61
AND 2 53 56
OR 1 63
OR 2 6 5
AND 2 5 6
OR 1 66
OR 2 7 65
AND 2 65 7
OR 2 69 67
AND 2 67 7
OR 1 71
OR 2 68 57
AND 2 57 68
OR 3 70 74 59
AND 2 57 70
AND 2 59 68
OR 4 72 76...

result:

ok Random tests passed.

Test #17:

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

input:

49

output:

1131
OR 2 2 1
AND 2 1 2
OR 1 51
OR 2 4 3
AND 2 3 4
OR 1 54
OR 2 53 50
AND 2 50 53
OR 3 55 57 52
AND 2 50 55
AND 2 52 53
OR 2 59 60
AND 2 52 55
OR 1 62
OR 2 6 5
AND 2 5 6
OR 1 65
OR 2 7 64
AND 2 64 7
OR 2 68 66
AND 2 66 7
OR 1 70
OR 2 67 56
AND 2 56 67
OR 3 69 73 58
AND 2 56 69
AND 2 58 67
OR 4 71 75...

result:

ok Random tests passed.

Test #18:

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

input:

48

output:

1076
OR 2 2 1
AND 2 1 2
OR 1 50
OR 2 3 49
AND 2 49 3
OR 2 53 51
AND 2 51 3
OR 1 55
OR 2 5 4
AND 2 4 5
OR 1 58
OR 2 6 57
AND 2 57 6
OR 2 61 59
AND 2 59 6
OR 1 63
OR 2 60 52
AND 2 52 60
OR 3 62 66 54
AND 2 52 62
AND 2 54 60
OR 4 64 68 69 56
AND 2 52 64
AND 2 54 62
AND 2 56 60
OR 3 71 72 73
AND 2 54 64...

result:

ok Random tests passed.

Test #19:

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

input:

47

output:

1047
OR 2 2 1
AND 2 1 2
OR 1 49
OR 2 3 48
AND 2 48 3
OR 2 52 50
AND 2 50 3
OR 1 54
OR 2 5 4
AND 2 4 5
OR 1 57
OR 2 6 56
AND 2 56 6
OR 2 60 58
AND 2 58 6
OR 1 62
OR 2 59 51
AND 2 51 59
OR 3 61 65 53
AND 2 51 61
AND 2 53 59
OR 4 63 67 68 55
AND 2 51 63
AND 2 53 61
AND 2 55 59
OR 3 70 71 72
AND 2 53 63...

result:

ok Random tests passed.

Test #20:

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

input:

46

output:

994
OR 2 2 1
AND 2 1 2
OR 1 48
OR 2 3 47
AND 2 47 3
OR 2 51 49
AND 2 49 3
OR 1 53
OR 2 5 4
AND 2 4 5
OR 1 56
OR 2 6 55
AND 2 55 6
OR 2 59 57
AND 2 57 6
OR 1 61
OR 2 58 50
AND 2 50 58
OR 3 60 64 52
AND 2 50 60
AND 2 52 58
OR 4 62 66 67 54
AND 2 50 62
AND 2 52 60
AND 2 54 58
OR 3 69 70 71
AND 2 52 62
...

result:

ok Random tests passed.

Test #21:

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

input:

45

output:

966
OR 2 2 1
AND 2 1 2
OR 1 47
OR 2 3 46
AND 2 46 3
OR 2 50 48
AND 2 48 3
OR 1 52
OR 2 5 4
AND 2 4 5
OR 1 55
OR 2 6 54
AND 2 54 6
OR 2 58 56
AND 2 56 6
OR 1 60
OR 2 57 49
AND 2 49 57
OR 3 59 63 51
AND 2 49 59
AND 2 51 57
OR 4 61 65 66 53
AND 2 49 61
AND 2 51 59
AND 2 53 57
OR 3 68 69 70
AND 2 51 61
...

result:

ok Random tests passed.

Test #22:

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

input:

44

output:

915
OR 2 2 1
AND 2 1 2
OR 1 46
OR 2 3 45
AND 2 45 3
OR 2 49 47
AND 2 47 3
OR 1 51
OR 2 5 4
AND 2 4 5
OR 1 54
OR 2 6 53
AND 2 53 6
OR 2 57 55
AND 2 55 6
OR 1 59
OR 2 56 48
AND 2 48 56
OR 3 58 62 50
AND 2 48 58
AND 2 50 56
OR 4 60 64 65 52
AND 2 48 60
AND 2 50 58
AND 2 52 56
OR 3 67 68 69
AND 2 50 60
...

result:

ok Random tests passed.

Test #23:

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

input:

43

output:

888
OR 2 2 1
AND 2 1 2
OR 1 45
OR 2 3 44
AND 2 44 3
OR 2 48 46
AND 2 46 3
OR 1 50
OR 2 5 4
AND 2 4 5
OR 1 53
OR 2 6 52
AND 2 52 6
OR 2 56 54
AND 2 54 6
OR 1 58
OR 2 55 47
AND 2 47 55
OR 3 57 61 49
AND 2 47 57
AND 2 49 55
OR 4 59 63 64 51
AND 2 47 59
AND 2 49 57
AND 2 51 55
OR 3 66 67 68
AND 2 49 59
...

result:

ok Random tests passed.

Test #24:

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

input:

42

output:

839
OR 2 2 1
AND 2 1 2
OR 1 44
OR 2 3 43
AND 2 43 3
OR 2 47 45
AND 2 45 3
OR 1 49
OR 2 5 4
AND 2 4 5
OR 1 52
OR 2 6 51
AND 2 51 6
OR 2 55 53
AND 2 53 6
OR 1 57
OR 2 54 46
AND 2 46 54
OR 3 56 60 48
AND 2 46 56
AND 2 48 54
OR 4 58 62 63 50
AND 2 46 58
AND 2 48 56
AND 2 50 54
OR 3 65 66 67
AND 2 48 58
...

result:

ok Random tests passed.

Test #25:

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

input:

41

output:

813
OR 2 2 1
AND 2 1 2
OR 1 43
OR 2 3 42
AND 2 42 3
OR 2 46 44
AND 2 44 3
OR 1 48
OR 2 5 4
AND 2 4 5
OR 1 51
OR 2 6 50
AND 2 50 6
OR 2 54 52
AND 2 52 6
OR 1 56
OR 2 53 45
AND 2 45 53
OR 3 55 59 47
AND 2 45 55
AND 2 47 53
OR 4 57 61 62 49
AND 2 45 57
AND 2 47 55
AND 2 49 53
OR 3 64 65 66
AND 2 47 57
...

result:

ok Random tests passed.

Test #26:

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

input:

40

output:

766
OR 2 2 1
AND 2 1 2
OR 1 42
OR 2 3 41
AND 2 41 3
OR 2 45 43
AND 2 43 3
OR 1 47
OR 2 5 4
AND 2 4 5
OR 1 50
OR 2 49 44
AND 2 44 49
OR 3 51 53 46
AND 2 44 51
AND 2 46 49
OR 3 55 56 48
AND 2 46 51
AND 2 48 49
OR 2 58 59
AND 2 48 51
OR 1 61
OR 2 7 6
AND 2 6 7
OR 1 64
OR 2 8 63
AND 2 63 8
OR 2 67 65
AN...

result:

ok Random tests passed.

Test #27:

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

input:

39

output:

741
OR 2 2 1
AND 2 1 2
OR 1 41
OR 2 3 40
AND 2 40 3
OR 2 44 42
AND 2 42 3
OR 1 46
OR 2 5 4
AND 2 4 5
OR 1 49
OR 2 48 43
AND 2 43 48
OR 3 50 52 45
AND 2 43 50
AND 2 45 48
OR 3 54 55 47
AND 2 45 50
AND 2 47 48
OR 2 57 58
AND 2 47 50
OR 1 60
OR 2 7 6
AND 2 6 7
OR 1 63
OR 2 8 62
AND 2 62 8
OR 2 66 64
AN...

result:

ok Random tests passed.

Test #28:

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

input:

38

output:

696
OR 2 2 1
AND 2 1 2
OR 1 40
OR 2 3 39
AND 2 39 3
OR 2 43 41
AND 2 41 3
OR 1 45
OR 2 5 4
AND 2 4 5
OR 1 48
OR 2 47 42
AND 2 42 47
OR 3 49 51 44
AND 2 42 49
AND 2 44 47
OR 3 53 54 46
AND 2 44 49
AND 2 46 47
OR 2 56 57
AND 2 46 49
OR 1 59
OR 2 7 6
AND 2 6 7
OR 1 62
OR 2 8 61
AND 2 61 8
OR 2 65 63
AN...

result:

ok Random tests passed.

Test #29:

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

input:

37

output:

672
OR 2 2 1
AND 2 1 2
OR 1 39
OR 2 3 38
AND 2 38 3
OR 2 42 40
AND 2 40 3
OR 1 44
OR 2 5 4
AND 2 4 5
OR 1 47
OR 2 46 41
AND 2 41 46
OR 3 48 50 43
AND 2 41 48
AND 2 43 46
OR 3 52 53 45
AND 2 43 48
AND 2 45 46
OR 2 55 56
AND 2 45 48
OR 1 58
OR 2 7 6
AND 2 6 7
OR 1 61
OR 2 8 60
AND 2 60 8
OR 2 64 62
AN...

result:

ok Random tests passed.

Test #30:

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

input:

36

output:

629
OR 2 2 1
AND 2 1 2
OR 1 38
OR 2 3 37
AND 2 37 3
OR 2 41 39
AND 2 39 3
OR 1 43
OR 2 5 4
AND 2 4 5
OR 1 46
OR 2 45 40
AND 2 40 45
OR 3 47 49 42
AND 2 40 47
AND 2 42 45
OR 3 51 52 44
AND 2 42 47
AND 2 44 45
OR 2 54 55
AND 2 44 47
OR 1 57
OR 2 7 6
AND 2 6 7
OR 1 60
OR 2 9 8
AND 2 8 9
OR 1 63
OR 2 62...

result:

ok Random tests passed.

Test #31:

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

input:

35

output:

606
OR 2 2 1
AND 2 1 2
OR 1 37
OR 2 3 36
AND 2 36 3
OR 2 40 38
AND 2 38 3
OR 1 42
OR 2 5 4
AND 2 4 5
OR 1 45
OR 2 44 39
AND 2 39 44
OR 3 46 48 41
AND 2 39 46
AND 2 41 44
OR 3 50 51 43
AND 2 41 46
AND 2 43 44
OR 2 53 54
AND 2 43 46
OR 1 56
OR 2 7 6
AND 2 6 7
OR 1 59
OR 2 9 8
AND 2 8 9
OR 1 62
OR 2 61...

result:

ok Random tests passed.

Test #32:

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

input:

34

output:

565
OR 2 2 1
AND 2 1 2
OR 1 36
OR 2 3 35
AND 2 35 3
OR 2 39 37
AND 2 37 3
OR 1 41
OR 2 5 4
AND 2 4 5
OR 1 44
OR 2 43 38
AND 2 38 43
OR 3 45 47 40
AND 2 38 45
AND 2 40 43
OR 3 49 50 42
AND 2 40 45
AND 2 42 43
OR 2 52 53
AND 2 42 45
OR 1 55
OR 2 7 6
AND 2 6 7
OR 1 58
OR 2 9 8
AND 2 8 9
OR 1 61
OR 2 60...

result:

ok Random tests passed.

Test #33:

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

input:

33

output:

543
OR 2 2 1
AND 2 1 2
OR 1 35
OR 2 3 34
AND 2 34 3
OR 2 38 36
AND 2 36 3
OR 1 40
OR 2 5 4
AND 2 4 5
OR 1 43
OR 2 42 37
AND 2 37 42
OR 3 44 46 39
AND 2 37 44
AND 2 39 42
OR 3 48 49 41
AND 2 39 44
AND 2 41 42
OR 2 51 52
AND 2 41 44
OR 1 54
OR 2 7 6
AND 2 6 7
OR 1 57
OR 2 9 8
AND 2 8 9
OR 1 60
OR 2 59...

result:

ok Random tests passed.

Test #34:

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

input:

32

output:

504
OR 2 2 1
AND 2 1 2
OR 1 34
OR 2 4 3
AND 2 3 4
OR 1 37
OR 2 36 33
AND 2 33 36
OR 3 38 40 35
AND 2 33 38
AND 2 35 36
OR 2 42 43
AND 2 35 38
OR 1 45
OR 2 6 5
AND 2 5 6
OR 1 48
OR 2 8 7
AND 2 7 8
OR 1 51
OR 2 50 47
AND 2 47 50
OR 3 52 54 49
AND 2 47 52
AND 2 49 50
OR 2 56 57
AND 2 49 52
OR 1 59
OR 2...

result:

ok Random tests passed.

Test #35:

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

input:

31

output:

484
OR 2 2 1
AND 2 1 2
OR 1 33
OR 2 4 3
AND 2 3 4
OR 1 36
OR 2 35 32
AND 2 32 35
OR 3 37 39 34
AND 2 32 37
AND 2 34 35
OR 2 41 42
AND 2 34 37
OR 1 44
OR 2 6 5
AND 2 5 6
OR 1 47
OR 2 8 7
AND 2 7 8
OR 1 50
OR 2 49 46
AND 2 46 49
OR 3 51 53 48
AND 2 46 51
AND 2 48 49
OR 2 55 56
AND 2 48 51
OR 1 58
OR 2...

result:

ok Random tests passed.

Test #36:

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

input:

30

output:

448
OR 2 2 1
AND 2 1 2
OR 1 32
OR 2 4 3
AND 2 3 4
OR 1 35
OR 2 34 31
AND 2 31 34
OR 3 36 38 33
AND 2 31 36
AND 2 33 34
OR 2 40 41
AND 2 33 36
OR 1 43
OR 2 6 5
AND 2 5 6
OR 1 46
OR 2 8 7
AND 2 7 8
OR 1 49
OR 2 48 45
AND 2 45 48
OR 3 50 52 47
AND 2 45 50
AND 2 47 48
OR 2 54 55
AND 2 47 50
OR 1 57
OR 2...

result:

ok Random tests passed.

Test #37:

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

input:

29

output:

429
OR 2 2 1
AND 2 1 2
OR 1 31
OR 2 4 3
AND 2 3 4
OR 1 34
OR 2 33 30
AND 2 30 33
OR 3 35 37 32
AND 2 30 35
AND 2 32 33
OR 2 39 40
AND 2 32 35
OR 1 42
OR 2 6 5
AND 2 5 6
OR 1 45
OR 2 8 7
AND 2 7 8
OR 1 48
OR 2 47 44
AND 2 44 47
OR 3 49 51 46
AND 2 44 49
AND 2 46 47
OR 2 53 54
AND 2 46 49
OR 1 56
OR 2...

result:

ok Random tests passed.

Test #38:

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

input:

28

output:

395
OR 2 2 1
AND 2 1 2
OR 1 30
OR 2 4 3
AND 2 3 4
OR 1 33
OR 2 32 29
AND 2 29 32
OR 3 34 36 31
AND 2 29 34
AND 2 31 32
OR 2 38 39
AND 2 31 34
OR 1 41
OR 2 6 5
AND 2 5 6
OR 1 44
OR 2 7 43
AND 2 43 7
OR 2 47 45
AND 2 45 7
OR 1 49
OR 2 46 35
AND 2 35 46
OR 3 48 52 37
AND 2 35 48
AND 2 37 46
OR 4 50 54 ...

result:

ok Random tests passed.

Test #39:

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

input:

27

output:

377
OR 2 2 1
AND 2 1 2
OR 1 29
OR 2 4 3
AND 2 3 4
OR 1 32
OR 2 31 28
AND 2 28 31
OR 3 33 35 30
AND 2 28 33
AND 2 30 31
OR 2 37 38
AND 2 30 33
OR 1 40
OR 2 6 5
AND 2 5 6
OR 1 43
OR 2 7 42
AND 2 42 7
OR 2 46 44
AND 2 44 7
OR 1 48
OR 2 45 34
AND 2 34 45
OR 3 47 51 36
AND 2 34 47
AND 2 36 45
OR 4 49 53 ...

result:

ok Random tests passed.

Test #40:

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

input:

26

output:

345
OR 2 2 1
AND 2 1 2
OR 1 28
OR 2 4 3
AND 2 3 4
OR 1 31
OR 2 30 27
AND 2 27 30
OR 3 32 34 29
AND 2 27 32
AND 2 29 30
OR 2 36 37
AND 2 29 32
OR 1 39
OR 2 6 5
AND 2 5 6
OR 1 42
OR 2 7 41
AND 2 41 7
OR 2 45 43
AND 2 43 7
OR 1 47
OR 2 44 33
AND 2 33 44
OR 3 46 50 35
AND 2 33 46
AND 2 35 44
OR 4 48 52 ...

result:

ok Random tests passed.

Test #41:

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

input:

25

output:

328
OR 2 2 1
AND 2 1 2
OR 1 27
OR 2 4 3
AND 2 3 4
OR 1 30
OR 2 29 26
AND 2 26 29
OR 3 31 33 28
AND 2 26 31
AND 2 28 29
OR 2 35 36
AND 2 28 31
OR 1 38
OR 2 6 5
AND 2 5 6
OR 1 41
OR 2 7 40
AND 2 40 7
OR 2 44 42
AND 2 42 7
OR 1 46
OR 2 43 32
AND 2 32 43
OR 3 45 49 34
AND 2 32 45
AND 2 34 43
OR 4 47 51 ...

result:

ok Random tests passed.

Test #42:

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

input:

24

output:

298
OR 2 2 1
AND 2 1 2
OR 1 26
OR 2 3 25
AND 2 25 3
OR 2 29 27
AND 2 27 3
OR 1 31
OR 2 5 4
AND 2 4 5
OR 1 34
OR 2 6 33
AND 2 33 6
OR 2 37 35
AND 2 35 6
OR 1 39
OR 2 36 28
AND 2 28 36
OR 3 38 42 30
AND 2 28 38
AND 2 30 36
OR 4 40 44 45 32
AND 2 28 40
AND 2 30 38
AND 2 32 36
OR 3 47 48 49
AND 2 30 40
...

result:

ok Random tests passed.

Test #43:

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

input:

23

output:

282
OR 2 2 1
AND 2 1 2
OR 1 25
OR 2 3 24
AND 2 24 3
OR 2 28 26
AND 2 26 3
OR 1 30
OR 2 5 4
AND 2 4 5
OR 1 33
OR 2 6 32
AND 2 32 6
OR 2 36 34
AND 2 34 6
OR 1 38
OR 2 35 27
AND 2 27 35
OR 3 37 41 29
AND 2 27 37
AND 2 29 35
OR 4 39 43 44 31
AND 2 27 39
AND 2 29 37
AND 2 31 35
OR 3 46 47 48
AND 2 29 39
...

result:

ok Random tests passed.

Test #44:

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

input:

22

output:

254
OR 2 2 1
AND 2 1 2
OR 1 24
OR 2 3 23
AND 2 23 3
OR 2 27 25
AND 2 25 3
OR 1 29
OR 2 5 4
AND 2 4 5
OR 1 32
OR 2 6 31
AND 2 31 6
OR 2 35 33
AND 2 33 6
OR 1 37
OR 2 34 26
AND 2 26 34
OR 3 36 40 28
AND 2 26 36
AND 2 28 34
OR 4 38 42 43 30
AND 2 26 38
AND 2 28 36
AND 2 30 34
OR 3 45 46 47
AND 2 28 38
...

result:

ok Random tests passed.

Test #45:

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

input:

21

output:

239
OR 2 2 1
AND 2 1 2
OR 1 23
OR 2 3 22
AND 2 22 3
OR 2 26 24
AND 2 24 3
OR 1 28
OR 2 5 4
AND 2 4 5
OR 1 31
OR 2 6 30
AND 2 30 6
OR 2 34 32
AND 2 32 6
OR 1 36
OR 2 33 25
AND 2 25 33
OR 3 35 39 27
AND 2 25 35
AND 2 27 33
OR 4 37 41 42 29
AND 2 25 37
AND 2 27 35
AND 2 29 33
OR 3 44 45 46
AND 2 27 37
...

result:

ok Random tests passed.

Test #46:

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

input:

20

output:

213
OR 2 2 1
AND 2 1 2
OR 1 22
OR 2 3 21
AND 2 21 3
OR 2 25 23
AND 2 23 3
OR 1 27
OR 2 5 4
AND 2 4 5
OR 1 30
OR 2 29 24
AND 2 24 29
OR 3 31 33 26
AND 2 24 31
AND 2 26 29
OR 3 35 36 28
AND 2 26 31
AND 2 28 29
OR 2 38 39
AND 2 28 31
OR 1 41
OR 2 7 6
AND 2 6 7
OR 1 44
OR 2 8 43
AND 2 43 8
OR 2 47 45
AN...

result:

ok Random tests passed.

Test #47:

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

input:

19

output:

199
OR 2 2 1
AND 2 1 2
OR 1 21
OR 2 3 20
AND 2 20 3
OR 2 24 22
AND 2 22 3
OR 1 26
OR 2 5 4
AND 2 4 5
OR 1 29
OR 2 28 23
AND 2 23 28
OR 3 30 32 25
AND 2 23 30
AND 2 25 28
OR 3 34 35 27
AND 2 25 30
AND 2 27 28
OR 2 37 38
AND 2 27 30
OR 1 40
OR 2 7 6
AND 2 6 7
OR 1 43
OR 2 8 42
AND 2 42 8
OR 2 46 44
AN...

result:

ok Random tests passed.

Test #48:

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

input:

18

output:

175
OR 2 2 1
AND 2 1 2
OR 1 20
OR 2 3 19
AND 2 19 3
OR 2 23 21
AND 2 21 3
OR 1 25
OR 2 5 4
AND 2 4 5
OR 1 28
OR 2 27 22
AND 2 22 27
OR 3 29 31 24
AND 2 22 29
AND 2 24 27
OR 3 33 34 26
AND 2 24 29
AND 2 26 27
OR 2 36 37
AND 2 26 29
OR 1 39
OR 2 7 6
AND 2 6 7
OR 1 42
OR 2 9 8
AND 2 8 9
OR 1 45
OR 2 44...

result:

ok Random tests passed.

Test #49:

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

input:

17

output:

162
OR 2 2 1
AND 2 1 2
OR 1 19
OR 2 3 18
AND 2 18 3
OR 2 22 20
AND 2 20 3
OR 1 24
OR 2 5 4
AND 2 4 5
OR 1 27
OR 2 26 21
AND 2 21 26
OR 3 28 30 23
AND 2 21 28
AND 2 23 26
OR 3 32 33 25
AND 2 23 28
AND 2 25 26
OR 2 35 36
AND 2 25 28
OR 1 38
OR 2 7 6
AND 2 6 7
OR 1 41
OR 2 9 8
AND 2 8 9
OR 1 44
OR 2 43...

result:

ok Random tests passed.

Test #50:

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

input:

16

output:

140
OR 2 2 1
AND 2 1 2
OR 1 18
OR 2 4 3
AND 2 3 4
OR 1 21
OR 2 20 17
AND 2 17 20
OR 3 22 24 19
AND 2 17 22
AND 2 19 20
OR 2 26 27
AND 2 19 22
OR 1 29
OR 2 6 5
AND 2 5 6
OR 1 32
OR 2 8 7
AND 2 7 8
OR 1 35
OR 2 34 31
AND 2 31 34
OR 3 36 38 33
AND 2 31 36
AND 2 33 34
OR 2 40 41
AND 2 33 36
OR 1 43
OR 2...

result:

ok Random tests passed.

Test #51:

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

input:

15

output:

129
OR 2 2 1
AND 2 1 2
OR 1 17
OR 2 4 3
AND 2 3 4
OR 1 20
OR 2 19 16
AND 2 16 19
OR 3 21 23 18
AND 2 16 21
AND 2 18 19
OR 2 25 26
AND 2 18 21
OR 1 28
OR 2 6 5
AND 2 5 6
OR 1 31
OR 2 8 7
AND 2 7 8
OR 1 34
OR 2 33 30
AND 2 30 33
OR 3 35 37 32
AND 2 30 35
AND 2 32 33
OR 2 39 40
AND 2 32 35
OR 1 42
OR 2...

result:

ok Random tests passed.

Test #52:

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

input:

14

output:

110
OR 2 2 1
AND 2 1 2
OR 1 16
OR 2 4 3
AND 2 3 4
OR 1 19
OR 2 18 15
AND 2 15 18
OR 3 20 22 17
AND 2 15 20
AND 2 17 18
OR 2 24 25
AND 2 17 20
OR 1 27
OR 2 6 5
AND 2 5 6
OR 1 30
OR 2 7 29
AND 2 29 7
OR 2 33 31
AND 2 31 7
OR 1 35
OR 2 32 21
AND 2 21 32
OR 3 34 38 23
AND 2 21 34
AND 2 23 32
OR 4 36 40 ...

result:

ok Random tests passed.

Test #53:

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

input:

13

output:

100
OR 2 2 1
AND 2 1 2
OR 1 15
OR 2 4 3
AND 2 3 4
OR 1 18
OR 2 17 14
AND 2 14 17
OR 3 19 21 16
AND 2 14 19
AND 2 16 17
OR 2 23 24
AND 2 16 19
OR 1 26
OR 2 6 5
AND 2 5 6
OR 1 29
OR 2 7 28
AND 2 28 7
OR 2 32 30
AND 2 30 7
OR 1 34
OR 2 31 20
AND 2 20 31
OR 3 33 37 22
AND 2 20 33
AND 2 22 31
OR 4 35 39 ...

result:

ok Random tests passed.

Test #54:

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

input:

12

output:

83
OR 2 2 1
AND 2 1 2
OR 1 14
OR 2 3 13
AND 2 13 3
OR 2 17 15
AND 2 15 3
OR 1 19
OR 2 5 4
AND 2 4 5
OR 1 22
OR 2 6 21
AND 2 21 6
OR 2 25 23
AND 2 23 6
OR 1 27
OR 2 24 16
AND 2 16 24
OR 3 26 30 18
AND 2 16 26
AND 2 18 24
OR 4 28 32 33 20
AND 2 16 28
AND 2 18 26
AND 2 20 24
OR 3 35 36 37
AND 2 18 28
A...

result:

ok Random tests passed.

Test #55:

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

input:

11

output:

74
OR 2 2 1
AND 2 1 2
OR 1 13
OR 2 3 12
AND 2 12 3
OR 2 16 14
AND 2 14 3
OR 1 18
OR 2 5 4
AND 2 4 5
OR 1 21
OR 2 6 20
AND 2 20 6
OR 2 24 22
AND 2 22 6
OR 1 26
OR 2 23 15
AND 2 15 23
OR 3 25 29 17
AND 2 15 25
AND 2 17 23
OR 4 27 31 32 19
AND 2 15 27
AND 2 17 25
AND 2 19 23
OR 3 34 35 36
AND 2 17 27
A...

result:

ok Random tests passed.

Test #56:

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

input:

10

output:

59
OR 2 2 1
AND 2 1 2
OR 1 12
OR 2 3 11
AND 2 11 3
OR 2 15 13
AND 2 13 3
OR 1 17
OR 2 5 4
AND 2 4 5
OR 1 20
OR 2 19 14
AND 2 14 19
OR 3 21 23 16
AND 2 14 21
AND 2 16 19
OR 3 25 26 18
AND 2 16 21
AND 2 18 19
OR 2 28 29
AND 2 18 21
OR 1 31
OR 2 7 6
AND 2 6 7
OR 1 34
OR 2 8 33
AND 2 33 8
OR 2 37 35
AND...

result:

ok Random tests passed.

Test #57:

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

input:

9

output:

51
OR 2 2 1
AND 2 1 2
OR 1 11
OR 2 3 10
AND 2 10 3
OR 2 14 12
AND 2 12 3
OR 1 16
OR 2 5 4
AND 2 4 5
OR 1 19
OR 2 18 13
AND 2 13 18
OR 3 20 22 15
AND 2 13 20
AND 2 15 18
OR 3 24 25 17
AND 2 15 20
AND 2 17 18
OR 2 27 28
AND 2 17 20
OR 1 30
OR 2 7 6
AND 2 6 7
OR 1 33
OR 2 9 8
AND 2 8 9
OR 1 36
OR 2 35 ...

result:

ok Random tests passed.

Test #58:

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

input:

8

output:

38
OR 2 2 1
AND 2 1 2
OR 1 10
OR 2 4 3
AND 2 3 4
OR 1 13
OR 2 12 9
AND 2 9 12
OR 3 14 16 11
AND 2 9 14
AND 2 11 12
OR 2 18 19
AND 2 11 14
OR 1 21
OR 2 6 5
AND 2 5 6
OR 1 24
OR 2 8 7
AND 2 7 8
OR 1 27
OR 2 26 23
AND 2 23 26
OR 3 28 30 25
AND 2 23 28
AND 2 25 26
OR 2 32 33
AND 2 25 28
OR 1 35
OR 2 29 ...

result:

ok Random tests passed.

Test #59:

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

input:

7

output:

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

result:

ok Random tests passed.

Test #60:

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

input:

6

output:

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

result:

ok Random tests passed.

Test #61:

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

input:

5

output:

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

result:

ok Random tests passed.

Test #62:

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

input:

3

output:

6
OR 2 2 1
AND 2 1 2
OR 1 5
OR 2 3 4
AND 2 4 3
OR 2 8 6

result:

ok Random tests passed.

Test #63:

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

input:

2

output:

1
OR 2 2 1

result:

ok Random tests passed.