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