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