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