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