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