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