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