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