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