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