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