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