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