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