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