diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als | 353 |
1 files changed, 353 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als new file mode 100644 index 00000000..819f1247 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als | |||
@@ -0,0 +1,353 @@ | |||
1 | // A file system object in the file system | ||
2 | abstract sig FSObject { } | ||
3 | |||
4 | // File system objects must be either directories or files. | ||
5 | sig File, Dir extends FSObject { } | ||
6 | |||
7 | // A File System | ||
8 | sig FileSystem { | ||
9 | root: Dir, | ||
10 | live: set FSObject, | ||
11 | contents: Dir lone-> FSObject, | ||
12 | parent: FSObject ->lone Dir | ||
13 | }{ | ||
14 | // root has no parent | ||
15 | no root.parent | ||
16 | // live objects are those reachable from the root | ||
17 | live = root.*contents | ||
18 | // contents only defined on live objects | ||
19 | contents in live->live | ||
20 | // parent is the inverse of contents | ||
21 | parent = ~contents | ||
22 | } | ||
23 | |||
24 | run xrx1s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
25 | run xrx2s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
26 | run xrx3s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
27 | run rxx4s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
28 | run rxx5s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
29 | run rx6s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
30 | run rx7s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
31 | run rx8s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
32 | run rx9s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
33 | run rx10s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
34 | run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
35 | run rx12s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
36 | run rx13s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
37 | run rx14s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
38 | run rx15s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
39 | run rx16s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
40 | run rx17s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
41 | run rx18s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
42 | run rx19s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
43 | run rx20s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
44 | run rx21s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
45 | run rx22s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
46 | run rx23s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
47 | run rx24s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
48 | run rx25s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
49 | run rx26s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
50 | run rx27s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
51 | run rx28s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
52 | run rx29s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
53 | run rx30s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
54 | run r1s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
55 | run r2s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
56 | run r3s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
57 | run r4s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
58 | run r5s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
59 | run r6s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
60 | run r7s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
61 | run r8s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
62 | run r9s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
63 | run r10s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
64 | run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
65 | run r12s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
66 | run r13s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
67 | run r14s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
68 | run r15s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
69 | run r16s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
70 | run r17s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
71 | run r18s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
72 | run r19s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
73 | run r20s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
74 | run r21s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
75 | run r22s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
76 | run r23s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
77 | run r24s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
78 | run r25s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
79 | run r26s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
80 | run r27s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
81 | run r28s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
82 | run r29s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
83 | run r30s5 {} for exactly 1 FileSystem, exactly 4 FSObject | ||
84 | run r1s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
85 | run r2s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
86 | run r3s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
87 | run r4s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
88 | run r5s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
89 | run r6s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
90 | run r7s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
91 | run r8s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
92 | run r9s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
93 | run r10s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
94 | run r11s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
95 | run r12s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
96 | run r13s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
97 | run r14s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
98 | run r15s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
99 | run r16s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
100 | run r17s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
101 | run r18s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
102 | run r19s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
103 | run r20s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
104 | run r21s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
105 | run r22s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
106 | run r23s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
107 | run r24s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
108 | run r25s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
109 | run r26s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
110 | run r27s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
111 | run r28s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
112 | run r29s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
113 | run r30s10 {} for exactly 1 FileSystem, exactly 9 FSObject | ||
114 | run r1s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
115 | run r2s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
116 | run r3s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
117 | run r4s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
118 | run r5s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
119 | run r6s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
120 | run r7s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
121 | run r8s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
122 | run r9s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
123 | run r10s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
124 | run r11s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
125 | run r12s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
126 | run r13s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
127 | run r14s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
128 | run r15s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
129 | run r16s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
130 | run r17s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
131 | run r18s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
132 | run r19s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
133 | run r20s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
134 | run r21s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
135 | run r22s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
136 | run r23s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
137 | run r24s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
138 | run r25s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
139 | run r26s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
140 | run r27s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
141 | run r28s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
142 | run r29s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
143 | run r30s15 {} for exactly 1 FileSystem, exactly 14 FSObject | ||
144 | run r1s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
145 | run r2s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
146 | run r3s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
147 | run r4s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
148 | run r5s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
149 | run r6s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
150 | run r7s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
151 | run r8s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
152 | run r9s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
153 | run r10s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
154 | run r11s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
155 | run r12s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
156 | run r13s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
157 | run r14s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
158 | run r15s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
159 | run r16s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
160 | run r17s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
161 | run r18s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
162 | run r19s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
163 | run r20s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
164 | run r21s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
165 | run r22s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
166 | run r23s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
167 | run r24s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
168 | run r25s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
169 | run r26s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
170 | run r27s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
171 | run r28s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
172 | run r29s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
173 | run r30s20 {} for exactly 1 FileSystem, exactly 19 FSObject | ||
174 | run r1s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
175 | run r2s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
176 | run r3s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
177 | run r4s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
178 | run r5s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
179 | run r6s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
180 | run r7s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
181 | run r8s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
182 | run r9s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
183 | run r10s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
184 | run r11s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
185 | run r12s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
186 | run r13s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
187 | run r14s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
188 | run r15s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
189 | run r16s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
190 | run r17s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
191 | run r18s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
192 | run r19s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
193 | run r20s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
194 | run r21s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
195 | run r22s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
196 | run r23s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
197 | run r24s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
198 | run r25s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
199 | run r26s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
200 | run r27s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
201 | run r28s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
202 | run r29s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
203 | run r30s25 {} for exactly 1 FileSystem, exactly 24 FSObject | ||
204 | run r1s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
205 | run r2s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
206 | run r3s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
207 | run r4s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
208 | run r5s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
209 | run r6s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
210 | run r7s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
211 | run r8s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
212 | run r9s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
213 | run r10s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
214 | run r11s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
215 | run r12s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
216 | run r13s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
217 | run r14s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
218 | run r15s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
219 | run r16s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
220 | run r17s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
221 | run r18s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
222 | run r19s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
223 | run r20s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
224 | run r21s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
225 | run r22s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
226 | run r23s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
227 | run r24s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
228 | run r25s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
229 | run r26s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
230 | run r27s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
231 | run r28s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
232 | run r29s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
233 | run r30s30 {} for exactly 1 FileSystem, exactly 29 FSObject | ||
234 | run r1s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
235 | run r2s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
236 | run r3s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
237 | run r4s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
238 | run r5s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
239 | run r6s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
240 | run r7s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
241 | run r8s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
242 | run r9s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
243 | run r10s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
244 | run r11s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
245 | run r12s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
246 | run r13s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
247 | run r14s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
248 | run r15s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
249 | run r16s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
250 | run r17s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
251 | run r18s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
252 | run r19s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
253 | run r20s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
254 | run r21s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
255 | run r22s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
256 | run r23s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
257 | run r24s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
258 | run r25s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
259 | run r26s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
260 | run r27s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
261 | run r28s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
262 | run r29s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
263 | run r30s35 {} for exactly 1 FileSystem, exactly 34 FSObject | ||
264 | run r1s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
265 | run r2s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
266 | run r3s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
267 | run r4s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
268 | run r5s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
269 | run r6s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
270 | run r7s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
271 | run r8s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
272 | run r9s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
273 | run r10s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
274 | run r11s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
275 | run r12s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
276 | run r13s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
277 | run r14s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
278 | run r15s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
279 | run r16s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
280 | run r17s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
281 | run r18s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
282 | run r19s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
283 | run r20s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
284 | run r21s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
285 | run r22s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
286 | run r23s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
287 | run r24s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
288 | run r25s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
289 | run r26s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
290 | run r27s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
291 | run r28s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
292 | run r29s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
293 | run r30s40 {} for exactly 1 FileSystem, exactly 39 FSObject | ||
294 | run r1s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
295 | run r2s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
296 | run r3s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
297 | run r4s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
298 | run r5s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
299 | run r6s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
300 | run r7s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
301 | run r8s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
302 | run r9s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
303 | run r10s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
304 | run r11s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
305 | run r12s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
306 | run r13s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
307 | run r14s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
308 | run r15s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
309 | run r16s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
310 | run r17s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
311 | run r18s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
312 | run r19s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
313 | run r20s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
314 | run r21s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
315 | run r22s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
316 | run r23s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
317 | run r24s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
318 | run r25s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
319 | run r26s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
320 | run r27s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
321 | run r28s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
322 | run r29s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
323 | run r30s45 {} for exactly 1 FileSystem, exactly 44 FSObject | ||
324 | run r1s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
325 | run r2s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
326 | run r3s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
327 | run r4s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
328 | run r5s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
329 | run r6s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
330 | run r7s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
331 | run r8s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
332 | run r9s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
333 | run r10s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
334 | run r11s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
335 | run r12s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
336 | run r13s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
337 | run r14s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
338 | run r15s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
339 | run r16s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
340 | run r17s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
341 | run r18s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
342 | run r19s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
343 | run r20s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
344 | run r21s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
345 | run r22s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
346 | run r23s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
347 | run r24s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
348 | run r25s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
349 | run r26s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
350 | run r27s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
351 | run r28s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
352 | run r29s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||
353 | run r30s50 {} for exactly 1 FileSystem, exactly 49 FSObject | ||