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