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