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