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