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