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