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