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