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