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