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