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