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