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