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