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