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