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