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