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