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