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