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