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