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