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