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