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