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