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