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