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