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