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