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