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