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