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