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