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