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