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