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