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