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