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