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