1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
intersects099|t
intersects100|t
intersects101|t
intersects102|f
intersects103|t
intersects104|f
contains099|t
contains100|t
contains101|f
contains102|f
contains103|f
contains104|f
covers099|t
covers100|t
covers101|t
covers102|f
covers103|t
covers104|f
containsproperly099|t
containsproperly100|t
containsproperly101|f
containsproperly102|f
containsproperly103|f
containsproperly104|f
intersects105|t
intersects105|t
intersects105|t
intersects106|t
intersects106|t
intersects106|t
intersects107|f
intersects107|f
intersects107|f
intersects108|f
intersects108|f
intersects108|f
contains105|t
contains105|t
contains105|t
contains106|f
contains106|f
contains106|f
contains107|f
contains107|f
contains107|f
contains108|f
contains108|f
contains108|f
containsproperly105|t
containsproperly105|t
containsproperly105|t
containsproperly106|f
containsproperly106|f
containsproperly106|f
containsproperly107|f
containsproperly107|f
containsproperly107|f
containsproperly108|f
containsproperly108|f
containsproperly108|f
covers105|t
covers105|t
covers105|t
covers106|f
covers106|f
covers106|f
covers107|f
covers107|f
covers107|f
covers108|f
covers108|f
covers108|f
intersects200|t|t
intersects201|t|t
intersects202|t|t
intersects203|t|t
intersects204|f|f
intersects205|t|t
intersects206|t|t
intersects207|t|t
intersects208|t|t
intersects209|f|f
contains200|t|f
contains201|t|f
contains202|t|f
contains203|f|f
contains204|f|f
contains205|t|f
contains206|t|f
contains207|t|f
contains208|f|f
contains209|f|f
containsproperly200|t|f
containsproperly201|t|f
containsproperly202|f|f
containsproperly203|f|f
containsproperly204|f|f
containsproperly205|t|f
containsproperly206|t|f
containsproperly207|f|f
containsproperly208|f|f
containsproperly209|f|f
covers200|t|f
covers201|t|f
covers202|t|f
covers203|f|f
covers204|f|f
covers205|t|f
covers206|t|f
covers207|t|f
covers208|f|f
covers209|f|f
types100|t|f|t|f|t|t|t|f
types101|t|f|t|f|t|t|t|f
types102|t|f|t|f|t|t|t|f
types103|f|f|f|f|f|f|f|f
types104|f|f|f|f|f|f|f|f
types105|f|f|f|f|f|f|f|f
types106|t|t|t|t|t|t|t|t
types107|t|t|t|t|t|t|t|t
types108|t|t|t|t|t|t|t|t
types109|t|t|t|t|t|t|f|f
types110|t|t|t|t|t|t|f|f
types111|t|t|t|t|t|t|f|f
types112|f|f|t|f|t|t|f|f
types113|f|f|t|f|t|t|f|f
types114|f|f|t|f|t|t|f|f
intersects310|t
intersects310|t
intersects310|t
intersects311|t
intersects311|t
intersects311|t
contains310|t
contains310|t
contains310|t
contains311|f
contains311|f
contains311|f
containsproperly310|f
containsproperly310|f
containsproperly310|f
containsproperly311|f
containsproperly311|f
containsproperly311|f
covers310|t
covers310|t
covers310|t
covers311|t
covers311|t
covers311|t
|
