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