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