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