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