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