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