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