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