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