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