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