-- Resource Allocation description

include "Model.csp"


Users = { Fork.239 ,   Fork.240 ,   Fork.237 ,   Fork.238 ,   Fork.235 ,   Fork.236 ,   Fork.233 ,   Fork.234 ,   Fork.231 ,   Fork.232 ,   Fork.229 ,   Fork.230 ,   Fork.227 ,   Fork.228 ,   Fork.225 ,   Fork.226 ,   Fork.255 ,   Fork.256 ,   Fork.253 ,   Fork.254 ,   Fork.251 ,   Fork.252 ,   Fork.249 ,   Fork.250 ,   Fork.247 ,   Fork.248 ,   Fork.245 ,   Fork.246 ,   Fork.243 ,   Fork.244 ,   Fork.241 ,   Fork.242 ,   Fork.271 ,   Fork.272 ,   Fork.269 ,   Fork.270 ,   Fork.267 ,   Fork.268 ,   Fork.265 ,   Fork.266 ,   Fork.263 ,   Fork.264 ,   Fork.261 ,   Fork.262 ,   Fork.259 ,   Fork.260 ,   Fork.257 ,   Fork.258 ,   Fork.287 ,   Fork.288 ,   Fork.285 ,   Fork.286 ,   Fork.283 ,   Fork.284 ,   Fork.281 ,   Fork.282 ,   Fork.279 ,   Fork.280 ,   Fork.277 ,   Fork.278 ,   Fork.275 ,   Fork.276 ,   Fork.273 ,   Fork.274 ,   Fork.303 ,   Fork.304 ,   Fork.301 ,   Fork.302 ,   Fork.299 ,   Fork.300 ,   Fork.297 ,   Fork.298 ,   Fork.295 ,   Fork.296 ,   Fork.293 ,   Fork.294 ,   Fork.291 ,   Fork.292 ,   Fork.289 ,   Fork.290 ,   Fork.319 ,   Fork.320 ,   Fork.317 ,   Fork.318 ,   Fork.315 ,   Fork.316 ,   Fork.313 ,   Fork.314 ,   Fork.311 ,   Fork.312 ,   Fork.309 ,   Fork.310 ,   Fork.307 ,   Fork.308 ,   Fork.305 ,   Fork.306 ,   Fork.335 ,   Fork.336 ,   Fork.333 ,   Fork.334 ,   Fork.331 ,   Fork.332 ,   Fork.329 ,   Fork.330 ,   Fork.327 ,   Fork.328 ,   Fork.325 ,   Fork.326 ,   Fork.323 ,   Fork.324 ,   Fork.321 ,   Fork.322 ,   Fork.351 ,   Fork.352 ,   Fork.349 ,   Fork.350 ,   Fork.347 ,   Fork.348 ,   Fork.345 ,   Fork.346 ,   Fork.343 ,   Fork.344 ,   Fork.341 ,   Fork.342 ,   Fork.339 ,   Fork.340 ,   Fork.337 ,   Fork.338 ,   Fork.367 ,   Fork.368 ,   Fork.365 ,   Fork.366 ,   Fork.363 ,   Fork.364 ,   Fork.361 ,   Fork.362 ,   Fork.359 ,   Fork.360 ,   Fork.357 ,   Fork.358 ,   Fork.355 ,   Fork.356 ,   Fork.353 ,   Fork.354 ,   Fork.383 ,   Fork.384 ,   Fork.381 ,   Fork.382 ,   Fork.379 ,   Fork.380 ,   Fork.377 ,   Fork.378 ,   Fork.375 ,   Fork.376 ,   Fork.373 ,   Fork.374 ,   Fork.371 ,   Fork.372 ,   Fork.369 ,   Fork.370 ,   Fork.399 ,   Fork.400 ,   Fork.397 ,   Fork.398 ,   Fork.395 ,   Fork.396 ,   Fork.393 ,   Fork.394 ,   Fork.391 ,   Fork.392 ,   Fork.389 ,   Fork.390 ,   Fork.387 ,   Fork.388 ,   Fork.385 ,   Fork.386 ,   Fork.415 ,   Fork.416 ,   Fork.413 ,   Fork.414 ,   Fork.411 ,   Fork.412 ,   Fork.409 ,   Fork.410 ,   Fork.407 ,   Fork.408 ,   Fork.405 ,   Fork.406 ,   Fork.403 ,   Fork.404 ,   Fork.401 ,   Fork.402 ,   Fork.431 ,   Fork.432 ,   Fork.429 ,   Fork.430 ,   Fork.427 ,   Fork.428 ,   Fork.425 ,   Fork.426 ,   Fork.423 ,   Fork.424 ,   Fork.421 ,   Fork.422 ,   Fork.419 ,   Fork.420 ,   Fork.417 ,   Fork.418 ,   Fork.447 ,   Fork.448 ,   Fork.445 ,   Fork.446 ,   Fork.443 ,   Fork.444 ,   Fork.441 ,   Fork.442 ,   Fork.439 ,   Fork.440 ,   Fork.437 ,   Fork.438 ,   Fork.435 ,   Fork.436 ,   Fork.433 ,   Fork.434 ,   Fork.463 ,   Fork.464 ,   Fork.461 ,   Fork.462 ,   Fork.459 ,   Fork.460 ,   Fork.457 ,   Fork.458 ,   Fork.455 ,   Fork.456 ,   Fork.453 ,   Fork.454 ,   Fork.451 ,   Fork.452 ,   Fork.449 ,   Fork.450 ,   Fork.479 ,   Fork.480 ,   Fork.477 ,   Fork.478 ,   Fork.475 ,   Fork.476 ,   Fork.473 ,   Fork.474 ,   Fork.471 ,   Fork.472 ,   Fork.469 ,   Fork.470 ,   Fork.467 ,   Fork.468 ,   Fork.465 ,   Fork.466 ,   Fork.495 ,   Fork.496 ,   Fork.493 ,   Fork.494 ,   Fork.491 ,   Fork.492 ,   Fork.489 ,   Fork.490 ,   Fork.487 ,   Fork.488 ,   Fork.485 ,   Fork.486 ,   Fork.483 ,   Fork.484 ,   Fork.481 ,   Fork.482 ,   Fork.499 ,   Fork.497 ,   Fork.498 ,   Fork.0 ,   Fork.15 ,   Fork.16 ,   Fork.13 ,   Fork.14 ,   Fork.11 ,   Fork.12 ,   Fork.9 ,   Fork.10 ,   Fork.7 ,   Fork.8 ,   Fork.5 ,   Fork.6 ,   Fork.3 ,   Fork.4 ,   Fork.1 ,   Fork.2 ,   Fork.31 ,   Fork.32 ,   Fork.29 ,   Fork.30 ,   Fork.27 ,   Fork.28 ,   Fork.25 ,   Fork.26 ,   Fork.23 ,   Fork.24 ,   Fork.21 ,   Fork.22 ,   Fork.19 ,   Fork.20 ,   Fork.17 ,   Fork.18 ,   Fork.47 ,   Fork.48 ,   Fork.45 ,   Fork.46 ,   Fork.43 ,   Fork.44 ,   Fork.41 ,   Fork.42 ,   Fork.39 ,   Fork.40 ,   Fork.37 ,   Fork.38 ,   Fork.35 ,   Fork.36 ,   Fork.33 ,   Fork.34 ,   Fork.63 ,   Fork.64 ,   Fork.61 ,   Fork.62 ,   Fork.59 ,   Fork.60 ,   Fork.57 ,   Fork.58 ,   Fork.55 ,   Fork.56 ,   Fork.53 ,   Fork.54 ,   Fork.51 ,   Fork.52 ,   Fork.49 ,   Fork.50 ,   Fork.79 ,   Fork.80 ,   Fork.77 ,   Fork.78 ,   Fork.75 ,   Fork.76 ,   Fork.73 ,   Fork.74 ,   Fork.71 ,   Fork.72 ,   Fork.69 ,   Fork.70 ,   Fork.67 ,   Fork.68 ,   Fork.65 ,   Fork.66 ,   Fork.95 ,   Fork.96 ,   Fork.93 ,   Fork.94 ,   Fork.91 ,   Fork.92 ,   Fork.89 ,   Fork.90 ,   Fork.87 ,   Fork.88 ,   Fork.85 ,   Fork.86 ,   Fork.83 ,   Fork.84 ,   Fork.81 ,   Fork.82 ,   Fork.111 ,   Fork.112 ,   Fork.109 ,   Fork.110 ,   Fork.107 ,   Fork.108 ,   Fork.105 ,   Fork.106 ,   Fork.103 ,   Fork.104 ,   Fork.101 ,   Fork.102 ,   Fork.99 ,   Fork.100 ,   Fork.97 ,   Fork.98 ,   Fork.127 ,   Fork.128 ,   Fork.125 ,   Fork.126 ,   Fork.123 ,   Fork.124 ,   Fork.121 ,   Fork.122 ,   Fork.119 ,   Fork.120 ,   Fork.117 ,   Fork.118 ,   Fork.115 ,   Fork.116 ,   Fork.113 ,   Fork.114 ,   Fork.143 ,   Fork.144 ,   Fork.141 ,   Fork.142 ,   Fork.139 ,   Fork.140 ,   Fork.137 ,   Fork.138 ,   Fork.135 ,   Fork.136 ,   Fork.133 ,   Fork.134 ,   Fork.131 ,   Fork.132 ,   Fork.129 ,   Fork.130 ,   Fork.159 ,   Fork.160 ,   Fork.157 ,   Fork.158 ,   Fork.155 ,   Fork.156 ,   Fork.153 ,   Fork.154 ,   Fork.151 ,   Fork.152 ,   Fork.149 ,   Fork.150 ,   Fork.147 ,   Fork.148 ,   Fork.145 ,   Fork.146 ,   Fork.175 ,   Fork.176 ,   Fork.173 ,   Fork.174 ,   Fork.171 ,   Fork.172 ,   Fork.169 ,   Fork.170 ,   Fork.167 ,   Fork.168 ,   Fork.165 ,   Fork.166 ,   Fork.163 ,   Fork.164 ,   Fork.161 ,   Fork.162 ,   Fork.191 ,   Fork.192 ,   Fork.189 ,   Fork.190 ,   Fork.187 ,   Fork.188 ,   Fork.185 ,   Fork.186 ,   Fork.183 ,   Fork.184 ,   Fork.181 ,   Fork.182 ,   Fork.179 ,   Fork.180 ,   Fork.177 ,   Fork.178 ,   Fork.207 ,   Fork.208 ,   Fork.205 ,   Fork.206 ,   Fork.203 ,   Fork.204 ,   Fork.201 ,   Fork.202 ,   Fork.199 ,   Fork.200 ,   Fork.197 ,   Fork.198 ,   Fork.195 ,   Fork.196 ,   Fork.193 ,   Fork.194 ,   Fork.223 ,   Fork.224 ,   Fork.221 ,   Fork.222 ,   Fork.219 ,   Fork.220 ,   Fork.217 ,   Fork.218 ,   Fork.215 ,   Fork.216 ,   Fork.213 ,   Fork.214 ,   Fork.211 ,   Fork.212 ,   Fork.209 ,   Fork.210  }
 
