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