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