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