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