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