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