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