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