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