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