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