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