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