Resources = { Phil.18 ,   Phil.19 ,   Phil.20 ,   Phil.21 ,   Phil.22 ,   Phil.23 ,   Phil.24 ,   Phil.25 ,   Phil.10 ,   Phil.11 ,   Phil.12 ,   Phil.13 ,   Phil.14 ,   Phil.15 ,   Phil.16 ,   Phil.17 ,   Phil.2 ,   Phil.3 ,   Phil.4 ,   Phil.5 ,   Phil.6 ,   Phil.7 ,   Phil.8 ,   Phil.9 ,   Phil.0 ,   Phil.1 ,   Phil.178 ,   Phil.179 ,   Phil.180 ,   Phil.181 ,   Phil.182 ,   Phil.183 ,   Phil.184 ,   Phil.185 ,   Phil.170 ,   Phil.171 ,   Phil.172 ,   Phil.173 ,   Phil.174 ,   Phil.175 ,   Phil.176 ,   Phil.177 ,   Phil.162 ,   Phil.163 ,   Phil.164 ,   Phil.165 ,   Phil.166 ,   Phil.167 ,   Phil.168 ,   Phil.169 ,   Phil.154 ,   Phil.155 ,   Phil.156 ,   Phil.157 ,   Phil.158 ,   Phil.159 ,   Phil.160 ,   Phil.161 ,   Phil.210 ,   Phil.211 ,   Phil.212 ,   Phil.213 ,   Phil.214 ,   Phil.215 ,   Phil.216 ,   Phil.217 ,   Phil.202 ,   Phil.203 ,   Phil.204 ,   Phil.205 ,   Phil.206 ,   Phil.207 ,   Phil.208 ,   Phil.209 ,   Phil.194 ,   Phil.195 ,   Phil.196 ,   Phil.197 ,   Phil.198 ,   Phil.199 ,   Phil.200 ,   Phil.201 ,   Phil.186 ,   Phil.187 ,   Phil.188 ,   Phil.189 ,   Phil.190 ,   Phil.191 ,   Phil.192 ,   Phil.193 ,   Phil.242 ,   Phil.243 ,   Phil.244 ,   Phil.245 ,   Phil.246 ,   Phil.247 ,   Phil.248 ,   Phil.249 ,   Phil.234 ,   Phil.235 ,   Phil.236 ,   Phil.237 ,   Phil.238 ,   Phil.239 ,   Phil.240 ,   Phil.241 ,   Phil.226 ,   Phil.227 ,   Phil.228 ,   Phil.229 ,   Phil.230 ,   Phil.231 ,   Phil.232 ,   Phil.233 ,   Phil.218 ,   Phil.219 ,   Phil.220 ,   Phil.221 ,   Phil.222 ,   Phil.223 ,   Phil.224 ,   Phil.225 ,   Phil.274 ,   Phil.275 ,   Phil.276 ,   Phil.277 ,   Phil.278 ,   Phil.279 ,   Phil.280 ,   Phil.281 ,   Phil.266 ,   Phil.267 ,   Phil.268 ,   Phil.269 ,   Phil.270 ,   Phil.271 ,   Phil.272 ,   Phil.273 ,   Phil.258 ,   Phil.259 ,   Phil.260 ,   Phil.261 ,   Phil.262 ,   Phil.263 ,   Phil.264 ,   Phil.265 ,   Phil.250 ,   Phil.251 ,   Phil.252 ,   Phil.253 ,   Phil.254 ,   Phil.255 ,   Phil.256 ,   Phil.257 ,   Phil.50 ,   Phil.51 ,   Phil.52 ,   Phil.53 ,   Phil.54 ,   Phil.55 ,   Phil.56 ,   Phil.57 ,   Phil.42 ,   Phil.43 ,   Phil.44 ,   Phil.45 ,   Phil.46 ,   Phil.47 ,   Phil.48 ,   Phil.49 ,   Phil.34 ,   Phil.35 ,   Phil.36 ,   Phil.37 ,   Phil.38 ,   Phil.39 ,   Phil.40 ,   Phil.41 ,   Phil.26 ,   Phil.27 ,   Phil.28 ,   Phil.29 ,   Phil.30 ,   Phil.31 ,   Phil.32 ,   Phil.33 ,   Phil.82 ,   Phil.83 ,   Phil.84 ,   Phil.85 ,   Phil.86 ,   Phil.87 ,   Phil.88 ,   Phil.89 ,   Phil.74 ,   Phil.75 ,   Phil.76 ,   Phil.77 ,   Phil.78 ,   Phil.79 ,   Phil.80 ,   Phil.81 ,   Phil.66 ,   Phil.67 ,   Phil.68 ,   Phil.69 ,   Phil.70 ,   Phil.71 ,   Phil.72 ,   Phil.73 ,   Phil.58 ,   Phil.59 ,   Phil.60 ,   Phil.61 ,   Phil.62 ,   Phil.63 ,   Phil.64 ,   Phil.65 ,   Phil.114 ,   Phil.115 ,   Phil.116 ,   Phil.117 ,   Phil.118 ,   Phil.119 ,   Phil.120 ,   Phil.121 ,   Phil.106 ,   Phil.107 ,   Phil.108 ,   Phil.109 ,   Phil.110 ,   Phil.111 ,   Phil.112 ,   Phil.113 ,   Phil.98 ,   Phil.99 ,   Phil.100 ,   Phil.101 ,   Phil.102 ,   Phil.103 ,   Phil.104 ,   Phil.105 ,   Phil.90 ,   Phil.91 ,   Phil.92 ,   Phil.93 ,   Phil.94 ,   Phil.95 ,   Phil.96 ,   Phil.97 ,   Phil.146 ,   Phil.147 ,   Phil.148 ,   Phil.149 ,   Phil.150 ,   Phil.151 ,   Phil.152 ,   Phil.153 ,   Phil.138 ,   Phil.139 ,   Phil.140 ,   Phil.141 ,   Phil.142 ,   Phil.143 ,   Phil.144 ,   Phil.145 ,   Phil.130 ,   Phil.131 ,   Phil.132 ,   Phil.133 ,   Phil.134 ,   Phil.135 ,   Phil.136 ,   Phil.137 ,   Phil.122 ,   Phil.123 ,   Phil.124 ,   Phil.125 ,   Phil.126 ,   Phil.127 ,   Phil.128 ,   Phil.129 ,   Phil.434 ,   Phil.435 ,   Phil.436 ,   Phil.437 ,   Phil.438 ,   Phil.439 ,   Phil.440 ,   Phil.441 ,   Phil.426 ,   Phil.427 ,   Phil.428 ,   Phil.429 ,   Phil.430 ,   Phil.431 ,   Phil.432 ,   Phil.433 ,   Phil.418 ,   Phil.419 ,   Phil.420 ,   Phil.421 ,   Phil.422 ,   Phil.423 ,   Phil.424 ,   Phil.425 ,   Phil.410 ,   Phil.411 ,   Phil.412 ,   Phil.413 ,   Phil.414 ,   Phil.415 ,   Phil.416 ,   Phil.417 ,   Phil.466 ,   Phil.467 ,   Phil.468 ,   Phil.469 ,   Phil.470 ,   Phil.471 ,   Phil.472 ,   Phil.473 ,   Phil.458 ,   Phil.459 ,   Phil.460 ,   Phil.461 ,   Phil.462 ,   Phil.463 ,   Phil.464 ,   Phil.465 ,   Phil.450 ,   Phil.451 ,   Phil.452 ,   Phil.453 ,   Phil.454 ,   Phil.455 ,   Phil.456 ,   Phil.457 ,   Phil.442 ,   Phil.443 ,   Phil.444 ,   Phil.445 ,   Phil.446 ,   Phil.447 ,   Phil.448 ,   Phil.449 ,   Phil.498 ,   Phil.499 ,   Phil.490 ,   Phil.491 ,   Phil.492 ,   Phil.493 ,   Phil.494 ,   Phil.495 ,   Phil.496 ,   Phil.497 ,   Phil.482 ,   Phil.483 ,   Phil.484 ,   Phil.485 ,   Phil.486 ,   Phil.487 ,   Phil.488 ,   Phil.489 ,   Phil.474 ,   Phil.475 ,   Phil.476 ,   Phil.477 ,   Phil.478 ,   Phil.479 ,   Phil.480 ,   Phil.481 ,   Phil.306 ,   Phil.307 ,   Phil.308 ,   Phil.309 ,   Phil.310 ,   Phil.311 ,   Phil.312 ,   Phil.313 ,   Phil.298 ,   Phil.299 ,   Phil.300 ,   Phil.301 ,   Phil.302 ,   Phil.303 ,   Phil.304 ,   Phil.305 ,   Phil.290 ,   Phil.291 ,   Phil.292 ,   Phil.293 ,   Phil.294 ,   Phil.295 ,   Phil.296 ,   Phil.297 ,   Phil.282 ,   Phil.283 ,   Phil.284 ,   Phil.285 ,   Phil.286 ,   Phil.287 ,   Phil.288 ,   Phil.289 ,   Phil.338 ,   Phil.339 ,   Phil.340 ,   Phil.341 ,   Phil.342 ,   Phil.343 ,   Phil.344 ,   Phil.345 ,   Phil.330 ,   Phil.331 ,   Phil.332 ,   Phil.333 ,   Phil.334 ,   Phil.335 ,   Phil.336 ,   Phil.337 ,   Phil.322 ,   Phil.323 ,   Phil.324 ,   Phil.325 ,   Phil.326 ,   Phil.327 ,   Phil.328 ,   Phil.329 ,   Phil.314 ,   Phil.315 ,   Phil.316 ,   Phil.317 ,   Phil.318 ,   Phil.319 ,   Phil.320 ,   Phil.321 ,   Phil.370 ,   Phil.371 ,   Phil.372 ,   Phil.373 ,   Phil.374 ,   Phil.375 ,   Phil.376 ,   Phil.377 ,   Phil.362 ,   Phil.363 ,   Phil.364 ,   Phil.365 ,   Phil.366 ,   Phil.367 ,   Phil.368 ,   Phil.369 ,   Phil.354 ,   Phil.355 ,   Phil.356 ,   Phil.357 ,   Phil.358 ,   Phil.359 ,   Phil.360 ,   Phil.361 ,   Phil.346 ,   Phil.347 ,   Phil.348 ,   Phil.349 ,   Phil.350 ,   Phil.351 ,   Phil.352 ,   Phil.353 ,   Phil.402 ,   Phil.403 ,   Phil.404 ,   Phil.405 ,   Phil.406 ,   Phil.407 ,   Phil.408 ,   Phil.409 ,   Phil.394 ,   Phil.395 ,   Phil.396 ,   Phil.397 ,   Phil.398 ,   Phil.399 ,   Phil.400 ,   Phil.401 ,   Phil.386 ,   Phil.387 ,   Phil.388 ,   Phil.389 ,   Phil.390 ,   Phil.391 ,   Phil.392 ,   Phil.393 ,   Phil.378 ,   Phil.379 ,   Phil.380 ,   Phil.381 ,   Phil.382 ,   Phil.383 ,   Phil.384 ,   Phil.385  }


