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