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