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