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