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