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