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