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