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