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