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