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