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