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