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