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