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