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