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