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