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