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