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