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