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