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