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