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