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