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