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