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