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