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