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