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