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