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