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