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