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