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