# KL Network set N := 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17; set E := 1 4 7 10 13 16 19 22 25 28 31 34 2 5 8 11 14 17 20 23 26 29 32 35 3 6 9 12 15 18 21 24 27 30 33; set D := (8,2) (10,13) (10,0) (3,5) (3,9) (13,12) (4,0) (10,4) (5,9) (16,15) (16,5) (3,4) (17,4) (6,8) (10,2) (11,9) (16,2) (15,11) (0,7) (4,15) (7,13) (10,5) (9,4) (15,0) (12,3) (13,9) (15,9) (0,11) (14,15) (2,13) (15,14) (11,2) (8,1) (6,5) (1,9) (6,11) (17,6) (12,7) (10,9) (4,2) (1,6) (3,14) (4,8) (12,16) (7,1) (16,9) (2,11) (4,14) (4,6) (6,7) (3,8) (16,13) (7,3) (12,9) (11,4) (9,0) (17,9) (17,1) (6,15) (7,11) (17,11) (2,4) (1,14) (3,0) (13,11) (3,16) (7,5) (14,2) (10,3) (4,11) (2,7) (5,10) (13,14) (12,6) (6,0) (4,1) (0,8) (4,9) (5,14) (2,10) (13,16) (2,8) (15,13) (2,3) (7,9) (1,4) (5,16) (0,5) (12,1) (3,2) (16,10) (8,10) (8,5) (8,6) (13,3) (6,13) (4,13) (17,8) (6,1) (5,13); set Adj[0] := 19 34 35; set Adj[1] := 1 2 3 4 5; set Adj[2] := 6 7 8; set Adj[3] := 1 9 10 11 12 13; set Adj[4] := 14 15 16 17 18 19; set Adj[5] := 20 21; set Adj[6] := 9 22; set Adj[7] := 10 14 20 23 24 25; set Adj[8] := 2 26; set Adj[9] := 3 6 15 27 28; set Adj[10] := 7 29 30; set Adj[11] := 31 32; set Adj[12] := 11 31; set Adj[13] := 8 16 29; set Adj[14] := 4 12 23 33; set Adj[15] := 5 13 17 22 27 30 32; set Adj[16] := 21 24 34; set Adj[17] := 18 25 26 28 33 35; set P := 1 32 63 94 125 156 187 218 249 280 311 342 373 2 33 64 95 126 157 188 219 250 281 312 343 374 3 34 65 96 127 158 189 220 251 282 313 344 375 4 35 66 97 128 159 190 221 252 283 314 345 376 5 36 67 98 129 160 191 222 253 284 315 346 377 6 37 68 99 130 161 192 223 254 285 316 347 378 7 38 69 100 131 162 193 224 255 286 317 348 379 8 39 70 101 132 163 194 225 256 287 318 349 380 9 40 71 102 133 164 195 226 257 288 319 350 381 10 41 72 103 134 165 196 227 258 289 320 351 382 11 42 73 104 135 166 197 228 259 290 321 352 383 12 43 74 105 136 167 198 229 260 291 322 353 384 13 44 75 106 137 168 199 230 261 292 323 354 385 14 45 76 107 138 169 200 231 262 293 324 355 386 15 46 77 108 139 170 201 232 263 294 325 356 387 16 47 78 109 140 171 202 233 264 295 326 357 388 17 48 79 110 141 172 203 234 265 296 327 358 389 18 49 80 111 142 173 204 235 266 297 328 359 390 19 50 81 112 143 174 205 236 267 298 329 360 391 20 51 82 113 144 175 206 237 268 299 330 361 392 21 52 83 114 145 176 207 238 269 300 331 362 393 22 53 84 115 146 177 208 239 270 301 332 363 394 23 54 85 116 147 178 209 240 271 302 333 364 395 24 55 86 117 148 179 210 241 272 303 334 365 396 25 56 87 118 149 180 211 242 273 304 335 366 397 26 57 88 119 150 181 212 243 274 305 336 367 398 27 58 89 120 151 182 213 244 275 306 337 368 399 28 59 90 121 152 183 214 245 276 307 338 369 400 29 60 91 122 153 184 215 246 277 308 339 370 30 61 92 123 154 185 216 247 278 309 340 371 31 62 93 124 155 186 217 248 279 310 341 372; set J[8,2] := 1 2 3 4; set J[5,9] := 5 6 7 8; set J[16,2] := 9 10 11 12; set J[12,3] := 13 14 15 16; set J[8,1] := 17 18 19 20; set J[1,6] := 21 22 23 24; set J[4,6] := 25 26 27 28; set J[17,9] := 29 30 31 32; set J[13,11] := 33 34 35 36; set J[13,14] := 37 38 39 40; set J[2,10] := 41 42 43 44; set J[5,16] := 45 46 47 48; set J[8,6] := 49 50 51 52; set J[10,13] := 53 54 55 56; set J[16,15] := 57 58 59 60; set J[15,11] := 61 62 63 64; set J[13,9] := 65 66 67 68; set J[6,5] := 69 70 71 72; set J[3,14] := 73 74 75 76; set J[6,7] := 77 78 79 80; set J[17,1] := 81 82 83 84; set J[3,16] := 85 86 87 88; set J[12,6] := 89 90 91 92; set J[13,16] := 93 94 95 96; set J[0,5] := 97 98 99 100; set J[13,3] := 101 102 103 104; set J[10,0] := 105 106 107 108; set J[16,5] := 109 110 111 112; set J[0,7] := 113 114 115 116; set J[15,9] := 117 118 119 120; set J[1,9] := 121 122 123 124; set J[4,8] := 125 126 127 128; set J[3,8] := 129 130 131 132; set J[6,15] := 133 134 135 136; set J[7,5] := 137 138 139 140; set J[6,0] := 141 142 143 144; set J[2,8] := 145 146 147 148; set J[12,1] := 149 150 151 152; set J[6,13] := 153 154 155 156; set J[3,5] := 157 158 159 160; set J[3,4] := 161 162 163 164; set J[4,15] := 165 166 167 168; set J[0,11] := 169 170 171 172; set J[6,11] := 173 174 175 176; set J[12,16] := 177 178 179 180; set J[16,13] := 181 182 183 184; set J[7,11] := 185 186 187 188; set J[14,2] := 189 190 191 192; set J[4,1] := 193 194 195 196; set J[15,13] := 197 198 199 200; set J[3,2] := 201 202 203 204; set J[4,13] := 205 206 207 208; set J[3,9] := 209 210 211 212; set J[17,4] := 213 214 215 216; set J[7,13] := 217 218 219 220; set J[14,15] := 221 222 223 224; set J[17,6] := 225 226 227 228; set J[7,1] := 229 230 231 232; set J[7,3] := 233 234 235 236; set J[17,11] := 237 238 239 240; set J[10,3] := 241 242 243 244; set J[0,8] := 245 246 247 248; set J[2,3] := 249 250 251 252; set J[16,10] := 253 254 255 256; set J[17,8] := 257 258 259 260; set J[13,12] := 261 262 263 264; set J[6,8] := 265 266 267 268; set J[10,5] := 269 270 271 272; set J[2,13] := 273 274 275 276; set J[12,7] := 277 278 279 280; set J[16,9] := 281 282 283 284; set J[12,9] := 285 286 287 288; set J[2,4] := 289 290 291 292; set J[4,11] := 293 294 295 296; set J[4,9] := 297 298 299 300; set J[7,9] := 301 302 303 304; set J[8,10] := 305 306 307 308; set J[6,1] := 309 310 311 312; set J[4,0] := 313 314 315 316; set J[10,2] := 317 318 319 320; set J[9,4] := 321 322 323 324; set J[15,14] := 325 326 327 328; set J[10,9] := 329 330 331 332; set J[2,11] := 333 334 335 336; set J[11,4] := 337 338 339 340; set J[1,14] := 341 342 343 344; set J[2,7] := 345 346 347 348; set J[5,14] := 349 350 351 352; set J[1,4] := 353 354 355 356; set J[8,5] := 357 358 359 360; set J[5,13] := 361 362 363 364; set J[10,4] := 365 366 367 368; set J[11,9] := 369 370 371 372; set J[15,0] := 373 374 375 376; set J[11,2] := 377 378 379 380; set J[4,2] := 381 382 383 384; set J[4,14] := 385 386 387 388; set J[9,0] := 389 390 391 392; set J[3,0] := 393 394 395 396; set J[5,10] := 397 398 399 400; set L[1] := 3 55 82 100 135 160 195 232 260 295 327 360 5 59 83 114 139 180 197 233 265 296 333 371 17 65 85 125 140 185 208 236 268 298 336 374 21 68 88 127 153 187 215 237 271 308 346 379 24 71 89 128 155 188 216 249 272 315 347 385 51 72 95 129 156 192 227 253 273 316 349 388 54 76 99 132 159 194 229 259 291 319 359; set L[2] := 1 19 34 52 107 140 209 217 245 284 320 367 2 20 35 97 125 143 213 225 246 286 339 368 3 24 36 99 137 153 214 226 247 287 344 17 26 43 100 138 173 215 227 248 301 355 18 29 46 103 139 185 216 229 265 309 365; set L[3] := 1 35 57 78 116 156 195 219 249 284 316 346 373 5 43 59 85 127 160 197 225 253 286 317 347 374 8 45 60 87 128 175 200 232 256 287 322 349 380 19 48 65 88 129 187 205 233 258 294 331 352 385 21 50 67 89 131 188 208 235 268 300 333 355 387 25 51 68 96 138 189 210 237 270 303 335 356 392 28 53 72 103 143 192 211 240 271 307 339 360 31 54 75 107 148 193 214 245 272 308 344 365 34 55 76 112 155 194 218 247 275 311 345 368; set L[4] := 20 52 60 94 114 135 189 212 291 327 356 373 380 36 53 63 96 115 136 193 220 292 331 371 376 50 57 81 97 116 167 205 276 297 345 372 378; set L[5] := 2 31 75 95 136 173 226 248 292 307 322 367 387 8 47 78 112 137 175 235 256 293 309 335 372 388 18 63 84 115 148 180 236 257 299 311 336 376 392 27 67 87 131 159 200 240 270 301 315 352 378 29 71 94 132 167 213 246 274 303 318 359 379; set L[6] := 1 9 67 107 131 192 208 243 280 345 363 391 2 11 77 108 132 197 225 244 321 346 364 392 3 37 78 111 145 198 226 245 322 347 373 397 4 39 85 112 146 199 227 247 331 348 374 399 5 57 86 119 182 200 228 248 333 349 375 6 59 87 120 183 202 237 263 334 350 376 7 65 105 129 184 204 239 264 335 351 383 8 66 106 130 189 205 240 279 336 352 384; set L[7] := 11 109 120 183 192 203 208 239 242 248 263 384 400 40 119 145 189 202 205 237 240 245 262 383 389; set L[8] := 5 8 57 66 78 87 182 204 262 280 331 390 6 9 59 67 85 110 184 241 264 321 363 398 7 38 65 77 86 146 203 247 279 322 364; set L[9] := 62 70 71 72 140 166 179 216 260 272 296 314; set L[10] := 55 64 83 100 134 168 195 290 326 347 370 396; set L[11] := 5 87 125 177 187 229 250 273 290 315 349 360 6 88 126 179 188 230 252 274 291 316 350 385 8 89 127 180 197 231 253 275 292 325 352 386 85 90 128 185 198 232 254 276 313 326 358 387 86 92 157 186 200 249 256 289 314 327 359 388; set L[12] := 20 59 82 95 126 165 192 230 267 298 325 369 377 51 61 84 99 133 166 194 231 276 299 328 374 379 54 62 93 113 154 186 208 266 289 300 346 375 396; set L[13] := 3 22 67 87 116 158 200 238 254 275 308 335 375 6 23 70 90 130 165 215 239 256 292 313 350 377 8 61 76 92 131 168 227 240 259 295 319 352 386 18 64 84 93 136 177 234 250 271 299 328 358 387 19 66 86 115 139 198 235 252 274 300 334 372; set L[14] := 150 191 196 207 224 329 348; set L[15] := 10 37 60 88 106 156 202 249 284 338 354 21 41 68 89 108 182 204 252 287 340 364 23 45 74 92 120 183 211 263 306 343 365 25 50 75 102 128 188 219 280 307 344 384 35 51 76 104 141 196 243 283 308 348 397; set L[16] := 10 40 68 117 150 181 201 207 263 324 332 381 400 12 58 80 118 151 190 203 243 277 329 361 382 38 60 88 149 152 191 206 244 278 330 362 398; set L[17] := 22 32 47 80 91 176 251 305 324 27 44 73 90 144 250 304 312 367; set L[18] := 12 32 43 52 117 143 176 206 244 287 330 354 368 24 35 46 58 120 149 184 211 277 288 332 361 381 26 39 48 102 128 152 188 219 280 304 338 364 384 28 42 49 106 142 156 190 224 281 312 341 366 399; set L[19] := 104 108 118 151 278 282 288 340 342 362 382; set L[20] := 14 53 61 64 100 152 164 172 192 208 371 396 15 54 62 97 121 162 170 189 205 369 372 16 55 63 99 150 163 171 191 207 370 393; set L[21] := 13 56 98 122 123 124 149 151 161 169 190 206 394 395; set L[22] := 29 61 137 167 175 180 257 293 306 315 323 30 63 138 168 176 213 258 294 307 316 324 31 64 139 173 177 214 259 295 308 321 32 69 165 174 178 215 272 305 313 322; set L[23] := 16 62 84 133 165 189 205 266 325 345 372 53 63 97 135 166 192 208 289 327 346 393 54 81 99 136 167 193 223 291 328 369 394 61 82 124 164 172 194 230 292 331 371; set L[24] := 14 122 162 170 221 230 266 332 394; set L[25] := 15 123 152 163 171 222 330; set L[26] := 4 29 46 103 143 185 212 229 285 309 344 24 33 52 107 153 210 217 265 288 320 355 26 43 98 125 173 211 228 284 301 339 366; set L[27] := 2 23 74 111 144 199 236 255 294 316 336 376 3 30 77 116 147 214 239 258 300 318 350 380 6 44 86 130 160 226 248 264 302 319 351 386 7 66 92 132 174 227 252 269 306 321 360 388 19 72 96 138 198 234 254 275 310 334 375 391; set L[28] := 4 31 48 119 174 210 244 286 311 353 399 12 34 56 127 175 218 268 302 320 363 28 39 101 142 184 228 279 303 337 368 30 42 105 155 187 232 283 310 343 383; set L[29] := 11 79 117 146 190 201 206 242 261 381 390 40 110 118 183 191 204 207 247 323 382 400; set L[30] := 79 111 112 147 148 238 246 264 323 391 392; set L[31] := 5 89 125 128 160 180 187 198 250 254 326 350 359 6 90 126 158 177 185 188 200 252 256 327 352 360 8 92 127 159 179 186 197 249 253 325 349 358; set L[32] := 7 91 158 159 160 178 199 251 255 328 351 357; set L[33] := 16 49 124 154 172 212 223 267 395 36 58 126 164 186 220 231 356; set L[34] := 13 105 123 163 190 231 268 280 312 339 363 383 14 106 124 164 206 232 277 309 332 340 364 384 56 107 149 171 221 265 278 310 337 361 381 395 98 108 151 172 229 267 279 311 338 362 382; set L[35] := 15 103 120 128 163 175 224 268 286 309 338 363 16 105 123 149 164 176 229 277 287 310 339 364 56 106 124 153 171 190 231 279 301 311 341 381 98 107 125 154 172 206 232 280 302 312 343 383 101 117 126 155 173 222 265 282 303 332 344 384 102 119 127 156 174 223 267 285 304 337 361 395; set PLTE[0] := 56 105 119 153 171 190 267 282 310 339 361 383 98 106 120 154 172 206 268 301 311 340 362 384 101 107 123 155 173 229 277 302 312 341 363 395 102 108 124 156 174 231 278 303 332 342 364 103 117 149 163 175 232 279 304 337 343 381 104 118 151 164 176 265 280 309 338 344 382; set PLTE[1] := 1 28 59 84 114 140 188 213 235 271 296 336 368 2 29 60 85 115 143 189 214 236 272 301 339 371 3 31 63 87 116 148 192 215 237 273 303 344 372 5 34 65 88 125 153 193 216 240 274 307 345 373 8 35 67 89 127 155 194 217 245 275 308 346 374 17 36 68 94 128 156 195 218 246 276 309 347 376 18 43 71 95 129 159 197 219 247 284 311 349 378 19 50 72 96 131 160 200 220 248 286 315 352 379 20 51 75 97 132 167 205 225 249 287 316 355 380 21 52 76 99 135 173 208 226 253 291 322 356 385 24 53 78 100 136 175 209 227 256 292 327 359 387 25 54 81 103 137 180 210 229 265 293 331 360 388 26 55 82 107 138 185 211 232 268 294 333 365 392 27 57 83 112 139 187 212 233 270 295 335 367; set PLTE[2] := 1 7 65 86 119 145 192 237 262 322 363 383 397 2 8 66 87 120 146 202 239 263 331 364 384 398 3 9 67 105 129 182 203 240 264 349 373 389 399 4 11 77 106 130 183 204 245 279 350 374 390 400 5 57 78 107 131 184 205 247 280 351 375 391 6 59 85 108 132 189 208 248 321 352 376 392; set PLTE[3] := 3 64 83 95 136 177 197 232 256 290 314 335 374 5 65 84 99 139 179 198 237 259 291 315 336 375 6 66 85 100 140 180 200 238 260 292 316 346 377 8 67 86 125 157 185 208 239 271 295 319 347 379 51 68 87 126 158 186 215 240 272 296 325 349 385 54 70 88 127 159 187 216 249 273 298 326 350 386 55 71 89 128 160 188 227 250 274 299 327 352 387 59 72 90 133 165 192 229 252 275 300 328 358 388 61 76 92 134 166 194 230 253 276 308 333 359 396 62 82 93 135 168 195 231 254 289 313 334 360; set PLTE[4] := 10 35 43 60 108 151 196 211 251 282 324 354 12 37 44 68 117 152 201 219 252 283 329 361 21 38 45 80 118 156 202 224 263 284 330 362 22 39 46 88 120 176 203 243 277 287 332 364 23 40 47 102 128 188 204 244 278 288 338 381 24 41 48 104 149 190 206 249 280 304 340 382 32 42 58 106 150 191 207 250 281 312 348 384; set PLTE[5] := 13 16 63 98 121 124 171 190 369 372 14 61 64 99 122 169 172 191 370 15 62 97 100 123 170 189 192 371; set PLTE[6] := 29 31 213 215 257 259 272 306 308 314 316 30 32 214 216 258 260 305 307 313 315; set PLTE[7] := 14 54 63 100 163 167 172 205 222 266 292 348 372 15 55 64 150 164 168 189 207 223 289 345 369 393 16 61 97 152 165 170 191 208 224 290 346 370 394 53 62 99 162 166 171 192 221 230 291 347 371 396; set PLTE[8] := 17 24 34 46 125 140 185 227 284 288 339 366 18 26 35 52 137 143 217 228 285 301 344 367 19 29 36 103 138 153 225 229 286 309 355 368 20 33 43 107 139 173 226 265 287 320 365; set PLTE[9] := 1 28 59 89 131 182 204 236 263 302 334 352 384 2 30 60 92 132 183 205 237 264 303 335 353 385 3 31 65 96 138 184 208 239 268 306 336 354 386 4 34 66 105 141 187 210 240 269 307 337 355 387 5 35 67 106 142 188 211 243 270 308 338 356 388 6 37 68 107 143 189 214 244 271 310 339 360 391 7 39 72 108 144 192 218 245 272 311 340 363 392 8 45 74 111 145 193 219 247 275 316 343 364 397 9 48 75 112 146 194 225 248 279 317 344 365 399 10 50 76 116 147 195 226 249 280 318 345 368 11 51 77 119 148 196 227 252 283 319 346 373 12 53 78 120 155 197 228 253 284 320 347 374 19 54 85 127 156 198 232 254 286 321 348 375 21 55 86 128 160 199 233 255 287 322 349 376 23 56 87 129 174 200 234 256 294 331 350 380 25 57 88 130 175 202 235 258 300 333 351 383; set PLTE[10] := 11 79 110 112 205 207 242 246 248 381 383 400 40 109 111 183 206 208 245 247 323 382 384; set PLTE[11] := 5 8 91 126 158 177 180 187 198 325 328 359 6 89 92 127 159 178 185 188 199 326 357 360 7 90 125 128 160 179 186 197 200 327 358; set PLTE[12] := 5 85 88 92 127 179 186 197 249 253 325 349 358 6 86 89 125 128 180 187 198 250 254 326 350 359 8 87 90 126 177 185 188 200 252 256 327 352 360; set PLTE[13] := 38 79 118 151 183 201 207 244 263 279 323 331 390 40 80 146 152 184 203 241 247 264 280 324 332 398 77 110 149 181 190 204 242 261 277 321 329 381 400 78 117 150 182 191 206 243 262 278 322 330 382; set PLTE[14] := 16 52 60 84 99 126 165 192 220 276 299 345 393 20 53 61 93 113 133 166 193 223 289 300 346 394 36 54 62 94 114 135 167 194 230 291 325 356 395 49 57 63 95 115 136 172 205 231 292 327 369 396 50 58 81 96 116 154 186 208 266 297 328 371 51 59 82 97 124 164 189 212 267 298 331 372; set PLTE[15] := 2 30 70 91 138 173 214 248 274 308 322 372 392 3 31 71 92 139 174 215 250 275 309 323 375 6 32 72 111 144 175 226 251 292 310 324 376 7 44 73 112 147 176 227 252 293 311 328 377 8 47 74 115 148 177 234 254 294 312 334 378 18 61 75 116 158 178 235 255 295 313 335 379 19 63 76 130 159 180 236 256 299 315 336 380 22 64 84 131 160 198 238 257 300 316 350 386 23 66 86 132 165 199 239 258 305 318 351 387 27 67 87 136 167 200 240 259 306 319 352 388 29 69 90 137 168 213 246 264 307 321 367 391; set PLTE[16] := 13 98 124 161 164 221 231 266 332 363 395 14 122 149 162 190 229 232 267 361 364 56 123 151 163 206 230 265 268 362 394; set PLTE[17] := 4 42 98 119 142 163 184 224 268 301 320 344 384 12 43 101 120 143 164 190 228 277 302 330 361 395 15 46 102 123 149 171 206 229 279 303 332 363 399 16 48 103 124 152 172 210 231 280 304 337 364 24 49 105 125 153 173 211 232 285 309 338 366 26 52 106 126 154 174 212 244 286 310 339 368 28 56 107 127 155 175 222 265 287 311 341 381 39 58 117 128 156 176 223 267 288 312 343 383; set S := 0 1 2 3 4; param ModLTE := 192; param ModR := 192; param ModA := 15360; param costLTE := 50000; param costR := 80000; param costA := 500000; param reach := 80; param nospans := 5; param Prob [*] := 0 0.15 1 0.2 2 0.3 3 0.2 4 0.15 ; param dist [*] := 1 309 6 802 11 1323 16 1203 21 1506 26 766 31 650 2 215 7 588 12 569 17 1155 22 429 27 500 32 2388 3 211 8 631 13 415 18 359 23 791 28 959 33 900 4 680 9 844 14 1504 19 912 24 889 29 530 34 376 5 332 10 1471 15 699 20 1251 25 1312 30 1826 35 409 ; param r := [8,2,0] 1305 [8,2,1] 3825 [8,2,2] 4500 [8,2,3] 5040 [8,2,4] 7785 [5,9,0] 666 [5,9,1] 1170 [5,9,2] 1800 [5,9,3] 1980 [5,9,4] 2934 [16,2,0] 784 [16,2,1] 2044 [16,2,2] 2800 [16,2,3] 3892 [16,2,4] 4452 [12,3,0] 3384 [12,3,1] 3290 [12,3,2] 4700 [12,3,3] 6486 [12,3,4] 7285 [8,1,0] 5200 [8,1,1] 6880 [8,1,2] 8000 [8,1,3] 11040 [8,1,4] 14240 [1,6,0] 544 [1,6,1] 1088 [1,6,2] 1700 [1,6,3] 2312 [1,6,4] 2516 [4,6,0] 1680 [4,6,1] 4080 [4,6,2] 6000 [4,6,3] 6840 [4,6,4] 9060 [17,9,0] 814 [17,9,1] 1430 [17,9,2] 2200 [17,9,3] 2530 [17,9,4] 3102 [13,11,0] 2992 [13,11,1] 3256 [13,11,2] 4400 [13,11,3] 4928 [13,11,4] 6116 [13,14,0] 462 [13,14,1] 994 [13,14,2] 1400 [13,14,3] 1820 [13,14,4] 1680 [2,10,0] 540 [2,10,1] 750 [2,10,2] 1000 [2,10,3] 1320 [2,10,4] 1790 [5,16,0] 2205 [5,16,1] 2625 [5,16,2] 3500 [5,16,3] 3955 [5,16,4] 5110 [8,6,0] 832 [8,6,1] 1820 [8,6,2] 2600 [8,6,3] 2964 [8,6,4] 3380 [10,13,0] 2640 [10,13,1] 2508 [10,13,2] 3300 [10,13,3] 3696 [10,13,4] 4257 [16,15,0] 2905 [16,15,1] 5229 [16,15,2] 8300 [16,15,3] 9379 [16,15,4] 12616 [15,11,0] 2162 [15,11,1] 3572 [15,11,2] 4700 [15,11,3] 5170 [15,11,4] 7285 [13,9,0] 4356 [13,9,1] 5148 [13,9,2] 6600 [13,9,3] 8778 [13,9,4] 9174 [6,5,0] 4032 [6,5,1] 4592 [6,5,2] 5600 [6,5,3] 7784 [6,5,4] 7840 [3,14,0] 4884 [3,14,1] 5082 [3,14,2] 6600 [3,14,3] 7260 [3,14,4] 8514 [6,7,0] 5293 [6,7,1] 4690 [6,7,2] 6700 [6,7,3] 8710 [6,7,4] 9782 [17,1,0] 3080 [17,1,1] 5880 [17,1,2] 7000 [17,1,3] 7910 [17,1,4] 9380 [3,16,0] 736 [3,16,1] 1248 [3,16,2] 1600 [3,16,3] 1968 [3,16,4] 2112 [12,6,0] 1458 [12,6,1] 3672 [12,6,2] 5400 [12,6,3] 6426 [12,6,4] 8802 [13,16,0] 1363 [13,16,1] 2320 [13,16,2] 2900 [13,16,3] 3190 [13,16,4] 3857 [0,5,0] 1088 [0,5,1] 2464 [0,5,2] 3200 [0,5,3] 4384 [0,5,4] 4192 [13,3,0] 6240 [13,3,1] 6552 [13,3,2] 7800 [13,3,3] 10374 [13,3,4] 11310 [10,0,0] 2714 [10,0,1] 4002 [10,0,2] 4600 [10,0,3] 5750 [10,0,4] 7682 [16,5,0] 2016 [16,5,1] 3132 [16,5,2] 3600 [16,5,3] 4140 [16,5,4] 6120 [0,7,0] 1802 [0,7,1] 3286 [0,7,2] 5300 [0,7,3] 7049 [0,7,4] 7102 [15,9,0] 3149 [15,9,1] 5628 [15,9,2] 6700 [15,9,3] 9179 [15,9,4] 8040 [1,9,0] 5372 [1,9,1] 6952 [1,9,2] 7900 [1,9,3] 9875 [1,9,4] 11929 [4,8,0] 1776 [4,8,1] 5846 [4,8,2] 7400 [4,8,3] 10138 [4,8,4] 10434 [3,8,0] 3626 [3,8,1] 4810 [3,8,2] 7400 [3,8,3] 9768 [3,8,4] 9250 [6,15,0] 1682 [6,15,1] 4002 [6,15,2] 5800 [6,15,3] 6786 [6,15,4] 9454 [7,5,0] 2210 [7,5,1] 4225 [7,5,2] 6500 [7,5,3] 7215 [7,5,4] 8775 [6,0,0] 3927 [6,0,1] 3468 [6,0,2] 5100 [6,0,3] 6528 [6,0,4] 7191 [2,8,0] 1995 [2,8,1] 3010 [2,8,2] 3500 [2,8,3] 4795 [2,8,4] 5320 [12,1,0] 2560 [12,1,1] 2432 [12,1,2] 3200 [12,1,3] 4000 [12,1,4] 5536 [6,13,0] 980 [6,13,1] 1220 [6,13,2] 2000 [6,13,3] 2620 [6,13,4] 2760 [3,5,0] 4760 [3,5,1] 4620 [3,5,2] 7000 [3,5,3] 9800 [3,5,4] 8680 [3,4,0] 2405 [3,4,1] 2220 [3,4,2] 3700 [3,4,3] 4736 [3,4,4] 5439 [4,15,0] 1763 [4,15,1] 2911 [4,15,2] 4100 [4,15,3] 5125 [4,15,4] 5822 [0,11,0] 4067 [0,11,1] 6557 [0,11,2] 8300 [0,11,3] 10624 [0,11,4] 12284 [6,11,0] 728 [6,11,1] 1064 [6,11,2] 1400 [6,11,3] 1918 [6,11,4] 2380 [12,16,0] 525 [12,16,1] 1596 [12,16,2] 2100 [12,16,3] 2331 [12,16,4] 2541 [16,13,0] 4536 [16,13,1] 5184 [16,13,2] 8100 [16,13,3] 11097 [16,13,4] 14175 [7,11,0] 2583 [7,11,1] 5355 [7,11,2] 6300 [7,11,3] 7119 [7,11,4] 8316 [14,2,0] 1036 [14,2,1] 2257 [14,2,2] 3700 [14,2,3] 4662 [14,2,4] 5846 [4,1,0] 4489 [4,1,1] 4020 [4,1,2] 6700 [4,1,3] 8509 [4,1,4] 8509 [15,13,0] 4095 [15,13,1] 4615 [15,13,2] 6500 [15,13,3] 7150 [15,13,4] 8710 [3,2,0] 3807 [3,2,1] 6399 [3,2,2] 8100 [3,2,3] 9801 [3,2,4] 12636 [4,13,0] 372 [4,13,1] 360 [4,13,2] 600 [4,13,3] 744 [4,13,4] 954 [3,9,0] 725 [3,9,1] 2291 [3,9,2] 2900 [3,9,3] 3335 [3,9,4] 4959 [17,4,0] 5070 [17,4,1] 5720 [17,4,2] 6500 [17,4,3] 8125 [17,4,4] 11115 [7,13,0] 1219 [7,13,1] 1633 [7,13,2] 2300 [7,13,3] 3082 [7,13,4] 2967 [14,15,0] 3315 [14,15,1] 4182 [14,15,2] 5100 [14,15,3] 6120 [14,15,4] 6783 [17,6,0] 385 [17,6,1] 504 [17,6,2] 700 [17,6,3] 917 [17,6,4] 1106 [7,1,0] 4698 [7,1,1] 7290 [7,1,2] 8100 [7,1,3] 11178 [7,1,4] 11826 [7,3,0] 1943 [7,3,1] 2262 [7,3,2] 2900 [7,3,3] 3770 [7,3,4] 4466 [17,11,0] 248 [17,11,1] 504 [17,11,2] 800 [17,11,3] 1048 [17,11,4] 1000 [10,3,0] 1482 [10,3,1] 2574 [10,3,2] 3900 [10,3,3] 4797 [10,3,4] 5577 [0,8,0] 2886 [0,8,1] 6552 [0,8,2] 7800 [0,8,3] 8580 [0,8,4] 12792 [2,3,0] 3050 [2,3,1] 4300 [2,3,2] 5000 [2,3,3] 5800 [2,3,4] 7550 [16,10,0] 481 [16,10,1] 1066 [16,10,2] 1300 [16,10,3] 1807 [16,10,4] 2184 [17,8,0] 2700 [17,8,1] 3000 [17,8,2] 5000 [17,8,3] 6250 [17,8,4] 8650 [13,12,0] 1080 [13,12,1] 1968 [13,12,2] 2400 [13,12,3] 2784 [13,12,4] 3024 [6,8,0] 1672 [6,8,1] 3168 [6,8,2] 4400 [6,8,3] 5676 [6,8,4] 7040 [10,5,0] 1081 [10,5,1] 1633 [10,5,2] 2300 [10,5,3] 2599 [10,5,4] 3519 [2,13,0] 2268 [2,13,1] 2772 [2,13,2] 4200 [2,13,3] 4956 [2,13,4] 6888 [12,7,0] 1764 [12,7,1] 2340 [12,7,2] 3600 [12,7,3] 4320 [12,7,4] 5292 [16,9,0] 4218 [16,9,1] 4588 [16,9,2] 7400 [16,9,3] 9694 [16,9,4] 12654 [12,9,0] 1710 [12,9,1] 2394 [12,9,2] 3800 [12,9,3] 4218 [12,9,4] 6346 [2,4,0] 891 [2,4,1] 2112 [2,4,2] 3300 [2,4,3] 4587 [2,4,4] 4719 [4,11,0] 1190 [4,11,1] 2856 [4,11,2] 3400 [4,11,3] 4522 [4,11,4] 5780 [4,9,0] 154 [4,9,1] 427 [4,9,2] 700 [4,9,3] 959 [4,9,4] 1106 [7,9,0] 1343 [7,9,1] 1428 [7,9,2] 1700 [7,9,3] 2193 [7,9,4] 2669 [8,10,0] 1196 [8,10,1] 3588 [8,10,2] 4600 [8,10,3] 5382 [8,10,4] 6716 [6,1,0] 2580 [6,1,1] 4320 [6,1,2] 6000 [6,1,3] 7740 [6,1,4] 7980 [4,0,0] 649 [4,0,1] 737 [4,0,2] 1100 [4,0,3] 1496 [4,0,4] 1474 [10,2,0] 1476 [10,2,1] 2340 [10,2,2] 3600 [10,2,3] 4212 [10,2,4] 5400 [9,4,0] 3498 [9,4,1] 5214 [9,4,2] 6600 [9,4,3] 8712 [9,4,4] 10362 [15,14,0] 943 [15,14,1] 1610 [15,14,2] 2300 [15,14,3] 2760 [15,14,4] 2852 [10,9,0] 1674 [10,9,1] 2418 [10,9,2] 3100 [10,9,3] 3441 [10,9,4] 3968 [2,11,0] 1078 [2,11,1] 1958 [2,11,2] 2200 [2,11,3] 2750 [2,11,4] 2706 [11,4,0] 812 [11,4,1] 1988 [11,4,2] 2800 [11,4,3] 3836 [11,4,4] 4564 [1,14,0] 1596 [1,14,1] 1820 [1,14,2] 2800 [1,14,3] 3276 [1,14,4] 4788 [2,7,0] 2250 [2,7,1] 5175 [2,7,2] 7500 [2,7,3] 9450 [2,7,4] 13425 [5,14,0] 318 [5,14,1] 366 [5,14,2] 600 [5,14,3] 750 [5,14,4] 960 [1,4,0] 2072 [1,4,1] 3584 [1,4,2] 5600 [1,4,3] 7616 [1,4,4] 9968 [8,5,0] 2628 [8,5,1] 2160 [8,5,2] 3600 [8,5,3] 4320 [8,5,4] 5076 [5,13,0] 4060 [5,13,1] 5046 [5,13,2] 5800 [5,13,3] 6554 [5,13,4] 8990 [10,4,0] 4473 [10,4,1] 5607 [10,4,2] 6300 [10,4,3] 7308 [10,4,4] 10017 [11,9,0] 5846 [11,9,1] 6241 [11,9,2] 7900 [11,9,3] 8927 [11,9,4] 14062 [15,0,0] 1232 [15,0,1] 1958 [15,0,2] 2200 [15,0,3] 2662 [15,0,4] 3872 [11,2,0] 3692 [11,2,1] 5609 [11,2,2] 7100 [11,2,3] 8236 [11,2,4] 10366 [4,2,0] 2460 [4,2,1] 5002 [4,2,2] 8200 [4,2,3] 10086 [4,2,4] 12710 [4,14,0] 3953 [4,14,1] 4690 [4,14,2] 6700 [4,14,3] 9045 [4,14,4] 11457 [9,0,0] 2356 [9,0,1] 2432 [9,0,2] 3800 [9,0,3] 4750 [9,0,4] 5472 [3,0,0] 2088 [3,0,1] 3654 [3,0,2] 5800 [3,0,3] 7830 [3,0,4] 7946 [5,10,0] 1794 [5,10,1] 4554 [5,10,2] 6900 [5,10,3] 8418 [5,10,4] 11799 ; param cap [*] := 1 24 5 24 9 24 13 24 17 24 21 24 25 24 29 24 33 24 2 24 6 24 10 24 14 24 18 24 22 24 26 24 30 24 34 24 3 24 7 24 11 24 15 24 19 24 23 24 27 24 31 24 35 24 4 24 8 24 12 24 16 24 20 24 24 24 28 24 32 24 ;