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