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