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