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