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