/
role_domino_output_plan_0.25_3.plan
305 lines (305 loc) · 12.8 KB
/
role_domino_output_plan_0.25_3.plan
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
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
(assignroletouser user8 role30)
(assignroletouser user8 role27)
(assignroletouser user8 role15)
(assignroletouser user66 role9)
(assignroletouser user64 role28)
(assignroletouser user61 role6)
(assignroletouser user58 role28)
(assignroletouser user56 role28)
(assignroletouser user54 role28)
(assignroletouser user52 role4)
(assignroletouser user44 role11)
(assignroletouser user37 role28)
(assignroletouser user33 role5)
(assignroletouser user25 role30)
(assignroletouser user25 role15)
(assignroletouser user24 role30)
(assignroletouser user24 role15)
(assignroletouser user15 role30)
(assignroletouser user15 role15)
(assignroletouser user15 role10)
(assignroletouser user11 role7)
(assignroletouser user11 role27)
(assignroletouser user11 role16)
(assignroletouser user10 role29)
(assignpermissiontorole role15 permission99)
(assignpermissiontorole role30 permission98)
(assignpermissiontorole role30 permission97)
(assignpermissiontorole role30 permission96)
(assignpermissiontorole role27 permission95)
(assignpermissiontorole role30 permission94)
(assignpermissiontorole role30 permission93)
(assignpermissiontorole role30 permission92)
(assignpermissiontorole role30 permission91)
(assignpermissiontorole role30 permission90)
(assignpermissiontorole role30 permission89)
(assignpermissiontorole role30 permission88)
(assignpermissiontorole role30 permission87)
(assignpermissiontorole role30 permission86)
(assignpermissiontorole role30 permission85)
(assignpermissiontorole role15 permission84)
(assignpermissiontorole role15 permission83)
(assignpermissiontorole role30 permission82)
(assignpermissiontorole role30 permission81)
(assignpermissiontorole role30 permission80)
(assignpermissiontorole role15 permission79)
(assignpermissiontorole role7 permission78)
(assignpermissiontorole role30 permission77)
(assignpermissiontorole role8 permission76)
(assignpermissiontorole role30 permission75)
(assignpermissiontorole role30 permission74)
(assignpermissiontorole role30 permission73)
(assignpermissiontorole role30 permission72)
(assignpermissiontorole role30 permission71)
(assignpermissiontorole role15 permission70)
(assignpermissiontorole role15 permission7)
(assignpermissiontorole role15 permission69)
(assignpermissiontorole role8 permission68)
(assignpermissiontorole role15 permission67)
(assignpermissiontorole role30 permission66)
(assignpermissiontorole role30 permission65)
(assignpermissiontorole role15 permission64)
(assignpermissiontorole role15 permission63)
(assignpermissiontorole role15 permission62)
(assignpermissiontorole role15 permission61)
(assignpermissiontorole role30 permission60)
(assignpermissiontorole role30 permission59)
(assignpermissiontorole role30 permission58)
(assignpermissiontorole role30 permission57)
(assignpermissiontorole role30 permission56)
(assignpermissiontorole role30 permission55)
(assignpermissiontorole role15 permission54)
(assignpermissiontorole role30 permission53)
(assignpermissiontorole role15 permission51)
(assignpermissiontorole role30 permission50)
(assignpermissiontorole role15 permission5)
(assignpermissiontorole role16 permission5)
(assignpermissiontorole role30 permission5)
(assignpermissiontorole role30 permission49)
(assignpermissiontorole role29 permission48)
(assignpermissiontorole role30 permission48)
(assignpermissiontorole role30 permission47)
(assignpermissiontorole role27 permission46)
(assignpermissiontorole role15 permission45)
(assignpermissiontorole role15 permission44)
(assignpermissiontorole role30 permission43)
(assignpermissiontorole role30 permission42)
(assignpermissiontorole role15 permission41)
(assignpermissiontorole role30 permission40)
(assignpermissiontorole role22 permission4)
(assignpermissiontorole role30 permission4)
(assignpermissiontorole role15 permission39)
(assignpermissiontorole role30 permission38)
(assignpermissiontorole role15 permission37)
(assignpermissiontorole role15 permission36)
(assignpermissiontorole role15 permission35)
(assignpermissiontorole role15 permission34)
(assignpermissiontorole role15 permission33)
(assignpermissiontorole role15 permission32)
(assignpermissiontorole role15 permission31)
(assignpermissiontorole role15 permission30)
(assignpermissiontorole role15 permission29)
(assignpermissiontorole role30 permission28)
(assignpermissiontorole role15 permission27)
(assignpermissiontorole role30 permission26)
(assignpermissiontorole role30 permission25)
(assignpermissiontorole role30 permission24)
(assignpermissiontorole role30 permission23)
(assignpermissiontorole role11 permission226)
(assignpermissiontorole role14 permission225)
(assignpermissiontorole role14 permission224)
(assignpermissiontorole role14 permission223)
(assignpermissiontorole role14 permission222)
(assignpermissiontorole role30 permission22)
(assignpermissiontorole role23 permission217)
(assignpermissiontorole role23 permission210)
(assignpermissiontorole role15 permission21)
(assignpermissiontorole role20 permission206)
(assignpermissiontorole role10 permission205)
(assignpermissiontorole role23 permission202)
(assignpermissiontorole role10 permission201)
(assignpermissiontorole role15 permission20)
(assignpermissiontorole role4 permission2)
(assignpermissiontorole role10 permission198)
(assignpermissiontorole role23 permission196)
(assignpermissiontorole role23 permission195)
(assignpermissiontorole role23 permission194)
(assignpermissiontorole role30 permission19)
(assignpermissiontorole role23 permission188)
(assignpermissiontorole role23 permission183)
(assignpermissiontorole role23 permission182)
(assignpermissiontorole role23 permission181)
(assignpermissiontorole role10 permission180)
(assignpermissiontorole role15 permission18)
(assignpermissiontorole role23 permission175)
(assignpermissiontorole role23 permission173)
(assignpermissiontorole role23 permission172)
(assignpermissiontorole role30 permission17)
(assignpermissiontorole role23 permission169)
(assignpermissiontorole role23 permission168)
(assignpermissiontorole role23 permission165)
(assignpermissiontorole role23 permission162)
(assignpermissiontorole role30 permission16)
(assignpermissiontorole role23 permission157)
(assignpermissiontorole role26 permission154)
(assignpermissiontorole role23 permission153)
(assignpermissiontorole role14 permission152)
(assignpermissiontorole role30 permission15)
(assignpermissiontorole role23 permission147)
(assignpermissiontorole role23 permission143)
(assignpermissiontorole role23 permission136)
(assignpermissiontorole role10 permission13)
(assignpermissiontorole role3 permission13)
(assignpermissiontorole role23 permission124)
(assignpermissiontorole role23 permission122)
(assignpermissiontorole role28 permission121)
(assignpermissiontorole role8 permission119)
(assignpermissiontorole role28 permission118)
(assignpermissiontorole role10 permission113)
(assignpermissiontorole role30 permission112)
(assignpermissiontorole role27 permission111)
(assignpermissiontorole role30 permission111)
(assignpermissiontorole role30 permission110)
(assignpermissiontorole role30 permission11)
(assignpermissiontorole role8 permission11)
(assignpermissiontorole role9 permission11)
(assignpermissiontorole role14 permission109)
(assignpermissiontorole role30 permission108)
(assignpermissiontorole role30 permission107)
(assignpermissiontorole role30 permission106)
(assignpermissiontorole role15 permission105)
(assignpermissiontorole role15 permission104)
(assignpermissiontorole role30 permission103)
(assignpermissiontorole role15 permission102)
(assignpermissiontorole role30 permission101)
(assignpermissiontorole role30 permission100)
(assignpermissiontorole role15 permission10)
(assignpermissiontorole role0 permission1)
(removeallpermissionsfromrole role14)
(assignpermissiontorole role14 permission97)
(assignpermissiontorole role14 permission95)
(assignpermissiontorole role14 permission94)
(assignpermissiontorole role14 permission93)
(assignpermissiontorole role14 permission92)
(assignpermissiontorole role14 permission91)
(assignpermissiontorole role14 permission85)
(assignpermissiontorole role14 permission82)
(assignpermissiontorole role14 permission79)
(assignpermissiontorole role14 permission78)
(assignpermissiontorole role14 permission75)
(assignpermissiontorole role14 permission72)
(assignpermissiontorole role14 permission71)
(assignpermissiontorole role14 permission7)
(assignpermissiontorole role14 permission67)
(assignpermissiontorole role14 permission66)
(assignpermissiontorole role14 permission64)
(assignpermissiontorole role14 permission60)
(assignpermissiontorole role14 permission58)
(assignpermissiontorole role14 permission56)
(assignpermissiontorole role14 permission54)
(assignpermissiontorole role14 permission49)
(assignpermissiontorole role14 permission48)
(assignpermissiontorole role14 permission44)
(assignpermissiontorole role14 permission43)
(assignpermissiontorole role14 permission42)
(assignpermissiontorole role14 permission41)
(assignpermissiontorole role14 permission4)
(assignpermissiontorole role14 permission38)
(assignpermissiontorole role14 permission36)
(assignpermissiontorole role14 permission35)
(assignpermissiontorole role14 permission28)
(assignpermissiontorole role14 permission26)
(assignpermissiontorole role14 permission24)
(assignpermissiontorole role14 permission225)
(assignpermissiontorole role14 permission224)
(assignpermissiontorole role14 permission223)
(assignpermissiontorole role14 permission222)
(assignpermissiontorole role14 permission16)
(assignpermissiontorole role14 permission152)
(assignpermissiontorole role14 permission15)
(assignpermissiontorole role14 permission111)
(assignpermissiontorole role14 permission110)
(assignpermissiontorole role14 permission11)
(assignpermissiontorole role14 permission109)
(assignpermissiontorole role14 permission108)
(assignpermissiontorole role14 permission10)
(removeallpermissionsfromrole role11)
(assignpermissiontorole role11 permission226)
(removeallpermissionsfromrole role9)
(assignpermissiontorole role9 permission11)
(removeallrolesfromuser user0)
(removeallrolesfromuser user22)
(removeallrolesfromuser user28)
(removeallrolesfromuser user32)
(removeallrolesfromuser user34)
(removeallrolesfromuser user36)
(removeallrolesfromuser user38)
(removeallrolesfromuser user39)
(removeallrolesfromuser user46)
(removeallrolesfromuser user73)
(removepermissionfromallroles permission1)
(assignpermissiontorole role0 permission1)
(assignpermissiontorole role4 permission1)
(removerolefromallusers role14)
(assignroletouser user25 role14)
(removerolefromallusers role4)
(assignroletouser user52 role4)
(assignroletouser user48 role4)
(assignroletouser user1 role4)
(removerolefromallusers role6)
(assignroletouser user65 role6)
(assignroletouser user61 role6)
(removerolefromuser user8 role12)
(removerolefromuser user66 role11)
(removerolefromuser user64 role3)
(removerolefromuser user58 role3)
(removerolefromuser user54 role3)
(removerolefromuser user48 role1)
(removerolefromuser user44 role10)
(removerolefromuser user37 role3)
(removerolefromuser user33 role16)
(removerolefromuser user25 role9)
(removerolefromuser user11 role15)
(removerolefromuser user11 role12)
(removerolefromuser user10 role7)
(removerolefromuser user1 role1)
(removepermissionfromrole role13 permission78)
(removepermissionfromrole role18 permission52)
(removepermissionfromrole role22 permission5)
(removepermissionfromrole role20 permission48)
(removepermissionfromrole role7 permission48)
(removepermissionfromrole role13 permission46)
(removepermissionfromrole role15 permission46)
(removepermissionfromrole role10 permission226)
(removepermissionfromrole role20 permission217)
(removepermissionfromrole role20 permission210)
(removepermissionfromrole role23 permission206)
(removepermissionfromrole role20 permission205)
(removepermissionfromrole role20 permission201)
(removepermissionfromrole role23 permission198)
(removepermissionfromrole role20 permission196)
(removepermissionfromrole role20 permission195)
(removepermissionfromrole role20 permission194)
(removepermissionfromrole role20 permission183)
(removepermissionfromrole role20 permission182)
(removepermissionfromrole role20 permission181)
(removepermissionfromrole role20 permission180)
(removepermissionfromrole role20 permission175)
(removepermissionfromrole role20 permission173)
(removepermissionfromrole role20 permission172)
(removepermissionfromrole role20 permission169)
(removepermissionfromrole role20 permission168)
(removepermissionfromrole role20 permission165)
(removepermissionfromrole role20 permission162)
(removepermissionfromrole role18 permission154)
(removepermissionfromrole role20 permission153)
(removepermissionfromrole role20 permission147)
(removepermissionfromrole role20 permission143)
(removepermissionfromrole role20 permission136)
(removepermissionfromrole role15 permission13)
(removepermissionfromrole role18 permission13)
(removepermissionfromrole role20 permission124)
(removepermissionfromrole role20 permission122)
(removepermissionfromrole role15 permission119)
(removepermissionfromrole role20 permission113)
; cost = 304 (unit cost)