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