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