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