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