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