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