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