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