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