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