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