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