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