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