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