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