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