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