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