AAMAS Bidding Data (00037)
This dataset contains the bids of reviewers over papers from the 2015 and 2016 Autonomous Agents and Multiagent Systems Conference. Inclusion in these data sets were explicitly opt-in; 2015 contains 9,817 bids of 201 reviewers over 613 papers; this represents about 40% of the actual 22,360 bids of 281 reviewers over 670 papers. The 2016 data contains 161 out of 393 reviewers with bids over 442 out of 550 papers.
The bidding language for these conferences is yes/maybe/no/conflict. In order to make these more useful for PreLib users, we have converted them to incomplete partial orders of the form {yes} > {maybe} > {no response} > {no}. The papers for which a reviewer had a conflict have been removed from their preference list. All reviewers had different preference orderings, hence each file contains as many entries as reviewers. We are deeply grateful to the IFAAMAS board and Rafael Bordini, Edith Elkind, John Thangarajah, and David Shield for approving, coordinating, and providing this dataset.
Details
Matching
- Number of files: 2
- Total size: 759.0 KB
- Data types: cat.
- Publication date: April 13, 2017
- Last modification: Nov. 15, 2022
Check the following for more details.
General Properties | |
---|---|
Number of alternatives | 613 |
Number of voters | 201 |
Preview of the File | |
1 | # FILE NAME: 00037-00000001.cat |
2 | # TITLE: AAMAS 2015 |
3 | # DESCRIPTION: |
4 | # DATA TYPE: cat |
5 | # MODIFICATION TYPE: original |
6 | # RELATES TO: |
7 | # RELATED FILES: |
8 | # PUBLICATION DATE: 2017-04-13 |
9 | # MODIFICATION DATE: 2022-09-16 |
10 | # NUMBER ALTERNATIVES: 613 |
11 | # NUMBER VOTERS: 201 |
12 | # NUMBER UNIQUE PREFERENCES: 201 |
13 | # NUMBER CATEGORIES: 4 |
14 | # CATEGORY NAME 1: Yes |
15 | # CATEGORY NAME 2: Maybe |
... | ... |
631 | 1: {172, 536}, {180, 112, 382, 609, 576, 492, 477, 183, 223, 86, 377, 173, 176, 542, 206, 476, 541, 4, 298, 381, 126, 572, 349, 336, 535, 579, 422, 201, 71, 77, 244}, {128, 215, 11, 262, 32, 200, 59, 342, 584, 9, 178, 168, 498, 289, 22, 90, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 249, 455, 600, 246, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 113, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 217, 38, 412, 475, 62, 486, 197, 277, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 523, 385, 531, 347, 165, 114, 493, 602, 568, 65, 533, 42, 185, 350, 403, 338, 468, 373, 115, 464, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 106, 489, 538, 375, 439, 154, 456, 365, 323, 137, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 341, 241, 563, 370, 117, 534, 306, 263, 473, 181, 460, 384, 204, 544, 315, 109, 87, 74, 82, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 272, 216, 582, 51, 60, 398, 107, 490, 253, 157, 269, 316, 324, 205, 27, 327, 566, 138, 605, 346, 368, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 108, 127, 64, 537, 270, 300, 345, 256, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 140, 282, 104, 491, 80, 553, 89, 93, 187, 202, 578, 193, 499, 286, 56, 41, 458, 494, 560, 301, 124, 444, 221, 548, 147, 307, 594, 47, 525, 230, 443, 496, 526, 264, 434, 555, 574, 608, 121, 26, 266, 213, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 367, 207, 226, 598, 40, 84, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 308, 50, 46, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 119, 95, 331, 601, 283, 309, 184, 267, 400, 465, 5, 97, 580, 372, 348, 37, 397, 81, 545, 167, 258, 532, 521, 371, 467, 189, 558, 363, 179, 479, 511, 466, 53, 194, 196, 143, 94, 265, 254, 454, 96, 240, 410, 3, 588, 55, 156, 585, 589, 49, 12, 424, 182, 13, 487, 142, 186, 92, 543, 508, 101, 399, 540, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 417, 328, 66, 281, 524, 587, 314, 219, 19, 389, 214, 236, 352, 483, 278, 459, 469, 611, 146, 360, 43, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 471, 250, 312, 260, 14, 554, 450, 591, 571, 299, 527, 136, 76, 69, 257, 426, 590, 592, 374, 480, 322, 125, 149, 99, 8, 549, 73, 174, 235, 242, 451, 557, 581, 547, 430, 152, 565, 559, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 501, 597, 134, 334}, {122, 539, 192, 68, 295, 211, 170, 91, 402, 247, 39, 294, 607, 285, 419, 423, 529, 325, 387, 344, 48, 447, 485, 243, 380, 30, 34, 177, 16, 320, 507, 355, 159, 484, 153, 271, 406, 612, 408, 151} |
632 | 1: {523, 544, 322}, {391, 528, 312, 163, 487, 104}, {128, 215, 539, 11, 262, 32, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 455, 600, 246, 561, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 113, 325, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 217, 38, 412, 475, 192, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 170, 106, 538, 375, 439, 154, 183, 456, 365, 607, 323, 137, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 534, 306, 422, 263, 473, 181, 460, 384, 204, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 151, 269, 316, 205, 327, 566, 138, 68, 346, 211, 368, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 201, 256, 77, 227, 514, 404, 343, 225, 461, 596, 427, 438, 210, 140, 282, 491, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 560, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 408, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 266, 213, 160, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 131, 294, 119, 95, 331, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 3, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 142, 186, 92, 543, 112, 508, 101, 399, 540, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 259, 4, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 271, 172, 328, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 209, 273, 478, 421, 470, 503, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 477, 471, 423, 250, 206, 260, 14, 554, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 105, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 134, 334}, {80, 395, 463, 345, 497, 605, 364, 417, 85, 324} |
633 | 1: {361, 252, 525}, {32, 246, 447, 497, 422, 504, 232, 473, 560, 134, 433}, {128, 215, 539, 11, 402, 262, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 455, 600, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 113, 325, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 83, 599, 287, 229, 509, 217, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 170, 106, 489, 538, 375, 439, 154, 183, 456, 365, 607, 323, 137, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 534, 306, 263, 181, 460, 384, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 269, 316, 324, 205, 27, 327, 566, 138, 68, 346, 211, 368, 605, 609, 405, 556, 297, 199, 530, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 438, 210, 140, 282, 104, 491, 80, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 408, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 294, 119, 95, 331, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 410, 3, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 487, 142, 186, 92, 543, 112, 508, 101, 399, 540, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 271, 417, 172, 328, 66, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 564, 296, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 334, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 213, 151}, {} |
634 | 1: {}, {384, 371, 282, 140, 439, 137, 553, 178, 309, 113, 559, 52, 228, 10, 408, 304, 337, 433, 534, 599, 271, 545, 229, 181}, {128, 215, 539, 11, 402, 262, 32, 200, 59, 342, 584, 9, 176, 168, 498, 289, 22, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 455, 600, 246, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 325, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 83, 287, 509, 217, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 170, 106, 489, 538, 375, 154, 183, 456, 365, 607, 323, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 177, 341, 241, 563, 370, 117, 306, 422, 263, 473, 460, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 151, 269, 316, 324, 205, 27, 327, 566, 138, 68, 346, 211, 368, 605, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 104, 491, 80, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 560, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 213, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 294, 119, 95, 331, 601, 283, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 167, 258, 532, 244, 521, 467, 558, 189, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 3, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 487, 142, 186, 92, 543, 112, 508, 101, 399, 540, 482, 222, 171, 63, 21, 516, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 417, 172, 328, 66, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 18, 546, 20, 292, 274, 535, 501, 597, 134, 334}, {} |
635 | 1: {169, 436, 315, 339, 345, 523, 391, 486, 524, 463, 528, 29, 312, 354, 317, 360, 212, 583, 104, 324}, {475, 62, 605, 19, 506, 487, 195}, {128, 215, 539, 11, 402, 262, 32, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 90, 380, 23, 415, 31, 100, 416, 203, 238, 58, 251, 218, 445, 159, 249, 455, 600, 246, 561, 364, 603, 237, 130, 148, 33, 103, 135, 139, 573, 518, 44, 396, 188, 275, 113, 325, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 433, 599, 229, 509, 217, 38, 412, 192, 197, 277, 39, 326, 610, 446, 569, 442, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 132, 452, 577, 335, 474, 170, 106, 489, 538, 375, 439, 154, 183, 456, 365, 607, 323, 137, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 337, 177, 341, 241, 563, 370, 117, 534, 306, 422, 263, 473, 181, 460, 384, 204, 544, 295, 109, 87, 74, 82, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 151, 316, 205, 327, 566, 138, 68, 346, 211, 368, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 537, 64, 270, 320, 336, 300, 201, 256, 77, 227, 514, 404, 343, 225, 461, 596, 427, 497, 438, 210, 140, 282, 491, 80, 553, 89, 542, 93, 187, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 560, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 408, 525, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 213, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 598, 40, 84, 122, 429, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 131, 294, 119, 95, 331, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 3, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 142, 186, 92, 543, 112, 508, 101, 399, 540, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 259, 4, 330, 191, 280, 79, 144, 586, 319, 162, 310, 271, 172, 328, 66, 281, 587, 314, 382, 219, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 362, 72, 57, 414, 564, 340, 232, 296, 488, 329, 477, 471, 423, 250, 206, 260, 554, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 105, 311, 500, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 134, 334}, {102, 519, 472, 83, 269, 27, 428, 230, 226, 202, 417, 359, 110, 287, 127, 14, 145, 322, 36} |
636 | 1: {371, 534, 599, 357, 3, 219, 38}, {246, 68, 466, 375, 439, 326, 482, 113, 85, 351, 7, 387, 10, 380, 15, 527, 136, 280, 78, 433, 75, 333, 334}, {128, 215, 539, 11, 402, 262, 32, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 90, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 455, 600, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 325, 366, 234, 595, 604, 133, 231, 570, 288, 24, 150, 431, 386, 83, 287, 229, 509, 217, 412, 475, 192, 62, 486, 197, 277, 39, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 170, 106, 489, 538, 154, 183, 456, 365, 607, 323, 137, 505, 432, 550, 35, 134, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 306, 422, 263, 473, 181, 460, 384, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 269, 316, 324, 205, 27, 327, 566, 138, 605, 346, 211, 368, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 140, 282, 104, 491, 80, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 560, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 408, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 160, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 441, 98, 567, 255, 116, 123, 163, 131, 294, 119, 95, 331, 601, 283, 309, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 467, 558, 189, 363, 179, 479, 511, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 487, 142, 186, 92, 543, 112, 508, 101, 399, 540, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 79, 144, 586, 319, 339, 162, 310, 271, 417, 172, 328, 66, 281, 524, 587, 314, 382, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 450, 591, 571, 299, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 304, 18, 546, 20, 292, 274, 535, 501, 597, 213, 151}, {} |
637 | 1: {37, 236, 327, 482, 319, 243, 282, 188, 7, 441, 444}, {96, 95, 222, 447, 35, 17, 588, 85, 333, 358}, {128, 215, 539, 11, 402, 262, 32, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 455, 600, 246, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 275, 113, 325, 366, 234, 595, 604, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 217, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 170, 106, 489, 538, 375, 439, 154, 183, 456, 365, 607, 323, 137, 505, 357, 432, 550, 134, 161, 390, 593, 224, 606, 67, 393, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 534, 306, 422, 263, 473, 181, 460, 384, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 269, 316, 324, 205, 27, 566, 138, 68, 346, 211, 368, 605, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 140, 104, 491, 80, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 494, 560, 301, 124, 221, 548, 147, 71, 307, 594, 47, 408, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 160, 413, 45, 129, 462, 120, 512, 61, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 141, 190, 276, 502, 476, 308, 50, 46, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 98, 567, 255, 116, 123, 163, 131, 294, 119, 331, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 240, 410, 3, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 487, 142, 186, 92, 543, 112, 508, 101, 399, 540, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 280, 79, 144, 586, 339, 162, 310, 271, 417, 172, 328, 66, 281, 524, 587, 314, 382, 219, 19, 389, 214, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 334, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 374, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 213, 151}, {} |
638 | 1: {432, 41}, {22, 331, 59, 362, 179, 162, 346, 35, 515, 564, 147, 588, 296, 101, 374, 182, 13, 105, 242, 158}, {128, 215, 539, 11, 402, 262, 32, 200, 342, 584, 9, 176, 178, 168, 498, 289, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 445, 583, 159, 249, 600, 246, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 275, 113, 325, 366, 234, 595, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 217, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 170, 106, 489, 538, 375, 439, 154, 183, 456, 365, 607, 323, 137, 505, 357, 550, 134, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 534, 306, 422, 263, 473, 181, 460, 384, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 269, 316, 324, 205, 27, 327, 566, 138, 68, 368, 211, 605, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 140, 282, 104, 491, 80, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 458, 16, 494, 560, 301, 124, 444, 221, 548, 71, 307, 594, 47, 408, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 26, 266, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 436, 239, 420, 245, 28, 88, 155, 356, 388, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 294, 119, 95, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 3, 55, 355, 156, 585, 589, 49, 153, 12, 424, 487, 142, 186, 92, 543, 112, 508, 399, 540, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 280, 79, 144, 586, 319, 339, 310, 271, 417, 172, 328, 66, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 72, 57, 29, 414, 340, 354, 232, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 334, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 223, 451, 557, 581, 377, 547, 430, 152, 565, 559, 290, 332, 311, 36, 500, 233, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 213, 151}, {} |
639 | 1: {430, 378, 166}, {51, 447, 90, 362, 140}, {128, 539, 262, 32, 200, 59, 342, 584, 9, 176, 178, 168, 498, 289, 22, 380, 23, 415, 519, 31, 100, 416, 203, 359, 58, 218, 445, 583, 249, 455, 600, 246, 561, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 518, 44, 396, 188, 113, 325, 366, 595, 604, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 217, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 208, 551, 575, 252, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 65, 533, 42, 185, 350, 86, 403, 338, 468, 373, 464, 34, 78, 376, 175, 562, 313, 261, 506, 132, 452, 335, 474, 170, 106, 538, 375, 439, 154, 183, 456, 607, 323, 137, 505, 357, 432, 550, 161, 390, 593, 224, 606, 67, 393, 17, 110, 317, 337, 177, 341, 241, 370, 117, 534, 306, 422, 263, 473, 181, 460, 384, 204, 315, 295, 109, 87, 74, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 60, 398, 107, 253, 157, 612, 151, 269, 316, 324, 205, 27, 566, 138, 68, 368, 211, 605, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 30, 537, 127, 64, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 596, 427, 497, 438, 210, 282, 104, 491, 553, 542, 93, 187, 202, 541, 193, 499, 381, 286, 56, 41, 458, 16, 560, 301, 124, 444, 221, 147, 71, 307, 594, 47, 408, 525, 230, 496, 576, 264, 434, 555, 608, 121, 26, 266, 213, 160, 85, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 226, 40, 84, 122, 436, 239, 420, 245, 28, 88, 388, 449, 358, 141, 190, 276, 502, 476, 308, 50, 46, 298, 401, 435, 437, 510, 248, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 294, 95, 331, 283, 309, 184, 267, 400, 465, 5, 572, 580, 372, 348, 349, 507, 37, 397, 81, 545, 167, 258, 532, 244, 521, 371, 467, 189, 558, 363, 179, 466, 53, 247, 194, 196, 419, 94, 265, 529, 254, 454, 48, 96, 410, 55, 355, 156, 585, 589, 49, 153, 12, 487, 182, 142, 186, 543, 112, 508, 101, 399, 540, 482, 222, 171, 63, 516, 52, 228, 369, 318, 198, 25, 481, 379, 463, 528, 259, 4, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 271, 417, 328, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 469, 611, 146, 360, 43, 344, 351, 522, 209, 273, 478, 421, 470, 503, 391, 72, 57, 29, 564, 340, 354, 232, 488, 329, 477, 471, 423, 312, 206, 260, 14, 554, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 590, 406, 592, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 152, 565, 559, 290, 332, 105, 36, 552, 613, 303, 10, 304, 18, 546, 20, 292, 274, 535, 501, 597, 134, 334}, {66, 327, 461, 544, 215, 429, 577, 443, 92, 511, 346, 364, 414, 479, 11, 489, 402, 526, 296, 158, 365, 574, 119, 80, 155, 82, 143, 356, 601, 250, 89, 35, 275, 515, 21, 459, 413, 387, 578, 311, 234, 500, 233, 395, 133, 118, 240, 115, 243, 3, 97, 392, 424, 588, 108, 268, 374, 494, 563, 207, 548, 238, 353, 490, 251, 598, 172, 220, 159, 13} |
640 | 1: {467, 10, 545, 113, 508, 559}, {190, 540, 371, 22, 246, 26, 590, 178, 170, 134, 213, 304, 445, 65, 439, 217, 181, 595}, {128, 215, 539, 11, 402, 262, 32, 200, 59, 342, 584, 9, 176, 168, 498, 289, 90, 380, 23, 415, 519, 31, 100, 416, 203, 238, 58, 251, 359, 218, 583, 159, 249, 455, 600, 561, 364, 603, 237, 130, 148, 33, 103, 135, 145, 139, 573, 472, 169, 44, 396, 188, 275, 325, 366, 234, 604, 133, 231, 570, 288, 15, 24, 150, 431, 386, 433, 83, 599, 287, 229, 509, 38, 412, 475, 192, 62, 486, 197, 277, 39, 326, 428, 610, 446, 569, 442, 102, 6, 166, 208, 551, 575, 252, 1, 75, 302, 484, 523, 385, 531, 347, 165, 114, 493, 602, 568, 91, 533, 42, 185, 350, 86, 403, 338, 468, 373, 115, 464, 34, 78, 376, 175, 562, 313, 353, 261, 220, 506, 132, 452, 577, 335, 474, 106, 489, 538, 375, 154, 183, 456, 365, 607, 323, 137, 505, 357, 432, 550, 35, 161, 390, 593, 224, 606, 67, 393, 17, 392, 110, 317, 337, 177, 341, 241, 563, 370, 117, 534, 306, 422, 263, 473, 460, 384, 204, 544, 315, 295, 109, 87, 74, 82, 285, 2, 293, 504, 7, 457, 453, 418, 291, 321, 279, 440, 485, 272, 536, 216, 582, 51, 60, 398, 107, 490, 253, 157, 612, 269, 316, 324, 205, 27, 327, 566, 138, 68, 346, 211, 368, 605, 609, 405, 556, 297, 199, 530, 361, 305, 411, 513, 111, 394, 212, 407, 409, 517, 284, 495, 520, 54, 243, 30, 108, 127, 64, 537, 270, 320, 336, 300, 345, 201, 256, 77, 227, 514, 404, 195, 343, 225, 461, 596, 427, 497, 438, 210, 140, 282, 104, 491, 80, 553, 89, 542, 93, 187, 202, 578, 541, 193, 499, 381, 286, 56, 41, 458, 16, 494, 560, 301, 124, 444, 221, 548, 147, 71, 307, 594, 47, 408, 525, 230, 443, 496, 576, 526, 264, 434, 555, 574, 608, 121, 266, 160, 85, 413, 45, 129, 462, 120, 512, 61, 70, 164, 126, 367, 207, 226, 598, 40, 84, 122, 429, 436, 239, 420, 245, 28, 158, 88, 155, 356, 388, 515, 449, 358, 141, 276, 502, 476, 308, 50, 46, 298, 401, 268, 435, 437, 510, 248, 378, 383, 448, 425, 333, 98, 441, 567, 255, 116, 123, 163, 131, 294, 119, 95, 331, 601, 283, 309, 387, 184, 267, 400, 465, 5, 97, 572, 580, 372, 348, 349, 507, 37, 397, 81, 167, 258, 532, 244, 521, 558, 189, 363, 179, 479, 511, 466, 53, 247, 194, 196, 143, 419, 94, 265, 529, 254, 454, 48, 96, 240, 447, 410, 3, 588, 55, 355, 156, 585, 589, 49, 153, 12, 424, 182, 13, 487, 142, 186, 92, 543, 112, 101, 399, 482, 222, 171, 63, 21, 516, 52, 228, 369, 318, 198, 25, 481, 118, 379, 463, 259, 528, 4, 330, 191, 280, 79, 144, 586, 319, 339, 162, 310, 271, 417, 172, 328, 66, 281, 524, 587, 314, 382, 219, 19, 389, 214, 236, 352, 483, 278, 173, 459, 469, 611, 146, 360, 43, 344, 351, 522, 395, 209, 273, 478, 421, 470, 503, 391, 362, 72, 57, 29, 414, 340, 354, 232, 564, 296, 488, 329, 477, 471, 423, 250, 312, 206, 260, 14, 554, 334, 450, 591, 571, 299, 527, 136, 76, 69, 257, 579, 426, 406, 592, 374, 480, 322, 180, 125, 149, 99, 8, 549, 73, 174, 492, 235, 242, 223, 451, 557, 581, 377, 547, 430, 152, 565, 290, 332, 105, 311, 36, 500, 233, 552, 613, 303, 18, 546, 20, 292, 274, 535, 501, 597, 151}, {} |
... | ... |
Check the following for more details.
General Properties | |
---|---|
Number of alternatives | 442 |
Number of voters | 161 |
Preview of the File | |
1 | # FILE NAME: 00037-00000002.cat |
2 | # TITLE: AAMAS 2016 |
3 | # DESCRIPTION: |
4 | # DATA TYPE: cat |
5 | # MODIFICATION TYPE: original |
6 | # RELATES TO: |
7 | # RELATED FILES: |
8 | # PUBLICATION DATE: 2017-04-13 |
9 | # MODIFICATION DATE: 2022-09-16 |
10 | # NUMBER ALTERNATIVES: 442 |
11 | # NUMBER VOTERS: 161 |
12 | # NUMBER UNIQUE PREFERENCES: 161 |
13 | # NUMBER CATEGORIES: 4 |
14 | # CATEGORY NAME 1: Yes |
15 | # CATEGORY NAME 2: Maybe |
... | ... |
460 | 1: {340, 287, 75}, {133, 301, 403, 248}, {84, 76, 187, 289, 396, 181, 128, 313, 112, 387, 424, 244, 273, 1, 60, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 409, 9, 6, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 243, 44, 148, 432, 318, 62, 260, 298, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 124, 338, 253, 88, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 139, 165, 276, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 240, 151, 12, 63, 91, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 96, 169, 375, 293, 428, 262, 204, 36, 70, 384, 429, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 388}, {} |
461 | 1: {333, 178}, {347, 76, 4, 439, 217, 413, 231, 440, 56, 382, 206, 350, 87, 108, 167, 119, 61, 182, 276, 286, 183}, {84, 187, 289, 396, 181, 128, 313, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 101, 18, 235, 172, 98, 218, 296, 30, 285, 85, 409, 9, 6, 3, 149, 25, 255, 306, 228, 284, 259, 426, 317, 103, 66, 45, 122, 179, 355, 266, 93, 358, 216, 376, 212, 438, 174, 230, 64, 8, 386, 356, 354, 10, 308, 261, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 340, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 288, 168, 280, 51, 80, 362, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 72, 361, 441, 102, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 62, 260, 298, 238, 197, 391, 170, 307, 28, 348, 107, 99, 423, 389, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 341, 211, 199, 133, 139, 165, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 401, 53, 352, 291, 150, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 81, 297, 135, 250, 303, 131, 113, 156, 169, 375, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 388, 73, 117, 299, 256, 125, 272, 185, 268, 27, 40, 41, 21, 110, 115, 96}, {335, 318, 137} |
462 | 1: {}, {288, 340, 411}, {84, 76, 187, 289, 396, 181, 128, 313, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 6, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 261, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 169, 375, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 388, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 96}, {} |
463 | 1: {239, 224, 251, 151, 236, 396, 38, 92, 370, 7}, {342, 285, 284, 316, 131, 235, 196, 122, 165, 146, 299, 183}, {84, 76, 187, 289, 181, 128, 313, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 54, 208, 233, 178, 101, 18, 172, 98, 218, 296, 30, 85, 409, 9, 6, 3, 149, 25, 255, 306, 228, 259, 426, 206, 317, 103, 66, 350, 45, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 261, 201, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 67, 340, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 186, 163, 288, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 276, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 366, 100, 283, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 440, 113, 156, 96, 169, 375, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 73, 117, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 388}, {} |
464 | 1: {}, {31, 13, 241, 8, 268, 149, 313, 327, 369, 407}, {84, 76, 187, 289, 396, 181, 128, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 6, 3, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 386, 356, 167, 354, 10, 308, 261, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 340, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 288, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 418, 257, 104, 223, 337, 15, 55, 14, 95, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 406, 415, 310, 71, 325, 37, 121, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 329, 420, 436, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 159, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 366, 100, 283, 56, 222, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 96, 169, 375, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 73, 117, 299, 108, 256, 125, 272, 382, 185, 27, 40, 41, 21, 110, 115, 388}, {52, 109, 367, 316} |
465 | 1: {423, 411, 162}, {220, 267, 87, 139, 183, 327, 324, 82, 337, 166, 190, 95}, {84, 187, 289, 396, 181, 128, 313, 112, 387, 424, 244, 273, 60, 403, 402, 160, 300, 397, 65, 39, 33, 294, 364, 38, 208, 178, 101, 18, 172, 98, 218, 296, 30, 285, 85, 409, 9, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 230, 8, 64, 386, 356, 167, 354, 10, 261, 201, 342, 116, 234, 180, 295, 23, 319, 111, 320, 221, 207, 193, 421, 321, 400, 247, 226, 196, 67, 171, 210, 392, 336, 83, 252, 353, 214, 378, 144, 48, 425, 328, 186, 163, 288, 168, 280, 51, 80, 362, 217, 118, 120, 282, 418, 257, 15, 55, 14, 78, 29, 229, 72, 361, 441, 102, 61, 46, 138, 74, 5, 372, 90, 153, 79, 335, 42, 225, 142, 427, 173, 203, 237, 154, 314, 442, 430, 16, 184, 157, 202, 309, 209, 271, 141, 136, 245, 394, 106, 194, 368, 161, 13, 415, 71, 37, 121, 407, 24, 75, 243, 44, 148, 318, 62, 260, 298, 197, 391, 170, 307, 28, 231, 348, 413, 99, 389, 395, 399, 322, 22, 146, 254, 123, 351, 357, 227, 385, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 434, 302, 69, 191, 410, 263, 143, 198, 377, 211, 199, 276, 215, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 404, 265, 126, 390, 4, 401, 53, 352, 291, 150, 137, 279, 371, 2, 315, 242, 292, 195, 277, 159, 275, 240, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 59, 343, 127, 365, 331, 145, 11, 129, 312, 405, 258, 414, 437, 119, 176, 246, 152, 105, 17, 316, 100, 56, 222, 369, 349, 305, 32, 330, 97, 86, 435, 147, 333, 34, 393, 130, 373, 177, 232, 175, 140, 81, 297, 135, 250, 303, 131, 440, 113, 169, 375, 293, 412, 262, 204, 334, 36, 70, 384, 388, 117, 299, 108, 125, 272, 382, 268, 27, 40, 41, 21, 110, 115, 96}, {347, 76, 341, 304, 107, 326, 133, 92, 213, 301, 360, 165, 182, 1, 286, 205, 239, 49, 20, 251, 379, 236, 329, 174, 47, 270, 57, 52, 281, 156, 223, 104, 274, 308, 287, 367, 114, 428, 290, 132, 192, 439, 366, 310, 283, 54, 406, 332, 233, 249, 325, 35, 429, 158, 235, 264, 219, 73, 109, 256, 224, 164, 43, 151, 432, 278, 241, 6, 185, 431, 359, 433, 340, 370, 7, 238, 50, 381} |
466 | 1: {329, 302, 436, 433, 112, 88, 166, 198}, {358, 219, 338, 255}, {84, 76, 187, 289, 396, 181, 128, 313, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 6, 3, 149, 25, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 10, 308, 261, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 207, 193, 421, 190, 321, 400, 247, 43, 226, 196, 67, 340, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 288, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 253, 248, 224, 434, 241, 431, 69, 191, 410, 263, 143, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 420, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 169, 375, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 388, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 96}, {354, 28} |
467 | 1: 375, {201, 110, 360, 311, 171}, {84, 76, 187, 289, 396, 181, 128, 313, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 6, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 261, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 340, 7, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 288, 182, 168, 280, 51, 80, 362, 118, 120, 282, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 151, 12, 63, 91, 77, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 169, 293, 428, 412, 262, 204, 334, 36, 70, 384, 429, 388, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 115, 96}, {344, 352, 16, 217, 325} |
468 | 1: {234, 29, 144, 204, 19, 52, 384, 46}, {114, 101, 129, 320, 200}, {84, 76, 187, 289, 396, 181, 128, 313, 112, 301, 387, 424, 244, 273, 1, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 6, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 261, 201, 342, 116, 132, 180, 295, 23, 319, 111, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 340, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 425, 48, 328, 92, 186, 163, 288, 182, 168, 280, 51, 80, 362, 217, 118, 120, 282, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 439, 229, 72, 361, 441, 102, 61, 158, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 327, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 329, 420, 436, 31, 398, 58, 417, 188, 26, 269, 363, 94, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 159, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 68, 87, 59, 343, 127, 365, 331, 145, 11, 239, 312, 270, 405, 258, 414, 437, 119, 176, 246, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 267, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 96, 169, 375, 293, 428, 412, 262, 334, 36, 70, 429, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 388}, {} |
469 | 1: {270, 68, 1, 94}, {282, 6, 267, 159}, {84, 76, 187, 289, 396, 181, 128, 313, 112, 301, 387, 424, 244, 273, 60, 403, 402, 160, 20, 220, 236, 300, 47, 397, 65, 39, 33, 294, 332, 364, 249, 38, 208, 54, 233, 178, 101, 18, 235, 172, 98, 183, 218, 296, 30, 285, 85, 409, 9, 3, 149, 25, 255, 306, 228, 284, 259, 426, 206, 317, 103, 66, 350, 45, 122, 179, 355, 266, 93, 358, 216, 419, 376, 212, 438, 174, 230, 64, 8, 386, 356, 167, 354, 10, 308, 261, 201, 342, 116, 132, 234, 180, 295, 23, 319, 111, 320, 221, 219, 193, 421, 190, 207, 400, 247, 321, 43, 226, 196, 67, 340, 7, 171, 210, 392, 82, 336, 83, 252, 353, 214, 304, 378, 144, 48, 425, 328, 92, 186, 163, 288, 182, 168, 280, 51, 80, 362, 217, 118, 120, 52, 418, 257, 104, 223, 337, 15, 367, 14, 95, 55, 78, 29, 229, 439, 72, 361, 441, 102, 61, 158, 46, 138, 264, 74, 5, 164, 372, 90, 153, 278, 79, 359, 335, 42, 225, 142, 381, 427, 173, 326, 203, 237, 154, 314, 442, 430, 16, 251, 184, 157, 57, 202, 309, 209, 271, 141, 136, 245, 287, 394, 106, 194, 290, 368, 161, 13, 415, 310, 406, 71, 325, 37, 121, 407, 24, 75, 243, 44, 148, 432, 318, 62, 260, 298, 238, 197, 391, 170, 307, 28, 231, 348, 107, 99, 423, 389, 413, 395, 213, 360, 399, 322, 22, 146, 254, 49, 123, 379, 351, 357, 411, 227, 385, 281, 324, 200, 345, 189, 422, 346, 380, 408, 416, 134, 323, 124, 338, 253, 88, 248, 224, 434, 302, 241, 431, 69, 191, 410, 263, 166, 143, 198, 377, 347, 341, 211, 199, 133, 139, 165, 276, 205, 215, 329, 420, 436, 31, 398, 58, 19, 417, 188, 26, 269, 363, 274, 404, 265, 126, 390, 192, 4, 401, 53, 352, 291, 150, 137, 35, 279, 2, 371, 315, 242, 292, 195, 277, 109, 275, 240, 151, 12, 63, 91, 311, 77, 344, 155, 374, 339, 89, 383, 87, 59, 343, 127, 365, 331, 145, 11, 129, 239, 312, 405, 258, 414, 437, 119, 176, 246, 114, 152, 105, 17, 316, 100, 283, 366, 56, 222, 369, 349, 305, 162, 32, 330, 97, 86, 435, 147, 433, 370, 333, 50, 34, 393, 130, 373, 177, 232, 175, 140, 286, 81, 297, 135, 250, 303, 131, 440, 113, 156, 169, 375, 293, 412, 262, 204, 334, 36, 70, 384, 429, 388, 73, 117, 299, 108, 256, 125, 272, 382, 185, 268, 27, 40, 41, 21, 110, 115, 96}, {428, 327} |
... | ... |