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