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