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