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