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