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