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