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