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