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