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