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