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