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