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