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