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