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