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