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