EC0 = DefaultNetwork({ Fork.0,Fork.1,Fork.2,Fork.3,Fork.4,Fork.5,Fork.6,Fork.7,Fork.8,Fork.9,Fork.10,Fork.11,Fork.12,Fork.13,Fork.14,Fork.15,Fork.16,Fork.17,Fork.18,Fork.19,Fork.20,Fork.21,Fork.22,Fork.23,Fork.24,Fork.25,Fork.26,Fork.27,Fork.28,Fork.29,Fork.30,Fork.31,Fork.32,Fork.33,Fork.34,Fork.35,Fork.36,Fork.37,Fork.38,Fork.39,Fork.40,Fork.41,Fork.42,Fork.43,Fork.44,Fork.45,Fork.46,Fork.47,Fork.48,Fork.49,Fork.50,Fork.51,Fork.52,Fork.53,Fork.54,Fork.55,Fork.56,Fork.57,Fork.58,Fork.59,Fork.60,Fork.61,Fork.62,Fork.63,Fork.64,Fork.65,Fork.66,Fork.67,Fork.68,Fork.69,Fork.70,Fork.71,Fork.72,Fork.73,Fork.74,Fork.75,Fork.76,Fork.77,Fork.78,Fork.79,Fork.80,Fork.81,Fork.82,Fork.83,Fork.84,Fork.85,Fork.86,Fork.87,Fork.88,Fork.89,Fork.90,Fork.91,Fork.92,Fork.93,Fork.94,Fork.95,Fork.96,Fork.97,Fork.98,Fork.99,Fork.100,Fork.101,Fork.102,Fork.103,Fork.104,Fork.105,Fork.106,Fork.107,Fork.108,Fork.109,Fork.110,Fork.111,Fork.112,Fork.113,Fork.114,Fork.115,Fork.116,Fork.117,Fork.118,Fork.119,Fork.120,Fork.121,Fork.122,Fork.123,Fork.124,Fork.125,Fork.126,Fork.127,Fork.128,Fork.129,Fork.130,Fork.131,Fork.132,Fork.133,Fork.134,Fork.135,Fork.136,Fork.137,Fork.138,Fork.139,Fork.140,Fork.141,Fork.142,Fork.143,Fork.144,Fork.145,Fork.146,Fork.147,Fork.148,Fork.149,Fork.150,Fork.151,Fork.152,Fork.153,Fork.154,Fork.155,Fork.156,Fork.157,Fork.158,Fork.159,Fork.160,Fork.161,Fork.162,Fork.163,Fork.164,Fork.165,Fork.166,Fork.167,Fork.168,Fork.169,Fork.170,Fork.171,Fork.172,Fork.173,Fork.174,Fork.175,Fork.176,Fork.177,Fork.178,Fork.179,Fork.180,Fork.181,Fork.182,Fork.183,Fork.184,Fork.185,Fork.186,Fork.187,Fork.188,Fork.189,Fork.190,Fork.191,Fork.192,Fork.193,Fork.194,Fork.195,Fork.196,Fork.197,Fork.198,Fork.199,Fork.200,Fork.201,Fork.202,Fork.203,Fork.204,Fork.205,Fork.206,Fork.207,Fork.208,Fork.209,Fork.210,Fork.211,Fork.212,Fork.213,Fork.214,Fork.215,Fork.216,Fork.217,Fork.218,Fork.219,Fork.220,Fork.221,Fork.222,Fork.223,Fork.224,Fork.225,Fork.226,Fork.227,Fork.228,Fork.229,Fork.230,Fork.231,Fork.232,Fork.233,Fork.234,Fork.235,Fork.236,Fork.237,Fork.238,Fork.239,Fork.240,Fork.241,Fork.242,Fork.243,Fork.244,Fork.245,Fork.246,Fork.247,Fork.248,Fork.249,Fork.250,Fork.251,Fork.252,Fork.253,Fork.254,Fork.255,Fork.256,Fork.257,Fork.258,Fork.259,Fork.260,Fork.261,Fork.262,Fork.263,Fork.264,Fork.265,Fork.266,Fork.267,Fork.268,Fork.269,Fork.270,Fork.271,Fork.272,Fork.273,Fork.274,Fork.275,Fork.276,Fork.277,Fork.278,Fork.279,Fork.280,Fork.281,Fork.282,Fork.283,Fork.284,Fork.285,Fork.286,Fork.287,Fork.288,Fork.289,Fork.290,Fork.291,Fork.292,Fork.293,Fork.294,Fork.295,Fork.296,Fork.297,Fork.298,Fork.299,Fork.300,Fork.301,Fork.302,Fork.303,Fork.304,Fork.305,Fork.306,Fork.307,Fork.308,Fork.309,Fork.310,Fork.311,Fork.312,Fork.313,Fork.314,Fork.315,Fork.316,Fork.317,Fork.318,Fork.319,Fork.320,Fork.321,Fork.322,Fork.323,Fork.324,Fork.325,Fork.326,Fork.327,Fork.328,Fork.329,Fork.330,Fork.331,Fork.332,Fork.333,Fork.334,Fork.335,Fork.336,Fork.337,Fork.338,Fork.339,Fork.340,Fork.341,Fork.342,Fork.343,Fork.344,Fork.345,Fork.346,Fork.347,Fork.348,Fork.349,Fork.350,Fork.351,Fork.352,Fork.353,Fork.354,Fork.355,Fork.356,Fork.357,Fork.358,Fork.359,Fork.360,Fork.361,Fork.362,Fork.363,Fork.364,Fork.365,Fork.366,Fork.367,Fork.368,Fork.369,Fork.370,Fork.371,Fork.372,Fork.373,Fork.374,Fork.375,Fork.376,Fork.377,Fork.378,Fork.379,Fork.380,Fork.381,Fork.382,Fork.383,Fork.384,Fork.385,Fork.386,Fork.387,Fork.388,Fork.389,Fork.390,Fork.391,Fork.392,Fork.393,Fork.394,Fork.395,Fork.396,Fork.397,Fork.398,Fork.399,Fork.400,Fork.401,Fork.402,Fork.403,Fork.404,Fork.405,Fork.406,Fork.407,Fork.408,Fork.409,Fork.410,Fork.411,Fork.412,Fork.413,Fork.414,Fork.415,Fork.416,Fork.417,Fork.418,Fork.419,Fork.420,Fork.421,Fork.422,Fork.423,Fork.424,Fork.425,Fork.426,Fork.427,Fork.428,Fork.429,Fork.430,Fork.431,Fork.432,Fork.433,Fork.434,Fork.435,Fork.436,Fork.437,Fork.438,Fork.439,Fork.440,Fork.441,Fork.442,Fork.443,Fork.444,Fork.445,Fork.446,Fork.447,Fork.448,Fork.449,Fork.450,Fork.451,Fork.452,Fork.453,Fork.454,Fork.455,Fork.456,Fork.457,Fork.458,Fork.459,Fork.460,Fork.461,Fork.462,Fork.463,Fork.464,Fork.465,Fork.466,Fork.467,Fork.468,Fork.469,Fork.470,Fork.471,Fork.472,Fork.473,Fork.474,Fork.475,Fork.476,Fork.477,Fork.478,Fork.479,Fork.480,Fork.481,Fork.482,Fork.483,Fork.484,Fork.485,Fork.486,Fork.487,Fork.488,Fork.489,Fork.490,Fork.491,Fork.492,Fork.493,Fork.494,Fork.495,Fork.496,Fork.497,Fork.498,Fork.499,Phil.0,Phil.1,Phil.2,Phil.3,Phil.4,Phil.5,Phil.6,Phil.7,Phil.8,Phil.9,Phil.10,Phil.11,Phil.12,Phil.13,Phil.14,Phil.15,Phil.16,Phil.17,Phil.18,Phil.19,Phil.20,Phil.21,Phil.22,Phil.23,Phil.24,Phil.25,Phil.26,Phil.27,Phil.28,Phil.29,Phil.30,Phil.31,Phil.32,Phil.33,Phil.34,Phil.35,Phil.36,Phil.37,Phil.38,Phil.39,Phil.40,Phil.41,Phil.42,Phil.43,Phil.44,Phil.45,Phil.46,Phil.47,Phil.48,Phil.49,Phil.50,Phil.51,Phil.52,Phil.53,Phil.54,Phil.55,Phil.56,Phil.57,Phil.58,Phil.59,Phil.60,Phil.61,Phil.62,Phil.63,Phil.64,Phil.65,Phil.66,Phil.67,Phil.68,Phil.69,Phil.70,Phil.71,Phil.72,Phil.73,Phil.74,Phil.75,Phil.76,Phil.77,Phil.78,Phil.79,Phil.80,Phil.81,Phil.82,Phil.83,Phil.84,Phil.85,Phil.86,Phil.87,Phil.88,Phil.89,Phil.90,Phil.91,Phil.92,Phil.93,Phil.94,Phil.95,Phil.96,Phil.97,Phil.98,Phil.99,Phil.100,Phil.101,Phil.102,Phil.103,Phil.104,Phil.105,Phil.106,Phil.107,Phil.108,Phil.109,Phil.110,Phil.111,Phil.112,Phil.113,Phil.114,Phil.115,Phil.116,Phil.117,Phil.118,Phil.119,Phil.120,Phil.121,Phil.122,Phil.123,Phil.124,Phil.125,Phil.126,Phil.127,Phil.128,Phil.129,Phil.130,Phil.131,Phil.132,Phil.133,Phil.134,Phil.135,Phil.136,Phil.137,Phil.138,Phil.139,Phil.140,Phil.141,Phil.142,Phil.143,Phil.144,Phil.145,Phil.146,Phil.147,Phil.148,Phil.149,Phil.150,Phil.151,Phil.152,Phil.153,Phil.154,Phil.155,Phil.156,Phil.157,Phil.158,Phil.159,Phil.160,Phil.161,Phil.162,Phil.163,Phil.164,Phil.165,Phil.166,Phil.167,Phil.168,Phil.169,Phil.170,Phil.171,Phil.172,Phil.173,Phil.174,Phil.175,Phil.176,Phil.177,Phil.178,Phil.179,Phil.180,Phil.181,Phil.182,Phil.183,Phil.184,Phil.185,Phil.186,Phil.187,Phil.188,Phil.189,Phil.190,Phil.191,Phil.192,Phil.193,Phil.194,Phil.195,Phil.196,Phil.197,Phil.198,Phil.199,Phil.200,Phil.201,Phil.202,Phil.203,Phil.204,Phil.205,Phil.206,Phil.207,Phil.208,Phil.209,Phil.210,Phil.211,Phil.212,Phil.213,Phil.214,Phil.215,Phil.216,Phil.217,Phil.218,Phil.219,Phil.220,Phil.221,Phil.222,Phil.223,Phil.224,Phil.225,Phil.226,Phil.227,Phil.228,Phil.229,Phil.230,Phil.231,Phil.232,Phil.233,Phil.234,Phil.235,Phil.236,Phil.237,Phil.238,Phil.239,Phil.240,Phil.241,Phil.242,Phil.243,Phil.244,Phil.245,Phil.246,Phil.247,Phil.248,Phil.249,Phil.250,Phil.251,Phil.252,Phil.253,Phil.254,Phil.255,Phil.256,Phil.257,Phil.258,Phil.259,Phil.260,Phil.261,Phil.262,Phil.263,Phil.264,Phil.265,Phil.266,Phil.267,Phil.268,Phil.269,Phil.270,Phil.271,Phil.272,Phil.273,Phil.274,Phil.275,Phil.276,Phil.277,Phil.278,Phil.279,Phil.280,Phil.281,Phil.282,Phil.283,Phil.284,Phil.285,Phil.286,Phil.287,Phil.288,Phil.289,Phil.290,Phil.291,Phil.292,Phil.293,Phil.294,Phil.295,Phil.296,Phil.297,Phil.298,Phil.299,Phil.300,Phil.301,Phil.302,Phil.303,Phil.304,Phil.305,Phil.306,Phil.307,Phil.308,Phil.309,Phil.310,Phil.311,Phil.312,Phil.313,Phil.314,Phil.315,Phil.316,Phil.317,Phil.318,Phil.319,Phil.320,Phil.321,Phil.322,Phil.323,Phil.324,Phil.325,Phil.326,Phil.327,Phil.328,Phil.329,Phil.330,Phil.331,Phil.332,Phil.333,Phil.334,Phil.335,Phil.336,Phil.337,Phil.338,Phil.339,Phil.340,Phil.341,Phil.342,Phil.343,Phil.344,Phil.345,Phil.346,Phil.347,Phil.348,Phil.349,Phil.350,Phil.351,Phil.352,Phil.353,Phil.354,Phil.355,Phil.356,Phil.357,Phil.358,Phil.359,Phil.360,Phil.361,Phil.362,Phil.363,Phil.364,Phil.365,Phil.366,Phil.367,Phil.368,Phil.369,Phil.370,Phil.371,Phil.372,Phil.373,Phil.374,Phil.375,Phil.376,Phil.377,Phil.378,Phil.379,Phil.380,Phil.381,Phil.382,Phil.383,Phil.384,Phil.385,Phil.386,Phil.387,Phil.388,Phil.389,Phil.390,Phil.391,Phil.392,Phil.393,Phil.394,Phil.395,Phil.396,Phil.397,Phil.398,Phil.399,Phil.400,Phil.401,Phil.402,Phil.403,Phil.404,Phil.405,Phil.406,Phil.407,Phil.408,Phil.409,Phil.410,Phil.411,Phil.412,Phil.413,Phil.414,Phil.415,Phil.416,Phil.417,Phil.418,Phil.419,Phil.420,Phil.421,Phil.422,Phil.423,Phil.424,Phil.425,Phil.426,Phil.427,Phil.428,Phil.429,Phil.430,Phil.431,Phil.432,Phil.433,Phil.434,Phil.435,Phil.436,Phil.437,Phil.438,Phil.439,Phil.440,Phil.441,Phil.442,Phil.443,Phil.444,Phil.445,Phil.446,Phil.447,Phil.448,Phil.449,Phil.450,Phil.451,Phil.452,Phil.453,Phil.454,Phil.455,Phil.456,Phil.457,Phil.458,Phil.459,Phil.460,Phil.461,Phil.462,Phil.463,Phil.464,Phil.465,Phil.466,Phil.467,Phil.468,Phil.469,Phil.470,Phil.471,Phil.472,Phil.473,Phil.474,Phil.475,Phil.476,Phil.477,Phil.478,Phil.479,Phil.480,Phil.481,Phil.482,Phil.483,Phil.484,Phil.485,Phil.486,Phil.487,Phil.488,Phil.489,Phil.490,Phil.491,Phil.492,Phil.493,Phil.494,Phil.495,Phil.496,Phil.497,Phil.498,Phil.499 })
 
users(Fork.id) = { Phil.id,Phil.( ( id-1 ) % N )  }

resources(Phil.id) = if id == N-1 then < Fork.0,Fork.id > else < Fork.id,Fork.( ( id + 1 ) % N ) > 

acquire(Phil.idU,Fork.idR) = pickup.idU.idR

release(Phil.idU,Fork.idR) = putdown.idU.idR
