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