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