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