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