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