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