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