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