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