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