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