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