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