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