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