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