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