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