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