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