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