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