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