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