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