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