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