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