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