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