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