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