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