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