0 @relation
1 TRUE}
2 1
3 1
4 1
5 1
6 1
7 1
8 1
9 1
10 1
11 1
12 1
13 1
14 1
15 1
16 1
17 1
18 1
19 1
20 1
21 1
22 1
23 1
24 1
25 1
26 1
27 1
28 1
29 1
30 1
31 1
32 1
33 1
34 3
35 3
36 3
37 3
38 3
39 3
40 3
41 3
42 3
43 3
44 3
45 3
46 3
47 3
48 3
49 3
50 3
51 3
52 3
53 3
54 3
55 3
56 3
57 3
58 3
59 3
60 3
61 3
62 3
63 3
64 5
65 5
66 5
67 5
68 5
69 5
70 5
71 5
72 5
73 5
74 5
75 5
76 5
77 5
78 5
79 5
80 7
81 7
82 7
83 7
84 7
85 7
86 7
87 7
88 7
89 7
90 7
91 7
92 7
93 9
94 9
95 9
96 9
97 9
98 9
99 9
100 9
101 9
102 9
103 9
104 11
105 11
106 11
107 11
108 11
109 12
110 13
111 13
112 13
113 13
114 13
115 13
116 13
117 13
118 13
119 13
120 13
121 15
122 15
123 15
124 15
125 15
126 15
127 15
128 17
129 19
130 19
131 19
132 19
133 19
134 19
135 20
136 21
137 21
138 21
139 23
140 23
141 24
142 24
143 25
144 25
145 27
146 27
147 31
148 32
149 38
150 41
151 45
152 46
153 51
154 58
155 59
156 61
157 69
158 69
159 89
160 97
161 115
162 125