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